Está en la página 1de 8

Funcin matemtica

De Wikipedia, la enciclopedia libre


(Redirigido desde Aplicacin (matemticas))
Saltar a navegacin, bsqueda

Funcin de X en Y: la condicin de existencia asegura que de cada elemento sale alguna flecha y la de
unicidad que slo sale una.
En Matemticas, dados dos conjuntos X e Y, una funcin o aplicacin de X en Y es una
correspondencia matemtica denotada

que cumple con las siguientes dos condiciones:


1. Condicin de existencia: Todos los elementos de X estn relacionado con elementos de Y, es
decir,
2. Condicin de unicidad: Cada elemento de X esta relacionado con un nico elemento de Y, es
decir, si
Una funcin es un caso particular de relacin y de correspondencia matemtica. Cada relacin o
correspondencia de un elemento

con un (y slo un)

se denota

, en lugar de

Conceptos bsicos [editar]


Para toda funcin

podemos definir:

Dominio [editar]
El dominio de es el conjunto de existencia de la misma, es decir, los elementos para los cuales la
funcin est definida. Es el conjunto de todos los objetos que puede transformar, se denota
o
bien
y est definido por:

Recorrido o codominio [editar]


El recorrido o conjunto de llegada de es el conjunto

y se denota

o bien

Rango [editar]
El rango de est formada por los valores que alcanza la misma. Es el conjunto de todos los objetos
transformados, se denota
o bien
y est definida por:

Preimagen [editar]
Una preimagen de un

es algn

tal que

Note que
, y que algunos elementos del recorrido pueden no ser imagen de ningn elemento
del dominio. En efecto, puede darse que
tal que

Ejemplos [editar]

La funcin definida por


reales

, tiene como dominio e imagen todos los nmeros

Funcin con Dominio X y Codominio Y

Para la funcin
, en cambio, si bien su dominio es , slo tendr como imagen los
valores comprendidos entre 0 y + que sean el cuadrado de un nmero real.

En la figura se puede apreciar una funcin

, con

Note que a cada elemento de X le corresponde un nico elemento de Y. Adems, el elemento a


de Y no tiene origen, y el elemento b tiene dos (el 1 y el 4). Finalmente,

Esta funcin representada como relacin, queda:

Representacin de funciones [editar]


Las funciones se pueden representar de distintas maneras:

Como expresin matemtica: ecuaciones de la forma y = f(x), que permiten representar el


comportamiento de la funcin a lo largo de todo su dominio.
Ejemplo: y=x+2.
Como tabulacin: tabla que permite representar algunos valores discretos de la funcin.
Ejemplo:

X| -2 -1 0 1 2 3
Y| 0 1 2 3 4 5
Como pares ordenados: pares

ordenados, muy usados en teora de grafos.

Ejemplo: A={(-2, 0),(-1, 1),(0, 2),(1, 3), ... (x, x+2)}


Como proposicin: una descripcin por comprensin de lo que hace la funcin.
Ejemplo: "Para todo x, nmero entero, y vale x ms dos unidades".
Como grfica: grfica que permite visualizar tendencias en la funcin. Muy utilizada para las
funciones continuas tpicas del clculo, aunque tambin las hay para funciones discretas.
Ejemplo:
5

1
0
y/x

X
X
-2 -1 0

Funciones segn tipo de aplicacin [editar]


Dados dos conjuntos X e Y, podemos clasificar a todas las funciones
en:

Funcin inyectiva [editar]


Aquellas en que a cada imagen le corresponde un nico origen. Formalmente,
o lo que es lo mismo,

definidas entre ellos,

Funcin sobreyectiva [editar]


Aquellas en que la aplicacin es sobre todo el codominio, es decir, cuando el conjunto imagen
. Esto significa que todo elemento del codominio tiene un origen. Formalmente,

Estas funciones tambin se conocen como exhaustivas o epiyectivas.

Funcin biyectiva [editar]


Aquellas que son al mismo tiempo inyectivas y sobreyectivas. Formalmente,

Ejemplos [editar]

Sobreyectiva, no
inyectiva

Inyectiva, no
sobreyectiva

Biyectiva

No sobreyectiva, no
inyectiva

lgebra de las funciones [editar]


Composicin de funciones [editar]
Artculo principal: Funcin compuesta

Dadas dos funciones f: A B y g: B C, donde la imagen de f est contenida en el dominio de g, se


define la funcin composicin (g f ): A C como (g f)(x) = g (f(x)), para todos los elementos x de
A.

Funcin identidad [editar]

Dado un conjunto , la funcin


funcin identidad o funcin unitaria.

que asigna a cada de

Dada cualquier funcin


, es claro que
es tambin igual a , puesto que para todo

el mismo de

se denomina

es igual a y que
y tambin

Funcin inversa [editar]


Artculo principal: funcin inversa

Dada una funcin


, se denomina funcin inversa de ,
cumple la siguiente condicin:

a la funcin que

