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

# {{ 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](/pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.html)
for more information.