INTRODUCCIN:

Como concepto fundamental relacin significa conexin o correspondencia entre dos entes u objetos.
As por ejemplo las expresiones padre de, hermano de, etc., son relaciones entre seres vivos, mientras
expresiones como mayor ue, m!ltiplo de, etc. denotan relaciones entre n!meros. As de lo anterior podemos
concluir ue relacin es un conjunto de parejas ue satisfacen determinada condicin.
Par Ordenado" #s un conjunto de dos elementos denotado y definido por"
$a, b% & ' ' a ( , ' a , b ( (
)onde"
*a* " es primera componente
*b* " segunda componente
Igualdad de Pares Ordenados" )os pares ordenados son iguales s y solo s se cumple ue"
$ a , b% & $ c , d % a & c b & d
#jemplo" +allar el mayor valor posible de a,b
$a
-
, .b / 0% & $1b / a, a
2
%
3olucin
a
-
& 1b / a a
-
, a & 1b

a

$a,0% & 1b ..................$4%
.b / 0 &a
2
.b & a
2
,0
.b & $a,0%$a
-
5a,0%
$a,0%$a
-
5a,0% & .b ..............$44%
)ividiendo $4% entre $44%
3
2
1
2
=
+ a a
a

0 2 5 2
2
= + a a
, $-a5 0%$a5-% & 6
)esarrollando se tiene"
a & - , b & 0 a & 07- , b & 078 . 9or lo tanto el mayor valor de a,b es 2.
Producto Cartesiano " )ados dos conjuntos A y : , el producto cartesiano de A x : se define por"
A x : & '$a, b% 7 a A y b :(
Observaciones"
$a , b% A x : a A b :
$a , b% A x : a A b :
Propiedades"
118
0. A x : : x A no es conmutativa
-. A x : & : x A A & :
2. n $A x :% & n$A% . n(:) cardinal de A x :
;. A x & x A &
<. A x : & A & : &
1. A C : ) A x : C x )
=. A x $: C% & $A x :% $A x C%
8. A x $: C% & $A x :% $A x C%
.. 3i A :

: x A A x A
: x : : x A
06. A x $: / C% & A x : / A x C
RE!CIN "IN!RI!
)ados dos conjuntos A y : se denomina relacin binaria de A en : a todo subconjunto > del producto
cartesiano Ax:.
?otacin.
> & {$x,y%Ax:7 p$x,y% Ax:}
>"A : > Ax:
@0% A es el conjunto de partida.
@-% : es el conjunto de llegada.
@2% p es la condicin ue deben de cumplir los pares.
Observaciones:
3ea >" A :
@% Ax:, se denomina relacin vaca o nula de A en :.
@% 3i n$A% & m y n$:% & n.
3e tiene"
n$Ax:% & m.n
Ax: tiene -
m.n
subconjuntos $se incluye la relacin vaca%
#l n!mero de relaciones no vacas es -
m.n
/ 0
#jemplo" +allar el n!mero de relaciones posibles de A en :.
A & {6,0,-,2}
: & {x ?7x
-
/2x ,-&6}
: & {0,-}
#l n!mero de relaciones posibles es"
-
n$Ax:%
& -
n$A%.n$:%
&-
8
&-<1
si ueremos el n!mero de relaciones no nulas -
n$Ax:%
50&-<<
11#
DO$INIO % R!N&O DE UN! RE!CIN 'R(
)efinimos el )ominio y >ango de una relacin > de la siguiente manera"
)om $>% & ' a A7 b :, $a . b% > ( A
$a )om $>% b :7 $a . b% > %
>an$>% & ' b : 7 a A, $a , b% > ( :
$b >an $>% a A 7 $a . b% > %
Observaci)n"
a )om $>% b :, $a . b% >
b >an $>% a A, $a . b% >
Propiedades"
3ea >
0
y >
-
dos relaciones de A en :.
i% )om $>
0
>
-
% & )om $>
0
% )om $>
-
%
ii% )om $>
0
>
-
% )om $>
0
% )om $>
-
%
iii% )om $>
0
5 >
-
% )om $>
0
% 5 )om $>
-
%
iv% >an $>
0
>
-
% & >an $>
0
% >am $>
-
%
v% >an $>
0
>
-
% >an $>
0
% >an $>
-
%
vi% >an $>
0
5 >
-
% >an $>
0
% 5 >an $>
-
%
E*e+plo :
A & '50, 6, 0( y > una relacin de A en A dada por"
> & '$p,% A
-
76 & p , (
)eterminar por extensin el dominio de >.
,oluci)n"
A
-
& A xA & '$50, 50%, $50, 6%, $50, 0%, $6, 50%, $6, 6%, $6, 0%, $0, 50%, $0,6%, $0,0%(
> & '$50, 0%, $6, 6%, $0,6%(
)om $>% & '50,6,0(
DI!&R!$!,
)ado"
> & '$0,x%, $0,y%, $-,x%, $-,y%, $2,x%, $2,y%(
I- Diagra+a de .lec/a ') sagital(
A > :
0. .x
-.
2. .y
101
II- Diagra+a cartesiano
:

