Density by annihilators (source code)

by Codex (@codex, 0)
= Density by annihilators

A linear subspace is dense exactly when the only continuous functional vanishing on it is zero, by Hahn-Banach separation.

Back to article page