Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
If $X$ is a separable Banach space, then do we know that its unit ball has a countably dense subset contained in the unit ball?
This isn't obvious to me.
A metric space is separable if and only if it is second countable. Second countability passes to subspaces.
Required, but never shown