$0,y% $-,y% $2,y%


$0,x% $-,x% $2,x%
6 0 - 2 A
III- Diagra+a del 2rbol 3 - %
x $0,x%

y $0,y%
0 (-,x%
- x
y $-,y%
2
x $2x%

y $2,y%
I4- Tabla de Doble Entrada
:
A
x y
0 $0,x% $0,y%
- $-,x% $-,y%
2 $2,x% $2,y%
I- DI!&ON! DE UN CON5UNTO
)ado un conjunto A, la diagonal de producto A x A ue se denota )$A% se define por"
)$A% & ' $x,y% A x A 7 x & y(
#jemplo" 3i A & '50, 6, 0(, entonces )$A% & '$50,50%,$6,6%,$0,0%(
II- Relaci)n Inversa" Aoda relacin > de A en : tiene una >elacin 4nversa de : en A. 3e denota por >
@
>
50
,
se define por"
>
50
& ' $ y, x % 7 $ x , y % > (
E*e+plo :
3i > & ' $0,-% $-,2% $2,;% ( su inversa es
>
50
& ' $-,0% $2,-% $;,2% }
RE!CIN CO$PUE,T!:
)adas las relaciones >" A :, y 3" : C, se denomina relacin compuesta de 3 con >, y se denota 3
o
> a la
relacin"
3
o
> "A C , definida por"
3
o
> & {$x,B% AxC7 $x,y% > , $y,B% 3 }
101
x
y
9>C94#)A)#3" #n general se tiene las siguientes propiedades

>
o
3 3
o
>

$3
o
>%
o
D & 3
o
$>
o
D%

