Separable Banach space
= Separable Banach space
A <Banach space> is separable when it has a countable <dense subset> for its <norm topology>. It then has a countable base of norm balls and a <countable norming family>. Its <continuous dual space> need not be norm separable.