Prodotto cartesiano

Da Wikipedia, l'enciclopedia libera.

In matematica il prodotto cartesiano di due insiemi A e B è l'insieme delle coppie ordinate (a,b) con a in A e b in B. Formalmente:

$A\times B :=\{(a,b) : a \in A \; \mathrm{e} \; b\in B\}.$

Se A e B sono insiemi distinti, i prodotti $A\times B$ e $B\times A$ sono formalmente distinti, anche se sono in naturale corrispondenza biunivoca.

Il prodotto cartesiano può essere esteso alla composizione di n insiemi considerando l'insieme delle n-uple ordinate:

$A_1 \times A_2 \times \cdots \times A_n := \{(a_1, a_2, \ldots, a_n) : a_i \in A_i \; \forall i\}$

Possiamo identificare in modo canonico A₁x A₂ ... x A_n con A₁x (A₂x ... x A_n); in questo modo il prodotto cartesiano risulta naturalmente associativo.

Il prodotto cartesiano di n copie di un insieme A viene indicato con Aⁿ e può essere chiamato potenza cartesiana. Si osserva che questo insieme si può identificare con l'insieme delle funzioni dall'insieme {1, 2, ... , n} in A.

Indice

1 Proprietà del prodotto cartesiano
2 Prodotto cartesiano generalizzato
- 2.1 Relazione con l'assioma della scelta
3 Esempi di interesse geometrico
4 Strutture prodotto
5 Prodotto cartesiano di funzioni
6 Unione di potenze cartesiane

[modifica] Proprietà del prodotto cartesiano

Il numero di elementi (o cardinalità) del prodotto cartesiano di due insiemi è il prodotto del numero di elementi dei due insiemi. Generalizzando, il numero di elementi del prodotto cartesiano di n insiemi è il prodotto del numero di elementi di ogni insieme.

Gli elementi di questi prodotti cartesiani si chiamano anche sequenze finite; quando gli insiemi fattore coincidono e sono finiti si usa anche il termine disposizioni con ripetizione. Ricordiamo anche vengono detti stringhe o parole gli elementi della potenza cartesiana n-esima di un alfabeto, insieme finito di oggetti semplici che si possono chiamare caratteri, lettere o simboli.

Ogni sottoinsieme del prodotto cartesiano di due insiemi costituisce una relazione binaria. Le matrici sono le funzioni che hanno come dominio un prodotto cartesiano.

Il prodotto cartesiano è una costruzione formale molto utilizzata in matematica per costruire insiemi complessi a partire da insiemi semplici; se gli insiemi di partenza hanno qualche struttura aggiuntiva (ad esempio una topologia, o una struttura di gruppo) è spesso possibile costruire una struttura analoga sul loro prodotto cartesiano.

[modifica] Prodotto cartesiano generalizzato

Il prodotto cartesiano è definito anche su una quantità infinita di insiemi. Siano {X_i| i in I} degli insiemi, parametrizzati da un insieme di indici I. Definiamo il loro prodotto come:

$\prod_{i \in I} X_i = \{ f : I \to \bigcup_{i \in I} X_i\ |\ f(i) \in X_i \; \forall i \}$

e cioè come l'insieme delle funzioni definite su I che mandano ogni elemento i in un elemento di X_i. Se I è un l'insieme finito {1,2,...,n} questa definizione di prodotto cartesiano coincide con quella data sopra.

[modifica] Relazione con l'assioma della scelta

L'assioma della scelta si può riformulare in termini di proprietà del prodotto cartesiano generalizzato, più precisamente si può dimostrare essere equivalente alla seguente affermazione

Il prodotto cartesiano generalizzato di una famiglia $\mathcal F=\{A_i: i \in I\}$ non vuota di insiemi non vuoti è non vuoto

che viene talvolta chiamata assioma moltiplicativo.

[modifica] Esempi di interesse geometrico

Il piano cartesiano è costruito come prodotto cartesiano $\mathbb{R}\times\mathbb{R}$ di due copie della retta reale. Questa costruzione è stata introdotta da Cartesio ed è alla base della geometria analitica; da essa deriva il nome del prodotto che stiamo presentando. Analogamente lo spazio tridimensionale è il prodotto cartesiano $\mathbb{R}^3$ di tre copie della retta reale e lo spazio delle ennuple di numeri reali $\mathbb{R}^n$ è la sua generalizzazione n-dimensionale. Simili costruzioni si possono ottenere con prodotti cartesiano di insiemi come i numeri interi (v. piano combinatorio), i numeri razionali (v. piano razionale) o gli insiemi di classi di resti.

