Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones
Trabajo Prctico N 3
Relaciones y Funciones
1) Sea A = { 1 ; 2 }. Construya el conjunto P(A) x A.
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.
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 ?
M = {A, B, C, },
C = {3}
donde A = {1, 2, 3, 4}
Clasificar en M la relacin .
2
x3
x 1
f4(x)= 3
x3 1
2x
f5(x) = 1
ln x
si
si
x0
x0
si 2 x 0
si
x0
si 0 x 1
si
x 1
a)
b)
c)
d)
se lee partes de A
Sea A { a, b, c }
{a}
{b}
{c}
A
a
b
c
a
{a,b}
{a,c}
{b,c}
{a, b, c}
El nmero de
elementos que
conforman
P(A) es 2n
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 }
y un conjunto B = { 1, 2 }
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
a
b
1
2
A x B
(a, 2) (b, 2)
(a, 1) (b, 1)
1) Si A = { 1, 2 }
A={a}
B={2}
C = { a, b }
ubicamos ahora
2
1
A x B
C x D
(a, 2)
(b, 2)
(a, 1) (b, 1)
A C
B D
A x B = { (a,2) }
en ejes cartesianos
B
D = { 1, 2 }
a A (a, b) A x B, b B
AC
BD
Relaciones
R A x B (x,y) R : x A Y B
Sean A = { 1, 2 }
B = { 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
en el par (1, 3)
x=1 y=3
2=21
entonces (1, 2) R
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) }
y B
y = 2x
R A x B
(1, 3) (2, 3) A x B
(1, 2)
(2, 2)
2
A
Ejes cartesianos
A
1
2
B
2
3
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 }
Se define R A x B mediante
(x,y) R x + y 5.
1+3=45
1+4=5=5
1+5=65
2+3=5=5
2+4=65
2+5=75
3+3=65
3+4=75
3+5=85
(1, 3) R
(1, 4) R
(1, 5) R
(2, 3) R
(2, 4) R
(2, 4) R
(3, 3) R
(3, 4) R
(3, 5) R
4+3=75
4+4=85
4+5=95
5+3=85
5+4=95
5 + 5 = 10 5
A x B
4
5
en Diagrama de Venn
B
3
(4, 3) R
(4, 4) R 3
4
(4, 5) R
(5, 3) R
5
(5, 4) R
(5, 5) R
En Grfico cartesiano
Composicin de Relaciones
A
S C
v
w
S: B C
(a, 2) R
Puede suceder:
Entonces:
B
1
Definimos la composicin de R y S,
que se escribe S R
(a, w) S R
A
a
b
y (2, w) S
SR
B S
S R = { (a, w) }
v
w
4) Se consideran A = { 1; 2; 3; 4; 5 } ; B={ 1; 4; 6; 16 }
C = {2 ;3 ;8 ;10}
(x,y) R y = x2 ; R A x B
A
1
2
4
4
16
surge que
4
6
16
C
2
3
10
(y,z) S z = y/2 ; S B x C
surge que
Si
El dominio de la relacin R es
un conjunto formado por todos
los elementos del primer
conjunto (A), que intervienen
en la relacin
R = { (x,y) A x B / y = x2 }
A
2
4
La imagen de la relacin R es un
conjunto formado por todos los
elementos del segundo conjunto
(B) que intervienen en la relacin
4
6
16
Dm R = { 1, 2, 4 }
El dominio de la relacin S es un
conjunto formado por todos los
elementos del primer conjunto (A),
que intervienen en la relacin
S = { (y,z) B x C / z = y/2 }
La imagen de la relacin R es un
conjunto formado por todos los
elementos del segundo conjunto
(B) que intervienen en la relacin
Dm S = { 4, 6, 16 }
Im R = { 1, 4, 16 }
Im R = { 2, 3, 8 }
S
1
4
6
16
C
2
3
8
10
S: B C
S R = S[R]
1 4
5 4
6
16
16
8 10
Que se lee
5 4
1
4
6
16
2
3 10
8
Es Reflexiva
x : x A (x, x) R
para todo elemento x se verifica que
si x pertenece al conjunto A
entonces
el par ordenado (x, x)
pertenece a la
Relacin R
5-6
7-8-9
11
Si algn(os) elemento(s) de
A se relaciona(n) consigo
mismo.
11
Si ningn elemento de A se
relaciona consigo mismo
A
b
Es No reflexiva
Es Arreflexiva
x / x A (x, x) R
existe(n) xtal que
x pertenece al conjunto A
y el par ordenado (x, x) no
pertenece a la Relacin R
x : x A (x, x) R
Es Simtica
b
c
Es No simtrica
a
c
x y A / (x, y) R (y, x) R
Es Asimtrica
Es Antisimtrica
a
Si en cada par de elementos de A,
(x,y) que admite simtrico,
sucede que x = y
x y A : (x, y) R (y, x) R x = y
5-6
7-8-9
11
b
c
b
c
11
Es transitiva
A
d
Es No transitiva
x y z A / (x,y) R (y,z) R (x,z) R
Es Atransitiva
x y z A : (x,y) R (y,z) R (x,z) R
5-6
7-8-9
11
A
d
11
11
a, b / (a, b) R (b, a) R
en caso contrario . . .
7-8-9
11
Es transitiva
5 b
Reflexiva
Simtrica
Transitiva
Clasificacin
0
1
Podemos
escribir
x: x A (x, x) R
la relacin es Reflexiva
Reflexiva
Simtrica
Transitiva
Clasificacin
pero . . .
( 3, 2 ) R ( 2, 1 ) R ( 3, 1 ) R
Es No transitiva
No es Relacin de Equivalencia
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
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.Si (1,2) R (2, 1) R.
Es Asimtrica
Por ejemplo . . .
( a, b ) R ( b, c ) R
( a, c ) R
Reflexiva
Simtrica
Transitiva
Clasificacin
Reflexiva
Simtrica
(x, y) R (y, z) R
(x, z) R
la relacin es Transitiva
Reflexiva
Simtrica
Transitiva
Clasificacin
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
Supongamos tres enteros positivos x, y, z; de manera que x > y > z
si x R y x R y y R x x R x
( x, y ) R (y,x) R (x,x) R
Si una relacin es simtrica y transitiva . . .
( x, y ) R
el par ordenado ( x, y )
pertenece a la relacin R
es reflexiva
xRy yRx
porque la relacin debe ser
simtrica (por hiptesis)
xRx
y tambin transitiva
por hiptesis
a
y
( y, x ) R
yRx xRy
Reflexiva
Simtrica
Transitiva
yRy
PARTICION DE UN CONJUNTO
Dado un conjunto A cualquiera no vaco, es posible establecer
una particin de A
A
A1
1
4
A2
2
A3
5
A1 = { 1; 4 }
A2 = { 2; 3 }
Donde: 1) A1 ;
2) A1 A2 =
A3 = { 5 }
A2 ;
A3
A1 A3 =
A2 A3 =
10) a) A1 = {x Z : 2 x} y A2 = { x Z : 2 x } con
P = { A1; A2 }
A1 = { enteros pares}
A2 = { enteros impares}
1) A1
A2
2) A1 A2 =
3) A1 A2 = A
Son subconjuntos de Q
N (naturales)
Z (enteros negativos)
Evaluar si Q = { N; Z- } es particin de Z
1) N
2) N Z =
3) N Z Z
pero . . . 0 N
Q = { N; Z- } NO es particin de Z
(no verifica la tercera condicin)
0Z
M = {A, B, C, },
B = {1, 3}
donde
C = {3}
A
B
2
1
3
M
C
Es Reflexiva
si A B y
B A; A B
BA
No Simtrica
Antisimtrica
Pero al ser reflexiva, cada par
reflexivo, tiene simtrico, entonces . . .
Si C B ; y
CA
Transitiva
Es una Relacin de Orden Amplio
en la relacin de inclusin
siempre est presente la
transitividad . . .
LATTICES
Cota Superior
y nica
Mxima
y nica
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
elementos se vinculan mediante una
Reflexiva
Antisimtrica Transitiva
relacin de orden
Relacin de orden
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)}
para (a,b)
c. s. mm. = b
para (b,c)
c. s. mm. = e
para (c,d)
c. i. Mx. = a
c. i. Mx. = a
para (b,g)
c. s. mm. = g
para (d,e)
c. s. mm. = g
c. i. Mx. = a
para (e,f)
c. s. mm. = g
c. s. mm. = f
c. i. Mx. = b
c. i. Mx. = a
c. i. Mx. = c
se aprecia que, efectivamente para dos elementos
cualesquiera de A, existen c.s.mn y c.i. Mx. y son nicas
a
b
f
g
siempre que el grfico resulta una retcula cerrada, como en este caso,
el conjunto con la relacin en l definida es Lttice (retcula)
a
b
NO hay Lttice
b
Observa que las retculas
estn abiertas
Ello se debe a que hay pares de elementos
e
que no tienen nica c.s.min y/ c.i.Mx
1
2
3
2y5
es lttice
12 b
18
4
12
que son el 4; 6 y 9
el 12 y el 18
por ejemplo
15
3
9
18
4
12
36
{ m, n }
Puede
suceder
que m = n
bien que
mn
Luego ( N, )
es Lttice
Si analizamos (N0, )
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
Si verifica dos condiciones:
es funcin . . .
Existencia
13a
Unicidad
13b
14 i
14 ii
14 iii
14 iv
14 v
14 vi
B
1
2
3
3
4
14
13c
En situaciones como
B
1
Es funcin
En el caso . . .
NO es funcin
13
14
13a
2
4
3
A
NO es funcin
2
3
3
4
13b
13c
14 i
14 ii
14 iii
14 iv
14 v
14 vi
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
B
2
13c
14 i
14 ii
14 iii
14 iv
14 v
14 vi
2
3
13b
y B, x A / y = f(x)
14
2
3
funcin NO inyectiva
asimismo el elemento 3 del conjunto B no
admite antecedente en el conjunto A
Si . . .
funcin NO sobreyectiva
13a
funcin NO inyectiva
3
13
funcin
sobreyectiva
B
4
14
B
1
13b
13c
14 i
14 ii
14 iii
14 iv
14 v
14 vi
2
3
funcin NO sobreyectiva
Im
Y = f(x)
14
13b
13c
14 i
14 ii
14 iii
14 iv
14 v
14 vi
13a
N y
R
3
2
y confeccionamos una
tabla, asignndole
valores a x para hallar
valores de y
x
si
R
N
x+1
13a
x + 1
13b
13c
1+1
14 i
14 ii
14 iii
14 iv
14 v
14 vi
14
Funciones
- 5 x
-5 1
-5
-1
-5 (-1)
-5 0
-5 2
-10
-2
-5 (-2)
Clasificacin
Rep. Grfica
10
13 c
1
x
2
1
x
2
Y
1
Y la relacin queda
representada por
puntos porque va de
Enteros pares en
Enteros.
-2
(-2)
(no corresponde el
trazado de linea
llena)
-4
(-4)
-6
-1
2
-2
3
(-6) - 3
13 c
Clasificacin
Rep. Grfica
definida de N en N
En este caso tanto el dominio
como la imagen son el
conjunto de los nmeros
naturales (N)
Funciones
Clasificacin
2x + 3
Rep. Grfica
21+3
22+3
Trazamos un par de
ejes coordenados
23+3
24+3
11
25+3
13
Y confeccionamos
una tabla de
valores para g(x)
Dm = { x / x R }
Dm = [ - ; ]
Im = { x / x R }
Im = [ - ; ]
- 3 x + 4
-31+4
-1
- 3 (-1) + 4
-32+4
-2
Rep. Grfica
Inyectiva
Es funcin biyectiva
14 ii
Clasificacin
Funciones
14 iii
14 iv
14 v
14 vi
14 ii)
Dm = { x / x R }
Dm = [ - ; ]
Clasificacin
4 42 4( 1)(3)
2( 1)
x1 1
4 16 12
2
x2 3
Rep. Grfica
- x2 + 4x - 3
- 12 + 4 1 - 3
- 32 + 4 3 - 3
- 22 + 4 2 - 3
- 02 + 4 0 - 3
-3
- 42 + 4 4 - 3
-3
14 iv
14 v
14 vi
02
+403=-3
No Inyectiva
f(4) = - 42 + 4 4 3 = - 3
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
Funciones
Clasificacin
Rep. Grfica
14 iii)
loga b c
ac b
ejemplo : log2 8 3
Log x
entregan valores
Ln x
2 8
en la tecla de la
calculadora falta la base ?
log2 8
loga x
log x
log a
log 8
0,903089987
log 2
0,3010299957
14 iv
14 v
debe . . .
14 vi
2,5
[log(2x-3)]/log2
0/0,301030
Y
0
0,301030/0,301030
3,5 0,602060/0,301030
5,5 0.903090/0,301030
9,5
1,204120/0,301030
log( 2x 3)
log2( 2x 3)
log 2
1,75 0,301030/0,301030 -1
-1/0,301030
recuerda que :
-3,32
Funciones
Clasificacin
Rep. Grfica
siempre que
2x 3 > 0
habr algn valor
para f(x)
si x = 1,5
trazamos entonces en x = 1,5 la
2x 3 = 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
como resultado un negativo
en esos valores ( x < 1.5 )
trazamos la curva
con los puntos conocidos (sin tocar la asntota)
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 }
Cada valor del dominio (eje x) tiene un
valor diferente en la imagen (eje y)
Funciones
Clasificacin
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
inyectiva y sobreyectiva
Es funcin biyectiva
14 iv)
x 1
Si f(x) = 3
x3 1
si
si
x0
x0
si 2 x 0
En primer lugar
reconocemos que x no
puede tomar valores
menores que -2
En consecuencia Dm = {x/x R x 2 }
Dn = [-2 ; )
Funciones
Clasificacin
Rep. Grfica
La representacin grfica se
realiza como para cualquier
otra relacin
14 vi
Para x > 0
f(x) = x - 1
y = x - 1
1-1
31
Funciones
Clasificacin
Rep. Grfica
Para x < 0
f(x) = x3 + 1
y = x3 + 1
x 1
f : Dm Im / f(x) = 3
x3 1
si
si
x0
x0
si 2 x 0
Funciones
Clasificacin
Rep. Grfica
Im = { x / x R x -7 }
Im = [-7; )
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
Funciones
Clasificacin
Rep. Grfica
2x
14 v) Si f(x) = 1
ln x
si
x 0
En primer lugar
reconocemos que x
puede tomar valores
que van de - a +
si 0 x 1
si
x 1
En consecuencia Dm = {x/x R }
Dn = (- ; + )
Funciones
Clasificacin
si 0 x 1 la funcin vale 1
si x > 0 la ley de variacin es lnx
Rep. Grfica
La representacin grfica se
realiza como para cualquier
otra funcin
Para x > 0
f(x) = ln x
ln x
ln 4
1,39
ln 8
2,08
Funciones
Clasificacin
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
y = 2x
2x
-1
2-1
1/2
-2
2-2
1/4
Funciones
Clasificacin
Rep. Grfica
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
Dm = { x / x R }
Dm = (-; )
Im = { y / y R y > 0 }
Im = (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 R
La funcin es No sobreyectiva
Funciones
Clasificacin
Rep. Grfica
2
14 vi) Si f(x) =
x3
2
x3
2
x3
-2
2/(-2+3)
-4
2/(-4+3)
-2
-1
2/(-1+3)
-5
2/(-5+3)
-1
2/(0+3)
2/3
-6
2/(-6+3) -2/3
2/(1+3)
1/2
-7
2/(-7+3)
2/(2+3)
2/5
-8
2/(-8+3) - 2/5
Funciones
Clasificacin
Rep. Grfica
-1/2
-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
Dm = { x / x R x - 3 }
Im = { y / y R y 0 }
Im = (-; 0) (0; )
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
Funciones
Clasificacin
Rep. Grfica
f : R R / f(x) = 3x + 4
f-1
y - 4 = 3x
luego despejo x
4x
3
4x
: R R/ f (x)
3
1
Funciones
Clasificacin
Rep. Grfica
4y
3
Representamos grficamente
4x
3
en el mismo grfico que
hemos representado
: R R / f
(x)
f : R R / f ( x ) 3x 4
confeccionamos
una tabla de
valores
x
4
-2
-8
Funciones
4x
3
44
3
4 ( 2 )
3
4 ( 8 )
3
Clasificacin
Rep. Grfica
f-1(x)
0
2
4
f : Dm R / f(x) = log2(2x-3)
Dm = { x / x R x > 1,5 }
entonces
f-1 : R R
> 1,5
/ f
2 = 2x - 3
luego despejo x
2x 3 2
(x)
3
2
ac = b
2x 2 3
2 3
x
2
3
2
Clasificacin
Rep. Grfica
y = log2(2x 3)
Funciones
Representamos grficamente
en el mismo grfico que
hemos representado
3
2
2 3
2
2,5
2 3
2
3,5
2 3
2
9,5
-1
-4
-10
2
2
3
2
10
(x)
3
2
f : R 1.5 R / f ( x ) log2( 2x 3)
: R R 1,5 / f
2 3
2
1
1,75
1,53
1,5001
Funciones
Clasificacin
Rep. Grfica
Es hora de descansar ! ! !