14 Capítulo 6. Funciones característicasDemostración <strong>de</strong>l teorema 6.3 <strong>de</strong> Helly. Sea D un conjunto <strong>de</strong>nso numerable<strong>de</strong> números reales x ′ 1, x ′ 2, . . . . La sucesión numérica {F n (x ′ 1)} es acotada,por lo que contiene una subsucesión {F 1n (x ′ 1)} que converge a uncierto límite, que <strong>de</strong>signamos F (x ′ 1).La sucesión {F 1n (x ′ 2)} también contiene una subsucesión {F 2n (x ′ 2)},convergente a un cierto límite, que <strong>de</strong>signamos F (x ′ 2). A<strong>de</strong>más, se verificalím n→∞ F 2n (x ′ 1) = F (x ′ 1).Continuando este proceso, obtenemos, que para cualquier natural k,existen k sucesiones {F kn (x ′ i)} (i = 1, . . . , k) para <strong>la</strong>s cuales se verificalím n→∞ F kn (x ′ i) = F (x ′ i) (i = 1, . . . , k).Consi<strong>de</strong>remos ahora <strong>la</strong> sucesión diagonal compuesta por <strong>la</strong>s funciones{F nn (x)}. Sea x ′ k ∈ D. Es c<strong>la</strong>ro que lím n→∞ F nn (x ′ k ) = F (x′ k ), dado que{F nn (x ′ k )} es una subsucesión <strong>de</strong> <strong>la</strong> sucesión numérica {F kn(x ′ k )}, si n ≥ k.Hemos así <strong>de</strong>finido una función F (x) en el conjunto D. Si x < y son dospuntos <strong>de</strong> D, entonces F (x) = lím n→∞ F nn (x) ≤ lím n→∞ F nn (y) = F (y),y <strong>la</strong> función F (x) es no <strong>de</strong>creciente en D. Es c<strong>la</strong>ro también que A ≤F (x) ≤ B. Estas propieda<strong>de</strong>s permiten exten<strong>de</strong>r <strong>la</strong> función F (x) a toda<strong>la</strong> recta real, conservando <strong>la</strong>s propieda<strong>de</strong>s mencionadas. Estamos entoncesen condiciones <strong>de</strong> aplicar el lema 6.2, para concluir <strong>la</strong> <strong>de</strong>mostración <strong>de</strong>lteorema.Observación. Se pue<strong>de</strong> ver que <strong>la</strong> función límite F (x) pue<strong>de</strong> elegirse continuapor <strong>la</strong> <strong>de</strong>recha, si <strong>de</strong>finimos F (x) = lím n→∞ F (x n ), don<strong>de</strong> {x n } ∈ D,x n → x (n → ∞), y x n ≥ x para todo n.Teorema 6.4 (Helly). Consi<strong>de</strong>remos funciones no <strong>de</strong>crecientes y acotadasF (x), F 1 (x), F 2 (x), . . . tales que F n ⇒ F , y una función g(x) continua yacotada. Entonces∫ ∞−∞g(x)dF n (x) →∫ ∞−∞g(x)dF (x)Demostración. Sea ε > 0 arbitrario. Designemos(n → ∞).G = sup |g(x)|,x∈RC = F (∞) − F (−∞).Como lím x→−∞ F (x) = F (−∞), lím x→∞ F (x) = F (∞), existen a < b,puntos <strong>de</strong> continuidad <strong>de</strong> F (x), tales que se verificaF (∞) − F (b) < ε/(3G), F (a) − F (−∞) < ε/(3G). (6.17)
6.3. Teoremas <strong>de</strong> Helly 15Como g(x) es una función continua, existe una partición <strong>de</strong>l intervalo[a, b], <strong>de</strong>signada a = x 0 < x 1 < · · · < x N = b, formada por puntos <strong>de</strong>continuidad <strong>de</strong> F (x), y tales que se verifica |g(x) − g(x k )| < δ si x ∈(x k−1 , x k ) (k = 1, . . . , N).Consi<strong>de</strong>remos <strong>la</strong> función auxiliar{g(x k ), si x ∈ (x k−1 , x k ] (k = 1, . . . , N),g 0 (x) =0, en otro caso,que po<strong>de</strong>mos también <strong>de</strong>finir como g 0 (x) = ∑ Nk=1 g(x k)1 (xk−1 ,x k ](x). SeanI =∫ ∞−∞g(x)dF (x), I n =Sumando y restando, obtenemosI n − I =∫ ∞++−∞∫ ∞−∞∫ ∞∫ ∞−∞g(x)dF n (x).(g(x) − g0 (x) ) dF n (x) (6.18)−∞= S 1 + S 2 + S 3 .g 0 (x)dF n (x) −∫ ∞−∞g 0 (x)dF (x) (6.19)(g(x) − g0 (x) ) dF (x) (6.20)Acotemos cada uno <strong>de</strong> los tres sumandos anteriores. Para S 3 en (6.20),tenemos|S 3 | ≤∫ a−∞∫ ∣ b∣ g(x) ∣dF (x) + ∣ g(x) − g0 (x) ∣ ∫ ∞∣ dF (x) + ∣ g(x) ∣dF (x)a≤ G ( F (a) − F (−∞) ) +δ ( F (b) − F (a) ) +G ( F (∞) − F (b) ) (6.21)≤ ε/3 + ε/3 + ε/3 = ε,en vista <strong>de</strong> (6.17) y <strong>la</strong> <strong>de</strong>sigualdad F (b) − F (a) ≤ C.Para S 1 en (6.18), cambiando F n por F , obtenemos|S 1 | ≤ G ( F n (a) − F n (−∞) )+ δ ( F n (b) − F n (a) ) +G ( F n (∞) − F n (b) ) < ε, (6.22)si n es suficientemente gran<strong>de</strong>, dado que, por <strong>la</strong> convergencia completaF n ⇒ F , <strong>la</strong> cota obtenida en (6.22) converge a <strong>la</strong> cota en (6.21).b