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 y B D.

Observe que A x B C x D.
b) Suponiendo que A x B C x D se sigue de esto necesariamente
que A C y B D ?. Explique.

3) Sean A = { x N / 1 x 5 } y B = { 3 ; 4; 5 }. Se define R A x B
mediante (x,y) R x + y 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 A x B ; S B x C, definidas por :
(x,y) R y = x2 y (y,z) S z = y/2
Se pide : i) Determinar R y S por extensin.
ii) Definir la composicin S R 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 N0 / x 3 }

6) Sea A un conjunto de libros. Sea R1 una relacin binaria definida en

A /(a,b) R1 el libro a cuesta mas y tiene menos hojas que b. Es R1
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 : xRy xRy yRx xRx
10) a) Determinar si el conjunto P = { A1; A2 } constituye una
particin de Z con A1 = {x Z : 2 x} y A2 = { x 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, }, donde A = {1, 2, 3, 4}

B = {1, 3} C = {3} Clasificar en M la relacin .

12) Analizar si (N, ) y (N, ) son lttices.

13) Representar grficamente las siguientes relaciones :

1
a) f : R R / f(x) = -5 x b) g : Zpares Z / g(x) = x
c) h : N N / h(x) = 2 x + 3 2
14) Sean las relaciones fi : R R con i = 1,2, . . . . 6 dadas por las
frmulas :
f1(x) = - 3 x + 4 x 1 si x0

f2(x) = - x2 + 4 x 3 f4(x)= 3 si x0
x3 1 si 2 x 0
f3(x) = log 2 ( 2x - 3 )

2x si x0
2
f6(x) = f5(x) = 1 si 0 x 1
x3 ln x
si x 1

a) Determine en cada caso el Dominio y la Imagen para que la relacin

resulte una funcin
b) Represente grficamente cada una de las fi
c) Clasifique cada una de las fi
d) En los casos que sea posible, determine y represente grficamente f-1
Conjunto de partes Se escribe P(A) se lee partes de A

y est formado por todos los subconjuntos posibles que pueden

formarse con los elementos del conjunto A, incluido el conjunto vaco

Sea A { a, b, c } {}=

{a} a A a b {a,b}
El nmero de
a
elementos que
{b} b b a c {a,c} conforman
P(A) es 2n
c donde n = A
{c} c b c {b,c}
A se lee cardinal del
a b c {a, b, c} conjunto A y es igual a
la cantidad de
elementos que tiene el
entonces el conjuntos de partes de A es: conjunto A
P(A)= { {a}; {b}, {c}; {a,b}; {a,c}; {b,c}; {a,b,c} }
 Producto Cartesiano
Dado un conjunto A = { a, b } y un conjunto B = { 1, 2 }

El producto cartesiano A x B se A B
forma con todos los pares ordenados a 1
posibles conformados por elementos
del conjunto A en el primer lugar del
par ordenado y elementos del conjunto b 2
B en el segundo lugar del par ordenado

A x B = { (a, 1), (a, 2), (b, 1),(b, 2) }

Tambin podemos representar el producto cartesiano en un par de ejes coordenados
B En el eje de abscisas (x) el conjunto A
A x B
2 En el eje de ordenadas (y) el conjunto B
(a, 2) (b, 2) y los pares ordenados en las intersecciones de
1 las perpendiculares a cada uno de los ejes, que
(a, 1) (b, 1) pasan por los elementos involucrados
a b A
 1) Si A = { 1, 2 } P(A) = { ; {1}; {2}; {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 = { (,1); (,2); ({1},1); ({1},2); ({2},1); ({2},2); ({1,2},1); ({1,2},2) }

observa que en cada par ordenado, el 1er elemento P(A)

y el 2do elemento A
1 2
2) a) Si A={a} B={2} C = { a, b } D = { 1, 2 }

C D
A C x D = { (a,1); (a,2); (b,1); (b,2) }
a 1
ubicamos ahora A C y B D
B
b 2 A x B = { (a,2) }

en ejes cartesianos el nico par ordenado de AxB; (a,2) CxD

B A x B
entonces A x B C x D
C x D
2
(a, 2) (b, 2)
1
(a, 1) (b, 1)

a b A
 2 b) Si A x B C x D se sigue de esto necesariamente
que A C y B D ?. Explique.

Si a A (a, b) A x B, b B

si el elemento a pertenece al conjunto A entonces el par ordenado (a, b) pertenece

al producto cartesiano A x B para todo elemento b que pertenece al conjunto 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 x D , entonces . . .

si (a, b) A x B entonces (a, b) C x D luego a C, luego AC

Anlogamente puede hallarse que B D

si b B (a, b) A x B, a A
por la consigna del ejercicio A x B C x D , entonces . . .
si (a, b) A x B entonces (a, b) C x D luego b D, luego BD
 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 A x B (x,y) R : x A Y B
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 B
1 2 Sean A = { 1, 2 } y B = { 2, 3 }
En A x B = { (1, 2); (1, 3); (2, 2); (2, 3) }
2 3
Definimos R A x B : (x,y) R y = 2x

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
Analizamos
en el par (1, 2) x=1 y=2 2=21 entonces (1, 2) R
en el par (1, 3) x=1 y=3 Y=2x
321 entonces (1, 3) R
en el par (2, 2) x = 2 y = 2 222 entonces (2, 2) R
en el par (2, 3) x = 2 y = 3 322 entonces (2, 3) R
R = { (1, 2) }
La relacin antes vista R = { (1, 2) } definida por comprensin ser:
R = { (x, y) / x A y 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 A ; y B
cmo se vinculan los elementos de cada par ordenado y = 2x

La relacin se representa en ejes cartesianos, en diagrama de Venn y en tablas

R A x B A R B
B B
A 2 3
(1, 3) (2, 3) A x B 2
3 1
1 x -
(1, 2) (2, 2)
2 2 3
2 - -

1 2 A
Ejes cartesianos Diagramas de Venn Tabla de R
 3) Si A = { x N / 1 x 5 }
