Material Unidad III y IV

E l a b o r a d o p o r : P r o f . J u a n C a r l o s S n c h e z y P r o f a .
M a r i l e x
P o r t e l e s
Pgina 1
3. RELACION BINARIA
Definicin 3.1
Sean e dos conjuntos. Una relacin de en es un subconjunto del producto
cartesiano . El conjunto es el conjunto de partida de la relacin , y el
conjunto es el conjunto de llegada.
Los elementos de son pares ordenados. Si es un elemento de en lugar de
escribir , escribiremos

y leeremos: x est relacionada con y, segn la relacin .
Escribiremos para indicar que no se cumple.
Usaremos letras como entre otras para representar relaciones.
Ejemplo. Si e una relacin de en esta dada:

Ejemplo IMPORTANTE. Si es un conjunto no vacio. La siguiente relacin en

es llamada relacin diagonal de o relacin identidad de . En este caso,

Definicin 3.2
Sea R una relacin de X en Y.
a) El Dominio de es el conjunto

b) El rango o imagen de es el conjunto

En otras palabras el dominio y el rango de una relacin estn constituidos por las
primeras y segundas componentes de los pares ordenados que constituyen la relacin.

E l a b o r a d o p o r : P r o f . J u a n C a r l o s S n c h e z y P r o f a . M a r i l e x
P o r t e l e s
Pgina 2
Ejemplo. En la relacin del ejemplo anterior se obtiene:

REPRESENTACION GRAFICA. COMPOSICION DE
RELACIONES
Representacin Matricial 3.3.
La representacin matricial se usa cuando los conjuntos de partida y de llegada de la
relacin son conjuntos finitos con pocos elementos. Para obtener tal representacin se
le asigna a cada elemento de partida una fila y a cada elemento del conjunto de
llegada una columna. Si esta en la relacin, en la interseccin de la fila que
corresponde a x con la columna que corresponde a y, escribiremos, en caso contrario
escribiremos . La configuracin rectangular de ceros y unos que se obtiene se llama
matriz de la relacin
As la matriz del ejemplo anterior:
R 1 2 3 4 5
a
b
c
d
0 1 0 0 0
1 0 0 1 0
0 0 0 0 1
0 0 0 0 0

Representacin Sagital 3.4
La representacin sagital es la ms popular de las representaciones. Esta, igual que la
matricial, se usa cuando los conjuntos de partida y llegada son finitas. La
representacin sagital se obtiene representando mediante diagramas de Venn el
conjunto de partida y el de llegada; y luego uniendo con flechas los elementos
relacionados. La representacin del ejemplo anterior:

R

P o r t e l e s
Pgina 3
X Y

Composicin de Relaciones.
Definicin 3.5.
Sea una relacin de en y una relacin de en Se llama composicin de
con a la siguiente relacin de en
r
O sea,

Observe que para definir la composicin de con es necesario que el conjunto de
llegada de sea igual al conjunto de partida de .
Ejemplo. Si , y . Si y son las relaciones
de en y de en respectivamente, dadas por

entonces
r
Teorema 3.6
Sea una relacin de en , S una relacin de en y una relacin de en ,
entonces
r
Teorema 3.7
Sea una relacin de en y S una relacin de en , entonces
r

a
b
c
d

1
2
3
4
5

P o r t e l e s
Pgina 4
Ejercicios Propuestos
1. Sea , y es la relacin

Hallar: a) , b) , c) La matriz de
2. Sea , y y sean las relaciones
, dadas por
es par, es impar
Hallar: a) , b)

3. Sea , . a)Cuantas relaciones de X en Y se pueden definir?.
b) Hallar estas relaciones.
Relacin en un conjunto.
Estudiaremos las relaciones definidas en un conjunto, es decir, las relaciones en las
que el conjunto de partida coincide con el conjunto de llegada.
Definicin 3.8
Sea una relacin en un conjunto Se dice que
1. es reflexiva si y solo si .
2. es simtrica si y solo si
3. es antisimtrica si y solo si
4. es transitiva si y solo si

Teorema 3.9
Sea una relacin en Entonces
1. es reflexiva

