Archivo de la etiqueta: funciones

Cálculo Diferencial e Integral I: Funciones trigonométricas (Parte 1)

Por Karen González Cárdenas

Introducción

De las clases en el bachillerato recordarás las siguientes definiciones, utilizando el triángulo rectángulo de la imagen siguiente:

$\begin{aligned} s e n θ & = \frac{cat op}{hip} = \frac{b}{c} & c s c θ & = \frac{hip}{cat op} = \frac{c}{b} \\ c o s θ & = \frac{cat ad}{hip} = \frac{a}{c} & s e c θ & = \frac{hip}{cat ad} = \frac{c}{a} \\ t a n θ & = \frac{cat op}{cat ad} = \frac{b}{a} & c o t θ & = \frac{cat ad}{cat op} = \frac{a}{b} \end{aligned}$
donde:
cat op = cateto opuesto ; cat ad = cateto adyacente e hip= hipotenusa.

También recordemos que tenemos la siguiente equivalencia:

$360 °$ es equivalente a $2 π$ .

A lo largo de esta entrada veremos las principales características de este conjunto de funciones, sus gráficas y algunas identidades trigonométricas.

Identidades trigonométricas Pitagóricas

Si tomamos a la circunferencia unitaria y un triángulo rectángulo como en la imagen:

Observamos que al sustituir el valor hip $= 1$ en las definiciones anteriores para el $s e n θ$ y el $c o s θ$ tenemos:
$\begin{aligned} s e n θ & = \frac{cat op}{1} & c o s θ & = \frac{cat ad}{1} \\ = cat op & = cat ad \\ = b & = a \end{aligned}$

Dadas las igualdades obtenidas e hip $= 1$ al sustituir para el resto de las funciones tenemos:
$\begin{aligned} t a n θ & = \frac{s e n θ}{c o s θ} & c o t θ & = \frac{c o s θ}{s e n θ} \\ s e c θ & = \frac{1}{c o s θ} & c s c θ & = \frac{1}{s e n θ} \end{aligned}$

Recordemos el conocido Teorema de Pitágoras que nos da una relación entre los catetos y la hipotenusa de un triángulo rectángulo:
$a^{2} + b^{2} = c^{2} .$

Si lo aplicamos al triángulo rectángulo obtenido en la imagen anterior donde:
$\begin{aligned} a & = c o s θ & b & = s e n θ & c & = 1 \end{aligned}$
entonces tenemos la siguiente igualdad:
$\begin{matrix} (1) & c o s^{2} θ + s e n^{2} θ = 1. \end{matrix}$
Si dividimos $(1)$ entre $c o s^{2} θ$ obtenemos:
$\frac{c o s^{2} θ}{c o s^{2} θ} + \frac{s e n^{2} θ}{c o s^{2} θ} = \frac{1}{c o s^{2} θ} .$
Que simplificando sería:
$\begin{matrix} (2) & 1 + t a n^{2} θ = s e c^{2} θ . \end{matrix}$

Ahora bien si decidimos dividir $(1)$ entre $s e n^{2} θ$ :
$\frac{c o s^{2} θ}{s e n^{2} θ} + \frac{s e n^{2} θ}{s e n^{2} θ} = \frac{1}{s e n^{2} θ} .$
Que finalmente sería:
$\begin{matrix} (3) & c o t^{2} θ + 1 = c s c^{2} θ . \end{matrix}$

Las igualdades $(1)$ , $(2)$ y $(3)$ son llamadas Identidades Pitagóricas:
$\begin{aligned} c o s^{2} θ + s e n^{2} θ & = 1, \\ 1 + t a n^{2} θ & = s e c^{2} θ, \\ c o t^{2} θ + 1 & = c s c^{2} θ . \end{aligned}$

Otras identidades trigonométricas

Otras identidades trigonométricas que son de utilidad son las de suma de ángulos:
$\begin{aligned} c o s (α + β) & = c o s (α) c o s (β) - s e n (α) s e n (β), \\ s e n (α + β) & = c o s (α) s e n (β) + c o s (β) s e n (α) . \end{aligned}$
Para la resta de ángulos tendríamos un par similar:
$\begin{aligned} c o s (α - β) & = c o s (α) c o s (β) + s e n (α) s e n (β), \\ s e n (α - β) & = c o s (α) s e n (β) - c o s (β) s e n (α) . \end{aligned}$
Ahora veremos cómo obtener las identidades para los ángulos dobles:
$\begin{aligned} c o s (2 α) & = c o s (α + α) \\ = c o s (α) c o s (α) - s e n (α) s e n (α) \\ = c o s^{2} α - s e n^{2} α \end{aligned}$
Por lo tanto tendríamos para el coseno de $2 α$ :
$\begin{matrix} (4) & c o s (2 α) = c o s^{2} α - s e n^{2} α . \end{matrix}$
Si procedemos análogamente para el seno de $2 α$ :
$\begin{aligned} s e n (2 α) & = s e n (α + α) \\ = c o s (α) s e n (α) + c o s (α) s e n (α) \\ = 2 s e n (α) c o s (α) \end{aligned}$
Así concluimos que:
$\begin{matrix} (5) & s e n (2 α) = 2 s e n (α) c o s (α) . \end{matrix}$
También tenemos un par de identidades que relacionadas con el $s e n^{2} θ$ y el $c o s^{2} θ$ :
$\begin{aligned} s e n^{2} θ & = \frac{1}{2} (1 - c o s (2 θ)), & c o s^{2} θ & = \frac{1}{2} (1 + c o s (2 θ)) . \end{aligned}$
Se dejará como ejercicios en la Tarea moral obtener este par de igualdades.

