Displaying similar documents to “The Definition of Topological Manifolds”

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.

Topological Manifolds

Karol Pąk (2014)

Formalized Mathematics

Similarity:

Let us recall that a topological space M is a topological manifold if M is second-countable Hausdorff and locally Euclidean, i.e. each point has a neighborhood that is homeomorphic to an open ball of E n for some n. However, if we would like to consider a topological manifold with a boundary, we have to extend this definition. Therefore, we introduce here the concept of a locally Euclidean space that covers both cases (with and without a boundary), i.e. where each point has a neighborhood...