Si existe una funcin que cumpla esas dos condiciones, ser inversa por la izquierda y ser inversa por la
derecha, se demuestra que esa funcin es nica. Eso justifica la notacin
pudiera haber dos inversas de la misma funcin.

, que sera ambigua si

Slo algunas funciones tienen inversa. De hecho, la condicin necesaria y suficiente para la existencia
de

es que sea biyectiva. Por tanto, las afirmaciones

Existe funcin inversa de y


es biyectiva

son lgicamente equivalentes.

El grupo de las funciones biyectivas [editar]


Considerando todas las funciones biyectivas
pueden resumirse en:

, las conclusiones del apartado anterior

1. Dadas tres funciones la operacin de composicin es asociativa:


2.
3.

tal que

tenemos

Estas tres condiciones determinan un grupo. El conjunto de las funciones biyectivas


es un
grupo con respecto a la operacin de composicin de funciones y recibe el nombre de grupo simtrico
de .

Funciones en Rn segn su nmero de variables [editar]


Siempre es posible restringir tanto el dominio como la imagen de una funcin con un propsito
determinado. Por ejemplo, es completamente vlido restringir
al dominio de los nmeros
naturales, para que el conjunto imagen tome as los valores comprendidos en el intervalo [0,+).
Adems, el dominio y la imagen pueden tener cualquier nmero de variables. Dicho nmero permite
clasificar a las funciones como sigue:

Funcin escalar: Funcin del tipo


Campo escalar: Funcin del tipo
Funcin vectorial: Funcin del tipo
Campo vectorial: Funcin del tipo

Funciones reales de variable real [editar]


Los anteriores apartados se han referido a funciones entre conjuntos cualesquiera. Las funciones entre
conjuntos de nmeros, y particularmente las funciones
, o funciones reales de variable real
son particularmente relevantes por la diversidad de sus aplicaciones prcticas y por sus particulares
propiedades matemticas. En algunos textos se reserva para las funciones entre conjuntos de nmeros
el trmino funcin mientras que a las funciones entre conjuntos cualesquiera se las denomina
aplicaciones. A continuacin se detallan algunas propiedades y definiciones de inters referidas a las
funciones definidas
o entre conjuntos de nmeros (
).

Funciones reales y funciones discretas [editar]

Si el dominio de una funcin es un intervalo de la recta real la funcin se denominar real. En


cambio, si la funcin est definida para los nmeros enteros se denominar funcin discreta. Un
ejemplo de una funcin discreta son las sucesiones.

Funciones acotadas [editar]

Una funcin se denomina acotada si su conjunto imagen est acotado, por ejemplo: f(x) =
sen(x) y g(x) = cos(x) tienen por conjunto imagen el intervalo [-1,1]. Si su conjunto imagen est
acotado slo superior o inferiormente, se dice que la funcin est acotada superior o
inferiormente, respectivamente. Por ejemplo, f("x")=|x| tiene por conjunto imagen
por lo que est acotada inferiormente.

Funciones pares e impares [editar]


Se dice que una funcin es par cuando presenta simetra sobre el eje de ordenadas, esto es, si

Una funcin es impar si presenta simetra con respecto al origen de coordenadas, esto es si

Una funcin que no presenta simetra par no tiene necesariamente simetra impar. Algunas funciones no
presentan ninguno de los dos tipos de simetra o bien la presentan frente a focos o ejes distintos del
origen de coordenadas o el eje de ordenadas (o eje Y). Dichas funciones se dice que no poseen paridad.

Funciones montonas [editar]


1. La funcin f es estrictamente creciente en
2. f es estrictamente decreciente en

Si una funcin es estrictamente creciente o decreciente entonces es biyectiva.


1. f es creciente en
2. f es decreciente en
Si una funcin verifica cualquiera de las cuatro propiedades anteriores se dice que es monotona.

Funciones peridicas [editar]


Artculo principal: funcin peridica

Una funcin es peridica si se cumple:

donde

es el perodo.

En particular, una funcin es peridica alternada cuando se cumple:


. Estas
ltimas tambin son conocidas como funciones simtricas de media onda y constan de dos semiondas
iguales de sentidos opuestos.

Funciones cncavas y convexas [editar]


Artculo principal: convexidad

Funcin convexa.
Una funcin es convexa en un intervalo si la rectas tangentes a la funcin en ese intervalo estn por
debajo de la funcin. Una funcin es cncava en un intervalo si la rectas tangentes a la funcin de ese
intervalo estn por encima.
La denominacin de convexidad y concavidad depende del punto de vista que se adopte para
considerar que es una concavidad, esto es si se mira a la funcin "desde arriba" o "desde abajo". Por
ello, algunos textos denominan convexas a las funciones que se curvan "hacia abajo", al contrario de la
definicin que se acaba de dar en los anteriores prrafos. Por ello, es frecuente que en ocasiones se
adopten las denominaciones concava hacia arriba y concava hacia abajo para evitar las
ambigedades.
Las tcnicas del anlisis diferencial permiten determinar si una funcin es creciente, decreciente,
concava o convexa a travs del estudio de las derivadas sucesivas de la funcin.