Está en la página 1de 66

Relaciones y

Funciones
Trabajo Prctico N 3
Relaciones y Funciones
1) Sea A = { 1 ; 2 }. Construya el conjunto P(A) x A.
2) a) D un ejemplo de conjuntos A ; B ; C y D tales que : A c C y B c D.
Observe que A x B c C x D.
b) Suponiendo que A x B c C x D se sigue de esto necesariamente
que A c C y B c D ?. Explique.

3) Sean A = { x e N / 1 s x s 5 } y B = { 3 ; 4; 5 }. Se define R c A x B
mediante (x,y) eR x + y s 5.
i) Definir R por extensin. ii) Representar A x B y R. iii) Determinar R
-1
.
4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 } ; C = {2 ;3 ;8 ;10}
y las relaciones R c A x B ; S c B x C, definidas por :
(x,y) e R y = x
2
y (y,z) e S z = y/2
Se pide : i) Determinar R y S por extensin.
ii) Definir la composicin S

R c A x C por extensin.
iii)Determinar los dominios e imgenes de las tres relaciones.
5) Analizar si las siguientes relaciones son o no de equivalencia.
R = { ( -1,-3) ; (-2,0) ; (0,0) ; (-1,-1) } en A = { -3, -2, -1, 0 }
S = { (2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0) } en B = { x e N
0
/ x s 3 }
6) Sea A un conjunto de libros. Sea R
1
una relacin binaria definida en
A /(a,b) e R
1
el libro a cuesta mas y tiene menos hojas que b. Es R
1

reflexiva ? simtrica ? antisimtrica ? transitiva ?.
7) Sea R una relacin binaria sobre el conjunto de todas las sucesiones
de ceros y unos, tal que :
R = {(a, b) / a . b son sucesiones que tienen el mismo nmero de ceros}.
Es R reflexiva ? simtrica ? antisimtrica ? transitiva ? ; es
relacin de equivalencia ? es relacin de orden ?
8) Sea R una relacin binaria sobre el conjunto de todos los enteros positivos ,
tal que : R = {(a, b) / a - b es un entero positivo impar}. Es R reflexiva ?
simtrica ? antisimtrica ? transitiva ? ; es una relacin de equivalencia ?
es una relacin de orden ?
9) Descubrir la falla del razonamiento en la siguiente argumentacin, que
pretende probar que la reflexividad es una consecuencia de la simetra y de la
transitividad : x R y x R y . y R x x R x
10) a) Determinar si el conjunto P = { A
1
; A
2
} constituye una
particin de Z con A
1
= {x e Z : 2 | x} y A
2
= { x e Z : 2 | x }
b) Determinar si el conjunto Q constituye una particin de Z ;
Q = { N; Z
-

}
11) Dado el conjunto de conjuntos M = {A, B, C, C}, donde A = {1, 2, 3, 4}
B = {1, 3} C = {3} Clasificar en M la relacin c .
12) Analizar si (N, s) y (N, | ) son lttices.
13) Representar grficamente las siguientes relaciones :
a) f : R R / f(x) = -5 x b) g : Z
pares
Z / g(x) =
c) h : N N / h(x) = 2 x + 3
x
2
1
14) Sean las relaciones f
i
: R R con i = 1,2, . . . . 6 dadas por las
frmulas :
f
1
(x) = - 3 x + 4
f
2
(x) = - x
2
+ 4 x 3 f
4
(x)=
f
3
(x) = log
2
( 2x - 3 )

f
6
(x) = f
5
(x) =

< s +
=
>
0 x 2 si 1 x
0 x si 3
0 x si 1 x
3

>
s s
<
1 x si x ln
1 x 0 si 1
0 x si 2
x
3 x
2
+
a) Determine en cada caso el Dominio y la Imagen para que la relacin
resulte una funcin
b) Represente grficamente cada una de las f
i
c) Clasifique cada una de las f
i
d) En los casos que sea posible, determine y represente grficamente f
-1


Conjunto de partes Se escribe P(A)
y est formado por todos los subconjuntos posibles que pueden
formarse con los elementos del conjunto A, incluido el conjunto vaco
se lee partes de A
Sea A { a, b, c }
P(A)= { {a}; {b}, {c}; {a,b}; {a,c}; {b,c}; {a,b,c} C }
a
b
c
a
b
c
a b
a c
b c
{a}
{b}
{c}
{a,b}
{a,c}
{b,c}
a b c {a, b, c}
A
{ } = C
entonces el conjuntos de partes de A es:
El nmero de
elementos que
conforman
P(A) es 2
n

donde n = #A
#A se lee cardinal del
conjunto A y es igual a
la cantidad de
elementos que tiene el
conjunto A
Producto Cartesiano
Dado un conjunto A = { a, b }
a
A
y un conjunto B = { 1, 2 }
1
B El producto cartesiano A x B se
forma con todos los pares ordenados
posibles conformados por elementos
del conjunto A en el primer lugar del
par ordenado y elementos del conjunto
B en el segundo lugar del par ordenado
b 2
A x B = { (a, 1), (a, 2), (b, 1), (b, 2) }
Tambin podemos representar el producto cartesiano en un par de ejes coordenados
a b A
B
2

1
(b, 1)
(b, 2)
(a, 1)
(a, 2)
A x B
En el eje de abscisas (x) el conjunto A
En el eje de ordenadas (y) el conjunto B
y los pares ordenados en las intersecciones de
las perpendiculares a cada uno de los ejes, que
pasan por los elementos involucrados
1) Si A = { 1, 2 }
Recuerda que cada uno de los subconjuntos posibles formados con
los elementos del conjunto A, es un elemento de P(A)
P(A) xA = { (C,1); (C,2); ({1},1); ({1},2); ({2},1); ({2},2); ({1,2},1); ({1,2},2) }
observa que en cada par ordenado, el 1
er
elemento e P(A)
y el 2
do
elemento e A
2) a) Si A = { a } B = { 2 } C = { a, b } D = { 1, 2 }
ubicamos ahora A c C y B c D
a
C
1
B
b 2
A
D
C x D = { (a,1); (a,2); (b,2) } (b,1);
a b A
B
2

1
(b, 1)
(b, 2)
(a, 1)
(a, 2)
A x B
A x B = { (a,2) }
entonces A x B c C x D
el nico par ordenado de AxB; (a,2) e CxD
C x D
en ejes cartesianos
P(A) = { C; {1}; {2}; {1,2} }
1 2
2 b) Si A x B c C x D se sigue de esto necesariamente
que A c C y B c D ?. Explique.
Si a e A (a, b) e A x B,
Si a es elemento del conjunto A, entonces el elemento a con
cualquier otro elemento del conjunto B forma un par ordenado del
producto cartesiano A x B
Por la consigna del ejercicio A x B c C x D , entonces . . .
si (a, b) e A x B entonces (a, b) e C x D luego a e C, luego
A c C
Anlogamente puede hallarse que B c D
si b e B (a, b) e A x B, a e A
por la consigna del ejercicio A x B c C x D , entonces . . .
si (a, b) e A x B entonces (a, b) e C x D luego b e D, luego
B c D
b e B
si el elemento a pertenece al conjunto A entonces
al producto cartesiano A x B
el par ordenado (a, b) pertenece
para todo elemento b que pertenece al conjunto B
Relaciones
Dado un producto cartesiano A x B,
si se verifica que entre los elementos de algunos (o todos) los pares
ordenados que lo conforman se cumple una cierta propiedad,
existe una relacin R
1
A
2
B
2 3
Sean A = { 1, 2 } y B = { 2, 3 }
Definimos R c A x B : (x,y) e R y = 2x
En A x B = { (1, 2); (1, 3); (2, 2); (2, 3) }
De analizar los pares ordenados que conforman A x B resulta que algunos pueden
verificar (otros no) o puede suceder que todos verifiquen e incluso tambin puede
suceder que ningn par ordenado verifique la condicin
en el par (1, 2) x = 1 y = 2
Analizamos
2 = 2 1 entonces (1, 2) e R
en el par (1, 3) x = 1 y = 3
3 = 2 1 entonces (1, 3) e R
en el par (2, 2) x = 2 y = 2
2 = 2 2 entonces (2, 2) e R
en el par (2, 3) x = 2 y = 3 3 = 2 2 entonces (2, 3) e R
R = { (1, 2) }
Y = 2 x
. Y e B
c
incluida en el producto cartesiano A xB si y solo si para todo par ordenado (x, y)
que pertenece a la relacin R se verifica que el elemento x pertenece al conjunto A
y que el elemento y pertenece al conjunto B
A x B
(x,y) e R : x e A
La relacin antes vista R = { (1, 2) } definida por comprensin ser:
R = { (x, y) / x e A . y e B . y = 2x }
Observe que la definicin por comprensin considera:
los elementos que componen la relacin pares ordenados (x, y)
a qu conjunto pertenecen cada uno de los elementos x e A ; y e B
cmo se vinculan los elementos de cada par ordenado y = 2x
B
3

