[¯|¯] Coppie ordinate, n-ple ordinate. Prodotto cartesiano

Definizione
Dicesi coppia ordinata l'insieme costituito da due elementi a e b (non necessariamente distinti) dati in quest'ordine. Una coppia ordinata si denota con (a,b).
Tale definizione implica

Ad esempio

mentre

Definizione
L'uguaglianza di due coppie ordinate (a,b) e (a',b') è definita dalla condizione (a,b)=(a',b')<=> a=a',b=b'

Definizione
Dicesi n-pla ordinata l'insieme costituito da n elementi a₁,a₂,...,a_n (non necessariamente distinti) dati in quest'ordine. Una n-pla ordinataordinata si denota con (a₁,a₂,...,a_n).

In base a questa definizione si ha, ad esempio:

Definizione
L'uguaglianza di due n-ple ordinate(a₁,a₂,...,a_n), b₁,b₂,...,b_n
è definita dalla condizione:

Definizione
Assegnati gli insiemi A e B, dicesi prodotto cartesiano o prodotto combinatorio di A per B, l'insieme

Proposizione
Il prodotto cartesiano di A per B non verifica la proprietà commutativa. Cioè

avendosi

Dimostrazione
L'asserto discende dalla definizione di coppia ordinata:

Il prodotto cartesiano si generalizza a n>=2 insiemi A₁,A₂,...,A_n:

In particolare, se A₁=A₂=...=A_n

avendosi

Cioè Aⁿ è l'insieme delle n-ple ordinate di elementi di A. Si pone per definizione:

Sostienici

Puoi contribuire all’uscita di nuovi articoli ed e-books gratuiti che il nostro staff potrà mettere a disposizione per te e migliaia di altri lettori.

---

---