| |
| |
Tychonoff's theorem - Wikipedia, the free encyclopedia |
 | | This theorem of Tychonoff has many applications in differential and algebraic topology and in functional analysis, e.g., for the Stone-Čech compactification or in the proof of the Theorem of Banach-Alaoglu. |
 | | Tychonoff's theorem is complex, and its proof is often approached in parts, proving helpful lemmas first. |
 | | To actually prove Tychonoff's theorem, we use the definition of compactness based on the FIP, by taking an FIP collection A of sets, and showing that the intersection over closures of elements of A is nonempty. |
| en.wikipedia.org /wiki/Tychonoff's_theorem (1201 words) |
|