2
(2, 2)
(2, 3)
(1, 2)
(1, 3)
R c A x B
A x B
Ejes cartesianos
La relacin se representa en ejes cartesianos,
1 2 A
en diagrama de Venn y en tablas
1
A
2
B
2 3
2 3
1 x -
2 - -
B
A
R
Diagramas de Venn Tabla de R
3) Si A = { x e N / 1 s x s 5 }

B = { 3, 4, 5 }
por extensin A = {1, 2, 3, 4, 5 }
Se define R c A x B mediante
(x,y) e R x + y s 5.
1
A
5
B
3
3
R
2
4
5
4
1 + 3 = 4 < 5 (1, 3) e R
1 + 4 = 5 = 5 (1, 4) e R
1 + 5 = 6 > 5 (1, 5) e R
2 + 3 = 5 = 5 (2, 3) e R
2 + 4 = 6 > 5 (2, 4) e R
2 + 5 = 7 > 5 (2, 4) e R
3 + 3 = 6 > 5 (3, 3) e R
3 + 4 = 7 > 5 (3, 4) e R
3 + 5 = 8 > 5 (3, 5) e R
4 + 3 = 7 > 5 (4, 3) e R
4 + 4 = 8 > 5 (4, 4) e R
4 + 5 = 9 > 5 (4, 5) e R
5 + 3 = 8 > 5 (5, 3) e R
5 + 4 = 9 > 5 (5, 4) e R
5 + 5 = 10 > 5 (5, 5) e R
R = { (1, 3), (1, 4), (2, 3) }
en Diagrama de Venn
1 2 3 4 5 A
B
5

4

3
(1,3)
(1,4)
(1,5)
(2,3)
(2,4)
(2,5)
(3,3)
(3,4)
(3,5)
(4,3)
(4,4)
(4,5)
(5,3)
(5,4)
(5,5)
A x B
R
En Grfico cartesiano
R
-1
se conforma con los pares
ordenados de R, pero cambiando
el orden de los elementos en
cada par
Si (x,y) e R entonces (y,x) eR
-1