Simetrías

Retomando la imagen anterior, si ahora reflejamos al triángulo respecto al eje $x$ , tenemos lo siguiente:

donde observamos los siguiente:
$\begin{aligned} β & = - θ & c_{2} & = 1 & b_{2} = s e n (- θ) \end{aligned}$

Así al considerar a los puntos $p_{1}$ y $p_{2}$ tenemos que estarían definidos de la siguiente manera:
$\begin{aligned} p_{1} & = (c o s (θ), s e n (θ)) & p_{2} & = (c o s (- θ), s e n (- θ)) \end{aligned}$
Resaltamos para $p_{2}$ que:
$p_{2} = (c o s (- θ), s e n (- θ)) = (c o s (θ), - s e n (θ)) .$
de esta igualdad podemos determinar si las funciones seno y coseno son pares o impares, este ejercicio formará parte de la Tarea moral.

Función periódica

Definición (función periódica): Decimos que una función $f$ es periódica si existe $N \in R$ tal que para todo $x \in D_{f}$ cumple que:
$f (x) = f (x + N)$
y $| N |$ se llama periodo de $f$ .
En la siguiente imagen observamos que $α = π$ por lo que tendríamos que el nuevo triángulo agregado es en realidad el original rotado:

Así tendríamos la siguiente definición para los puntos $p_{1}$ y $p_{3}$ :

$\begin{aligned} p_{1} & = (c o s (θ), s e n (θ)) & p_{3} & = (c o s (θ + π), s e n (θ + π)) \end{aligned}$

Si rotamos el triángulo ahora $α = 2 π$ tenemos que $p_{4}$ estaría definido como:
$p_{4} = (c o s (θ + 2 π), s e n (θ + 2 π)) .$

¡Y observamos que obtenemos el triángulo original! Consecuentemente tenemos las siguientes igualdades:
$\begin{aligned} s e n (θ) & = s e n (θ + 2 π), \\ c o s (θ) & = c o s (θ + 2 π) . \end{aligned}$
Aplicando la definición decimos que las funciones seno y coseno son periódicas con periodo $N = 2 π$ .
En las gráficas de las funciones observamos el comportamiento anterior, cada $2 π$ se comienzan a repetir los valores:

Observación: Vemos que para todo $x \in R$ ocurre:
$- 1 \leq s e n (x) \leq 1$
$- 1 \leq c o s (x) \leq 1$
por lo que las funciones seno y coseno son acotadas.

Consideraremos los siguientes dominios donde cada una de las funciones cumple ser inyectiva :
$\begin{array}{r} s e n : [- \frac{π}{2}, \frac{π}{2}] \to [- 1, 1] \end{array}$

$\begin{array}{r} c o s : [0, π] \to [- 1, 1] \end{array}$

Más adelante

En la próxima entrada, continuaremos con las definiciones de las funciones tangente, cotangente, secante y cosecante. Por lo tanto, realizaremos un análisis similar al dado para las funciones seno y coseno.

Tarea moral

Obtener las siguientes identidades trigonométricas:
- $s e n^{2} θ = \frac{1}{2} (1 - c o s (2 θ)) .$
- $c o s^{2} θ = \frac{1}{2} (1 + c o s (2 θ)) .$
- $t a n (α + β) = \frac{t a n (α) + t a n (β)}{- t a n (α) t a n (β)} .$
  Sugerencia.-Considera la igualdad:
  $t a n θ = \frac{s e n θ}{c o s θ}$
Determina si las siguientes funciones son pares, impares o ninguna de las opciones anteriores:
- $s e n (θ) .$
- $c o s (θ) .$
Obtén la gráfica de las siguientes funciones:
- $f (x) = s e n (x + \frac{π}{2}) .$
- $f (x) = - 2 c o s (x) + 1.$

Entradas relacionadas

Ir a: Cálculo Diferencial e Integral I
Entrada anterior del curso: Cálculo Diferencial e Integral I: Funciones polinomiales y racionales. Análisis geométrico de funciones.
Entrada siguiente del curso: Cálculo Diferencial e Integral I:Funciones trigonométricas (Segunda parte)
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Funciones polinomiales y racionales. Análisis geométrico de funciones

Por Karen González Cárdenas

Deja un comentario

Introducción

Quizás en algunos de tus cursos anteriores te presentaron funciones parecidas a las siguientes:
$\begin{aligned} f (x) & = 4 x^{2} - 3 x + 1, & t (x) & = \frac{x^{2} + 2 x + 5}{x^{3} + 3}, & k (x) & = x^{3} . \end{aligned}$
Todas pertenecen al conjunto de las funciones algebraicas. A lo largo de esta entrada, veremos las definiciones formales para cada una y comenzaremos a realizar un análisis geométrico con este conjunto de funciones.

Funciones polinomiales