por extensin A = {1, 2, 3, 4, 5 }
B = { 3, 4, 5 }
A R B
Se define R A x B mediante
(x,y) R x + y 5. 1 3
2
1+3=45 (1, 3) R 4+3=75 (4, 3) R 4
1+4=5=5 (1, 4) R 4+4=85 (4, 4) R 3
1+5=65 (1, 5) R 4+5=95 (4, 5) R 4 5
2+3=5=5 (2, 3) R 5+3=85 (5, 3) R 5
2+4=65 (2, 4) R 5+4=95 (5, 4) R
2+5=75 (2, 4) R 5 + 5 = 10 5 (5, 5) R en Diagrama de Venn
3+3=65 (3, 3) R
3+4=75 (3, 4) R R = { (1, 3), (1, 4), (2, 3) }
3+5=85 (3, 5) R
A x B R-1 se conforma con los pares
B ordenados de R, pero cambiando
(1,5) (2,5) (3,5) (4,5) (5,5)
5 el orden de los elementos en
cada par
(1,4) (2,4) (3,4) (4,4) (5,4)
4 Si (x,y) R entonces (y,x) R-1

(1,3) (2,3) (3,3) (4,3) (5,3) R-1 = { (3, 1); (4, 1); (3, 2) }
3 R
R-1 = { (y, x) BxA y + x 5 }

1 2 3 4 5 A
En Grfico cartesiano
 Composicin de Relaciones
A R B
Sean los conjuntos A; B y C S C
a 1 v
Y entre ellos se establecen w
relaciones b 2
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) S R (a, 2) R y (2, w) S S R = { (a, w) }

Puede suceder: SR
A R B S C
a 1 v
Entonces:
w
b 2

S R = { (b, w); (b, v) }

4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 } C = {2 ;3 ;8 ;10}
y la relacin R A x B ; S B x C, definidas por :
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 = x2 surge que

(x,y) R y = x2 ; R A x B R = { (1,1); (2,4); (4,16) }

C
B
2
A B 4
1 1
1 3
6 10
2 6
3 4 8
4 16

5 16
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) }
analizando los pares ordenados que verifican la condicin z = y / 2 surge que

(y,z) S z = y/2 ; S B x C S = { (4,2); (6,3); (16,8) }

 El dominio de la relacin R es
Si R = { (x,y) A x B / y = x2 } un conjunto formado por todos
los elementos del primer
conjunto (A), que intervienen
A R en la relacin
1
B
1
La imagen de la relacin R es un
2 conjunto formado por todos los
3 4
4 6
elementos del segundo conjunto
(B) que intervienen en la relacin
5 16
Dm R = { 1, 2, 4 } Im R = { 1, 4, 16 }
El dominio de la relacin S es un
conjunto formado por todos los S = { (y,z) B x C / z = y/2 }
elementos del primer conjunto (A),
que intervienen en la relacin S C
B
1 2
La imagen de la relacin R es un
conjunto formado por todos los 4 3
elementos del segundo conjunto 6 10
8
(B) que intervienen en la relacin
16

Dm S = { 4, 6, 16 } Im R = { 2, 3, 8 }
 S R es la composicin de dos relaciones
Sean R: A B y S: B C S R = S[R]
A R B B S C
1 1 1 4 2
3 2 4 6 3
5 4 6 16
16 8 10

Que se lee S cerito R R compuesta con S Se conforma con los

elementos de A y de C
De manera que (x,z) S R (x,y) R (y,z) S
(1, 1) R pero 1 B no se relaciona con ningn elemento de C
(2,4) R y (4,2) S entonces (2,2) S R S R = { (2,2); (4,8)}
3 A no se relaciona con ningn elemento de B
Dm S R = { 2, 4 }
(4,16) R y (16,8) S entonces (4,8) S R
5 A no se relaciona con ningn elemento de B Im S R = { 2, 8 }
A R B S C
1 1 2

3 2 4 3 10
6 8
5 4
16
 Propiedades de las Relaciones
Cuando decimos que una Relacin R est definida en A2 , decimos que :
Los pares ordenados (x, y) de la relacin estn conformados por
elementos x A y elementos y A
si consideramos los elementos de A relacionndose consigo mismo, (o no)
puede suceder que : 5 6 7 8 9 11
Cada elemento del Si algn(os) elemento(s) de
conjunto A se relaciona A se relaciona(n) consigo Si ningn elemento de A se
consigo mismo mismo. relaciona consigo mismo
A A A
a
b a b a b

Es Reflexiva Es No reflexiva Es Arreflexiva

x : x A (x, x) R x / x A (x, x) R x : x A (x, x) R
para todo elemento x se verifica que existe(n) xtal que para todo elemento x se verifica que
si x pertenece al conjunto A x pertenece al conjunto A si x pertenece al conjunto A
entonces y el par ordenado (x, x) no entonces el par ordenado (x, x) no
el par ordenado (x, x) pertenece a la Relacin R pertenece a la Relacin R
pertenece a la
Relacin R
5-6 7-8-9 11
 Es Simtica A
Si para cada par de elementos de A, (x,y)
que se relacionan, el par simtrico a b
tambin pertenece a la relacin
x y A : (x, y) R (y, x) R c

Es No simtrica A
Si algn(os) par(es) de elementos de A, (x,y) que 5 6
a b
se relacionan, tiene(n) par(es) simtrico(s) que
tambin pertenece(n) a la relacin, pero otro(s) no 7 8
c
x y A / (x, y) R (y, x) R 9 11
A
Es Asimtrica
Si ningn par de elementos de A, (x,y) que se a b
relacionan, tiene par simtrico que tambin
pertenece a la relacin c
x y A : (x, y) R (y, x) R
A
Es Antisimtrica
Si en cada par de elementos de A, a b
(x,y) que admite simtrico,
sucede que x = y c
x y A : (x, y) R (y, x) R x = y
5-6 7-8-9 11
 Si para todos los elementos x, y, z que verifican que (x,y) R y