R
-1
= { (3, 1); (4, 1); (3, 2) }
R
-1
= { (y, x) e BxA y + x s 5 }
Composicin de Relaciones
Sean los conjuntos A; B y C
Y entre ellos se establecen
relaciones
R: A B y S: B C
Definimos la composicin de R y S,
que se escribe S R
Como una relacin que va de A en C
(a, w) e S R (a, 2) e R y (2, w) e S
A B
C
-a
-b
-1
-2
-v
-w
S R = { (a, w) }
Puede suceder:
C
-a
-b
-1
-2
-v
-w
A
B
Entonces:
S R = { (b, w); (b, v) }
R
S
R S
S R
4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 }
A x B = { (1,1); (1,4); (1,6); (1,16); (2,1); (2,4); (2,6); (2,16); (3,1); (3,4);
(3,6); (3,16); (4,1); (4,4); (4,6); (4,16); (5,1); (5,4); (5,6); (5,16) }
de analizar cuales son los pares ordenados que verifican la condicin y = x
2
surge que
- 1
- 2
- 3
- 4
- 5
- 1
- 4
- 16
- 6
R = { (1,1); (2,4); (4,16) }
A B
(x,y) e R y = x
2
; R c A x B
(y,z) e S z = y/2 ; S c B x C
- 1
- 4
- 6
-16
- 2
- 3
- 8
- 10
B
C
B x C = { (1,2); (1,3); (1,8); (1,10); (4,2); (4,3); (4,8); (4,10);
(6,2); (6,3); (6,8); (6,10); (16,2); (16,3); (16,8); (16,10) }
S = { (4,2); (6,3); (16,8) }
analizando los pares ordenados que verifican la condicin z = y / 2 surge que
y la relacin R c A x B ;
C = {2 ;3 ;8 ;10}
S c B x C, definidas por :
- 1
- 2
- 3
- 4
- 5
- 1
- 4
- 16
- 6
A
B
S = { (y,z) e B x C / z = y/2 }
- 2
- 3
- 8
- 10
C
El dominio de la relacin R es
un conjunto formado por todos
los elementos del primer
conjunto (A), que intervienen
en la relacin
La imagen de la relacin R es un
conjunto formado por todos los
elementos del segundo conjunto
(B) que intervienen en la relacin
Dm R = { 1, 2, 4 } Im R = { 1, 4, 16 }
Dm S = { 4, 6, 16 } Im R = { 2, 3, 8 }
- 1
- 4
- 16
- 6
B
R
S
Si R = { (x,y) e A x B / y = x
2
}
El dominio de la relacin S es un
conjunto formado por todos los
elementos del primer conjunto (A),
que intervienen en la relacin
La imagen de la relacin R es un
conjunto formado por todos los
elementos del segundo conjunto
(B) que intervienen en la relacin
S - R es la composicin de dos relaciones
Sean R: A B
S - R = S[R]
Que se lee
S cerito R R compuesta con S
- 1
- 2 - 3
- 4 - 5
- 1
- 4
- 16
- 6
A B
- 2
- 3
- 8
- 10
C
- 1
- 4
- 16
- 6
B R S
Se conforma con los
elementos de A y de C
De manera que (x,z) e S - R (x,y) e R . (y,z) e S
(1, 1) e R
pero 1 e B no se relaciona con ningn elemento de C
(2,4) e R y (4,2) e S entonces (2,2) e S - R
3 e A no se relaciona con ningn elemento de B
5 e A no se relaciona con ningn elemento de B
(4,16) e R y (16,8) e S entonces (4,8) e S - R
S - R = { (2,2); (4,8) }
- 1
- 2 - 3
- 4 - 5
- 1
- 4
- 16
- 6
A B
- 2
- 3
- 8
- 10
C
R
S
Dm S - R = { 2, 4 }
Im S - R = { 2, 8 }
y S: B C
Propiedades de las Relaciones
Cuando decimos que una Relacin R est definida en A
2
, decimos que :
Los pares ordenados (x, y) de la relacin estn conformados por
elementos x e A y elementos y e A
si consideramos los elementos de A relacionndose consigo mismo, (o no)
puede suceder que :
Cada elemento del
conjunto A se relaciona
consigo mismo
A
a
b
x
Es Reflexiva
Si algn(os) elemento(s) de
A se relaciona(n) consigo
mismo.
A
a
b
Es No reflexiva
- x
Si ningn elemento de A se
relaciona consigo mismo
A
a
b
Es Arreflexiva
x
para todo elemento x se verifica que
si x pertenece al conjunto A
entonces
el par ordenado (x, x)
pertenece a la
Relacin R
x e A : (x, x) e R
existe(n) x tal que
x pertenece al conjunto A
y el par ordenado (x, x) no
pertenece a la Relacin R
/ x e A . (x, x) e R
para todo elemento x se verifica que
si x pertenece al conjunto A
entonces el par ordenado (x, x) no
pertenece a la Relacin R
: x eA (x, x) e R
5-6 11 7-8-9
5 6 7 8 9 11
Es Simtica
Si para cada par de elementos de A, (x,y)
que se relacionan, el par simtrico
tambin pertenece a la relacin
A
a b
x y e A : (x, y) e R
Si algn(os) par(es) de elementos de A, (x,y) que
se relacionan, tiene(n) par(es) simtrico(s) que
tambin pertenece(n) a la relacin, pero otro(s) no
A
a b
c
Es No simtrica
-x -y e A
Si ningn par de elementos de A, (x,y) que se
relacionan, tiene par simtrico que tambin
pertenece a la relacin
A
a b
c
Es Asimtrica
x y e A : (x, y) e R (y, x) e R
Es Antisimtrica
Si en cada par de elementos de A,
(x,y) que admite simtrico,
sucede que x = y
A
a b
(y, x) e R
c
/ (x, y) e R . (y, x) e R
x y e A : (x, y) e R . (y, x) e R x = y
c
5-6 11 7-8-9
5 6
7 8
9 11
Si para todos los elementos x, y, z que verifican que (x,y) e R y
(y,z) e R entonces el par ordenado (x, z) e R
A
a
b
c
x,y,z eA : (x,y) e R
Es transitiva
Si algunos de los elementos x, y, z verifican que (x,y) e R y
(y,z) e R pero el par ordenado (x, z) e R (otros no)
A
a b
c
d
-x -y -z e A / (x,y) e R
Es No transitiva
A
a b
c
d
Es Atransitiva
Si todos los elementos x, y, z verifican que si (x,y) e R y
(y,z) e R entonces el par ordenado (x, z) e R
x y z e A : (x,y) e R
. (y,z) e R (x,z) e R
. (y,z) e R . (x,z) e R
. (y,z) e R (x,z) e R
5-6 11 7-8-9
5 6 7 8 9 11
Clasificacin de las Relaciones
Si R es una relacin es reflexiva, simtrica y transitiva
Es Relacin de Equivalencia
Si R es una relacin es reflexiva, antisimtrica y transitiva
Es Relacin de Orden amplio
Si R es una relacin de Orden (amplio o estricto) donde . . .
Es Relacin de Orden parcial
-a, -b / (a, b) e R . (b, a) e R
dicho de otra manera,
hay pares ordenados de
elementos que no se
relacionan entre s de
ninguna forma
en caso contrario . . .
Si R es una relacin de Orden (amplio o estricto) donde . . .
Es Relacin de Orden total
a = b (a, b) e R v (b, a) e R
dicho de otra manera, todos los
elementos diferentes se relacionan
entre s al menos de una forma
Si R es una relacin es arreflexiva, asimtrica y transitiva
Es Relacin de Orden estricto
5-6 11 7-8-9
5 6 7 8 9 11
5 a) si R = { ( -1,-3) ; (-2,0) ; (0,0) ; (-1,-1) } en A = { -3, -2, -1, 0 }
Para clasificar la relacin, la representamos en diagrama de Venn
A
-3
-2
-1
0
En el diagrama de Venn y en la definicin por
extensin se aprecia que hay elementos que se
relacionan consigo mismo
Pero otros elementos como el 3 no se relacionan consigo
mismo, vemos que el par ordenado (-3, -3) e R
entonces -x e A / (x, x) e R la relacin es No Reflexiva
En el diagrama de Venn se aprecia que hay elementos que se relacionan entre s
en un solo sentido, por ejemplo: (-1, -3) e R pero (-3,-1) e R ; pero tambin hay
pares ordenados que tienen simtrico, como: (-1,-1) e R y (0, 0) e R.
Escribir -x, -y eA / (x, y) e R . (y, x) e R la relacin es No simtrica
Pero vemos tambin que los pares ordenados que admiten simtrico, son pares
ordenados donde el primer elemento es igual que el segundo
Entonces se aplica que en cada par de elementos
de R que admiten simtrico, x = y
Es antisimtrica
( -1, -1 ) e R . ( -1, -3 ) e R ( -1, -3 ) e R
( -2, 0 ) e R . ( 0, 0 ) e R ( -2, 0 ) e R
Es transitiva
No es Relacin de Equivalencia
( -1, -1 ) e R . ( -1, -1 ) e R ( -1, -1 ) e R
( 0, 0 ) e R . ( 0, 0 ) e R ( 0, 0 ) e R
5 b
Reflexiva
Simtrica
Transitiva
Clasificacin
5 b) S = { (2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0) } en B = { x e N
0
/ x s 3 }
Para clasificar la relacin, la representamos en diagrama de Venn
A
3
2
1
0
En el diagrama de Venn y en la definicin por
extensin se aprecia que todos los elementos del
conjunto A se relacionan consigo mismo
x: x e A (x, x) e R la relacin es Reflexiva
En el diagrama de Venn se aprecia que hay elementos que se
relacionan entre s en un solo sentido, por ejemplo: (3, 2) e R ;
pero (2, 3) e R pero tambin hay pares ordenados que tienen
simtrico, como: (1, 1) e R y (0, 0) e R.
-x, -y eA / (x, y) e R . (y, x) e R la relacin es No simtrica
Pero vemos tambin que los pares ordenados que admiten simtrico, son pares
ordenados donde el primer elemento es igual que el segundo
Entonces se aplica que en cada par de elementos
de R que admiten simtrico, x = y
Es antisimtrica
( 3, 3 ) e R . ( 3, 2 ) e R ( 3, 2 ) e R
( 3, 2 ) e R . ( 2, 1 ) e R . ( 3, 1 ) e R
Es No transitiva
Podemos
escribir
pero . . .
No es Relacin de Equivalencia
Reflexiva
Simtrica
Transitiva
Clasificacin
6) (a,b) e R
1
el libro a cuesta mas y tiene menos hojas que el libro b.
Asumimos que A es un conjunto de libros
que en precio y cantidad de hojas es tan
amplio como sea posible
Por ejemplo . . .
Libro 1 $ 30 60 hojas
Libro 2 $ 15 120 hojas
Libro 3 $ 45 50 hojas
Libro 4 $ 7 80 hojas
Libro 5 $ 12 70 hojas
R
1
= { (1, 2); (1,4); (1,5); (3,1);

Esta relacin no tiene pares reflexivos, porque ningn libro cuesta mas que lo
que l mismo cuesta ni tiene menos hojas que las que tiene. Es Arreflexiva
La relacin no tiene pares simtricos, porque si el libro 1 cuesta mas y tiene
menos hojas que el libro 2, no puede suceder que el libro 2 cueste mas y tenga
menos hojas que el libro 1.
(1, 5) e R . (5,4) e R (1,4) e R Por ejemplo . . .
entonces necesariamente el libro a
cuesta mas y tiene menos hojas que
el libro c (a, c) e R
y en general, si un libro a cuesta
mas y tiene menos hojas que b
(a, b) e R
y el libro b cuesta mas y tiene menos
hojas que el libro c (b, c) e R
( a, b ) e R . ( b, c ) e R ( a, c ) e R
Es transitiva
(3,2); (3,4); (3,5); (5,4) }
Si (1,2) e R (2, 1) e R. Es Asimtrica
Es Relacin de Orden Estricto
Reflexiva
Simtrica
Transitiva
Clasificacin
7) Sea R una relacin binaria sobre el conjunto de todas las sucesiones
de ceros y unos, tal que :
R = { (a, b) / a . b son sucesiones que tienen el mismo nmero de ceros }.
Los elementos que conforman los pares ordenados son
sucesiones de ceros y unos, por ejemplo :
00; 01; 010; 000; 100; 1010; 00110010; 1110100; etc. . .
R es un conjunto infinito . . . porque son infinitas las sucesiones de ceros y unos
Sabido es que cada cadena tendr
exactamente la cantidad de ceros
que ella misma tiene
as, afirmamos que :
x: x e A (x, x) e R la relacin es Reflexiva
si la cadena x tiene igual cantidad
de ceros que la cadena y
(x, y) e R
la cadena y tendr igual cantidad
de ceros que la cadena x
(y, x) e R la relacin es Simtrica
si la cadena x tiene igual cantidad de ceros que
la cadena y
y la cadena y tiene igual cantidad
de ceros que la cadena z
entonces la cadena x tiene igual
cantidad de ceros que la cadena z
(x, y) e R (x, z) e R . (y, z) e R
la relacin es Transitiva
Reflexiva
Simtrica
Transitiva
Clasificacin
Por tanto R es Relacin de Equivalencia
8) Sea R una relacin binaria sobre el conjunto de todos los enteros
positivos , tal que : R = {(a, b) / a - b es un entero positivo impar}.
La relacin R est conformada por pares ordenados de nmeros
enteros positivos (naturales) tal que la diferencia entre ellos sea
un entero positivo impar
En primer lugar corresponde descartar los pares ordenados que estn
conformados por el mismo elemento
, por ejemplo (2, 2); (3, 3); (4, 4)
En cualquiera de esos casos x x = 0 y 0 NO es entero positivo impar
luego, la relacin es Arreflexiva
Si tomo dos nmeros enteros positivos, puedo efectuar x y con resultado
positivo, solamente si x > y
, en ese caso, al efectuar b a el resultado ser negativo
x: x e A (x, x) e R
x y e A : (x, y) e R luego, la relacin es Asimtrica
Supongamos tres enteros positivos x, y, z; de manera que x > y > z
Si x es par e y es impar x y ser entro positivo impar,
(x,y) e R
si z es par
. (y,z) e R x z ser entero positivo par
y z entero
positivo
impar
pero (x,z) e R
Si x es impar e y es par x y ser entro positivo impar,
(x,y) e R
si z es impar
. (y,z) e R
x z entero
positivo par
pero (x,z) e R
y z entero
positivo
impar
luego, la relacin es Atransitiva
(y, x) e R
Reflexiva
Simtrica
Transitiva
Clasificacin
9) El razonamiento falso dice que:
si x R y x R y . y R x x R x de otra manera
( x, y ) e R
el par ordenado ( x, y )
pertenece a la relacin R
x R x
porque la relacin debe ser
simtrica (por hiptesis)
x R y . y R x
y tambin transitiva
por hiptesis
Si una relacin es simtrica y transitiva . . . es reflexiva
Supongamos una relacin definida en A
A
a
x
y
Igualmente, ahora decimos que si
( y, x ) e R
y R y y R x . x R y
Hasta aqu, la reflexividad parece ser una consecuencia
de la simetra y de la transitividad
Pero si algn elemento del conjunto A no se relaciona con ningn
otro, no se establecen la simetra ni la transitividad
(por ejemplo el elemento a)
Luego este elemento no tiene porqu relacionarse consigo mismo
Observa que la relacin definida en A es
simtrica y transitiva, pero No Reflexiva
( x, y ) e R . (y,x) e R (x,x) e R
Reflexiva
Simtrica
Transitiva
PARTICION DE UN CONJUNTO
Dado un conjunto A cualquiera no vaco, es posible establecer
una particin de A
A
1
2
4
3
Conformando con los elementos de A
subconjuntos A
i
; A
j
; . . . .
A
1

