Relaciones y Funciones

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
MATEMTICA GENERAL 10.052, HERALDO GONZALEZ S.
CAPITULO 3
RELACIONES Y FUNCIONES
3.1 Definicin y ejemplos
Definicin
Sean B A conjuntos, definimos el par ordenado coma , denotado
como el conjunto
, A B
) , ( B A { } { } { } B A A B A , , ) , ( =
Observacin,
Al elemento lo llamamos primer elemento del par ordenado o tambin A
abscisa
Al elemento lo llamamos segundo elemento del par ordenado o tambin B
ordenada
Ejemplo.
Es evidente que { } { } { } { } { { } 2 , 3 , 3 ) 2 , 3 ( 3 , 2 , 2 ) 3 , 2 ( = = = }
}
Definicin.
Sean B A conjuntos, definimos el producto cartesiano de con denotado
por , como el conjunto tal que
, A
(
B
B A { } B b A a b a B A e . e = / ) ,
Ejemplo.
Si { } = A entonces: { 4 , 3 , 3 , 2 , 1 = B
{ } ) 4 , 3 ( ), 3 , 3 ( ), 4 , 2 ( ), 3 , 2 ( ), 4 , 1 ( ), 3 , 1 ( = B A , { } ) 3 , 4 ( ), 2 , 4 ( ), 1 , 4 ( ), 3 , 3 ( ), 2 , 3 ( ), 1 , 3 ( = A B
Observacin.
a) ) ( ) ( ) ( B n A n B A n =
b) En general A B B A =
c) ) ( ) ( | | | = v = = B A B A
d) ) ( ) ( | | | = . = = B A B A
Definicin.
Sean B A conjuntos, definimos una relacin de como cualquier
subconjunto de
,
A
R B Aa
B
Observacin.
Nos interesan las relaciones que se determinan mediante cierta ley de formacin
as, una relacin de es: donde es una
frmula proposicional dada.
R B Aa { } )) , (( / ) , ( b a p b a B A R = _ )) , (( b a p
Ejemplo.
Considere los conjuntos ; determine por extensin
las siguientes relaciones:
{ } { } N B A , 4 , 3 , 2 , 1 , 3 , 2 , 1 = =
a) { } par nmero un es / ) , (
1
b a b a B A R + = _
b) { } 6 / ) , (
2 2
2
> + = _ y x y x B A R
UNIVERSIDAD DE SANTIAGO DE CHILE
FACULTAD DE CIENCIA DEPTO. DE MATEMTICA Y C.C.
.
.
26
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
c) { } 15 2 / ) , (
3
= + = _ b a b a N N R
d)
=
+
= 0 1
2
3
2
/ ) , (
4
y x
y x R
Solucin.
Despus de realizar y obtenemos: B A N N
{ } ) 3 , 3 ( ), 1 . 3 ( ), 4 , 2 ( ), 2 , 2 ( ), 3 , 1 ( ), 1 , 1 (
1
= R
{ } ) 4 , 3 ( ), 3 , 3 ( ), 2 , 3 ( ), 1 , 3 ( ), 4 , 2 ( ), 3 , 2 ( ), 2 , 2 ( ), 4 , 1 ( ), 3 , 1 (
2
= R
{ } ) 1 ,. 13 ( ), 2 , 11 ( ), 3 , 9 ( ), 4 , 7 ( ), 5 , 5 ( ), 6 , 3 ( ), 7 , 1 (
3
= R
{ } ) 2 , 5 ( ), 4 , 4 ( ), 6 , 3 ( ), 8 , 2 ( ), 10 , 1 (
4
= R
3.2 Dominio, Recorrido y Relacin inversa
Definicin.
Sea A R _ una relacin, definimos: { )) , (( / ) , ( b a p b a B = }
}
a) Dominio de la relacin , denotado , al conjunto tal que R ) (R Dom
{ } R b a B b A a R Dom e e - e = ) , ( que tal / ) (
b) Recorrido de la relacin , denotado , al conjunto tal que R ) ( Re R c
{ } R b a A a B b R c e e - e = ) , ( que tal / ) ( Re
c) Relacin inversa de , denotada , al conjunto tal que R
1
R
{ } R p q q p A B R e = _
) , /( ) , (
1
Observacin.
a) El dominio de una relacin es el conjunto formado por las primeras
componentes de los pares de la relacin.
b) El recorrido de una relacin es el conjunto formado por las segundas
componentes de los pares de la relacin.
c) La relacin inversa de una relacin esta formada por los pares ordenados
recprocos de los pares ordenados de
R
R
Ejemplo.
En el ejemplo anterior:
{ } 3 , 2 , 1 ) (
1
= R Dom , { } ) 3 , 4 ( ), 3 , 3 ( ), 3 , 2 ( ), 3 , 1 ( ), 2 , 4 ( ), 2 , 3 ( ), 2 , 2 ( ), 1 , 4 ( ), 1 , 3 (
1
2
=
R
Proposicin.
una relacin, entonces: { )) , (( / ) , ( b a p b a B A R = _
a) R R =
1 1
) (
b) B R c A R Dom _ _ ) ( Re , ) (
c) ) ( ) ( Re , ) ( Re ) (
1 1
= = R Dom R c R c R Dom
La demostracin queda propuesta
.
.
27
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
3.3 Composicin de relaciones
Definicin.
Sean dos relaciones, entonces existe la relacin compuesta
de con ,denotada tal que:
C B S B A R _ _ ,
R S $ R S
{ } S z y R y x B y z x C A R S e . e e - = _ ) , ( ) , ( que tal / ) , ( $
Ejemplos
1) Sean , dos
relaciones con , entonces:
{ } ) , 4 ( ), , 3 ( ), , 2 ( ), , 1 ( c c b a B A R = _
{ } { e d c b a B A , , , , , , 5 , 4 , 3 , 2 , 1 = =
{ } ) , ( ), , ( ), , ( y b y a x a C B S = _
{ } p w z y x , , , , = } C
a) { } ) , 2 ( ), , 1 ( ), , 1 ( y y x R S = $
b) { } ) 2 , ( ), 1 , ( ), 1 , ( ) (
1
y y x R S = $
c) { } ) 4 , ( ), 3 , ( ), 2 , ( ), 1 , (
1
c c b a R =
d) { } ) , ( ), , ( ), , (
1
b y a y a x S =

e) { } ) 2 , ( ), 1 , ( ), 1 , (
1 1
y y x S R = $
2) Sean dos relaciones. Demuestre que ( C B S B A R _ _ ,
1 1 1
)

