FUNCIONES

Concepto de función
Definition label{def:funcion}

Una función f de un conjunto A en un conjunto B es una relación entre A y B (es decir, f subset
A times B) que satisface:

• label{defit:funcionexistencia}

Existencia: forall a in A, exists b in B tal que (a, b) in f.

• label{defit:funcionunicidad}

Unicidad: Si (a, b), (a, c) in f entonces b = c.

Dicho con otras palabras, todo elemento de A tiene un único correspondiente en B.

Si el par (a, b) in f se suele decir que b es el correspondiente de a (pues es el único) y se

simboliza por f (a).

Las funciones suelen denotarse con letras minúsculas: f, g, h, etc. Una función de A en B suele
denotarse de la siguiente manera:

f: A to B.

end{definition}

example label{ex:funcionporextension}

Consideremos A = {a, b, c, d} y B = {1, 2, 3}.

1. label{exit:funcionxextension1}

f = {(a, 1), (b, 2), (c, 2), (d, 1)}.

En este caso f está definida por extensión. Notar que cada elemento de A está relacionado a
un único elemento de B, lo cual puede verse gráficamente en un diagrama de Venn
observando que de cada elemento de A sale una sola flecha (ver Figura
ref{fig:ejemplofuncion1}). Esto nos dice que f es una función, y además se tiene que:

f (a) = 1, f (b) = 2, f (c) = 2, f (d) = 1.

caption{Diagrama de Venn de una función.} label{fig:ejemplofuncion1}

2. Sea

f = {(a, 1), (b, 2), (c, 2)}.

Notar que no todo elemento de A está relacionado a un elemento de B, lo cual puede verse
gráficamente en un diagrama de Venn observando que del elemento d no sale ninguna flecha
(ver Figura ref{fig:ejemplonofuncion1}). Esto nos dice que f no es una función, pues no
satisface la Definición (condición de existencia).

caption{Diagrama de Venn de una relación que no es función (falla la condición de

existencia).}label{fig:ejemplonofuncion1}

3. Sea

f = {(a, 1), (b, 2), (c, 2), (a, 3), (d, 3)}.

Notar que no todo elemento de A está relacionado a un único elemento de B, lo cual puede
verse gráficamente en un diagrama de Venn observando que del elemento a salen dos flechas
(ver Figura ref{fig:ejemplonofuncion2}). Esto nos dice que f no es una función, pues no
satisface la Definición (condición de unicidad).

caption{Diagrama de Venn de una relación que no es función (falla la condición de unicidad).}

label{fig:ejemplonofuncion2}

end{example}

Recordemos que una relación entre dos conjuntos A y B era un subconjunto del producto
cartesiano A times B. En particular, una función f puede definirse por extensión (como en el
Ejemplo ref{exit:funcionxextension1}), o bien por comprensión, enunciando una característica
o propiedad de los elementos de f.

Example label{ex:funcionxcomprension}

• Sea A = {x: x es una estación del año} y B = {x: x es un mes del año} y

f = {(a, b): a comienza el mes b}.

Notar que cada estación del año comienza en algún mes, por lo que la relación f satisface la
condición de existencia. Asimismo, una estación del año no comienza en meses distintos, por
lo que también satisface la condición de unicidad.

Estas observaciones nos hacen concluir que f es una función. El diagrama de Venn
correspondiente se puede ver en la Figura ref{fig:ejemplofuncionestaciones}.

caption{Diagrama de Venn de una función.} label{fig:ejemplofuncionestaciones}

• Sea A = {x: x fue un ser humano nacido en el siglo X}, B = {x: x es o fue un ser humano} y f
subset A times B definida por:

f = {(a, b): b fue el padre biológico de a}.

Cada elemento de A tuvo un padre, por lo que la relación f satisface la condición de existencia.
Asimismo, cada persona tuvo un único padre biológico, por lo que también satisface la
condición de unicidad.
Estas observaciones nos hacen concluir que f es una función.

end{example}

Cuando definimos una función f: A to B por comprensión expresamos una característica de los
pares ordenados. En realidad, estamos definiendo una regla de asignación entre los elementos
de A y B. Por ello a veces las funciones vienen dadas enunciando solamente la regla de
asignación y aclarando cuáles son los conjuntos A y B.

example

• Consideremos f: N to N que a cada número natural le asigna su siguiente. La fórmula que

