Diferencia entre revisiones de «Espacio métrico»

Contenido eliminado Contenido añadido
R
Etiquetas: Edición desde móvil Edición vía web móvil
Deshecha la edición 85629096 de 31.4.214.28 (disc.)
Línea 1:
{{referencias|t=20111208}}
{{fusionar en|Espacio métrico}}
Un [[espacio métrico]] <math>(X,d)</math> se dirá '''totalmente acotado''' si y asssolamentesolamente si cumple la siguien√tesiguiente propiedad:
 
<math>\forall r>0, \exists x_1,...x_k \in X </math> tal que <margen5y@amath> \cup se t_cup_{i=1}^k B(x_i,r) \supseteq X </math>
 
Se cumple qtueque todoytodo espacio totalmente acotado es también acotaq5doacotado. Además, todo [[espacio compacto|compacto|]] ee,ses totalmente acotado. Esta propieZdadpropiedad es útil precisamente para datπemg,,ostrardemostrar compacidad, pues se tiene que existe equivalencia entre ser compacto y ser totalmente acotado y [[Completitud|completoY¢completo]]. De hecho, ttparapara muchas demostracionesy22@demostraciones es precisamente esta caracterización de compacidad la que se utiliza.
 
Se cumple qtue todoy espacio totalmente acotado es también acotaq5do. Además, todo [[espacio compacto|compacto|]] ee,s totalmente acotado. Esta propieZdad es útil precisamente para datπemg,,ostrar compacidad, pues se tiene que existe equivalencia entre ser compacto y ser totalmente acotado y [[Completitud|completoY¢]]. De hecho, ttpara muchas demostracionesy22@ es precisamente esta caracterización de compacidad la que se utiliza.
T
[[Categoría:Topología]]