RELACIONES

Identificacin del dominio y rango de una relacin

Dominio y Rango
El dominio de una relacin o funcin es el conjunto de todos los valores
independientes posibles que una relacin puede tener.
El rango de una relacin o funcin es el conjunto de todos los valores
dependientes posibles que la relacin puede producir.
Al poner a todas las variables independientes y dependientes en grupos
separados, el dominio y el rango nos permiten encontrar y explorar patrones
en cada tipo de variable.
Ejemplos:
1)

Dominio: {1, 2, 3}

Rango: {1, 5, 9}

2) Jamie vende pasteles caseros en $15 cada uno. La cantidad de dinero que
gana es una funcin de cuntos pasteles puede vender: $0 si no vende
ninguno, $15 si slo vende uno, $30 si vende 2, y as sucesivamente. Cules
son el dominio y el rango de la funcin?
Dominio: {0, 1, 2, } Rango: {0, 15, 30, }
3)
 Dominio: {-2, 0, 2, 4}

Rango: {0, 6, 12, 18}

4)

Dominio: {todos los nmeros reales}

Rango: {todos los nmeros reales}

 Dominio: {todos los nmeros reales}

Rango: {todos los nmeros reales mayores o iguales a cero}

Ojo: el rango est formado por todos los valores absolutos de las variables independientes del
dominio, por lo tanto, siempre sern positivas.

Regla de correspondencia
Dados dos conjuntos: X e Y, y una funcin f, que determina alguna relacin
binaria entre algn elemento de X con algn elemento de Y, diremos que esa
funcin: f, define una correspondencia entre X e Y, que se representa:
f: X -> Y
cuando al menos un elemento de X est relacionado con al menos un elemento
de Y.
Existen dos tipos de reglas de correspondencia:
1) Correspondencia unvoca
2) Correspondencia biunvoca
La correspondencia unvoca es aquella en donde cada elemento de un
conjunto primero llamado (dominio) le corresponde solo un elemento de un
segundo conjunto llamado (codominio o rango).
Por otro lado se denomina como correspondencia biunvoca aquella que en su
inversa tambin es unvoca.

Cabe destacar que el concepto de una Correspondencia biunvoca esta muy

conectado en lo que se refiere a una funcin inversa, ya que describe como las
relaciones se van dando a medida que se asigna un elemento como
dominio. La ejemplificacin algebraica de dichas correspondencias es posible
encontrar en el ncleo de una funcin matemtica tanto en un sentido normal
como en su sentido inverso.
Existen otro tipo de correspondencias que corresponden a la existencia o no
de un elemento nico en un rango o bien a la existe de dos elementos en el
rango, como son: no-unvoca, no-biunvoca, etc. Este tipo de correspondencias
se consideran como producto de las otras, y por tanto una generalizacin de
contexto de las mismas es por ello que no se mencionan en este artculo.
GRAFICACIN DE FUNCIONES
Identificacin del comportamiento grfico de la funcin
 Evaluacin analtica
Para realizar la evaluacin analtica de una funcin, se siguen los siguientes
pasos:
1) Determinar el dominio.
2) Estudiar su continuidad. Hallar asntotas verticales.
3) Hallar sus ceros y determinar su signo.
4) Estudiar sus asntotas horizontales y oblicuas.
5) Calcular la derivada primera para hallar extremos (mximos y mnimos),
puntos de inflexin con tangente horizontal y puntos singulares.
6) Calcular la derivada segunda para estudiar la concavidad y encontrar los
puntos de inflexin con tangente oblicua.
El ejemplo es el siguiente: f(x)= xe(x+1)/(x-1)
1) Dominio
El dominio de una funcin es el conjunto de valores donde la funcin est
definida. Se debe hallar los valores de x donde la funcin no existe. Estos
puntos son:
a) Valores donde algn denominador es 0. Se deben hallar las races de
cada denominador que aparezca en la funcin. Estos puntos no
pertenecen al dominio.
b) Valores donde una cantidad subradical de ndice par (por ejemplo raz
cuadrada o raz cuarta) es negativa. Se hallan las races de la cantidad
subradical y se estudia su signo. Los intervalos donde es negativa son
intervalos donde la funcin no existe.
c) Valores donde algn logaritmando es menor o igual a cero. Se hallan
ceros y signo de logaritmando. Donde sea negativo o cero, la funcin no
existe.
Ejemplo:
 2) Continuidad y asntotas verticales
De la parte 1) se sabe que en qu puntos no existe la funcin. Ahora tenemos
que averiguar cmo se comporta la funcin en un entorno de esos puntos.
Hallamos los lmites laterales en los puntos de discontinuidad, y en los
extremos de los intervalos de discontinuidad. Si alguno de los lmites laterales
en un punto x=a da infinito se dice que f tiene asntota vertical (AV) de
ecuacin x=a.
Ejemplo:

3) Ceros y signo
Hallar los ceros de la funcin consiste en resolver la ecuacin f(x)=0.
En algunos casos esto no es sencillo, por lo cual puede utilizarse el mtodo de
Rolle o el mtodo de bacos.
Para especificar el signo se colocan sobre un eje los ceros de la funcin y los
puntos de inexistencia, y se determina el signo (positivo o negativo) en cada
uno de los intervalos que queda.
Ejemplo:

4) Asntotas horizontales y oblicuas

En este punto, se determinar qu asntotas presenta la funcin cuando x
tiende a +infinito y infinito.
Para ello se debe hallar el lmite de la funcin cuando x tiende a +infinito y
infinito.
- Si limx->inf f(x)= b la funcin tiene asntota horizontal de ecuacin y=b
(la funcin se acerca a la recta horizontal y=b cuando x tiende a +infinito
o infinito).
- Si limx->inf f(x)= inf
Se debe estudiar el limx->inf f(x)/x
o Si da inf: no hay asntota. Se dice que la funcin tiene direccin
asinttica (DA) paralela al eje oy.
o 0: No hay asntota. Se dice que la funcin tiene direccin
asinttica paralela al eje ox.
o m 0
Estudiar limx->inf f(x) mx
Si da inf: no hay asntota. Se dice que la funcin tiene
direccin asinttica de coeficiente m.
Si da n: hay asntota de ecuacin y= mx + n.
Ejemplo:
 5) Derivada primera
Se debe calcular la derivada primera, y luego hallar sus ceros y estudiar su
signo.
Extremos

Puntos de inflexin con tangente horizontal

Puntos singulares

Si la derivada primera no existe en un punto en que la funcin si existe, se dice

que presenta un punto singular.
Para averiguar qu tipo de punto singular es, se deben calcular los lmites
laterales de la derivada primera en ese punto.

(los dos finitos y diferentes o a lo sumo uno de ellos infinito)

La funcin presenta un punto anguloso en x=a

Las tangentes laterales en el punto son diferentes.

La funcin presenta un punto de retroceso en x=a

Estos puntos tambin son un mximo o un mnimo.

El punto se llama punto de inflexin con tangente vertical.

Ejemplo:
 6) Derivada segunda
Se halla la derivada segunda y luego se hallan sus ceros y signo.
Concavidad

Puntos de inflexin con tangente oblicua

Ejemplo:
Veamos ahora la grfica exacta de la funcin:
 Tcnicas de graficacin
Desplazamiento vertical de las grficas
y= f(x) + k (k>0)
y= f(x) k (k>0)

Observa que la grfica de y= x2+2 sube dos unidades desde el origen y la grfica
de:
y= x2 3 baja tres unidades desde el origen.

La grfica de la ecuacin de la forma y= f(x) + k es la grfica de y= f(x)

desplazada hacia arriba si k es positiva y desplazada hacia abajo si k es
negativa.
De manera que, la grfica de y= f(x) + k se puede obtener de la grfica de y=
f(x) al trasladar verticalmente la grfica de y= f(x), k unidades hacia arriba si k
es positiva y k unidades abajo si k es negativa.
Desplazamiento horizontal de las grficas
y= f(x-h) (k>0)
y= f(x+h) (k>0)
Observa que la grfica de y= (x+2)2 se mueve dos unidades hacia la izquierda y
la grfica de y= (x-2)2 se mueve dos unidades hacia la derecha.
La grfica de y= f(x+h) es la grfica de y= f(x) desplazada hacia la derecha si h
es negativa y desplazada hacia la izquierda si h es positiva. De manera que, la
grfica de y= f(x+h) se puede obtener de la grfica de y= f(x).
Al trasladar horizontalmente la grfica de y= f(x), h unidades hacia la izquierda
si h es positiva y h unidades hacia la derecha si h es negativa.
TIPOS DE FUNCIONES
Descripcin del comportamiento de las funciones de variable real
Funcin biyectiva
En matemticas, una funcin es biyectiva si es al mismo tiempo inyectiva y
sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una
imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de
llegada le corresponde un elemento del conjunto de salida.
Formalmente dada una funcin f:

La funcin es biyectiva si se cumple la siguiente condicin:

Es decir para todo y de Y se cumple que existe un nico x de X, tal que la funcin
evaluada en x es igual a y.
Dados dos conjuntos X e Y finitos, entonces existir una biyeccin entre ambos
si y solo si X e Y tienen el mismo nmero de elementos.