A
2

A
3

5
As tenemos por ejemplo
A
1
= { 1; 4 } A
2
= { 2; 3 } A
3
= { 5 }
Donde:
Todos los subconjuntos son distintos de l conjunto
vaco (tienen algn elemento) A
i
= C
La interseccin entre todos los subconjuntos
tomados de a dos, es vaca. A
i
A
j
= C
La unin de todos los subconjuntos es igual al
conjunto particionado . . . A
j


A
j
. . = A

1) A
1
= C; A
2
= C; A
3
= C
2) A
1
A
2
= C A
1
A
3
= C A
2
A
3
= C
3) A
1
A
2
A
3
= A
P = {A
1
; A
2
; A
3
} es particin de A
10) a)
A
1
= {x e Z : 2 | x} y A
2
= { x e Z : 2 | x }
con P = { A
1
; A
2
}
A
1
est conformado por todos los nmeros
enteros que son divisibles por 2
A
1
= { enteros pares}
A
2
est conformado por todos los nmeros
enteros que no son divisibles por 2
A
2
= { enteros impares}
1) A
1
= C y A
2
= C 2) A
1
A
2
= C 3) A
1
A
2
= A
P = { A
1
; A
2
} es particin de Z (nmeros enteros )
b) Evaluar si Q = { N; Z
-
} es particin de Z
Son subconjuntos de Q
N (naturales)
Z
-
(enteros negativos)
1) N = C y Z
-
= C 2) N Z
-
= C 3) N Z
-
= Z
porque en N estn todos los enteros positivos
(Z
+
) y en (Z
-
) los enteros negativos pero . . . 0 e N y 0 e Z
-