define a f se puede escribir:

f (x) = x + 1.

De este modo: f = {(x, x + 1): x in N}.

• Consideremos g: R to R que a cada número real le asigna el doble de su cubo. La fórmula que
define a g se puede escribir:

g (x) = 2x^3.

De este modo: g = {(x, 2x^3): x in R}.

end{example}

Diremos que dos funciones f: A to B y g: A to B son iguales si lo son como relaciones. En

particular, se tiene que:

f = g Leftrightarrow f (x) = g (x), forall x in A.

Dominio e imagen de una función

Recordemos de la Definición ref{def:funcion} que una función es una relación (pero con
algunos ingredientes adicionales). Por lo tanto están definidos los conceptos de dominio e
imagen de una función.

Para el caso del dominio de una función f: A to B:

Dom (f) = {a in A: exists b in B tal que (a, b) in f} (por Definición dominio de una relación)

= A (por definición de función)

Por lo tanto, para el caso de funciones, el dominio coincide con A.

En los casos en que la función está definida por una fórmula y no se aclara quién es el conjunto
A (o sea, el dominio), se suele sobreentender que el dominio está dado por el subconjunto más
grande del universal en el que la fórmula se puede aplicar.

example
• Si f es la función que a cada número real le asigna su inverso:

f (x) = 1 / x, x in R,

entonces f (x ) puede calcularse siempre que x sea distinto de 0. Luego

Dom (f) = R - {0}.

• Si g es la función que a cada número entero le asigna su opuesto:

g (x) = - x, x in Z,

entonces g (x ) puede calcularse para cualquier número entero. Luego

Dom (g) = Z.

end{example}

Para el caso de la imagen de una función f: A to B:

Im (f) = {b in B: exists a in A tal que (a, b) in f} (por Definición imagen de una relación)

= {f (a): a in A} (por existencia y unicidad, definición de función)

example

• Sea f: R to R la función definida por:

f (x) = x + 1,

Vamos a determinar el conjunto Im (f) = {x + 1: x in R}. Aparentemente, este conjunto se

parece mucho a R.

Claramente Im (f) subset R.

Para chequear la otra inclusión tomemos y in R y tratemos de descubrir si existe un x in R tal

que y = f (x).

Para ello planteamos la ecuación y = x + 1 e intentamos despejar x:

y = x + 1 Rightarrow x = y - 1.

Como fue posible hallar el x, entonces se satisface que R subset Im (f), con lo cual tenemos que
Im (f) = R.

• Sea f: R to R la función definida por:

f (x) = x^2,

Vamos a determinar el conjunto Im (f) = {x^2: x in R}.

Se puede observar que este conjunto está formado únicamente por números no negativos.

Claramente Im (f) subset [ 0, infty).

Para chequear la otra inclusión tomemos y in [ 0, infty) y tratemos de descubrir si existe algún
x in R tal que y = f (x).

Por lo tanto planteamos la ecuación y = x^2 e intentamos despejar x.

No es necesario que la ecuación y = x^2 tenga una única solución, de hecho posee dos
soluciones.

y = x^2 Rightarrow x = sqrt{y} o x = - sqrt{y}.

Notar que el cálculo de la raíz cuadrada es posible puesto que y geq 0. Como fue posible hallar
un x (por ejemplo x = sqrt{y}), entonces se satisface que [ 0, infty) subset Im (f), con lo cual
tenemos que Im (f) = [ 0, infty).

end{example}

Representación gráfica de funciones

Como las funciones son relaciones, también puede hacerse una representación cartesiana de
ellas. Cuando el dominio de la función es un conjunto infinito, se suelen dibujar algunos
elementos de la función y se ``completa'' el gráfico de manera esquemática. Cuando se
aprendan herramientas de Análisis Matemático, se podrán realizar estos dibujos de manera
más precisa.

example

• Supongamos que f es una función de R en R de manera que f (x) = 2 para todo x in R.

Funciones de este tipo se denominan funciones constantes. El gráfico de f se puede ver en la
Figura ref{fig:funcionconstante}.

caption{Gráfico de una función constante.}. label{fig:funcionconstante}

• Consideremos que f es una función de A en A de manera que f (x) = x para todo x in A. Esta
función se suele denominar función identidad y se denota por i_A. En la Figura
ref{fig:funcionidentidad} se puede ver el gráfico de f cuando A = R.