2. es simtrica

3. es antisimtrica

4. es transitiva

Ejemplo. Sea . Probas que la relacin

es antisimtrica y es transitiva.

P o r t e l e s
Pgina 5
Solucin:
Tenemos que

Luego, por la parte de el teorema anterior concluimos que es anti simtrica.
Tenemos que R
Luego, por la parte del teorema anterior concluimos que es transitiva.

1. Cada una de las siguientes relaciones es una relacin en a) Cuales son
reflexivas?. b) Cuales son simtricas?. c) Cuales son antisimtrica?. d) Cuales son
transitivas?.
i)

ii)

iii)

iv)

v)

vi)

vii)

viii)

ix)

2. De las siguientes relaciones en . a) Cuales son reflexivas?. b) Cuales
son simtricas?. c) Cuales son antisimtrica?. d) Cuales son transitivas?.
i)

ii)

iii)

P o r t e l e s
Pgina 6
Relacin de equivalencia.
Definicin 3.10
Una relacin de equivalencia es una relacin que es reflexiva, simtrica y transitiva.
Es costumbre usar el smbolo para representar a una relacin de equivalencia. As,
la expresin

Significa que esta relacionado con . En este caso se acostumbra a decir que es
equivalente a .
Una relacin de equivalencia en un conjunto es una relacin tal que:
1. es reflexiva:
2. es simtrica
3. es transitiva:

Ejemplo. Sea . La siguiente relacin de es una relacin de
equivalencia:

En efecto,
1. Reflexividad:
ya que

2. Simtrica:

3. Transitividad:

P o r t e l e s
Pgina 7
1. Probar que la siguiente relacin en
es una relacin de equivalencia.




Relacin de orden, orden parcial y orden total.
Definicin 3.11
Una relacin de orden es una relacin que es reflexiva, antisimtrica y transitiva. Es
costumbre generalizada usar el smbolo para representar a una relacin de orden.
En este caso, la expresin

se lee es anterior a , precede a , es posterior a , sigue a .
Una relacin de orden en un conjunto es una relacin tal que:
1. es reflexiva:
2. es antisimtrica :
3. es transitiva :

P o r t e l e s
Pgina 8
Diagrama de Hasse. Sea . El siguiente diagrama define una
relacin de orden en del modo siguiente:
c a
f
b
e d
Definicin 3.12
Sea un conjunto ordenado. Dos elementos e de se dice que son
comparables si se cumple que

En caso contrario se dice que e son incomparables.
Definicin 3.13
Una relacin de orden en se dice que es de orden total u orden lineal, si todo par
de elementos de son comparables. Esto es, si
)
Si esta condicin no se cumple, es decir, si existe al menos un par de elementos de
no comparables, entonces es un orden parcial.
Ejemplo. Sea , ordenado por
es mltiplo de
a) Construir su diagrama de Hasse.
b) Hallar una cadena de elementos.
Solucin: 2 7
a) 3
6 4 14
9
12 8

16
b)

P o r t e l e s
Pgina 9
4. FUNCIONES. TIPOS. RESTRICCIN Y EXTENSIN

Definicin 4.1
Sean e dos conjuntos. Una funcin de en es una triada donde es
una relacin de en que satisface las dos siguientes condiciones
(1)
(2)
Es costumbre generalizada escribir
p

Y
Para indicar que es una funcin de en . An ms, en lugar de o , se
escribe

y, en este caso, se dice que es la imagen de mediante y que es la preimagen de .

La definicion de funcion nos dice: La condicion nos dice que cada elemento de
tiene una imagen. La condicion dice que la imagen de un elemento es nica.
Asi, las siguientes relaciones no son funciones.

x

y=f(x)
a
b
c

1
2
a

b
1
2
3

P o r t e l e s
Pgina 10
Ejemplo. Si y , entonces la siguiente relacin es una
funcin de en .

Funciones inyectivas, sobreyectivas y biyectivas.
Definicin 4.2
Una funcin p es inyectiva o es una inyeccin si satisface la condicin

o, lo que es lo mismo (contrarrecproco)

