4 RELACIONES BINARIAS

Son
relaciones elemento a elemento entre los elementos de un mismo conjunto. Dados dos
elementos a y b pertenecientes ambos al conjunto A, para expresar que a est relacionado con
b escribiremos a R b, que se lee a est relacionado con b. As, pues, una relaci!n binaria es
una correspondencia entre los elementos de un mismo conjunto.
"a di#erencia entre aplicaciones y relaciones binarias est en que las aplicaciones son
correspondencias de elementos entre distintos conjuntos y las relaciones binarias,
correspondencias entre los elementos de un mismo conjunto.
$na relaci!n binaria se puede representar mediante%
a) Diagrama de Venn
Dado el conjunto A & 'a, b, c, d( la relaci!n que aparece en el dia)rama de *enn indica
que% el elemento a est relacionado consi)o mismo+ el elemento b est relacionado con el c y
el c lo est con el d.
b) Conjunto de pares
Se),n esta #orma de expresi!n, la relaci!n binaria del dia)rama de *enn anterior sera%
R & '-a, a., -b, c., -c, d.(
c) Diagramas cartesianos
"a expresi!n matemtica de una relaci!n binaria es%
Una operacin aplicada a los elementos de un conjunto recibe tambin el nombre de ley de
composicin interna en el conjunto. Puede ocurrir que un conjunto tenga ms de una ley de
composicin interna, y entonces cada operacin se indicara con un signo distinto.
x, y /, x R y -x, y. R / /
0n e#ecto, si se #orma el producto cartesiano de un conjunto consi)o mismo -//. una
relaci!n binaria ser un subconjunto 1 #ormado por 2arios pares, pertenecientes todos ellos al
producto cartesiano //. 1 es un subconjunto de //.

Los productos cartesianos aparecen muy frecuentemente en matemticas.
Por ejemplo, el plano de los nmeros complejos es R R, donde R es la recta real, o conjunto de
todos los nmeros reales.
La superficie terrestre es producto cartesiano de la circunferencia del ecuador por la del meridiano
origen, pues cada punto aparece determinado por el par ordenado !longitud"latitud#.
La superficie lateral de un cilindro puede considerarse como el producto cartesiano de la
circunferencia de un c$rculo !base# por un segmento rectil$neo !generatri%#, tomados estos tres
elementos &superficie lateral, circunferencia y generatri%& como conjuntos de puntos.
PROPIEDADES DE UNA RELACIN BINARIA
REFLEXIVA O IDNTICA
Se dice que una relaci!n binaria tiene la propiedad re#lexi2a cuando todos los elementos del
conjunto en el que esta de#inida la relaci!n se relacionan consi)o mismos. 0s decir, que%
x, x / x R x -x, x. 1 / /
que se lee% 3ara todo x, siendo x perteneciente al conjunto /, x esta relacionado con x, si y
s!lo si el par -x, x. pertenece al subconjunto 1 que est contenido en el producto cartesiano /
/.

0jemplo% Sea el
conjunto%
/ & '4, 5, 6, 4(
7bs8r2ese que si una relaci!n es re#lexi2a, cada elemento
lle2a un

Se considera la relaci!n ser i)ual a. Dic9a relaci!n tiene la propiedad re#lexi2a, porque
todos los elementos del conjunto estn relacionados consi)o mismos, ya que%
4 & 4 4R4
5 & 5 5R5
6 & 6 6R6
4 & 4 4R4

Si expresamos esta relaci!n mediante un dia)rama de *enn se tendra%
ANTIRREFLEXIVA
Se dice que una relaci!n binaria tiene la propiedad antirre#lexi2a cuando nin),n elemento
est relacionado consi)o mismo.
0jemplo% 0n el conjunto D & '4, 5, 6( la relaci!n representada por el )r#ico de #lec9as
cumple con esta propiedad, puesto que nin),n elemento est relacionado consi)o mismo.
Un conjunto participa de la propiedad reflei'a si y slo si todos sus elementos estn relacionados
consigo mismos.
Por ejemplo, si en un conjunto de nmeros enteros establecemos la relacin binaria (ser de la misma
paridad que(, esta relacin tiene la propiedad reflei'a.
)n cambio la relacin a R b si y slo si a * b + ab, slo es reflei'a para el , y el -.
Un conjunto con relaciones entre sus elementos se llama un relati'o. Un conjunto con operaciones
entre sus elementos recibe, segn algunos, la denominacin de un lgebra. .anto las lgebras
como los relati'os son estructuras. Una estructura es, en suma, un conjunto sobre el que se /an
definido ciertas relaciones y ciertas leyes de composicin, interna o no. )jemplos particulares de
estructuras son las de grupo, anillo, cuerpo y otros conceptos matemticos.
)n el conjunto 0 + 1a, b, c, d2 representado a la derec/a, la relacin R + 1!a, a#, !b, c#2 no cumple con
la propiedad antirreflei'a, ya que el elemento a est relacionado consigo mismo.

