Matemticas Discretas

Oscar Bedoya
oscar.bedoya@correounivalle.edu.co
http://eisc.univalle.edu.co/~oscarbed/MD/
* Definicin de funcin
* Dominio, Codominio y Rango
* Funciones inyectivas, sobreyectivas y biyectivas
* Funcin inversa
 Funciones

Nocin de funcin
Una funcin permite representar la relacin entre dos
conjuntos
 Funciones

Nocin de funcin
Una funcin permite representar la relacin entre dos
conjuntos
A = {Arias, Benavides, Calero, Cardona, Navarrete}
B = {1.2, 2.9, 4.5, 4.9, 5.0}
 Funciones

Nocin de funcin
Una funcin permite representar la relacin entre dos
conjuntos

Arias 1.2
Benavides 4.5
Calero 5.0
Cardona 2.9
Navarrete 4.9

A B
 Funciones

Nocin de funcin
Una funcin permite representar la relacin entre dos
conjuntos

Arias 1.2
Benavides 4.5
Calero 5.0
Cardona 2.9
Navarrete 4.9

A B
 Funciones

Nocin de funcin
Una funcin permite representar la relacin entre dos
conjuntos

Arias 1.2
Benavides 4.5
Calero 5.0
Cardona 2.9
Navarrete 4.9

f(Arias)=4.5
f(Benavides)=1.2
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z

No es funcin porque z debe

tener un valor asignado en B
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
8
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
8

f(x)=1, f(y)=4
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
8
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
8

No es funcin porque debe asignarse

exactamente un elemento de B
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

Arias 1.2
Benavides 2.9
4.0
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z

f(x)=1, f(y)=1, f(z)=4

 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z 8
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z 8

f(x)=1, f(y)=1, f(z)=1

 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z 8
 Funciones

Funcin
Dados dos conjuntos A y B, una funcin f de A a B,
denotada como f: AB, asigna a cada elemento de A
exactamente un elemento de B

x 1
y 4
z 8

No es funcin
 Funciones

Indique si la siguiente relacin entre los conjuntos

A={w,x,y,z} y B={1,2,3,4} es una funcin.
f(w)=3, f(x)=4, f(y)=4, f(z)=3
 Funciones

Indique si la siguiente relacin entre los conjuntos

A={w,x,y,z} y B={1,2,3,4} es una funcin.
f(w)=3, f(x)=4, f(y)=4, f(z)=3

w 1
x 2
y 3
z 4

Es funcin
 Funciones

Indique si la siguiente relacin entre los conjuntos

A={a,b,c,d} y B={a,b,c,d} es una funcin.
f(c)=d, f(a)=c, f(b)=a, f(c)=b, f(d)=c
 Funciones

Indique si la siguiente relacin entre los conjuntos

A={a,b,c,d} y B={a,b,c,d} es una funcin.
f(c)=d, f(a)=c, f(b)=a, f(c)=b, f(d)=c

a a
b b
c c
d d

No es funcin
 Funciones

Las funciones se pueden especificar por medio de

frmulas, por ejemplo,
f(x)=x+1, de Z a Z
 Funciones

Las funciones se pueden especificar por medio de

frmulas, por ejemplo,
f(x)=x+1, de Z a Z

1 2
2 3
3 4
4 5

 Funciones

Indique si cada f es, o no, una funcin de R en R:

f(x)=1/x
f(x)= x
f(x)= x
f(x)=x2+1
 Funciones

Indique si cada f es, o no, una funcin de R en R:

f(x)=1/x. no es una funcin porque f(0) no est definida
f(x)= x . no es una funcin porque f(-1) no est definida
f(x)= x. no es una funcin porque asigna dos valores a x
f(x)=x2+1. si es una funcin
 Funciones

Dominio, Codominio y Rango

Si f es una funcin de A a B, se dice que:
A es el dominio
B es el codominio
El rango de f es el conjunto de todas las imgenes
de los elementos de A. Si f(a)=b se dice que b es la
imagen de a
 Funciones

Indique el dominio, codominio y rango de la siguiente

funcin:

x 1
y 4
8
 Funciones

Indique el dominio, codominio y rango de la siguiente

funcin:
Dominio={x,y}
Codominio={1,4,8}
x 1
Rango={1,4}
y 4
8
 Funciones

Indique el dominio, codominio y rango de la siguiente

funcin:

x a
y b
z c
d
e
 Funciones

Indique el dominio, codominio y rango de la siguiente

funcin:
Dominio={x,y,z}
Codominio={a,b,c,d,e} x a
Rango={a,c,e} y b
z c
d
e
 Funciones

Indique el rango de la siguiente funcin:

f(x)=x2, de los reales a los reales
 Funciones

Indique el rango de la siguiente funcin:

f(x)=x2, de los reales a los reales
- Dominio=R
- Codominio=R
- Rango=R+ 0
 Funciones

