Funciones

Funciones
Mariam Cobalea
Universidad de Mlaga
Dpto. de Matemtica Aplicada
Curso 14/15
Mariam Cobalea (UMA)
Matemtica Discreta, Curso 14/15
Funciones
1 / 36
Funciones
Las funciones son un tipo particular de relaciones.
Definicin 1 (Funcin)
Una funcin
para cada
A
aA
de
en
es una relacin binaria de
existe un nico
bB
tal que
A en B
(a, b ) f .
que verifica:
Ejemplo 1
Dados los conjuntos
A = {1, 2, 3, 4}
B = {5, 6, 7},
la relacin
Rf = {(1, 5), (2, 7), (3, 5), (4, 7)} A B

es una funcin, ya que cada elemento de
elemento de B .
Si
es una funcin de
Si (a, b ) f , escribimos
que est relacionado con
en
B,
se relaciona exactamente con un
se denota
f : A B.
f (a) = b,
ya que existe un nico elemento

mediante f .
Funciones
b
2 / 36
Funciones
Ejercicio
Dados los conjuntos
A = {1, 2, 3, 4}
B = {5, 6, 7},
se define la relacin
Rf = {(1, 5), (2, 5), (3, 6), (a, b )} A B
aA
Estudia si es posible encontrar elementos

(i)
Rf sea una funcin
(ii)
bB
tales que:
Rf no sea una funcin.
Ejercicio
Dados los conjuntos
A = {1, 2, 3, 4, 5}
B = {6, 7, 8, 9},
Rf = {(1, 8), (2, 6), (2, b ), (4, 7), (a, c ), (d , 8)} A B

Estudia si es posible hallar elementos
(i)
Rf sea una funcin
a, d A
(ii)
b, c B
tales que:
Rf no sea una funcin.
Funciones
3 / 36
Funciones
La terminologa asociada a funciones es consistente con la de relaciones.
Si
f:AB
es una funcin, entonces
el dominio de
es todo el conjunto
se llama codominio de
A.
f.
en la expresin f (a) = b, al elemento a se le llama argumento

de la funcin y al elemento b se le llama el valor de la funcin para
el argumento a.
tambin decimos que el elemento

mediante la funcin f .
el rango de la funcin, que en este contexto se denomina preferiblemente

imagen, puede ser un subconjunto propio de B : Im(f ) B .
es la imagen del elemento
Funciones
4 / 36
Funciones
* Para definir una funcin

el dominio,
(ii)
(iii) el valor de
f (a )
(i)
f:AB
hay que especificar:
el codominio
para cada posible argumento
Si A B , llamamos funcin inclusin a la funcin

por i (a) = a.
a A.
i : A B,
definida
En particular, si A = B , la funcin anterior se llama identidad de