= S R R S $ $
Demostracin.
Debemos demostrar: a) ( b) S R $
1 1 1
)

_ S R R S $ $
1 1 1
) (

_ R S $
a) Sea ( debemos demostrar que
1
) ( ) ,
e R S y x $
1 1
) , (

e S R y x $
1
) ( ) , (
e R S y x $ R S x y $ e ) , (
S x m R m y B m e . e e - ) , ( ) , ( que tal
1 1
) , ( ) , ( que tal

e . e e - R y m S m x B m
1 1
) , (

e S R y x $
b) Sea ( debemos demostrar que (
1 1
) ,

e S R b a $
1
) ( ) ,
e R S b a $
1 1
) , (

e S R b a $
1 1
) , ( ) , ( que tal

e . e e - R b m S m a B n
S a m R m b B n e . e e - ) , ( ) , ( que tal
R S a b $ e ) , (
1
) ( ) , (
e R S b a $
3) Sean conjuntos y T dos relaciones. Demuestre que C B A , , C B S B A _ _ ,
( donde ) ( ) ( ) T S T R T S R $ $ $ _ C B R _
Demostracin.
Sea , debemos demostrar que T S R b a $ ) ( ) , ( e ) ( ) ( ) , ( T S S R b a $ $ e
T S R b a $ ) ( ) , ( e S R b c T c a B c e . e e - ) , ( ) , ( que tal
( )
)
) , ( ) , (( ) , S b c R b c T c a e v e . e
(( ) , ( ) , (( ) ) , ( ) , S b c T c a R b c T c a e . e v e . e
( T S b a T R b a $ $ e v e ) , ( ) ,
.
.
28
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
( )
}
( ) ( ) , T S T R b a $ $ e
4) Sea A un conjunto y considere las relaciones { } y x y x A Id A R = = _ _ / ) , ( y
2 2
Demuestre que R Id R = $
Demostracin.
Debemos demostrar que: a) b) R _ R Id R _ $ Id R $
a) Sea ( , debemos demostrar que Id R z x $ e ) , R z x e ) , (
Id R z x $ e ) , (
Id y x e ) , (
R z y Id y x A y e . e e - ) , ( ) , ( que tal ,
y x = R z x e ) , (
pero
indica que , as,
b) Sea , debemos demostrar que R z x e ) , ( Id R z x $ e ) , (
Sea como entonces , de esto
ltimo concluimos que
R z x e ) , ( , Id x x e ) , (
z x e ) ,
R z x Id x x e . e ) , ( ) , (
Id R $ (
3.4 Relaciones en un conjunto.
Definicin.
Sea un conjunto. Decimos que la relacin est definida en si A R A A A R _
Definicin.
Sea una relacin definida en , entonces: R A
a) R es relacin refleja A a R a a e e ) , (
b) R es relacin simtrica R y x R a b R b a e e e ) , ( ) , ( ) , (
c) R es relacin transitiva | | R y x R c a R c b R b a e e e . e ) , ( ) , ( ) , ( ) , (
c) es relacin antisimtrica R | | R y x b a R a b R b a e = e . e ) , ( ) ( ) , ( ) , (
Observacin.
a) Denotamos R en lugar de
2
A _ A A R _
b) Si ( podemos denotar R b a e ) , aRb
c) no es refleja R R a) (a, que tal e e - A a
d) no es simtrica R R a b R b a e . e ) , ( ) , (
e) no es transitiva R R c a R c b R b a e . e . e ) , ( ) , ( ) , (
f) no es antisimtrica R ) ( ) , ( ) , ( b a R a b R b a = . e . e
Ejemplos
1) Sea { } { ) 3 , 3 ( ), 3 , 1 (( ), 2 , 2 ( ), 1 , 2 ( ), 2 , 1 ( ), 1 , 1 ( y 3 , 2 , 1
2
= _ = A R A
Es una relacin refleja, simtrica, transitiva, antisimtrica? R
Solucin.
Como entonces es relacin refleja A a R a a e e ) , ( R
no es simtrica ya que R R R e . e ) 1 , 3 ( ) 3 , 1 (
es transitiva ya que se verifica la condicin R
no es antisimtrica ya que R 2 1 pero ) 1 , 2 ( ) 2 , 1 ( = e . e R R
.
.
29
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2) Sea una relacin en A. Demuestre: es simtrica R R
1
= R R
Demostracin.
) Si es simtrica debemos demostrar que , es decir, debemos demostrar que R
1
= R R
a) b) R _
1
_ R R R
1
a) Sea ( entonces como es simtrica concluimos que ( , as,
por definicin de relacin inversa conseguimos ( , luego
R y x e ) , R R x y e ) ,
_ R R
1
) ,
eR y x
1
b) Sea entonces y como es simtrica entonces
as,
1
) , (
eR b a
R e ) ( ; R
R a b e ) . ( R
b a, R _
1
Por a) y b)
1
= R R
) : Sabemos que , debemos demostrar que es simtrica.
1
= R R R
Sea entonces , como entonces , as, es
simtrica.
R b a e ) , (
1
) , (
eR a b
1
= R R R a b e ) , ( R
3.5 Relacin de orden y de equivalencia
3.5.1 Relacin de equivalencia
Definicin.
Decimos que la relacin es una relacin de equivalencia en A si y slo
si es refleja, simtrica y transitiva
2
A R _
R
Ejemplos
1) En el conjunto de los nmeros reales definimos la relacin S por:
. Demuestre que S es una relacin de equivalencia.
R
1
3 que tal
+
= e -
m
b a Z m aSb
Demostracin.
Debemos demostrar que: a) S es refleja b) S es simtrica c) S es transitiva
a) Como S es refleja si y slo si , es decir, si y slo si
, entonces que la igualdad se verifica con
, concluimos que S es refleja
A a aSa e
1
3 que tal
+
= e -
m
a a Z m
Z m e = 1
b) Si aSb entonces existe m tal que . Debemos demostrar que
, es decir, debemos demostrar que existe m tal que .
Z e
1
3
+
=
m
b a
Z e
1
bSa
1
1
3
+
=
m
a b
Como entonces , de donde : si definimos
concluimos que .
1
3
+
=
m
b a
Z m e + ) 2 (
1
3

=
m
a b
bSa
1 ) 2 (
3
+ +
=
m
a b
m =
1
c) Si entonces existen m tal que ;
queremos demostrar que , es decir, debemos demostrar que existe tal
que
bSc aSb . Z m e
2 1
,
1 1
2 1
3 3
+ +
= . =
m m
c b b a
Z m e
3
aSc
1
3
3
+
=
m
c a
1
2
3
+
=
m
c a
. Resulta natural reemplazar b en obteniendo
. El trmino m buscado es
1
1
3
+
=
m
b a
m m m + =
1 3
1 ) 1 ( 1
2 1 1
3 3
+ + + +
=
m m m
c
3
Z e +1
2
.
.
30
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2) Sea una relacin definida en tal que . Demuestre que
R es una relacin de equivalencia.
R
2
N bc ad d c R b a = ) , ( ) , (
Demostracin.
Debemos demostrar que:
a) R es refleja, es decir, (
2
N b) (a, ) , ( ) , e b a R b a
b) R es simtrica, es decir, ) , ( ) , ( ) , ( ) , ( b a R d c d c R b a
c) R es transitiva, es decir, | | ) , ( ) , ( ) , ( ) , ( ) , ( ) , ( f e R b a f e R d c d c R b a .
a) ya que , luego, R es refleja
2
N b) (a, ) , ( ) , ( e b a R b a ba ab =
b) Si ( , si escribimos la igualdad precedente
como cb concluimos que, , as, R es simtrica
bc ad d c R b a = entonces ) , ( ) ,
da = (c ) , ( ) , b a R d
c) Si ( entonces , debemos
demostrar que , es decir, que
) , ( ) , ( ) , ( ) , f e R d c d c R b a .
) , ( ) , ( f e R b a
) ( ) ( de cf bc ad = . =
be af =
De la igualdad , multiplicando por e obtenemos , pero
por hiptesis tenemos que , entonces, reemplazando de en
obtenemos de donde, cancelando, concluimos que .
bc ad =
bce =
bce ade =
af =
cf de = bce ade =
be acf
3) Una relacin R definida en A es circular si y slo si ( cRa bRc aRb . )
Demuestre: R es de equivalencia si y solo si R es refleja y circular
Demostracin.
) Si R es de equivalencia debemos demostrar que R es refleja y circular
Basta demostrar que R es circular ya que R es de equivalencia
Sea entonces, como R es de equivalencia, en particular es transitiva,
as, ; como R es relacin simtrica entonces, de la ltima
expresin concluimos que
bRc aRb .
bRc aRb . aRc
cRa
) : Si R es refleja y circular debemos demostrar que R es de equivalencia
Falta demostrar que R es simtrica y transitiva
Sea ; como R es refleja entonces bRb , as tenemos, de donde
; concluimos que R es simtrica
aRb bRb aRb .
bRa
Sea entonces, como R es circular conseguimos que cRa de donde,
ya que R es simtrica, as, R es transitiva.
bRc aRb .
aRc
3.5.2 Clases de equivalencia
Definicin.
Sea R una relacin de equivalencia definida en . | = A
Para todo A x e llamamos clase de equivalencia de segn R al conjunto
tambin denotado
x
x
C x , formado por todos aquellos elementos relacionados con , es
decir:
x
.
.
31
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
{ } yRx A y x / e =
Observacin.
1) A la relacin la podemos denotar por ~ .
2) Las clases de equivalencia son no vacas, es decir, A x x e = |
3) Si x b e , a entonces a de donde , es decir, todos los
elementos de una clase de equivalencia son equivalentes entre si. Con esto
podemos representar la clase de equivalencia por uno de sus elementos.
x b x ~ ~ . b a ~
4) y x y x ~ =
Definicin.
El conjunto de las clases de equivalencia segn R se llama conjunto cuociente
de A por R. Se denota R A/
Proposicin.
Sea R una relacin de equivalencia definida en , entonces posee las
siguientes propiedades:
| = A R A/
a) | = e x R A , / x
b) y R A y R A x = e . e x , / / entonces | = y x
c) A x
R A x
=
e
/
Demostracin.
2) Supongamos | = y x , entonces existe y x z e , as, y z x z e . e ; esto ltimo
nos indica que , luego, , de donde zRy zRx . xRy y x = , esto constituye una
contradiccin ( observacin 3) as, | x = y
3) x x A x e e , luego { } A x x _ _ , as, { } A x x A
A x R A x
_ _ =
e e

