Uređeni par
U matematici, uređeni par (a, b) par je objekata određen vrstom objekata te njihovim poretkom:
[math]\displaystyle{ (a, b) = (b, a) \iff a = b }[/math]
Razlika između uređenog para i dvočlanog skupa (neuređenog para) jest da u dvočlanom skupu poredak elemenata nije definiran. Za dvočlani skup {a, b} vrijedi {a, b} = {b, a}.
Uređeni par zove se i n-torka s dva člana ili niz duljine 2. Članovi uređenog para mogu biti uređeni parovi te time omogućuju rekurzivnu definiciju uređenih n-torki. Na primjer, uređena trojka (a, b, c) može se definirati kao (a, (b, c)) tj. kao uređeni par unutar uređenog para.
Binarne relacije definirane su kao uređeni parovi.
Na primjer, kod brojčanih uređenih parova, smisao nije samo vrijednost brojeva u paru nego i njihov poredak. Primjer uređenih parova su koordinate u koordinatnom sustavu, gdje prvo mjesto u paru odnosi se na os apscisu a drugo na os ordinatu pa primjerice uređeni par (17,39) nije nikako isto što i (39,17). Drugi primjer uređenih parova su pravi razlomci, gdje je prvi u paru brojnik, a drugi nazivnik te 17/39 nikako nije isto što i 39/17.[1]
Karakteristično svojstvo uređenog para:
[math]\displaystyle{ (a_1, b_1) = (a_2, b_2) \iff a_1 = a_2 \And b_1 = b_2 }[/math]
Izvori
- ↑ Leksikon matematike / <prijevod Predrag Raos>, Zagreb : Mozaik knjiga, <2001?> Prijevod djela: The Hutchinson Pocket Dictionary of Maths (Helicon Publishing, 1993), str. 148