Archivo de la etiqueta: Análisis Matemático

Un ejercicio de inducción

Probar por inducción que n(n+1)(n+2)(n+3) es divisible por 24 (o equivalentemente que n(n+1)(n+2)(n+3) es múltiplo de 24).

Solución: Este problema no se resuelve aplicando directamente la inducción. Hay que dar un pequeño “rodeo”. Lo esencial es advertir que

24 = 4! = 4 \cdot 3 \cdot 2 \cdot 1.

Si tenemos eso en mente veremos que basta probar que n(n+1) es múltiplo de 2! =2, n(n+1)(n+2) es múltiplo de 3! = 6 y n(n+1)(n+2)(n+2) es múltiplo de de 24.

Para n=1 tenemos

1 \cdot 2 =2 es múltiplo de 2.

1 \cdot 2 \cdot 3=6 es múltiplo de 6.

1 \cdot 2 \cdot 3 \cdot =24 es múltiplo de 24.

La hipótesis de inducción para k es que k(k+1) es múltiplo de 2, k(k+1)(k+2) lo es de 6 y k(k+1)(k+2)(k+3) lo es de 24. Vemos que ocurre para k+1.

(k+1)(k+2) = (k+2)(k+1)=k(k+1)+ 2(k+1). Como hemos asumido que k(k+1) es múltiplo de 2, es obvio que k(k+1)+2(k+1) es un múltiplo de 2 al ser suma de múltiplos de 2.

(k+1)(k+2)(k+3) = (k+3) (k+1)(k+2)= k(k+1)(k+2)+3(k+1)(k+2). Como hemos supuesto que (k+1)(k+2) es múltiplo de 2 es obvio que 3(k+1)(k+2) es múltiplo de 6 y como k(k+1)(k+2) es múltiplo de 6, concluimos que la suma es múltiplo de seis al ser suma de dos múltiplos de este número.

(k+1)(k+2)(k+3)(k+4) = (k+4)(k+1)(k+2)(k+3) = k(k+1)(k+2)(k+3)+4(k+1)(k+2)(k+3).

De nuevo aplicando la hipótesis de inducción vemos que k(k+1)(k+2)(k+3) es múltiplo de 24. Ahora bien, como (k+1)(k+2)(k+3) es múltiplo de 6, concluimos que 4(k+1)(k+2)(k+3) es múltiplo de 24 y la suma ha de ser múltiplo de 24. Esto termina la demostración.

Anuncios

Sucesiones en la recta ampliada. Límites superior e inferior (4)

Una vez definidos los límites superior e inferior de una sucesión de números de la recta real ampliada, vamos a ver algunas de sus propiedades.

a) \lim \inf a_n = \lim_{n} \inf \{a_k : k \geq n \}.

b) \lim \sup a_n = \lim_{n} \sup \{a_k : k \geq n \}.

c) \inf \{a_n : n \in \mathbb{N} \} \leq \lim \inf a_n \leq \lim \sup a_n \leq \sup \{a_n : n \in \mathbb{N} \}.

d) \lim \inf a_n = -\lim \sup (-a_{n}).

Pasamos a demostrar una a una estas propiedades. El lector debe recordar las definiciones de límite superior e inferior dadas en el anterior post y también las propiedades del supremo e ínfimo de un conjunto en la recta ampliada.

a) La sucesión

t_n = \inf \{a_k : k \geq n \}

de los ínfimos de las secciones finales de la sucesión (a_n) es creciente. Por tanto, hallaremos que existe y es único el valor \sup \{t_n : n \in \mathbb{N} \} = \lim \inf a_n.  Supongamos que dicho supremo es un número real (es decir que no es \infty o -\infty).  Dado dado \epsilon >0, la definición de supremo nos lleva a hallar un entero positivo N para el que \lim \inf a_n - \epsilon < t_N.  Pero (t_n) es una sucesión creciente por lo que  \lim \inf a_n - \epsilon < t_n si n \geq N. En definitiva, reescribiendo la desigualdad

\lim \inf a_n - t_n < \epsilon, si n \geq N.

Ahora bien, recordemos que \lim \inf a_n es el supremo de los t_n. Por ello la diferencia  \lim \inf a_{n} - t_{n} es positiva y obtenemos

| \lim \inf a_n - t_n | < \epsilon, si n \geq N.

Esto prueba que \lim \inf a_n = \lim t_n = \lim_n \inf \{a_k : k \geq n \}.  Si suponemos que

\sup \{ t_n : n \in \mathbb{N} \} = \lim \inf a_n = \infty,

entonces la sucesión (t_n) no está acotada superiormente. Pero es creciente por lo que

\infty = \lim \inf a_n = \lim t_n = \lim_n \inf \{ a_k : k \geq n \}.

En el caso de que \lim \inf a_n = - \infty, resultará que el supremo de los t_n será -\infty por lo que todos ellos habrán de ser iguales a -\infty, y, trivialmente

