Displaying similar documents to “A unitarization process for some-locally compact topological groups.”

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.