Producto cartesiano


Producto cartesiano

Producto cartesiano

En teoría de conjuntos, el producto cartesiano es un producto directo de conjuntos. En particular, el producto cartesiano de dos conjuntos X y Y, denotado por X × Y, es el conjunto de todos los pares ordenados en los que el primer componente pertenece a X y el segundo a Y:

 X \times Y = \{ (x,y) \mid x \in X \; \wedge \; y \in Y \}

El producto cartesiano recibe su nombre de René Descartes, cuya formulación de la geometría analítica dio origen a este concepto.

Contenido

Ejemplo 1

El producto cartesiano del conjunto de trece rangos de la baraja inglesa

 Rangos = \{ As, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2 \} \,

con el de los cuatro palos:

 Palos = \{ \spadesuit , \heartsuit ,  \blacklozenge , \clubsuit \}

conjunto de las 52 cartas de la baraja:

 Baraja = \{(As , \spadesuit ), (As , \heartsuit ) , (As , \blacklozenge ) , \; \ldots  \; , (2 , \heartsuit ), (2 , \blacklozenge ) , (2 , \clubsuit ) \}

la forma matemática de expresarlo es:

 Baraja = Rangos \times Palos = \{ (x,y) \mid x \in Rangos \; \wedge \; y \in Palos \}

Si los conjuntos involucrados son finitos, la cardinalidad (o número de elementos) del producto cartesiano es el producto de las cardinalidades de los conjuntos involucrados:

|X \times Y| = |X| \cdot |Y|

En el ejemplo anterior, el número de elementos del producto era 52 = 13·4.

Ejemplo 2

Correspon P4.svg CorresCartesi 40.svg CorresCartesi 41.svg CorresCartesi 42.svg CorresCartesi 43.svg
Correspon P3.svg CorresCartesi 30.svg CorresCartesi 31.svg CorresCartesi 32.svg CorresCartesi 33.svg
Correspon P2.svg CorresCartesi 20.svg CorresCartesi 21.svg CorresCartesi 22.svg CorresCartesi 23.svg
Correspon P1.svg CorresCartesi 10.svg CorresCartesi 11.svg CorresCartesi 12.svg CorresCartesi 13.svg
Correspon P0.svg CorresCartesi 00.svg CorresCartesi 01.svg CorresCartesi 02.svg CorresCartesi 03.svg
Correspon T0.svg Correspon T1.svg Correspon T2.svg Correspon T3.svg

Partiendo de los conjuntos T de tubos de pintura y P de pinceles:

 T = \{ \, Correspon T0.svg, Correspon T1.svg, Correspon T2.svg, Correspon T3.svg  \} \,
 P = \{ \, Correspon P0.svg, Correspon P1.svg, Correspon P2.svg, Correspon P3.svg, Correspon P4.svg  \} \,

El producto cartesiano de estos dos conjuntos será:

 T \times P = \{ (x,y) \mid x \in T \; \wedge \; y \in P \}

En el cuadro hemos representado el conjunto T en la fila inferior y el P en la columna de la izquierda, en el cuadro donde se cortan la columna de cada tubo y la fila de cada pincel esta el par ordenado tubo pincel del color correspondiente.

Aunque en la figura no se representa téngase en cuenta que son pares ordenados y que el primer elemento corresponde al tubo y el segundo al pincel:

CorresCartesi 20.svg   = ( \, Correspon T0.svg, Correspon P2.svg  ) \,

La representación en Coordenadas cartesianas de dos y tres dimensiones es una forma usual de representar el producto cartesiano de dos y tres conjuntos.

Generalización finita

El cuadrado cartesiano de un conjunto X se define como X2 = X × X. Un ejemplo de esto es el espacio euclídeo de dos dimensiones R2 = R × R, donde R es el conjunto de los números reales; R2 es entonces el conjunto de todos los puntos (x, y) donde x y y son ambos reales.

Esto se puede generalizar a un producto cartesiano n-ario sobre n conjuntos X1,..., Xn:

X_1\times\cdots\times X_n = \{(x_1, \ldots, x_n)\mid x_1\in X_1\;\and\;\cdots\;\and\;x_n\in X_n\}.

Este conjunto se puede identificar con (X1 ×... × Xn-1) × Xn; es un conjunto de n-tuplas.

Análogamente al cuadrado cartesiano, se pueden usar potencias mayores: R3 = R × R × R es el espacio euclídeo tridimensional.

Productos arbitrarios

La definición anterior usualmente basta para las aplicaciones matemáticas comunes. En algunos casos, sin embargo, puede ser necesario definir el producto cartesiano de una colección arbitraria (tal vez infinita) de conjuntos, y un intento de generalizar la definición de arriba a unas "tuplas inmensas" no tendría suficiente formalidad matemática.

Si I es cualquier conjunto, y si

\{X_i\mid i \in I\}

es una colección de conjuntos, se define

\prod_{i \in I} X_i = \{ f : I \to \bigcup_{i \in I} X_i\mid \forall i:f(i) \in X_i\},

