pages/general-topology/compactness/tychonoff-product-theorem.md


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
# cspell:words
---

# {{ page.title }}

{: .theorem-title }
> {{ page.title }}
> {: #{{ page.title | slugify }} }
>
> The product of (an arbitrary family of) compact spaces is compact.

{% proof %}
TODO
{% endproof %}