Perduto cartesiano

Ourige: Biquipédia, la anciclopédia lhibre.

Na Matemática, dados dous cunjuntos X i Y, l perduto cartesianoperduto direto) de ls dous cunjuntos (scrito cumo X × Y) ye l cunjunto de todos ls pares ourdenados cujo purmeiro eilemiento pertence la X i l segundo, la Y.

L perduto cartesiano recibe sou nome de René Çcartes, cuja formulaçon de la geometrie analítica dou ourige l'este cunceito.

Por eisemplo, se l cunjunto X ye l de ls treze eilemientos de l baralho anglés

i l Y ye l de ls quatro naipes:

Y = {♠, &heiarts;, ♦, &clus;}

anton l perduto cartesiano desses dous cunjuntos será l cunjunto culas 52 cartas de l baralho:

X × Y = {(La, ♠), (K, ♠), ..., (2, ♠), (La, &heiarts;), ..., (3, &clus;), (2, &clus;)}.

Outro eisemplo ye l praino bidimensional R × R, adonde R ye l cunjunto de númaros reales i ls pares ourdenados ténen la forma de (x,y), adonde x i y son númaros reales (beija l sistema de cordenadas cartesiano). Subconjuntos de l perduto cartesiano son chamados de relaçones binárias, i funçones, un de ls cunceitos mais amportantes de la matemática, son defenidas cumo tipos speciales de relaçones.

Teorie de ls Cunjuntos[eiditar | eiditar código-fuonte]

Na teorie de ls cunjuntos, i, an special, na sue formulaçon puls axiomas de Zermelo-Fraenkel, la defeniçon de

nun ye sastifatória. Debemos custruir, usando ls axiomas, un cunjunto suficientemente grande para cunter todos ls pares ourdenados, i, depuis, reduzir este cunjunto al perduto escalar pul axioma de la separaçon.

Cumo un par ourdenado ye defenido por , tenemos qu'eilhes son cunjuntos formados por subconjuntos de l'ounion de ls cunjuntos X i Y. Ó seia, cada par ourdenado ye un subconjunto de l cunjunto de las partes de . Antoce, l axioma de la poténcia debe ser aplicado dues bezes subre la ounion de X i Y, i subre este cunjunto aplica-se l axioma de la separaçon.

Splicitamente:

Debe-se amostrar que naide quedou de fura, ó seia, que qualquiera par ourdenado pertence al perduto scalar. Para esso, suponha que . Anton, pula defeniçon d'ounion, . Pula defeniçon de l cunjunto de las partes, . Finalmente, aplicando-se de nuobo la defeniçon de l cunjunto de las partes, tenemos que .

Cardinal[eiditar | eiditar código-fuonte]

L cardinal de l perduto cartesiano de dous cunjuntos ye l perduto de ls cardinales de ls cunjuntos andebiduales:

Generalizaçon[eiditar | eiditar código-fuonte]

L perduto cartesiano puode ser generalizado para mais de dous cunjuntos:

X1 × ... × Xm = { (x1,... ,xm) | x1 pertence la X1 i ... i xm pertence la Xm }

ó antuitibamente (X1 × ... × Xm-1) × Xm.

Un eisemplo ye l seguinte. Seia l cunjunto L cun trés eilemientos:

{1, 2, 3}

l cunjunto M cun dous eilemientos:

{la,b},

i l cunjunto N cun 2 eilemientos:

{$, %},

l perduto cartesiano L × M × N ye:

{(1 ,la, $), (1 ,la ,%), (2 ,la ,$), (2 ,la ,%), (3 ,la ,$), (3 ,la ,%), (1 ,b, $), (1 ,b ,%), (2 ,b ,$), (2 ,b ,%), (3 ,b ,$), (3 ,b ,%)}

Un outro eisemplo desso ye l spácio euclidiano de trés dimensones .

Notaçon potencial[eiditar | eiditar código-fuonte]

Para spressar l perduto cartesiano dun cunjunto por si mesmo stá permitida la notaçon potencial:

Assi, l mencionado spácio euclidiano tridimensional puode-se repersentar cumo .

Perduto anfenito[eiditar | eiditar código-fuonte]

L'ouserbaçon de que la strutura de l perduto cartesiano ten ua strutura semelhante al cunjunto de las funçones de domínio {1, 2, ..., m} i eimaige X sugere que l perduto cartesiano puoda ser generalizado para anfenitas parcelas, cumo un cunjunto de funçones.

Seia un cunjunto (nó-bazio), chamado de cunjunto de índices. Seia un cunjunto defenido para cada índice (eilhes puoden ser eiguales ó nó). Anton l perduto destes cunjuntos ye defenido por:

Eisemplo[eiditar | eiditar código-fuonte]

Seia , ó seia, stamos andexando puls númaros naturales (sin l zero). Seia . Anton ye l cunjunto de las sequéncias de númaros naturales an que l purmeiro termo ye 1, l segundo termo ye 1 ó 2, l terceiro termo ye 1, 2 ó 3, etc.

Axioma de la Scolha[eiditar | eiditar código-fuonte]

Un resultado paradoxal ye que, usando ls axiomas usuales de la Teorie de ls Cunjuntos sin ancluir l axioma de la scolha, nun ye possible amostrar que l perduto de cunjuntos nó-bazios ten algun eilemiento.

Projeçon canónica[eiditar | eiditar código-fuonte]

Las funçones mais amportantes que ten cumo domínio un perduto cartesiano son las projeçones canónicas.

Ne l causo fenito, la i-ésima projeçon canónica ye la funçon que retorna la i-ésima cordenada.

Ó seia:

Ne l causo anfenito, cumo cada eilemiento de ye ua funçon, tenemos que:

Eisemplos[eiditar | eiditar código-fuonte]

  • An , las dues projeçones canónicas son:
  • Ne l cunjunto de las sequéncias de númaros reales, que puode ser bisto cumo l perduto , la i-ésima projeçon canónica ye la funçon que retorna l i-ésimo eilemiento. Por eisemplo:

Perdutos de Struturas Matemáticas[eiditar | eiditar código-fuonte]

Bárias struturas matemáticas son mantidas, dua forma natural (canónica) al se passar pa ls perdutos cartesianos. Por eisemplo:

Todos estes cunceitos puoden ser unificados usando-se l perduto categorial, defenido na Teorie de las catadories.