diff options
author | Justin Gassner <justin.gassner@mailbox.org> | 2024-02-14 07:24:38 +0100 |
---|---|---|
committer | Justin Gassner <justin.gassner@mailbox.org> | 2024-02-14 07:24:38 +0100 |
commit | 28407333ffceca9b99fae721c30e8ae146a863da (patch) | |
tree | 67fa2b79d5c48b50d4e394858af79c88c1447e51 /pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md | |
parent | 777f9d3fd8caf56e6bc6999a4b05379307d0733f (diff) | |
download | site-28407333ffceca9b99fae721c30e8ae146a863da.tar.zst |
Update
Diffstat (limited to 'pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md')
-rw-r--r-- | pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md b/pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md new file mode 100644 index 0000000..be424c3 --- /dev/null +++ b/pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md @@ -0,0 +1,28 @@ +--- +title: Alaoglu–Bourbaki Theorem +parent: Locally Convex Spaces +grand_parent: More Functional Analysis +nav_order: 1 +--- + +# {{ page.title }} + +Let $X$ be locally convex space and +let $U \subset X$ be a neighborhood of zero. +Let $X'$ denote the continuous dual of $X$. +Recall that there is a canonical pairing + +$$ +X \times X' \to \CC, \quad (x,f) \mapsto \angles{x,f} = f(x). +$$ + +The weak topology on $X'$ with respect to this pairing +is called weak\* topology. +It is the weakest topology on $X'$ such that +all evaluation maps $\angles{x,\cdot} : X \to \CC$ are continuous. +The polar of $U$ is the subset $U^{\circ} \subset X'$. +The theorem asserts that $U^{\circ}$ is compact in the weak\* topology. + +{% theorem * Alaoglu–Bourbaki Theorem %} +The polar of a neighborhood of zero in a locally convex space is weak\* compact. +{% endtheorem %} |