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 Benavides 1.2 4.5

Calero Cardona
Navarrete A

5.0 2.9
4.9 B

Funciones
Nocin de funcin
Una funcin permite representar la relacin entre dos conjuntos Arias Benavides 1.2 4.5

Calero Cardona
Navarrete A

5.0 2.9
4.9 B

Funciones
Nocin de funcin
Una funcin permite representar la relacin entre dos conjuntos Arias Benavides 1.2 4.5

Calero Cardona
Navarrete

5.0 2.9
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 y

1 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 y
z

1 4

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 y

1 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 y

1 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 y

1 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 y

1 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 2.9

Benavides

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 y

1 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 y

1 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 y

1 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 y

1 4

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 y

1 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 y

1 4

z
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 x y 1 2 3

z
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 b c a b c

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 4

3
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:

1 4

Funciones
Indique el dominio, codominio y rango de la siguiente funcin: Dominio={x,y}
Codominio={1,4,8} Rango={1,4} x 1 4

Funciones
Indique el dominio, codominio y rango de la siguiente funcin: x
y z

a b
c d e

Funciones
Indique el dominio, codominio y rango de la siguiente funcin: Dominio={x,y,z}
Codominio={a,b,c,d,e} Rango={a,c,e} x a b

y 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 00000001

00
01 10

00000010
00000011 00000100 ...

11
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

010 011
100 101

0 1 2

3 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 011
100 101

3 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 y

1 4

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

x y

1 4

z
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 y

1 4

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

x y

1 4

z 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 y

1
4 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 y

1
4 8 10

z 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
a 1

b c
d Es inyectiva

2
3 4 5

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 y
z

1 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 y
z

1 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 y

1 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 y

1 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 y

1 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 y

1 8
10

z 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 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 y z 8

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 b

2
3

c
d

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

1 8 10

y
z

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

1 8 10 Es biyectiva

y
z

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

1 8

y
z

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

1 8

y
z

No es biyectiva porque no es inyectiva

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

1 8 10

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

1 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
b c d 1 2 3

4 Es biyectiva

Funciones
Clasifique cada una de las siguientes funciones como inyectiva, sobreyectiva o biyectiva

Funciones

a b c

1
2 3 4

Funciones

a b c

1
2 3 4

Inyectiva pero no sobreyectiva

Funciones

a b c

1
2 3

Funciones

a b c

1
2 3

d Sobreyectiva pero no inyectiva

Funciones

a b c

1
2 3 4

Funciones

a b c

1
2 3 4 Biyectiva

Funciones

a b c

1
2 3 4

Funciones

a b c

1
2 3 4

Ni inyectiva ni sobreyectiva

Funciones

a b c

1
2 3 4

Funciones

a b c

1
2 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 b 1 2 3

c A

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 b
c A

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

2 3
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
b c

1 2
3 4 B

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

d
A

f-1(4)=d

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 BA no es una funcin f-1(a)=x f-1(a)=y

x
y z A

a b
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 BA no es una funcin f-1(a)=x f-1(a)=y

x
y z A

a b
B

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 BA no es una funcin porque no se tiene f-1(c)

x
y A

a b
c 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 BA no es una funcin porque no se tiene f-1(c)

x
y A

a b
c 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
f1 f2

Sobreyectiva

Biyectiva

Justifique solamente las propiedades que no se cumplen