Mates sin ojos

Esta página es de solo lectura. Puedes ver la fuente pero no puedes cambiarla. Pregunta a tu administrador si crees que esto es incorrecto.
====== Funciones ======

===== Motivación =====

En [[conceptos:relaciones|Relaciones]] vimos que una relación entre dos conjuntos A y B puede relacionar cada elemento de A con ninguno, uno o varios elementos de B.

Una función es un caso especial en el que exigimos que cada elemento del conjunto de partida esté relacionado con exactamente un elemento del conjunto de llegada.

Por ejemplo, podemos asociar a cada número real su cuadrado:

x -> x^2.

El número 2 queda asociado con 4:

2 -> 4.

También

-2 -> 4.

Cada número real tiene exactamente un cuadrado, aunque distintos números pueden tener el mismo cuadrado.

Las funciones permiten describir dependencias entre cantidades y transformaciones entre objetos. Aparecen en prácticamente todas las áreas de las matemáticas.

Las sucesiones son funciones cuyo dominio son los números naturales. Las aplicaciones lineales, los homomorfismos y muchas otras estructuras son también tipos particulares de funciones.

===== Definición =====

Sean A y B dos conjuntos.

Desde el enfoque conjuntista utilizado en este artículo, una función

f:A -> B

puede representarse mediante una relación entre A y B que satisface dos condiciones: existencia y unicidad.

==== Existencia ====

Todo elemento de A debe estar relacionado con algún elemento de B:

pt a en A: exi b en B: (a,b) en f.

Por tanto, una función de A en B no puede dejar ningún elemento de A sin resultado.

==== Unicidad ====

Cada elemento de A debe estar relacionado con un único elemento de B.

Formalmente,

pt a en A, b,c en B:
(a,b) en f y (a,c) en f -> b=c.

Por tanto, un mismo elemento a no puede estar relacionado mediante f con dos elementos distintos de B.

Las dos condiciones juntas pueden expresarse diciendo:

Para cada a en A existe exactamente un b en B tal que (a,b) en f.

Cuando estas condiciones se cumplen, escribimos

f(a)=b

para indicar que b es el único elemento asociado con a.

===== Funciones y relaciones =====

Toda función puede representarse como una relación, pero no toda relación representa una función.

Por ejemplo, sean

A = {1,2,3}

y

B = {a,b}.

La relación

R = {(1,a),(2,b),(3,a)}

representa una función de A en B.

Cada elemento de A aparece exactamente una vez como primera componente.

En cambio,

S = {(1,a),(1,b),(2,a),(3,b)}

no representa una función de A en B porque 1 está relacionado con dos elementos distintos:

1 S a

y

1 S b.

La relación

T = {(1,a),(2,b)}

tampoco representa una función de A en B porque el elemento 3 no está relacionado con ningún elemento de B.

S incumple la condición de unicidad.

T incumple la condición de existencia.

===== Dominio, codominio e imagen =====

Si escribimos

f:A -> B,

A recibe el nombre de //dominio// de f y B recibe el nombre de //codominio//.

Para cada

a en A,

el valor

f(a)

recibe el nombre de //imagen de a mediante f//.

El conjunto de todos los valores que la función alcanza recibe el nombre de //imagen de la función//.

Podemos escribir

im(f) = {b en B : exi a en A: f(a)=b}.

Siempre se cumple

im(f) sub B.

Sin embargo, no tiene por qué cumplirse

im(f)=B.

Por ejemplo, consideremos

f:R -> R

definida mediante

f(x)=x^2.

Su dominio es R.

Su codominio también es R.

Pero ningún número real negativo es el cuadrado de un número real.

Por tanto,

im(f) = {y en R : y >= 0}.

Es importante distinguir entre codominio e imagen.

El codominio forma parte de la especificación de la función.

La imagen contiene únicamente los valores que la función alcanza realmente.

===== Una precisión sobre la representación conjuntista =====

Si representamos una función únicamente mediante su conjunto de pares ordenados, podemos recuperar los elementos del dominio que aparecen como primeras componentes y los valores alcanzados como segundas componentes.