caption{Gráfico de la función identidad.}. label{fig:funcionidentidad}

• Sea f: R to R definida por f (x) = x^3 - x. Esta función es un caso particular de una función
cúbica. Luego el gráfico de f puede verse en la Figura ref{fig:funcioncubica}.

caption{Gráfico de una función cúbica.}. label{fig:funcioncubica}

end{example}

Si en un gráfico de una relación hay dos elementos que comparten la primera componente,
entonces tal gráfico no corresponde al gráfico de una función.

En efecto, supongamos que (a, b) y (a, c) están en una relación R y que b neq c. Como se está
violando la Definición de unicidad se tiene que R no es una función.

example

Consideremos la relación R subset R times R definida por

R = {(1, x): x in R}.

En este caso, (1, 1), (1, 2) in R con 1 neq 2.

Esto nos dice que R no puede ser función. Un gráfico de la relación puede verse en la Figura
ref{fig:relacionnofuncion}.

caption{Gráfico de una relación que no es función.}. label{fig:relacionnofuncion}

end{example}

Desplazamientos verticales y horizontales, y reflexiones

Si conocemos el gráfico de una función f podemos determinar con facilidad el gráfico de las
siguientes funciones:

g (x) = f (x) + c (desplazamiento vertical hacia arriba del gráfico de f)

h (x) = f (x) - c (desplazamiento vertical hacia abajo del gráfico de f)

k (x) = f (x + c) (desplazamiento horizontal hacia la izquierda del gráfico de f)

l (x) = f (x - c) (desplazamiento horizontal hacia la derecha del gráfico de f)

p (x) = - f (x) (reflexión respecto del eje x del gráfico de f)

q (x) = f (- x) (reflexión respecto del eje y del gráfico de f)

donde c > 0.

Vamos a ejemplificar cada una de estas situaciones con la función f: [-2, 2] to R definida por

f (x) = x^3 / 2 -13/8x + 3/4.

El gráfico de f puede verse en la Figura ref{fig:ejemplodesplazamientosreflexiones}.

caption{Gráfico de una función para ejemplificar desplazamientos y reflexiones.}.

label{fig:ejemplodesplazamientosreflexiones}

Desplazamientos verticales
Las funciones g y h están definidas en los mismos puntos en los que está definida f, por lo que
el dominio coincide, es decir,

g: [-2, 2] to R,

h: [-2, 2] to R.

Además recordar que

g (x) = f (x) + c,

h (x) = f (x) - c,

es decir que en cada x el valor de g (x) está c unidades hacia arriba de f (x), y el valor de h (x)
está c unidades por debajo de f (x). Esto produce que el gráfico de g sea un desplazamiento del
gráfico de f en c unidades hacia arriba, y que el gráfico de h sea un desplazamiento del gráfico
de f en c unidades hacia abajo. Ver Figura ref{fig:desplvertical} para el caso c = 1.

caption{Ejemplo de una función que es el resultado de un desplazamiento vertical.}.

label{fig:desplvertical}

Desplazamientos horizontales
La función k definida por

k (x) = f (x + c)

se puede calcular siempre que x + c in [-2, 2], es decir, x in [-2 - c, 2 -c], por lo que

Dom (k) = [-2 - c, 2 - c].

Es claro que el gráfico de k es un desplazamiento del gráfico de f hacia la izquierda en c

unidades.

La función l definida por

l (x) = f (x - c)

se puede calcular siempre que x - c in [-2, 2], es decir, x in [-2 + c, 2 + c], por lo que

Dom (l) = [-2 + c, 2 + c].

Es claro que el gráfico de l es un desplazamiento del gráfico de f hacia la derecha en c

unidades.

Ver Figura ref{fig:desplhorizontal} para el caso c = 1. En este caso, Dom (k) = [-3, 1] y Dom (l) =
[-1, 3].

caption{Ejemplo de una función que es el resultado de un desplazamiento horizontal.}.

label{fig:desplhorizontal}

Reflexiones
La función p está definida en los mismos puntos en los que está definida f, por lo que el
dominio coincide, es decir,

p: [-2, 2] to R.

Además recordar que

p (x) = - f (x),

es decir que en cada x el valor de p (x) es el opuesto de f (x), por lo que el gráfico de p es una
reflexión del gráfico de f respecto al eje x (ver Figura ref{fig:reflx}).

