Professional Documents
Culture Documents
Funcin matemtica
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 magnitud (el rea, la duracin) se la denomina variable dependiente, y la cantidad de la que depende (el radio, la distancia) es la variable independiente.
En la imagen se muestra una funcin entre un conjunto de polgonos y un De manera ms abstracta, el concepto general de conjunto de nmeros. A cada polgono le corresponde su nmero de lados. funcin, aplicacin o mapeo se refiere en matemticas a 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 un nmero natural (incluyendo el cero): ... 2 +4 , 1 +1 , 0 0 , +1 +1 , +2 +4 , +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}.
Funcin matemtica 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.
Definicin
Una funcin puede considerarse como un caso particular de una relacin o de correspondencia matemtica. Cada relacin o correspondencia de un elemento con un (y slo un) se denota , en lugar de 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 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 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 . o . A los
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 matemtica Para la funcin tal que , en cambio, si bien su dominio y codominio son iguales a ,
slo tendr como imagen 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 (el y el ). Finalmente,
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. tienen igual dominio, A=C, 2. tienen igual codomino, B=D, y 3. 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 . 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: X| -2 -1 Y| 0 0 1 1 2 2 3 3 4
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: grfica 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:
Funcin matemtica
5 4 3 2 1 0 X X X X X
y / x -2 -1 0 1 2 3
Funcin matemtica 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 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 Partiendo del conjunto de pinceles con pintura de colores:
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.
Funcin matemtica
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.
Funcin matemtica
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.
Funcin matemtica Segundo ejemplo Tomando el conjunto de pinceles como conjunto inicial:
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.
Funcin matemtica Ejemplo 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 el elemento se obtiene cuando dos funciones con el mismo numerador se conectan de forma biyectiva y no se utiliza en ningn momento la sobreyectiva por medidas de aseguracion la funcin se emplea de forma rotativa y no se representa en las grficas Segundo ejemplo Si tomamos como conjunto inicial el de pinceles de colores:
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
Funcin matemtica
10
La funcin identidad
Dado un conjunto , la funcin o que asigna a cada . es igual a y que es y tambin , se cumple que de el mismo de , se denomina funcin identidad. Tambin se simboliza por Dada cualquier funcin tambin igual a Se verifica que la composicin de dos funciones inyectivas es inyectiva. la composicin de dos funciones suprayectivas es suprayectiva. la composicin de dos funciones biyectivas es biyectiva.
Advertencia: muchas veces, especialmente con funciones numricas, se usa la misma notacin para la funcin y su restriccin, esperando que del contexto pueda deducirse la diferencia.
Funcin inversa
Dada una funcin , se llama una (funcin) inversa de , a una funcin . Decimos tambin que la funcin f es invertible Cuando existe una funcin inversa de f, se demuestra que esa funcin es nica, por lo que se habla de la inversa y se la denota por . Se verifica tambin las siguientes propiedades. Una funcin tiene inversa si, y slo si, es biyectiva. La funcin inversa de una funcin es invertible, y su inversa es la funcin original. O sea que . La composicin de dos funciones invertibles es invertible, y su inversa es la composicin de las inversas de los factores pero con el orden invertido. . tal que se cumple las siguientes condiciones:
Funcin matemtica
11
. 3. Cada elemento f de Biy(A) tiene un inverso respecto a la operacin: la funcin inversa de f. O sea que . Estas tres condiciones determinan lo que se llama un grupo. Por lo que el conjunto de las funciones biyectivas , Biy(A) es un grupo con respecto a la operacin de composicin de funciones que recibe el nombre de grupo simtrico de . Cuando A es un conjunto finito, digamos con n elementos, las biyecciones de A se llaman tambin permutaciones, por lo que el grupo simtrco de A se llama tambin grupo de permutaciones.
conjuntos, o sea posterior a los finales del siglo XIX. Cmo se deca anteriormente que x era un elemento de
Diciendo que x era una variable real. Por extensin del concepto, se llamaba variables tanto a los elementos del dominio como aquellos del codominio; para distinguir entre ellos, los elementos del dominio eran las variables independientes mientras que aquellos del codominio eran las variables dependientes. Por esa razn, funciones cuyo dominio sea un subconjunto de los Reales se denominan funciones de una variable real. Por que "una"? Porque funciones cuyo dominio eran subconjuntos de o se llamaban funciones de dos o tres variables (reales) respectivamente. Actualmente, preferimos decir que se trata de funciones definidas sobre pares o tros de nmeros (usualmente considerados como vectores bidimensionales o tridimensionales, respectivamente). En algunos contextos, la terminologa est adaptada al tema de estudio, por ejemplo, en Fsica es usual la siguiente terminologa. Funcin escalar: Funcin del tipo Campo escalar: Funcin del tipo Funcin vectorial: Funcin del tipo Campo vectorial: Funcin del tipo
La notacin funcional
En muchos campos aplicados, inclusive a veces en textos de matemticas, se encuentra la expresin "la funcin ". De acuerdo a nuestra definicin actual, lo anterior no hace sentido, ya que f(x) es una notacin para el elemento del codominio. Otras veces, nos encontramos con algo as como "la funcin f(x) = x^2 - 3x + 7". Aunque aqu hay una posible asignacin, no se ha especificado ni el dominio ni el codominio, por lo que en rigor la funcin f no est bien definida.
Funcin matemtica En ciertos contextos, por ejemplo de funciones numricas (dominio y codominio son subconjuntos de los Reales), hay una serie de convenios para simplificar la escritura. La expresin "la funcin " se debe entender como una abreviacin de lo siguiente: La funcin f definida por dicha igualdad, que suponemos una relacin funciona (a cada x corresponde un nico y) es una funcin cuyo dominio, llamado dominio natural, es el mximo subconjunto para l cual tiene sentido la expresin, y cuyo codominio son todos los Reales. En la "funcin" citada, la aparicin del radical nos dice que el dominio natural consiste de todos los reales no negativos. Para evitar ambigedades, a veces se usa la notacin para indicar la regla de asignacin. Igualmente, por restricciones adecuadas de dominio y codominio se trabaja la composicin de funciones numricas. Por ejemplo: si y , podemos considerar a como la composicin de las funciones g y f, a pesar que esto es i'nconsistente con la definicin dada de composicin. En efecto, f es una funcin de en cuya imagen es todo . Por su parte, g es una funcin de los reales no negativos en los Reales, por lo que no se cumple que la imagen de f sea un subconjunto del dominio de 'g. Sin embargo, como prcticamente o para efectos de otras necesidades matemticas queremos considerar a la funcin h como una composicind de g con f, suponemos que f est restringido al intervalo .
12
lgebra de Funciones
Sea un conjunto cualquiera no vaco y sea el conjunto formado por todas las funciones de en , como . Muchas de las operaciones y propiedades algebraicas de los Reales se pueden extender a veremos a continuacin. Sean elementos de . Definimos operaciones entre funciones, punto a punto por
La manera en que hacemos la extensin garantiza que muchas de las propiedades de los Reales se extienden a . Indicamos a continuacin aquellas ms importantes. La suma de funciones es asociativa, conmutativa, con neutro la funcin constante para cada funcin f. La resta es tal que . La multiplicacin es asociativa, conmutativa, con neutro la funcin constante funciones que nunca tiene valor nulo, tienen recprocos. La multiplicacin es distributiva respecto a la suma. Note que todas las anteriores propiedades son propiedades de los nmeros reales. Hay, sin embargo, propiedades "extraas". Por ejemplo, Si el conjunto X tiene a lo menos dos elementos, hay divisores de cero en . En , pero solamente las , con opuesto aditivo
Funcin matemtica efecto, supongamos que El conjunto Sea y definamos tales que y
13
.S
la funcin cero, aunque ninguno de los factores lo es. junto con sus operaciones es importante por la gran cantidad de ejemplos diversos que se . Entonces, cada funcin de define una pareja de nmeros que si . Esto nos dice que, obtienen al seleccionar el conjunto X. consideramos el orden natural en X, podemos escribir como el para ordenado en este caso, podemos identificar con Sea Sea .
con el conjunto de todos los pares posibles de nmeros reales, o sea con . con
Razonado como arriba, podemos identificar a Razonado como arriba, podemos identificar a
Note que en cada uno de los ejemplos anteriores, el conjunto de pares, tros, n-uplas ordenadas aparece provisto de una suma y multiplicacin. La suma coincide con la suma vectorial usual y la multiplicacin por constantes con la multiplicacin por escalar. Sea , los Naturales. En este caso, es el conjunto de todas las sucesiones de nmeros reales
Funciones numricas
Llamamos funciones numricas a funciones cuyo dominio y codominio son subconjuntos de los Reales. Estas funciones son aquellas que aparecen ms frecuentemente en las aplicaciones elementales.
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 , por lo que est acotada inferiormente.
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. La importancia de los conceptos reside en que funciones cuyo dominio es simtrico respecto al origen, se cumple que son iguales a la suma de una funcin par con una funcin impar
Funcin matemtica
14
Funciones montonas
1. La funcin f es estrictamente creciente en 2. f es estrictamente decreciente en Si una funcin es estrictamente creciente o decreciente entonces es inyectiva. 1. f es creciente en 2. f es decreciente en Si una funcin verifica cualquiera de las cuatro propiedades anteriores se dice que es montona.
Funciones peridicas
Una funcin es peridica si se cumple: donde es el perodo. . Estas ltimas
tambin son conocidas como funciones simtricas de media onda y constan de dos semiondas iguales de sentidos opuestos.
Funcin convexa.
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.
Vase tambin
Anexo:Funciones matemticas Continuidad (matemtica) Asntotas de una funcin Funcin lineal Sucesin matemtica
Funcin indicatriz
Funcin matemtica
15
16
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/