Compacidad

Compacidad

Compacidad

En matemáticas, concretamente en la rama de la Topología, la compacidad es una de las muchas propiedades que puede adopar un espacio topológico. Se trata de una propiedad con gran importancia dado que dota a los espacios de una regularidad que permite definir teoremas u otras propiedades sobre estos espacios.

Formalmente un espacio topológico se dice que es compacto si es quasi-compacto y de Hausdorff. Vamos a definir cada concepto:


Espacios quasi-compactos: Sea (X,τ) un espacio topológico con su topología asociada. X es quasi-compacto si para todo recubrimiento por abiertos de X, es decir, \forall \{U_i\}_{i\in I}, U_i \in \tau, existe un subrecubrimiento del mismo \{U_j\}_{j \in J},  J \subset I , \# J<\infty, finito.


Espacios de Hausdorff: Un espacio topológico (X,τ) es llamado espacio de Hausdorff o T2 si para cada par de puntos, existen entornos en cada uno de ellos tal que su intersección es vacía, es decir, se pueden separar. Ésta es una propiedad de separación. Matemáticamente: (X,τ) es Hausdorff si \forall x,y\in X  \exists U_x,U_y entornos de x e y respectivamente tales que U_x \cap U_y = \emptyset .

Un resultado importante u otra definición equivalente de espacios Hausdorff sería definirlos del siguiente modo: Se dice que un espacio topológico (X,τ) es Hausdorff si, y sólo si la diagonal de X es un cerrado de X\times X.

Se define como diagonal de un conjunto a: \Delta_X = \{(x,y)\in X\times X; x=y\}. Si este conjunto es un cerrado de X\times X entonces X es Hausdorff.



Definición:

Un espacio topológico (X,τ) es compacto si, y sólo si, es quasi-compacto y Hausdorff.


Una vez definido el concepto de compacidad podemos particularizarlo en conjuntos o espacios más conocidos como X = \mathbb R^{n}, el espacio de dimensión n de números reales.

Existe un teorema que establece las condiciones necesarias y suficientes para que un subconjunto de \mathbb R^{n} sea compacto.


Teorema de Heine-Borel

Sea U un subconjunto de \mathbb R^{n}, entonces U es compacto si, y sólo si es cerrado y acotado. Para ver la demostración puede verse el tema Teorema de Heine-Borel.


En particular todo subconjunto acotado de \mathbb R^{n} es quasi-compacto, puesto que \mathbb R^{n} o cualquier otro espacio no acotado, no permite subrecubrimientos finitos por abiertos, pero además como estamos considerando la topología euclídea, también es Hausdorff, lo que implica compacidad siempre que también sea cerrado.


En \mathbb R^{n} existe otro concepto totalmente equivalente de compacidad, esta vez utilizando sucesiones de números reales, recapitulando tenemos lo siguiente, restringidos a \mathbb R^{n}:


Compacidad por recubrimientos:

U subconjunto de \mathbb R^{n} es compacto por recubrimientos (dado que es Hausdorff) si para todo recubrimiento de U por abiertos admite un subrecubrimiento finito.


Compacidad por sucesiones:

U subconjunto de \mathbb R^{n} es compacto por sucesiones si para toda sucesión de puntos, con límite o sin, admite una sucesión parcial convergente con límite en U.


Teorema: Un subconjunto de \mathbb R^{n} es compacto por recubrimientos si, y sólo si es compacto por sucesiones.

Este teorema nos muestra que ambas definiciones son equivalentes.

Obtenido de "Compacidad"

Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • compacidad — f. compactibilidad …   Diccionario de la lengua española

  • compacidad — ► sustantivo femenino Compactibilidad, propiedad de los cuerpos compactos. * * * compacidad f. Cualidad de compacto. ≃ Compactibilidad. * * * compacidad. f. compactibilidad …   Enciclopedia Universal

  • compacidad — {{#}}{{LM C43636}}{{〓}} {{[}}compacidad{{]}} ‹com·pa·ci·dad› {{《}}▍ s.f.{{》}} → {{↑}}compactibilidad{{↓}} …   Diccionario de uso del español actual con sinónimos y antónimos

  • Compacidad local — En topología y otras áreas de la matemática, la compacidad local es una propiedad topológica de un espacio topológico debido a la cual alrededor de cada punto, localmente, el espacio tiene propiedades similares a las de un espacio compacto.… …   Wikipedia Español

  • Teorema de compacidad — En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo… …   Wikipedia Español

  • Espacio compacto — En topología, un espacio compacto es un espacio que tiene propiedades similares a un conjunto finito, en cuanto a que las sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente. La propiedad de compacidad es una …   Wikipedia Español

  • Teorema de Tychonoff — En topología, el teorema de Tychonoff establece que el producto de cualquier colección de espacios topológicos compactos es compacto. El teorema se nombró así por Andrey Nikolayevich Tychonoff, quien lo probó por primera vez en 1930 para… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Facies Madrid — Saltar a navegación, búsqueda Facies Madrid o Arcosas: De forma muy resumida, se puede decir que las facies Madrid, denominadas geológicamente Arcosas de Madrid, son facies depositadas en principio durante el Mioceno, con un ambiente de… …   Wikipedia Español

  • Topología — Para otros usos de este término, véase Topología (desambiguación). Ilustración del Teor …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”