si un entero es par, no es impar;
y viceversa
los enteros pares con los impares; conforman
la totalidad de los elementos del conjunto de
nmeros enteros
Q = { N; Z
-
} NO es particin de Z
(no verifica la tercera condicin)
11) Dado el conjunto de conjuntos M = {A, B, C, C}, donde
A = {1, 2, 3, 4} B = {1, 3} C = {3}
A
1
2
3
4
C
B
escribimos por extensin la relacin c definida en M
todo conjunto est incluido en s mismo
cada elemento se relaciona
consigo mismo
Es Reflexiva
si A = B y B c A; A . B
No Simtrica
Si C c B ; y B c A C c A
Transitiva
Es una Relacin de Orden Amplio
(A,A); (B,B); (C,C); (C,C);
el conjunto vaco est en todos los conjuntos
(C,C); (C,B); (C,A); (C,B); (C,A); (B,A) } R = {
La Relacin en
diagrama de Venn ser :
C
B A
C
M
Antisimtrica Pero al ser reflexiva, cada par
reflexivo, tiene simtrico, entonces . . .
en la relacin de inclusin
siempre est presente la
transitividad . . .
LATTICES
Un conjunto ordenado es lttice si
cualesquiera dos elementos en el
conjunto tienen
Cota Superior
Mnima
y nica
Cota Inferior
Mxima
y nica
Un conjunto es ordenado si sus
elementos se vinculan mediante una
relacin de orden
Sea A = { a, b, c, d, e, f, g }
Reflexiva Antisimtrica Transitiva
Relacin de orden
a
-
- -
-
-
-
-
d b
c
e f
g
Construimos un grfico donde la reflexividad se muestra con -
para significar que cada elemento se relaciona consigo mismo
unimos con un segmento los elementos que se relacionan entre s,
por ser antisimtrica. ej (a,b); (a,d); (c,e) e R pero (b,a); (d,a);
(e,c) e R
y aceptamos la transitividad en el sentido del recorrido de los
elementos que se vinculan a travs de los segmentos
y se define en l la relacin R
(a,b) e R . (b,e) e R (a,e) e R
(a,c) e R . (c,f) e R (a,f) e R
por ejemplo :
(a,f) e R . (f,g) e R (a,g) e R
R = { (a,a); (b,b); (c,c); (d,d); (e,e); (f,f);
(g,g)}
(a,b); (a,c); (a,d); (a,e); (a,f); (a,g); (b,e);
(b,g); (c,e); (c,f); (c,g); (d,f); (d,g); (f,g); (e,g);
Sea el conjunto ordenado A
a
-
- -
-
-
-
-
d b
c
e f
g
en el que se define una relacin de orden R (reflexiva, antisimtrica
y transitiva)
Tomando dos elementos
cualesquiera, por ejemplo
para (a,b)
c. s. mm. = b
para (b,c)
c. i. Mx. = a
para (e,f)
se aprecia que, efectivamente para dos elementos
cualesquiera de A, existen c.s.mn y c.i. Mx. y son nicas
siempre que el grfico resulta una retcula cerrada, como en este caso,
el conjunto con la relacin en l definida es Lttice (retcula)
R = { (a,a); (b,b); (c,c); (d,d); (e,e); (f,f); (g,g); (a,b); (a,c); (a,d);
(a,e); (a,f); (a,g); (b,e); (b,g); (c,e); (c,f); (c,g); (d,f);
(d,g)} (f,g);
(e,g);
para (c,d)
para (b,g)
para (d,e)
c. s. mm. = e
c. i. Mx. = a
c. s. mm. = g
c. i. Mx. = c
c. s. mm. = f
c. i. Mx. = a
c. s. mm. = g
c. i. Mx. = b
c. s. mm. = g
c. i. Mx. = a
Si analizramos la misma relacin pero
en un conjunto B = { a, b, c, d }
a
-
- -
-
d b
c
Si bien los pares (a,b); (a,c); (a,d)
tienen c.s.mn y c.i. Mx. nicas
Los pares (b,c); (b,d) por ejemplo, NO tienen c.s.mn nica
(elementos que no estn en la misma lnea y la retcula no se cierra)
Entonces en este caso NO hay Lttice
Observa que las retculas
estn abiertas
Por extensin ser: R = { (a,a); (b,b); (c,c); (d,d); (a,b); (a,c); (a,d) }
De manera que los pares reflexivos se representan
Los pares antisimtricos se representan uniendo con una lnea
(que se entiende siempre en un solo sentido hacia abajo-)
Si analizamos la relacin por extensin veremos que se
trata de una relacin transitiva
Pero . . .
Tampoco son Lttice retculas como
a
-
-
- -
d
b
c
-
- -
d
b
c
- -
-
a
e
f
Ello se debe a que hay pares de elementos
que no tienen nica c.s.min y/ c.i.Mx
12 a) Analizar si (N, s) es Lttice
N = { 1, 2, 3, 4, 5, . . . . . }
el conjunto N est conformado por
1
-
-
-
-
-
4
2
3
5
.
.
( N, s ) significa que N es un conjunto
ordenado segn la relacin s
cada elemento se relaciona consigo mismo, es reflexivo
La relacin es antisimtrica. (1,2) e R; (2,3) e R; (1,3) e R; . . . . .
y transitiva es apreciable que entre los elementos 3 y 4
la cota superior mnima es 5 la cota inferior mxima es 2
y as sucesvamente, para
cualquier par de valores (m, n)
entre los elementos 2 y 5
la cota superior mnima es 4
la cota inferior mxima es 3
habr cota superior mnima = n
si tomamos un par de valores donde m = n
Se verifica entonces que ( N, s ) es lttice
(por ser relacin de orden)
y cota inferior mxima = m
coinciden las c.s.mn = c.i.Mx = m = n
12 b
12 b) Analizar si (N, /) es Lttice
1
2 3
9
12
18
6
-
-
- -
-
- -
4
-
5
-
Analizaremos para algunos elementos
de N y trataremos de generalizar
las situaciones que encontremos,
basndonos en propiedades conocidas
1 divide a cualquier natural, entonces
comenzamos con el 2 y el 3
vinculamos al 2 y 3 los naturales que son
mltiplos precisamente de 2 y 3
que son el 4; 6 y 9
e irn apareciendo nmeros primos a medida que avanzamos
(divisibles solamente por s mismos y por la unidad)
y continuamos buscando mltiplos de 4; 6 y 9 el 12 y el 18 por ejemplo
y la retcula puede seguir creciendo, por tratarse de un conjunto infinito;
Es claro que, tomados dos elementos cualesquiera siempre
hay una cota inferior mxima nica ( 1 )
cada natural es divisible pos s
mismo, entonces es reflexiva
por ejemplo el 3 y el 5 dividen a 15
1
2 3
9
12
18
6
-
-
- -
-
- -
4
-
5
-
Pero lo que parece no estar claro
es si hay cota superior mnima
(nica)
la retcula parece no cerrarse
cuando los valores crecen (parte
inferior del grafo)
Pero tenga presente que cada vez que aparezcan
en la retcula dos vrtices (elementos) que
parezcan no cerrarse; sin dudas habr algn
nmero natural que resulta divisible por ambos,
por ejemplo el producto de ambos
36
-
Finalmente, tomados dos elementos cualesquiera de N { m, n }
Puede
suceder
que m = n
bien que
m = n
Si m = n coinciden las cota sup. Mm y cota inf. Mx. que es el mismo m =n
Si m = n existe siempre mnimo comn mltiplo y mximo comn divisor de m y n; que
son respectivamente las cota sup. Mm y cota inf. Mx. de {m, n}
Luego ( N, | ) es Lttice
Si analizamos (N
0
, |)
Es fcil advertir que 0 no divide a 0
Luego sta no es una
relacin reflexiva y por ello
no es de orden
entonces ( N
0
, | ) NO es Lttice
15
-
FUNCIONES
Una relacin R c A x B es funcin . . .
Si verifica dos condiciones:
Existencia
Unicidad
Existencia verifica si para cada elemento del
conjunto A existe una imagen en B
Simblicamente a e A
1
2
3
2
3
4 Unicidad, si cada elemento del conjunto A se
relaciona con un solo elemento del conjunto B
Simblicamente (a, b) e f
A B
A = { 1, 2, 3 } B = { 2, 3,4 }
R : (a, b) b = a + 1
: -b e B / (a, b) e f
para todo elemento a que pertenece al conjunto A se verifica
que existe un elemento b que pertenece al conjunto B
tal que el par ordenado (a, b) pertenece a f
Dados dos conjuntos
definimos en el producto
cartesiano A x B una Relacin
y
. (a, c) e f b = c
Si el par ordenado (a, b) pertenece a f y el par ordenado (a, c) pertenece a f
entonces b es igual a c
Es funcin si cada elemento del conjunto A se relaciona
con uno y solo un elemento del conjunto B
13a 13b
13 14
14 i 14 ii 14 iii
14 iv 14 v 14 vi
13c
1
2
3
2
4
A B
En situaciones como
tambin se verifica que
para cada elemento del conjunto A
existe una imagen en B (existencia)
cada elemento del conjunto A se relaciona con
un solo elemento del conjunto B (unicidad)
Situaciones como . . .
Es funcin
1
2
3
2
4
A
B
no verifica la condicin de
existencia
el elemento 2 e A pero no tiene un
correspondiente en B
NO es funcin
1
2
3
1
3
4
A B
2
En el caso . . .
no verifica la condicin de
unicidad
el elemento 1 e A se relaciona con dos
elementos diferentes de la imagen (B )
NO es funcin
13 14
13a 13b
14 i 14 ii
14 iii 14 iv
14 v 14 vi
13c
Clasificacin de funciones
Una funcin es inyectiva si dos elementos cualesquiera diferentes
del dominio tienen imgenes diferentes
1
2
3
2
3
4
A B
En este caso tenemos
funcin inyectiva
x
1
x
2
e A : x
1
= x
2
f(x
1
) = f(x
2
)
Porque cada elemento del
conjunto A tiene imagen
diferente en el conjunto B
Una funcin es sobreyectiva si todos los
elementos del conjunto B (codominio) son
Imagen de la funcin, es decir que todos los
elementos del conjunto B admiten al menos un
antecedente en el dominio
En este caso tenemos
funcin sobreyectiva
Porque todos los elementos del conjunto B tienen un
antecedente con el que se relacionan en el conjunto A
Si una funcin es inyectiva y sobreyectiva . . . es BIYECTIVA
y e B, -x e A / y = f(x)
13 14
13a 13b
14 i 14 ii
14 iii 14 iv
14 v 14 vi
13c
Puede suceder que . . .
1
2
3
2
3
4
A B
se verifica que 1 = 2 pero f(1) = f(2) = 2
funcin NO inyectiva
asimismo el elemento 3 del conjunto B no
admite antecedente en el conjunto A
funcin NO sobreyectiva
1
2
3
2
4
A B
Si . . . se verifica que 1 = 2 pero f(1) = f(2) = 2
funcin NO inyectiva
pero todos los elementos del
conjunto B admiten
antecedente en A
funcin
sobreyectiva
1
2
3
2
4
A B
3
1
cada elemento del conjunto A tiene
imagen diferente en el conjunto B
funcin inyectiva
pero no todos los
elementos del conjunto B
admiten antecedente en A
funcin NO sobreyectiva
13 14
13a 13b
14 i 14 ii
14 iii 14 iv
14 v 14 vi
13c
Para representar cualquier funcin se debe conocer . . .
Cul es el dominio donde est
definida la funcin . . .
y cul es la imagen que se corresponde
con el dominio de la funcin
Dm
Im
y se estudia la ley de variacin de la funcin
definida por y = f(x) . . .
Y = f(x)
x
y
esto se hace asignndo valores x
i
en la
expresin y = f(x); encontrando el
resultado y
i
que le corresponde a f(x
i
)
el dominio de la funcin son los
valores que puede tomar x
i
en f(x)
La imagen de la funcin son los valores
que se corresponden con cada valor
del dominio de la funcin
recuerde siempre que: si un valor del
conjunto de salida A no tiene
imagen, la expresin no es funcin
(Existencia)
Representacin Grfica de Funciones
Si dos elementos diferentes del
codominio (conjunto B) son
imagen del mismo elemento de A,
la expresin no es funcin
(Unicidad)
13 14
13a
13b
14 i 14 ii
14 iii 14 iv
14 v 14 vi
13c
Podemos representar grficamente una funcin en un par de
ejes coordenados
en el eje de abscisas (x)
el dominio N
En el eje de ordenadas (y)
la imagen N
1 2 3 4 N
N
5
4
3
2
1
Sea f
x x + 1 y
Si la misma ley de variacin (y = x + 1)
estuviera definida de R R
Pero al ser el dominio todos los puntos del eje x
(reales), la funcin est definida para todo x
La funcin ahora es
f : R R / f(x) = x + 1
Sea la funcin f que va de Naturales
en Naturales tal que f de x es igual a x + 1
: N N / f(x) = x + 1
y confeccionamos una
tabla, asignndole
valores a x para hallar
valores de y
si 1
1 + 1 2
si 2 2 + 1 3
si 3 3 + 1 4
si 4 4 + 1 5
el dominio ahora ser Reales
R
R
y la imagen tambin Reales
debemos unir todos los puntos obtenidos
x
y
13 14
13a
13b
14 i 14 ii
14 iii 14 iv
14 v 14 vi
13c
13 a) Para representar f: R R / f(x) = - 5 x
Primero reconocemos que el dominio son todos los nmeros reales
Entonces cualquier valor de x debe tener un correspondiente en y
Trazamos un par de ejes coordenados
y confeccionamos una tabla de valores
x - 5 x Y
1 -5 1 - 5
-1 -5 (-1) 5
0 -5 0 0
2 -5 2 -10
-2 -5 (-2) 10
Y finalmente porque es una relacin que va de Reales en Reales,
trazamos con lnea llena una recta que une los puntos
identificados
Funciones
Rep. Grfica
Clasificacin
13 b 13 c
13 b) Para representar g: Z
pares
Z / g(x) =
reconocemos el dominio y la imagen de la relacin
Entonces sern pares ordenados (x,y) vlidos solamente aquellos
donde x e y sean nmeros enteros
Trazamos un par de ejes coordenados
y confeccionamos una tabla de valores
x Y
2 2 1
-2 (-2) - 1
4 4 2
-4 (-4) - 2
Y la relacin queda
representada por
puntos porque va de
Enteros pares en
Enteros.
(no corresponde el
trazado de linea
llena)
x
2
1
x
2
1
- 6 (-6) - 3
6 6 3
0 0 0
Funciones
Rep. Grfica
Clasificacin
13 c
13 c) Para representar h(x) = 2x + 3
definida de N en N
Primero reconocemos cual es el dominio
En este caso tanto el dominio
como la imagen son el
conjunto de los nmeros
naturales (N)
Significa que sern pares ordenados
de la relacin aquellos en los que x e N
y resulta de aplicar x en h(x), que
tambin h(x) e N
Trazamos un par de
ejes coordenados
Y confeccionamos
una tabla de
valores para g(x)
x 2x + 3 Y
1 2 1 + 3 5
2 2 2 + 3 7
3 2 3 + 3 9
4 2 4 + 3 11
5 2 5 + 3 13
Y la funcin queda representada por puntos porque va de
Naturales en Naturales
y cual es la imagen de la relacin
Funciones
Rep. Grfica
Clasificacin
14 i) Para analizar el dominio de la expresin y = 3x + 4
consideramos que la variable x puede tomar cualquier valor real
entonces Dm = { x / x e R } Dm = [ - ; ]
de la misma manera, los valores que tome y para los diferentes
valores de x, van a estar contenidos en la recta de los reales
entonces Im = { x / x e R }
Im = [ - ; ]
Trazamos un par de ejes coordenados
y confeccionamos una tabla de valores
x - 3 x + 4 Y
1 - 3 1 + 4 1
-1 - 3 (-1) + 4 7
2 - 3 2 + 4 - 2
Cada valor del dominio (x)
tiene un valor diferente en
la imagen (y)
Inyectiva
Todos los elementos de la
imagen (eje y) admiten un
antecedente en el dominio
(eje x)
Sobreyectiva
Por ser una funcin
inyectiva y sobreyectiva
Es funcin biyectiva
es una funcin
que va de
Reales en
Reales
Funciones
Rep. Grfica
Clasificacin
14 ii 14 iii 14 iv 14 v 14 vi
14 ii) Para analizar el dominio de la expresin y = x
2
+ 4x - 3
consideramos que la variable x puede tomar cualquier valor real
entonces Dm = { x / x e R } Dm = [ - ; ]
Trazamos un par de ejes
coordenados y para
confeccionar la tabla de
valores buscamos los valores
de x que hacen 0 la funcin
(races)
x - x
2
+ 4x - 3 Y
1 - 1
2
+ 4 1 - 3 0
3 - 3
2
+ 4 3 - 3 0
2 - 2
2
+ 4 2 - 3 1
Antes de definir la imagen, vamos a representar grficamente la parbola
=


) 1 ( 2
) 3 )( 1 ( 4 4 4
2
=


2
12 16 4
3
1
2
1
=
=
x
x
con estos valores empezamos
la representacin grfica
El vrtice de la parbola estar en
un punto equidistante
Tomamos valores a la izquierda
y a la derecha de los ya
hallados
0 - 0
2
+ 4 0 - 3 - 3
4 - 4
2
+ 4 4 - 3 - 3
-1 -(-1)
2
+ 4(-1) - 3 - 8
5 - 5
2
+ 4 5 - 3 - 8
y finalmente trazamos la curva uniendo
todos los puntos ( R R )
Funciones
Rep. Grfica Clasificacin
14 iii 14 iv 14 v 14 vi
La Relacin definida por y = x
2
+ 4 x 3 que tiene una grfica
tiene el dominio en Reales
Dm = { x / x e R }
De observar el grfico, vemos que la relacin
no tiene valores de y mayores que 1
Im = { x / x e R . x s 1 }
en el grfico y en la tabla se nota que
hay valores diferentes del dominio (x)
que tienen la misma imagen (y);
f(0) = - 0
2
+ 4 0 3 = - 3
f(4) = - 4
2
+ 4 4 3 = - 3
No Inyectiva
con solo un par
de valores del
dominio que
admita la misma
imagen, es
suficiente para
que la funcin
sea No Inyectiva
Igualmente es posible ver que, de los elementos del
conjunto de llegada (Reales - eje Y), solamente los menores
o iguales que 1 pertenecen a la imagen de la funcin
No Sobreyectiva
por ejemplo
Funciones
Rep. Grfica
Clasificacin
14 iii) Antes de analizar la expresin y = log
2
(2x - 3)
Recordamos que a la funcin logartmica la podemos definir mediante :
c b log
a
=

b a
c
= ejemplo :
8 2 3 8
3
2
= = log
Las calculadoras en general, con la tecla Log x entregan valores
de logaritmo decimal; es decir de logaritmos en base 10
y con la tecla Ln x entregan valores de logaritmo natural; ( logaritmos en base e )
Si deseamos conocer un logaritmo con base distinta de 10 e debe . . .
plantear la siguiente expresin :
= x log
a
NO porque si el logaritmo es decimal, NO se coloca la base
en la tecla de la
calculadora falta la base ?
a log
x log
con la calculadora (que
resuelve solo logaritmos
decimales), podemos resolver
un logaritmo que no es
decimal
Ejemplo : calcula log
2
8 =
= 8
2
log =
2
8
log
log
=
3010299957 0
903089987 0
,
,
3
14 iv 14 v 14 vi
14 iii) Ahora representamos grficamente log
2
(2x - 3)
x [log(2x-3)]/log2 Y
2 0/0,301030 0
2,5 0,301030/0,301030 1
3,5 0,602060/0,301030 2
5,5 0.903090/0,301030 3
9,5 1,204120/0,301030 4
Vamos a confeccionar una tabla de valores
1,75 0,301030/0,301030 -1
si x = 1,5
trazamos entonces en x = 1,5 la
asntota de la funcin
investigamos qu pasa a la izquierda de
la asntota, por ejemplo para x = 0
porque no existe ningn valor al
se cual pueda elevar 2 y obtener
como resultado un negativo
recuerda que :
= ) x ( log 3 2
2
=

2
3 2
log
) x log(
1,65 0,522879/0,301030 -2,26
1,55 -1/0,301030 -3,32
2x 3 = 0
Sabemos que el
log 0 -
siempre que
2x 3 > 0
habr algn valor
para f(x)
2x 3 toma valores negativos
y la funcin no est definida
en esos valores ( x < 1.5 )
trazamos la curva
con los puntos conocidos (sin tocar la asntota)
Funciones
Rep. Grfica
Clasificacin
la relacin definida por y= log
2
( 2x 3 ) se representa en el grfico
x toma solamente valores mayores que 1,5 entonces:
Dm = { x / x e R . x > 1,5 }
Im = { x / x e R }
Cada valor del dominio (eje x) tiene un
valor diferente en la imagen (eje y)
Funcin Inyectiva
Todos los elementos del codominio (eje y)
son imagen de la funcin -admiten un
antecedente en el dominio (eje x)-
Funcin Sobreyectiva
Por ser una funcin
inyectiva y sobreyectiva
Es funcin biyectiva
En cambio, en el grfico se ve que todos los valores del eje y tienen
antecedente en x
Recuerda que siempre es conveniente empezar a
representar una funcin logartmica localizando
la asntota
Funciones
Rep. Grfica
Clasificacin

< s +
=
>
0 x 2 si 1 x
0 x si 3
0 x si 1 x
3
14 iv) Si f(x) =
En primer lugar
reconocemos que x no
puede tomar valores
menores que -2
En consecuencia Dm = {x/x e R . x > 2 } Dn = [-2 ; )
Con frecuencia los alumnos confunden esta relacin (definida
por partes) con tres relaciones diferentes
Se trata de una sola relacin (tiene y hemos hallado un solo dominio);
PERO TAMBIEN TIENE DIFERENTES LEYES DE VARIACION EN
DETERMINADOS TRAMOS DEL DOMINIO
si x > 0 la ley de variacin es x - 1
si x = 0 la funcin vale 3
si x s 0 la funcin vale x
3
+ 1
La representacin grfica se
realiza como para cualquier
otra relacin
Se confeccionan tablas de valores cuidando que las leyes de variacin
se correspondan con los respectivos intervalos del dominio
Funciones
Rep. Grfica
Clasificacin
14 v 14 vi
x y = x - 1 Y
1 1 - 1 0
3 3 1 2
Para x > 0 f(x) = x - 1
Si x se acerca mucho a 0, pero sin
ser igual a 0, toma por ejemplo
valores como 0,1; 0,01; 0,001, etc
si x fuera igual a 0 entonces y sera
igual a - 1
debemos entender que si x se acerca a
0 con valores mayores que 0, y se
acerca a 1, pero sin ser y = -1
Representamos ese punto con un crculo que
significa que la funcin toma valores muy
prximos a ese valor (-1) para valores muy
prximos de x = 0 (por derecha ); pero sin ser
y = 1 en x = 0
Unimos con una recta todos los valores
hallados por tratarsae de una ley de
variacin lineal y comprobamos que hay al
menos tres puntos alineados
En x = 0 la funcin vale 3
Funciones
Rep. Grfica
Clasificacin
x y = x
3
+ 1 Y
-1 (-1)
3
+ 1 0
-2 (-2)
3
+ 1 - 7
Para x < 0 f(x) = x
3
+ 1
Si x se acerca mucho a 0, pero sin
ser igual a 0, toma por ejemplo
valores como -0,1; -0,01; -0,001, etc
si x fuera igual a 0 entonces y sera
igual a 1 (con esta ley de variacin)
debemos entender que si x se acerca a
0 con valores menores que 0, y se
acerca a 1, pero sin ser y = 1
Representamos ese punto con un crculo que
significa que la funcin toma valores muy
prximos a ese valor (1) para valores muy
prximos de x = 0 (por izquierda); pero sin ser
y = 1 en x = 0
Unimos los tres puntos hallados con uina
curva de parbola cbica solo para valores
comprendidos en el intervalo [-2; 0)
y tenemos as la representacin grfica de la funcin