(y,z) R entonces el par ordenado (x, z) R
A
Es transitiva
a b x,y,z A : (x,y) R (y,z) R (x,z) R
c
5 6 7 8 9 11

Si algunos de los elementos x, y, z verifican que (x,y) R y

A (y,z) R pero el par ordenado (x, z) R (otros no)

d a b Es No transitiva

c x y z A / (x,y) R (y,z) R (x,z) R

Si todos los elementos x, y, z verifican que si (x,y) R y A

(y,z) R entonces el par ordenado (x, z) R
d a b

Es Atransitiva
c
x y z A : (x,y) R (y,z) R (x,z) R

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 5 6 7 8 9 11

Si R es una relacin es arreflexiva, asimtrica y transitiva dicho de otra manera,

hay pares ordenados de
Es Relacin de Orden estricto
elementos que no se
relacionan entre s de
Si R es una relacin de Orden (amplio o estricto) donde . . . ninguna forma
a, b / (a, b) R (b, a) R
Es Relacin de Orden parcial en caso contrario . . .

Si R es una relacin de Orden (amplio o estricto) donde . . .

a b (a, b) R (b, a) R dicho de otra manera, todos los
elementos diferentes se relacionan
Es Relacin de Orden total entre s al menos de una forma

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
En el diagrama de Venn y en la definicin por
-3 0 extensin se aprecia que hay elementos que se
relacionan consigo mismo
-2 Pero otros elementos como el 3 no se relacionan consigo
-1 Reflexiva
mismo, vemos que el par ordenado (-3, -3) R
entonces x A / (x, x) R la relacin es No Reflexiva Simtrica

En el diagrama de Venn se aprecia que hay elementos que se relacionan entre s Transitiva
en un solo sentido, por ejemplo: (-1, -3) R pero (-3,-1) R ; pero tambin hay
pares ordenados que tienen simtrico, como: (-1,-1) R y (0, 0) R. Clasificacin

Escribir x, y A / (x, y) R (y, x) 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 ) R ( -1, -3 ) R ( -1, -3 ) R
Es transitiva
( -2, 0 ) R ( 0, 0 ) R ( -2, 0 ) R
( -1, -1 ) R ( -1, -1 ) R ( -1, -1 ) R
( 0, 0 ) R ( 0, 0 ) R ( 0, 0 ) R
5 b
No es Relacin de Equivalencia
5 b) S = { (2,2) ; (2,1) ; (3,3) ; (1,1) ; (3,2) ; (0,0) } en B = { x N0 / x 3 }

Para clasificar la relacin, la representamos en diagrama de Venn

A En el diagrama de Venn y en la definicin por
3 0 extensin se aprecia que todos los elementos del
conjunto A se relacionan consigo mismo
Reflexiva
2 x: x A (x, x) R la relacin es Reflexiva
1 Simtrica
En el diagrama de Venn se aprecia que hay elementos que se
Transitiva
relacionan entre s en un solo sentido, por ejemplo: (3, 2) R ;
Podemos
pero (2, 3) R pero tambin hay pares ordenados que tienen Clasificacin
escribir
simtrico, como: (1, 1) R y (0, 0) R.
x, y A / (x, y) R (y, x) 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 ) R ( 3, 2 ) R ( 3, 2 ) R pero . . .

( 3, 2 ) R ( 2, 1 ) R ( 3, 1 ) R Es No transitiva

No es Relacin de Equivalencia
 6) (a,b) R1 el libro a cuesta mas y tiene menos hojas que el libro b.

Asumimos que A es un conjunto de libros Libro 1 $ 30 60 hojas

que en precio y cantidad de hojas es tan Libro 2 $ 15 120 hojas
amplio como sea posible Libro 3 $ 45 50 hojas
Por ejemplo . . .
Libro 4 $ 7 80 hojas
R1 = { (1, 2); (1,4); (1,5); (3,1); Reflexiva
Libro 5 $ 12 70 hojas
(3,2); (3,4); (3,5); (5,4) }
Simtrica
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 Transitiva

Clasificacin
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.Si (1,2) R (2, 1) R. Es Asimtrica

Por ejemplo . . . (1, 5) R (5,4) R (1,4) R y en general, si un libro a cuesta

mas y tiene menos hojas que b
( a, b ) R ( b, c ) R ( a, c ) R (a, b) R

entonces necesariamente el libro a y el libro b cuesta mas y tiene menos

cuesta mas y tiene menos hojas que hojas que el libro c (b, c) R
el libro c (a, c) R
Es transitiva
Es Relacin de Orden Estricto
 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. . .
Reflexiva
R es un conjunto infinito . . . porque son infinitas las sucesiones de ceros y unos
Simtrica
Sabido es que cada cadena tendr
as, afirmamos que : Transitiva
exactamente la cantidad de ceros
que ella misma tiene Clasificacin
x: x A (x, x) R la relacin es Reflexiva
si la cadena x tiene igual cantidad
de ceros que la cadena y (x, y) R (y, x) R la relacin es Simtrica

la cadena y tendr igual cantidad

si la cadena x tiene igual cantidad de ceros que
de ceros que la cadena x
la cadena y
y la cadena y tiene igual cantidad
entonces la cadena x tiene igual de ceros que la cadena z
cantidad de ceros que la cadena z

(x, y) R (y, z) R (x, z) R la relacin es Transitiva

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 Reflexiva
conformados por el mismo elemento , por ejemplo (2, 2); (3, 3); (4, 4)
Simtrica
En cualquiera de esos casos x x = 0 y 0 NO es entero positivo impar
Transitiva
x: x A (x, x) R luego, la relacin es Arreflexiva
Clasificacin
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 y A : (x, y) R (y, x) R luego, la relacin es Asimtrica
Supongamos tres enteros positivos x, y, z; de manera que x > y > z y z entero
positivo
Si x es par e y es impar x y ser entro positivo impar, si z es par
impar
x z ser entero positivo par (x,y) R (y,z) R pero (x,z) R y z entero
Si x es impar e y es par x y ser entro positivo impar, si z es impar positivo
impar
x z entero (x,y) R (y,z) R pero (x,z) R
positivo par
luego, la relacin es Atransitiva
 9) El razonamiento falso dice que:
si x R y x R y y R x x R x de otra manera
( x, y ) R (y,x) R (x,x) R
Si una relacin es simtrica y transitiva . . . es reflexiva
( x, y ) R xRy yRx xRx
Reflexiva
el par ordenado ( x, y ) porque la relacin debe ser y tambin transitiva
pertenece a la relacin R simtrica (por hiptesis) por hiptesis Simtrica
Supongamos una relacin definida en A
Transitiva
A Igualmente, ahora decimos que si

a x ( y, x ) R yRx xRy yRy

Hasta aqu, la reflexividad parece ser una consecuencia
y 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
 PARTICION DE UN CONJUNTO
Dado un conjunto A cualquiera no vaco, es posible establecer
una particin de A
Conformando con los elementos de A
subconjuntos Ai ; Aj ; . . . .
A As tenemos por ejemplo
A2
1 A1 = { 1; 4 } A2 = { 2; 3 } A3 = { 5 }
2
A1
A3 3
4 Donde: 1) A1 ; A2 ; A3
5
2) A1 A2 = A1 A3 = A2 A3 =

P = {A1; A2; A3 } es particin de A 3) A1 A2 A3 = A

Todos los subconjuntos son distintos de l conjunto

vaco (tienen algn elemento) Ai
La interseccin entre todos los subconjuntos
tomados de a dos, es vaca. Ai Aj =
La unin de todos los subconjuntos es igual al
conjunto particionado . . . Aj Aj . . = A
10) a) A1 = {x Z : 2 x} y A2 = { x Z : 2 x } con P = { A1; A2 }

A1 est conformado por todos los nmeros

A1 = { enteros pares}
enteros que son divisibles por 2

A2 est conformado por todos los nmeros

A2 = { enteros impares}
enteros que no son divisibles por 2

1) A1 y A2 2) A1 A2 = 3) A1 A2 = A
si un entero es par, no es impar; los enteros pares con los impares; conforman
y viceversa la totalidad de los elementos del conjunto de
nmeros enteros
P = { A1; A2 } es particin de Z (nmeros enteros )
Son subconjuntos de Q
N (naturales)
b) Evaluar si Q = { N; Z- } es particin de Z -
Z (enteros negativos)
- - -
1) N y Z 2) N Z = 3) N Z Z
porque en N estn todos los enteros positivos
- -
(Z +) y en (Z ) los enteros negativos pero . . . 0 N y 0Z

Q = { N; Z- } NO es particin de Z
(no verifica la tercera condicin)
11) Dado el conjunto de conjuntos M = {A, B, C, }, donde
A = {1, 2, 3, 4} B = {1, 3} C = {3}
escribimos por extensin la relacin definida en M
todo conjunto est incluido en s mismo
el conjunto vaco est en todos los conjuntos
A
B 2 R = { (A,A); (B,B); (C,C); (,); (,C); (,B); (,A);(C,B); (C,A); (B,A) }
1
C La Relacin en M
3 4 diagrama de Venn ser :
cada elemento se relaciona C

consigo mismo
Es Reflexiva
A B
si A B y B A; A B No Simtrica
Pero al ser reflexiva, cada par Antisimtrica
reflexivo, tiene simtrico, entonces . . . en la relacin de inclusin
siempre est presente la
Si C B ; y BA CA
transitividad . . .
Transitiva
Es una Relacin de Orden Amplio
 LATTICES
Cota Superior y nica
Un conjunto ordenado es lttice si Mnima
cualesquiera dos elementos en el
Cota Inferior
conjunto tienen y nica
Mxima
Sea A = { a, b, c, d, e, f, g } y se define en l la relacin R
R = { (a,a); (b,b); (c,c); (d,d); (e,e); (f,f); (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); (e,g); (f,g); (g,g)}
Un conjunto es ordenado si sus
Reflexiva Antisimtrica Transitiva elementos se vinculan mediante una
relacin de orden
Relacin de orden
a Construimos un grfico donde la reflexividad se muestra con
para significar que cada elemento se relaciona consigo mismo
b d unimos con un segmento los elementos que se relacionan entre s,
c por ser antisimtrica. ej (a,b); (a,d); (c,e) R pero (b,a); (d,a);
(e,c) R
e f y aceptamos la transitividad en el sentido del recorrido de los
elementos que se vinculan a travs de los segmentos
g por ejemplo :
(a,b) R (b,e) R (a,e) R
(a,c) R (c,f) R (a,f) R
(a,f) R (f,g) R (a,g) R
 Sea el conjunto ordenado A
en el que se define una relacin de orden R (reflexiva, antisimtrica
y transitiva)
R = { (a,a); (b,b); (c,c); (d,d); (e,e); (f,f); (g,g); (a,b); (a,c); (a,d);
(b,e); (a,e); (c,e); (d,f); (a,f); (c,f); (e,g); (a,g); (b,g); (c,g);
(f,g); (d,g)} Tomando dos elementos
cualesquiera, por ejemplo
a
c. s. mm. = b para (c,d) c. s. mm. = f

para (a,b)
c. i. Mx. = a c. i. Mx. = a b d
c. s. mm. = g c
para (b,c) c. s. mm. = e para (b,g)
c. i. Mx. = a c. i. Mx. = b
e f
para (e,f) c. s. mm. = g para (d,e) c. s. mm. = g
c. i. Mx. = c c. i. Mx. = a g
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)
 Si analizramos la misma relacin pero
en un conjunto B = { a, b, c, d }

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 a
(que se entiende siempre en un solo sentido hacia abajo-)
Si analizamos la relacin por extensin veremos que se b d
trata de una relacin transitiva c