-\infty = \lim \inf a_n = \lim t_n = \lim_n \inf \{a_k : k \geq n \}.

La prueba de (b) es similar.

c) Como la sucesión t_n es creciente, resulta
t_1 = \inf \{ a_{n} : n \in \mathbb{N} \} \leq \sup \{t_{n} : n \in \mathbb{N} \} = \lim \inf a_{n}.
Por otro lado, la sucesión
T_{n} = \sup \{ a_{k} : k \geq n \}, \quad n=1,2, \ldots
es decreciente y, en consecuencia,
\lim \sup a_{n} =\inf \{ T_{n} : \in \mathbb{N} \} \leq \sup \{ a_{n} : n \in \mathbb{N} \}.
Para acabar, tenemos que t_{n} \leq T_{n} para todo n, lo cual combinado con el carácter creciente de (t_n) y el decreciente de (T_n) nos lleva a
t_{1} \leq t_{2} \leq \ldots \leq t_n \leq \ldots \leq T_n \leq \ldots \leq T_{2} \leq T_1.
Por tanto,
\lim \inf a_{n} = \sup \{t_n : n \in \mathbb{N} \} \leq \inf \{T_n : n \in \mathbb{N} \} = \lim \sup a_n.

d) Sabemos que si A es un subconjunto no vacío de la recta ampliada, entonces

\sup A= -\inf (-A).
Por tanto,
\lim \inf a_{n} = \sup_{n} \{ \inf \{a_{k}: k \geq n \} \} = -\inf_{n}\{ -\inf \{a_{k}: k \geq n \} \} = -\inf_{n}\{ \sup \{-a_{k}: k \geq n \} \} = -\lim \sup (-a_n).

Sucesiones en la recta ampliada. Límites superior e inferior (3)

Consideremos una sucesión cualquiera (a_n) en la recta real ampliada. Las secciones finales de dicha sucesión son los conjuntos

S_{n} = \{ a_{k} : k \geq n \} .

Dichos conjuntos son no vacíos y son subconjunto de \overline{\mathbb{R}}. Además por su construcción verifican la cadena de inclusiones

S_1 \supset S_2 \supset S_3 \ldots \supset S_n \supset S_{n+1} \supset \ldots .

Por otro lado, sabemos que existen sus supremos e ínfimos, permitiendo definir sucesiones nuevas:

t_n = \inf S_n, T_{n}= \sup S_n.

La cadena de inclusiones de las secciones finales permite concluir que la sucesión (t_n) es creciente y la sucesión (T_n) es decreciente. Basta aplicar ahora el teorema que garantiza la existencia de límite para sucesiones monótonas para obtener los límites:

\lim_n t_n, \lim_n T_n.

Pero como hemos probado en el apartado (2) de esta colección de posts, resulta que

\lim_n t_n = \sup \{t_n : n \in \mathbb{N} \} = \sup_n \{ \inf \{a_k : k \geq n \}\} = \lim \inf a_n.

\lim_n T_n = \inf \{ T_n : n \in \mathbb{N} \} = \inf_{n} \{ \sup \{a_k : k \geq n \} \} = \lim \sup a_n.

Estos son los límites superior e inferior, respectivamente, de la sucesión (a_n) y su existencia está garantizada sólo en la recta ampliada. En siguientes entregas veremos más propiedades de estos límites y sus aplicaciones en algunas ramas del cálculo.

Sucesiones en la recta ampliada. Límites superior e inferior (2)

Una de las principales facilidades que nos da la recta real ampliada es la de extender la existencia de supremos e ínfimos. Sabemos que el axioma de completitud de la recta real nos permite afirmar que todo subconjunto no vacío de números reales que esté acotado superiormente tiene una cota superior mínima, a la que llamamos supremo (y también todo conjunto no vacío acotado inferiormente tiene cota inferior máxima o ínfimo).  La importancia de este hecho es crucial pues distingue al cuerpo ordenado de los reales del cuerpo ordenado de los racionales.

En la recta ampliada todo conjunto tiene supremo e ínfimo. Convenimos en que si es vacío su supremo es -\infty y su ínfimo +\infty. Si no está acotado superiormente su supremo es +\infty y si no está acotado inferiormente su ínfimo es -\infty. Estos convenios también afectan a las sucesiones pues también podemos probar que toda sucesión monótona converge en la recta ampliada.  Lo haremos para el caso de una sucesión monótona decreciente.

