Usporiadaná dvojica: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
d Robot: odstranění starých interwiki odkazů; kozmetické zmeny |
→Formálna definícia: (a,b)=(a',b') \Leftrightarrow a=a' \land b=b' |
||
Riadok 4:
== Formálna definícia ==
V [[matematika|matematike]] sa pojem usporiadanej dvojice definuje rôzne, v závislosti od toho v akom kontexte sa definícia ďalej používa.
Pre ktorúkoľvek zvolenú definíciu je podstatné hlavne to, aby platila základná vlastnosť usporiadaných dvojíc
:<math>(a,b)=(a',b') \Leftrightarrow a=a' \land b=b',</math>
ktorá hovorí, že usporiadané dvojice sa zhodujú vtedy, keď sa zhodujú na prvej aj na druhej súradnici. (T.j. usporiadaná dvojica je jednoznačne určená prvým a druhým prvkom.)
Pre svoju jednoduchosť je populárna napríklad [[Kazimierz Kuratowski|Kuratowského]] definícia, podľa ktorej je usporiadaná dvojica špeciálnou dvojprvkovou množinou:
:<math>(a,b)=_{\!_{\mathit{def}}}\{\{a\},\{a,b\}\}</math>
|