Matemática IC

Apunte 05 - Funciones
Prof. Alfredo Alzaga
Segundo cuatrimestre 2023

Conjuntos
Un conjunto es una colección de objetos. Por ejemplo: los alumnos de un curso,
los paı́ses del mundo, lo números enteros, los números pares o los puntos del plano. En
matemática tanto los conjuntos como sus miembros son objetos abstractos.
Podemos describir un conjunto por enumeración, ejemplo A = {1, 2, 3} o por com-
prensión. B = {n ∈ R : n > 10}.
Los conjuntos no pueden tener elementos repetidos y no importa el orden. Ası́ {1, 2, 3} =
{3, 1, 2}.
Dos conjuntos son iguales y solo si tienen los mismos miembros A = B si y solo si
x ∈ A ⇐⇒ x ∈ B.
Decimos que un conjunto A esta contenido en un conjunto B si todos el miembros de
A son miembros de B.
A ⊆ B ⇐⇒ (x ∈ A =⇒ x ∈ B)
Ası́ A = B si y solo si A ⊆ B y B ⊆ A
El conjunto vacó ∅ es el conjunto sin elementos y está contenido en todos los conjuntos.
Intersección de conjuntos x ∈ A ∩ B si y solo si x ∈ A y x ∈ B.
A ∩ B = {x : x ∈ A y x ∈ B}
Unión de conjuntos x ∈ A ∪ B si y solo si x ∈ A o x ∈ B.
A ∪ B = {x : x ∈ A o x ∈ B}
Diferencia de conjuntos x ∈ A \ B si y solo si x ∈ A y x 6∈ B. A veces utilizaré el signo
menos (−) en vez del mas moderno \.
A \ B = {x : x ∈ A y x 6∈ B}
Ejemplos: se A = {1, 2, 3}, B = {2, 3, 4} y C = {1, 2} entonces
A∩B = {2, 3}
A∪B = {1, 2, 3, 4}
A\B = {1}
B\A = {4}
C⊆A
A∩C = C
A∪C = A

1
Funciones
Ya conocemos funciones como por ejemplo el seno, coseno, o f (x) = x2 . Pero en esta
sección vamos a ser más estrictos de lo que acostumbramos.
Una función es una terna (A, B, f ) donde A es un conjunto llamado dominio de la
función (o conjunto de salida), B es un conjunto llamado rango (o codominio, o conjunto
de llegada) y f es una regla que asigna para cada elemento del conjunto A un (y solo un)
elemento del conjunto B Esta terna se acostumbra a escribir de la forma

f :A→B

Por ejemplo: sea A = {1, 2, 3} y B = {a, b, c} (donde a, b y c representan elementos

indeterminado pero distintos de cualquier otro) y

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

Podemos representar esto mediante un diagrama

f
1 a

2 b

3 c

A B
Una función f : A → B se dice inyectiva si

f (x) = f (y) =⇒ x = y

Para cada elemento de y ∈ B existe a lo sumo un x ∈ A tal que f (x) = y,

Una función inyectiva ”no pierde información”. A partir de f (x) puedo recuperar
unı́vocamente x.
En el diagrama serı́a que a los elementos a los elementos de B les llega a lo sumo una
flecha. Por ejemplo la función del diagrama de arriba no es inyectiva. Al elemento b el
llegan dos flechas.
La función f : R → R definida por f (x) = ex es inyectiva Dado y = f (x) puedo
determinar x mediante x = ln y. En cambio la función g : R → R definida por g(x) = x2
es no inyectiva. Si y = 4 existen dos números distintos (2 y −2) tales g(2) = g(−2) = 4.
Si en el diagrama cartesiano de una función inyectiva trazamos una linea horizontal
podemos cortar el gráfico en a lo sumo un punto.

2
 La imagen de una función f : A → B es el conjunto de los elementos de B efectiva-
mente alcanzados por la función. El gráfico de arriba Im f = {a, b}.