0sta relaci!n -al i)ual que las restantes., por estar contenida en un producto cartesiano de
dos conjuntos, puede tambi8n representarse as%
BINARIA
1. Qu son las !la"#on!s $#na#as%
&. Cu'n(o !)#s*! la +o+#!(a( an*#!,l!)#-a !n una !la"#.n $#na#a%
PROPIEDAD SI/TRICA
Se dice que una relaci!n binaria tiene la propiedad sim8trica, dados dos elementos x e y
cualesquiera, pertenecientes al conjunto en el que se 9a de#inido la relaci!n, cuando cumple
que si el elemento x est relacionado con el y, entonces el y est relacionado con el x. 0s
decir, que%
x, y, si xRy yRx -x, y. 1 -y, x. 1, 1/ /
0n resumen, si x se relaciona con y e y se relaciona con x, siendo x e y elementos
cualesquiera de un conjunto / en el que se 9a de#inido la relaci!n se cumple esta propiedad.
7bs8r2ese que si 9ay una #lec9a 9ay tambi8n otra .
)n una relacin binaria !conjunto de pares ordenados de elementos# entre dos conjuntos, o en el
producto cartesiano de un conjunto consigo mismo, se denomina dominio de la relacin al
conjunto de todos los primeros miembros de los pares ordenados que constituyen la relacin3 se
llama imagen de la relacin al conjunto de todos los segundos miembros de los pares ordenados
que constituyen la relacin.
0jemplo 4% "a relaci!n R de#inida en%
/ & 'a, b, c, d(
R & '-a, a.,-b, b.,-c, c.,-d, d.,-c, a.,-c, d.,-d, c.(
no cumple la propiedad sim8trica pues el elemento c est relacionado con el a y el a no lo est
con el c 3or el contrario, esta relaci!n s cumple la propiedad re#lexi2a%
0jemplo 5% "a relaci!n R representada en el dia)rama s cumple con la propiedad sim8trica%

)n el conjunto de 4 /ermanos !todos c/icos# se considera la relacin (ser /ermano de(. )sta relacin
tiene la propiedad simtrica, ya que si un /ermano lo es de otro, el segundo es tambin /ermano del
primero.
Un ejemplo de relacin no numrica que tiene la propiedad simtrica es la de pertenenc$a5 siempre se
cumple que si es del mismo conjunto que y entonces y es del mismo conjunto que .
6i imaginamos una
pista de baile en la
que mltiples parejas
dan%an al comps de
un 'als, y
consideramos la
relacin (ser pareja
de(, obser'aremos
que la relacin
participa de la
propiedad simtrica.
6i 7ntonio es pareja
de 8sabel, sta lo es
tambin de 7ntonio.
PROPIEDAD ANTISI/TRICA
Si consideramos el conjunto de todas las personas, obser2amos que la relaci!n :ser 9ermano
de; tiene la propiedad antisim8trica, y no la sim8trica, puesto que, si 3ablo es 9ermano de
<ara, <ara no es 9ermano de 3ablo, sino 9ermana. De otro modo% x R y === y R x,o bien
-x, y. & -y, x.
Se dice que una relaci!n binaria tiene la propiedad antisim8trica si dados dos elementos x e
y cualesquiera, pertenecientes al conjunto en el que se 9a de#inido la relaci!n, y distintos entre
s, se cumple que si x est relacionado con y, entonces y no est relacionado con x.
0s decir,

Aqu aparecen las #lec9as en un sentido pero no en el in2erso. R> si)ni#ica no esta
relacionada con.
0jemplo% 0n el conjunto de los n,meros naturales -enteros y positi2os. se considera la
relaci!n ser m,ltiplo de.
Se),n esta relaci!n, el 4 estara relacionado con el 5, puesto que 4 es m,ltiplo de 5, el ?
estara relacionado con el 6, etc... 3ero el 9ec9o de que el ? est8 relacionado con el 6 no quiere
decir que el 6 est8 relacionado con el ?. 0n e#ecto, el 6 no est relacionado con el ?, ya que 6
no es m,ltiplo de ?. "ue)o se cumple que%
si 4 R 5 &@ 5 R 4
que se lee si el 4 est relacionado con el 5, el 5 no est relacionado con el 4.
? R 6 &@ 6 R ?, etc.
0n consecuencia, esta relaci!n R ser m,ltiplo de cumple la propiedad antisim8trica.
Debe tenerse en cuenta que la propiedad antisim8trica no es la contraria de la sim8trica.
/omo se 9a 2isto, ambas propiedades responden a ideas distintas. "o ,nico que se puede
a#irmar, en relaci!n a ambas, es que si una relaci!n tiene la propiedad antisim8trica, se)uro
que no cumple la sim8trica y 2ice2ersa+ es decir, que una relaci!n no puede a la 2eA satis#acer
ambas propiedades.
0onsideremos un partido de ftbol entre dos equipos. 0ada jugador recibe el marcaje de otro jugador
del equipo contrario y a la in'ersa. 6i establecemos la relacin (marcar a(, sta no tiene porqu ser
necesariamente simtrica. )n el caso de que Pedro marcara a 9uan y 9uan marcara a :elipe !y as$
sucesi'amente# nos encontrar$amos ante una relacin antisimtrica.
PROPIEDAD TRANSITIVA
Se dice que una relaci!n binaria tiene la propiedad transiti2a, cuando dados tres elementos
x, y, A cualesquiera, pertenecientes al conjunto en el que se 9a de#inido la relaci!n, se cumple
que si el elemento x est relacionado con el y, y el elemento y est relacionado con el A,
entonces el elemento x est relacionado con el A. 0s decir, se cumple que%
que se lee del modo si)uiente% para todo x, y, A pertenecientes al
conjunto /, si x est relacionado con y e y est relacionado con A,
implica que x est relacionado con A, es decir, que si los pares
ordenados -x, y. e -y, A. pertenecen al subconjunto 1 del producto
cartesiano / /, que constituye la relaci!n, entonces el par
ordenado -x, A. tambi8n pertenece a dic9o subconjunto 1.
7bs8r2ese que si se representa mediante un dia)rama de *enn
una relaci!n binaria que cumpla esta propiedad transiti2a, aparece
una #lec9a -seBalada en el )r#ico con doble traAo. a modo de
camino directo entre dos elementos.
Una relacin R en un conjunto 6 es transiti'a si para todo , y y % de 6, siempre que R y y y R %, se
tiene R %.
.omemos de nue'o el
conjunto de cinco
/ermanos 'isto
anteriormente. 6i
consideramos la relacin
(ser /ermano de(, esta no
slo poseer, como ya se
'io, la propiedad simtrica,
sino tambin la propiedad
transiti'a, pues si el primer
/ermano lo es del
segundo y ste lo es del
tercero, aqul lo ser
asimismo del tercero, y as$
sucesi'amente entre los
cinco /ermanos.

0jemplo 4% 0n el conjunto de las rectas de un plano se de#ine la relaci!n R ser paralela a.
Dic9a relaci!n )oAa de la propiedad transiti2a, ya que si ele)imos tres rectas al aAar, de
entre las rectas del plano, s
4
, s
5
, s
6
y se cumple que si s
4
es paralela a s
5
, y a su 2eA s
5
es
paralela a s
6
, necesariamente s
4
deber ser paralela a s
6
.

