$\mathit{\text{MATERIAL EN REVISIÓN}}$

Introducción

El contenido de esta sección corresponde al libro
Wheeden, R.L., Zygmund, A., Measure and Integral. An Introduccion to Real Analysis. (2da ed.). New York: Marcel Dekker, 2015, págs 22-26.

Tal como lo hicimos en la entrada anterior, seguiremos hablando de las funciones de variación acotada. Notemos que en los resultados de esta teoría no suele pedirse que la función sea continua o acotada, más aún, esto pudiera no ser suficiente para que una función sea de variación acotada, tal como lo muestra un ejercicio de la tarea moral de esta sección. Veamos entonces qué hipótesis pudieran ser útiles. Comencemos con la siguiente:

Definición. Discontinuidades del primer tipo. Sea $f:\mathbb{R}\to \mathbb{R}$ y sea $x_0\in \mathbb{R}.$ En los siguientes dos casos, $f$ no es continua en $x_0.$

a) Cuando $\underset{x\to x_0^{+}}{lim}f(x)$ y $\underset{x\to x_0^{-}}{lim}f(x)$ existen y son distintos de $\mathrm{\infty }$ pero
$$\underset{x\to x_0^{+}}{lim}f(x)\ne \underset{x\to x_0^{-}}{lim}f(x).$$

b) Cuando $\underset{x\to x_0^{+}}{lim}f(x)$ y $\underset{x\to x_0^{-}}{lim}f(x)$ existen y son distintos de $\mathrm{\infty }$ y además
$$\underset{x\to x_0^{+}}{lim}f(x)=\underset{x\to x_0^{-}}{lim}f(x)$$
pero $\underset{x\to x_0}{lim}f(x)\ne f(x_0).$

En cualquiera de estas situaciones, diremos que $f$ tiene una discontinuidad del primer tipo en $x_0.$

Proposición. Sea $f:[a,b]\to \mathbb{R}$ una función de variación acotada en $[a,b],$ entonces tiene a lo más una cantidad numerable de discontinuidades y todas son del primer tipo.

Demostración:
Sea $f$ de variación acotada. De acuerdo con la entrada anterior, $f$ es acotada en $[a,b]$. Veamos un caso bonito en el que $f$ es creciente.

El conjunto de discontinuidades de $f$ puede expresarse como
$$D:=\bigcup _{n\in \mathbb{N}}\{x_0:\underset{x\to x_0^{+}}{lim}f(x)–\underset{x\to x_0^{-}}{lim}f(x)\ge \frac{1}{n}\}$$

Nota que cada uno de los conjuntos que compone la unión es o bien finito o vacío, (pues para cada $k\in \mathbb{N}$ el segmento $\frac{1}{k}$ cabe un número finito de veces en la altura $f(b)–f(a)$), por lo tanto, $D$ es contable.

Ahora veamos el caso general. De acuerdo con el teorema de Jordan, visto al final de la entrada anterior,
$$f=f_1–f_2,$$
con $f_1$ y $f_2$ funciones crecientes y acotadas que, por lo que acabamos de ver, tienen un número contable de discontinuidades del primer tipo, por lo tanto $f_1–f_2=f$ también cumple la condición.

Definición: Norma de $P.$ Sea $P=\{x_0=a,x_1,\dots ,,x_n=b\}$ una partición de $[a,b].$ La norma de $P$ se define como la longitud del intervalo más grande de la partición y se denota como:

$$|P|:=\underset{1\le i\le n}{\text{máx }}\{x_i–x_{i-1}\}.$$

El resultado que veremos a continuación muestra condiciones bajo las cuales, cuando los intervalos generados por la partición son chiquititos, es posible aproximarse mucho a la variación a través de sumas $S_P.$ Esto no siempre es así, recordemos el tercer ejemplo de la entrada anterior. ¿Puedes dar ejemplos de particiones $P$ donde $S_P[f;a,b]$ no se acerca a $V,$ aun siendo $|P|$ menor que cualquier $\delta >0?$ (Ver ejercicio en tarea moral).

Proposición. Si $f$ es una función continua en $[a,b]$ entonces
$$V=\underset{|P|\to 0}{lim}{S}_P,$$
es decir, dado $M<V,$ existe $\delta >0$ tal que $M<S_P$ para cualquier partición $P$ de $[a,b]$ con $|P|<\delta .$

Demostración:

Como $f$ es continua en $[a,b]$ entonces es uniformemente continua en $[a,b].$ Sea ${\delta }_1>0$ tal que si $|x–x^{\ast }|<{\delta }_1$ entonces
$$\begin{array}{}\text{(2)}& |f(x)–f(x^{\ast })|<\frac{\mu }{2(n+1)}\end{array}$$

Nota que $\frac{\mu }{2(n+1)}$ sí es fijo, pues $n$ lo es por ser el número de intervalos de la partición $\hat{P}$ elegida.

Toma $\delta >0$ tal que
$$\begin{array}{}\text{(3)}& \delta <\text{mín}\{{\delta }_1,\underset{1\le i\le n}{mín}\{{\hat{x}}_i–{\hat{x}}_{i-1}\}\}.\end{array}$$

Sea $P=\{x_0,x_1,\dots ,,x_m\}$ una partición de $[a,b],$ tal que $|P|<\delta .$ Afirmamos que esta partición satisface lo deseado, es decir que
$$\begin{array}{}\text{(4)}& M<S_P.\end{array}$$

Partimos de la igualdad
$$\begin{array}{}\text{(5)}& S_P[f;a,b]=\sum _{i=1}^m|f(x_1)-f(x_{i-1})|\end{array}$$

Ahora separemos los términos del lado derecho sumando en ${\sum }^{\prime }$ todos los sumandos donde no hay elementos de $\hat{P}$ en el intervalo de $P$ correspondiente y sumando en $\sum ´´$ aquellos donde sí los hay.

$$\begin{array}{}\text{(6)}& S_P[f;a,b]& =\sum _{i=1}^m|f(x_i)-f(x_{i-1})|& ={\sum }^{\prime }+\sum ´´\end{array}$$

Por (3) todos estos intervalos son menores que cualquier intervalo de $\hat{P},$ entonces cada intervalo $[x_{i-1},x_i]$ de $P$ contiene a lo más un término ${\hat{x}}_j$ de $\hat{P}$ y así $\sum ´´$ tiene a lo más $n+1$ sumandos.

Sea $Q=P\cup \hat{P},$ entonces $Q$ es un refinamiento de ambas particiones. Bajo este indicador podemos reemplazar cada sumando de $\sum ´´$
$$|f(x_i)-f(x_{i-1})|$$
por los sumandos que separa el término ${\hat{x}}_j$ de $\hat{P}$
$$|f(x_i)-f({\hat{x}}_j)|+|f({\hat{x}}_j)-f(x_{i-1})|.$$
La suma de todos estos la representaremos con $\sum ´´´.$

Por (2) y (3),
$$\begin{array}{}\text{(7)}& \sum ´´´<2(n+1)\frac{\mu }{2(n+1)}=\mu .\end{array}$$

y como
$$\begin{array}{}\text{(8)}& S_Q={\sum }^{\prime }+\sum ´´´\text{(9)}& \Rightarrow {\sum }^{\prime }=S_Q–\sum ´´´\end{array}$$

de (7) y (8) tenemos
y como
$$\begin{array}{}\text{(10)}& S_P>{\sum }^{\prime }>S_Q–\mu \ge S_{\hat{P}}–\mu >M\end{array}$$

Por lo tanto $S_P>M$ que es lo que queríamos demostrar.

Corolario. Si $f$ tiene derivada continua $f^{\prime }$ en $[a,b],$ se tiene que:

a) $V={\int }_a^b|f^{\prime }(x)|dx$

b) $S^{+}={\int }_a^b(f^{\prime }(x){)}^{+}dx$

c) $S^{-}={\int }_a^b(f^{\prime }(x){)}^{-}dx$

Demostración:
a) Sea $P=\{x_0=a,\dots ,x_n=b\}$ una partición de $[a,b].$ Por el teorema del valor medio, aplicado en cada intervalo $[x_{i-1},x_i]$ con $i=1,\dots ,n$ sabemos que existe ${\xi }_i\in [x_{i-1},x_i]$ tal que

$$|f(x_i)–f(x_{i-1})|=|f^{\prime }({\xi }_i)|(x_i–x_{i-1})$$

Por el teorema que acabamos de demostrar concluimos que
$$\begin{array}{}\text{(11)}& V=\underset{|P|\to 0}{lim}{S}_P=\underset{|P|\to 0}{lim}\sum _{i=1}^n|f^{\prime }({\xi }_i)|(x_i–x_{i-1})={\int }_a^b|f^{\prime }(x)|dx.\end{array}$$

