Funcin matemtica

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: odos los elementos de X estn relacionado con elementos de Y, es decir, !. Condicin de unicidad: "ada elemento de X esta relacionado con un #nico elemento de Y, es decir, si $na funcin es un caso particular de relacin y de correspondencia matemtica. "ada relacin o correspondencia de un elemento con un %y slo un& se denota , en lugar de

Conceptos bsicos
'ara toda funcin podemos definir:

Dominio
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 o(jetos que puede transformar, se denota o (ien y est definido por:

Recorrido o codominio
El recorrido o conjunto de llegada de es el conjunto y se denota o (ien

Rango
El rango de est formada por los )alores que alcan*a la misma. Es el conjunto de todos los o(jetos transformados, se denota o (ien y est definida por:

Preimagen
$na preimagen de un es alg#n tal que

+ote que , y que algunos elementos del recorrido pueden no ser imagen de ning#n elemento del dominio. En efecto, puede darse que tal que

Ejemplos

La funcin definida por nmeros reales

, tiene como dominio e imagen todos los

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 + !ue sean el cuadrado de un nmero real"

#n la figura se puede apreciar una funcin

, con

$ote !ue a cada elemento de X le corresponde un nico elemento de Y" %dems, el elemento a de Y no tiene origen, y el elemento b tiene dos &el ' y el ()" Finalmente,

#sta funcin representada como relacin, !ueda*

Representacin de funciones
,as funciones se pueden representar de distintas maneras:

Como expresin matemtica* ecuaciones de la forma y + f&x), !ue permiten representar el comportamiento de la funcin a lo largo de todo su dominio" #,emplo* y+-+." Como tabulacin* tabla !ue permite representar algunos valores discretos de la funcin" #,emplo*

X| -2 -1 0 1 2 3 Y| 0 1 2 3 4 5 Como pares ordenados* pares ordenados, muy usados en teor/a de grafos"

#,emplo* %+0&1., 0),&1', '),&0, .),&', 2), """ &-, -+.)3 Como proposicin* una descripcin por comprensin de lo !ue 4ace la funcin" #,emplo* 5Para todo x, nmero entero, y vale x ms dos unidades5" Como grfica* grfica !ue permite visuali6ar tendencias en la funcin" 7uy utili6ada para las funciones continuas t/picas del clculo, aun!ue tambi8n las 4ay para funciones discretas" #,emplo* 9 ( 2 : : :

. ' 0 y;: 1. 1' :

0 ' .

Funciones segn tipo de aplicacin

-ados dos conjuntos X e Y, podemos clasificar a todas las funciones entre ellos, en: definidas

Funcin inyectiva
.quellas en que a cada imagen le corresponde un #nico origen. Formalmente,
o lo !ue es lo mismo,

Funcin sobreyectiva
.quellas en que la aplicacin es so(re todo el codominio, es decir, cuando el conjunto imagen . Esto significa que todo elemento del codominio tiene un origen. Formalmente,

Estas funciones tam(i/n se conocen como ex austivas o epiyectivas.

Funcin biyectiva
.quellas que son al mismo tiempo inyecti)as y so(reyecti)as. Formalmente,

Ejemplos

<obreyectiva, no inyectiva

=nyectiva, no sobreyectiva

>iyectiva

$o sobreyectiva, no inyectiva

lgebra de las funciones

Composicin de funciones
Artculo principal: Funcin compuesta

-adas 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
Artculo principal: Funcin identidad

-ado un conjunto , la funcin que asigna a cada de se denomina funcin identidad o funcin unitaria.

el mismo de

-ada cualquier funcin , es claro que es tam(i/n igual a , puesto que para todo tam(i/n

es igual a y que y

Funcin inversa

Artculo principal: funcin inversa

-ada una funcin , se denomina funcin in)ersa de , funcin que cumple la siguiente condicin:

a la

0i existe una funcin que cumpla esas dos condiciones, ser in)ersa por la i*quierda y ser in)ersa por la derecha, se demuestra que esa funcin es #nica. Eso justifica la notacin , que ser1a am(igua si pudiera ha(er dos in)ersas de la misma funcin. 0lo algunas funciones tienen in)ersa. -e hecho, la condicin necesaria y suficiente para la existencia de

es que sea (iyecti)a. 'or tanto, las afirmaciones

Existe funcin inversa de y es biyectiva

son lgicamente equi)alentes.

El grupo de las funciones biyectivas

"onsiderando todas las funciones (iyecti)as anterior pueden resumirse en: , las conclusiones del apartado

'" Dadas tres funciones la operacin de composicin es asociativa* ." 2" tal !ue tenemos

Estas tres condiciones determinan un grupo. El conjunto de las funciones (iyecti)as es un grupo con respecto a la operacin de composicin de funciones y reci(e el nom(re de grupo sim&trico de .

Funciones en Rn segn su nmero de variables

0iempre es posi(le restringir tanto el dominio como la imagen de una funcin con un propsito determinado. 'or ejemplo, es completamente )lido restringir al dominio de los n#meros naturales, para que el conjunto imagen tome as1 los )alores comprendidos en el inter)alo 23,45&.

.dems, el dominio y la imagen pueden tener cualquier n#mero de )aria(les. -icho n#mero 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

,os anteriores apartados se han referido a funciones entre conjuntos cualesquiera. ,as funciones entre conjuntos de n#meros, y particularmente las funciones ,o funciones reales de variable real son particularmente rele)antes por la di)ersidad de sus aplicaciones prcticas y por sus particulares propiedades matemticas. En algunos textos se reser)a para las funciones entre conjuntos de n#meros el t/rmino funcin mientras que a las funciones entre conjuntos cualesquiera se las denomina aplicaciones. . continuacin se detallan algunas propiedades y definiciones de inter/s referidas a las funciones definidas o entre conjuntos de n#meros % &.

Funciones reales y funciones discretas

Artculo principal: Funcin real Artculo principal: Funcin discreta

<i el dominio de una funcin es un intervalo de la recta real la funcin se denominar real" #n cambio, si la funcin est definida para los nmeros enteros se denominar funcin discreta" ?n e,emplo de una funcin discreta son las sucesiones"

Funciones acotadas

?na funcin se denomina acotada si su con,unto imagen est acotado, por e,emplo* f(x) = sen(x) y g(x) = cos(x) tienen por con,unto imagen el intervalo @1 ','A" <i su con,unto imagen est acotado slo superior o inferiormente, se dice !ue la funcin est acotada superior o inferiormente, respectivamente" Por e,emplo, f("x")=|x| tiene por con,unto imagen inferiormente" , por lo !ue est acotada

Funciones pares e impares

Artculo principal: Funcin par Artculo principal: Funcin impar

0e dice que una funcin es par cuando presenta simetr1a so(re el eje de ordenadas, esto es, si

$na funcin es impar si presenta simetr1a con respecto al origen de coordenadas, esto es si

$na funcin que no presenta simetr1a par no tiene necesariamente simetr1a impar. .lgunas funciones no presentan ninguno de los dos tipos de simetr1a o (ien la presentan frente a focos o ejes distintos del origen de coordenadas o el eje de ordenadas %o eje 6&. -ichas funciones se dice que no poseen paridad.

Funciones montonas
Artculo principal: Funcin montona

'" La funcin f es estrictamente creciente en ." f es estrictamente decreciente en

0i una funcin es estrictamente creciente o decreciente entonces es biyectiva.

'" f es creciente en ." f es decreciente en

0i una funcin )erifica cualquiera de las cuatro propiedades anteriores se dice que es monotona.

Funciones peridicas
Artculo principal: funcin peridica

$na funcin es peridica si se cumple: per1odo. En particular, una funcin es peridica alternada cuando se cumple:

donde

es el

. Estas #ltimas tam(i/n son conocidas como funciones sim/tricas de media onda y constan de dos semiondas iguales de sentidos opuestos.

Funciones cncavas y convexas

Artculo principal: Funcin convexa Artculo principal: Funcin cncava

Funcin conve-a"

$na funcin es con)exa en un inter)alo si la rectas tangentes a la funcin en ese inter)alo estn por de(ajo de la funcin. $na funcin es cnca)a en un inter)alo si la rectas tangentes a la funcin de ese inter)alo estn por encima. ,a denominacin de con)exidad y conca)idad depende del punto de )ista que se adopte para considerar que es una conca)idad, esto es si se mira a la funcin 7desde arri(a7 o 7desde a(ajo7. 'or ello, algunos textos denominan con)exas a las funciones que se cur)an 7hacia a(ajo7, al contrario de la definicin que se aca(a de dar en los anteriores prrafos. 'or ello, es frecuente que en ocasiones se adopten las denominaciones concava acia arriba y concava acia abajo para e)itar las am(ig8edades. ,as t/cnicas del anlisis diferencial permiten determinar si una funcin es creciente, decreciente, conca)a o con)exa a tra)/s del estudio de las deri)adas sucesi)as de la funcin.