Displaying similar documents to “On Rothe's fixed point theorem in a general topological vector space.”

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.