Sea f la funcin que toma cualquier cadena de 8 bits y

devuelve los dos ltimos bits. Indique el dominio y el rango
 Funciones

Sea f la funcin que toma cualquier cadena de 8 bits y

devuelve los dos ltimos bits. Indique el dominio y el rango

00000000
00
00000001
01
00000010
10
00000011
11
00000100
... rango

11111111

dominio
 Funciones

Sea f la funcin que toma cualquier cadena de 3 bits y

devuelve la cantidad de 1s. Indique el dominio y el rango
 Funciones

Sea f la funcin que toma cualquier cadena de 3 bits y

devuelve la cantidad de 1s. Indique el dominio y el rango

000
001
0
010
1
011
2
100
3
101
rango
110
111
dominio
 Funciones

Sea f la funcin que toma cualquier cadena de 3 bits y asigna

la diferencia entre el nmero de 1s y el numero de 0s
Indique el dominio y el rango
 Funciones

Sea f la funcin que toma cualquier cadena de 3 bits y asigna

la diferencia entre el nmero de 1s y el numero de 0s.

000
001
010
1
011
100
3
101
rango
110
111
dominio
 Funciones

Tipos de funciones
Inyectiva
Sobreyectiva
Biyectiva
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica

x 1
y 4
z 8
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica

x 1
y 4
z 8

No es inyectiva
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica

x 1
y 4
z 8
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica

x 1
y 4
z 8

Es inyectiva
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica

x 1

y 4

z 8
10
 Funciones

Funcin inyectiva
Una funcin f se llama uno a uno o inyectiva, si y solo si,
cada imagen asociada es nica

x 1

y 4

z 8
10
Es inyectiva
 Funciones

Indique cules de las siguientes funciones son inyectivas:

f de {a,b,c,d} a {1,2,3,4,5} donde f(a)=4, f(b)=5, f(c)=1 y
f(d)=3
f(x)=x2 de los enteros a los enteros
f(x)=x+1 de los enteros a los enteros
 Funciones

f de {a,b,c,d} a {1,2,3,4,5} donde f(a)=4, f(b)=5, f(c)=1 y

f(d)=3

1
a
2
b
3
c
4
d
5

Es inyectiva
 Funciones

f(x)=x2 de los enteros a los enteros, no es inyectiva

porque f(1)=f(-1)=1

f(x)=x+1 de los enteros a los enteros, si es inyectiva

porque cada x tiene un solo y asignado, x+1
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B (codominio), existe un elemento a A tal que
f(a)=b
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B (codominio), existe un elemento a A tal que
f(a)=b
Una funcin es sobreyectiva si el codominio es igual al
rango
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x 1

y
z 8
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x 1

y
z 8

Es sobreyectiva
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x 1

y 8
10
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x 1

y 8
10

No es sobreyectiva porque
10 no est en el rango
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x 1

y 8

z 10
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x 1

y 8

z 10

Es sobreyectiva
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x
y 8
z
 Funciones

Funcin sobreyectiva
Una funcin f es sobreyectiva, si y solo si, para cada
elemento b B, existe un elemento a A tal que f(a)=b

x
y 8
z

Es sobreyectiva
 Funciones

Indique cules de las siguientes funciones son

sobreyectivas:
f de {a,b,c,d} a {1,2,3} donde f(a)=3, f(b)=2, f(c)=1 y
f(d)=3
f(x)=x2 de los enteros a los enteros
f(x)=x+1 de los enteros a los enteros
 Funciones

f de {a,b,c,d} a {1,2,3} donde f(a)=3, f(b)=2, f(c)=1 y f(d)=3

a 1

b 2

c 3

Es sobreyectiva
 Funciones

f(x)=x2 de los enteros a los enteros, no es sobreyectiva

porque -1 que est en el codominio no est en el rango

f(x)=x+1 de los enteros a los enteros, si es sobreyectiva

porque cada y del codominio es una imagen
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva

x 1

y 8

z 10
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva

x 1

y 8

z 10

Es biyectiva
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva

x 1

y 8

z
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva

x 1

y 8

No es biyectiva porque
no es inyectiva
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva

x 1

Y 8
10
 Funciones

Funcin biyectiva
Una funcin f es biyectiva si es inyectiva y sobreyectiva

x 1

Y 8
10

No es biyectiva porque
no es sobreyectiva
 Funciones

Indique si la funcin f de {a,b,c,d} a {1,2,3,4} donde f(a)=4,

f(b)=2, f(c)=1, f(d)=3 es biyectiva
 Funciones

Indique si la funcin f de {a,b,c,d} a {1,2,3,4} donde f(a)=4,

f(b)=2, f(c)=1, f(d)=3 es biyectiva

a 1

b 2

c 3

d 4