caption{Ejemplo de una función que es el resultado de una reflexión respecto del eje x.}.
label{fig:reflx}
La función q definida por

q (x) = f (- x),

se puede calcular siempre que - x in [-2, 2], es decir, x in [-2, 2], por lo que

Dom (q) = [-2, 2].

Es claro que el gráfico de q es una reflexión del gráfico de f respecto del eje y (ver Figura
ref{fig:refly}).

caption{Ejemplo de una función que es el resultado de una reflexión respecto del eje y.}.
label{fig:refly}

Clasificación de funciones
definition

Diremos que f: A to B es una función inyectiva si

forall u, v in A, u neq v Rightarrow f (u) neq f (v).

Utilizando la Proposición (contrarrecíproca de la implicación), se puede ver que la inyectividad

es equivalente a:

forall u, v in A, f (u) = f (v) Rightarrow u = v.

end{definition}

example label{ex:ejemplofuncinyectivas}

• label{exit:ejemplofuncinyectivasa}

Sean A = {1, 2, 3, 4}, B = {5, 6, 7} y f: A to B definida por:

f = {(1, 5), (2, 5), (3, 6), (4, 7)}.

Como f se compone de pocos elementos, podemos graficar a f utilizando diagramas de Venn

(ver Figura ref{fig:funcionnoinyectivavenn}).

caption{Diagrama de Venn de una función no inyectiva.}. label{fig:funcionnoinyectivavenn}

Notar que f no es inyectiva, pues 1 neq 2 pero f (1) = 5 = f (2).

Si hubiéramos hecho una representación cartesiana de f, nos hubiéramos dado cuenta que f
no es inyectiva pues hay una recta horizontal que corta el gráfico de f en dos puntos, a saber,
en (1, 5) y (2, 5) (ver la línea de trazo azul en la Figura ref{fig:funcionnoinyectivacartesiana}), lo
que significa que hay un elemento de B que es alcanzado en más de una ocasión por la
función.
caption{Representación cartesiana de una función no inyectiva.}.
label{fig:funcionnoinyectivacartesiana}

• label{exit:ejemplofuncinyectivasb}

Sea f: R to R definida por f (x) = x^2.

Notar que esta función tampoco es inyectiva pues - 1 neq 1 pero f (- 1) = 1 = f (1).

Si hacemos un gráfico de f nos daremos cuenta que existen rectas horizontales que cortan al
gráfico de f en más de una ocasión (ver la línea de trazo azul en la Figura
ref{fig:funcionnoinyectivacartesiana1}).

caption{Representación cartesiana de una función no inyectiva.}.

label{fig:funcionnoinyectivacartesiana1}

• label{exit:ejemplofuncinyectivasc}

Si f: R to R definida por f (x) = 2x + 1.

El gráfico de f es una recta, por lo que sospechamos que f es inyectiva. Vamos a demostrar
entonces que f es inyectiva:

f (u) = f (v) Rightarrow 2u + 1 = 2v + 1 (por definición de f)

Rightarrow 2u = 2v (sumando (- 1) a ambos miembros)

Rightarrow u = v (dividiendo por 2 a ambos miembros)

Luego, hemos demostrado que f es inyectiva.

end{example}

definition

Diremos que una función f: A to B es sobreyectiva si Im (f) = B, es decir (footnote),

para cada y in B, exists x in A: y = f (x).

footnote: Notar que por Definición de imagen de una relación, el conjunto Im (f) es un
subconjunto de B. Por lo tanto la igualdad se da cuando B subset Im (f), que es lo que expresa
el ``es decir''.

end{definition}

example

• Sean A = {a, b, c, d}, B = {1, 2} y f: A to B definida por:

f = {(a, 1), (b, 1), (c, 2), (d, 2)}.

Como f se compone de pocos elementos, podemos graficar a f utilizando diagramas de Venn
(ver Figura ref{fig:funcionsobrevenn}).

caption{Diagrama de Venn de una función sobreyectiva.}. label{fig:funcionsobrevenn}

Notar que f es sobreyectiva pues 1 = f (a) y 2 = f (c). Es decir, a cada elemento de B llega al
menos una flecha.

• Sea f: R to R definida por f (x) = x^2.

