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)\text{.}$$

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 \mathbb{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)\text{.}$$

Ejemplo

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

Un teorema importante

Teorema: Cualquier función $f:\mathbb{R}\to \mathbb{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 \mathbb{R}$, donde $P(x)$ e $I(x)$ son únicas.
Demostración: Consideremos las funciones $P(x)$ par e $I(x)$ impar como sigue:
$$\begin{array}{rlrl}P(x)& =\frac{f(x)+f(-x)}{2}& I(x)& =\frac{f(x)-f(-x)}{2}\end{array}$$

Vemos que al realizar la suma obtenemos:
$$\begin{array}{rl}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{2f(x)}{2}\\ & =f(x)\end{array}$$

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{array}{}\text{(1)}& f(x)& =P(x)+I(x)\text{(2)}& f(-x)& =P(x)-I(x)\end{array}$$
Así sumando $(1)$ y $(2)$ obtenemos:
$$\begin{array}{rl}f(x)+f(-x)& =2P(x)\\ P(x)& =\frac{f(x)+f(-x)}{2}\end{array}$$
Ahora restando $(1)$ y $(2)$ obtenemos:
$$\begin{array}{rl}f(x)-f(-x)& =2I(x)\\ I(x)& =\frac{f(x)-f(-x)}{2}\end{array}$$
Dado que tenemos la igualdad $f(x)=P(x)+I(x)$ concluimos que $P(x)$ e $I(x)$ son únicas.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Ejercicio

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

1. $f$ y $g$ son pares
2. $f$ y $g$ son impares
3. $f$ es par y $g$ es impar
4. $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{array}{}\text{(definición de }f+g\text{)}& (f+g)(-x)& =f(-x)+g(-x)\text{(por }f\text{ y }g\text{ pares)}& & =f(x)+g(x)\text{(definición de }f+g\text{)}& & =(f+g)(x)\end{array}$$
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{array}{rlrl}(f+g)(-1)& =f(-1)+g(-1)& (f+g)(1)& =f(1)+g(1)\\ & =1-1& & =1+1\\ & =0& & =2\end{array}$$
$\therefore (f+g)(-1)\ne (f+g)(1)$
$\therefore f+g$ no es par.

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

En el producto de funciones

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

2. Si $f$ y $g$ son impares $\Rightarrow fg$ es par.
Demostración:
Comenzando con $fg(-x)$ y desarrollando tenemos:
$$\begin{array}{rl}\text{(definción de }fg\text{)}& (fg)(-x)& =f(-x)g(-x)\text{(por}f\text{ y }g\text{ impares)}& & =(-f(x))(-g(x))& =f(x)g(x)\\ & =(fg)(x)\end{array}$$
$\therefore fg$ 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{array}{rl}\text{(definción de }f\circ g\text{)}& (f\circ g)(-x)& =f(g(-x))\text{(por }g\text{ impar)}& & =f(-g(x))\text{(por }f\text{ par)}& & =f(g(x))& =(f\circ g)(x)\end{array}$$
$\therefore 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{array}{rl}\text{(definción de }f\circ g\text{)}& (f\circ g)(-x)& =f(g(-x))\text{(por }g\text{ par)}& & =f(g(x))& =(f\circ g)(x)\end{array}$$
$\therefore 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{array}{rlrl}P(x)& =\frac{f(x)+f(-x)}{2}& I(x)& =\frac{f(x)-f(-x)}{2}\end{array}$$
• 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-4x+2$
  • $$\begin{array}{c}h(x)=\frac{1}{1+x^2}\hfill \end{array}$$
• 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 $fg$ cuando $f$ es par y $g$ es impar
  
  
  • Para $fg$ 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»