0jemplo 5% 0n el conjunto de los trin)ulos se considera la relaci!n% ser semejante a...
Dic9a relaci!n )oAa de la propiedad transiti2a. 0n e#ecto, si el trin)ulo t
4
, ele)ido al aAar
entre el conjunto de los trin)ulos, es semejante al trin)ulo t
5
-por tener los n)ulos i)uales y
los lados proporcionales. y a su 2eA el trin)ulo es semejante al trin)ulo t
6
, necesariamente el
trin)ulo t
4
es semejante al t
6
+ lue)o esta relaci!n en este conjunto )oAa de la propiedad
transiti2a%
0l smbolo si)ni#ica ser semejante a....
0l smbolo -a,n no usado. si)ni#ica% ser aproximadamente i)ual a....

0jemplo 6% 0n el conjunto / & 'a, b, c, d( se considera la relaci!n binaria de#inida por el
si)uiente subconjunto 1 / /%
R & 1 & '-a, b., -a, c., -b, c., -a, d.(
-4. -5. -6.
0sta relaci!n R tiene la propiedad transiti2a ya que a est relacionado con b -4., b est
relacionado con c -5., y tambi8n a est relacionado con c -6..
A continuaci!n se expone un resumen de identi#icaci!n de las distintas propiedades de las
relaciones en cuanto a su representaci!n en dia)ramas de *enn%
C 3ropiedad re#lexi2a
/ada elemento presenta un bucle
C 3ropiedad sim8trica
"a relaci!n tiene las #lec9as siempre por pares o de la #orma
C 3ropiedad transiti2a
"a relaci!n tiene una #lec9a de a a b, otra de b a c, y otra #lec9a de a a c.
C 3ropiedad antirre#lexi2a
Dunca 9ay
C 3ropiedad antisim8trica
Dunca 9ay
C 3ropiedad antitransiti2a
Dunca 9ay
)n un conjunto ;, cualquiera que ste sea, si aplicamos
a los elementos la relacin de pertenencia a ese
conjunto, se obser'arn siempre las propiedades
simtrica, reflei'a y transiti'a.

SI/ETR0A
1. Cu'n(o *#!n! la +o+#!(a( an*#s#1*#"a una !la"#.n $#na#a%
&. Cu'n(o !)#s*! la +o+#!(a( *ans#*#-a%
<uc/as 'eces la in'ersa de la propiedad
transiti'a es tambin transisti'a3 por
ejemplo, en la relacin =ser mayor que> se
cumple que si a no es mayor que b y b no
es mayor que c, entonces a no puede ser
mayor que c. 6in embargo, en la relacin
=ser paralela a> se puede dar que a no sea
paralela a b, y b no sea paralela a c, pero a
y c sean paralelas..
.omemos de nue'o el conjunto de cinco
/ermanos 'isto anteriormente. 6i consideramos
la relacin =ser /ermano de>, esta no solo
poseer, como ya se 'io, la propiedad simtrica,
sino tambin la propiedad transiti'a, pues si el
primer /emano lo es del segundo y ste lo es
del tercero, aqul lo ser asimismo del tercero, y
as$ sucesi'amente entre los cinco /ermanos.
RELACIN DE EQUIVALENCIA
Se dice que una relaci!n binaria es de equi2alencia, si cumple las tres propiedades
si)uientes% re#lexi2a, sim8trica y transiti2a. Eaciendo uso del len)uaje matemtico se tendra%
4.. a / a a propiedad re#lexi2a que se lee% para todo elemento perteneciente al
conjunto / en el que se 9a de#inido la relaci!n binaria se cumple que a est relacionado con a.
5.. a, b, a,b /, si a b b a, propiedad sim8trica, que se lee% para todo elemento a
y para todo elemento b, ambos pertenecientes al conjunto / en el que se 9a de#inido la
relaci!n binaria, si se cumple que a est relacionado con b, entonces b est relacionado con a.
6..
a, b,
c, a,
b, c
/, si a b b c a c, propiedad transiti2a que se lee% para todos los elementos a, b, c,
siendo a, b, c pertenecientes al conjunto / en el que se 9a de#inido la relaci!n binaria, si a est
relacionado con b y b lo est con c, entonces necesariamente a est relacionado con c.
0jemplo% 0n el conjunto de las rectas del plano / se considera la relaci!n ser paralela a....

/omo puede obser2arse en el )r#ico, cualquier recta del plano es paralela a s misma+
lue)o se cumple la propiedad re#lexi2a, que dice%
r, r /, r r
)l concepto de relacin de equi'alencia est implicitamente ligado a todo el desarrollo de la
matemtica, pues es fundamental en cualquier proceso de abstraccin. La igualdad, las
congruencias en el conjunto de los nmeros enteros, el paralelismo de rectas o planos son
relaciones de equi'alencia.
Adems, si una recta r
4
es paralela a otra r
5
, necesariamente r
5
es paralela a r
4
, lue)o se
cumple la propiedad sim8trica%
r
4
, r
5
, r
4
, r
5
/
si r
4
r
5
r
5
r
4
3or ,ltimo, si una recta del plano r
4
es paralela a otra r
5
y esta ,ltima es paralela a una
tercera r
6
, entonces necesariamente r
4
es paralela a r
6
, lue)o se cumple la propiedad transiti2a%
r
4
r
5
r
6
, r
4
, r
5
, r
6
/
si r
4
r
5
r
5
r
6

