The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Planes and Spheres as Topological Manifolds. Stereographic Projection”

The Definition of Topological Manifolds

Marco Riccardi (2011)

Formalized Mathematics

Similarity:

This article introduces the definition of n-locally Euclidean topological spaces and topological manifolds [13].

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

Continuity of Barycentric Coordinates in Euclidean Topological Spaces

Karol Pąk (2011)

Formalized Mathematics

Similarity:

In this paper we present selected properties of barycentric coordinates in the Euclidean topological space. We prove the topological correspondence between a subset of an affine closed space of εn and the set of vectors created from barycentric coordinates of points of this subset.

A note on pseudobounded paratopological groups

Fucai Lin, Shou Lin, Iván Sánchez (2014)

Topological Algebra and its Applications

Similarity:

Let G be a paratopological group. Then G is said to be pseudobounded (resp. ω-pseudobounded) if for every neighbourhood V of the identity e in G, there exists a natural number n such that G = Vn (resp.we have G = ∪ n∈N Vn). We show that every feebly compact (2-pseudocompact) pseudobounded (ω-pseudobounded) premeager paratopological group is a topological group. Also,we prove that if G is a totally ω-pseudobounded paratopological group such that G is a Lusin space, then is G a topological...