[go: up one dir, main page]

Pereiti prie turinio

Tranzityvumas

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.

Tranzityvumas – sąryšio / priklausomybės tarp dviejų aibės elementų apibūdinimas. Tarkime turime aibę X iš elementų {x, y, z}. Jei aibės elementų pora tenkina sąryšį , o tenkina sąryšį , tai sąryšis yra tranzityvus, jei jis galioja ir porai (kiekvieniems x, y, z iš aibės ). Formaliosios logikos kalba, dviejų elementų sąryšis/priklausomybė vadinama tranzityviu, kai:

.

Geometrijoje tiesių lygiagretumas ir figūrų panašumas yra tranzityvūs sąryšiai, o statmenumas – netranzityvus sąryšis.[1]

  • Jei    , o , tai reiškia
  • Skaičių nelygybė    ir , reiškia
  • Tiesių lygiagretumas    ir , reiškia

Tranzityvumo nebuvimas:

  • ŽaidimasAkmuo, žirklės, popierius“ Akmuo stipresnis už žirkles, žirklės stipresnės už popierių; bet akmuo ne stipresnis už popierių
  1. tranzityvumas(parengė Rimas Norvaiša). Visuotinė lietuvių enciklopedija (tikrinta 2024-01-30).