Consideremos ahora una sucesión (b_{n}) en \mathbb{R} \cup \{ \infty, -\infty \}. Si existe un entero positivo n_{0}, para el que b_{n+1} \leq b_{n}, siempre que n \geq n_{0}, entonces (b_{n}) es decreciente. Sea B =\{ b_{n} : n \geq n_{0} \} . Si -\infty \in B, entonces todos los términos posteriores a este serán también iguales a -\infty y, en consecuencia, su límite será también -\infty = \inf \{b_{n} : n \geq n_{0} \}. Supongamos pues que -\infty no pertenece a B. En tal caso, si existe algún b_{n} \in B para el que b_{n} \neq \infty y B está acotado inferiormente, sabemos que tendrá límite finito y que será l= \inf B. Si existe algún b_{n} \in B para el que b_{n} \neq \infty y B no está acotado inferiormente, entonces dado K <0, hallaremos r \geq n_{0}, tal que b_{r} < K. Pero como (b_{n}) es decreciente esto implica que
b_{n} < K, \quad \text{si} \quad n \geq r.
Es decir, \lim b_{n} = -\infty = \inf B.
Si todos los elementos de B son \infty, entonces trivialmente concluimos que \lim b_{n} = \infty = \inf B. En todos los caso, resulta que
\lim b_{n} = \inf B.

Sucesiones en la recta ampliada. Límites superior e inferior (1)

La recta ampliada es el conjunto de los números reales junto con dos símbolos -\infty, +\infty. El orden usual en los reales se extiende a la recta ampliada mediante

-\infty < x <+\infty, para todo x real.

La recta ampliada no es un cuerpo . En efecto, no todas las operaciones están definidas. En particular, las sumas del tipo

-\infty+\infty

no están definidas. En cuanto al resto de operaciones en las que aparecen los símbolos de infinito se adoptan diversos convenios. Nosotros usamos los empleados en teoría de la medida. Si x es un número real, entonces

Imagen

Obsérvese que cero por infinito o menos infinito da cero (en contra de lo que se conviene a la hora de calcular límites de funciones reales). Se suele escribir \overline{\mathbb{R}} para denotar a la recta ampliada.  El orden en la recta ampliada es total pero no es compatible con las operaciones. En efecto,  dados x e y, reales, tales que x <y, si el orden fuera compatible con la suma, se tendría que \infty=\infty+x < \infty+y = \infty, lo cual es absurdo. Sin embargo, el orden total sí permite definir una topología de la forma usual. Es decir, la que tiene por base la familia de intervalos de la forma

\mathcal{F} = \{ (a,b), [-\infty, b), (a, +\infty]: a, b \in \overline{\mathbb{R}}, a \leq b \}.

Esto significa que cualquier abierto de dicha topología es unión de los elementos de \mathcal{F}. Por ejemplo, los siguientes conjuntos son abiertos: [- \infty, 0) , [-\infty, +\infty], (-\infty, +\infty), (0,1).

Orden y operaciones (1)

Las estructuras de orden junto con las topológicas y algebraicas son fundamentales en todo el corpus matemático. En muchas ocasiones se enriquecen y necesitan unas a otras. Por ejemplo, existen topologías compatibles con el álgebra de los espacios vectoriales, órdenes que inducen topologías, etc.  En esta serie de entradas nos vamos a centrar en órdenes compatibles con estrucuturas algebraicas. Es decir, vamos a partir de un conjunto no vacío G donde hay definida una o varias operaciones y un orden. Trataremos de ver cómo es posible relacionar ambos conceptos y obtener de dicha relación una rica cosecha de resultados interesantes y extremadamente útiles.

En primer lugar, sea G un conjunto dotado de un orden parcial \leq y de una operación \bot. Como sabemos la operación no es más que una aplicación

f: G \times G \rightarrow G

que notamos mediante x \bot y en lugar de f(x,y). Por tanto, la compatibilidad con el orden más evidente sería exigir que para todos x,y \in G tales x \leq y y para todo z \in G se cumplan

(i) f(z,x) \leq f(z,y)

(ii) f(x,z) \leq f(y,z).

En otros términos que al operar por la izquierda o por la derecha con z cada uno de los miembros de la relación, ésta se conserva:

(a) zx \bot zy

(b) xz \bot yz .

Por ejemplo si (G, \bot) es un grupo y \leq una relación de orden en G, entonces exigiendo (a) y (b), obtenemos un grupo ordenado que notaremos por (G, \bot, \leq). No nos interesa considerar operaciones no conmutativas ya que cualquier desarrollo por la izquierda deberá tener su correspondiente por la derecha por pura simetría y resultaría farragoso además de poco práctico ya que la mayoría de estructuras con las que trabajaremos son conmutativas. Sea pues (G,+) un grupo abeliano. Decimos que es ordenado respecto a \leq si para todos x,y \in G tales que x \leq y y para todo z \in G es

x+z \leq y+z.

El lector observará que la notación para una operación conmutativa en un grupo es la de la suma (aunque la naturaleza de tal operación no sea la suma usual). Este convenio es muy útil y no induce a ningún error. Acabamos aquí este artículo. En el próximo daremos una condición equivalente a la de orden compatible con una estructura de grupo abeliano.

Para ampliar:

Wikipedia

Planet Math

Wikibooks

“Teoría de Clases y Conjuntos”, Marío de J. Pérez-Jiménez, Editorial EDUNSA.

“Groupes et Anneaux Réticulés”, A. Bigard, K. Keimel, S. Wolfenstein, SPRINGER-VERLAG.