y se denota 1A ; es decir, 1A (a) = a.
Funciones
5 / 36
Funciones
Las funciones ms comunes en las matemticas elementales son aquellas en
las que A y B son conjuntos de nmeros, N, Z, R, ....
En este caso, la manera ms sencilla de especificar una funcin es mediante
una frmula.
Ejemplo 2
La funcin de
f1 : Z N
, definida
La funcin
f2 : R R+ ,
La funcin
f3 : R R,
La funcin
f4 : (0, 1) R,
f2 (x ) = 2x .
definida
definida
f1 (x ) = x 2 .
f3 (x ) = senx .
definida
1
2 x)
f4 (x ) = x((1
x)
Funciones
6 / 36
Funciones
Ejemplo 3 (Funcin suelo)
bc
Z
7
bx c = mx{k Z |
Por ejemplo, b3, 6c = 3,
b3, 6c = 4,
k x}
b0, 8c = 0,
b7c = 7
Ejemplo 4 (Funcin techo)

de
Z
7
dx e = mn{k Z |
Por ejemplo, d3, 6e = 4,
d3, 6e = 3,
x k}
d0, 4e = 1,
d7e = 7
Funciones
7 / 36
Funciones
Algunas funciones requieren una definicin a trozos.
Ejemplo 5 (Funcin valor absoluto)
La funcin
g: ZZ
dada por
g (x ) =
Esta funcin asigna a cada entero

se denota |x |.
si
x 0
si
x <0
su valor absoluto, que habitualmente
Funciones
8 / 36
Funciones
Si el dominio de la funcin tiene n elementos, la funcin se puede definir
explcitamente dando los valores para todos los posibles argumentos.
Ejemplo 6
A = {a1 , a2 , a3 , a4 , a5 }, B = {b1 , b2 , b3 }
f
A
a1
a2
a3
a4
a5
7
7
B
b3
b1
b3
b2
b1
A a1 a2 a3 a4 a5
B b3 b1 b3 b2 b1
En estos casos, considerando el conjunto A como lista ordenada, podemos

identificar cada funcin f : A B con la secuencia de sus imgenes.
As, la funcin anterior queda determinada por (b3 , b1 , b3 , b2 , b1 )
Funciones
9 / 36
Funciones
Un caso particular del ejemplo anterior, bastante importante en matemticas,
son las permutaciones, es decir, funciones del conjunto {1, 2, . . . , n} en s
mismo.
En estas funciones, en lugar de la tablas que hemos usado anteriormente,
utilizamos una expresin matricial.
Ejemplo 7
Para
n = 3,
las seis permutaciones distintas son:

!
!
1 2 3
1 2 3
0 =
1 =
1 2 3
1 3 2
!
!
1 2 3
1 2 3
3 =
4 =
2 3 1
3 1 2
2
1
3
3
2 =
1
2
2
2
3
1
5 =
1
3
El conjunto de todas las permutaciones de 3 elementos se denota S3

S3 = {0 , 1 , 2 , 3 , 4 , 5 }
Funciones
10 / 36
Funciones
Relacin de equivalencia inducida por una funcin
Ejercicio
Sea la funcin
f : A B.
a1
= a2
Demuestra que
determina.
En el conjunto
f (a1 ) = f (a2 )
es una relacin de equivalencia y describe la particin que
Funciones
11 / 36
Funciones
Composicin de funciones
Teorema 1
Si
f:AB
g: B C
son funciones, entonces la composicin
g f : AC
definida
g f (a) = g (f (a)), a A
tambin es una funcin.

Ejemplo 8
Sean las funciones f : R R y
g (x ) = x + 7. Entonces
g: RR
definidas
f (x ) = x 2 ,
g f (x ) = g (f (x )) = g (x 2 ) = x 2 + 7
Funciones
12 / 36
Funciones
Ejemplo 9
Dados los conjuntos A = {a1 , a2 , a3 , a4 , a5 },
B = {b1 , b2 , b3 , b4 } y
C = {c1 , c2 , c3 , c4 , c5 , c6 }, se consideran las funciones f : A B y
definidas
f (a1 ) = b3
g (b1 ) = c3
f (a2 )
f (a3 )
f (a4 )
f (a5 )
La composicin
=
=
=
=
g f :AC
(g
(g
(g
(g
(g
b1
b1
b3
b3
g (b2 )
g (b3 )
g (b4 )
=
=
=
g : B C,
c1
c5
c6
est definida
f )(a1 )
f )(a2 )
f )(a3 )
f )(a4 )
f )(a5 )
=
=
=
=
=
g
g
g
g
g
f (a1 ) = g (b3 ) = c5
f (a2 ) = g (b1 ) = c3
f (a3 ) = g (b1 ) = c3
f (a4 ) = g (b3 ) = c5
f (a5 ) = g (b3 ) = c5
Funciones
13 / 36
Funciones
Ejemplo 9
A
a1
a2
a3
a4
a5
B
b1
b2
b3
b4
C
c1
c2
c3
c4
c5
c6
Funciones
14 / 36
Funciones
* La composicin de funciones no es conmutativa. En general,
g f
6= f g
Ejemplo 10
2
3
3
2
1 2 =
1
1
2
1
3
3
2 1 =
1
2
2
1
3
3
1
2
2
3
3
2
1
1
2
1
3
2
1
3
2
3
3
1
1
2
= 4
= 3
La composicin de funciones verifica la propiedad asociativa.

Teorema 2
Sean las funciones
f : A B, g : B C
h : C D.
Entonces
(h g ) f = h (g f )
Funciones
15 / 36
Funciones
Imagen y Preimagen
Definicin 2 (Imagen y Preimagen)

Sea la funcin f : A B y sean los subconjuntos A1 A y B1 B .
Se llama imagen directa del subconjunto A1 al conjunto de imgenes de los
elementos de A1 . Se denota f (A1 ).
f (A1 ) = {b B
Para
A1 = A,
| a A1 ,
f (a) = b}
tenemos
f (A) = {b B
| a A,
f (a) = b} = rang (f )
Se llama preimagen del subconjunto B1 al conjunto de elementos de

cuya imagen es un elemento de B1 . Se denota f 1 (B1 ).
f 1 (B1 ) = {a A | f (a) B1 }
Funciones
16 / 36
Funciones
Imagen y Preimagen
Ejemplo 11
Para
A = {a1 , a2 , a3 , a4 , a5 , a6 }
f:
Si consideramos
A1 = {a2 , a3 , a4 },
B = {b1 , b2 , b3 , b4 , b5 }
definimos la funcin:
AB
f (a1 ) = b2
f (a2 ) = b1
f (a3 ) = b3
f (a4 ) = b2
f (a5 ) = b3
f (a6 ) = b4
tenemos que
f (A1 ) = f {a2 , a3 , a4 } = {b1 , b3 , b2 }

1
f (f (A1 )) = f 1 ({b1 , b3 , b2 }) = {a1 , a2 , a3 , a4 , a5 } A1
Funciones
17 / 36
Funciones
Imagen y Preimagen
Ejemplo 11
A = {a1 , a2 , a3 , a4 , a5 , a6 }
B = {b1 , b2 , b3 , b4 , b5 }
f:
Para el subconjunto
AB
f (a1 ) = b2
f (a2 ) = b1
f (a3 ) = b3
f (a4 ) = b2
f (a5 ) = b3
f (a6 ) = b4
B1 = {b3 , b4 , b5 },
tenemos
f 1 (B1 ) = {a3 , a5 , a6 }
f (f 1 (B1 )) = {b3 , b4 } B1
Funciones
18 / 36
Funciones
Propiedades de la Imagen y la Preimagen
Ejemplo 12
En el conjunto Z se consideran los subconjuntos
A1 = {x Z| 10 x < 0} y B1 = {x Z|0 < x 5}
y la funcin
f (A1 )
f 1 (f (A1 ))
f:ZZ
definida
f (x ) = x 2 .
Entonces
f 1 (B1 )
= {1, 4, 9, 16, . . . , 100}
f (f 1 (B1 ))
= {10, . . . , 2, 1, 1, 2, . . . , 10}
Se puede observar que
A1 f 1 (f (A1 ))
= {2, 1, 1, 2}
= {1, 4}
f (f 1 (B1 )) B1
Teorema 3
Sea la funcin
Entonces
f:AB
y sean los subconjuntos
A1 f 1 (f (A1 ))
A1 A
B1 B .
f (f 1 (B1 )) B1
Funciones
19 / 36
Funciones
Tipos de funciones
Definicin 3
Sea
f : A B una funcin. Se dice que

f es inyectiva si elementos distintos tienen imgenes distintas:
para todo a1 , a2 A, si a1 6= a2 , entonces f (a1 ) 6= f (a2 )
Equivalentemente,
para todo
es inyectiva si
a 1 , a 2 A,
si
f (a1 ) = f (a2 ),
entonces
a1 = a2
Ejemplo 13
Las inclusiones
La funcin
La funcin
i: A B
son funciones inyectivas.
f : N N, definida f (x ) = 2x , es inyectiva.
g : R [1, 1], definida g (x ) = sen x , no es inyectiva.
Funciones
20 / 36
Funciones
Tipos de funciones
Ejercicio
Dados los conjuntos
A = {1, 2, 3, 4}
Rf
B = {5, 6, 7}, se define la relacin

= {(1, 5), (2, 5), (3, 6), (a, b )} A B

una funcin inyectiva.
aA
bB
tales que Rf
sea
Ejercicio
Sea el conjunto
matriz
= {x , y , z , t } y Rf X X la relacin binaria dada por la
MR =
Completa la matriz
Mf
0
1
0
sabiendo que
0 1
0 0
0

Rf
0
0
1
es una funcin inyectiva.
Funciones
21 / 36
Funciones
Tipos de funciones
Definicin 4
Sea

f es sobreyectiva si todo elemento del codominio tiene preimagen:
para todo b B , existe a A, tal que f (a) = b
Ejemplo 14
1
La funcin
g : R [1, 1],
definida
g (x ) = sen x ,
es sobreyectiva.
Ejercicio
Dados los conjuntos
A = {1, 2, 3, 4}
Rf
B = {5, 6, 7}, se define la relacin

= {(1, 5), (2, 5), (3, 6), (a, b )} A B

una funcin sobreyectiva.
aA
bB
tales que Rf
Funciones
sea
22 / 36
Funciones
Tipos de funciones
Ejercicio
Dados los conjuntos
A = {1, 2, 3, 4, 5}
B = {6, 7, 8, 9},
Rf = {(1, 8), (2, 6), (2, b ), (4, 7), (a, c ), (d , 8)} A B

En cada uno de los apartados, estudia si es posible hallar elementos
b, c B tales que:
a, d A
(i) Rf no sea una funcin.

(ii) Rf sea una funcin inyectiva.
(iii) Rf sea una funcin, pero no sea sobreyectiva.
Funciones
23 / 36
Funciones
Tipos de funciones
Definicin 5
Sea

f es biyectiva si es inyectiva y sobreyectiva.
Ejemplo 15
1
Las identidades
La permutacin
1A son funciones biyectivas.

=
1
2
2
1
!
3
3
es biyectiva.
La funcin g : R [1, 1], definida g (x ) = sen x ,

no es biyectiva ya que es sobreyectiva, pero no es inyectiva.
La funcin
es biyectiva.
h : [ 2 , 2 ] [1, 1],
definida
h(x ) = sen x ,
Funciones
24 / 36
Funciones
Tipos de funciones
Ejercicio
Sean los conjuntos
S = {1, 2}
= {a, b , c , d }.
(a) Determina el nmero de funciones de
en
Cuntas de estas funciones son sobrectivas?
Cuntas de estas funciones no son inyectivas?
(b) Determina el nmero de funciones de
en
Cuntas de estas funciones son inyectivas?
Cuntas no son sobreyectivas?
Cuntas de estas funciones son sobreyectivas?
que se pueden definir.
que se pueden definir.
Funciones
25 / 36
Funciones
Tipos de funciones
Ejercicio
Sea el conjunto Z de los nmeros enteros y las funciones
(i) Determina
ZZ
(a , b )
ab
g f
f g.
(ii) Estudia las propiedades de
f,
g,
g f
Z
a 7
ZZ
(a, a)
f g.
Funciones
26 / 36
Funciones
Tipos de funciones
Teorema 4
1
Si
son inyectivas, entonces
g f
Si
son sobreyectivas, entonces
tambin es inyectiva.
g f
tambin es sobreyectiva.
Corolario 5
Si
son biyectivas, entonces
g f
es biyectiva.
Ejercicio
Demuestra que el recproco de los resultados anteriores no se verifica.
Si
Si
g f
g f
es inyectiva, puede que
es sobreyectiva, puede que
no lo sea.
no lo sea.
(Indicacin: Da un contraejemplo)
Funciones
27 / 36
Funciones
Tipos de funciones
Sin embargo, podemos demostrar los resultados siguientes:

Teorema 6
1
Si
Si
g f
g f
es inyectiva, entonces
es sobreyectiva, entonces
es inyectiva.
es sobreyectiva
Corolario 7
Si
g f
es biyectiva, entonces
es inyectiva y
es sobreyectiva.
Funciones
28 / 36
Funciones
Ejemplo 16
Dados los conjuntos A = {a1 , a2 , a3 , a4 },
B = {b1 , b2 , b3 , b4 , b5 } y
C = {c1 , c2 , c3 , c4 }, se consideran las funciones f : A B y g : B C , definidas
f (a1 )
f (a2 )
f (a3 )
f (a4 )
La composicin
=
=
=
=
g f :AC
(g
(g
(g
(g
g (b1 )
g (b2 )
g (b3 )
g (b4 )
g (b5 )
b1
b4
b2
b3
=
=
=
=
=
c3
c1
c4
c2
c3
est definida
f )(a1 )
f )(a2 )
f )(a3 )
f )(a4 )
=
=
=
=
g
g
g
g
f (a1 ) = g (b1 ) = c3
f (a2 ) = g (b4 ) = c2
f (a3 ) = g (b2 ) = c1
f (a4 ) = g (b3 ) = c4
Funciones
29 / 36
Funciones
Ejemplo 16
B
A
a1
a2
a3
a4
b1
b2
b3
b4
C
c1
c2
c3
c4
b5
Funciones
30 / 36
Funciones
Funciones inversibles
Definicin 6
Dada la funcin f :
de f si, para cada
A B,
aA
g: B A
se dice que
y bB
(g f )(a) = a,
es una funcin inversa
(f g )(b ) = b
En otras palabras,
g f
= 1A
f g = 1B
Las ecuaciones de la definicin pueden enunciarse
f (a) = b
g (b) = a
lo cual se corresponde con la nocin intuitiva de inversa.

Funciones
31 / 36
Funciones
Ejemplo 17
Dada la funcin
funcin inversa
f : Z Z definida por f (x ) = x + 7,
g si tenemos en cuenta que
x +7=y
de forma que
g (y ) = y 7
podemos hallar una
y 7=x
verifica
(g f )(x ) = g (f (x )) = g (x + 7) = (x + 7) 7 = x = 1Z (x )
Funciones
32 / 36
Funciones
No toda funcin tiene una inversa, pero si la tiene, es nica.

En efecto, dada f : A B , si podemos encontrar funciones g y g 0 que
satisfacen ambas las condiciones para ser una inversa de f , entonces
g0 f
As tenemos
= 1A
f g = 1B
g = (g 0 f ) g = g 0 (f g ) = g 0
Por esta razn, hablaremos de la inversa de f (si existe) y utilizaremos la

notacin f 1 para la nica funcin inversa de f .
Adems, la inversa de
f 1
es
(Por qu?)
(f 1 )1 = f
Funciones
33 / 36
Funciones
Definicin 7
Una funcin f : A B se llama inversible si tiene inversa. Esto es, existe una
funcin f 1 : B A tal que
f 1 f = 1A
y f f 1 = 1B
Ejemplo 18
La funcin f : Z Z definida por f (x ) = x + 7, es inversible. Como hemos
visto, su inversa es la funcin f 1 : Z Z definida f 1 (x ) = x 7.
En el siguiente teorema se da la condicin necesaria y suficiente para que una
funcin sea inversible.
Teorema 8
Una funcin
f:AB
es inversible si, y slo si, es biyectiva.
Funciones
34 / 36
Funciones
Ejercicio
Usa el teorema anterior para demostrar los enunciados siguientes:
1
La inversa de una funcin biyectiva es tambin una funcin biyectiva.
Si
de
f : AB y g: B A
g f es f 1 g 1
g f
son funciones biyectivas, entonces la inversa
1
= f 1 g 1
Funciones
35 / 36
Funciones
Bibliografa
Matemtica Discreta N.L.Biggs (Ed. Vicens Vives)

Matemtica Discreta F. Garca Merayo (Ed. Paraninfo)
Problemas resueltos de Matemtica Discreta F. Garca Merayo,
G. Hernndez Pealver y A. Nevot Luna (Ed. Thomson)
Matemticas Discreta y combinatoria R.P. Grimaldi (Ed. Addison Wesley)
Matemtica Discreta R. Johnsonbaugh (Ed. Prentice Hall)
Estructuras de Matemticas Discretas para la Computacin
B. Kolman y R.C. Busby (Ed. Prentice Hall)
2000 Problemas resueltos de Matemtica Discreta
S. Lipschutz y M. Lipson (Ed. McGraw Hill)
Matemtica Discreta y sus aplicaciones K. Rosen (Ed. McGraw Hill)
Matemtica Discreta K.A. Ross y C.R.B. Wright (Ed. Prentice Hall)
Funciones
36 / 36

Funciones

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Funciones

Caricato da

Copyright:

Formati disponibili

Funciones

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

es una relacin binaria de

Rf = {(1, 5), (2, 7), (3, 5), (4, 7)} A B

se relaciona exactamente con un

ya que existe un nico elemento

Matemtica Discreta, Curso 14/15

Rf = {(1, 5), (2, 5), (3, 6), (a, b )} A B

Estudia si es posible encontrar elementos

Rf sea una funcin

Rf no sea una funcin.

Rf = {(1, 8), (2, 6), (2, b ), (4, 7), (a, c ), (d , 8)} A B

Rf sea una funcin

Mariam Cobalea (UMA)

Rf no sea una funcin.

Matemtica Discreta, Curso 14/15

es una funcin, entonces

en la expresin f (a) = b, al elemento a se le llama argumento

tambin decimos que el elemento

el rango de la funcin, que en este contexto se denomina preferiblemente

Mariam Cobalea (UMA)

es la imagen del elemento

Matemtica Discreta, Curso 14/15

* Para definir una funcin

hay que especificar:

para cada posible argumento

Si A B , llamamos funcin inclusin a la funcin

En particular, si A = B , la funcin anterior se llama identidad de

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

Por ejemplo, b3, 6c = 3,

Ejemplo 4 (Funcin techo)

Por ejemplo, d3, 6e = 4,

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

Esta funcin asigna a cada entero

Mariam Cobalea (UMA)

su valor absoluto, que habitualmente

Matemtica Discreta, Curso 14/15

En estos casos, considerando el conjunto A como lista ordenada, podemos

Matemtica Discreta, Curso 14/15

las seis permutaciones distintas son:

El conjunto de todas las permutaciones de 3 elementos se denota S3

Matemtica Discreta, Curso 14/15

Mariam Cobalea (UMA)

es una relacin de equivalencia y describe la particin que

Matemtica Discreta, Curso 14/15

son funciones, entonces la composicin

tambin es una funcin.

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

Mariam Cobalea (UMA)

Matemtica Discreta, Curso 14/15

* La composicin de funciones no es conmutativa. En general,

La composicin de funciones verifica la propiedad asociativa.

Matemtica Discreta, Curso 14/15

Definicin 2 (Imagen y Preimagen)

Se llama preimagen del subconjunto B1 al conjunto de elementos de

Matemtica Discreta, Curso 14/15