Definición (función polinomial): Sea $f$ una función. Decimos que $f$ es una función polinomial si está definida como:
$p (x) = a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{0}$
donde $n \in N \cup {0}$ y los coeficientes $a_{i} \in R$ .

Definición (grado de una función polinomial): Llamamos grado de p(x) a la potencia mayor de $x$ con un coeficiente $a_{i} \neq 0$ .
Ejemplos:

$g (x) = 120 x^{10} + 34 x^{6} + 14$
el grado de $g (x)$ es $10$
$h (x) = π x^{3} + 2 π x^{2} + x$
el grado de $h (x)$ es $3$

Una observación importante es que las funciones del tipo $f (x) = x^{n}$ con $n \in N$ , mejor conocidas como potencias de $x$ , son un caso particular de las funciones polinomiales.

Funciones racionales

Definición (función racional): Consideremos $g$ una función. Diremos que $g$ es una función racional si está definida como el cociente de dos polinomios:
$g (x) = \frac{a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{0}}{b_{n} x^{n} + b_{n - 1} x^{n - 1} + \dots + b_{0}}$
donde $n \in N \cup {0}$ , los coeficientes $a_{i}, b_{i} \in R$ y $b_{n} x^{n} + b_{n - 1} x^{n - 1} + \dots + b_{0} \neq 0$ .

Ejemplos:

$h (x) = \frac{x^{2} - 1}{x + 3}$
$g (x) = \frac{x}{x^{3} + 1}$

Análisis geométrico

En numerosas ocasiones tendremos la necesidad de realizar un bosquejo de la gráfica de una función. Para ello nos basaremos en la gráfica de una función conocida previamente y la siguiente serie de elementos donde consideremos a $f (x)$ una función en los reales y a $α$ una constante:
Traslaciones

Para $h (x) = f (x) + α$ con $α > 0$ tenemos que la gráfica de $h$ es la gráfica de $f$ trasladada verticalmente $α$ unidades hacia arriba (sobre el eje $y$ ).
Y para $h (x) = f (x) - α$ con $α > 0$ la gráfica de $h$ es la gráfica de $f$ trasladada verticalmente $α$ unidades hacia abajo (sobre el eje $y$ ).
Ahora si $h (x) = f (x - c)$ con $α > 0$ entonces la gráfica de $h$ sería la gráfica de $f$ trasladada horizontalmente $α$ unidades hacia la derecha (sobre el eje $x$ ).
En cambio si $h (x) = f (x + c)$ con $α > 0$ entonces la gráfica de $h$ sería la gráfica de $f$ trasladada horizontalmente $α$ unidades hacia la izquierda (sobre el eje $x$ ).

Consideremos los siguientes ejemplos para $f (x) = x^{2}$ :

Ampliaciones y reducciones

Si $g (x) = f (α x)$ con $α > 1$ su gráfica sería la gráfica de $f$ comprimida horizontalmente (sobre el eje $x$ ).
Para $g (x) = f (α x)$ con $0 < α < 1$ su gráfica sería la gráfica de $f$ expandida horizontalmente (sobre el eje $x$ ).
Y para $g (x) = f (α x)$ con $α < - 1$ su gráfica sería la gráfica de $f$ comprimida horizontalmente (sobre el eje $x$ ) y reflejada respecto del eje $y$ .
Finalizamos con $g (x) = f (α x)$ con $- 1 < α < 0$ su gráfica sería la gráfica de $f$ expandida horizontalmente (sobre el eje $x$ ) y reflejada respecto del eje $y$ .

Observación: Si $α = 1$ vemos que $f ((1) x) = f (x)$ por lo que no hay cambios.

Ahora bien si $g (x) = α f (x)$ donde $α > 1$ la gráfica de $g$ es la gráfica de $f$ expandida verticalmente (sobre el eje $y$ ).
Cuando $g (x) = α f (x)$ donde $0 < α < 1$ la gráfica de $g$ es la gráfica de $f$ comprimida verticalmente (sobre el eje $y$ ).
Si $g (x) = α f (x)$ donde $- 1 < α$ la gráfica de $g$ es la gráfica de $f$ expandida verticalmente (sobre el eje $y$ ) y reflejada respecto del eje $x$ .
Para $g (x) = α f (x)$ donde $- 1 < α < 0$ la gráfica de $g$ es la gráfica de $f$ comprimida verticalmente (sobre el eje $y$ ) y reflejada respecto del eje $x$ .

Observación: Para $α = 1$ tenemos que $(1) (f (x)) = f (x)$ .

Hablemos sobre la función inversa

Recordemos que si tenemos $f : A \to B$ una función esto significa que:
$G r a f (f) = {(x, f (x)) : x \in A} .$

Ahora si consideramos a $f$ una función invertible, vemos que para $f^{- 1} : B \to A$ ocurre:
$G r a f (f^{- 1}) = {(f (x), x) : f (x) \in B} .$
Esto nos permite observar que un punto $(y, x) \in G r a f (f^{- 1})$ es la reflexión ortogonal del punto $(x, y) \in G r a f (f)$ respecto a la función identidad.

De este modo podemos obtener la gráfica de $f^{- 1}$ reflejando ortogonalmente la gráfica de $f$ respecto a la identidad.

