Función matemática

Keywords: Función matemática, 1646, 1716, 1805, 1859, Asíntota, Conjunto de cotas, Conjunto vacío

Una correspondencia f de A en B se denominará función y se notará como $f: A \rarr B$ si y sólo si cumple con las siguientes condiciones:

Existencia: $\forall x \in A \quad \rm {\exists y} \in B / (x,y) \in f$
Unicidad: Si $(x,y) \in f \and (x,z) \in f \Rightarrow y = z$

Esto significa que a cada elemento de A le corresponde por f uno y solo un elemento de B.

A Gottfried Leibniz (1646-1716) se le adjudica haber utilizado por primera vez la palabra función (del latín functo que significa acto de realizar). La definición formal se le atribuye a Peter Gustav Lejeune Dirichlet (1805-1859).

Véase también: Formas de expresar una función.

Tabla de contenidos

1 Dominio e Imagen

2 Tipos de funciones

2.1 Composición de funciones
2.2 Funciones reales y discretas
2.3 Funciones acotadas
2.4 Paridad e Imparidad de funciones
2.5 Funciones monótonas
2.6 Funciones periódicas

3 Véase también

Dominio e Imagen

El dominio de una función es el conjunto de existencia de la misma, o sea los valores para los cuales la función está definida. Dicho de otra forma, si el conjunto de existencia es vacío entonces no existe la función.

El conjunto imagen (o codominio) está formado por los valores que alcanza la función.

$Im_f = \left\{y/y \in B \and \exists x \in A / (x,y) \in f\right\}$

Es decir que la función f(x) = x + 1 tiene como dominio e imagen todos los números reales, pero una función g(x) = x² si bien tendrá como dominio a todos los reales, su imagen sólo tendrá valores comprendidos entre 0 y +∞.

Siempre es posible restringir tanto el conjunto dominio e imagen de una función con un propósito determinado. Por ejemplo si se quiere restringir f(x)=x² para que sea biyectiva es posible tomar una sóla de las ramas de modo que el dominio restringido y el conjunto imagen tomen valores del intervalo [0;+∞)

Conjunto de ceros: Es el conjunto de puntos pertenecientes al dominio de la función para los cuales dicha función vale cero.

$C_0 = \left\{x \in D_f/ f(x) = 0\right\}$

Conjunto de negatividad: Es el conjunto de puntos pertenecientes al dominio de la función para los cuales dicha función toma valores negativos.

$C^- = \left\{x \in D_f/ f(x) < 0\right\}$

Conjunto de positividad: Es el conjunto de puntos pertenecientes al dominio de la función para los cuales dicha función toma valores positivos.

$C^+ = \left\{x \in D_f/ f(x) > 0\right\}$

Tipos de funciones

Veáse también: Lista de funciones matemáticas.

Función inyectiva: Si cada elemento de la imagen es imagen de como máximo un único elemento del dominio. f: A → B es inyectiva $\harr \forall x,y \in A : f(x) = f(y) \rarr x = y$ ; o lo que es lo mismo: $\harr \forall x,y \in A : x \neq y \rarr f(x) \neq f(y)$
Función sobreyectiva: f: A → B es sobreyectiva si el conjunto imagen coincide con el conjunto B (denominado también conjunto de llegada, codominio o rango). f: A → B es sobreyectiva $\harr \forall y \in B : \exists x \in A : f(x) = y$
Función biyectiva: f: A → B es biyectiva si f es inyectiva y sobreyectiva.
Función inversa: Sólo si una función f: A → B es biyectiva es posible hallar su inversa $f^{-1} / f^{-1}: B \rarr A$

Imagen:ontoMap.png Sobreyectiva, no inyectiva	Imagen:mathmap.png Inyectiva, no sobreyectiva
Imagen:bijMap.png Biyectiva	Imagen:mathmap2.png No sobreyectiva, no inyectiva

Composición de funciones

Dadas dos funciones f y g para las cuales la imagen de g está incluída en el dominio de f entonces se puede hallar la función compuesta $h / h (x) = (f o g) (x) = f [g (x)]$

Dada f: A → B biyectiva, existe $f^{-1} : B \rarr A / (f o f^{-1}) = (f^{-1} o f) = x$ Véase función recíproca.

Funciones reales y discretas

Si el dominio de una función es un intervalo de la recta real la función se denominará real. En cambio, si la función está definida para los números enteros se denominará función discreta. Un ejemplo de una función discreta son las sucesiones.

Funciones acotadas

Una función se denomina acotada si su conjunto imagen está acotado. Ejemplo: f(x) = sen(x) y g(x) = cos(x) cuyo conjunto imagen es [-1;1]

Paridad e Imparidad de funciones

Una función f A → B puede ser par, impar o ni una ni la otra.

Función par: $\forall x (x \in A \and -x \in A \rarr f(x) = f(-x))$
Función impar: $\forall x (x \in A \and -x \in A \rarr f(x) = -f(-x))$

Funciones monótonas

f es estrictamente creciente en $[a;b] \harr \forall x_1, x_2 \in [a;b]: x_1 < x_2 \harr f(x_1) < f(x_2)$
f es estrictamente decreciente en $[a;b] \harr \forall x_1, x_2 \in [a;b]: x_1 < x_2 \harr f(x_1) > f(x_2)$

Si una función es estrictamente creciente o decreciente entonces es biyectiva.

f es creciente en $[a;b] \harr \forall x_1, x_2 \in [a;b]: x_1 < x_2 \harr f(x_1) \le f(x_2)$
f es decreciente en $[a;b] \harr \forall x_1, x_2 \in [a;b]: x_1 < x_2 \harr f(x_1) \ge f(x_2)$

Funciones periódicas

Una función es periódica si se cumple: f(x) = f(x + T) donde T es el periodo. Véase también: artículo sobre funciones periódicas