Displaying similar documents to “On measures of noncompactness in general topological vector spaces”

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.