Funciones montonas
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
f: P -> Q
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,
otra forma de interpretar este comportamiento es decir que su derivada
primera (D') siempre es mayor o igual a cero (D' >= 0) o que nunca pierde el
signo positivo dicha derivada. 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, en este caso es similar
que en anterior pero la derivada primera siempre es en este caso menor o igual
a cero (D' =<0) y nunca pierde su signo negativo. Lo montono es la negacin
al cambio que tambin se dice en la jerga matemtica o del tratamiento de
datos "no cambio". Nos estamos refiriendo que en toda funcion monotona la
derivada nunca cambia el signo independientemente cual sea. Para el anlisis
matemtico es importante se sabe que si se cumple esta condicin la funcin
no presenta mximos y mnimos relativos.
La ltima de ellas es una funcin con un recorrido con partes donde la funcin
es creciente y partes donde es decreciente, su derivada cambia de signo
(presenta mximos y mnimos relativos punto de infleccin).

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 Riemann-integrable.
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 especiales
Una funcin especial es una funcin matemtica particular, que por su
importancia en el campo del anlisis matemtico, anlisis funcional, la fsica y
otras aplicaciones, posee nombres y designaciones ms o menos establecidos.
No existe una definicin general de las mismas, pero la lista de funciones
matemticas contiene funciones que son generalmente aceptadas como
especiales. En particular, las funciones elementales son tambin consideradas
funciones especiales.
Tablas de funciones especiales
Muchas funciones especiales se originan como soluciones a ecuaciones
diferenciales o integrales de funciones elementales. Por lo tanto, las tablas de
integrales 1 por lo general incluyen la descripcin de algunas funciones
especiales, y las tablas de funciones especiales 2 incluyen las integrales ms
importantes; por lo menos, la representacin integral de las funciones
especiales.
Lenguajes computacionales de clculo analtico tales como Mathematica3 por
lo general reconocen a la mayora de las funciones especiales. Sin embargo, no
todos los sistemas de clculo poseen algoritmos eficientes de evaluacin,
especialmente en el plano complejo.
Nomenclatura usada en las funciones especiales
En la mayora de los casos, se utiliza la siguiente notacin estndar para indicar
una funcin especial: el nombre de la funcin (escrita en letra Roman),
subndices, si es que tiene, se abre parntesis, y luego sus variables
independientes, separados por comas. Esta notacin permite traducir las
expresiones a lenguajes algortmicos sin ambigedades. Algunas funciones con
nomenclaturas reconocidas internacionalmente son sin, cos, exp, erf, erfc, ln.
A menudo los subndices se utilizan para indicar argumentos, que se supone
es un nmero entero. En algunos casos, el punto y coma (;) o an la barra
invertida (\) son usados como separadores. Esto hace ms compleja la
traduccin a lenguajes algortmicos y puede prestarse a confusiones.

El logaritmo natural se lo puede escribir como Log(x), log(x) o ln(x), segn el

contexto.
Funcin lineal
En geometra y lgebra elemental, una funcin lineal es una funcin
polinmica de primer grado; es decir, una funcin cuya representacin en el
plano cartesiano es una lnea recta. Esta funcin se puede escribir como:

En el contexto de anlisis matemtico la funcin lineal es aquella con b= 0holi

mientras que llaman funcin afn a la que tiene la forma:

tambin conocida como transformacin lineal, en el contexto de lgebra lineal.

 Funcin cuadrtica
En matemticas, una funcin cuadrtica de una variable es una funcin
polinmica definida por:

con a0. Tambin se da el caso que se le llame Trinomio cuadrtico. Tambin

se denomina funcin cuadrtica a funciones definidas por polinomios
cuadrticos de ms de una variable, por ejemplo:

En este caso el conjunto de puntos que resultan al igualar el polinomio a cero

representan lugares geomtricos que siempre es posible reducir a una de las
formas:

Que corresponden a tres tipos de secciones cnicas (elipse, hiprbola y

parbola).
Funciones cuadrticas de una variable
Las grficas de estas funciones corresponden a parbolas verticales (eje de
simetra paralelo al eje de las ordenadas), con la particularidad de que cuando
a>0, el vrtice de la parbola se encuentra en la parte inferior de la misma,
siendo un mnimo (es decir, la parbola se abre "hacia arriba"), y cuando a<0
el vrtice se encuentra en la parte superior, siendo un mximo (es decir, la
parbola se abre "hacia abajo").
El estudio de las funciones cuadrticas tiene numerosas aplicaciones en
campos muy diversos, por ejemplo la cada libre o el tiro parablico.
La funcin derivada de una funcin cuadrtica es una funcin lineal y su
integral indefinida es una familia de funciones cbicas.
 Paridad de funciones
En matemticas, se puede clasificar a las funciones de variable real 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

Una funcin par es cualquier funcin que satisface la relacin y si

x es del dominio de f entonces -x tambin.
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:

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

Demostrando que la funcin es par.

Si x=2, entonces:

Funciones impares
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:

es impar, ya que:

en este caso la funcin no est definida en el punto x= 0.

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 necesariamente es par o
impar, aunque s se cumple si una de las funciones es 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

o infinito, 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.