En este ejemplo tomamos la función $f (x) = x^{2}$ en el dominio donde cumple ser biyectiva por lo que su función inversa sería $h (x) = \sqrt{x}$ :

En la sección de Tarea moral encontrarás algunos ejercicios que te ayudarán a poner en práctica lo desarrollado en esta entrada.

Más adelante

En la siguiente entrada, comenzaremos a revisar el conjunto de las funciones trigonométricas. Veremos sus definiciones, algunas identidades trigonométricas que serán de utilidad y sus gráficas.

Tarea moral

Realiza las gráficas de las siguientes funciones dado que $f (x) = x^{3}$ :

$f (x) + 4$
$f (x - 3) + 2$
$f^{- 1} (x)$
$f (2 x)$
$2 f (x)$

Entradas relacionadas

Ir a: Cálculo Diferencial e Integral I
Entrada anterior del curso: Cálculo Diferencial e Integral I: Funciones crecientes y decrecientes. Funciones acotadas.
Entrada siguiente del curso: Cálculo Diferencial e Integral I: Funciones trigonométricas. (Primera parte)
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Funciones crecientes y decrecientes. Funciones acotadas

Por Karen González Cárdenas

Deja un comentario

Introducción

Continuando ahora con las funciones crecientes y decrecientes, veremos qué condiciones se deben cumplir para determinar si una función crece o decrece en un intervalo. De igual manera, veremos cuándo una función es no creciente o no decreciente para finalizar con la definición de función acotada.

Definición de función creciente y decreciente

Definición: Sea $f : A \to B$ una función con $A, B \subseteq R$ .

Decimos que $f$ es una función creciente si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ tales que
$x_{1} < x_{2} \Rightarrow f (x_{1}) < f (x_{2}) .$
Decimos que $f$ es una función decreciente si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ tales que
$x_{1} < x_{2} \Rightarrow f (x_{2}) < f (x_{1}) .$

Definición de función no creciente y no decreciente

Definición: Consideremos a la función $f : A \to B$ .

Llamamos a $f$ una función no creciente (que decrece o permanece igual) si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ que cumplen
$x_{1} < x_{2} \Rightarrow f (x_{2}) \leq f (x_{1}) .$
Llamamos a $f$ una función no decreciente (que crece o permanece igual) si y sólo si para cualesquiera $x_{1}, x_{2} \in A$ que cumplen
$x_{1} < x_{2} \Rightarrow f (x_{1}) \leq f (x_{2}) .$

Ejemplo 1

Veamos que para la función definida como:
$f (x) = x^{2}$

Tenemos las siguientes observaciones:

Es creciente en el intervalo $[0, \infty)$ .
Es decreciente en el intervalo $(- \infty, 0)$ .

Demostración:

Sea $0 \leq x_{1} < x_{2}$ así se sigue que:
$\begin{aligned} \Rightarrow x_{1}^{2} < x_{2}^{2} \\ \Rightarrow f (x_{1}) < f (x_{2}) \end{aligned}$
$∴ f$ es creciente en $[0, \infty)$ .
Ahora tomemos $x_{1} < x_{2} < 0$
$\begin{aligned} (Multiplicando por - 1) & \Rightarrow 0 < - x_{2} < - x_{1} \\ (por 1.) & \Rightarrow f (- x_{2}) < f (- x_{1}) \\ \Rightarrow (- x_{2})^{2} < (- x_{1})^{2} \\ \Rightarrow x_{2}^{2} < x_{1}^{2} \\ \Rightarrow f (x_{2}) < f (x_{1}) \end{aligned}$
$∴ f$ es decreciente en $(- \infty, 0)$ .

Ejemplo 2

Para la función $g (x) = x^{2} - 5 x + 2$ probaremos que es creciente en el intervalo $[0, \infty)$ .

Tomemos $x_{1}, x_{2} \in [0, \infty)$ tales que $x_{1} < x_{2}$ . Queremos demostrar que $g (x_{1}) < g (x_{2})$ por lo que desarrollamos lo siguiente:
$\begin{aligned} (restando - 5) & x_{1} < x_{2} & \Rightarrow x_{1} - 5 < x_{2} - 5 \\ (multiplicando por x_{1} y x_{2}) & \Rightarrow x_{1} (x_{1} - 5) < x_{2} (x_{2} - 5) \\ \Rightarrow x_{1}^{2} - 5 x_{1} < x_{2}^{2} - 5 x_{2} \\ (sumado 2) & \Rightarrow x_{1}^{2} - 5 x_{1} + 2 < x_{2}^{2} - 5 x_{2} + 2 \\ \Rightarrow g (x_{1}) < g (x_{2}) \end{aligned}$
Así concluimos que $g$ es creciente en el intervalo $[0, \infty)$ .

Algunos teoremas

Teorema: Sean $f, g : D \subseteq R \to R$ si $f$ y $g$ son crecientes en $D$ tales que
$f (x) > 0$ y $g (x) > 0$ para todo $x \in D \Rightarrow f g$ es creciente en D.
Demostración:
Tomemos $x_{1}, x_{2} \in D$ tales que $x_{1} < x_{2}$ . Queremos probar que:
$(f g) (x_{1}) < (f g) (x_{2}) .$
Es decir, queremos ver que se cumple la siguiente desigualdad:
$f (x_{1}) g (x_{1}) < f (x_{2}) g (x_{2}) .$
Observemos que por hipótesis tenemos que se cumplen para todo $x \in D$ las siguientes desigualdades:

$f (x) > 0$ y $g (x) > 0$ .
$f (x_{1}) < f (x_{2})$ ya que $f$ es creciente.
$g (x_{1}) < g (x_{2})$ ya que $g$ es creciente.

De los puntos 2 y 3 al realizar el producto obtenemos:
$f (x_{1}) g (x_{1}) < f (x_{2}) g (x_{2}) .$

Teorema: Si tenemos una función $f$ tal que:

$f$ par y creciente en el intervalo $[0, \infty) \Rightarrow f$ es decreciente en $(- \infty, 0)$ .
$f$ par y decreciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(- \infty, 0)$ .
$f$ impar y creciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(- \infty, 0)$ .
$f$ impar y decreciente en el intervalo $[0, \infty) \Rightarrow f$ es decreciente en $(- \infty, 0)$ .

La demostración de los puntos 1,2 y 3 se dejarán como ejercicios para el lector en la Tarea moral de esta entrada.

Demostración del punto 4:

Queremos probar que $f$ es decreciente en $(- \infty, 0)$ .
Tenemos por hipótesis que $f$ es una función impar, así por definición:
$f (- x) = - f (x) .$
Ahora si tomamos $0 < x_{1} < x_{2}$ ocurre que:
$\begin{aligned} f (- x_{1}) & = - f (x_{1}) & f (- x_{2}) & = - f (x_{2}) \end{aligned}$
Vemos que si multiplicamos por $- 1$ las igualdades anteriores tenemos la siguiente equivalencia:
$\begin{aligned} (6) & - f (- x_{1}) & = f (x_{1}) & - f (- x_{2}) & = f (x_{2}) \end{aligned}$

Como $f$ es una función decreciente en $[0, \infty)$ para $x_{1}$ y $x_{2}$ se sigue:
$f (x_{2}) < f (x_{1}) .$
Aplicando $(1)$ tendríamos la siguiente desigualdad:
$- f (- x_{2}) < - f (- x_{1}) .$
donde $- x_{1}, - x_{2} \in (- \infty, 0)$ .

Definición de función acotada

Definición: Sea $f : A \to B$ . Decimos que:

$f$ está acotada superiormente $\Leftrightarrow$ existe $M \in R$ tal que $f (x) \leq M$ para todo $x \in A$ .

La gráfica de $f$ queda por debajo del valor $M$ .

$f$ está acotada inferiormente $\Leftrightarrow$ existe $m \in R$ tal que $m \leq f (x)$ para todo $x \in A$ .

La gráfica de $f$ queda por arriba del valor $m$ .

$f$ está acotada $\Leftrightarrow$ existe $m, M \in R$ tal que $m \leq f (x) \leq M$ para todo $x \in A$ .

La gráfica de $f$ queda entre los valores de $M$ y $m$ .

Una equivalencia para la última definición sería:
$f$ está acotada $\Leftrightarrow$ existe $N \in R$ tal que $| f (x) | \leq N$ para todo $x \in A$ .

La gráfica de $f$ queda entre los valores de $N$ y $- N$ .

$f$ no está acotada $\Leftrightarrow$ para toda $M > 0$ existe $x_{M} \in A$ tal que $| f (x_{M}) | > M$ .

Ejemplo 1

Si tenemos la función $f : R^{+} \to R$ definida como:
$f (x) = \sqrt{x} .$

Probaremos que $f$ no es acotada en su dominio.
Demostración: Consideremos a $M > 0$ y a $x_{M} = (M + 1)^{2}$ donde $x_{M} \in D_{f}$ . Así al evaluar la función en $x_{M}$ tenemos:
$\begin{aligned} f (x_{M}) & = f ((M + 1)^{2}) \\ = \sqrt{(M + 1)^{2}} \\ = M + 1 \end{aligned}$
aquí observamos siempre ocurre que: $M + 1 > M$
$∴ f$ es no acotada en su dominio.

Ejemplo 2

Ahora si consideramos la función $g : (0, \infty) \to R^{+}$ definida como:
$g (x) = \frac{1}{\sqrt[3]{x^{2}}} .$

Veremos ahora que $g$ no es acotada en su dominio.
Demostración: Sea $N > 0$ y a $x_{N} \in D_{g}$ definida como:
$x_{N} = \frac{1}{(N + 1)^{\frac{3}{2}}} .$
Al tomar $g (x_{N})$ tenemos:
$\begin{aligned} g (x_{N}) & = g (\frac{1}{(N + 1)^{\frac{3}{2}}}) \\ = \frac{1}{{(\frac{1}{(N + 1)^{\frac{3}{2}}})}^{\frac{2}{3}}} \\ = \frac{1}{\frac{1}{N + 1}} \\ = N + 1 \end{aligned}$
donde $N + 1 > N$ por lo que conluimos que $g$ es no acotada en su dominio.

Más adelante

En la siguiente entrada, veremos un conjunto de funciones muy particular: las funciones polinomiales. Adicionalmente, revisaremos las funciones racionales. Para ambos tipos de funciones, examinaremos su definición y algunos ejemplos.