Sin embargo, el conjunto de pares no permite recuperar por sí solo los elementos del codominio que nunca son alcanzados.

Por ejemplo, las expresiones

f:R -> R

f(x)=x^2

y

g:R -> {y en R : y >= 0}

g(x)=x^2

tienen la misma regla de asignación y pueden representarse mediante el mismo conjunto de pares

{(x,x^2) : x en R}.

Sin embargo, tienen codominios diferentes.

En este artículo consideraremos que el dominio y el codominio forman parte de los datos que especifican una función.

Por tanto, no identificaremos una función únicamente con su conjunto de pares ordenados.

===== Notación de funciones =====

La expresión

f:A -> B

indica que f es una función con dominio A y codominio B.

Si

a en A,

escribimos

f(a)

para representar la imagen de a.

También podemos describir la regla de asignación mediante

a -> f(a).

Por ejemplo,

f:R -> R

x -> x^2

describe la función que asigna a cada número real su cuadrado.

También podemos escribir

f(x)=x^2.

Estas expresiones deben distinguirse.

f:A -> B

especifica dominio y codominio.

x -> x^2

describe la asignación.

f(x)=x^2

indica el valor de la función para un argumento genérico x.

===== Evaluación de una función =====

Evaluar una función en un elemento significa determinar la imagen de ese elemento.

Si

f(x)=x^2+1,

entonces

f(2)=2^2+1=5

y

f(-3)=(-3)^2+1=10.

El símbolo x utilizado en la definición no constituye un valor fijo. Representa un elemento genérico del dominio.

===== Igualdad de funciones =====

Dos funciones son iguales cuando tienen los mismos datos relevantes y asignan los mismos valores a todos los elementos de su dominio.

Si

f:A -> B

y

g:A -> B,

entonces

f=g

si

pt x en A: f(x)=g(x).

En este artículo exigiremos además que dos funciones iguales tengan el mismo dominio y codominio.

Por ejemplo,

f:R -> R

f(x)=(x+1)^2

y

g:R -> R

g(x)=x^2+2x+1

son la misma función porque

pt x en R: (x+1)^2=x^2+2x+1.

La forma de la expresión utilizada para describir una función no determina por sí sola la función.

===== Imagen de un conjunto =====

Hasta ahora hemos hablado de la imagen de un elemento.

También podemos aplicar una función a todos los elementos de un subconjunto de su dominio.

Sea

f:A -> B

y sea

C sub A.

La imagen de C mediante f es

f(C) = {f(x) : x en C}.

Equivalentemente,

f(C) = {y en B : exi x en C: f(x)=y}.

Por ejemplo, si

f:R -> R

f(x)=x^2

y

C = {-2,-1,0,1,2},

entonces

f(C) = {0,1,4}.

Obsérvese que la repetición de valores no produce elementos repetidos en un conjunto.

===== Preimagen de un conjunto =====

Sea

f:A -> B

y sea

D sub B.

La preimagen de D mediante f es el conjunto de los elementos del dominio cuya imagen pertenece a D:

f^-1(D) = {x en A : f(x) en D}.

Por ejemplo, si

f:R -> R

f(x)=x^2

y

D = {4},

entonces

f^-1(D) = {-2,2}.

Si

D = {y en R : y < 4},

entonces

f^-1(D) = {x en R : -2 < x < 2}.

La notación

f^-1(D)

no significa aquí que exista una función inversa f^-1.

La preimagen de un conjunto está definida para cualquier función.

Esta distinción será especialmente importante al estudiar continuidad y topología.

===== Composición de funciones =====

Supongamos que tenemos

f:A -> B

y

g:B -> C.

Podemos aplicar primero f y después g.

La función resultante se denomina composición de g con f y escribiremos

g comp f:A -> C.

Se define mediante

(g comp f)(x)=g(f(x)).

Nótese que el orden de lectura es el mismo en ambas formas:

g comp f

y 

g(f(x))

El motivo para utilizar el orden alfabético inverso en la definición y los ejemplos, es que la función f se aplica primero, porque hay que aplicar f(x) antes de poder aplicar g(f(x)).

Por ejemplo, sean

f:R -> R

f(x)=x+1

