Producto Cartesiano.

3.3.1 Definicin. Sean A y B conjuntos. Al conjunto formado por todos los pares ordenados de primera componente en A y segunda componente en B, se le denota A x B y se le llama producto cartesiano de A y B. Simblicamente: A x B = {(x, y) / x A y B}. En consecuencia: (x, y) A x B x A y B (x, y) A x B x A y B En particular, siendo R el conjunto de los nmeros reales, se tiene:

R R
x

= {(x, y) / x R y R }.

R x R es

el conjunto de todas las parejas de nmeros

reales. La representacin geomtrica de x cartesiano llamado tambin plano numrico.

R R es el

plano

Se establece una relacin biunvocaentre

R R
x

y el conjunto de los puntos del plano geomtrico,

asocindose de esta forma el par ordenado (x, y) con el punto P(x,y). Ejemplo 1: Sean A = {1, 2} y B = {3, 4, 5} el producto cartesiano A x B ser:

A x B = {(1, 3),(1, 4),(1, 5),(2, 3),(2, 4),(2, 5)}.

Ejemplo 2: Sean A = {x / x R < x 3 }, 1 B = {x / x R 2 x < 2 }. Su representacin geomtrica es:

A x B es el conjunto de los puntos interiores al rectngulo PQRS y los puntos que pertenecen a los segmentos PQ y QR. Ejemplo 3: Sean A = {x / x N 1 x < 4}, B = {x / x R 1 x 3}.

Representar A x B en el plano cartesiano.

Nota: La definicin de producto cartesiano puede generalizarse al producto entre n conjuntos A1, A2,..., An. En este caso, al conjunto formado por todas las n adas ordenadas (a1, a2,..., an) tales que ai Ai con i = 1, 2,..., n, se llama producto cartesiano de A1, A2,..., An y se denota A1 x A2 x ... x An.

i tenemos dos conjuntos A y B, y tratamos de armar todos los pares posibles formados por un elemento del conjunto A y un elemento del conjunto B, obtendremos el producto cartesiano de los dos conjuntos. Se escribe: Podemos representarlo de diferentes formas: diagramas de flechas, diagramas arbolados, tablas y grficos cartesianos. Cada par que formemos con un elemento de A y uno de B, en ese orden, recibe el nombre de par ordenado.

El producto cartesiano (en honor a su inventor, Ren Descartes) de dos conjuntos es el conjunto de los pares cuyo primer elemento pertenece a A y cuyo segundo elemento pertenece a B.Formalmente:

Por ejemplo: Sea C = { basto, oro, copa, espada} y V = {1, 2, 3, ... 13}, entonces V C = { (1, basto), (2, basto) ... (1, oro), ... (13, espada) }, es decir que V C es el conjunto de todos los naipes (13 corresponde al rey). El cardenal - o sea el nmero de elementos - del producto cartesiano es el producto de los cardenales de los conjuntos: |A B| = |A||B|. En el ejemplo anterior, 4 colores por 13 valores dan 52 naipes. Por induccin inmediata, el producto se generaliza a un nmero cualquiera de conjuntos: Se define A B C por (A B) C, o por A (B C), que es lo mismo pues el producto cartesiano es naturalmente asociativo, y ms generalmente:

Se admite la notacin potencial:

Ejemplos:

es el plano real usual,

es el espacio tridimensional usual, visto como un conjunto de puntos o de vectores.

Se puede an ms generalizar el producto cartesiano a un nmero infinito de conjuntos:

es el conjunto de las suceciones

, con

, para todo n entero natural. El inters terico del producto cartesiano es enorme: con l se construye conjuntos cada vez ms elaborados a partir de conjuntos sencillos. Otra operacin muy productiva, que se parece a una divisin de conjuntos, es el cociente de un grupo por un subgrupo, o de un espacio vectorial por un subespacio, o un lgebra por una sublgebra ...

Pareja ordenada
Una pareja ordenada es una pareja de nmeros, (x, y), escritos en un orden particular. La pareja ordenada (x, y) no es la misma que la pareja ordenada (y, x). Una pareja ordenada es a menudo usada para representar un punto en un plano coordenado o la solucin para una ecuacin con dos variables.

Ejemplo: Encuentre una pareja ordenada que es una solucin de la ecuacin y = x 3, y grafique el punto en el plano coordenado.
La pareja ordenada (5, 2) funciona, ya que 2 = 5 3.

(Dese cuenta que en matemticas avanzadas, una pareja ordenada no tiene que ser una pareja ordenada de nmeros; puede tener parejas ordenadas de conjuntos, funciones, o incluso parejas ordenadas!)

Pareja ordenada. Una pareja ordenada es un conjunto con dos elementos en un orden especfico. Usamos la notacin denotar la pareja ordenada en la cul el primer elemento o componente es y el segundo elemento objeto es b.

para

De esta forma, dos parejas ordenadas

son iguales si sus correspondientes componentes son iguales Es decir,

si y solamente si

As mientras que los conjuntos

son iguales, las parejas ordenadas

son diferentes.

El concepto de de producto cartesiano se basa en el concepto de pareja ordenada.

Definicin: 2.1.2 Producto cartesiano. El producto cartesiano de dos conjuntos A yB es el conjunto de parejas ordenadas

donde

. En smbolos,

Por lo tanto

En consecuencia:

. Ejemplo:

Sean

El ejemplo anterior muestra que la operacin producto cartesiano no es conmutativa, es decir, en general Producto cartesiano definido por comprensin

En el caso que los conjuntos Sean

estn definidos por comprensin el producto cartesiano de se puede definir de la siguiente manera:

el producto cartesiano de

se puede escribir como:

En este caso:

En consecuencia:

Ejemplo:

Sean

 Los siguientes teoremas establecen que la operacin de producto cartesiano distribuye sobre la unin y la interseccin. Teorema 2.1.1Si A, B y C son conjuntos, entonces

Demostracin:

( i ) La prueba usa la propiedad distributiva de la

sobre la

Puesto que se trata de la igualdad entre dos conjuntos hay que demostrar dos contenencias:

Ejercicio: Demostrar las otras partes del teorema anterior. Ahora podemos formalizar el concepto de relacin entre objetos, en trminos del producto cartesiano.

es una coordenada bien definida. dada por una absisa y una ordenada en el plano cartesiano por ejemplo el par ordenado ( 4, 2 ) quiere decir que la absisa es 4 y es la distancia del eje x (eje de las absisas) al eje y (eje de las ordenadas) y la ordenada es 2 e indica la distancia del eje y al eje x asi pues el par ordenado (4,2) es una pareja ordenada, el par ( 3, 5 ) es otra pareja ordenada, el par ( -5 , 6 ) es otra pareja ordenada. las parejas ordenadas tambien son llamadas coordenadas cartesianas en honor al matematico y padre de la geomatria analitica rene descartes, tambien son llamadas coordenadas rectangulares. ya que la ubicacion del par ordenado esta en un solo plano y a su vez el plano se divide en cuatro cuadrantes es por eso que son rectangulares un par ordenado tiene la caracteristica principal y fundamental de tener uno y solo un valor para x y un unico valor para y por tanto se dice que ( x, y ) es un par ordenado o pareja ordenada.

No se como decirte,que no sales de mi mente, por que cuando estoy contigo el tiempo se detiene Asi podria seguir escribiendote todo esto pero es que realmente no me alcanzaria el tiempo.... Por que dos personas como tu no hay te lo puedo asegurar con cada uno de estos versos