Let $A \subset X$.
When do we have $A^\bot=\{0\}\implies\overline{A}=X \ \ \ \ ?$
I've read some answers in the forum that stated that for the converse $A$ had to be a subspace of $X$.
Let $A \subset X$.
When do we have $A^\bot=\{0\}\implies\overline{A}=X \ \ \ \ ?$
I've read some answers in the forum that stated that for the converse $A$ had to be a subspace of $X$.