Dejar
Te agradecería si me señalas los errores que cometí.
Intentar:
Cerrado: dejar ser una secuencia en , tal que Para el métrico, donde . quiero demostrar que , es decir, que . Dejar . Desde , existe un tal que
Acotado: Let . Dejar . Entonces Por eso está ligado.
No compacto: quiero encontrar una secuencia en que no tiene subsecuencia convergente, o una cubierta abierta de que no tiene una subcubierta finita. Pero me falta inspiración aquí en este momento. Cualquier ayuda es apreciada.
Tenga en cuenta que es el norma de , entonces es la esfera unitaria (el límite de la bola unitaria). En general, la esfera unitaria y la bola unitaria de un espacio vectorial normado son compactas si y solo si el espacio es de dimensión finita. Desde es de dimensión infinita, no es compacto.
Para ver esto, recuerda que la compacidad secuencial es equivalente a la compacidad en espacios métricos. Entonces si y solo si toda sucesión tiene una subsucesión convergente. Dejar ser la base canónica de . Entonces para todos , entonces , pero claramente no tiene una subsecuencia convergente.
Sugerencia para la no compacidad: Sea ser la secuencia de solo ceros excepto en el número de componente , donde hay un .
De lo contrario, se ve bien.