y

g:R -> R

g(x)=x^2.

Entonces

(g comp f)(x)=g(x+1)=(x+1)^2.

En cambio,

(f comp g)(x)=f(x^2)=x^2+1.

Por tanto, en general,

g comp f != f comp g.

La composición de funciones no es conmutativa.

==== Asociatividad de la composición ====

La composición de funciones es asociativa.

Esto significa que, al componer tres funciones, podemos cambiar la forma de agrupar las composiciones sin cambiar la función resultante.

Supongamos que tenemos

f:A -> B

g:B -> C

h:C -> D.

Podemos representar el recorrido de los valores de la siguiente manera:

A ->f B ->g C ->h D.

Si empezamos con un elemento

x en A,

primero podemos aplicar f:

f(x) en B.

Después podemos aplicar g:

g(f(x)) en C.

Finalmente podemos aplicar h:

h(g(f(x))) en D.

Podemos construir esta función de A en D agrupando las composiciones de dos maneras diferentes.

En primer lugar, podemos componer f y g:

g comp f:A -> C

y después componer el resultado con h:

h comp (g comp f):A -> D.

También podemos componer primero g y h:

h comp g:B -> D

y después componer el resultado con f:

(h comp g) comp f:A -> D.

Veamos que ambas construcciones producen la misma función.

Para cualquier x en A,

%%(h comp (g comp f))(x)=%%\\
%%h((g comp f)(x))=%%\\
h(g(f(x))).

Por otra parte,

%%((h comp g) comp f)(x)=%%\\
%%(h comp g)(f(x))=%%\\
%%h(g(f(x))).%%

Ambas funciones tienen el mismo dominio A, el mismo codominio D y producen el mismo valor para todo x en A.

Por tanto,

h comp (g comp f) = (h comp g) comp f.

Es importante observar que la asociatividad no permite cambiar el orden en que se aplican las funciones.

En ambos lados seguimos aplicando, en este orden,

f, después g, después h.

La asociatividad sólo afirma que podemos agrupar estas composiciones de cualquiera de las dos formas sin cambiar el resultado.

Por esta razón, cuando componemos varias funciones podemos escribir

h comp g comp f

sin indicar mediante paréntesis cómo se agrupan las composiciones.

===== Función identidad =====

Para cualquier conjunto A podemos definir la función identidad

id_A:A -> A

mediante

id_A(x)=x.

La función identidad deja cada elemento sin modificar.

Se comporta como elemento neutro de la composición.

Si

f:A -> B,

entonces

f comp id_A = f

y

id_B comp f = f.

===== Restricción de una función =====

Supongamos que

f:A -> B

y que

C sub A.

Podemos considerar la misma regla de asignación solamente para los elementos de C.

Obtenemos así la restricción de f a C.

La escribiremos

f|C:C -> B.

Para todo x en C,

(f|C)(x)=f(x).

Por ejemplo, la función

f:R -> R

f(x)=x^2

no es inyectiva en R.

Sin embargo, si restringimos su dominio a los números reales no negativos,

f|{x en R : x >= 0},

obtenemos una función inyectiva.

Las propiedades de una función pueden, por tanto, cambiar al restringir su dominio.

===== Inyectividad =====

Una función

f:A -> B

es inyectiva cuando dos elementos distintos del dominio nunca tienen la misma imagen.

Formalmente,

pt a_1,a_2 en A:
f(a_1)=f(a_2) -> a_1=a_2.

En particular, de esta definición se deduce constructivamente por contraposición,

pt a_2, a_2 en A:
a_1 != a_2 -> f(a_1) != f(a_2).

En matemática clásica ambos enunciados son equivalentes.

Por ejemplo,

f:R -> R

f(x)=2x

es inyectiva.

Si

f(a)=f(b),

entonces

2a=2b

y, dividiendo por 2,

a=b.

En cambio,

f:R -> R

f(x)=x^2

no es inyectiva porque, por ejemplo,

f(2)=4

y

f(-2)=4,

aunque

2 != -2.

===== Sobreyectividad =====

Una función

f:A -> B

es sobreyectiva cuando todo elemento del codominio es imagen de algún elemento del dominio.