Tarea moral

Dada la función $f (x) = x^{3}$ . Demuestra que:
- $f$ es creciente en $[0, \infty)$ .
- $f$ es creciente en $(- \infty, 0)$ .
Demuestra los puntos 1, 2 y 3 del Teorema:
- $f$ par y creciente en el intervalo $[0, \infty) \Rightarrow f$ es decreciente en $(- \infty, 0)$ .
- $f$ par y decreciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(- \infty, 0)$ .
- $f$ impar y creciente en el intervalo $[0, \infty) \Rightarrow f$ es creciente en $(- \infty, 0)$ .
Demuestra que la función $h : (0, 1) \to R$ definida como:
$h (x) = \frac{1}{x^{3}}$
no es acotada en su dominio.

Entradas relacionadas

Ir a: Cálculo Diferencial e Integral I
Entrada anterior del curso: Cálculo Diferencial e Integral I: Funciones pares e impares.
Entrada siguiente del curso: Cálculo Diferencial e Integral I: Funciones polinomiales y racionales. Análisis geométrico de funciones.
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Funciones pares e impares

Por Karen González Cárdenas

2 respuestas

Introducción

Ahora veremos cuales son las características que debe cumplir una función para ser par o impar. Veremos geométricamente qué ocurre con estas funciones. De igual manera, veremos qué ocurre al realizar operaciones entre ellas.

Definición de función par

Definición: Decimos que $f : A \to B$ una función es par si y sólo si para todo $x \in A$ ocurre que:
$f (x) = f (- x) .$

Ejemplo

La función $f (x) = x^{2}$ cumple ser par ya que:
$f (- x) = (- x)^{2} = x^{2} = f (x)$
para todo $x \in R$ .
De su gráfica observamos que $f$ se refleja respecto al eje $y$ :

Definición de función impar

Definición: Decimos que $f : A \to B$ una función es impar si y sólo si para todo $x \in A$ ocurre que:
$f (- x) = - f (x) .$

Ejemplo

La función $g (x) = x$ cumple ser impar ya que:
$g (- x) = (- x) = - (x) = - g (x)$
para todo $x \in R$ .
De su gráfica observamos que $f$ se refleja respecto al origen:

Un teorema importante

Teorema: Cualquier función $f : R \to R$ puede expresarse como la suma de una función par e impar, es decir,
$f (x) = P (x) + I (x)$
para toda $x \in R$ , donde $P (x)$ e $I (x)$ son únicas.
Demostración: Consideremos las funciones $P (x)$ par e $I (x)$ impar como sigue:
$\begin{aligned} P (x) & = \frac{f (x) + f (- x)}{2} & I (x) & = \frac{f (x) - f (- x)}{2} \end{aligned}$

Vemos que al realizar la suma obtenemos:
$\begin{aligned} P (x) + I (x) & = \frac{f (x) + f (- x)}{2} + \frac{f (x) - f (- x)}{2} \\ = \frac{f (x) + f (- x) + f (x) - f (- x)}{2} \\ = \frac{2 f (x)}{2} \\ = f (x) \end{aligned}$

Ahora nos falta ver qué $P (x)$ e $I (x)$ son únicas. Como ya sabemos que $f (x) = P (x) + I (x)$ tenemos lo siguiente:
$\begin{aligned} (7) & f (x) & = P (x) + I (x) \\ (8) & f (- x) & = P (x) - I (x) \end{aligned}$
Así sumando $(1)$ y $(2)$ obtenemos:
$\begin{aligned} f (x) + f (- x) & = 2 P (x) \\ P (x) & = \frac{f (x) + f (- x)}{2} \end{aligned}$
Ahora restando $(1)$ y $(2)$ obtenemos:
$\begin{aligned} f (x) - f (- x) & = 2 I (x) \\ I (x) & = \frac{f (x) - f (- x)}{2} \end{aligned}$
Dado que tenemos la igualdad $f (x) = P (x) + I (x)$ concluimos que $P (x)$ e $I (x)$ son únicas.

Ejercicio

Consideremos las funciones $f, g : R \to R$ . ¿Cómo es $f + g$ , $f g$ y $f \circ g$ si:

$f$ y $g$ son pares
$f$ y $g$ son impares
$f$ es par y $g$ es impar
$f$ es impar y $g$ es par

es par, impar o no necesariamente alguna de las anteriores?

En la suma de funciones

1. Si $f$ y $g$ son pares $\Rightarrow f + g$ es par.
Demostración:
Vemos que al desarrollar:
$\begin{aligned} (definición de f + g) & (f + g) (- x) & = f (- x) + g (- x) \\ (por f y g pares) & = f (x) + g (x) \\ (definición de f + g) & = (f + g) (x) \end{aligned}$
3. Si $f$ es par y $g$ es impar $\Rightarrow f + g$ no necesariamente es par o impar.
Consideremos $f (x) = x^{2}$ y $g (x) = x$ . Luego si $x = 1$ entonces:
$\begin{aligned} (f + g) (- 1) & = f (- 1) + g (- 1) & (f + g) (1) & = f (1) + g (1) \\ = 1 - 1 & = 1 + 1 \\ = 0 & = 2 \end{aligned}$
$∴ (f + g) (- 1) \neq (f + g) (1)$
$∴ f + g$ no es par.