Pero . . . Si bien los pares (a,b); (a,c); (a,d)
a
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)
b
Entonces en este caso NO hay Lttice
c d
Tampoco son Lttice retculas como a
c
b

Observa que las retculas
estn abiertas
Ello se debe a que hay pares de elementos d
que no tienen nica c.s.min y/ c.i.Mx e f

12 a) Analizar si (N, ) es Lttice el conjunto N est conformado por

N = { 1, 2, 3, 4, 5, . . . . . } ( N, ) significa que N es un conjunto

ordenado segn la relacin

1 cada elemento se relaciona consigo mismo, es reflexivo

2 La relacin es antisimtrica. (1,2) R; (2,3) R; (1,3) R; . . . . .

3 y transitiva es apreciable que entre los elementos 3 y 4

(por ser relacin de orden)
4 la cota superior mnima es 4

entre los elementos 2y5 la cota inferior mxima es 3
5
la cota superior mnima es 5 la cota inferior mxima es 2
. y as sucesvamente, para habr cota superior mnima = n
cualquier par de valores (m, n) y cota inferior mxima = m
.
si tomamos un par de valores donde m = n
coinciden las c.s.mn = c.i.Mx = m = n
Se verifica entonces que ( N, ) es lttice
12 b
 12 b) Analizar si (N, /) es Lttice 1
Analizaremos para algunos elementos
de N y trataremos de generalizar 5 3 2
las situaciones que encontremos,
basndonos en propiedades conocidas 9
6 4
cada natural es divisible pos s
mismo, entonces es reflexiva
1 divide a cualquier natural, entonces 18 12
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;

por ejemplo el 3 y el 5 dividen a 15

Es claro que, tomados dos elementos cualesquiera siempre
hay una cota inferior mxima nica ( 1 )
 Pero lo que parece no estar claro 5
1
es si hay cota superior mnima
3 2
(nica)

15
la retcula parece no cerrarse
9
cuando los valores crecen (parte 6 4
inferior del grafo)
Pero tenga presente que cada vez que aparezcan
en la retcula dos vrtices (elementos) que 18 12 Puede
parezcan no cerrarse; sin dudas habr algn
nmero natural que resulta divisible por ambos, suceder
por ejemplo el producto de ambos que m = n
36 bien que
Finalmente, tomados dos elementos cualesquiera de N { m, n } mn

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
Es fcil advertir que 0 no divide a 0
Si analizamos (N0, ) Luego sta no es una
relacin reflexiva y por ello
no es de orden
entonces ( N0, ) NO es Lttice
 FUNCIONES
Dados dos conjuntos
A = { 1, 2, 3 } B = { 2, 3,4 }
definimos en el producto
cartesiano A x B una Relacin R : (a, b) b = a + 1

Una relacin R A x B es funcin . . .

13a 13b 13c
Si verifica dos condiciones: Existencia y Unicidad
14 i 14 ii 14 iii
Existencia verifica si para cada elemento del
conjunto A existe una imagen en B 14 iv 14 v 14 vi

Simblicamente a A : b B / (a, b) f A B
para todo elemento a que pertenece al conjunto A se verifica 1 2
que existe un elemento b que pertenece al conjunto B
tal que el par ordenado (a, b) pertenece a f 2 3

Unicidad, si cada elemento del conjunto A se 3 4

relaciona con un solo elemento del conjunto B
Simblicamente (a, b) f (a, c) 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
13 14
 A B
En situaciones como
1
tambin se verifica que 2
2
para cada elemento del conjunto A 4
existe una imagen en B (existencia) 3
Es funcin
cada elemento del conjunto A se relaciona con 13a 13b 13c
un solo elemento del conjunto B (unicidad) A B 14 i 14 ii

Situaciones como . . . no verifica la condicin de 1 2 14 iii 14 iv

existencia
2 14 v 14 vi
el elemento 2 A pero no tiene un 4
correspondiente en B 3

NO es funcin
En el caso . . . no verifica la condicin de
A B
unicidad
1 1
el elemento 1 A se relaciona con dos
elementos diferentes de la imagen (B ) 2
2
3
NO es funcin 3 4

13 14
 Clasificacin de funciones
Una funcin es inyectiva si dos elementos cualesquiera diferentes
del dominio tienen imgenes diferentes

x1 x2 A : x1 x2 f(x1) f(x2)
13a 13b 13c
En este caso tenemos Porque cada elemento del
conjunto A tiene imagen 14 i 14 ii
funcin inyectiva diferente en el conjunto B
A B 14 iii 14 iv
Una funcin es sobreyectiva si todos los 1 2 14 v 14 vi
elementos del conjunto B (codominio) son
Imagen de la funcin, es decir que todos los 2 3
elementos del conjunto B admiten al menos un
antecedente en el dominio 3 4

y B, x A / y = f(x)
En este caso tenemos Porque todos los elementos del conjunto B tienen un
funcin sobreyectiva antecedente con el que se relacionan en el conjunto A

Si una funcin es inyectiva y sobreyectiva . . . es BIYECTIVA

13 14
 Puede suceder que . . . A B
1 2
se verifica que 1 2 pero f(1) = f(2) = 2
2 3
funcin NO inyectiva
3 4
asimismo el elemento 3 del conjunto B no
admite antecedente en el conjunto A 13a 13b 13c
funcin NO sobreyectiva
14 i 14 ii
Si . . . se verifica que 1 2 pero f(1) = f(2) = 2
14 iii 14 iv
funcin NO inyectiva A B
14 v 14 vi
pero todos los elementos del 1 2
conjunto B admiten funcin 2
antecedente en A
sobreyectiva
3 4
A B
1 2 cada elemento del conjunto A tiene
1 imagen diferente en el conjunto B
2 3 pero no todos los funcin inyectiva
elementos del conjunto B
3 4
admiten antecedente en A

13 14 funcin NO sobreyectiva
 Representacin Grfica de Funciones
