A direct proof of Tychonoff's theorem
Authors: Oliver Tatton-Brown
Abstract: Proofs of Tychonoff's theorem often seem to require a bit of magic. Machinery such as ultrafilters, nets or maximal families with the finite intersection property are employed to give proofs that can be very neat, but not the kind of thing that one would naturally think of when presented with the problem (given a background in standard open set topology). Here we present a direct and pretty simple proof of Tychonoff's theorem, straight from the open cover definition of compactness.
Explore the paper tree
Click on the tree nodes to be redirected to a given paper and access their summaries and virtual assistant
Look for similar papers (in beta version)
By clicking on the button above, our algorithm will scan all papers in our database to find the closest based on the contents of the full papers and not just on metadata. Please note that it only works for papers that we have generated summaries for and you can rerun it from time to time to get a more accurate result while our database grows.