Formalmente,

pt b en B:
exi a en A:
f(a)=b.

Esto equivale a decir

im(f)=B.

Por ejemplo,

f:R -> R

f(x)=x^2

no es sobreyectiva porque ningún número negativo pertenece a su imagen.

Sin embargo,

g:R -> {y en R : y >= 0}

g(x)=x^2

sí es sobreyectiva.

La regla de asignación es la misma, pero el codominio es diferente.

Esto muestra por qué el codominio resulta relevante al estudiar sobreyectividad.

===== Biyectividad =====

Una función es biyectiva cuando es simultáneamente inyectiva y sobreyectiva.

Por tanto, si

f:A -> B

es biyectiva:

  * cada elemento de A tiene exactamente una imagen en B;
  * cada elemento de B es imagen de algún elemento de A;
  * ningún elemento de B es imagen de dos elementos distintos de A.

En consecuencia, cada elemento de B corresponde exactamente a un elemento de A.

===== Función inversa =====

Sea

f:A -> B.

Desde el punto de vista conjuntista, podemos intentar invertir la función intercambiando las componentes de sus pares ordenados.

Si

f(a)=b,

queremos que

f^-1(b)=a.

Sin embargo, aunque f sea una función, invertir sus pares no garantiza que obtengamos otra función.

Recordemos que una función debe satisfacer dos condiciones:

  * existencia o totalidad: todo elemento del dominio debe tener una imagen;
  * unicidad: cada elemento del dominio debe tener una única imagen.

Veamos qué condiciones debe satisfacer f para que su relación inversa cumpla estos dos requisitos.

==== Sobreyectividad y totalidad de la inversa ====

Para que

f^-1:B -> A

sea una función, debe estar definida para todo elemento de B.

Es decir, para cada

b en B

debe existir algún

a en A

tal que

f^-1(b)=a.

Por la definición de la relación inversa, esto equivale a exigir

f(a)=b.

Por tanto, necesitamos

pt b en B:
exi a en A:
f(a)=b.

Pero ésta es exactamente la definición de sobreyectividad de f.

Así, la sobreyectividad de f garantiza la condición de existencia o totalidad de f^-1.

Si existe algún elemento b del codominio que no es imagen de ningún elemento de A, la relación inversa no está definida en b, por lo que no es total sobre B.

Por tanto,

f sobreyectiva <-> f^-1 es total sobre B.

==== Inyectividad y unicidad de la inversa ====

También necesitamos que f^-1 asigne a cada elemento de B un único elemento de A.

Supongamos que

f(a_1)=b

y

f(a_2)=b.

Al invertir estas relaciones obtendríamos

f^-1(b)=a_1

y

f^-1(b)=a_2.

Para que f^-1 sea una función, la unicidad exige

a_1=a_2.

Por tanto, necesitamos que

f(a_1)=f(a_2) -> a_1=a_2.

Pero ésta es exactamente la definición de inyectividad de f.

Así, la inyectividad de f garantiza la condición de unicidad de f^-1.

Si f no es inyectiva, algún elemento de B es imagen de dos elementos distintos de A. Al invertir la relación, ese elemento tendría dos imágenes distintas y la relación inversa no sería una función.

Por tanto,

f inyectiva <-> f^-1 satisface la unicidad.

==== Biyectividad e inversa ====

Para que la relación inversa de

f:A -> B

sea una función

f^-1:B -> A,

necesitamos simultáneamente:

  * que f sea sobreyectiva, para garantizar la totalidad de f^-1;
  * que f sea inyectiva, para garantizar la unicidad de f^-1.

Una función que satisface ambas propiedades es biyectiva.

Por tanto, f tiene una función inversa de B en A si y sólo si f es biyectiva.

Cuando f es biyectiva, escribimos

f^-1:B -> A.

Para todo a en A,

f^-1(f(a))=a,

y para todo b en B,

f(f^-1(b))=b.

En términos de composición,

f^-1 comp f = id_A

y

f comp f^-1 = id_B.

Es decir, la composición de una función y su inversa, en cualquier orden, resulta en la función identidad.

