CONJUNTOS ACOTADOS Y COMPACIDAD EN

Conjuntos acotados en

Definición 7 (conjuntos acotados en )

Sea distinto del vacío diremos que:

(a) es acotado inferiormente si, y sólo si existe tal que

(b) es acotado superiormente si, y sólo si existe tal que

(c) es acotado si, y sólo si lo es tanto inferior como superiormente.

Llamaremos a cota inferior y superior de , respectivamente.

Axioma de completitud

Sea distinto del vacío y acotado superiormente (inferiormente) entonces,

existe una mínima cota superior (máxima cota inferior) la cual denotaremos por (
) de manera que para cualquier cota superior (cota inferior ) de de ,
( ). La mínima cota superior recibe el nombre de supremo de .
Análogamente, la máxima cota superior de se llamará ínfimo de .
Propiedades del supremo y el ínfimo

Sea distinto del vacío y cualquier .

Si está acotado superiormente entonces existe tal que

a)
Si está acotado inferiormente entonces existe tal que
b)

Demostración
Supongamos que entonces por el axioma de completitud
. Pero esto no es posible. En consecuencia:

Análogamente, se demuestra que:

Actividades
Sean los conjuntos y acotados, y
demuestra que:
(a)
(b)
Si entonces
(c)

Si entonces
(d)

Propiedades Arquimedianas
En se tiene que:
(a) existe tal que
(b) existe tal que
(c) existe tal que

Demostración:
Sean y el conjunto . Supongamos que
entonces está acotado superiormente por lo que existe . Seguidamente,
. Pero resulta que:

Por tal motivo, deduciendo así que existe tal que .

Las propiedades (b) y (c) se deducen de la (a) y (B), respectivamente; por lo que se
dejan como ejercicio.

Otras propiedades de conjuntos acotados.

Teorema 6
Todo subconjunto finito no vacío de es acotado.

Demostración:
Sea entonces ; lo cual implica que está acotado. Así
mismo, si , fácilmente se puede deducir solo una de las dos condiciones
siguientes:
o
En este sentido, existen tanto el mínimo como el máximo de ( y ).
Luego, siendo y, por tal motivo, también está acotado.
Supongamos que cualquier conjunto finito está acotado. Considérese

el conjunto . Entonces, el subconjunto , de está acotado.

Por tal motivo, deben cumplirse solo dos de las cuatro condiciones siguientes:

(1) y
(2) y
(3) y
(4) y

En cualquier caso, se sigue que está acotado y, por tanto; todo conjunto finito está
acotado.

Teorema 7
Un conjunto no vacío es finito si, y sólo si, es acotado y todo no vacío
contiene a su ínfimo y supremo.

Demostración
 Sea finito, entonces por el teorema 6 es acotado. En tal sentido, todo no
vacío también lo está (¿por qué?). De allí se desprende que posee ínfimo y supremo. A
su vez, . Luego y .
Considérese a acotado y todo no vacío que contiene a su ínfimo y
supremo. Entonces, existe tal que .
Dado el conjunto . Si ; lo cual indica que es
finito. En caso contrario, existirá de manera que:

y .

Sucesivamente, se podrán encontrar de manera que y

; al ser .

En este sentido, tómese el conjunto que contendrá algún

. Pero y lo cual es absurdo. Luego, se deduce, que existe algún

tal que:
.

Teorema 8 (Bolzano-Weirstrass en )

Si es infinito y acotado, entonces

Demostración:

Por el teorema 7, al ser un conjunto infinito y acotado, se deduce que:

Sean y , entonces para cualquier existirán tales

que:

(1)
(2)
 De esta forma tanto como contienen, respectivamente,
puntos distintos a y en . Seguidamente, de acuerdo a la definición 6, por
lo cual, .

Compacidad en

Definición de Sucesión

Llamaremos sucesión en a una función . Denotaremos a la sucesión como

y por a las imágenes de es decir, .
Definición de Subsucesión
Llamaremos subsucesión de a cualquier sucesión

Definición de Sucesión Convergente

Una sucesión es convergente en a un punto si, y solo si, existe

tal que .
Definición de Sucesión Acotada.

Una sucesión es acotada si, y solo si, existe tal que .

Propiedades

(a) Toda sucesión es acotada si, y solo si, tienen ínfimo y supremo.

(b) Toda sucesión convergente es acotada.

(c) Una sucesión es convergente si, y solo si, toda subsucesión de ella converge.

Las propiedades anteriores se dejan como ejercicio al estudiante.

Conjuntos compactos en

Definición de la propiedad de Bolzano-Weierstrass

 Un conjunto cumple con la propiedad de Bolzano-Weierstrass si, y solo si,
todo infinito contiene un punto de acumulación
Definición de conjunto compacto
Un conjunto es compacto si, y solo si, toda sucesión contiene una
subsucesión convergente a un punto

Lema 1

Todo conjunto finito de no vacío es compacto.

Demostración:

Sea finito, no vacío y Existirán iguales a un fijo (¿por

qué?). Dichos términos conformarían una subsucesión de convergente a (¿por

qué?). En consecuencia, es compacto.
Lema 2

Todo infinito es compacto si, y solo si, posee la propiedad de Bolzano-Weierstrass.

Demostración:

Sean compacto e infinito, infinito y .Considérese la familia

de esferas abiertas:

En cada una de ellas existirán (¿por qué?). Dichos

términos conforman una sucesión convergente a luego toda subsucesión

, es convergente a dicho punto. Al ser compacto, se sigue que

Supóngase ahora que todo infinito cumple con la condición de Bolzano-
Weierstrass. Tómese Si es finita, entonces converge (¿por qué?).

Si es infinita, tendrá un punto de acumulación por lo que:

existirán
 De esta manera se conforma una subsucesión de convergente a lo cual asegura
que es compacto.
Teorema de Heine-Borel-Lebesgue
Un conjunto es compacto si, y solo si, es cerrado y acotado.

Demostración:

Sea compacto. Si es finito es cerrado y acotado (¿por qué?). Supóngase a

infinito y tómese Existe convergente a y por la definición de
conjunto compacto Luego, y en consecuencia cerrado.
Supóngase que no es acotado, entonces existe tal que . Por
tal motivo existirá tal que En este sentido, se tiene
una sucesión no acotada y, por tal motivo, no converge (propiedad (b) que deben
demostrar). Pero esto es absurdo debido a que es compacto. En tal sentido, es
acotado.
Considérese ahora, cerrado y acotado. En el caso de que sea finito, es
compacto (lema 1). Para infinito, se tiene que todo infinito, es acotado; luego
por el teorema de Bolzano-Weierstrass, . Así mismo, y por ser
cerrado, Se sigue que y por lo tanto, se cumple la propiedad de
Bolzano-Weierstrass, con lo que se concluye que es compacto.