Density by annihilators
ID: density-by-annihilators
A linear subspace is dense exactly when the only continuous functional vanishing on it is zero, by Hahn-Banach separation.
New to topics? Read the docs here!
New to topics? Read the docs here!