Im f = {y ∈ B : existe x ∈ A tal que f (x) = y}

= {f (x) : x ∈ A}
= f (A)

Por ejemplo si f (x) = x2 entonces Im f = [0, +∞). Si f (x) = ex entonces Im f =

(0, +∞). No hay un método general para calcular la imagen de una función. La sugerencia
es hace primero el gráfico de la misma.
Una función es sobreyectiva si la imagen coincide con el rango. Esto es f : A → B
es sobreyectiva si Im f = B. Por ejemplo la función logaritmo f : (0, +∞) → R con
f = ln(x) es sobreyectiva. Pero la función exponencial g : R → R con g(x) = ex no lo es.
Una función es biyectiva si inyectiva y sobreyectiva. Por ejemplo

f
1 a

2 b

3 c

A B
Una función biyectiva establece una relación uno a uno entre el dominio y el rango.
Por ejemplo, en el caso finito garantiza que tengan la misma cantidad del elementos.
Una función biyectiva f : A → B tiene una función inversa f −1 : B → A tal que

f −1 (f (x)) = x para todo x ∈ A y

f (f −1 (y)) = y para todo y ∈ B.

f −1
1 a

2 b

3 c

A B
Por ejemplo la función logaritmo f : (0, +∞) → R definida por f = ln(x) es biyectiva
con inversa g : R → (0, +∞) definida por g(x) = ex .

3
 y f −1 (x) = ex

f (x) = ln x

(0, 1)

x
(1, 0)

y=x

Las curvas de una función y su inversa hacen espejo en la recta y = x.

Observación: en sentido estricto, como hemos trabajo en esta sección, una función
necesita ser biyectiva para tener inversa pero en lo sucesivo nos conformaremos con que la
función sea inyectiva (lo de sobreyectiva lo podemos solucionar achicando el rango hasta
hacerlo coincidir con su imagen). Aun cuando tampoco sea inyectiva podemos intentar
construir la inversa de una restricción de la función original como veremos más adelante.

Dominio y Rango
En la sección anterior tratamos a las funciones de manera abstracta y en sentido
estricto. En nuestro curso no vamos a ser tan estrictos. Generalmente las funciones que
estudiaremos tienen como dominio un subconjunto adecuado de los números reales. Como
rango supondremos que R salvo indique lo contrario.
Normalmente no indicaremos el dominio y el rango de una función explı́cita. Simple-
mente diremos, por ejemplo, sea f (x) = 1/x quedando a cargo del lector determinar al
dominio y el rango de acuerdo al contexto. En este caso, como dijimos, supondremos que
el rango es R y el dominio es subconjunto de R donde la expresión de la función tiene
sentido. En este ejemplo será Dom f = R \√ {0}.
Ejercicio: hallar el dominio de f (x) = 4 − x2 . Solución: El dominio de la raı́z cua-
drada es [0, ∞), entonces
x ∈ Dom f ⇐⇒ 4 − x2 ≥ 0

4
 4 ≥ x2 , x2 ≤ 4, |x| ≤ 2
Dom f = [−2, 2]

Composición de Funciones
Dadas dos funciones f y g definimos su composición f ◦ g por

(f ◦ g)(x) = f (g(x))

En sentido estricto es necesario que el rango de g coincida con el dominio de f . Pero

nosotros solo pediremos que la intersección de la imagen g y el dominio de f no sea vacı́o.

Paridad
Una función f es par si f (−x) = x y es impar si f (−x) = −f (x) para todo
x ∈ Dom f . Ejemplos:

1. x2 es par.

2. x3 es impar.

3. sin x es impar.

4. cos x es par.

5. ex no es par ni impar.

Gráficamente las funciones pares son simétricas respecto del eje y y las impares con
simétricas respecto del origen de coordenadas.
El producto de dos funciones pares es par. El producto de dos funciones impares es
par. El producto de una par por una impar da impar. Análogo a la regla de los signos.