Además veamos que $- (f + g) (1) = - 2$ por lo que:
$- (f + g) (1) \neq (f + g) (- 1)$
$∴ f + g$ tampoco es impar.

En el producto de funciones

1. Si $f$ y $g$ son pares $\Rightarrow f g$ es par.
Demostración:
Si tomamos $f g (- x)$ observamos lo siguiente:
$\begin{aligned} (definción de f g) & (f g) (- x) & = f (- x) g (- x) \\ (por f y g pares) & = f (x) g (x) \\ = (f g) (x) \end{aligned}$
$∴ f g$ es par.

2. Si $f$ y $g$ son impares $\Rightarrow f g$ es par.
Demostración:
Comenzando con $f g (- x)$ y desarrollando tenemos:
$\begin{aligned} (definción de f g) & (f g) (- x) & = f (- x) g (- x) \\ (por f y g impares) & = (- f (x)) (- g (x)) \\ = f (x) g (x) \\ = (f g) (x) \end{aligned}$
$∴ f g$ es par.

En la composición de funciones

3. Si $f$ es par y $g$ es impar $\Rightarrow f \circ g$ es par.
Demostración:
Realizando la composición $(f \circ g) (- x)$ :
$\begin{aligned} (definción de f \circ g) & (f \circ g) (- x) & = f (g (- x)) \\ (por g impar) & = f (- g (x)) \\ (por f par) & = f (g (x)) \\ = (f \circ g) (x) \end{aligned}$
$∴ f \circ g$ es par.

4.Si $f$ es impar y $g$ es par $\Rightarrow f \circ g$ es par.
Demostración:
Procediendo análogamente al punto anterior:
$\begin{aligned} (definción de f \circ g) & (f \circ g) (- x) & = f (g (- x)) \\ (por g par) & = f (g (x)) \\ = (f \circ g) (x) \end{aligned}$
$∴ f \circ g$ es par.

Los puntos faltantes se dejarán como ejercicios de Tarea moral, para resolverlos se debe proceder como en los incisos anteriores según sea el caso.

Más adelante

En la siguiente entrada, continuaremos con las funciones crecientes y decrecientes. Veremos qué características debe cumplir una función para poder determinar si crece o decrece en un intervalo. También exploraremos qué significa ser una función acotada y algunas pruebas relacionadas con este concepto.

Tarea moral

Prueba que las funciones $P (x)$ e $I (x)$ cumplen con ser par e impar respectivamente:
$\begin{aligned} P (x) & = \frac{f (x) + f (- x)}{2} & I (x) & = \frac{f (x) - f (- x)}{2} \end{aligned}$
Demuestra que la función constante cero es la única que cumple ser par e impar.
Exprese a las siguientes funciones como suma de una función par y una impar:
- $f (x) = x^{2} - 4 x + 2$
- $\begin{matrix} h (x) = \frac{1}{1 + x^{2}} \end{matrix}$
Termina los puntos faltantes del ejercicio anterior:
- Para $f + g$ cuando $f$ y $g$ son impares
- Para $f + g$ cuando $f$ es impar y $g$ es par.
- Para $f g$ cuando $f$ es par y $g$ es impar
- Para $f g$ cuando $f$ es impar y $g$ es par
- Para $f \circ g$ cuando $f$ y $g$ son pares
- Para $f \circ g$ cuando $f$ y $g$ son impares

Entradas relacionadas

Ir a: Cálculo Diferencial e Integral I
Entrada anterior del curso: Cálculo Diferencial e Integral I: Funciones inyectivas, sobreyectivas y biyectivas. Función inversa.
Entrada siguiente del curso: Cálculo Diferencial e Integral I: Funciones crecientes y decrecientes. Funciones acotadas.
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Suma, producto, cociente y composición de funciones

Por Karen González Cárdenas

Deja un comentario

Introducción

Ya que hemos visto el concepto de función, en esta entrada veremos cómo están definidas las operaciones de suma, producto y cociente. De igual modo, definiremos la composición entre un par de funciones. Para dejar más claras dichas operaciones, daremos ejemplos.

Operaciones de funciones

Definición (operaciones): Sean $f : D_{f} \subseteq R \to R$ , $g : D_{g} \subseteq R \to R$ . Definimos las siguientes operaciones como:

$f + g : D_{f} \cap D_{g} \subseteq R \to R$
$(f + g) (x) = f (x) + g (x) .$
$α f : D_{f} \subseteq R \to R$ y $α \in R$
$(α f) (x) = α f (x) .$
$f g : D_{f} \cap D_{g} \subseteq R \to R$
$(f g) (x) = f (x) g (x) .$
$\begin{matrix} \frac{f}{g} : D_{f / g} \subseteq R \to R \end{matrix}$
$(\frac{f}{g}) (x) = \frac{f (x)}{g (x)} .$
donde $D_{f / g} = D_{f} \cap (D_{g} - {x \in D_{g} : g (x) = 0})$

Notación: Cuando escribamos $f - g$ hacemos referencia a:
$f - g = f + (- g) .$

Ejemplos