< s +
=
>
0 x 2 si 1 x
0 x si 3
0 x si 1 x
3
f : Dm Im / f(x) =
Funciones
Rep. Grfica
Clasificacin
El dominio de la funcin ya fue
encontrado [ -2; )
Y podemos observar en el grfico que llos valores del eje y que
admiten antecedente en los valores del dominio del eje x, van de
7 a
Im = { x / x e R . x > -7 } Im = [-7; )
Existen valores diferentes del dominio
que tienen la misma imagen, por ejemplo
para x= 1 x = - 1; y = 0
La funcin es No inyectiva
Como la funcin est definida de Dm R
y resulta que la Imagen no es igual a R
sino que Im c R
La funcin es No sobreyectiva
Funciones
Rep. Grfica
Clasificacin

>
s s
<
1 ln
1 0 1
0 2
x si x
x si
x si
x
14 v) Si f(x) =
En primer lugar
reconocemos que x
puede tomar valores
que van de - a +
En consecuencia Dm = {x/x e R } Dn = (- ; + )
Con frecuencia los alumnos confunden esta relacin (definida
por partes) con tres relaciones diferentes
Se trata de una sola funcin (tiene y hemos hallado un solo dominio);
PERO TAMBIEN TIENE DIFERENTES LEYES DE VARIACION EN
DETERMINADOS TRAMOS DEL DOMINIO
si x < 0 la ley de variacin es 2
x
si 0 s x s 1 la funcin vale 1
si x > 0 la ley de variacin es lnx
La representacin grfica se
realiza como para cualquier
otra funcin
Se confeccionan tablas de valores cuidando que las leyes de variacin
se correspondan con los respectivos intervalos del dominio
Funciones
Rep. Grfica
Clasificacin
14 vi
x ln x y
4 ln 4 1,39
8 ln 8 2,08
Para x > 0 f(x) = ln x
Si x fuera igual a 1 entonces
y sera igual a 0
debemos entender que si x se acerca a 1 con valores
mayores que 1, y se acerca a 0, pero sin ser y = 0
representamos ese punto con un crculo que significa que la funcin toma
valores muy prximos a y = 0 para valores muy prximos de x = 1 (por
derecha ); pero sin ser y = 0 en x = 1
Unimos los valores hallados con una curva que
representa la ley de variacin logartmica
luego, estudiamos qu sucede con los valores de x
comprendidos entre 0 y 1; intervalo [0; 1] -
para cualquier valor del intervalo [0; 1] la funcin vale 1
si x = 0 y = 1
si x = 1 y = 1
Funciones
Rep. Grfica
Clasificacin
Para los valores de x < 0 estudiaremos la ley de variacin y = 2
x

