Totalmente acotado

Totalmente acotado

Un espacio métrico (X,d) se dirá totalmente acotado si y solamente si cumple la siguiente propiedad:

\forall r>0, \exists x_1,...x_k \in X tal que \cup_{i=1}^k B(x_i,r) \supseteq X

Se cumple que todo espacio totalmente acotado es también acotado. Además, todo compacto es totalmente acotado. Esta propiedad es útil precisamente para demostrar compacidad, pues se tiene que existe equivalencia entre ser compacto y ser totalmente acotado y completo. De hecho, para muchas demostraciones es precisamente ésta caracterización de compacidad la que se utiliza.


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Estructura trivial — Saltar a navegación, búsqueda En topología y campos relacionados de las matemáticas, se tienen situaciones extremales, tradicionalmente subsumidas en el concepto de conjunto. Un espacio (indiscreto) discreto es un ejemplo particularmente simple… …   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

  • Axioma de elección — Saltar a navegación, búsqueda En matemáticas, el axioma de elección o axioma de escogencia, abreviado usualmente AE, o AC por sus siglas en inglés, es un axioma de la teoría de conjuntos. Intuitivamente, AE dice que dada una colección de… …   Wikipedia Español

  • Retículo (orden) — Diagrama de Hasse del retículo de particiones del conjunto {1,2,3,4}. En matemática, un retículo es una determinada estructura algebraica con dos operaciones binarias, o bien un conjunto parcialmente ordenado con ciertas propiedades específicas… …   Wikipedia Español

  • Orden total — En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es antisimétrica, transitiva, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para… …   Wikipedia Español

  • Cortaduras de Dedekind — Saltar a navegación, búsqueda Las cortaduras de Dedekind son unos conjuntos de números racionales que representan la primera construcción formal del conjunto de los números reales. Con su aparición se cierra el problema histórico de la… …   Wikipedia Español

  • Wikipedia:Café (todos) — Atajos WP:CWP:C …   Wikipedia Español

  • Café (todos) — Wikipedia:Café (todos) Saltar a navegación, búsqueda Atajos WP:C …   Wikipedia Español

  • La Eliana — L Eliana La Eliana Escudo …   Wikipedia Español

  • Álgebra de Heyting — En matemáticas, las álgebras de Heyting (Su creador fue Arend Heyting) son conjuntos parcialmente ordenados especiales que constituyen una generalización de las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica… …   Wikipedia Español

Compartir el artículo y extractos

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