Notar que esta función no es sobreyectiva, pues no existe ningún x in R tal que x^2 = - 1 (pues
todo número elevado al cuadrado es no negativo). Si hacemos un gráfico cartesiano de f nos
daremos cuenta que existen rectas horizontales que no cortan el gráfico de f (ver línea de trazo
azul en la Figura ref{fig:funcionnosobreyectivacartesiana}).

caption{Representación cartesiana de una función no sobreyectiva.}.

label{fig:funcionnosobreyectivacartesiana}

• Sea f: R to R definida por f (x) = x^3 - 1.

Veamos si f es sobreyectiva. Sea y in R y busquemos un elemento en el dominio que a través

de f alcance a y:

y = f (x) Leftrightarrow y = x^3 - 1 (por definición de f)

Leftrightarrow y + 1 = x^3 (pasando de término)

Leftrightarrow sqrt^3 (y + 1) = x (calculando la raíz cúbica)

Luego hemos encontrado un x in R tal que y = f (x), por lo que f es sobreyectiva.

end{example}

definition label{def:funcionbiyectiva}

Diremos que una función f: A to B es biyectiva si satisface que es simultáneamente inyectiva y

sobreyectiva.

end{definition}

example

Consideremos A = {1, 2, 3, 4}, B = {a, b, c, d} y f: A to B definida por

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

Como f se compone de pocos elementos, podemos graficar a f utilizando diagramas de Venn

(ver Figura ref{fig:funcionbiyectivavenn}).

caption{Diagrama de Venn de una función biyectiva.}. label{fig:funcionbiyectivavenn}

Notemos que a cada elemento de B llega al menos una flecha (esto dice que f es sobreyectiva).
Además, a cada elemento de B llega exactamente una flecha (esto dice que f es inyectiva). Esto
nos dice que f es biyectiva.

end{example}
Composición de funciones

Sean dos funciones f: A to B y g: B to C. Como las funciones son en particular relaciones, queda
definida la relación g circ f tal como se definió en la Sección ref{sec:composicionrelaciones}. Lo
que veremos a continuación es que la relación g circ f es en realidad una función.

Proposition label{prop:composicionfunciones}

Sean dos funciones f: A to B y g: B to C. Entonces la relación g circ f subset A times C es una

función de A en C tal que:

forall a in A, (g circ f) (a) = g (f (a)).

end{proposition}

proof

Primero veamos que g circ f satisface la condición de existencia.

Sea a in A fijo. Como f es función se tiene que existe b in B tal que (a, b) in f (en efecto, el único
b que satisface esto es f (a)).

Luego, como b in B y g es función, se tiene que existe c in C tal que (b, c) in g (de hecho, el
único c que satisface esto es g (b)).

Por la Definición de composición de relaciones se tiene que (a, c) in g circ f (de hecho, c = g (b)
= g (f (a))).

Ahora veamos que g circ f satisface la condición de unicidad.

Supongamos que (a, c), (a, hat{c}) in g circ f.

Por Definición de composición de relaciones se tiene que:

(a, c) in g circ f Rightarrow exists b in B: (a, b) in f y (b, c) in g

(a, hat{c}) in g circ f Rightarrow exists hat{b} in B: (a, hat{b}) in f y (hat{b}, hat{c}) in g

Como f es función y (a, b), (a, hat{b}) in f se tiene que b = hat{b}.

Luego (b, c), (b, hat{c}) in g, pero como g es función se deduce que c = hat{c}.

Luego g circ f es una función y para cada a in A se tiene que (g circ f) (a) = g (f (a)).

end{proof}

observation label{obs:restricciondeunafuncion}

Sea f: A to B una función y tilde{A} subset A. Se define la restricción de f a tilde{A} a la función f

|_{tilde{A}}.: tilde{A} to B definida por:

f |_{tilde{A}}. (x) = f (x), x in tilde{A}

En otras palabras, f |_{tilde{A}}. es considerar a la función f definida en un subconjunto de A.

end{observation}

observation label{obs:generalizacioncomposicion}

Sean dos funciones f: A to B y g: C to D tal que Im (f) subset Dom (g). Aún cuando no se
satisfacen las condiciones de la Proposición composición de funciones, se puede extender el
resultado de la Proposición composición de funciones considerando las funciones f: A to Im (f)
y g |_{Im (f)}.: Im (f) to D.

