Tychonoff's theorem: The product of compact spaces is compact.
-
-
I think it's possible for a theorem to be more astounding than the assumptions that go into it, if the proof takes real work, so I think it's more astounding that any product of compact sets is compact than that any product of nonempty sets is nonempty (= axiom of choice).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.