Orda duopo
Orda duopo estas duelementa aro. En ĉi tiu aro oni distingas unuan elementon kaj duan elementon. Ofte ĝi estas signigata per ⟨a,b⟩{displaystyle langle a,brangle } aŭ per (a,b){displaystyle (a,b)} (a, b estas elementoj). Formale orda duopo estis difinata de pola matematikisto Kazimierz Kuratowski, kiel aro:
(a,b)={{a},{a,b}}{displaystyle (a,b)={{a},{a,b}}}.
Orda duopo estas speciala kazo de n-opo, ke n = 2.
Egalo de duopoj |
Du duopoj (a1,b1){displaystyle (a_{1},b_{1})} kaj (a2,b2){displaystyle (a_{2},b_{2})} estas egalaj se a1=a2{displaystyle a_{1}=a_{2}} kaj b1=b2{displaystyle b_{1}=b_{2}}.
Rimarku, ke ĉi tiu ne estas sama kiel egalo de du aroj.
Ekzemploj |
- koordinatoj de punkto sur ebeno
Vidu ankaŭ |
- Kartezia produto
- Opo