b) A continuación usaremos un resultado visto en la entrada anterior y haremos también una sustitución en $V$ con la igualdad en a).

$$\begin{array}{rl}{S}^{+}& =\frac{1}{2}(V+f(b)–f(a))\\ & =\frac{1}{2}[{\int }_a^b|f^{\prime }(x)|dx+{\int }_a^b{f}^{\prime }(x)dx]\\ & =\frac{1}{2}{\int }_a^b(|f^{\prime }(x)|+f^{\prime }(x))dx\\ \text{(12)}& & ={\int }_a^b(f^{\prime }(x){)}^{+}dx.\end{array}$$

c) La demostración es análoga a la anterior, partiendo de
$$S^{-}=\frac{1}{2}(V–f(b)+f(a))$$
y la proponemos como ejercicio.

Pasemos ahora a conocer las curvas rectificables, comenzando con aquellas que pertenecen al plano ${\mathbb{R}}^2.$

Definición. Curva en el plano y traza. Sean $\varphi :[a,b]\to \mathbb{R}$ y $\psi :[a,b]\to \mathbb{R}$ dos ecuaciones paramétricas. Una curva en el plano ${\mathbb{R}}^2$ está dada por:
$\mathcal{C}(t)=(\varphi (t),\psi (t))$ con $a\le t\le b.$

La traza de $\mathcal{C}$ es el conjunto $\{(x,y)\in {\mathbb{R}}^2:x=\varphi (t),y=\psi (t),a\le t\le b\}$.

Nota que en la definición no se excluye que la traza pueda tener intersecciones ni tampoco se dan las condiciones necesarias para que sea continua o acotada.

Definición. La longitud de $\mathcal{C}.$ Sea $P=\{t_0=a,t_1,\dots ,t_{n-1},t_n=b\}$ una partición de $[a,b].$ Para cada $t_i,i=0,\dots ,n$ definimos $P_i:=(\varphi (x_i),\psi (x_i)).$ Pensemos en dibujar los puntos $P_i$ y las líneas que los conectan con su sucesor. La suma de la medida de cada una de estas líneas está dada por:

$$l(P)=\sum _{i=1}^n\sqrt{(\varphi (t_i)-\varphi (t_{i-1}){)}^2+(\psi (t_i)-\psi (t_{i-1}){)}^2}$$

y denota la longitud de la poligonal generada. Como esta longitud depende de la partición, presentamos la longitud de $\mathcal{C}$ como:

$$L=L(\mathcal{C})=\underset{P\in \mathcal{P}}{Sup}l(P)$$

Entonces $0\le L\le \mathrm{\infty }.$

Veamos bajo qué condiciones podemos hablar de una longitud finita.

Definición curva rectificable. Sea $\mathcal{C}$ una curva. Diremos que es rectificable si $L(\mathcal{C})<\mathrm{\infty }.$

Proposición. Sea $\mathcal{C}$ una curva. Entonces $\mathcal{C}$ es rectificable si y solo si tanto $\varphi$ como $\psi$ son de variación acotada. Más aun.

$$V(\varphi ),V(\psi )\le L\le V(\varphi )+V(\psi ).$$

Demostración:
Supongamos que $\mathcal{C}$ es rectificable. Sea $P=\{t_0=a,t_1,\dots ,t_{n-1},t_n=b\}$ una partición de $[a,b].$

Sabemos que para cualesquiera $A,B\in \mathbb{R},$
$$\begin{array}{}\text{(13)}& |A|& \le \sqrt{A^2+B^2}\text{ y}\text{(14)}& |B|& \le \sqrt{A^2+B^2}\end{array}$$

Por definición

$$l(P)=\sum _{i=1}^n\sqrt{(\varphi (t_i)-\varphi (t_{i-1}){)}^2+(\psi (t_i)-\psi (t_{i-1}){)}^2}\le L.$$

Usando (13) y (14) en cada término de $l(P)$
$$\begin{array}{rlrl}& & \sum _{i=1}^n|\varphi (t_i)-\varphi (t_{i-1})|& \le \sum _{i=1}^n\sqrt{(\varphi (t_i)-\varphi (t_{i-1}){)}^2+(\psi (t_i)-\psi (t_{i-1}){)}^2}\le L\\ \text{(15)}& & \Rightarrow & V(\varphi )& \le L\end{array}$$

