Parejas ordenadas

El orden de los elementos en un conjunto no interesa, por ejemplo: dados A = {1, 2} y B = {2, 1}, representan el mismo conjunto; o sea que para ser iguales nos importa nicamente que los conjuntos contengan los mismos elementos, sin importar el orden en que stos se enumeren! "e#inamos un nue$o concepto: una pareja ordenada consiste en dos componentes, de los cuales a uno se le designa como el primer componente, y al otro, el segundo! "ada una pareja ordenada donde a es el primer componente y b es el segundo, sta se escri%e (a, b)! "e lo e&puesto, se deduce entonces que, dadas dos parejas ordenadas: 'a, b( y 'c, d( son iguales si y solo si se cumple que a = c y b = d !

El concepto de pareja ordenada se puede e&tender para el caso de tres componentes 'a, %, c( donde a es el primer componente de la terna, b el segundo y c el tercero! En general se puede e&tender el concepto para n componentes 'n)tuplas(!

Producto cartesiano
*onsideremos dos conjuntos ar%itrarios A y B! El conjunto de todas las parejas ordenadas 'a, b( en donde a A y b B se llama producto o producto cartesiano de A y B! +a de#inici,n de producto cartesiano puede e&tenderse #-cilmente al caso de m-s de dos conjuntos, si son tres .a%laremos de ternas ordenadas de elementos, etc!!

Entonces: se llama producto cartesiano de dos conjuntos A y B., se representa A x B, al conjunto de pares ordenados (a, b), tales que el primer componente de la pareja pertenece al primer conjunto y el segundo componente al segundo conjunto. simblicamente: A x B = {(a, b) / a A, b B}.

El producto cartesiano, en general, no es conmutati$o! Es decir: A & B / B & A; s,lo se cumple la igualdad si los conjuntos A y B son coincidentes! 0or ejemplo si: A = {a, b} y B = {1, 2}, A & B = {'a, 1(, 'a, 2(, 'b, 1(, 'b, 2(} B & A = {'1, a(, '2, a(, '1, b(, '2, b(},
1ueda claro que los conjuntos tienen elementos 'parejas ordenadas( distintos!

Formas de representacin

2ean los conjuntos:

A = {a, %, c} y B = {1, 2, 3, 4}, su producto cartesiano resulta:

A & B = {'a, 1(, 'a, 2(, 'a, 3(, 'a, 4(, '%, 1(, '%, 2(, '%, 3(, '%, 4(, 'c, 1(, 'c, 2(, 'c, 3(, 'c, 4(} 2e puede representar gr-#icamente por medio de puntos en un plano, como se muestra a continuaci,n! *ada punto P representa una pareja ordenada 'a, b( de $alores y viceversa! En el eje .ori5ontal representamos los elementos del primer conjunto y en el $ertical los $alores del segundo conjunto! A esta representaci,n se le conoce como diagrama cartesiano!

4 3 2 1

A a c 6tra manera de $isuali5ar, es a tra$ s de una representaci,n gr-#ica, donde se destaquen los elementos que pertenecen al conjunto A y los que pertenecen a B 'diagrama de 7E88(. 2e tra5an #lec.as que indican la relaci,n que e&iste entre cada elemento del conjunto A y su pareja en el conjunto B. A esta representaci,n gr-#ica se le conoce como diagrama de flechas! b

A 1

a b

2 3

c 4

9na tercera #orma de representar, es la conocida como diagrama de rbol, que consiste en escri%ir los elementos segn un orden jer-rquico partiendo de un punto inicial, al que se su%ordinan los elementos del primer conjunto y a cada uno de stos los del segundo!

1 2

3 1

4 2

1 3 2 4 3

Definicin
2e de#ine como relacin o correspondencia R entre los conjuntos A y B, a un su%conjunto del producto cartesiano A & B, compuesto por pares de elementos que cumplen cierta regla de#inida! Este puede estar #ormado por un solo par ordenado, $arios, todos o ninguno de los que #orman parte de A & B, por lo tanto:

Ejemplo:

Dados los conjuntos: A = {1, 2, , !, "} # = {1, , ", $} % la &elacin ' de(inida como )ma%o& *ue+ *ue ,incula elementos de A con los de # (en ese o&den) El dia-&ama (.E//) es:

A
1 2 1

3 3 4 5

!orma impl"cita# : = {'&, y( A&B ; & > y}

!orma e$pl"cita#

El conjunto de pares ordenados que #orman parte de : est- compuesto por un elemento del primer conjunto y un elemento del segundo conjunto en ese orden y adem-s satis#acen la condici,n que de#ine esa relaci,n! 2e dice que:

Elementos de una relacin

&

' &, y (

7ol$amos al ejemplo anterior:

El conjunto A es el conjunto Inicial o conjunto de Partida! +os elementos de A que #orman parte de la relaci,n son el primer componente de las parejas; en el diagrama de #lec.as es el de donde parten las #lec.as! El conjunto B es el conjunto Final o conjunto de Llegada! +os elementos de B que #orman parte de la relaci,n son el segundo componente de las parejas; en el diagrama de #lec.as es al que llegan las #lec.as! El Dominio es el conjunto de los primeros elementos de cada par ordenado! "e cada elemento del dominio sale por lo menos una #lec.a! 6 sea que el "ominio es un su%conjunto del conjunto de 0artida, ya que algunos elementos del conjunto inicial pueden no #ormar parte de la relaci,n!
2im%,licamente:

"ada : 'A&B(, ": = { & ; & A '&,y( :}

Imagen es el conjunto de los segundos elementos de cada par ordenado! En una relaci,n, a cada elemento del conjunto <magen llega por lo menos una #lec.a! El conjunto <magen es un su%conjunto del conjunto de +legada, ya que algunos elementos del conjunto #inal pueden no #ormar parte de la relaci,n! Al conjunto <magen, tam%i n se le llama "omino de <m-genes!
2im%,licamente:

"ada : 'A&B(, <: = { y ; y B '&,y( :}

En nuestro ejemplo:

*onjunto de 0artida = {1, 2, 3, 4, =} *onjunto de +legada = {1, 3, =, >} "ominio : = {2, 3, 4, =} <magen : = {1, 3}

"ados dos conjuntos A y B, y una relaci,n : entre ellos, se denomina relacin inversa de R, y se representa por R -1, a la correspondencia que asocia a los elementos del conjunto #inal con los del conjunto inicial de :; es decir, tiene como Dominio el conjunto magen de :, ! como conjunto magen el Dominio de :!
2im%,licamente:

2iguiendo con el ejemplo anterior, representemos : )1 :

A B
1 2 1 3 3 4 5 5

!orma impl"cita# %&1 = {'y, $( B $ A ) y * $}

7eamos un nue$o ejemplo: 2ean los conjuntos A = {a, %, c}, B = {1, 2, 3, 4} y : = {'a,2(, '%,2(, '%,3(, '%,4(}
: es una relaci,n entre elementos de los conjuntos A y B, ya que : 'A&B(!

+os elementos de la relaci,n son:

*onjunto de 0artida = {a, %, c} *onjunto de +legada = {1, 2, 3, 4} "ominio : = {a, %} <magen : = {2, 3, 4}

?r-#icamente:
1( "iagrama cartesiano B

4 3 2 1

A a c b

2( "iagrama de #lec.as: A a 1 2 3 c 4 B

3( "iagrama de -r%ol:

b
2

4( R -1 '"iagrama de #lec.as(: B a 1 2 b 3 c 4 A

=( @atri5 asociada a la relaci,n

Aormemos una matri5 donde cada elemento $ale 1 o B, segn .aya relaci,n o no para el par que determina su #ila y su columna! 0or ejemplo, tomenos la primer #ila para indicar los correspondientes al primer elemento del conjunto de partida, la segunda para el segundo y asC sucesi$amente; similarmente con las columnas para los elementos del conjunto de llegada!

:esulta entonces:

B A
a % c 1 2 3 4

B B B

1 1 B

B 1 B

B 1 B

6%ser$emos que .ay 1 para las parejas 'a, 2(, '%, 2(, '%, 3(, '%, 4(, lo que se corresponde con la relaci,n que estamos tratando!

0odrCamos .a%er indicado las columnas para el conjunto de partida y las #ilas para la llegada, lo que nos .a%rCa dado como resultado la matri5 traspuesta! <ndicando con claridad como se disponen los elementos por #ila y columnas, y que corresponde a cada una, poco importa cual sea el criterio que adoptemos para su representaci,n!

0arece que esta #orma de indicar la relaci,n es m-s c,moda para representarla o almacenarla en un computador!

F !"I#!E$
"ados dos conjuntos A y B, se de#ine como FUNCIN de A en B a una relaci,n ' cumplen las siguientes propiedades: a( %( es "otal es #n$voca

f ( entre am%os, donde se

o sea, en la relaci,n, de%e ocurrir que: a( %(

2im%,licamente:

el "ominio de la :elaci,n es el propio conjunto de 0artida cada elemento del "ominio tiene una nica imagen
& A y B ; #'&( = y ' es lo mismo que decir que '&,y( A ( }

Ejemplo:

"ados los conjuntos: A = {1, 3, 4} y B = {1, 2, 4, =, >} y la relaci,n R de A en B de#inida como Dsiguiente aE!
: = {'1, 2(; '3,4(; '4,=(}

El dia-&ama (.E//) es:

1 2 3

4 5

"ado que la relaci,n es Fotal, usualmente al *onjunto de 0artida le llamamos "ominio de la #unci,n, asC como *odominio al *onjunto de +legada! Al *onjunto <magen tam%i n se le denomina :ecorrido de la #unci,n!

%ipos de Funcin
Foda #unci,n es una relaci,n Fotal y 9nC$oca, o sea que el comportamiento $isto desde el conjunto de 0artida es similar; entonces las di$ersa #ormas de clasi#icaci,n las anali5aremos en c,mo se $inculan los elementos del "ominio con los del conjunto de +legada '*odominio(!

In&ectiva! Es cuando se cumple que cada elemento del conjunto <magen es el correspondiente de un solo elemento del "ominio; es decir, que todos los elementos del *odominio o %ien no tienen preimagen o si la tiene es nica!
2im%,licamente:

y B ocurre

G & / #'&( = y o G si para & #'&( = y, #'&( = 5 ))

y=5

Ejemplo: "ados A = {1, 3, 4, >} B = { y ; y , < 15, (,2) = 1} y la #unci,n #: A B dada por la e&presi,n #'&( = 2&H1

f
B 1 3

3 4
5 + , 13 11

Ejemplo:

"ado A = {1, 3, 4, >, 12} y la #unci,n #: A 8 'naturales( ; #'&( = &2 H 2 :esulta: A = { '1,3(; '3, 11(; '4,1I(; '>, 3I(; '12,14>( }

6%ser$emos que si los conjuntos son #initos, se cumple que: J "ominio K J *odominio

$o're&ectiva! Es una #unci,n donde se cumple que el conjunto <magen coincide con el de +legada; es decir, que todos los elementos del *odominio tienen al menos una preimagen!
2im%,licamente:

yB

& / #'&( = y

Ejemplo: "ados A = {3, 4, L, 2=, 3=} B = { 2, 3, = } y la #unci,n #: A B de#inida como Dsu%)mltiplo deE 'a cada elemento de A le asocia su%)mltiplos en B(

f
B 2

4 , 25 35
Ejemplo:

"ado A = {B,1, 2, 3,}

la #unci,n #: 8 A ; #'&( = m,dulo'&, 4(

+os naturales mltiplos de 4 tiene como imagen a B; los mltiplos de 4 H1 a 1, los mltiplos de 4 H2 a 2 y los mltiplos de 4 H 3 a 3!

6%ser$emos que si los conjuntos son #initos, se cumple que: J "ominio M J *odominio

(i&ectiva! Es una #unci,n que es simult-neamente n!ectiva y %obre!ectiva; es decir, que todos los elementos del *odominio tienen una y s,lo una preimagen!
2im%,licamente:

y B & / #'&( = y "ados y1 / y2 1 = (1), 2 = (2) 1 0 2

Ejemplo: "ados A = {3, 4, L, 1B} B = { >, I, 1I, 2B} y la #unci,n #: A B #'&( = 2&

.
4 , Ejemplo: 1-

1. 2-

"ada la #unci,n #: N N ; #'&( = & H1

Es %iyecti$a pues a cada entero del dominio le corresponde su siguiente y cada entero del codominio es imagen del entero anterior! 8otemos que si la #unci,n estu$iera de#inida en 8&8 no serCa %iyecti$a !

6%ser$emos que si los conjuntos son #initos, se cumple que: J "ominio = J *odominio