Confeccionamos tabla de valores
x 2
x
y
-1 2
-1
1/2
-2 2
-2
1/4
Si x fuera igual a 0 entonces
y sera igual a 1
debemos entender que si x se acerca a 0
con valores menores que 0 ; y se acerca a
1, pero sin ser y = 1
representamos ese punto con un crculo que significa que la funcin toma valores
muy prximos a y = 1 para valores muy prximos de x = 0 (por izquierda); pero
sin ser necesariamente y = 1 en x = 0
Unimos los valores hallados con una curva que representa la ley de variacin exponencial (2
x
)
Luego prolongamos la curva hasta el punto y =1, porque de un estudio
anterior resulta que en x = 0 la funcin efectivamente vale 1
y borramos el crculo rojo de y = 1 porque al tomar valor
la funcin en ese punto, ya no tiene sentido mantenerlo
Funciones
Rep. Grfica
Clasificacin
Cualquier valor del eje x tiene un correspondiente en el eje y
Im = { y / y e R . y > 0 } Im = (0; )
Existen valores diferentes del dominio que tienen la
misma imagen, por ejemplo para x = 0 x = 1; y = 1
La funcin es No inyectiva
Como la funcin est definida de Dm R
y resulta que la Imagen no es igual a R sino que Im c R
La funcin es No sobreyectiva
Dm = { x / x e R } Dm = (-; )
Pero se ve tambin que, solamente los valores de y > 0
admiten algn antecedente en el eje x
Funciones
Rep. Grfica
Clasificacin
14 vi) Si f(x) =
En primer lugar reconocemos que
x no puede tomar el valor - 3
3 x
2
+
en ese caso tendramos 2 / 0; as
podemos decir que para x = - 3 no
existe un valor finito de la funcin
Trazamos un par de ejes coordenados
Luego confeccionamos tabla de valores,
para x prximos a 3 por derecha
x y
3 x
2
+
- 2 2/(-2+3) 2
- 1 2/(-1+3) 1
0 2/(0+3) 2/3
1 2/(1+3) 1/2
2 2/(2+3) 2/5
-2,5 2/(-2,5+3) 4
-2,6 2/(-2,6+3) 5
y estudiamos qu sucede a la
izquierda de x= 3
x y
3 x
2
+
- 4 2/(-4+3) - 2
- 5 2/(-5+3) - 1
- 6 2/(-6+3) -2/3
- 7 2/(-7+3) -1/2
- 8 2/(-8+3) - 2/5
-3,5 2/(-3,5+3) - 4
-3,6 2/(-3,6+3) - 5
x = -3 es un valor que no est definido en la funcin, luego la lnea de la
funcin no puede cortar la lnea de trazos punteada
Unimos los puntos situados a la izquierda de x = -3 por un
lado y los puntos de la derecha de x = -3 por otro lado
trazamos una asntota en x = -3
Funciones
Rep. Grfica
Clasificacin
Cualquier valor del eje x = -3 tiene un correspondiente en el eje y
Im = { y / y e R . y = 0 } Im = (-; 0) (0; )
No Existen valores diferentes del dominio que tengan
la misma imagen
La funcin es inyectiva
Como la funcin est definida de Dm R
y resulta que la Imagen no es igual a R sino que Im = R {0}
La funcin es No sobreyectiva
Dm = { x / x e R . x = - 3 } Dm = (-; -3) (-3; )
los valores del eje y que se relacionan con algn valor de x;
son todos, menos el 0
todos los valores del dominio tienen imgenes diferentes
Funciones
Rep. Grfica
Clasificacin
14 d) De todas la funciones analizadas solo son biyectivas
f : R R / f(x) = 3x + 4
y
f : R
> 1,5
R / f(x) = log
2
(2x 3)
y precisamente, por ser biyectivas admiten funcin inversa
para hallar la inversa de la funcin, f : R R / f(x) = 3x + 4
transformamos el dominio en imagen
f
-1
: R R
y viceversa
y = 3x + 4 y - 4 = 3x
multiplico todo por (-1) y permuto
los miembros (para ordenar)
3x = 4 - y
luego despejo x
3
4 y
x