Para representar cualquier funcin se debe conocer . . .
Cul es el dominio donde est y cul es la imagen que se corresponde
definida la funcin . . . con el dominio de la funcin

Dm Im 13a
Y = f(x) y se estudia la ley de variacin de la funcin
definida por y = f(x) . . . 13b 13c

esto se hace asignndo valores xi en la 14 i 14 ii

x y expresin y = f(x); encontrando el 14 iii 14 iv

resultado yi que le corresponde a f(xi)
14 v 14 vi
La imagen de la funcin son los valores
que se corresponden con cada valor
el dominio de la funcin son los
del dominio de la funcin
valores que puede tomar xi en f(x)
recuerde siempre que: si un valor del Si dos elementos diferentes del
conjunto de salida A no tiene codominio (conjunto B) son
imagen, la expresin no es funcin imagen del mismo elemento de A,
(Existencia) la expresin no es funcin
(Unicidad)
13 14
 Podemos representar grficamente una funcin en un par de
N y
R ejes coordenados
5
Sea f : N N / f(x) = x + 1
4 Sea la funcin f que va de Naturales
en Naturales tal que f de x es igual a x+1
3
2
y confeccionamos una 13a
1 tabla, asignndole
valores a x para hallar x x + 1 y 13b 13c

valores de y
x si 1 1+1 2 14 i 14 ii
1 2 3 4 R
N
14 iii 14 iv
en el eje de abscisas (x) En el eje de ordenadas (y) si 2 2+1 3
el dominio N la imagen N 14 v 14 vi
si 3 3+1 4
Si la misma ley de variacin (y = x + 1)
si 4 4+1 5
estuviera definida de R R
el dominio ahora ser Reales La funcin ahora es
f : R R / f(x) = x + 1
y la imagen tambin Reales
Pero al ser el dominio todos los puntos del eje x
(reales), la funcin est definida para todo x
debemos unir todos los puntos obtenidos
13 14
 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

Funciones
y confeccionamos una tabla de valores
Clasificacin

x - 5 x Y Rep. Grfica

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
13 b 13 c
 1
13 b) Para representar g: Zpares Z / g(x) = x
2

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
Funciones
Trazamos un par de ejes coordenados
Clasificacin
y confeccionamos una tabla de valores 1
x x Y
2 Rep. Grfica
Y la relacin queda
2 2 1
representada por
puntos porque va de -2 (-2) -1
Enteros pares en
Enteros. 4 4 2
-4 (-4) -2
(no corresponde el
trazado de linea 6 6 3
llena)
-6 (-6) - 3
0 0 0

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

y cual es la imagen de la relacin como la imagen son el
conjunto de los nmeros
Significa que sern pares ordenados naturales (N)
de la relacin aquellos en los que x N
Funciones
y resulta de aplicar x en h(x), que
tambin h(x) N Clasificacin

Rep. Grfica
x 2x + 3 Y
1 21+3 5 Trazamos un par de
2 22+3 7 ejes coordenados

3 23+3 9 Y confeccionamos
4 24+3 11 una tabla de
valores para g(x)
5 25+3 13

Y la funcin queda representada por puntos porque va de

Naturales en Naturales
 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 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 Funciones Clasificacin

entonces Im = { x / x R } Im = [ - ; ]
Rep. Grfica

Trazamos un par de ejes coordenados Cada valor del dominio (x)

y confeccionamos una tabla de valores tiene un valor diferente en
la imagen (y)
x - 3 x + 4 Y Inyectiva
1 -31+4 1 Todos los elementos de la
imagen (eje y) admiten un
-1 - 3 (-1) + 4 7
antecedente en el dominio
2 -32+4 -2 (eje x)

Por ser una funcin es una funcin Sobreyectiva

inyectiva y sobreyectiva que va de
Reales en
Es funcin biyectiva Reales
14 ii 14 iii 14 iv 14 v 14 vi
 14 ii) Para analizar el dominio de la expresin y = x2 + 4x - 3
consideramos que la variable x puede tomar cualquier valor real
entonces Dm = { x / x R } Dm = [ - ; ]
Antes de definir la imagen, vamos a representar grficamente la parbola
Funciones
Trazamos un par de ejes
coordenados y para Clasificacin Rep. Grfica
confeccionar la tabla de
valores buscamos los valores x - x2 + 4x - 3 Y
de x que hacen 0 la funcin
(races) 1 - 12 + 4 1 - 3 0

4 42 4( 1)(3) 3 - 32 + 4 3 - 3 0

2( 1) 2 - 22 + 4 2 - 3 1
x1 1
4 16 12 0 - 02 + 4 0 - 3 -3

2 x2 3 4 - 42 + 4 4 - 3 -3
con estos valores empezamos -1 -(-1)2 + 4(-1) - 3 - 8
la representacin grfica
5 - 52 + 4 5 - 3 - 8
El vrtice de la parbola estar en
un punto equidistante Tomamos valores a la izquierda
y finalmente trazamos la curva uniendo y a la derecha de los ya
todos los puntos ( R R ) hallados
14 iii 14 iv 14 v 14 vi
 La Relacin definida por y = x2 + 4 x 3 que tiene una grfica

tiene el dominio en Reales

Dm = { x / x R }

De observar el grfico, vemos que la relacin

no tiene valores de y mayores que 1
Funciones
Im = { x / x R x 1 }
Clasificacin

en el grfico y en la tabla se nota que Rep. Grfica

hay valores diferentes del dominio (x)
que tienen la misma imagen (y); con solo un par
de valores del
por ejemplo
No Inyectiva dominio que
f(0) = - 02 +403=-3 admita la misma
imagen, es
f(4) = - 42 + 4 4 3 = - 3 suficiente para
que la funcin
Igualmente es posible ver que, de los elementos del sea No Inyectiva
conjunto de llegada (Reales - eje Y), solamente los menores
o iguales que 1 pertenecen a la imagen de la funcin

