Saltar al contenido principal
LibreTexts Español

4.4: Conjuntos Compactos

  • Page ID
    108836
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Definición

    Supongamos que\(T \subset \mathbb{R} .\) Si\(A\) es un conjunto,\(U_{\alpha}\) es un conjunto abierto para cada\(\alpha \in A,\) y

    \[T \subset \bigcup_{\alpha \in A} U_{\alpha},\]

    entonces llamamos\(\left\{U_{\alpha}: \alpha \in A\right\}\) una portada abierta de\(T\).

    Ejemplo\(\PageIndex{1}\)

    Para\(n=3,4,5, \dots,\) dejar

    \[U_{n}=\left(\frac{1}{n}, \frac{n-1}{n}\right).\]

    Entonces\(\left\{U_{n}: n=3,4,5, \ldots\right\}\) es una cubierta abierta del intervalo abierto\((0,1)\).

    Definición

    Supongamos que\(\left\{U_{\alpha}: \alpha \in A\right\}\) es una cubierta abierta de\(T \subset \mathbb{R} .\) If\(B \subset A\) y

    \[T \subset \bigcup_{\beta \in B} U_{\beta},\]

    entonces llamamos\(\left\{U_{\beta}: \beta \in B\right\}\) una subcubierta de\(\left\{U_{\alpha}: \alpha \in A\right\} .\) Si\(B\) es finito, llamamos\(\left\{U_{\beta}: \beta \in B\right\}\) una subcubierta finita de\(\left\{U_{\alpha}: \alpha \in A\right\}\).

    Ejercicio\(\PageIndex{1}\)

    Mostrar que la cubierta abierta de\((0,1)\) dada en el ejemplo anterior no tiene una subcubierta finita.

    Definición

    Decimos que un conjunto\(K \subset \mathbb{R}\) es compacto si cada cubierta abierta de\(K\) tiene una sub cubierta finita.

    Ejemplo\(\PageIndex{2}\)

    Como consecuencia del ejercicio anterior, el intervalo abierto no\((0,1)\) es compacto.

    Ejercicio\(\PageIndex{2}\)

    Demuestre que cada subconjunto finito de\(\mathbb{R}\) es compacto.

    Ejercicio\(\PageIndex{3}\)

    Supongamos\(n \in \mathbb{Z}^{+}\) y\(K_{1}, K_{2}, \ldots, K_{n}\) son conjuntos compactos. Demostrar que\(\bigcup_{i=1}^{n} K_{i}\) es compacto.

    proposición\(\PageIndex{1}\)

    Si\(I\) es un intervalo cerrado, delimitado, entonces\(I\) es compacto.

    Prueba

    Dejar\(a \leq b\) ser números reales finitos y\(I=[a, b] .\) Supongamos\(\left\{U_{\alpha}: \alpha \in A\right\}\) es una cubierta abierta de\(I .\) Let\(\mathcal{O}\) be el conjunto de conjuntos\(\left\{U_{\beta}: \beta \in B\right\}\) con las propiedades que\(B\) es un subconjunto finito de\(A\) y\(a \in \bigcup_{\beta \in B} U_{\beta} .\) Let

    \[(s-\epsilon, s+\epsilon) \subset U_{\alpha}.\]

    Además, existe una\(\left\{U_{\beta}: \beta \in B\right\} \in \mathcal{O}\) para la cual

    \[\left[a, s-\frac{\epsilon}{2}\right] \subset \bigcup_{\beta \in B} U_{\beta}.\]

    Pero entonces

    \[\left\{U_{\beta}: \beta \in B\right\} \cup\left\{U_{\alpha}\right\} \in \mathcal{O}\]

    y

    \[\left[a, s+\frac{\epsilon}{2}\right] \subset\left(\bigcup_{\beta \in B} U_{\beta}\right) \cup U_{\alpha},\]

    contradiciendo la definición de\(s .\) Por lo tanto debemos tener\(s=b .\) Ahora elige\(U_{\alpha}\) tal que\(b \in U_{\alpha} .\) Entonces, para algunos\(\epsilon>0\),

    \[(b-\epsilon, b+\epsilon) \subset U_{\alpha}.\]

    Además, existe\(\left\{U_{\beta}: \beta \in B\right\} \in \mathcal{O}\) tal que

    \[\left[a, b-\frac{\epsilon}{2}\right] \subset \bigcup_{\beta \in B} U_{\beta}.\]

    Entonces

    \[\left\{U_{\beta}: \beta \in B\right\} \cup\left\{U_{\alpha}\right\} \in \mathcal{O}\]

    es una subcubierta finita de\(I .\) Así\(I\) es compacta. \(\quad\)Q.E.D.

    proposición\(\PageIndex{2}\)

    Si\(K\) es un subconjunto cerrado, delimitado de\(\mathbb{R},\) entonces\(K\) es compacto.

    Prueba

    Ya que\(K\) está acotada, existen números reales finitos\(a\) y\(b\) tales que\(K \subset[a, b] .\) Let\(\left\{U_{\alpha}: \alpha \in A\right\}\) be an open cover of\(K .\) Let\(V=\mathbb{R} \backslash K .\) Then

    \[\left\{U_{\alpha}: \alpha \in A\right\} \cup\{V\}\]

    en este último caso, tenemos

    \[K \subset[a, b] \backslash V \subset \bigcup_{\beta \in B} U_{\beta}.\]

    En cualquier caso, hemos encontrado una subcubierta finita de\(\left\{U_{\alpha}: \alpha \in A\right\}\). \(\quad\)Q.E.D.

    Ejercicio\(\PageIndex{4}\)

    Demostrar que si\(K\) es compacto y\(C \subset K\) está cerrado, entonces\(C\) es compacto.

    proposición\(\PageIndex{3}\)

    Si\(K \subset \mathbb{R}\) es compacto, entonces\(K\) se cierra.

    Prueba

    Supongamos que\(x\) es un punto límite de\(K\) y\(x \notin K .\) para\(n=1,2,3, \ldots,\) dejar

    \[U_{n}=\left(-\infty, x-\frac{1}{n}\right) \cup\left(x+\frac{1}{n},+\infty\right).\]

    Entonces

    \[\bigcup_{n=1}^{\infty} U_{n}=(-\infty, x) \cup(x,+\infty) \supset K .\]

    Sin embargo, para cualquiera\(N \in \mathbb{Z}^{+},\) existe\(a \in K\) con

    \[a \in\left(x-\frac{1}{N}, x+\frac{1}{N}\right),\]

    y por lo tanto

    \[a \notin \bigcup_{n=1}^{N} U_{n}=\left(-\infty, x-\frac{1}{N}\right) \cup\left(x+\frac{1}{N},+\infty\right).\]

    Así, la cubierta abierta\(\left\{U_{n}: n \in \mathbb{Z}^{+}\right\}\) no tiene una subcubierta finita, contradiciendo la suposición de que\(K\) es compacta. \(\quad\)Q.E.D.

    Ejercicio\(\PageIndex{5}\)

    Supongamos que para cada uno\(\alpha\) en algún conjunto\(A, K_{\alpha}\) es compacto. Demostrar que\(\bigcap_{\alpha \in A} K_{\alpha}\) es compacto.

    proposición\(\PageIndex{4}\)

    Si\(K \subset \mathbb{R}\) es compacto, entonces\(K\) está acotado.

    Prueba

    Supongamos que no\(K\) está acotado. Para\(n=1,2,3, \ldots,\) Let\(U_{n}=(-n, n) .\) Then

    \[\bigcup_{n=1}^{\infty} U_{n}=(-\infty, \infty) \supset K .\]

    Pero, para cualquier entero\(N,\) existe\(a \in K\) tal que\(|a|>N,\) de lo que se deduce que

    \[a \notin \bigcup_{n=1}^{N} U_{n}=(-N, N).\]

    Así, la cubierta abierta\(\left\{U_{n}: n \in \mathbb{Z}^{+}\right\}\) no tiene una subcubierta finita, contradiciendo la suposición de que\(K\) es compacta. \(\quad\)Q.E.D.

    En conjunto, las tres proposiciones anteriores arrojan el siguiente resultado fundamental:

    Teorema\(\PageIndex{5}\)

    Un conjunto\(K \subset \mathbb{R}\) es compacto si y solo si\(K\) está cerrado y acotado.

    proposición\(\PageIndex{6}\)

    Si\(K \subset \mathbb{R}\) es compacto y\(\left\{x_{n}\right\}_{n \in I}\) es una secuencia con\(x_{n} \in K\) para cada\(n \in I,\) entonces\(\left\{x_{n}\right\}_{n \in I}\) tiene una subsecuencia convergente\(\left\{x_{n_{k}}\right\}_{k=1}^{\infty}\) con

    \[\lim _{k \rightarrow \infty} x_{n_{k}} \in K .\]

    Prueba

    Ya que\(K\) está acotada,\(\left\{x_{n}\right\}_{n \in I}\) tiene una subsecuencia convergente\(\left\{x_{n_{k}}\right\}_{k=1}^{\infty}\). Ya que\(K\) está cerrado, debemos tener\(\lim _{k \rightarrow \infty} x_{n_{k}} \in K\).

    proposición\(\PageIndex{7}\)

    Supongamos que\(K \subset \mathbb{R}\)\(\left\{x_{n}\right\}_{n \in I}\) es tal que siempre que sea una secuencia con\(x_{n} \in K\) para cada\(n \in I,\) entonces\(\left\{x_{n}\right\}_{n \in I}\) tiene una subsecuencia\(\left\{x_{n_{k}}\right\}_{k=1}^{\infty}\) con\(\lim _{k \rightarrow \infty} x_{n_{k}} \in K .\) Entonces\(K\) es compacta.

    Prueba

    Supongamos que no\(K\) tiene límites. Entonces podremos construir una secuencia\(\left\{x_{n}\right\}_{n=1}^{\infty}\) tal que\(x_{n} \in K\) y\(\left|x_{n}\right|>n\) para\(n=1,2,3, \ldots\) De ahí los únicos límites subsecuenciales posibles de\(\left\{x_{n}\right\}_{n=1}^{\infty}\) serían\(-\infty\) y\(+\infty,\) contradiciendo nuestras suposiciones. Por lo tanto,\(K\) hay que acotar.

    Ahora supongamos que\(\left\{x_{n}\right\}_{n \in I}\) es una secuencia convergente con\(x_{n} \in K\) para todos\(n \in I .\) Si\(L=\lim _{n \rightarrow \infty} x_{n},\) entonces\(L\) es el único límite subsecuencial de\(\left\{x_{n}\right\}_{n \in I} .\) Por lo tanto, por los supuestos de la proposición,\(L \in K .\) De ahí\(K\) se cierra.

    Ya que\(K\) es a la vez cerrado y acotado, es compacto. \(\quad\)Q.E.D.

    Ejercicio\(\PageIndex{6}\)

    Mostrar que un conjunto\(K \subset \mathbb{R}\) es compacto si y solo si cada subconjunto infinito de\(K\) tiene un punto límite en\(K\).

    Ejercicio\(\PageIndex{7}\)

    Demostrar que si\(K\) es compacto, entonces\(\sup K \in K\) y\(\inf K \in K\).

    Teorema\(\PageIndex{8}\)

    Dado un conjunto,\(K \subset \mathbb{R},\) los siguientes son equivalentes:

    1. Cada cubierta abierta de\(K\) tiene una subcubierta finita.

    2. Cada secuencia en\(K\) tiene un límite posterior en\(K\).

    3. Cada subconjunto infinito de\(K\) tiene un punto límite en\(K\).

    Ejercicio\(\PageIndex{8}\)

    Supongamos que\(K_{1}, K_{2}, K_{3}, \ldots\) son conjuntos compactos no vacíos con

    \[K_{n+1} \subset K_{n}\]

    para\(n=1,2,3, \ldots\) Mostrar que

    \[\bigcap_{n=1}^{\infty} K_{n}\]

    no está vacío.

    Ejercicio\(\PageIndex{9}\)

    Decimos que una colección de conjuntos\(\left\{D_{\alpha}: \alpha \in A\right\}\) tiene la propiedad de intersección finita si por cada conjunto finito\(B \subset A\),

    \[\bigcap_{\alpha \in B} D_{\alpha} \neq \emptyset .\]

    Demuestre que un conjunto\(K \subset \mathbb{R}\) es compacto si y solo para cualquier colección

    \[\left\{E_{\alpha}: \alpha \in A, E_{\alpha}=C_{\alpha} \cap K \text { where } C_{\alpha} \subset \mathbb{R} \text { is closed }\right\}\]

    que tiene la propiedad de intersección finita que tenemos

    \[\bigcap_{\alpha \in A} E_{\alpha} \neq \emptyset .\]


    This page titled 4.4: Conjuntos Compactos is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Dan Sloughter via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.