Conceptos bsicos

Para 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 objetos que puede transformar, se denota o bien y est definido por:

Recorrido o codominio
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
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

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 + 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:
0 2 1 3 2 4 3 5

X| -2 -1 Y| 0 1

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 4 3 2 1 0 y/x X X X X X X -2 -1 0 1 2 3

Funciones segn tipo de aplicacin

Dados dos conjuntos X, Y, y todas las posibles aplicaciones que pueden formarse entre estos dos conjuntos, se pueden diferenciar los siguientes casos:

Si a cada imagen le corresponde un nico origen, inyectiva. Si la aplicacin es sobre todo el conjunto final, sobreyectiva.

Adems de estos dos casos caractersticos, una aplicacin puede ser inyectiva y sobreyectiva simultneamente, que se denominan biyectiva, o ninguna de ellas en cuyo caso no tiene un nombre especifico. Vamos a representar los tipos de aplicaciones en un Diagrama de Venn, el conjunto universal U, representado por un rectngulo, es el de todas las posibles aplicaciones, el conjunto A es el de las aplicaciones inyectivas, y el conjunto B el de las sobreyectivas, esto nos permite ver los distintos tipos de aplicaciones de un modo grfico.

Aplicacin inyectiva y no sobreyectiva [editar]

Una aplicacin inyectiva cada elemento imagen tendr un nico origen y una no sobreyectiva tendr al menos un elemento del conjunto final que no tenga elemento origen. En el diagrama de Venn corresponden a las aplicaciones que pertenecen a A y no pertenecen a B, esto es las que pertenecen a la diferencia de A y B: A-B. En estas aplicaciones la cardinalidad de X es siempre menor que la de Y, esto es el conjunto Y tendr mayor nmero de elementos que X cuando tratamos de compararlos. Ejemplo [editar] en el diagrama de la figura: todos los elementos de Y, que tienen origen, tienen un nico origen, esto hace que la aplicacin sea inyectiva el elemento d de Y, no tiene ningn origen por lo que esta aplicacin no es sobreyectiva. Segundo ejemplo [editar]

Partiendo del conjunto de pinceles con pintura de colores: , ,

Sobre el conjunto de caras pintadas: , , ,

Asociando cada pincel con la cara correspondiente:

Dado que cada pincel tiene una cara y solo una cara de su color esta correspondencia es una aplicacin, como las caras que tiene pincel de su color, tienen un solo pincel de su color, la aplicacin es inyectiva, y como la cara pintada de amarillo, no tiene ningn pincel de este color, la aplicacin no es sobreyectiva.

Aplicacin no inyectiva y sobreyectiva [editar]

Una aplicacin no inyectiva tiene al menos un elemento imagen que tiene dos o ms orgenes y una sobreyectiva todos los elementos del conjunto final tienen al menos un elemento origen. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y si pertenecen a B, esto es las que pertenecen a la diferencia de B y A: B-A. Para esta aplicacin el conjunto X ha de tener mayor nmero de elementos que Y, la cardinalidad de X ha de ser mayor que la de Y. Ejemplo [editar] en el diagrama de la figura: el elemento c de Y, tiene dos orgenes: el 3 y el 4, por lo que esta aplicacin no es inyectiva. todos los elementos de Y, tienen origen, esto hace que la aplicacin sea sobreyectiva. Segundo ejemplo [editar]

Igual que en el ejemplo anterior partiremos del conjunto de pinceles con pintura de colores: , , ,

En este caso hay dos pinceles con pintura azul, pero a pasar de tener el mismo color de pintura son dos pinceles distintos. Como conjunto final tenemos el conjunto de caras pintadas: , ,

Asociando cada pincel con la cara del mismo color, vemos que cada pincel tiene una cara pintada de su color y solo una, esto hace que la correspondencia sea una aplicacin, la cara azul tiene dos pinceles de su mismo color, por lo que no es inyectiva, todas las caras tiene un pincel con su color, luego la aplicacin es sobreyectiva.

Aplicacin inyectiva y sobreyectiva (biyectiva)

Si una aplicacin es inyectiva y sobreyectiva simultneamente, se denomina biyectiva. Por ser inyectiva los elementos que tienen origen tienen un nico origen y por ser sobreyectiva todos los elementos del conjunto final tienen origen.

En el diagrama de Venn el conjunto A es el de las aplicaciones inyectiva y el conjunto B el de las aplicaciones sobreyectiva, las aplicaciones biyectiva, que son inyectiva y sobreyectiva, ser la interseccin de A y B. Estas dos circunstancias dan lugar a que el conjunto X e Y tengan el mismo nmero de elementos, la cardinalidad de X es la misma que la de Y, esto tiene una gran importancia cuando se pretende comparar dos conjuntos:

