Producto cartesiano

Saltar a navegación, búsqueda

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.

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

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

$T = \{ \,$

$\} \,$

$P = \{ \,$

$\} \,$

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:

$= ( \,$

$) \,$

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 X² = X × X. Un ejemplo de esto es el espacio euclídeo de dos dimensiones R² = R × R, donde R es el conjunto de los números reales; R² 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 X₁,..., X_n:

$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 (X₁ ×... × X_n-1) × X_n; es un conjunto de n-tuplas.

Análogamente al cuadrado cartesiano, se pueden usar potencias mayores: R³ = 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 X_i.

Para todo j ∈ I, 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 X_i. 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" X_i 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 X^I 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"

Categoría: Teoría de conjuntos

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

Los diccionarios y las enciclopedias sobre el Académico

Producto cartesiano

Producto cartesiano

Contenido

Ejemplo 1

Ejemplo 2

Generalización finita

Productos arbitrarios

Teoría de la categoría

Véase también

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Producto cartesiano

Producto cartesiano

Contenido

Ejemplo 1

Ejemplo 2

Generalización finita

Productos arbitrarios

Teoría de la categoría

Véase también

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo