CONJUNTO DE DOMINIO: En matemticas, el dominio (conjunto de definicin o conjunto de partida) de una funcin es el conjunto de existencia de ella misma, es decir,

los valores para los cuales la funcin est definida. Es el conjunto de todos los objetos que puede transformar, se denota o bien . En se denomina dominio a un conjunto conexo, abierto y cuyo interior no sea vaco. Por otra parte, el conjunto de todos los resultados posibles de una funcin dada se denomina imagen de esa funcin. Definicin El dominio de definicin de una funcin f:XY se define como el conjunto X de todos los elementos x para los cuales la funcin f asocia algn y perteneciente al conjunto Y de llegada, llamado codominio. Esto, escrito de manera formal:

Propiedades Dadas dos funciones reales:

Se tienen las siguientes propiedades: 1. 2. 3. 4. Clculo del dominio de una funcin Para el clculo certero del dominio de una funcin, se debe introducir el concepto de restriccin en el cuerpo real. Estas restricciones ayudarn a identificar la existencia del dominio de una funcin. Las ms usadas son: Raz n-sima de f(x) No existe restriccin si n es impar, pero si n es par, la funcin f(x) necesariamente deber ser mayor o igual que cero, ya que las races negativas no estn definidas en el cuerpo real. Por ejemplo:

El ndice de la raz es par (2), por tanto ; despejando, se tiene que x 3. El dominio entonces ser el conjunto de todos los reales en el intervalo [3,+). Logaritmo de f(x) La restriccin est al estudiar las propiedades de los logaritmos las cuales dicen que estos no estn definidos para nmeros negativos, por tanto toda funcin contenida dentro de un logaritmo debe ser necesariamente mayor estricto de cero. Por ejemplo:

Por la propiedad anteriormente citada, se observa que para que esta funcin exista, necesariamente ; despejando, se obtienen dos soluciones y . La unin de ambas soluciones representa el dominio de la funcin, que est definida como el conjunto (-, -3) U (3, +). Fracciones Otras propiedades de las matemticas pueden ayudar a obtener el dominio de una funcin y excluir puntos donde esta no est definida, por ejemplo, una funcin que tenga forma de fraccin no estar definida cuando el denominador valga cero, ya que esto es una indeterminacin que dara una tendencia al infinito. Ejemplos Algunos dominios de funciones reales de variable real: El dominio de esta funcin es El dominio de esta funcin es definida para x = 0. El dominio de esta funcin es estn definidos slo para nmeros positivos. El dominio de esta funcin es negativo no existe en el cuerpo de los reales. Conjunto imagen (Redirigido desde Imagen de una funcin) . puesto que la funcin no est ya que los logaritmos porque la raz de un nmero

Ejemplo de imagen: La imagen del conjunto X es el conjunto Y, porque todos sus valores son imagen de alguno del conjunto X. Imgenes particulares de los valores: la imagen de 1 ser D, la de 2 ser B, la de 3 ser C y la de 4 ser C tambin.

Ejemplo de Subconjunto imagen: Subconjunto imagen de X (D,B,A) dentro del conjunto Y (aqu Y no es imagen de X, porque no todos sus valores son imagen de algn valor del conjunto de X). Imgenes particulares de los valores: La imagen de 1 ser D, la de 2 ser B, la de 3 ser A, y C no es imagen de nadie (no tiene antiimagen). CONJUNTO IMAGEN: En matemticas, la imagen (conocida tambin como campo de valores o rango) de una funcin es el conjunto formado por todos los valores que puede llegar a tomar la funcin. Se puede denotar como formalmente est definida por: , o bien y

Adicionalmente, es posible hablar de la imagen de un elemento (del dominio) para hacer referencia al valor que le corresponde bajo la funcin. Esto es, si es una funcin, entonces la imagen del elemento Diferencia con el contradominio es el elemento .

El conjunto imagen siempre es un subconjunto del contradominio. Es importante diferenciar el concepto de contradominio del concepto de conjunto imagen. Si es una funcin, al conjunto Y de valores que podra tomar la funcin se conoce como contradominio, mientras que el conjunto imagen consta nicamente de los valores que realmente toma. Por ejemplo, la funcin tiene por contradominio el conjunto de todos los nmeros reales, pero como nunca toma realmente valores negativos, el conjunto imagen est formado nicamente por los nmeros reales no negativos. En general, el conjunto imagen siempre es un subconjunto del codominio, y cuando stos coinciden, se dice que la funcin es suprayectiva. MONOTOMIA: En matemticas, una funcin entre conjuntos ordenados se dice montona (o istona) si conserva el orden dado. Las funciones de tal clase surgieron primeramente en clculo, y fueron luego generalizadas al entorno ms abstracto de la teora del orden. Aunque los conceptos generalmente coinciden, las dos disciplinas han desarrollado una terminologa ligeramente diferente; mientras en clculo se habla de funciones montonamente crecientes y montonamente decrecientes (o simplemente crecientes y decrecientes), en la teora del orden se usan los trminos montona y anttona, o se habla de funciones que conservan e invierten el orden. Definicin general Sea

una funcin entre dos conjuntos P y Q, donde cada conjunto tiene un orden parcial (los dos se denotarn por ). En clculo se habla de funciones entre subconjuntos de los reales, y el orden no es otro que el orden usual de la recta real, aunque esto no es esencial para la definicin. La funcin f es montona si y slo si x y implica f(x) f(y) (es decir, la funcin es creciente), o bien x y implica f(x) f(y) (es decir, la funcin es decreciente). En otras palabras, una funcin es montona si conserva el orden. Monotona en clculo y anlisis En clculo no hay usualmente necesidad de invocar los mtodos abstractos de la teora del orden. Como ya se seal, las funciones se establecen entre (subconjuntos de) nmeros reales, ordenados de forma natural. Por la forma de la grfica de una funcin montona en los reales, tales funciones se llaman tambin montonamente crecientes (o no decreciente), respectivamente. Ejemplo grfico A continuacin se muestran tres grficas de funciones cualesquiera. La primera de ellas es una funcin estrictamente creciente por la izquierda y por la derecha, mientras que es constante en el medio; por lo dems, es creciente pues conserva el orden ascendente durante todo el recorrido de la funcin. La segunda de ellas es escrictamente decreciente por la izquierda y por la derecha, puesto que conserva el orden descendente durante todo el recorrido de la funcin. La ltima de ellas es una funcin con un recorrido con partes donde la funcin es creciente y partes donde es decreciente (presenta mximos y mnimos relativos).

Funcin montona creciente.

Funcin decreciente.

montona

Funcin no montona.

Aplicaciones y resultados bsicos

Monotona En matemticas, cada una de las siguientes propiedades de una funcin f : R R implica la siguiente:

f es montona. f tiene un lmite por la izquierda y por la derecha en cualquier punto de su dominio de definicin. f slo puede tener discontinuidades de salto. f slo puede tener una cantidad enumerable de discontinuidades.

Estas propiedades son la razn por la que las funciones montonas son tiles en el anlisis matemtico. Dos importantes hechos que se deducen de que una funcin sea montona son:

Si f es una funcin montona definida en un intervalo I, entonces f es derivable casi siempre en I, es decir, el conjunto de puntos x en I en donde f no es diferenciable tiene medida de Lebesgue 0. Si f es una funcin montona definida en un intervalo [a, b], entonces f es Riemannintegrable.

Una importante aplicacin de las funciones montonas es en probabilidad. Si X es una variable aleatoria, su funcin de distribucin

es una funcin creciente. Funciones booleanas

Los retculos distributivos libres de funciones booleanas montonas sobre 0, 1, 2 y 3 argumentos.

En el lgebra de Boole, una funcin montona es una tal que para todo ai y bi en {0,1} tales que a1 b1, a2 b2, ... , an bn

es cierto que se cumple f(a1, ... , an) f(b1, ... , bn). Las funciones booleanas montonas son precisamente aquellas que pueden ser definidas como una composicin de conjunciones y disyunciones, pero sin negaciones. El nmero de estas funciones sobre n variables es conocido como el nmero de Dedekind de n. PARIDAD: En matemticas, se puede clasificar a las funciones segn su paridad. Las funciones pueden ser pares, impares o no tener paridad. Aquellas funciones que poseen paridad satisfacen una serie de relaciones particulares de simetra, con respecto a inversas aditivas. Las funciones pares e impares son usadas en muchas reas del anlisis matemtico, especialmente en la teora de las series de potencias y series de Fourier. Deben su nombre a la paridad de las potencias de las funciones monmicas que coinciden y por tanto satisfacen las condiciones de paridad. As, la funcin xn es una funcin par si n es un entero par o una funcin impar si n es un entero impar. Funciones pares

Grfica de una funcin par. Una funcin par es cualquier funcin que satisface la relacin dominio de f entonces -x tambin. y si x es del

Desde un punto de vista geomtrico, una funcin par es simtrica con respecto al eje y, lo que quiere decir que su grfica no se altera luego de una reflexin sobre el eje y. Ejemplos de funciones pares son el valor absoluto, x2, x4, cos(x), y cosh(x). Definicin formal

El trmino funcin par suele referirse a una clase especial de funciones de variable real: una funcin es una funcin par si para se cumple la siguiente relacin:

La definicin anterior puede generalizarse a funciones sobre dominios ms generales. Si A es un conjunto con cierta estructura algebraica en la que existan inversos aditivos (por ejemplo, los nmeros complejos C), una funcin par sera toda funcin:

que cumpla:

La definicin de funcin par presupone que si de no ser as no se podra definir Ejemplo La funcin: .

entonces necesariamente

es par ya que para cualquier valor de x se cumple:

Demostrando que la funcin es par. Si x=2, entonces:

Funciones impares

Grfica de una funcin impar Una funcin impar es cualquier funcin que satisface la relacin:

para todo x en el dominio de f. Desde un punto de vista geomtrico, una funcin impar posee una simetra rotacional con respecto al origen de coordenadas, lo que quiere decir que su grfica no se altera luego de una rotacin de 180 grados alrededor del origen. Ejemplos de funciones impares son x, x3, seno(x), sinh(x), y la erf (x). Ejemplo La funcin:

tambin es impar, ya que:

en este caso la funcin no est definida en el punto Si vemos la funcin:

Podemos ver que:

Y esta funcin si pasa por el punto (0,0). Caractersticas Nota: La paridad de una funcin no implica que sea diferenciable o continua. Propiedades

La nica funcin que es tanto par e impar es la funcin constante que es idnticamente cero (o sea f(x) = 0 para todo x). La suma de una funcin par y una impar no es ni par ni impar, a menos de que una de las funciones sea el cero. La suma de dos funciones par es una funcin par, y todo mltiplo de una funcin par es una funcin par. La suma de dos funciones impares es una funcin impar, y todo mltiplo constante de una funcin impar es una funcin impar. El producto de dos funciones pares es una funcin par. El producto de dos funciones impares es una funcin par. El producto de una funcin par y una funcin impar es una funcin impar. El cociente de dos funciones pares es una funcin par. El cociente de dos funciones impares es una funcin par. El cociente de una funcin par y una funcin impar es una funcin impar. La derivada de una funcin par es una funcin impar. La derivada de una funcin impar es una funcin par. La composicin de dos funciones pares es una funcin par, y la composicin de dos funciones impares es una funcin impar. La composicin de una funcin par y una funcin impar es una funcin par. la composicin de toda funcin con una funcin par es par (pero no vice versa). Toda funcin definida sobre toda la lnea real puede descomponerse en la suma de una funcin par y una impar:

La integral de una funcin impar entre -A y +A es cero (donde A es finito, y la funcin no posee ninguna asntota vertical entre -A y A). La integral de una funcin par entre -A y +A es el doble de la integral entre 0 y +A (donde A es finito, y la funcin no posee ninguna asntota vertical entre -A y A).

Series

La serie de Maclaurin de una funcin par se compone solo de trminos con potencias pares. La serie de Maclaurin de una funcin impar se compone solo de trminos con potencias impares. La serie de Fourier de una funcin par peridica solo incluye trminos cosenos. La serie de Fourier de una funcin impar peridica solo incluye trminos senos.

IJ