summaryrefslogtreecommitdiffstats
path: root/pages/functional-analysis-basics/banach-alaoglu-theorem.md
blob: 91906cdc00e45923a2bb0ad8fa14b947f1b28baf (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
---
title: Banach–Alaoglu Theorem
parent: Functional Analysis Basics
nav_order: 3
---

# {{ page.title }}

{% theorem * Banach–Alaoglu Theorem %}
The closed unit ball in the dual of a normed space is weak\* compact.
{% endtheorem %}

{% proof %}
{% endproof %}

The {{ page.title }} is a special case of the following result:

{% theorem * Alaoglu–Bourbaki Theorem %}
The polar of a neighborhood of zero in a locally convex space is weak\* compact.
{% endtheorem %}

See [Alaoglu–Bourbaki Theorem]({% link pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md %}) for more information.