Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

--- solucao:baselespm [2021/04/27 08:56] – criada paulo
+++ solucao:baselespm [2021/04/28 13:39] (atual) – paulo
@@ Linha 1: / Linha 1: @@
-====== Proposição ======
+===Todo espaço métrico possui base local enumerável===
+\\
-Sejam $(X,\tau)$ um espaço topológico e $x \in X$. Então, são equivalentes:
-  - $x$ admite um sistema fundamental de vizinhanças enumerável;
-  - $x$ admite uma base local enumerável.
+Sejam $(X,d)$ um espaço métrico, $x \in X$ e $A$ um aberto tal que $x \in A$. Sendo assim, existe $r>0$ tal que $B_r(x) \subset A$. Tomando $\frac{1}{n}<r$, então $x \in B_{\frac{1}{n}}(x) \subset B_r(x)$ e portanto $\lbrace B_{\frac{1}{n}}(x):n \in \mathbb{N}_{>0} \rbrace$ é uma base local para $x$.