Skip to main content
Hugo Rafael Oliveira Ribeiro's user avatar
Hugo Rafael Oliveira Ribeiro's user avatar
Hugo Rafael Oliveira Ribeiro's user avatar
Hugo Rafael Oliveira Ribeiro
  • Member for 11 years, 2 months
  • Last seen more than 7 years ago
  • Sao Carlos, Brazil
awarded
awarded
awarded
awarded
awarded
awarded
awarded
awarded
awarded
comment
Locally compact space that is not topologically complete
I think that I was a little confused about the assumption that $X$ is $\sigma$-compact. Expressing $X$ as a disjoint union $X = \bigcup_{\alpha \in A} X_{\alpha}$, where $X_{\alpha}$ is clopen and separable, the new metric $d'$ defined by $d'(x,y) = d(x,y)$ if $x,y$ are in the same component and $d'(x,y) = 1$ if $x,y$ are in the differents components is equivalent to $d$ and $(X,d')$ is complete.
comment
Locally compact space that is not topologically complete
So, we can conclude that a locally compact metric space is separable... very cool. Thanks
awarded
revised
Loading…
Loading…
accepted
Loading…
Loading…
comment
Elementary submodels in partitions theorems
Very good. I hope understand this concepts soon.