Weak-star open dual ball category obstruction

ID: weak-star-open-dual-ball-category-obstruction

For an infinite-dimensional normed space, the weak-star open unit ball of its dual is not a Baire space. The smaller closed norm balls are weak-star closed and have empty relative interior: a nonzero functional annihilating any finitely many tested vectors can move the norm beyond the smaller radius while remaining below one. Their countable union is the open norm ball. Thus this topology is not topologically complete, regardless of separability.

New to topics? Read the docs here!