7. Consequences of the Hahn-Banach theorems - Aarhus Universitet
7. Consequences of the Hahn-Banach theorems - Aarhus Universitet
7. Consequences of the Hahn-Banach theorems - Aarhus Universitet
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Weak vector space topologies<br />
Lemma<br />
The M-topology is Hausdorff if and only if M separates <strong>the</strong> points<br />
<strong>of</strong> X.<br />
Pro<strong>of</strong>.<br />
Let x0,y0 ∈ X, x0 = y0. If <strong>the</strong> M-topology is Hausdorff <strong>the</strong>re are<br />
open set U,V such that x0 ∈ U,y0 ∈ V and U ∩ V = ∅.<br />
We may assume that U and V are intersections <strong>of</strong> finite collections<br />
<strong>of</strong> sets <strong>of</strong> <strong>the</strong> form (3).<br />
It follows that <strong>the</strong>re is a set <strong>of</strong> <strong>the</strong> form (3) which contains x0 but<br />
not y0.<br />
I.e.<br />
x0 ∈ {y ∈ X : |l(y) − l(x)| < ǫ}<br />
while |l(y0) − l(x)| ≥ ǫ for some x ∈ X,l ∈ M and some ǫ > 0.<br />
Then l(x0) = l(y0), and we conclude that M separates <strong>the</strong> points<br />
<strong>of</strong> X.<br />
Klaus Thomsen <strong>7.</strong> <strong>Consequences</strong> <strong>of</strong> <strong>the</strong> <strong>Hahn</strong>-<strong>Banach</strong> <strong>the</strong>orems