Funcin matemtica

En la imagen se muestra una funcin entre un conjunto de polgonos y un conjunto de nmeros. A cada polgono le corresponde su nmero de lados.
En matemticas, se dice que una magnitud o cantidad es funcin de otra si el valor de la primera depende exclusivamente del valor de la segunda. Por ejemplo el rea A de un crculo es funcin de su radio r: el valor del rea es proporcional al cuadrado del radio, A = r2. Del mismo modo, la duracin T de un viaje en un tren circulando a una velocidad v de 150 km/h depende de la distancia d entre el origen y el destino: la duracin es inversamente proporcional a la distancia, T = v / d. A la primera variable (el rea, la duracin) se la denomina variable dependiente, y la variable de la que depende (el radio, la distancia) es la variable independiente. De manera ms abstracta, el concepto general de funcin, aplicacin o mapeo se refiere en matemticas una regla que asigna a cada elemento de un primer conjunto un nico elemento de un segundo conjunto. Por ejemplo, cada nmero entero posee un nico cuadrado, que resulta ser unnmero natural (incluyendo el cero):

...

2 +4 , +1 +1 ,

1 +1 , +2 +4 ,

0 0 , +3 +9 , ...

Esta asignacin constituye una funcin entre el conjunto de los nmeros enteros Z y el conjunto de los nmeros naturales N. Aunque las funciones que manipulan nmeros son las ms conocidas, no son el nico ejemplo: puede imaginarse una funcin que a cada palabra del espaol le asigne su letra inicial:

... , Estacin E , Museo M , Arroyo A , Rosa R , Avin A, ...

Esta es una funcin entre el conjunto de las palabras del espaol y el conjunto de las letras del alfabeto espaol. La manera habitual de denotar una funcin f es:

f:XY x f(x) , donde X es el dominio de la funcin f, su primer conjunto o conjunto de partida; e Y es el codominio de f, su segundo conjunto o conjunto de llegada. Por f(x) se denota la regla o algoritmo para obtener la imagen de un cierto objeto arbitrario x del dominio X, es decir, el (nico) objeto de Y que le corresponde. En ocasiones esta expresin es suficiente para especificar la funcin por completo, infiriendo el dominio y codominio por el contexto. En el ejemplo anterior, las funciones cuadrado e inicial, llmeseles f y g, se denotaran entonces como: f:ZN k k2 , o sencillamente f(k) = k2 ; g:VA p Inicial de p ; si se conviene V = {Palabras del espaol} y A = {Alfabeto espaol}. Una funcin puede representarse de diversas formas: mediante el citado algoritmo para obtener la imagen de cada elemento, mediante una tabla de valores que empareje cada valor de la variable independiente con su imagen como las mostradas arriba, o como una grfica que d una imagen de la funcin.

Contenido
[ocultar]

1 Definicin 2 Notacin y nomenclatura o 2.1 Ejemplos

3 Igualdad de funciones 4 Representacin de funciones 5 Clasificacin de las funciones o 5.1 Aplicacin inyectiva y no sobreyectiva o 5.1.1 Ejemplo 5.1.2 Segundo ejemplo

5.2 Aplicacin no inyectiva y sobreyectiva 5.2.1 Ejemplo 5.2.2 Segundo ejemplo

5.3 Aplicacin inyectiva y sobreyectiva (biyectiva) 5.3.1 Ejemplo 5.3.2 Segundo ejemplo

5.4 Aplicacin no inyectiva y no sobreyectiva 5.4.1 Ejemplo 5.4.2 Segundo ejemplo

5.5 Resumen

6 lgebra de las funciones o o o o o 6.1 La composicin de funciones 6.2 La funcin identidad 6.3 La restriccin de una funcin 6.4 Funcin inversa 6.5 El grupo simtrico o grupo de las funciones biyectivas

7 Terminologa, tradicin y convenios o 7.1 La notacin funcional

8 Funciones (con valores) reales o 8.1 lgebra de Funciones

9 Funciones numricas o o o o o o 9.1 Funciones acotadas 9.2 Funciones pares e impares 9.3 Funciones montonas 9.4 Funciones peridicas 9.5 Funciones cncavas y convexas 9.6 Funciones reales y funciones discretas

10 Vase tambin 11 Referencia 12 Enlaces externos

Definicin
Una funcin puede considerarse como un caso particular de una relacin o de correspondencia matemtica. Cada relacin o correspondencia de un elemento en lugar de con un (y slo un) se denota ,

Formalmente, pedimos que se cumplan las siguientes dos condiciones:

1. Condicin de existencia: Todos los elementos de X estn relacionados con elementos de Y, es decir, 2. Condicin de unicidad: Cada elemento de X est relacionado con un nico elemento de Y, es decir, si

Notacin y nomenclatura
Al dominio tambin se le llama conjunto de entrada o conjunto inicial. Se denota por o . A los elementos del dominio se les llama

habitualmente argumento de la funcin. Al codominio, tambin llamado, conjunto de llegada, conjunto final o rango de f se le denota por o codomf Cabe sealar que el trmino rango es ambiguo en la literatura, ya que puede hacer referencia tanto al codominio como al conjunto imagen. Por ello, es aconsejable usar el trmino codominio. Si x es un elemento del dominio al elemento del codominio asignado por la funcin y denotado por f(x) se le llama valor o imagen de la funcin f de x. Al subconjunto del codominio formado por todos los valores o imgenes se le llama imagen, alcance o recorrido de la funcin. Se denota por o o .

Una preimagen de un

es algn

tal que

Note que puede haber algunos elementos del codominio que no sean imagen de un elemento del dominio, pero que cada elemento del dominio es preimagen de al menos un elemento del codominio.

Ejemplos

La funcin definida por , tiene como dominio,

codominio e imagen a todos los nmeros reales

Funcin con Dominio X y Rango Y

Para la funcin

tal que

, en cambio, si , slo tendr como imagen

bien su dominio y codominio son iguales a los valores comprendidos entre 0 y +.

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 (el1 y el 4). Finalmente,

Esta funcin representada como relacin, queda:

Igualdad de funciones
Sean las funciones f: A B y g: C D, decimos que f es igual a g y escribimos f=g si y slo si se cumple que ambas funciones:

1. 2. 3.

tienen igual dominio, A=C, tienen igual codomino, B=D, y tiene la misma asignacin, es decir que para cada x se cumple que f(x)=g(x).

Representacin de funciones

Las funciones se pueden presentar de distintas maneras:

usando una relacin matemtica descrita mediante una expresin matemtica: ecuaciones de la forma y = f(x). Cuando la relacin es funcional, es decir satisface la segunda condicin de la definicin de funcin, se puede definir una funcin que se dice definida por la relacin, A menos que se indique lo contrario, se supone en tales casos que el dominio es el mayor posible (respecto a inclusin) y que el codominio son todos los Reales. El dominio seleccionado se llama el dominio natural, de la funcin.

Ejemplo: y=x+2. Dominio natural es todos los reales. Ejemplo: "Para todo x, nmero entero, y vale x ms dos unidades".

Como tabulacin: tabla que permite representar algunos valores discretos de la funcin.

Ejemplo:

2 4

X| -2 -1 3 Y| 0 1 5

0 2

1 3

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 grfica: g rfica que permite visualizar las 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 -2 -1 0 1 2 X X X X