Consideremos a las siguientes funciones:
$\begin{aligned} f : R - {- 1} & \to R & g : R & \to R & h : R & \to R^{+} \end{aligned}$
$\begin{aligned} f (x) & = \frac{1}{x + 1} & g (x) & = x^{3} + 3 & h (x) & = x^{2} + 2 x + 1 \end{aligned}$
Notación: Usamos $R^{+}$ para referirnos al conjunto de los números reales positivos.

Realizaremos las siguientes operaciones para ejemplificar lo visto anteriormente:

$(f + g) (x) = f (x) + g (x) = \frac{1}{x + 1} + x^{3} + 3$
con $D_{f + g} = D_{f} \cap D_{g} = R \cap (R - {- 1}) = R - {- 1}$
$(f g) (x) = f (x) g (x) = (\frac{1}{x + 1}) (x^{3} + 3) = \frac{x^{3} + 3}{x + 1}$
con $D_{f g} = D_{f} \cap D_{g} = R \cap (R - {- 1}) = R - {- 1}$
Si $α = - 4$ :
$(α g) (x) = α g (x) = - 4 (x^{3} + 3) = - 4 x^{3} - 12$
con $D_{α g} = D_{g} = R$
$(\frac{g}{h}) (x) = \frac{g (x)}{h (x)} = \frac{x^{3} + 3}{x^{2} + 2 x + 1}$
como $D_{g / h} = D_{g} \cap (D_{h} - {x \in D_{h} : h (x) = 0})$
Observemos que $x^{2} + 2 x + 1 = (x + 1)^{2}$ por lo que $(x + 1)^{2} = 0$ cuando $x = - 1$ .
Así el dominio sería:
$D_{g / h} = R \cap (R - {- 1}) = R - {- 1}$
$(h - g) (x) = h (x) - g (x) = x^{2} + 2 x + 1 - (x^{3} + 3) = x^{2} + 2 x + 1 - x^{3} - 3$
con $D_{h - g} = D_{h} \cap D_{g} = R \cap R = R$

Composición de funciones

Definición (composición): Consideremos a las funciones $g : A \to B$ y $f : B \to C$ definimos a la composición de $g$ seguida de $f$ como:

$f \circ g : A \to C$
$(f \circ g) (x) = f (g (x)),$
observamos que la composición sólo está definida si $I m_{g} \subseteq D_{f}$ , por lo que $g (x) \in B$ .
En el siguiente diagrama podemos ver más claramente cómo funciona la composición $f \circ g$ :

Primero tomamos $x \in A$ a la cual le aplicamos la función $g$ para así obtener $g (x) \in B$ .

Ahora tomamos a $g (x) \in B$ para aplicarle la función $f$ y finalmente obtener $f (g (x)) \in C$ .

Así la composición de $f \circ g$ se vería como en el diagrama anterior.

Observación: La composición no es conmutativa, es decir, ocurre que:
$f \circ g \neq g \circ f .$

Ejemplos

Retomando las funciones:
$\begin{aligned} f (x) & = \frac{1}{x + 1} & g (x) & = x^{3} + 3 & h (x) & = x^{2} + 2 x + 1 \end{aligned}$

Realicemos las siguientes composiciones de funciones para tener más claro cómo funciona lo antes explicado:

Ejemplo 1:
$\begin{aligned} (g \circ f) (x) & = g (f (x)) \\ = g (\frac{1}{x + 1}) \\ = {(\frac{1}{x + 1})}^{3} + 3 \\ = \frac{1}{(x + 1)^{3}} + 3 \end{aligned}$
Así tenemos que la composición obtenida es:
$(g \circ f) (x) = \frac{1}{(x + 1)^{3}} + 3$
Ejemplo 2:
$\begin{aligned} (f \circ h) (x) & = f (h (x)) \\ = f ((x^{2} + 2 x + 1)) \\ = \frac{1}{(x^{2} + 2 x + 1) + 1} \\ = \frac{1}{x^{2} + 2 x + 2} \end{aligned}$
Por lo que la composición quedaría como:
$(f \circ h) (x) = \frac{1}{x^{2} + 2 x + 2}$

Más adelante

Ahora que ya hemos definido las operaciones entre funciones y la composición, en la siguiente entrada veremos qué características debe cumplir una función para poder determinar si es inyectiva, sobreyectiva o biyectiva. Del mismo modo, examinaremos el concepto de función inversa, donde haremos uso de la composición de funciones y algunas condiciones.

Tarea moral

Si tenemos a las funciones $f : R \to R$ y $g : R \to R^{+}$ definidas como siguen:
$f (x) = x - 8$
$g (x) = x^{4}$
Realiza las siguientes operaciones:
- $f + g$
- $f - g$
- $f g$
- $\frac{g}{f}$
- $g \circ f$
Da una función $f$ y una función $g$ que ejemplifiquen que la composición no es conmutativa:
$f \circ g \neq g \circ f .$
Demuestra que la composición es asociativa, es decir,
$f \circ (g \circ h) = (f \circ g) \circ h .$

Entradas relacionadas

Ir a: Cálculo Diferencial e Integral I
Entrada anterior del curso: Cálculo Diferencial e Integral I: Concepto de función
Entrada siguiente del curso: Cálculo Diferencial e Integral I: Funciones inyectivas, sobreyectivas y biyectivas. Función inversa.
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»