end{observation}

example

• Sean A = {1, 2, 3}, B = {a, b, c, d}, C = {5, 6}, y las funciones f: A to B y g: B to C definidas de la
siguiente manera:

f = {(1, a), (2, b), (3, d)},

g = {(a, 5), (b, 5), (c, 5), (d, 6)},

entonces

g circ f = {(1, 5), (2, 5), (3, 6)}.

El diagrama de Venn correspondiente puede verse en la Figura ref{fig:composicionfunciones1}.

caption{Ejemplo de composición de funciones.}. label{fig:composicionfunciones1}

• Sean A = {1, 2, 3}, B = {a, b, c}, C = {a, b, c, d}, D = {5, 6}, y las funciones f: A to B y g: C to D
definidas de la siguiente manera:

f = {(1, a), (2, b), (3, c)},

g = {(a, 5), (b, 5), (c, 6), (d, 5)},

entonces

g circ f = {(1, 5), (2, 5), (3, 6)}.

El diagrama de Venn correspondiente puede verse en la Figura ref{fig:composicionfunciones2}.

caption{Ejemplo de composición de funciones.}. label{fig:composicionfunciones2}

• Sean f: R to R y g: R to R definidas por

f (x) = x^2 + 1,

g (x) = sqrt^3{x + 1}.

Luego,

(g circ f) (x) = g (f (x)) por Proposición composición de funciones)

= g (x^2 + 1) (por definición de f)

= sqrt^3{(x^2 + 1) + 1} (por definición de g)

= sqrt^3{x^2 + 2}.

• Sean f: R to (-1, infty) y g: R - {0} to R definidas por

f (x) = x^2 + 1,

g (x) = (x + 1) / x.

Se puede ver que Im (f) = .[1, infty). y que Dom (g) = R - {0}.

Como se cumple que Im (f) subset Dom (g) la composición puede realizarse, quedando:

(g circ f) (x) = g (f (x)) {por Proposición composición de funciones y Observación generalización

de composición}

= g (x^2 + 1) {por definición de f}

= {x^2 + 1 + 1} / {x^2 + 1} {por definición de g}

= {x^2 + 2} / {x^2 + 1}.

end{example}

proposition label{prop:propcompfunc}

Sean f: A to B, g: B to C y h: C to D funciones. Entonces:

a. label{propit:propcompfunca}

La composición es asociativa:

(h circ g) circ f = h circ (g circ f).

b. label{propit:propcompfuncb}

Si f y g son inyectivas, entonces g circ f es inyectiva.

c. label{propit:propcompfuncc}

Si f y g son sobreyectivas, entonces g circ f es sobreyectiva.

end{proposition}

proof

a. Esta es una consecuencia directa de la Proposición asociativa de la composición para las

relaciones.

b. Sean u, v in A. Ahora
(g circ f) (u) = (g circ f) (v) Rightarrow g (f (u)) = g (f (v)) {por Proposición composición de
funciones}

Rightarrow f (u) = f (v) {pues g es inyectiva}

Rightarrow u = v {pues f es inyectiva}

Luego g circ f es inyectiva.

c. Sea w un elemento de C. Ahora:

exists v in B: w = g (v) {pues g es sobreyectiva}

exists u in A: v = f (u) {pues f es sobreyectiva}

w = g (v) = g (f (u)) = (g circ f) (u) {por lo de arriba y por la Proposición composición de

funciones}

Luego g circ f es sobreyectiva.

end{proof}

Funciones inversas
definition label{def:fadmiteinversa}

Diremos que una función f: A to B admite inversa si y sólo si existe una función g: B to A tal que

g circ f = i_A (footnote), f circ g = i_B.

footnote: Recordemos que dado un conjunto A, la función i_A: A to A se definía como la

función identidad, es decir i_A (x) = x para cada x in A.

end{definition}

proposition label{prop:finversa<=>biy}

Una función f: A to B admite inversa si y sólo si f es una función biyectiva. Además la relación
inversa f^{-1} es la única función inversa de f.

end{proposition}

proof

Supongamos primero que f admite inversa.

Por Definición (f admite inversa) existe una función g: B to A tal que g circ f = i_A y f circ g = i_B.

Veamos primero que f es inyectiva:

en efecto, si x, hat{x} in A:

f (x) = f (hat{x}) Rightarrow g (f (x)) = g (f (hat{x}))