/
Ejemplos.
1) Sea una relacin de
equivalencia. Determine:
{ } { ) , ( ), , ( ), , ( ), , ( ), , ( y , ,
2
b c c b c c b b a a A R c b a A = _ = }
a) La clase de equivalencia de los elementos de A
b) El conjunto cuociente
Solucin.
a) { } a xRa A x a = e = / { }
{ } c b xRb A x b , / = e = { }
b c =
b) El conjunto cuociente es y un sistema de representantes es { } { } { c b a R A , , / = }
{ } b a S , =
.
.
32
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
2) En Z definimos la relacin de equivalencia R por: .
Determine:
b b a a aRb + = +
2 2
a) La clase de equivalencia de los elementos de Z
c) El conjunto cuociente
Solucin.
a) { } { } { } 1 0 , 1 0 / 0 / 0
2
= = = + e = e = x x Z x xR Z x
{ } { } { } { } 2 2 , 1 0 2 / 1 1 / 1 / 1
2 2 2
= = = + e = + = + e = e = x x Z x x x Z x xR Z x
{ } { } { } { } 3 3 , 2 0 6 / 2 2 / 2 / 2
2 2 2
= = = + e = + = + e = e = x x Z x x x Z x xR Z x
4 3 = ,........., { } ) 1 ( ) 1 ( , + = + = n n n n
3.5.3 Relacin de orden
Definicin.
Una relacin R definida en el conjunto A es una relacin de orden si y slo si es
refleja, transitiva y antisimtrica
Ejemplos.
Son relaciones de orden las siguientes relaciones:
1) La relacin s definida en J
2) La relacin _ en la familia de conjuntos un conjunto dado { A A X X A P , / ) ( _ = }
3) La relacin R definida en N por: aRb divide a , (se puede denotar por a b b a )
En efecto
Como tal que entonces: N k aRb e - ka b =
R es refleja ya que a a , esto ltimo puesto que a a =1
R es transitiva ya que si c b b a . entonces ( y
, as, reemplazando b en obtenemos c ,
esto indica que
) que tal
1 1
a k b N k = e -
b k
2
a k k
1 2
= ) que tal (
2 2
b k c N k = e - c =
c k
2
a con N k e
1
R es antisimtrica ya que si a b b a .
2 1
= = k k
entonces ( y
, reemplazando b en obtenemos a de
donde , esto nos indica que y entonces
) que tal
1 1
a k b N k = e -
a k k
1 2
=
b a =
) que tal (
2 2
b k a N k = e -
1
1 2
= k k
b k a
2
=
1
3.5.3.1 Conjunto parcial y totalmente ordenado
En general, una relacin de orden R definida en un conjunto A no permite
ordenar totalmente los elementos de A ya que, dados puede suceder que no
se verifique , en este caso la relacin es de orden parcial.
A b a e ,
bRa aRb
Por ejemplo, la relacin de orden anterior es de orden parcial ya que, por
ejemplo, 2 no divide a 3.
.
.
33
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Definicin.
Una relacin de orden R definida en el conjunto A es de orden total si
entonces aRb A b a e , bRa o
Ejemplo.
En N definimos la relacin T por: aTb b a N n
n
= e - que tal
a) Demuestre que T es una relacin de orden
b) Es T un orden total?
Solucin.
a) Para que T sea una relacin de orden debe cumplir:
i) Refleja N a e aTa
ii) | Transitiva | aTc bTc aTb .
iii) | Antisimtrica | b a bTa aTb = .
i) aTa ya que , 1 a a =
1
N e
ii) Si bTc aTb . entonces existen tal que y ; debemos N m n e , b a
n
= c b
m
=
demostrar que existe tal que . N p e c a
p
=
Reemplazando en obtenemos , con
se cumple.
n
a b =
m
b c =
nm m n
a a c = = ) (
N nm p e =
iii) Si bTa aTb . entonces existen tal que a y b , N m n e , b
n
= a
m
=
reemplazando b en la segunda igualdad obtenemos a de donde
n
a = a
nm
=
nm , as, . Esto indica que 1 = m n = b a =
b) La relacin T no es de orden total ya que, por ejemplo, 2 no esta
relacionado
con 3 (no existe tal que ) N n e 3 2 =
n
3.5.3.2 Congruencia mdulo m
Definicin.
Sea Z me se dicen congruentes mdulo m, lo que se denota
si y slo si es mltiplo de m, es decir:
Z b a e
+
, ;
) m a (mod b a b
mp b a Z p m b a = e - que tal ) (mod
Observacin.
1) La relacin de congruencia en el conjunto de los enteros para un mdulo
fijo m es una relacin de equivalencia
2) Esta relacin de equivalencia es compatible con la adicin y multiplicacin,
es decir: a entonces y
adems
) (mod ) (mod m d c m b .
) (modm bd
) (modm d b c a + +
ac
3) { } ,.... 3 , 2 , , 0 ) (mod m m m mZ mp b a m b a = e =
Ejemplo.
Es inmediato que: 4 ) 11 (mod 30 8 ; ) 7 (mod 30 5 ; ) 3 (mod 16
.
.
34
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Observacin.
Enunciaremos el siguiente Algoritmo de Euclides slo para demostrar los
Teoremas que daremos a continuacin.
Algoritmo de Euclides.
Sean eZ m entonces existen, de manera nica, tal que
donde
{ } 0 ,
+
n
m r < s 0
{ } 0 , e
+
Z r q
r qm n + =
Teorema
Sea
+
eZ m , entonces cualquier es congruente mdulo m a uno y slo
uno de los enteros 0, 1, 2, 3,...,m-1
Z n e
Demostracin.
Sea , debemos demostrar que no puede ser congruente mdulo a dos
enteros
Z n e
0 , e b
n m
{ } 1 ....., , 2 , 1 , m a
Supongamos que , entonces . ) (mod y ) (mod m b n m a n ) (modm b a
Si entonces ya que a , es decir,
de esto concluimos que m no divide a , as, a no es
congruente mdulo m con b ( contradiccin)
b a >
< b a
1 y 0 s > m b a b a { } 1 ....., , 2 , 1 , 0 , e m b
b a 1 0 < m
Consideremos ahora un cualquiera donde . n 0 n , 0 , 0 < > = n n
Si n entonces n 0 = ) (mod 0 m
Si entonces existen nicos tal que n luego
de donde
0 > n
s m r
r q, m r r qm < < + = 0 ; ,
1 0 < ) (modm r n
Si consideramos , para algn k (por ejemplo y aplicamos
la demostracin del caso anterior.
0 < n 0 > + km n ) 1 + = n k
Ejemplo.
es congruente mdulo 3 a uno y slo uno de los enteros 0, 1, 2, y para
verificar basta con dividir ( Algoritmo de Euclides) por 3, as, 4589 ya que
Z n e
) 3 (mod 2
2 3 1532 4589 + =
Definicin.
Se llama clases residuales mdulo m a aquellas clases que contienen todos
los enteros que son congruentes mdulo a uno de los enteros 0, 1, 2, 3,...,m-1
m
m
Ejemplo.
Para m= 3 se tiene 3 clases residuales formadas por los enteros congruentes a 0,
1, 2 respectivamente
.
.
35
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
....., -6, -3, 0, 3, 6, 9, 12,....
....., -5, -2, 1, 4, 7, 10, 13,.....
....., -4, -1, 2, 5, 11, 14,.....
Teorema,
Dos enteros a son congruentes modulo m si y slo si dan el mismo resto al
dividirlos por m.
b ,
Demostracin.
) Supongamos que al dividir b por m se obtiene m r r qm b < + = , .
Por hiptesis es decir, de donde , reemplazando
obtenemos a
) (modm b a
mp r qm + + =
, mp b a =
r m p + ) (
mp b a + =
b q + =
) :
a
Supongamos que entonces , as, r m q b r m q a + = + =
2 1
, m q q b a ) (
2 1
=
) (modm b
Observacin.
La relacin de congruencia mdulo m fijo determina una particin del conjunto
Z en clases de equivalencia y el conjunto cuociente lo denotamos
m
Z
Ejemplo.
Determine las clases de equivalencia por la congruencia mdulo 5.
Solucin.
{ } { } { } { ,.... 10 , 5 , 0 , 5 , 10 ..., , 5 / 5 0 / ~ 0 / 0 = e = e = = e = e = Z k k x Z x k x Z x x Z x }
{ } { } { } { ,.... 11 , 6 , 1 , 4 , 9 ..., , 1 5 / 5 1 / ~ 1 / 1 = e + = e = = e = e = Z k k x Z x k x Z x x Z x }
as, { } { } 4 , 3 , 2 , 1 , 0 4 , 3 , 2 , 1 , 0
5
= = Z
Definicin.
Sean
m
Z b a e , , donde son representantes cualesquiera de b a, b a, respectivamente,
entonces b a + es la clase residual mdulo que contiene a ( esto se puede
hacer con cualquier elemento de
m b a +
b a, )
Ejemplo.
Determine la tabla de doble entrada de ( ) ,
3
+ Z
Solucin.
posee los elementos
3
Z 2 , 1 , 0 donde
.
.
36
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
{ } 9,12,..... 6, 3, 0, , 3 ..., 0 =
{ } . 10,13,.... 7, 4, 1, , 2 ..., 1 =
{ } .. 11,114,... 8, 5, 2, , 1 ..., 2 =
La tabla que obtenemos es
+
0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
donde , para calcular 2 + 1 , sumamos, por ejemplo, 1 y como 3
entonces
3 2 = + ) 3 (mod 0
0 2 = + 1
3.6 EJERCICIOS PROPUESTOS
1) Sean A conjuntos cualesquiera. Demuestre C B, ,
a) ) ( ) ( ) ( B n A n B A n =
b) ) ( | | | = v = = B A B A
c) C _ _ C B C A B A
d) C A B A C B A = ) (
e) ) ( ) ( ) ( C B C A C B A =
2) Considere las siguientes relaciones
{ } b a A b a R = e = / ) , (
2
1
con { } 3 , 2 , 1 = A
{ } 9 2 / ) , (
2
2
= + e = y x N y x R
{ } b a A b a R a divide / ) , (
2
3
e = si { } 5 , 4 , 3 , 2 , 1 = A
{ } 0 / ) , (
2
4
> e = xy A y x R si { } 3 , 2 , 1 , 0 , 1 , 2 = A
{ } 3 / ) , (
2 2 2
5
> + e = b a A b a R si { } 3 , 2 , 1 , 0 , 1 = A
a) Determine por extensin la relacin , i = 1,2,3,4,5
i
R
b) Determine dom , ) (
i
R ) (
i
R rec
c) Determine por extensin
1
i
R
3) Sea R una relacin. Demuestre que: { ) , ( / ) , ( y x p y x B A = _ }
( ; a) A R dom _ ) B R rec _ ) (
b) R R =
1 1
) (
c) ; ) ( ) (
1
R rec R dom =
) ( ) (
1
R dom R rec =
4) Considere las relaciones , B A R _ C B S _

