Separable Banach space
ID: 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.
New to topics? Read the docs here!