PRODUCTO CARTESIANO

1. PARES ORDENADOS
Un par ordenado es un ente matemtico de la forma
(a; b),
donde:
a: es llamado primer elemento ( primera componente) del par
ordenado (a; b) y
b: es llamado segundo elemento ( segunda componente) del par
ordenado (a; b).
1.1. IGUALDAD DE PARES ORDENADOS
Dos pares ordenados (a; b) y (c; d) son iguales si y solo si sus
respectivas primeras componentes son iguales y ,tambin, sus respectivas segundas componentes son iguales. La igualdad de los
pares ordenados (a; b) y (c; d) ser representada por (a; b) = (c; d).
Es decir,
(a; b) = (c; d) () [(a = c) ^ (b = d)]
1.2. EJEMPLO
Los pares ordenados (5; 7) y (4; 7) no son iguales, pus las respectivas segundas componentes son iguales (7 = 7) pero sus respectivas
primeras componentes son distintas (5 6= 4).

1.3. EJEMPLO: Determine los valores de x e y, tal que los pares ordenados (8 2y; 5 4x) y (3x; 3y) sean iguales.
A partir de la igualdad de pares ordenados se tiene el siguiente
sistema de ecuaciones
8
< 8 2y = 3x
,
:
5 4x = 3y
un sistema equivalente es
8
< 3x + 2y = 8
:

4x

3y = 5

Resolviendo el sistema, se obtiene que x = 2 e y = 1. Por lo tanto,

para que los pares dados arriba sean iguales, los valores que deben
tomar x e y deben de ser 2 y 1, respectivamente.
1.4. OBSERVACIN
A partir de la igualdad de pares ordenados, para a 6= b, se concluye que: (a; b) 6= (b; a). Esto es, es importante el orden de las
componentes de un par ordenado.
2. PRODUCTO CARTESIANO
El producto cartesiano de los conjuntos A y B (en ese orden), es denotado por A B y se dene como el conjunto conformado por todos
los pares ordenados cuyas primeras componentes se encuentran en A y
cuyas segundas componentes se encuentran en B.
Formalmente, esta denicin se simboliza como sigue:
A

B = f(a; b) : [(a 2 A) ^ (b 2 B)]g

o equivalentemente
(a; b) 2 A

B () [(a 2 A) ^ (b 2 B)] .

Anlogamente, a partir de la denicin de producto cartesiano de conjuntos, se tiene que el producto cartesiano de los conjuntos B y A (en
ese orden) est dado por:
B

A = f(b; a) : [(b 2 B) ^ (a 2 A)]g

o equivalentementelos conjuntos
(b; a) 2 B

A () [(b 2 B) ^ (a 2 A)] .

2.1. OBSERVACIN 1
a) En general, ya que es importante el orden de las componente
de un par ordenado, se tiene que:
B 6= B

b) En el caso que los conjuntos A y B sean iguales,

A

B=B

A=A

En este caso se suele escribir: A

2

A=B

A = A2 .

B.

2.2. EJEMPLO 2
Si A = fx 2 N : x2 5x + 6 = 0g y B = fa; b; cg, determinar A
B y B A.
Solucin
Puesto que A = f2; 3g y B = fa; b; cg, entonces
A

B = f(2; a); (2; b); (2; c); (3; a); (3; b); (3; c)g

A = f(a; 2); (a; 3); (b; 2); (b; 3); (c; 2); (c; 3)g :

Observe que el conjunto A tiene 2 elementos, el conjunto B tiene

3 elementos y el conjunto A B tiene 6 elementos.
2.3 OBSERVACIN
Sean m; n 2 N. Si un conjunto A tiene m elementos y un conjunto
B tiene n elementos, entonces los conjuntos A B y B A tienen
m:n elementos.
2.4. PROPIEDADES DEL PRODUCTO CARTESIANO
Sean A; B y C conjuntos.
a) A (B [ C) = (A B) [ (A C)
b) A (B \ C) = (A B) \ (A C)
c) A (B C) = (A B) (A C)
d) (A B) C = (A C) (B C)
e) A B = () [A = _ B = ]
f ) B C () [(A B) (A C)]
g) [A C ^ B D] () [(A B) (C D)].
3. GENERALIZACIN DEL PRODUCTO CARTESIANO
El producto cartesiano de n conjuntos no vacos A1 ; A2 ; A3 ; : : : ; An , es
denotado por A1 A2 A3
An y est denido como el conjunto
de las n plas ordenadas (a1 ; a2 ; a3 ; : : : ; an ) ;
tal que a1 2 A1 ,a2 2 A2 ; a3 2 A3 ; : : : ; an 2 An . Esto es,
A1 A2 A3

An = f(a1 ; a2 ; a3 ; : : : ; an ) : a1 2 A1 ; a2 2 A2 ; a3 2 A3 ; : : : ; an 2 An g .