Esta correspondencia puede resumirse así:

  * inyectividad de f <-> unicidad para f^-1;
  * sobreyectividad de f <-> totalidad para f^-1;
  * biyectividad de f <-> f^-1 es una función de B en A.



===== Funciones reales =====

Un caso especialmente importante es el de las funciones entre conjuntos de números reales.

Por ejemplo,

f:R -> R.

En este contexto aparecen algunas propiedades que utilizaremos frecuentemente.

==== Ceros ====

Un cero de una función f es un elemento x de su dominio tal que

f(x)=0.

Por ejemplo, los ceros de

f(x)=x^2-4

son

x=-2

y

x=2.

Los ceros son especialmente importantes al estudiar el signo de una función y resolver ecuaciones y desigualdades.

==== Signo ====

Podemos estudiar para qué valores del dominio una función es positiva, negativa o cero:

f(x)>0

f(x)<0

f(x)=0.

Resolver una desigualdad como

f(x)<0

consiste precisamente en determinar el subconjunto del dominio en el que f toma valores negativos.

Este procedimiento se estudia con más detalle en [[conceptos:desigualdades|Desigualdades]].

==== Funciones crecientes y decrecientes ====

Sea

f:A -> R,

donde A es un subconjunto de R.

Decimos que f es creciente((En algunos textos, en lugar de funciones crecientes con este significado, se habla de funciones no decrecientes.)) si

pt x,y en A:
x <= y -> f(x) <= f(y).

Decimos que es estrictamente creciente((Al igual que en la nota anterior, en algunos textos estas funciones se denominan crecientes, en los casos en los que se utiliza la terminología de no decrecientes.)) si

pt x,y en A:
x < y -> f(x) < f(y).

Decimos que f es decreciente si

pt x,y en A:
x <= y -> f(x) >= f(y).

Y es estrictamente decreciente si

pt x,y en A:
x < y -> f(x) > f(y).

Las funciones crecientes o decrecientes reciben conjuntamente el nombre de funciones monótonas.

La monotonía permite trasladar información de orden entre los argumentos y sus imágenes.

===== Funciones acotadas =====

Sea

f:A -> R.

Decimos que f está acotada superiormente si existe un número real M tal que

pt x en A: f(x) <= M.

Está acotada inferiormente si existe un número real m tal que

pt x en A: m <= f(x).

Está acotada si existen m y M tales que

pt x en A: m <= f(x) <= M.

Equivalentemente, una función real f está acotada si existe M >= 0 tal que

pt x en A:
%%|f(x)|%% <= M.

También podemos decir que f está acotada si su imagen es un subconjunto acotado de R.

===== Perspectiva conjuntista y otras fundamentaciones =====

Este artículo ha utilizado una presentación conjuntista clásica.

Una función puede representarse mediante una relación que satisface existencia y unicidad, junto con la especificación de su dominio y codominio.

Ésta no es la única forma posible de fundamentar el concepto.

En teoría de tipos, por ejemplo, una función de A en B puede tratarse directamente como un objeto de tipo

A -> B

donde A y B son tipos. Desde esta perspectiva, una función no necesita definirse previamente como una relación ni como un conjunto de pares ordenados.

Aunque la notación se parece a la utilizada en este artículo para funciones entre conjuntos, A y B desempeñan aquí el papel de tipos, no de conjuntos.

Ambas perspectivas permiten estudiar muchas de las mismas propiedades estructurales, pero parten de fundamentos diferentes.

===== Ejercicios =====

==== Ejercicio 1 ====

Sean

A = {1,2,3}

y

B = {a,b}.

Determina cuáles de las siguientes relaciones representan funciones de A en B:

R_1 = {(1,a),(2,a),(3,b)}

R_2 = {(1,a),(1,b),(2,a),(3,b)}

R_3 = {(1,a),(2,b)}

Justifica cada respuesta utilizando las condiciones de existencia y unicidad.

==== Ejercicio 2 ====

Sea

f:R -> R

definida por

f(x)=x^2+1.

Calcula:

f(0)

f(2)

f(-3).

Determina también si 0 pertenece a im(f).

==== Ejercicio 3 ====

Sea

