blob: ddf38005eb00af40b80d90dede59e328da377aa2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
---
title: Tychonoff Product Theorem
parent: Compactness
grand_parent: General Topology
nav_order: 2
---
# {{ page.title }}
{% theorem * Tychonoff Product Theorem %}
The product of (an arbitrary family of) compact spaces is compact.
{% endtheorem %}
{% proof %}
TODO
{% endproof %}
Important Application:
[Banach–Alaoglu Theorem](/pages/functional-analysis-basics/banach-alaoglu-theorem.html).
|