As we all know, Baire Category theorem has two equivalent forms
- $X$ is a complete metric space, then the countable intersection of dense open sets is nonempty.
- $X$ is a complete metric space, $X$ is a second category set.
Two forms are equivalent if $X$ is complete. If $X$ is a general metric space, are they still equivalent?