f:R -> R

definida mediante

f(x)=x^2.

Calcula la imagen del conjunto

A = {-3,-1,0,2}.

==== Ejercicio 4 ====

Para la misma función,

f(x)=x^2,

calcula la preimagen de

B = {1,4}.

==== Ejercicio 5 ====

Sean

f:A -> B

y

g:B -> C.

Supongamos que

A = {1,2,3}

B = {a,b,c}

C = {0,1},

y que las funciones están definidas por

f(1)=a

f(2)=b

f(3)=c

y

g(a)=0

g(b)=1

%%g(c)=0.%%

Calcula

g comp f.

==== Ejercicio 6 ====

Considera la función

f:R -> R

definida por

f(x)=2x+1.

Determina si es inyectiva y sobreyectiva.

Si es biyectiva, encuentra su función inversa.

==== Ejercicio 7 ====

Considera

f:R -> R

definida por

f(x)=x^2.

Determina si es:

  * inyectiva;
  * sobreyectiva;
  * biyectiva.

Considera después la función

g:{x en R : x >= 0} -> {y en R : y >= 0}

definida mediante

g(x)=x^2.

Determina de nuevo si es inyectiva, sobreyectiva y biyectiva.

==== Ejercicio 8 ====

Sea

f:R -> R

definida por

f(x)=3x-2.

Demuestra que f es estrictamente creciente.

==== Ejercicio 9 ====

Sea

f:R -> R

definida por

f(x)=1/(1+x^2).

Demuestra que f está acotada y encuentra una cota superior y una cota inferior.

===== Soluciones =====

==== Solución del ejercicio 1 ====

Tenemos

R_1 = {(1,a),(2,a),(3,b)}.

Cada elemento de A aparece como primera componente exactamente una vez.

Por tanto, R_1 satisface existencia y unicidad y representa una función de A en B.

Para

R_2 = {(1,a),(1,b),(2,a),(3,b)},

el elemento 1 está relacionado tanto con a como con b.

Por tanto, no se cumple la unicidad y R_2 no representa una función.

Finalmente,

R_3 = {(1,a),(2,b)}

no contiene ningún par cuya primera componente sea 3.

Por tanto, no se cumple la condición de existencia para todos los elementos de A y R_3 no representa una función.

==== Solución del ejercicio 2 ====

La función es

f(x)=x^2+1.

Por tanto,

f(0)=0^2+1=1,

f(2)=2^2+1=5

y

f(-3)=(-3)^2+1=10.

Para todo número real x,

x^2 >= 0.

Por tanto,

x^2+1 >= 1.

Así, 0 no pertenece a la imagen de f.

==== Solución del ejercicio 3 ====

Tenemos

f(x)=x^2

y

A = {-3,-1,0,2}.

Calculamos:

f(-3)=9

f(-1)=1

f(0)=0

f(2)=4.

Por tanto,

f(A) = {0,1,4,9}.

==== Solución del ejercicio 4 ====

Queremos calcular la preimagen de

B = {1,4}

mediante

f(x)=x^2.

Buscamos los números reales x tales que

x^2 en {1,4}.

Si

x^2=1,

entonces

x=-1

o

x=1.

Si

x^2=4,

entonces

x=-2

o

x=2.

Por tanto,

f^-1(B) = {-2,-1,1,2}.

Obsérvese que hemos calculado una preimagen de un conjunto. No estamos afirmando que f tenga una función inversa.

==== Solución del ejercicio 5 ====

Queremos calcular

g comp f:A -> C.

Recordemos que

%%(g comp f)(x)=g(f(x)).%%

Para 1,

%%(g comp f)(1)=%%\\
%%g(f(1))=%%\\
g(a)=
0.

Para 2,

%%(g comp f)(2)=%%\\
%%g(f(2))=%%\\
%%g(b)=%%\\
1.

Para 3,

%%(g comp f)(3)=%%\\
%%g(f(3))=%%\\
%%g(c)=%%\\
0.

Por tanto,

g comp f

puede representarse mediante

{(1,0),(2,1),(3,0)}.

==== Solución del ejercicio 6 ====

Tenemos