Análogamente
$$\begin{array}{}\text{(16)}& V(\psi )& \le L\end{array}$$

Es decir, $V(\varphi )$ y $V(\psi )$ son de variación acotada. Recíprocamente, partiendo de este hecho y usando que para cualesquiera $A,B\in \mathbb{R}$ se cumple que
$$\begin{array}{}\text{(17)}& \sqrt{A^2+B^2}\le |A|+|B|\end{array}$$

concluimos
$$\begin{array}{}\text{(18)}& l(P)\le \sum _{i=1}^n|\varphi (t_i)-\varphi (t_{i-1})|+\sum _{i=1}^n|\psi (t_i)-\psi (t_{i-1})|\le V(\varphi )+V(\psi )\end{array}$$

Por lo tanto $L\le V(\varphi )+V(\psi )$ lo que significa que $\mathcal{C}$ es rectificable.

Al final de esta sección se te propone, en el ejercicio 4 de la tarea moral, una función que no es de variación acotada. De acuerdo con la proposición que acabamos de probar, la curva dada por $(f(t),f(t)),[0\le t\le 1]$ no es rectificable aunque, curiosamente, tiene su traza en apenas un segmento de la línea $y=x$ en $\mathbb{R},$ lo que significa que la longitud de la traza de una curva no necesariamente coincide con la longitud de la curva.

Las curvas en ${\mathbb{R}}^n$

La idea de la curva en ${\mathbb{R}}^2$ también puede generalizarse en el caso ${\mathbb{R}}^n.$ A partir de $P=\{t_0=a,t_1,\dots ,t_{n-1},t_m=b\}$ una partición de $[a,b]$ podemos definir la curva con puntos en ${\mathbb{R}}^n$ de la forma $({\varphi }_1(t),{\varphi }_2(t),\dots ,{\varphi }_n(t))$ con $t\in [a,b]$ y donde cada ${\varphi }_i$ es una ecuación paramétrica. La longitud de la curva está dada por:

$$l(P)=\sum _{i=1}^m\sqrt{\sum _{j=1}^n({\varphi }_j(t_i)–{\varphi }_j(t_i){)}^2}.$$

También diremos que $L=\underset{P\in \mathcal{P}}{Sup}l(P)$ y si $L\in \mathbb{R}$ definimos que la curva es rectificable.

Más adelante…

Presentaremos la integral de Riemann-Stieltjes motivándola con conceptos de Probabilidad, viendo su significado a través de la función distribución o la esperanza.

Tarea moral

1. Construye una función $f:\mathbb{R}\to \mathbb{R}$ no decreciente, acotada que sea continua en los números irracionales y discontinua en los racionales como sigue: si $\{r_n:n\in \mathbb{N}\}$ es el conjunto de números racionales define $f(x)=\sum _{n:r_n\le x}{2}^{-n}.$ ¿Es de variación acotada?
2. El ejercicio 3 de la entrada anterior decía lo siguiente:
   Sea $[a,b]$ un intervalo con el $0$ en su interior y $f:[a,b]\to \mathbb{R}$ tal que
   $$f(x)=\{\begin{array}{ll}1& \text{si }x=0\\ 0& \text{si }x\ne 0\end{array}$$
   Entonces $S_P=2$ o $S_P=0,$ de modo que $V=2.$
   Sea $\epsilon >0.$ Para cada $\delta >0$ ¿Puedes dar ejemplo de una partición $P_{\delta }$ donde $|S_{P_{\delta }}–V|>\epsilon ,$ aun siendo $|P_{\delta }|$ menor que $\delta ?$
3. Prueba que si $f$ tiene derivada continua, entonces $S^{-}={\int }_a^b(f^{\prime }(x){)}^{-}dx.$
4. Sea $f:[0,1]\to \mathbb{R}$ tal que
   $$f(x)=\{\begin{array}{l}xsen(\frac{1}{x}),\text{ si }0<x\le 1\\ f(x)=0,\text{ si }x=0\end{array}$$
   Muestra que $f$ es acotada y continua en $[0,1]$ pero $V=\mathrm{\infty }.$
5. Demuestra que también en el caso en que la curva está en ${\mathbb{R}}^n,$ $\mathbb{C}$ es rectificable si y solo si cada ${\varphi }_j$ es de variación acotada.

Enlaces

• Análisis Matemático.
• Enlace a entrada anterior.
• Enlace a entrada siguiente.