From 28407333ffceca9b99fae721c30e8ae146a863da Mon Sep 17 00:00:00 2001 From: Justin Gassner Date: Wed, 14 Feb 2024 07:24:38 +0100 Subject: Update --- .../compactness/tychonoff-product-theorem.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'pages/general-topology/compactness/tychonoff-product-theorem.md') 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). -- cgit v1.2.3-54-g00ecf