Si dados dos conjuntos podemos encontrar una aplicacin biyectiva entre ellos, podemos afirmar, que los dos conjuntos tienen el mismo nmero de elementos. La cardinalidad de X es igual a la de Y.

Ejemplo

en el diagrama de la figura: todos los elementos de Y, que tienen origen, tienen un nico origen, esto hace que la aplicacin sea inyectiva todos los elementos de Y, tienen origen, esto hace que la aplicacin sea sobreyectiva. Si tomaremos por conjunto inicial el conjunto de los nmeros naturales:

y por conjunto final el de los nmeros naturales pares:

Podemos ver que la relacin

Por el que a cada nmero natural x de X, le asociamos un nmero par 2x de Y, se cumple: 1. f: es una aplicacin, dado que a cada uno de los valores x de X le corresponde un nico valor 2x de Y.

2. esta aplicacin es inyectiva dado que a cada nmero par 2x de Y le corresponde un nico valor x de X. 3. y es sobreyectiva porque todos los nmeros pares tienen un origen Esto nos permite afirmar que hay el mismo nmero de nmeros naturales que de nmeros naturales pares, se da la paradoja de que los nmeros naturales pares en un subconjunto propio de los nmeros naturales, esta circunstancia solo se da con los conjuntos infinitos. Segundo ejemplo

Tomando el conjunto de pinceles como conjunto inicial: , , ,

y el de caras como conjunto final: , , ,

La correspondencia que asocia cada pincel con la cara de su mismo color es una aplicacin porque todos los pinceles tienen una cara con su color y solo una cara de ese color, la aplicacin es inyectiva porque un pincel corresponde con una sola cara, y es sobreyectiva porque todas las caras tiene un pincel de su color, al ser inyectiva y sobreyectiva simultneamente esta aplicacin es biyectiva. Una aplicacin biyectiva hace corresponder los elementos del conjunto inicial con los del conjunto final uno a uno, pudindose decir que hay el mismo nmero de elementos en el conjunto inicial que en el final.

Aplicacin no inyectiva y no sobreyectiva

Una aplicacin no inyectiva tendr al menos un elemento imagen que tenga dos o ms orgenes y una no sobreyectiva tendr al menos un elemento del conjunto final que no tenga elemento origen. Este tipo de aplicaciones no tiene un nombre especifico y quiz sean las que presenten, desde el punto de vista matemtico, un menor inters. Para esta aplicacin los conjuntos X e Y no son comparables, y no podemos plantear ningn supuesto sobre su cardinalidad, partiendo de su comparacin, ni sobre su nmero de elementos. En el diagrama de Venn corresponden a las aplicaciones que no pertenecen a A y no pertenecen a B, esto es las que no pertenecen a la unin de A y B. Ejemplo [editar] en el diagrama de la figura: el elemento b de Y, tiene dos orgenes: 1 y 2, esto hace que esta aplicacin no sea inyectiva el elemento a de Y, no tiene ningn origen por lo que esta aplicacin no es sobreyectiva Segundo ejemplo [editar]

Si tomamos como conjunto inicial el de pinceles de colores:

y como conjunto final el de caras coloreadas: , , ,

Vemos que todos los pinceles tiene una cara y solo una cara de su mismo color, luego esta correspondencia es una aplicacin matemtica. Como la cara azul tiene dos pinceles de su color la aplicacin no es inyectiva, y como la cara amarilla no tiene ningn pincel de ese color no es sobreyectiva, luego esta aplicacin es no inyectiva y no sobreyectiva.

Resumen [editar]

Sobreyectiva, no inyectiva

Inyectiva, no sobreyectiva

Biyectiva

lgebra de las funciones

Composicin de funciones
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]

Artculo principal: Funcin identidad

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

el mismo de

Dada cualquier funcin , es claro que es tambin igual a , puesto que para todo tambin

es igual a y que y

Funcin inversa [editar]

Artculo principal: funcin inversa

Dada una funcin , se denomina funcin inversa de , funcin que cumple la siguiente condicin:

a la

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 , que sera ambigua si pudiera haber dos inversas de la misma funcin. 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

Considerando todas las funciones biyectivas anterior pueden resumirse en: , las conclusiones del apartado

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

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

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

Artculo principal: Funcin real Artculo principal: Funcin discreta

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

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 inferiormente. , por lo que est acotada

Funciones pares e impares

Artculo principal: Funcin par Artculo principal: Funcin impar

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

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: perodo.

donde

es el

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: Funcin convexa Artculo principal: Funcin cncava

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.