diff options
Diffstat (limited to 'pages/general-topology/compactness/tychonoff-product-theorem.md')
| -rw-r--r-- | pages/general-topology/compactness/tychonoff-product-theorem.md | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pages/general-topology/compactness/tychonoff-product-theorem.md b/pages/general-topology/compactness/tychonoff-product-theorem.md index 2ae78e4..ddf3800 100644 --- a/pages/general-topology/compactness/tychonoff-product-theorem.md +++ b/pages/general-topology/compactness/tychonoff-product-theorem.md @@ -3,17 +3,17 @@ 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. +{% 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). |