Demuestre que
1 1 1
) (

= S R R S $ $
.
.
37
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
5) Sean las relaciones definidas en , : J { } x y y x R 2 / ) , ( = = { }
3
2 / ) , ( x y y x S = =
Determine: a) b) R R S $ S $
6) Considere las siguientes relaciones definidas en Z
{ }
2
1
/ ) , ( b a b a R = =
{ }
2 2
2
/ ) , ( b b a a b a R + = + =
{ } 3 de multiplo es / ) , (
3
y x y x R =
{ } mb a Z m b a R = e - = que tal / ) , (
4
{ } k b a Z k b a R 2 que tal / ) , (
5
= e - =
Determine cuales de las relaciones planteadas son: reflejas, simtricas,
antisimtricas, transitivas
7) Si R es una relacin en A tal que R es transitiva demuestre que tambin es
1
R
transitiva
8) Sea . Demuestre: R simtrica
2
A R _ R R =
1
9) Sea R una relacin en A. Demuestre que:
R es refleja { } A a a a D R D e = . _ / ) , (
10) Demuestre que las siguientes relaciones definidas son relaciones de equivalencia
tal que tal que
2
1
J _ R Z k b aR e -
1
k b a 2 =
definida en Q tal que tal que
2
R
+
Z n b aR e -
2
n b a 4 =
11) En Z definimos la relacin R tal que tal que { } 0 e - N n aRb n a b =
Demuestre que R es una relacin de orden
Es R un orden total? Justifique
12) En N definimos la relacin T tal que aTb tal que N n e - b a
n
=
Demuestre que R es una relacin de orden
Es R un orden total? Justifique
13) En la familia de conjuntos Adefinimos la relacin _
a) Demuestre que R es una relacin de orden
b)Es R un orden total? Justifique
c) Si { } = A con , verifique lo demostrado en a) y b) A X X _ / { 4 , 3 , 2 , 1 = A }
.
.
38
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
14) Si es una relacin de orden en A y S es una relacin de orden en B demuestre
que la relacin T definida en tal que ( es de orden
R
B A bSd aRc d c T b a . ) , ( ) ,
15) Sean relaciones de orden y una relacin definida en
tal que . Demuestre que es relacin de orden
2
2
2
1
, B R A R _ _
d c R b a
3
) , ( ) , (
3
R
B A d bR c aR
2 1
.
3
R
16) Sea R una relacin en A. Decimos que: R es conexa bRa aRb A y x v e : ,
Demuestre: Si R es simtrica, transitiva y conexa entonces R es de relacin de
equivalencia.
17) Sea x la clase de equivalencia de segn , donde es la relacin de
equivalencia (tambin denotada ~) definida en el conjunto . Demuestre:
x R R
| = A
a) x x = |
b) Todos los elementos de una clase de equivalencia son equivalentes
entre si
R R
c) y x ~ y x =
18) Sea el conjunto cuociente de A por R donde, R es una relacin de
equivalencia
R A/
definida en el conjunto . Demuestre: | = A
a) | = x R x , / e A
b) , / y x R A y R = e . / A x e entonces | = y x
c) A
R A x
=
/ e
19) Sea ; se dicen congruentes modulo m lo que denotamos

o simplemente si y slo si es mltiplo de m, es decir:
+
eZ m
) m
Z b a e ,
mod ( b a ) (m b a b a
pm b a Z p m b a = e - que tal ) (
Demuestre que la relacin de congruencia definida en los nmeros enteros para
un mdulo m fijo es una relacin de equivalencia
20) Determine , la clase de equivalencia por la congruencia mdulo 3
3
Z
21) Sea y . { } c b a A , , = { } ) , ( ), , ( ), , ( ), , ( ), , (
2
b c c b c c b b a a A R = _
a) Demuestre que R es una relacin de equivalencia
b) Determine: c b , , a
Determine R A/
.
.
39

Relaciones y Funciones

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Relaciones y Funciones

Transféré par

Droits d'auteur :

Formats disponibles

w

4) Considere las relaciones , B A R _ C B S _

19) Sea ; se dicen congruentes modulo m lo que denotamos

Vous aimerez peut-être aussi