Es biyectiva
 Funciones

Clasifique cada una de las siguientes funciones como

inyectiva, sobreyectiva o biyectiva
 Funciones

a 1
b 2
c 3
4
 Funciones

a 1
b 2
c 3
4

Inyectiva pero no sobreyectiva

 Funciones

a 1
b 2
c 3
d
 Funciones

a 1
b 2
c 3
d

Sobreyectiva pero no inyectiva

 Funciones

a 1
b 2
c 3
d 4
 Funciones

a 1
b 2
c 3
d 4

Biyectiva
 Funciones

a 1
b 2
c 3
d 4
 Funciones

a 1
b 2
c 3
d 4

Ni inyectiva ni sobreyectiva
 Funciones

a 1
b 2
c 3
4
 Funciones

a 1
b 2
c 3
4

No es funcin
 Funciones

Funcin inversa
Dada una funcin f:AB, la funcin inversa de f, denotada
por f-1, asigna a un elemento b B un solo elemento a A tal
que f(a)=b

a 1
b 2
c 3

A B
 Funciones

Funcin inversa
Dada una funcin f:AB, la funcin inversa de f, denotada
por f-1, asigna a un elemento b B un solo elemento a A tal
que f(a)=b

a 1 f-1(1)=a
b 2 f-1(2)=c
c 3 f-1(3)=b

A B
 Funciones

Muestre la inversa para f:AB, donde A={a,b,c,d},

B={1,2,3,4} y f(a)=2, f(b)=3, f(c)=1, f(d)=4
 Funciones

Muestre la inversa para f:AB, donde A={a,b,c,d},

B={1,2,3,4} y f(a)=2, f(b)=3, f(c)=1, f(d)=4

a 1 f-1(1)=c
b 2 f-1(2)=a
c 3 f-1(3)=b
d 4 f-1(4)=d

A B
 Funciones

Muestre la inversa para f:AB, donde A={x,y,z}, B={a,b} y

f(x)=a, f(y)=a, f(z)=b
 Funciones

Muestre la inversa para f:AB, donde A={x,y,z}, B={a,b} y

f(x)=a, f(y)=a, f(z)=b

La relacin que hay de

x a BA no es una funcin
b f-1(a)=x
y
f-1(a)=y
z
B
A
 Funciones

Muestre la inversa para f:AB, donde A={x,y,z}, B={a,b} y

f(x)=a, f(y)=a, f(z)=b

La relacin que hay de

x a BA no es una funcin
b f-1(a)=x
y
f-1(a)=y
z
B
A

f-1 no est definida cuando f no es inyectiva

 Funciones

Muestre la inversa para f:AB, donde A={x,y}, B={a,b,c} y

f(x)=a, f(y)=b
 Funciones

Muestre la inversa para f:AB, donde A={x,y}, B={a,b,c} y

f(x)=a, f(y)=b

La relacin que hay de

x a BA no es una funcin
b porque no se tiene f-1(c)
y
c
A
B
 Funciones

Muestre la inversa para f:AB, donde A={x,y}, B={a,b,c} y

f(x)=a, f(y)=b

La relacin que hay de

x a BA no es una funcin
b porque no se tiene f-1(c)
y
c
A
B

f-1 no est definida cuando f no es sobreyectiva

 Funciones

Funcin inversa
Una funcin f:AB es invertible si es biyectiva
 Funciones

Indique cules de las siguientes funciones son invertibles.

f:RR
f(x)=2x+1
f(x)=x2+1
f(x)=x3
f(x)=(x2+1)/(x2+2)
 Funciones

Indique cules de las siguientes funciones son invertibles.

f:RR
f(x)=2x+1, es invertible
f(x)=x2+1, no es invertible. f(-1)=f(1)=1 no es inyectiva
f(x)=x3, es invertible
f(x)=(x2+1)/(x2+2), no es invertible. no es inyectiva
[f(-1)=f(1)=2/3], ni sobreyectiva (0 no es imagen en f)
 Funciones

Determine si las siguientes funciones, de R a R, son

invertibles:
f(x)= x/2
f(x)=3x2+7
f(x)=(x+1)/(x+2)
f(x)=x5+1
 Funciones

Determine si las siguientes funciones, de R a R, son

invertibles:
f(x)= x/2 . no, no es inyectiva. f(1)=f(2)=1
f(x)=3x2+7. no, no es inyectiva. f(1)=f(-1)=10
f(x)=(x+1)/(x+2). no, no es sobreyectiva. 1 no es imagen
f(x)=x5+1. si
 Funciones

Dada las siguientes funciones de los enteros a los enteros,

complete la tabla indicando si cumple, o no, cada propiedad
f1(x) = x2 1
f2(x) = 5x - 8

Inyectiva Sobreyectiva Biyectiva

f1
f2

Justifique solamente las propiedades que no se cumplen