f(x)=2x+1.

Primero comprobamos la inyectividad.

Supongamos

f(a)=f(b).

Entonces

2a+1=2b+1.

Restando 1,

2a=2b.

Dividiendo por 2,

a=b.

Por tanto, f es inyectiva.

Comprobemos ahora la sobreyectividad.

Sea

y en R

un valor cualquiera del codominio.

Queremos encontrar un x tal que

f(x)=y.

Tenemos

2x+1=y.

Despejando x,

x=(y-1)/2.

Este valor es real para cualquier y real.

Por tanto, para todo y en R existe un x en R tal que

f(x)=y.

Así, f es sobreyectiva.

Como es inyectiva y sobreyectiva, es biyectiva y tiene función inversa.

De

y=2x+1

obtenemos

x=(y-1)/2.

Por tanto,

f^-1:R -> R

está definida por

f^-1(x)=(x-1)/2.

Podemos comprobarlo:

f^-1(f(x))=\\
%%((2x+1)-1)/2=%%\\
x

y

%%f(f^-1(x))=%%\\
%%2*((x-1)/2)+1=%%\\
x.

==== Solución del ejercicio 7 ====

Consideremos primero

f:R -> R

con

f(x)=x^2.

No es inyectiva porque, por ejemplo,

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

aunque

-1 != 1.

Tampoco es sobreyectiva sobre R, porque ningún número real negativo es el cuadrado de un número real.

Por tanto, f no es biyectiva.

Consideremos ahora

g:{x en R : x >= 0} -> {y en R : y >= 0}

con

g(x)=x^2.

Esta función es inyectiva.

Si

0 <= a < b,

entonces

a^2 < b^2.

Por tanto, dos números no negativos distintos no pueden tener el mismo cuadrado.

También es sobreyectiva.

Para cualquier

y >= 0,

existe un número real no negativo sqrt(y) tal que

sqrt(y)^2=y.

Por tanto, todo elemento del codominio tiene una preimagen.

Así, g es biyectiva.

Su inversa es la función raíz cuadrada:

g^-1(y)=sqrt(y).

==== Solución del ejercicio 8 ====

Queremos demostrar que

f(x)=3x-2

es estrictamente creciente.

Sean

x_1 < x_2.

Multiplicamos por 3. Como 3 es positivo, se conserva el sentido de la desigualdad:

3x_1 < 3x_2.

Restamos 2 de ambos lados:

3x_1-2 < 3x_2-2.

Por tanto,

f(x_1) < f(x_2).

Así, f es estrictamente creciente.

==== Solución del ejercicio 9 ====

Tenemos

f(x)=1/(1+x^2).

Para todo x real,

x^2 >= 0.

Por tanto,

1+x^2 >= 1.

Como el denominador es siempre positivo,

0 < 1/(1+x^2) <= 1.

Así,

0 < f(x) <= 1

para todo x en R.

Por tanto, f está acotada.

Por ejemplo, podemos tomar como cota inferior 0 y como cota superior 1:

0 <= f(x) <= 1.

También podemos expresarlo mediante valor absoluto. Como f(x)>0,

%%|f(x)| = f(x) <= 1%%.

===== Véase también =====

  * [[conceptos:conjuntos|Conjuntos]]
  * [[conceptos:relaciones|Relaciones]]
  * [[conceptos:desigualdades|Desigualdades]]
  * [[conceptos:valor_absoluto|Valor absoluto]]
  * [[conceptos:sucesiones|Sucesiones]]
  * [[conceptos:limites|Límites]]

===== Notación =====

  * f:A -> B: f es una función con dominio A y codominio B.
  * f(x): imagen de x mediante f.
  * x -> f(x): regla que asigna a x el valor f(x).
  * dom(f): dominio de f.
  * im(f): imagen de f.
  * f(C): imagen del conjunto C mediante f.
  * f^-1(D): preimagen del conjunto D mediante f.
  * g comp f: composición de f seguida de g; (g comp f)(x)=g(f(x)).
  * id_A: función identidad sobre A.
  * f|C: restricción de f al subconjunto C de su dominio.
  * f^-1: función inversa de f, cuando existe.