=
y efecto ahora un cambio
de variables (x por y)
3
4 x
y

= La ley de variacin as obtenida, es la ley
de variacin de la funcin inversa
3
4
1
x
) x ( f /

=

en la ley de variacin
hacemos pasajes
de trminos, para despejar x
Funciones
Rep. Grfica
Clasificacin
3
4
1 1
x
) x ( f / R R : f

=

Representamos grficamente
en el mismo grfico que
hemos representado
4 3 + = x ) x ( f / R R : f
confeccionamos
una tabla de
valores
x f
-1
(x)

3
4 x
4
3
4 4
0
- 2
2
- 8 4
3
2 4 ) (
3
8 4 ) (
trazamos la recta, que tambin va de R R
tenga siempre presente que los puntos de una funcin
cualquiera que admite inversa; y su inversa son equidistantes
respecto de la bisectriz (recta a 45) del primer cuadrante
Funciones
Rep. Grfica
Clasificacin
para hallar la inversa de la funcin, f : Dm R / f(x) = log
2
(2x-3)
transformamos el dominio en imagen
f
-1
: R R
> 1,5
y viceversa
luego despejamos la incgnita x de
la ley de variacin de f= log
2
(2x-3)
y = log
2
(2x 3) 2
y
= 2x - 3 permuto los miembros (para ordenar)
luego despejo x
y
x 2 3 2 =
y efecto ahora un cambio de variables (x por y)
2
3 2 +
=
x
y
La ley de variacin as obtenida, es la ley
de variacin de la funcin inversa
2
3 2
1
+
=

x
) x ( f /
Dm = { x / x e R . x > 1,5 } entonces
f : R
> 1,5
R / f(x) = log
2
(2x-3)
recuerde que: log
a
b = c a
c
= b
3 2 2 + =
y
x
2
3 2 +
=
y
x
recordemos que
ya hemos hallado
Funciones
Rep. Grfica
Clasificacin
Representamos grficamente
en el mismo grfico que
hemos representado
) x ( log ) x ( f / R . R : f 3 2 5 1
2
= >
confeccionamos una tabla de valores
X f
-1
(x)

2
3 2 +
x
0
2
3 2
0
+
unimos los puntos con
trazo continuo porque
f
-1
va de R R
2
3 2
5 1
1 1
+
= >

x
) x ( f / , R R : f
tambin aqu f
-1
es
equidistante de f
respecto de la bisectriz
del primer cuadrante
y finalmente podemos trazar la
asntota de f-
1
que es y = 1,5


recuerde
que f tiene
asntota en
x = 1,5
porque aunque tomemos valores muy
pequeos de x, f
-1
ser siempre > 1,5
2
1
2
3 2
1
+
2,5
2
2
3 2
2
+
3,5
4
2
3 2
4
+
9,5
-1
2
3 2
1
+

1,75
-4
2
3 2
4
+

1,53
-10
2
3 2
10
+

1,5001
borramos la asntota de f(x) para limpiar el dibujo
Funciones
Rep. Grfica
Clasificacin
Es hora de descansar ! ! !
Momento propicio para
establecer nuevas relaciones . . .
Pero record, puede descansar solamente
el que antes trabaj (estudi)
Debe trabajar el hombre
para ganarse su pan,
pues la miseria en su afn
de perseguir de mil modos.
Llama a la puerta de todos
y entra en la del haragn.
Martn Fierro (Jos Hernndez)