Observar que la condicin anterior simplemente dice que cualquier elemento de tiene a lo
mas una preimagen.
Ejemplo. La siguiente funcin es inyectiva.

a
b
c
d
m
n
r
a
b
c
1
2
3
4

P o r t e l e s
Pgina 11

Definicin 4.3
Una funcin p es sobreyectiva si

o, lo que es lo mismo

Observar que la condicin dice que todo elemento de tiene una preimagen.
Ejemplo. La siguiente funcin es sobreyectiva.

Definicin 4.4
Una funcin es biyectiva si es inyectiva y sobreyectiva.

Ejemplo. La siguiente funcin es biyectiva.

a
b
c
d
1
2
3

a
b
c
1
2
3

P o r t e l e s
Pgina 12
1. Cules de las siguientes relaciones de en son
funciones?.
a.
b.
c.
d.
2. De las siguientes funciones:
i)
p

ii)
p

iii)
p

a. Cuales son inyectivas?
b. Cuales son sobreyectivas?
c. Cuales son biyectivas?
3. Probar que la siguiente funcin es biyectiva
p

Restriccin y Extensin de una Funcin.
Sea p una funcin y un subconjunto de . Se llama restriccin de al
conjunto a la funcin
p

A la funcin se acostumbra a denotar por . Por otro lado, si p es una funcin,
es subconjunto de y p es una funcin tal que la restriccin de a es igual a
entonces se dice que es una extensin o prolongacin de al conjunto .

P o r t e l e s
Pgina 13
La restriccin de una funcin a un conjunto es nica; en cambio, una funcin puede
tener muchas extensiones a un mismo conjunto.

Ejemplo. Sea la funcin
p

Las siguientes funciones son dos extensiones de al conjunto

p p

Funciones inversa.
Definicin 4.5
Una funcin p es invertible si su relacin inversa
p es tambin una
funcin. En este caso diremos que
p es la funcin inversa de .
Ejemplo. Sean y . La funcin p dada en el
siguiente diagrama de la izquierda es invertible

izquieiua

ueiecha

a
b
c
m
n
r
m
n
r
a
b
c

P o r t e l e s
Pgina 14
En efecto, el diagrama de la derecha nos muestra que la relacin inversa
p es
tambin una funcin.
Observacin: Si p es invertible, entonces

0 sea

El siguiente teorema nos dice que las funciones biyectivas son las nicas invertibles.
Teorema 4.6
Sea p una funcin. Entonces
es biyectiva es inveitible
Coiolaiio
Si una funcin p es invertible, entonces la funcin inversa
p es
biyectiva.

Composicin de Funciones.
Definicin 4.8
Si p y p son dos funciones, es fcil ver que la relacin compuesta
p
Es tambin una funcin, a la que llamaremos funcin compuesta de con De
acuerdo a la definicin de composicin, tenemos que

p

P o r t e l e s
Pgina 15

Ejemplo. Dadas las funciones
p p

Entonces
(1)

(2)

Este ejemplo nos muestra que la composicin de funciones no es conmutativa. Sin
embargo, como las funciones son relaciones y la composicin de relaciones es
asociativa, la composicin de funciones es tambin asociativa. Esto es:
Si p , p y p son funciones, entonces,

Lema. Si p es invertible, entonces

Lema. Sea p una funcin. Si existe una funcin p tal que

x

f(x)

g(f(x))
(gof)(x)

P o r t e l e s
Pgina 16
entonces es biyectiva ( y, por lo tanto, invertible) y
.
Teorema 4.9
Sea p una funcin. Entonces
es inveitible p

Adems, en este caso,
.
1. Hallar la funcin inversa de cada una de las siguientes funciones:
a.
p

b.
p

c.

2. Si p y p

, hallar:
a.
b.
c.

d.

3. Sea p y p . Si,
, hallar

Material Unidad III y IV

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Material Unidad III y IV

Uploaded by

Copyright:

Available Formats

E l a b o r a d o p o r : P r o f . J u a n C a r l o s S n c h e z y P r o f a .

es una relacin de equivalencia.

es una relacin de equivalencia.

es una relacin de equivalencia.

es una relacin de equivalencia.

You might also like