No Sobreyectiva
 14 iii) Antes de analizar la expresin y = log2 (2x - 3)

Recordamos que a la funcin logartmica la podemos definir mediante :

loga b c ac b ejemplo : log2 8 3 23 8

Las calculadoras en general, con la tecla Log x entregan valores

de logaritmo decimal; es decir de logaritmos en base 10 en la tecla de la
calculadora falta la base ?
NO porque si el logaritmo es decimal, NO se coloca la base

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 : log x con la calculadora (que

loga x
log a resuelve solo logaritmos
Ejemplo : calcula log2 8 = decimales), podemos resolver
un logaritmo que no es
log 8 0,903089987 decimal
log2 8
log 2

0,3010299957
3

14 iv 14 v 14 vi
 14 iii) Ahora representamos grficamente log2 (2x - 3)
Vamos a confeccionar una tabla de valores recuerda que :
log( 2x 3)
x [log(2x-3)]/log2 Y log2( 2x 3)
log 2
2 0/0,301030 0
2,5 0,301030/0,301030 1
Funciones
3,5 0,602060/0,301030 2
Clasificacin
5,5 0.903090/0,301030 3
Rep. Grfica
9,5 1,204120/0,301030 4
1,75 0,301030/0,301030 -1 siempre que
2x 3 > 0
1,65 0,522879/0,301030 -2,26
habr algn valor
1,55 -1/0,301030 -3,32 para f(x)
si x = 1,5
investigamos qu pasa a la izquierda de trazamos entonces en x = 1,5 la
2x 3 = 0
la asntota, por ejemplo para x = 0 asntota de la funcin
2x 3 toma valores negativos porque no existe ningn valor al Sabemos que el
y la funcin no est definida se cual pueda elevar 2 y obtener log 0
en esos valores ( x < 1.5 ) como resultado un negativo
trazamos la curva
con los puntos conocidos (sin tocar la asntota)
 la relacin definida por y= log2 ( 2x 3 ) se representa en el grfico
x toma solamente valores mayores que 1,5 entonces:
Dm = { x / x R x 1,5 }

En cambio, en el grfico se ve que todos los valores del eje y tienen

antecedente en x
Im = { x / x R } Funciones

Clasificacin
Cada valor del dominio (eje x) tiene un
valor diferente en la imagen (eje y) Rep. Grfica

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 Recuerda que siempre es conveniente empezar a
inyectiva y sobreyectiva representar una funcin logartmica localizando
Es funcin biyectiva la asntota
 x 1 si x0 En primer lugar
reconocemos que x no
14 iv) Si f(x) = 3 si x0
x3 1 puede tomar valores
si 2 x 0 menores que -2

En consecuencia Dm = {x/x R x 2 } Dn = [-2 ; )

Con frecuencia los alumnos confunden esta relacin (definida

Funciones
por partes) con tres relaciones diferentes
Clasificacin
Se trata de una sola relacin (tiene y hemos hallado un solo dominio);
Rep. Grfica
PERO TAMBIEN TIENE DIFERENTES LEYES DE VARIACION EN
DETERMINADOS TRAMOS DEL DOMINIO

si x > 0 la ley de variacin es x - 1

La representacin grfica se
si x = 0 la funcin vale 3 realiza como para cualquier
otra relacin
si x 0 la funcin vale x3 + 1

Se confeccionan tablas de valores cuidando que las leyes de variacin

se correspondan con los respectivos intervalos del dominio

14 v 14 vi
 Si x se acerca mucho a 0, pero sin
Para x > 0 f(x) = x - 1 ser igual a 0, toma por ejemplo
valores como 0,1; 0,01; 0,001, etc
x y = x - 1 Y si x fuera igual a 0 entonces y sera
1 1-1 0 igual a - 1
3 31 2 debemos entender que si x se acerca a
0 con valores mayores que 0, y se
acerca a 1, pero sin ser y = -1 Funciones

Representamos ese punto con un crculo que Clasificacin

significa que la funcin toma valores muy Rep. Grfica
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
 Si x se acerca mucho a 0, pero sin
Para x < 0 f(x) = x3 + 1 ser igual a 0, toma por ejemplo
valores como -0,1; -0,01; -0,001, etc
x y = x3 + 1 Y si x fuera igual a 0 entonces y sera
-1 (-1)3 + 1 0 igual a 1 (con esta ley de variacin)
-2 (-2)3 + 1 -7 debemos entender que si x se acerca a
0 con valores menores que 0, y se
acerca a 1, pero sin ser y = 1 Funciones
Representamos ese punto con un crculo que
Clasificacin
significa que la funcin toma valores muy
prximos a ese valor (1) para valores muy Rep. Grfica
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

x 1 si x0

f : Dm Im / f(x) = 3 si x0
x3 1 si 2 x 0

 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
7a
Im = { x / x R x -7 } Im = [-7; )
Funciones
Existen valores diferentes del dominio Clasificacin
que tienen la misma imagen, por ejemplo
para x= 1 x = - 1; y = 0 Rep. Grfica

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 R

La funcin es No sobreyectiva
 2x si x 0
En primer lugar

14 v) Si f(x) = 1 si 0 x 1 reconocemos que x
puede tomar valores
ln x si x 1
que van de - a +

En consecuencia Dm = {x/x R } Dn = (- ; + )

Con frecuencia los alumnos confunden esta relacin (definida

Funciones
por partes) con tres relaciones diferentes
Clasificacin
Se trata de una sola funcin (tiene y hemos hallado un solo dominio);
Rep. Grfica
PERO TAMBIEN TIENE DIFERENTES LEYES DE VARIACION EN
DETERMINADOS TRAMOS DEL DOMINIO

x
si x < 0 la ley de variacin es 2
La representacin grfica se
si 0 x 1 la funcin vale 1 realiza como para cualquier
otra funcin
si x > 0 la ley de variacin es lnx

Se confeccionan tablas de valores cuidando que las leyes de variacin