Un altro esempio di oggetto geometrico costruito tramite il prodotto cartesiano è il toro, dato dal prodotto cartesiano di due circonferenze; la sua generalizzazione n-dimensionale è definita come il prodotto cartesiano di n circonferenze.

Se facciamo il prodotto di una quantità numerabile di copie di $\mathbb{R}$ , parametrizzate con un numero naturale 1,2,... (quindi l'insieme di indici I è l'insieme dei numeri naturali), otteniamo l'insieme delle successioni di numeri reali. Analogamente possiamo definire ad esempio l'insieme delle successioni di numeri interi o razionali.

[modifica] Strutture prodotto

Il prodotto cartesiano viene utilizzato per quel genere di costruzione che a partire da due o più strutture di una qualsiasi specie porta alla corrispondente struttura prodotto o a qualche sua variante. In particolare si può fare riferimento ai seguenti articoli e termini:

Prodotto diretto di magmi
Prodotto diretto di semigruppi
Prodotto cartesiano dimonoidi liberi
Prodotto diretto di gruppi
Prodotto semidiretto di gruppi
Prodotto diretto di anelli
Prodotto diretto di campi
Prodotto diretto di spazi vettoriali
Prodotto diretto di algebre
Prodotto diretto di insiemi ordinati
Topologia prodotto
Varietà prodotto

Dal punto di vista della teoria delle categorie il prodotto cartesiano è un prodotto diretto nella categoria degli insiemi.

[modifica] Prodotto cartesiano di funzioni

Se f è una funzione da A in B e g una funzione da C in D, si definisce come loro prodotto cartesiano e si denota con f×g la funzione da A×C in B×D data da

$(f \times g)(a,c) := \langle f(a), g(c)\rangle$

(Osserviamo che questa è una formula in cui conviene distinguere le parentesi che delimitano argomenti di funzione dalle parentesi che delimitano coppie ordinate)

[modifica] Unione di potenze cartesiane

La unione di tutte le potenze cartesiane positive e la poco diversa unione di tutte le potenze cartesiane naturali di alcuni insiemi costituiscono ambienti nei quali si collocano vantaggiosamente determinate entità. Consideriamo in particolare

$\cup_{n=1}^\infty \mathbb{R}^n$ ;

si tratta dell'insieme delle sequenze di lunghezza positiva arbitraria di numeri reali. Per tale insieme si usa anche la scrittura $\mathbb{R}^+$ e viene chiamata cross chiusura dell'insieme $\mathbb{R}$ . Gli elementi di questo insieme si possono identificare con i polinomi di grado positivo con i coefficienti in $\mathbb{R}$ .

Costruzione poco diversa è quella che conduce alla cosiddetta star chiusura di un insieme. Consideriamo in particolare le potenze dell'insieme dei numeri complessi e l'unione

$\mathbb{C}^\star := \cup_{n=0}^\infty \mathbb{C}^n$ .

si tratta dell'insieme delle sequenze di lunghezza arbitraria di numeri complessi e gli elementi di questo insieme si possono identificare con i polinomi di grado qualsiasi (positivo o nullo) con i coefficienti complessi. Questa costruzione sipone alla base delle considerazioni dello spazio vettoriale costituito dai polinomi in una variabile.

Altre interessanti costruzioni formali di questo genere sono quelle del semigruppo libero e del monoide libero su un dato alfabeto.

Estratto da "http://it.wikipedia.org../../../p/r/o/Prodotto_cartesiano.html"

Categorie: Teoria degli insiemi | Matematica di base

Prodotto cartesiano

Da Wikipedia, l'enciclopedia libera.

Indice

[modifica] Proprietà del prodotto cartesiano

[modifica] Prodotto cartesiano generalizzato

[modifica] Relazione con l'assioma della scelta

[modifica] Esempi di interesse geometrico

[modifica] Strutture prodotto

[modifica] Prodotto cartesiano di funzioni

[modifica] Unione di potenze cartesiane

Views

Navigazione

comunità

Ricerca

Altre lingue