$>
o
3%
@
& 3
@
o
>
@
#jemplo" 3ean las relaciones
> & {$0,2%E$-,<%E$;,;%}, 3 & {$2,-%E$<,0%}
+allando los elementos de la composicin 3
o
> se tiene"
$0,2%>, $2,-% 3 $0,-% 3
o
>
$-,<% >, $<,0% 3 $-,0% 3
o
>
9or lo tanto 3
o
> & {$0,-%E $-,0% }
RE!CIONE, DE6INID!, EN UN CON5UNTO
3ea > una relacin en AE donde > A x A. 3e tiene los siguientes tipos de relaciones.
1- Relaci)n Re.le7iva"
> & A A es reflexiva $x , x% > E x A
AambiFn"
> " A A es >eflexiva )$A% >
#jemplo"
3ea >" A A, A&{0,2,<}
> & {$x,y% A
-
7 y x}
> & {$0,0%E$0,2%E$0,<%E$2,2%E$2,<%E$ <,<%}, se cumple )$A% >, por lo tanto > es una relacin reflexiva
0- Relaci)n ,i+8trica"
> " A A es 3imFtrica $x , y% > $y , x% > , $x , y% >
> " A A es 3imFtrica > & >
@
#jemplo"
> & {$0,0%E$0,2%E$0,<%E$2,0%E$2,<%E$ <,0%E$<,2%}, es fGcil ver ue cada elemento tiene su simFtrico por lo cual
afirmamos ue es una relacin simFtrica,
9- Relaci)n Transitiva"
> " A A es transitiva H $x , y% > $y , B% >I $x , B% >.
AambiFn"
>" A A es transitiva $> 6 >% >.
E*e+plos:
0.5)ada la relacin > & {$2,1%E$2,.%E$2,0-%E$1,.%E$1,0-%E$.,0-%}
3e tiene"
$2,1% , $1,.% > $2,.% >
$2,1% , $1,0-% > $2,0-% >
$2,.% , $.,0-% > $2,0-% >
$1,.% , $.,0-% > $1,0-% >
9or lo tanto > es transitiva.
100
-.5 3ea > & {$2,1%}
JtiliBando la otra definicin de transitividad se tiene"
>o> & >, por lo tanto > es transitiva.
:- Relaci)n de E;uivalencia"
Jna relacin > en A es una >elacin de #uivalencia si es Re.le7iva< si+8trica = Transitiva.
E*e+plo:
3ea A & {0,-,2,;} y la relacin > & {$0,0%E$-,-%E$-,0%E$2,2%E$;,2%E$0,-%E$2,;%E$;,;%}, se tiene ue > es una relacin
de euivalencia, puesto ue"
> es reflexiva" )$A% >
> es simFtrica.
> es transitiva"
$0,0% , $0,-% > $0,-% >
$-,-% , $-,0% > $-,0% >
$-,0% , $0,0% > $-,0% >
$-,0% , $0,-% > $0,0% >
$2,2% , $2,;% > $2,;% >
$;,2% , $2,2% > $;,2% >
$;,2% , $2,;% > $;,;% >
$0,-% , $-,-% > $0,-% >
$0,-% , $-,0% > $0,0% >
$2,;% , $;,2% > $;,;% >
$2,;% , $;,;% > $2,;% >
$;,;% , $;,2% > $;,2% >
>- Relaci)n !ntisi+8trica"
> " A A es antisimFtrica H$x , y% > $y , x% > I x & y
> " A A es antisimFtrica H3i $x , y% > $y , x% > I, para x y
#jemplo"
> & {$0,0%E$-,-%E$-,0%E$2,;%E$;,;%}, > es una relacin antisimFtrica.
?ota" 9ara ue una relacin sea antisimFtrica, ning!n par con componentes diferentes debe tener su simFtrico.
?- Relaci)n de Orden"
Jna relacin > en A es una >elacin de Crden si es Re.le7iva< !ntisi+8trica = Transitiva.
#jemplo"
3ea A & {0,-,2,;} y la relacin en A "
> & {$0,0%E$-,-%E$-,0%E$2,2%E$;,;%}, > es una relacin de orden.
Observaciones"
Jna relacin estrictamente Re.le7iva, cumple con todos los tipos de relaciones. #s decirE es Re.le7iva<
,i+8trica< Transitiva< E;uivalencia< !ntisi+8trica y de Orden.
Ka relacin ?ula o vaca, tambiFn cumple con todos los tipos de relaciones.
E*e+plo"
3ea A & 'a, b, c(, se define la siguiente relacin > & '$a,a%, $b,b%, $c,c%( es una relacin estrictamente
Re.le7iva. 9or lo tantoE cumple con todas las relaciones mencionadas.
109
RE!CIONE, DE6INID!, DE R en R
)e manera anGloga al producto cartesiano A x : de - conjuntos A y : definido como"
A x : & ' $a,b% A x : 7 a A y b :(
#l producto cartesiano de > x >, se denota >
-
, donde > es el conjunto de los n!meros reales, se define como"
>
-
& ' $x,y% >
-
7 x > , y >(
,iste+a Coordenado Cartesiano:
Consiste en - rectas numFricas, llamadas ejes de coordenadas, cortadas perpendicularmente en el punto C.
#l eje horiBontal eje de las abcisas, el eje vertical o eje de coordenadas, dividen al 9lano en ; regiones
llamados cuadrantes.
)onde"
9 & 9unto cualesuiera del plano.
a & Coordenadad de la abcisa de 9.
b & Coordenada de 9.
&R@6IC! DE RE!CIONE, EN R0
4% Lorma" > & '$x,y% >
-
7 ax , by , c & 6( tienen por grGfica una lnea recta.
#jemplo"
> & '$x,y% >
-
7 <x / -y , 06 & 6(
<x / -y , 06 & 6
3i x & 6 y & < 9
0
$6,<%
3i y & 6 x & 5- 9
-
$5-,6%
44% )e la forma" > & '$x,y% >
-
7 x
-
, y
-
, )M , #N , L & 6 E L 6( tienen por grGfica una circunferencia.
A. Circunferencia Centro C$6,6% y radio r" x
-
, y
-
& r
-
:. Circunferencia Centro c$h,O% y radio r" $x / h%
-
, $y / O%
-
& r
-
#jemplo" x
-
, y
-
& -<
x
-
, y
-
& <
-
r & < E c $6,6%
)om $>% & H5<,<I PrGfico
>an $>% & H5<,<I
444% Lorma" > & '$M,N% >
-
7 N
-
, )M , #N , L & 6(
> & '$M,N% >
-
7 M
-
, )M , #N , L & 6(
10:
4 44
444 4Q
o a
b
9$a,b%
9
0
$6,<%
9
-
$5-,6%
)om $>% & >
>an $>% & >
y
x
5x
5y
<
<
5<
5<
Aienen por grGfica una parGbola.
A. > & '$M,N% >
-
7 N
-
, )M , #N , L & 6( su grGfica es una parGbola de eje horiBontal.
A.0. Par2bola 48rtice: 4 '/<A(
$y / O%
-
& p$x / h% p& a 7;
a7;" )istancia dirigida del
vFrtice al foco
Observaciones"
3i a R 6 la curva se abre hacia la derecha.
3i a S 6 la curva se abre hacia la iBuierda.
A.-. Par2bola 48rtice: 4 '1<1(
M& aN
-