Rightarrow i_A (x) = i_A (hat{x})

Rightarrow x = hat{x}
Veamos ahora que f es sobreyectiva. Tomemos y in B, luego:

i_B (y) = y Rightarrow (f circ g) (y) = y Rightarrow f (g (y)) = y.

Esto dice que existe un elemento en A, a saber g (y), tal que f (g (y)) = y, lo cual implica que f es
sobreyectiva.

Como f es inyectiva y sobreyectiva tenemos que f es biyectiva.

Supongamos ahora que f es biyectiva. Veamos que f^{- 1} (la relación inversa de f) es en
realidad una función, para lo cual debemos chequear las condiciones de existencia y unicidad.

Comprobemos la existencia:

y in B Rightarrow exists x in A: f (x) = y {pues f es sobreyectiva}

Rightarrow exists x in A: (x, y) in f

Rightarrow exists x in A: (y, x) in f^{- 1} {por Definición de relación inversa}

Comprobemos la unicidad:

sean (b, a), (b, hat{a}) in f^{- 1}, luego

(b, a), (b, hat{a}) in f^{- 1} Rightarrow (a, b), (hat{a}, b) in f {por Definición relación inversa}

Rightarrow b = f (a) = f (hat{a})

Rightarrow a = hat{a} {pues f es inyectiva}

Veamos ahora que f^{-1} circ f = i_A:

x in A Leftrightarrow (x, f (x)) in f {pues f es función}

Leftrightarrow (f (x), x) in f^{- 1} {por Definición relación inversa}

Leftrightarrow f^{- 1} (f (x)) = x {pues f^{- 1} es función}

Leftrightarrow (f^{- 1} circ f) (x) = x {por Proposición composición de funciones}

Leftrightarrow (f^{- 1} circ f) (x) = i_A (x)

Análogamente veamos que f circ f^{- 1} = i_B:

y in B Leftrightarrow (y, f^{- 1} (y)) in f^{- 1} {pues f^{- 1} es función}

Leftrightarrow (f^{- 1} (y), y) in f {por Definición relación inversa}

Leftrightarrow f (f^{- 1} (y)) = y {pues f es función}

Leftrightarrow (f circ f^{- 1}) (y) = y {por Proposición composición de funciones}

Leftrightarrow (f circ f^{- 1}) (y) = i_B (y)

Luego f^{-1} es una función inversa para f.

Supongamos ahora que existe otra función g: B to A que es inversa de f. Luego se tiene que

g = g circ i_B
= g circ (f circ f^{- 1}) {pues f^{- 1} es una inversa de f}

= (g circ f) circ f^{- 1} {por Proposición asociativa de la composición}

= i_A circ f^{- 1} {pues g es una inversa de f}

= f^{- 1}

Por lo tanto f^{- 1} es la única función inversa de f.

end{proof}

Una función biyectiva establece una correspondencia biunívoca entre A y B, es decir A y B son
``iguales'' salvo por el nombre de los elementos.

example

Consideremos la función f: R to R definida por f (x) = 2x + 1 del Ejemplo

ref{exit:ejemplofuncinyectivasc}.

Se había demostrado que f es inyectiva. Veamos si es sobreyectiva, para lo cual tomemos y in

R.

Buscamos x in R tal que y = f (x), es decir:

y = f (x) Leftrightarrow y = 2x + 1

Leftrightarrow y - 1 = 2x

Leftrightarrow {y - 1} / 2 = x

Esto último dice que hemos encontrado el x buscado, o sea f resulta sobreyectiva. Por lo tanto
f es biyectiva y en consecuencia admite función inversa f^{- 1}.

El procedimiento anterior nos da también la fórmula de la función inversa de f:

f^{- 1} (y) = {y - 1} / 2.

end{example}

proposition

Sean f: A to B y g: B to C funciones biyectivas. Entonces g circ f es biyectiva y además:

(g circ f)^{-1} = f^{-1} circ g^{-1}.

end{proposition}

proof

Por Proposición ref{propit:propcompfuncb} y ref{propit:propcompfuncc} se tiene que g circ f

es una función inyectiva y sobreyectiva, y por lo tanto biyectiva.

La fórmula es una consecuencia directa de la Proposición ref{propit:composicioninversa}.

end{proof}

% fuente: gentile