esto es, la colección de todas las funciones definidas en el conjunto I cuyo valor en un índice cualquiera i es un elemento de Xi.

Para todo jI, la función

  \pi_{j} : \prod_{i \in I} X_i \to X_{j}

definida por

  \pi_{j}(f) = f(j),\,

se denomina proyección sobre la coordenada j.

Una n-tupla puede también verse como una función definida en {1, 2,..., n}, cuyo valor en i es el i-ésimo elemento de la tupla. Con esto, si I = {1, 2,..., n}, la nueva definición coincide con la vieja.

Un caso particular del producto infinito ocurre cuando el conjunto índice es N, el conjunto de los naturales; en este caso, el producto es sencillamente el conjunto de secuencias infinitas cuyo i-ésimo término pertenece a Xi. De nuevo se puede ver un ejemplo con R:

\prod_{n \in \mathbb N} \mathbb R =\prod_{n = 1}^\infty \mathbb R =\mathbb{R}^\omega= \mathbb R \times \mathbb R \times \cdots

es la colección de secuencias infinitas de números reales, y fácilmente se puede ver como un vector con infinitas componentes.

También es de notar el caso en el que todos los conjuntos "factores" Xi son iguales (ilustrado también por el ejemplo anterior). En este caso, la gran unión en la definición es sólo el único factor, y la segunda condición siempre se cumple; por lo tanto, el producto es solamente el conjunto de todas las funciones con dominio I y rango X, denotado XI por analogía con los "exponentes cartesianos".

En otros casos, el producto cartesiano infinito es menos intuitivo, aunque muy valioso por sus aplicaciones en la matemática.

La afirmación de que el producto cartesiano de una colección arbitraria de conjuntos no vacíos tampoco es vacío es equivalente al axioma de elección.

Teoría de la categoría

En la teoría de categorías, el producto cartesiano no es más que el producto en la categoría de conjuntos.

Véase también

Obtenido de "Producto cartesiano"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Producto cartesiano — El producto cartesiano (en honor a su inventor, René Descartes) de dos conjuntos es el conjunto de todos los pares ordenados cuyo primer elemento pertenece a A, y cuyo segundo elemento pertenece a B. Matemáticamente: A×B = (a,b): a ∈ A, b ∈ B.… …   Enciclopedia Universal

  • Producto vacío — Saltar a navegación, búsqueda En matemáticas, un producto vacío es el resultado de multiplicar entre sí ningún número. Su valor numérico es 1, el elemento neutro del producto, de la misma manera que la suma vacía, que es el resultado de sumar… …   Wikipedia Español

  • Producto directo — Saltar a navegación, búsqueda En teoría de grupos, el producto directo de dos grupos (G,*) y (H,·), denotado por G × H, es una forma natural de darle una estructura de grupo al producto cartesiano de los dos conjuntos. En el caso de grupos… …   Wikipedia Español

  • cartesiano — adj y s 1 Que pertenece a las teorías de Descartes, se relaciona con ellas o es partidario de sus ideas: el método cartesiano, una tesis cartesiana 2 Que es metódico y racional, que expone rigurosa y claramente sus ideas 3 Coordenadas cartesianas …   Español en México

  • Producto — (Del lat. productum.) ► sustantivo masculino 1 Cosa o conjunto de cosas producidas: ■ los productos lácteos son fundamentales para el crecimiento. SINÓNIMO producción 2 MATEMÁTICAS Resultado de una multiplicación: ■ dime el producto de dos por… …   Enciclopedia Universal

  • cartesiano — ► adjetivo 1 FILOSOFÍA De Descartes o del cartesianismo. ► sustantivo 2 FILOSOFÍA Persona que profesa esta doctrina. 3 coloquial Metódico, racional o lógico. * * * cartesiano, a 1 adj. y, aplicado a personas, también n. De Descartes. ⊚ Adepto al… …   Enciclopedia Universal

  • Topología producto — Se llama topología producto a una topología construida sobre el producto cartesiano de espacios topológicos a partir de la topología de los factores. Fue introducida en 1930 por Tychonoff[1] , como la topología menos fina que convierte a las… …   Wikipedia Español

  • Regla del producto (Combinatoria) — Saltar a navegación, búsqueda En combinatoria, la regla del producto es una regla de recuento básica. Enunciada de manera simple, es la idea de que si algo puede hacerse de a formas y otra cosa puede hacerse de b formas, entonces hay… …   Wikipedia Español

  • Correspondencia matemática — Saltar a navegación, búsqueda Dados dos conjuntos: X e Y, y un Grafo f, que determina alguna Relación binaria entre algún elemento de X con algún elemento de Y, diremos que ese grafo: f, define una correspondencia entre X e Y, que representaremos …   Wikipedia Español

  • Álgebra relacional — El álgebra relacional es un conjunto de operaciones que describen paso a paso como computar una respuesta sobre las relaciones, tal y como éstas son definidas en el modelo relacional. Denominada de tipo procedimental, a diferencia del Cálculo… …   Wikipedia Español