:. > & '$M,N% >
-
7 M
-
, )M , #N , L & 6( tiene por grGfica una parGbola de eje vertical.
:.0. Par2bola 48rtice 4 '/<A(.
$x / h%
-
& a $y / O%
3i a R o, la parGbola se abre hacia arriba.
3i a S o, la parGbola se abre hacia abajo.
E*e+plo: Ka grGfica de y & $x50%
-
,- estG dada por"
:.-. Par2bola 48rtice 4 '1<1(.
N& aM
-

E*e+plo" Praficar e indicar el )ominio y >ango de" $x / -%
-
& 5; $y / 0%
10>
y
x 5x
5y
a7;
a7;
L Q $h,O%
#T#
(1,2)
,oluci)n"
QFrtice Q $h,O% & Q $-,0%
)istancia dirigida al foco $a%
a & 50
Ka parGbola se abre hacia abajo.
#ncontrando los interceptos con el eje x.
3i y & 6 x & 6 9
0
$6,6%
x & ; 9
-
$;,6%
PrGfico"
)om $>% & >
>an & $>% & S5, 0I
4Q% Lorma" x5h,y5O & a
Ka grGfica es un cuadrado de centro en $h,O%, y los vFrtices se ubican a la distancia a del centro"
E*e+plo: Praficar" x50,y,- & ;
,oluci)n: 3e trata de un cuadrado con centro en $0,5-%, y la distancia del centro a los vFrtices es ;.
Q% Lormas" # $x,y% S 6 , # $x,y% 6 , # $x,y% R 6 , # $x,y% 6.
Ka grGfica determina en el plano - regiones" >
0
y >
-
, siendo la frontera de la grGfica # $x,y% & 6.
@ 9ara determinar el sombreado de la grGfica de la relacin, se elige"
Jn punto de una de estas regiones $de preferencia el origen%.
Qerificamos si Fste punto satisface la desigualdad.
- 3i verifica la desigualdad se sombrea la regin donde esta el punto.
- 3i no verifica la desigualdad se sombrea la regin opuesta.
@ 9ara determinar si la frontera es continua o discontinua, se tiene en cuenta si en la desigualdad estG el igual o
no estG respectivamente.
10?
y
x
5x
5y
Q $-,0%
9
0
$6,6% 9
-
$;,6%
-
E*e+plo" x
-
, y
-
;.
,oluci)n" &r2.ico de la .rontera:
x
-
, y
-
& =
-
Centro C$6,6% E r & =
&r2.ico .inal:
#legimos el punto C$6,6% )ominio $>% & H5=,=I
)onde x & 6 E y & 6 >ango $>% & H5=,=I
Qerificamos en la desigualdad.
x
-
, y
-
;.
6
-
, 6
-
;.
6 ;. $verifica la desigualdad%
3ombrea la regin $>
0
% donde estG C$6,6%
E*e+plo" x
-
, y
-
S ;.
&r2.ico 6inal:
INTER,ECCIN DE RE!CIONE,
a% 3ea > & {$x,y% >x>7 y & x} y > & {$x,y% >x>7 y , 0 & -x}
9ara hallar el punto de interseccin de ambas relaciones, se resuelve simplemente el sistema de ecuaciones para
x e y, las soluciones representados por pares ordenados, indican la interseccin de las relaciones.
#n este ejemplo se despeja la variable y de la siguiente forma"
@ 0% N & x
@ -% N & -x / 0
de lo anterior tenemos"
x & -x / 0 x & 0, de lo cual se concluye y & 0.
9or lo tanto"
> 3 &{$0,0%}.
b% 3ea > & {$x,y% >x>7 y x
-
}
10B
y
x
5x
5y
=
=
5=
5=
>
0
y
x
5x
5y
=
=
5=
5=
5y
y
x
5x
=
=
5=
5=
y > & {$x,y% >x>7 x y}
3iguiendo el procedimiento anterior $solo usamos el signo igual% para hallar los puntos de interseccin de los
bordes de las grGficas"
@ 0% y & x
-
@ -% y & x
Aenemos" x
-
& x x
-
/ x & 6 x$x /0% & 6 x & 6 0 , se tiene entonces
y & 6 0 respectivamente.
Kos puntos buscados serGn " $6,6% y $0,0%
PrGficamente"
108
(0,0)
(1,1)