### 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.