se correspondan con los respectivos intervalos del dominio

14 vi
 Para x > 0 f(x) = ln x

x ln x y
4 ln 4 1,39
8 ln 8 2,08

Si x fuera igual a 1 entonces Funciones

y sera igual a 0
Clasificacin
debemos entender que si x se acerca a 1 con valores
mayores que 1, y se acerca a 0, pero sin ser y = 0 Rep. Grfica

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] - si x = 0 y=1
si x = 1 y=1
para cualquier valor del intervalo [0; 1] la funcin vale 1
 Para los valores de x < 0 estudiaremos la ley de variacin y = 2x

Confeccionamos tabla de valores

x 2x y
-1 2-1 1/2
Funciones
-2 2-2 1/4
Clasificacin

debemos entender que si x se acerca a 0 Rep. Grfica

Si x fuera igual a 0 entonces con valores menores que 0 ; y se acerca a
y sera igual a 1 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
x
Unimos los valores hallados con una curva que representa la ley de variacin exponencial (2 )
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
 Cualquier valor del eje x tiene un correspondiente en el eje y

Dm = { x / x R } Dm = (-; )
Pero se ve tambin que, solamente los valores de y > 0
admiten algn antecedente en el eje x
Im = { y / y R y > 0 } Im = (0; )
Funciones
Existen valores diferentes del dominio que tienen la
Clasificacin
misma imagen, por ejemplo para x = 0 x = 1; y = 1
Rep. Grfica
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 R

La funcin es No sobreyectiva
 2 Trazamos un par de ejes coordenados
14 vi) Si f(x) =
x3 en ese caso tendramos 2 / 0; as
podemos decir que para x = - 3 no
En primer lugar reconocemos que existe un valor finito de la funcin
x no puede tomar el valor - 3
trazamos una asntota en x = -3
Luego confeccionamos tabla de valores, y estudiamos qu sucede a la
para x prximos a 3 por derecha izquierda de x= 3 Funciones Clasificacin

2 2 Rep. Grfica
x y x y
x3 x3
-2 2/(-2+3) 2 -4 2/(-4+3) -2
-1 2/(-1+3) 1 -5 2/(-5+3) -1
0 2/(0+3) 2/3 -6 2/(-6+3) -2/3
1 2/(1+3) 1/2 -7 2/(-7+3) -1/2
2 2/(2+3) 2/5 -8 2/(-8+3) - 2/5
-2,5 2/(-2,5+3) 4 -3,5 2/(-3,5+3) - 4
-2,6 2/(-2,6+3) 5 -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
 Cualquier valor del eje x -3 tiene un correspondiente en el eje y

Dm = { x / x R x - 3 } Dm = (-; -3) (-3; )

los valores del eje y que se relacionan con algn valor de x;
son todos, menos el 0
Im = { y / y R y 0 } Im = (-; 0) (0; ) Funciones

Clasificacin
No Existen valores diferentes del dominio que tengan
la misma imagen Rep. Grfica

todos los valores del dominio tienen imgenes diferentes

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
 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) = log2 (2x 3)

y precisamente, por ser biyectivas admiten funcin inversa
para hallar la inversa de la funcin, f : R R / f(x) = 3x + 4
Funciones
transformamos el dominio en imagen
Clasificacin
y viceversa f-1 1
: R R/ f (x)
4x
en la ley de variacin hacemos pasajes 3 Rep. Grfica

de trminos, para despejar x

multiplico todo por (-1) y permuto

y = 3x + 4 y - 4 = 3x los miembros (para ordenar)

3x = 4 - y luego despejo x
4y y efecto ahora un cambio
x
3 de variables (x por y)
4x
y La ley de variacin as obtenida, es la ley
3 de variacin de la funcin inversa

Representamos grficamente
4x
f 1 : R R / f 1 ( x )
3
en el mismo grfico que
hemos representado
f : R R / f ( x ) 3x 4

confeccionamos Funciones Clasificacin

una tabla de Rep. Grfica
valores

4x
x f-1(x)
3
4 44 0
3
4 ( 2 ) 2
-2
3
4 ( 8 )
-8 4
3
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
para hallar la inversa de la funcin, f : Dm R / f(x) = log2(2x-3)

recordemos que
Dm = { x / x R x > 1,5 } entonces
ya hemos hallado

transformamos el dominio en imagen f : R > 1,5 R / f(x) = log2(2x-3)

Funciones
y viceversa
2x 3
f-1 : R R / f 1 ( x ) Clasificacin
luego despejamos la incgnita x de > 1,5 2
la ley de variacin de f= log2(2x-3) Rep. Grfica

recuerde que: logab = c ac = b

y
y = log2(2x 3) 2 = 2x - 3 permuto los miembros (para ordenar)
2y 3
2x 3 2
y
luego despejo x 2x 2y 3 x
2
y efecto ahora un cambio de variables (x por y)

2x 3 La ley de variacin as obtenida, es la ley

y
2 de variacin de la funcin inversa
 1 1 2x 3
Representamos grficamente f : R R 1,5 / f (x)
2
en el mismo grfico que
f : R 1.5 R / f ( x ) log2( 2x 3)
hemos representado
confeccionamos una tabla de valores Funciones Clasificacin
x
2 3
X 2
f-1(x) borramos la asntota de f(x) para limpiar el dibujo Rep. Grfica

20 3 unimos los puntos con

0 2 2 trazo continuo porque
21 3
2,5 f-1 va de R R
1 2
2
2 3 tambin aqu f-1 es
2 2
3,5 equidistante de f
24 3 respecto de la bisectriz
4 2
9,5
del primer cuadrante
2 1 3
-1 1,75
2 recuerde
4
2 3 que f tiene
-4 2
1,53
10
asntota en
2 3
-10 1,5001 x = 1,5
2

y finalmente podemos trazar la

asntota de f-1 que es y = 1,5
porque aunque tomemos valores muy
pequeos de x, f-1 ser siempre 1,5
 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)