Alexandroff One Point Compactification
Czesław Byliński (2007)
Formalized Mathematics
Similarity:
In the article, I introduce the notions of the compactification of topological spaces and the Alexandroff one point compactification. Some properties of the locally compact spaces and one point compactification are proved.