r
4
r
6
Clase de equivalencia
Dada una relaci!n de equi2alencia entre los elementos de un conjunto /, se denomina clase
de equi2alencia a cada uno de los posibles subconjuntos de / #ormados por elementos
relacionados entre s.
0s usual representar cada clase de equi2alencia por uno de los elementos pertenecientes a
dic9a clase.
As, por ejemplo, si en el conjunto de las palabras de una p)ina de un libro se de#ine la
relaci!n R empeAar con la misma letra del al#abeto, el conjunto de las palabras que
comenAarn con la letra m #ormarn una clase de equi2alencia que podra denominarse la
clase ''modo((, suponiendo que se eli)iera esta palabra como representante de la clase.
"!)icamente, los restantes elementos de la clase ''modo(( estaran relacionados con esta
palabra.

Si se considera en el conjunto / del )r#ico anterior la relaci!n ser paralela a, se obser2a
que existen 5 )rupos di#erenciados de rectas.
$no de ellos #ormados por rectas paralelas a r
4
, que constituyen una clase de equi2alencia que
podra denominarse ''r
4
((.
0l otro )rupo, #ormado por rectas paralelas a r
5
, constituye asimismo una clase de
equi2alencia que podra denominarse ''r
5
((. Si se 9ubiera considerado todas las rectas del
plano, las clases de equi2alencia seran in#initas.
Conjunto cociente
Se denomina conjunto cociente al conjunto #ormado por todas las clases de equi2alencia
que resultan en un conjunto / cuando se establece en 8l una relaci!n de equi2alencia :.
Se representa de manera abre2iada por%
donde // si)ni#ica producto cartesiano de // y : representa la relaci!n de equi2alencia
de#inida en el conjunto. 0n el ejemplo del apartado anterior el conjunto cociente sera%
& '''r
4
(, 'r
5
(((
0s decir, estara ,nicamente #ormado por las clases de equi2alencia ''r
4
(( y ''r
5
((, ya que
estas dos son las ,nicas clases existentes.
7bs8r2ese que en dic9o ejemplo el conjunto / est #ormado por ? elementos, mientras que el
conjunto cociente ,nicamente consta de dos.
"a noci!n de conjunto cociente se utiliAa muc9o en la prctica para clasi#icar los elementos de
un conjunto.
)l conjunto cociente de las rectas del plano por la relacin de equi'alencia constituida por el
paralelismo son las clases de rectas paralelas entre s$, es decir, los subconjuntos formados por rectas
que tienen la misma direccin..
EQUIVALENCIA
1. Cu'n(o s! (#"! 2u! una !la"#.n !s (! !2u#-al!n"#a%
&. Cu'n(o una !la"#.n !s (! o(!n +a"#al%
RELACIN DE ORDEN
0xisten distintos tipos de relaciones de
orden, atendiendo, por un lado, a las
propiedades que cumplen y, por otro, a los
elementos que estn relacionados.
Se dice que una relaci!n binaria es de orden
amplio cuando cumple las propiedades
re#lexi2a, antisim8trica y transiti2a.
Si ,nicamente cumple las propiedades antisim8trica y transiti2a, se dice que es de orden
estricto.
)l nombre de relacin de orden se comprender
si se piensa que una relacin de este tipo en un
conjunto permite ordenar por lo menos algunos
de sus elementos.
7s$, en el caso citado de los nmeros naturales,
?, tenemos que es posible escribir , @ABC-,
por ejemplo, fijando un orden entre algunos
elementos de ?..
0n cuanto a los elementos que se relacionan entre s, una relaci!n es de orden total cuando
todos los elementos del conjunto se relacionan entre s, lo que se traduce en un dia)rama
lineal, como se 2er ms adelante.
Se dice que una relaci!n es de orden parcial cuando s!lo al)unos de los elementos se
relacionan entre s. 0sta relaci!n se expresa mediante un dia)rama rami#icado.
0jemplo% 0n el conjunto de los n,meros D se considera la relaci!n ser menor o i)ual que
-el smbolo de menor o i)ual es donde , si)ni#ica menor y si)ni#ica menor o i)ual%
/omprobamos que se trata de una relaci!n de orden amplio total. 0n e#ecto, es de orden
amplio porque cumple las tres propiedades% re#lexi2a, antisim8trica y transiti2a.
4. re#lexi2a, ya que cada n,mero es i)ual a s mismo%
4 & 4
? & ?
F & F
56 & 56
etc...
5. antisim8trica, ya que si un n,mero a es menor que otro b, el se)undo es #orAosamente
mayor que el primero, lue)o si%
aRb b R a
a, b, a, b D
4 ? &@ ? 4
6. transiti2a, ya que si un n,mero a es menor que otro b y este n,mero b es menor que otro
c, #orAosamente a es menor que c lue)o%
aRb bRc aRc
a, b, c, a, b, c D
que se lee si a est relacionado con b y b est relacionado con c, entonces a est relacionado
con c, siendo a, b, c n,meros cualesquiera pertenecientes al conjunto D de los n,meros. As%
4 ?
4 F
? F
0sta relaci!n Gser menor o i)ualH es adems de orden total, ya que todos los elementos -los
n,meros l, ?, F, 56 en este caso. se pueden colocar de modo que est8n ordenados por esta
relaci!n.
0n e#ecto%
4 , ? , F , 56+ adems, y como resulta l!)ico por tratarse de una relaci!n de orden total, el
dia)rama de representaci!n es lineal.
Para el desarrollo de la teor$a de conjuntos fue decisi'a la colaboracin de ?icolas DourbaEi y su
etensa obra )lementos de <atemticas.
)l nombre ?icolas DourbaEi corresponde a un seudnimo colecti'o adoptado por un grupo de
matemticos franceses especialistas en distintas ramas de las ciencias eactas.
La edad tope es de cincuenta aFos , por lo que eiste una continua reno'acin entre sus miembros.
6u propsito es el de recrear !en sentido literal# las matemticas partiendo de unos principios
totalmente lgicos.
REPRESENTACIN 3R4FICA
DE UN CON5UNTO ORDENADO

Gado un conjunto ordenado ; y una parte 7 ; se llama cota superior o mayorante a todo elemento a
; tal que a para todo 73 de modo anlogo, una cota inferior o minorante ser un elemento
b ; tal que b para todo 7. Gic/as cotas se denominan primer y ltimo elemento de 7
respecti'amente.
Se denomina conjunto ordenado a todo conjunto en el que se 9aya de#inido una relaci!n de
orden. 3or tratarse de relaciones binarias, que en el #ondo no son sino correspondencias de un
conjunto consi)o mismo, se pueden representar las relaciones de orden mediante al)unas de
las #ormas ya conocidas empleadas para la representaci!n )r#ica de correspondencias.
As, en el conjunto A & '5, 6, 4, I, ?(, si se considera la relaci!n de orden Gser mayor queH,
es #cil representar la relaci!n de orden de#inida en A mediante un dia)rama cartesiano o uno
de *enn -sa)ital.. 0l )ra#o de la relaci!n ser%
J & '-6,5. -4,6. -4,5. -I,4. -I,6. -I,5. -?,I. -?,4. -?,6. -?,5.(.
<ediante un dia)rama de *enn%
Dos tipos de representaci!n cartesiana%

ORDENADO
1. A 2u s! (!no1#na "on6un*o o(!na(o%
&. Qu !s !l +o(u"*o "a*!s#ano (! (os "on6un*os A 7 B.%
PRODUCTO ARTESIANO
DE DOS PRODUCTOS A)B
Dados dos conjuntos A y K, se llama producto cartesiano de los dos conjuntos, y se
representa mediante AK, al conjunto #ormado por todos los pares ordenados posibles cuyo
primer elemento se toma de A y el se)undo de K.
$tiliAando los smbolos estudiados en los apartados anteriores se tendra%
AK & '-a, b. La A b K(
Recordemos el si)ni#icado de los smbolos utiliAados en la expresi!n anterior%
' (
-a, b.
L

idea de conjunto
idea de par ordenado
tal que o tales que
pertenece a
y
producto, y se lee multiplicado por o
por.

)l filsofo y matemtico Ren Gescartes, naci en La Haye !.urena# en A4C@, y muri en A@4- en
)stocolmo a donde /ab$a ido un aFo antes in'itado por la reina 0ristina. Gotado de una inteligencia
pri'ilegiada, enriqueci todas las ramas del saber5 desde las <atemticas y la :isica /asta la
<etafisica y la <edicina. )s el creador de la geometr$a anal$tica e in'entor de las coordenadas que
lle'an su nombre.
3uede suceder que los conjuntos A y K coincidan% K & A, o bien que ten)an al),n elemento
com,n.
0jemplo% Dados los conjuntos
A& 'l, 5, 6( y K & 'a, b(
el producto cartesiano AK sera el si)uiente%
AK & '-4,a., -4,b., -5,a., -5,b., -6,a., -6,b.(
ya que 8stos son todos los pares que se pueden #ormar tomando el primer elemento del primer
conjunto y el se)undo elemento del se)undo conjunto.
0s #cil comprobar que AK no coincide con KA, puesto que ambos conjuntos estn
#ormados por distintos elementos. 0n consecuencia, el producto cartesiano de conjuntos no
)oAa de la propiedad conmutati2a.
0onsideramos el conjunto + 1-, A, ,, I2, el producto cartesiano consiste en los siguientes A@
pares ordenados5
!-,-#, !-,A#, !-,,#, !-,I#.
!A,-#, !A,A#, !A,,#, !A,I#.
!,,-#, !,,A#, !,,,#, !,,I#.
!I,-#, !I,A#, !I,,#, !I,I#..
CORRESPONDENCIA
ENTRE DOS CON5UNTOS A 8 B

Dados dos conjuntos A y K, se entiende por correspondencia
entre los dos conjuntos A y K, a todo subconjunto del producto
AK. 0ste subconjunto se llama )ra#o de la correspondencia.
"os elementos del primer conjunto A se llaman ori)inales y los
del se)undo conjunto K im)enes.
G):8?808J? G) GK<8?8K5
)l dominio de una relacin es
el conjunto de todos los
primeros miembros de los
pares ordenados que
constituyen la relacin.
G):8?808J? G) 8<7L)?5
La imagen de la relacin es el
conjunto de todos los
segundos miembros de los
pares ordenados que
constituyen la relacin.
De la de#inici!n dada de correspondencia se deduce que una correspondencia entre dos
conjuntos A y K es un conjunto de pares ordenados ele)idos entre todos los del producto
cartesiano AK.
0jemplo% Sean A y K los conjuntos A& '4, 5, 6( y K & 'a, b(. $na correspondencia / entre
A y K sera%
/ & '-4,a., -4,b., -5,b.(
0l conjunto de los primeros elementos de los pares ordenados, en este caso '4, 5( se
denomina dominio de la correspondencia, y el conjunto de los se)undos elementos 'a, b(
recorrido de la correspondencia.
0sta correspondencia puede representarse
)r#icamente mediante una de las tres #ormas 2istas
para la representaci!n del producto cartesiano, ya que
en realidad se trata de representar s!lo al)unos pares
de dic9o producto cartesiano.
4 C Representaci!n sa)ital de
/ & '-4,a., -4,b., -5,b.(

5 C Representaciones cartesianas de / & -4,a., -4,b., -5,b.

La definicin de correspondencia se asocia con facilidad a la nocin intuiti'a de correspondencia. Por
ejemplo, si 7 es el conjunto de los pa$ses y D el de los idiomas, la correspondencia Mtal idioma se
/abla en tal pa$sN determina eactamente un subconjunto del producto cartesiano 7D5 el de las
parejas !a, b# tales que en el pa$s a se /abla el idioma b. La correspondencia in'ersa de sta ser el
conjunto de parejas de la forma !b, a# tales que la lengua b se /abla en el pa$s a.
CORRESPONDENCIA INVERSA
DE UNA DADA C
91
Se 9a 2isto anteriormente que una correspondencia / de un conjunto A en otro K no era
ms que un subconjunto del producto cartesiano AK, es decir, un conjunto de pares
ordenados. 3ues bien, se entiende por correspondencia in2ersa entre dos conjuntos A y K a un
conjunto de pares ordenados de la #orma -b,a. donde el elemento b pertenece al se)undo
conjunto K y el elemento a pertenece al primer conjunto A.
De la de#inici!n dada de correspondencia in2ersa se deduce que para obtener la
correspondencia in2ersa de una dada basta con alterar el orden de los pares ordenados -a b.
-b,a..
0jemplo% Dada la correspondencia / & '4,a., -4 c., -5,b.( y de#inida entre los conjuntos A
& '4, 5, 6( y K & 'a, b, c( la correspondencia in2ersa ser%
/
>4
& '-a,l., -c,l., -b,5.(+
y la representaci!n sa)ital de una y otra sern%
Representaci!n sa)ital de /%
Representaci!n sa)ital de /
>4
%

CORRESPONDENCIA
1. Cu'l !s la "o!s+on(!n"#a !n*! (os "on6un*os A 7 B%
&. C.1o s! o$*#!n! la "o!s+on(!n"#a #n-!sa (! una (a(a%
CO/POSICIN: PRODUCTO
DE CORRESPONDENCIAS

Dada la correspondencia E -de#inida entre los conjuntos A y K. y EM -de#inida entre los
conjuntos K y /. de manera que el conjunto ima)en
de la primera coincida con el conjunto ori)inal de la
se)unda, se entiende por composici!n o producto de
correspondencias E y EM, y se representa por E.EM, a
otra correspondencia cuyo conjunto ori)inal es el A y
el ima)en el /, tal que si la ima)en del elemento aA
por la correspondencia EM es el elemento bK y, a su
2eA, la ima)en del elemento bK por la
correspondencia EM es el elemento c/, se cumple que la ima)en de aA en la
correspondencia compuesta de E y EM es el elemento c/. 0jemplo% Dadas las
representaciones sa)itales de las correspondencias E y EM de#inidas entre los conjuntos A, K,
y / respecti2amente, la representaci!n sa)ital de la correspondencia compuesta E.EM resulta
como si)ue%
"a correspondencia compuesta ser%
/on2iene poner de relie2e que ya que una correspondencia no es sino un conjunto de pares
ordenados, las operaciones de uni!n e intersecci!n de conjuntos si)uen siendo 2lidas para las
correspondencias.
CONCEPTO DE APLICACIN
Aplicaci!n es una correspondencia entre dos conjuntos que cumple con dos condiciones% a.
Nodos los elementos del conjunto ori)inal tienen que tener ima)en. 0sto equi2ale a decir que
el conjunto inicial de la aplicaci!n coincide con el conjunto ori)inal o dominio de dic9a
aplicaci!n. b. /ada elemento del conjunto ori)inal tiene solamente una ima)en. "a
representaci!n matemtica es
x, x A, O y,y KL -x,y. /
0onsiderando que con un proyector de
filminas se proyecta una diapositi'a 7
sobre una pantalla 7O, es claro que cada
punto p de la pel$cula 'iene a
proyectarse en un punto pO de la
pantalla. )sto es un ejemplo ob'io de
aplicacin.
que se lee% G3ara todo x,x perteneciente a A, existe un
s!lo y,y perteneciente a K, tal que el par ordenado
-x,y. pertenece a la correspondencia / entre A y K.H
0jemplo% "a correspondencia cuya representaci!n
sa)ital aparece en la p)ina si)uiente, es una aplicaci!n, puesto que cada elemento del
conjunto or)inal tiene una ima)en y solamente una. 3ara 2er si una correspondencia es
aplicaci!n basta tener en cuenta al primer conjunto ,nicamente.
0sta correspondencia puede ser tambi8n representada matricialmente
"a relaci!n de un elemento del conjunto A con otro elemento del conjunto K, se expresa
con un 4+ la ausencia de relaci!n, con un P.
CONCEPTO DE FUNCIN
Se entiende por #unci!n toda aplicaci!n entre conjuntos num8ricos. 0n este caso el
conjunto ori)inal coincide con el inicial y el conjunto ima)en con el #inal. "a expresi!n
matemtica es #-x. &y.
0n toda #unci!n los elementos del conjunto ima)en siempre proceden de al),n elemento
del conjunto ori)inal. 0s decir, que el conjunto ima)en est #ormado por elementos y que
cumplen estas dos condiciones%
4;.K
5;. x, xAL #-x. & y
0jemplo% 0n el conjunto de los n,meros naturales menores de I se establece la si)uiente
correspondencia% a cada n,mero se le 9ace corresponder su cuadrado -#-x.& y & x
5
..
)s frecuente, en algunos autores, indicar
la aplicacin mediante una letra griega.
Ge modo que si, tomando el ejemplo
anterior, indica la proyeccin, 7 el
conjunto original y 7O el conjunto final
!pantalla#, suelen escribir. 5 7 7O, o
tambin !7# 7O
Dic9a correspondencia es una aplicaci!n, ya que a cada elemento
del conjunto ori)inal -x. le corresponde uno y uno s!lo del conjunto
ima)en -y., siendo y una determinada #unci!n de x. 0l )ra#o J de
esta aplicaci!n sera%
J & '-4,4., -5,4., -6,F., -4,4?.(
"os conjuntos ori)inal e ima)en seran respecti2amente%
A & '4, 5, 6, 4( y K & '4, 4, F, 4?(
0n este caso, puesto que la correspondencia es una aplicaci!n y los
conjuntos ori)inal e ima)en son num8ricos, se trata de una #unci!n%

CLASES DE APLICACIONES
Dentro de las aplicaciones, se distin)uen tres tipos caractersticos, que cumplen ciertas
condiciones. 0stos tres tipos de aplicaciones se denominan aplicaci!n inyecti2a, aplicaci!n
ex9austi2a y aplicaci!n biyecti2a.
Aplicacin inyectiva
$na aplicaci!n se llama inyecti2a cuando cada uno de los elementos del conjunto #inal es
como mximo ima)en de uno del ori)inal, o no es ima)en de nin)uno%
As, la correspondencia de#inida en el )r#ico superior es, en primer lu)ar, una aplicaci!n
-todos los elementos del conjunto ori)inal x
4
, x
5
tienen ima)en y s!lo tienen una ima)en..
Piendo la grfica de una
relacin, podemos decir
si es, o no es, una
funcin. Para eso basta
recorrer las columnas.
6i en cada columna /ay,
cuando muc/o, un
punto cuyo par
ordenado pertenece a la
relacin, entonces la
relacin es una funcin.
6i por otra parte,
encontramos una o ms
columnas en las que
/ay uno o ms puntos
cuyos pares ordenados
pertenecen a la relacin,
entonces la relacin no
es una funcin.
Dic9a aplicaci!n es, adems, inyecti2a, puesto que cada elemento del conjunto #inal es como
mximo ima)en de uno del ori)inal. -"os elementos y
4
e y
5
son ima)en de un elemento del
ori)inal y el y
6
no lo es de nin)uno..
/omo puede obser2arse, para saber si una aplicaci!n es inyecti2a basta #ijarse en el
conjunto #inal. 0sta norma es 2lida para todas las clases de aplicaci!n.
"as condiciones que caracteriAan a una aplicaci!n inyecti2a se leen abre2iada y
respecti2amente como si)ue% 4. Dados dos elementos del conjunto ori)inal, si estos elementos
son distintos, sus im)enes tambi8n lo sern+ 5. Nodo elemento perteneciente al conjunto
ima)en de la aplicaci!n es ima)en de un solo elemento del conjunto ori)inal.
0jemplo%
A&'4, 6, Q(
K&'4, ?, 44, 46, 4I(
/&'-4,4., -6,?., -Q,44.(
0sta correspondencia es una aplicaci!n, ya que todo elemento de A tiene ima)en y s!lo una
ima)en. 0s una aplicaci!n inyecti2a, ya que cada elemento del conjunto #inal es ima)en a lo
sumo de un elemento del conjunto ori)inal.
Aplicacin exhaustiva o suprayectiva o subreyectiva o epiyectiva
$na aplicaci!n es ex9austi2a cuando todos los elementos del conjunto #inal son al menos
-uno o ms. ima)en de un elemento del conjunto ori)inal%
7bs8r2ese en el )r#ico anterior, ejemplo de aplicaci!n ex9austi2a, que todos los elementos
del conjunto #inal son por lo menos ima)en de un elemento del conjunto ori)inal.
"as condiciones que caracteriAan a una aplicaci!n ex9austi2a
se leen respecti2amente, del si)uiente modo% 4. para todo
elemento perteneciente al conjunto #inal -y. existe al),n
elemento del conjunto ori)inal -x. tal que #-x.+5. el conjunto
ima)en por la aplicaci!n coincide con el conjunto #inal.
0jemplo% "a aplicaci!n entre los conjuntos A & 'Ruan, 3edro,
"uis, Ros8( y K & '<artneA, 38reA, Jarca(, cuya
representaci!n )r#ica es la de la #i)ura adjunta, es ex9austi2a pues todo elemento de K tiene
por lo menos una antiima)en en A%

Aplicacin biyectiva o biunvoca
0ste tipo de aplicaci!n es a la 2eA ex9austi2a e inyecti2a. 3or lo tanto, a cada elemento de A
le corresponde un solo elemento de K%

"as condiciones que la de#inen son 8stas%
4. x
4
&x
5
&@ #-x
4
. & #-x
5
.
5. Sm-#.&K
0jemplo% "a aplicaci!n entre los conjuntos A & '4, 5, 6, 4( y K & 'Q, 4?, 54, 6?(, cuya
representaci!n )r#ica se adjunta, es biyecti2a, pues es a la 2eA inyecti2a y ex9austi2a%
6i R es el conjunto de los
nmeros reales y RO el de los
reales positi'os o nulos, la
aplicadn entre R y RO
definida por f!# +
,
para P
R es una epiyeccin, pues
dos elementos de R pueden
tener una misma imagen,
como en el caso f!,# + Q, y f!"
,# + Q, y no /ay ningn
nmero positi'o que no tenga
ra$% cuadrada.
6e dice que : es biyecti'a, o que es una
biyeccin, o una correspondencia
biun$'oca, cuando es inyecti'a y
suprayecti'a5 cuando para cada y D
eiste un 7 y uno slo tal que y +
:!#. )n tal caso, asociando y con se
tiene una biyeccin que se llama in'ersa
de : y se designa por :
&A
.
$na aplicaci!n tambi8n puede ser no inyecti2a ni ex9austi2a ni, por tanto, biun2oca, como
la aplicaci!n que se presenta en el )r#ico si)uiente%
7bs8r2ese que esta aplicaci!n # no es inyecti2a, porque al elemento y
5
le corresponden dos
antiim)enes, y no es ex9austi2a porque el elemento y
6
no tiene nin)una antiima)en.
)jemplo de correspondencia biun$'oca entre los elementos de dos planos obtenidos como secciones
de una misma radicacin de rectas
APLICACIONES ESPECIALES
Aplicacin constante
Dic9a aplicaci!n 9ace corresponder el mismo elemento, por el
ejemplo el 4, a cualquier elemento del conjunto ori)inal%
x, x A #-x. & Sm-#. & 4
La aplicacin constante es
un caso especial de
aplicacin e/austi'a. Un
ejemplo puede ser la
aplicacin entre el conjunto
de todas las personas y el
de planetas /abitados por el
/ombre.
Aplicaciones iguales
Se dice que dos aplicaciones son i)uales si a elementos i)uales del
conjunto ori)inal corresponden elementos asimismo i)uales del
conjunto ima)en.
0jemplo%
y &
4
x & #-x.
5

)-x.
/omo se 2e, #-x. & )-x.
Aplicacin idntica
Dic9a aplicaci!n 9ace corresponder a cada elemento x del conjunto ori)inal el mismo
elemento x.
0jemplo%



)jemplo de aplicadones
iguales5 f!# + y + !*A#
!"A#, esta aplicacin es
igual a g!#+y +
,
"A, es
decir, f!#+g!#.
Una aplicacin idntica es
una correspondencia
un$'oca entre los
elementos de un conjunto
7 que se define como un
subconjunto del producto
cartesiano 7R7.

APLICACIN
1. R!"u!(a uno (! los !2u#s#*os (!l "on"!+*o (! a+l#"a"#.n.
&. Qu !s una ,un"#.n%
FUNCIN CARACTER0STICA
Se llama #unci!n caracterstica de un conjunto K a la #unci!n #, que es una aplicaci!n de un
conjunto A que contiene al conjunto K sobre el conjunto 'P,4(, estando de#inida # de la
si)uiente manera%
A &@ 'P,4(
x x K &@ # -x. & 4
x x K &@ # -x. & P
0stas condiciones pueden representarse del si)uiente modo%
0s decir, que # es tal que 9ace corresponder a todo elemento del conjunto K el elemento 4, y
a todo elemento de A, que no perteneAca a K, el elemento P.
Se recuerda que los elementos de A que no pertenecen a K
constituyen el conjunto complementario de K en A, que se
representa% /
A
K o bien KM.
0jemplo% Sea una #unci!n ) tal que A 'P,4( y )-x. & 4C
#-x. -#-x. es la #unci!n caracterstica.. Se cumple que%
x, x /
A
K x L K #-x. & P
-por ser #-x. una #unci!n caracterstica. como )-x. & 4>#-x., sustituyendo% )-x. & 4>P &4.
Nambi8n por ser #-x. una #unci!n caracterstica se cumplir lo si)uiente%
x, x L /
A
K xK #-x. & 4
)l concepto de funcin
caracter$stica se reduce a
indicar si un determinado
elemento de 7 pertenece o
no al subconjunto D de 7
segn la funcin caracter$stica
f!# + A -.
Sustituyendo este 2alor de #-x. en )-x.&4>#-x., tendremos )-x. & 4>4&P.
6i f!# es una funcin caracter$stica de D 7, la funcin
g!#+ A"f!# es una funcin caracter$stica de 07D, es decir, del complementario de D en 7. La
representacin grfica de
g!#+ A"f!# ser5.
FUNCIN INVERSA F
91
"a noci!n de #unci!n in2ersa es id8ntica a la de correspondencia in2ersa, es decir, es una
#unci!n en la que se toman los elementos del conjunto #inal como ori)inales y los del
conjunto inicial como im)enes. Debe recordarse que por la denominaci!n #unci!n, los
conjuntos inicial y #inal son conjuntos num8ricos, y que si se llaman elementos x a los del
conjunto ori)inal e y a los del conjunto ima)en, la aplicaci!n #unci!n in2ersa 9ar
corresponder un elemento x a cada uno de los elementos y. 0n resumen, la expresi!n de una
#unci!n in2ersa ser del tipo #
C4
-y. & x.
0jemplo% 3ara 9allar la #unci!n in2ersa de
y &
6xTI
5
se despeja primero la x de la expresi!n anterior%
6x T I & 5y
6x & 5y C I
x &
5y>I
x & #-y. -4.
6
/omo paso #inal, y dado que la #unci!n in2ersa es tambi8n una #unci!n se cambia la x por la
y, y la y por la x de manera que resulte una expresi!n del tipo y & #-x., con lo que resultara
y &
5x>I
6
que se obtiene de la expresi!n -4. sin ms que cambiar la x por la y, y la y por la x.
Eemos estudiado 9asta el momento relaciones de pertenencia -elemento>conjunto. y
relaciones de inclusi!n -conjunto>conjunto.. Se entrar se)uidamente en el estudio de las
relaciones binarias elemento>elemento R -dentro de los elementos de un conjunto..