Euclidean point

From Topospaces

This article defines a property that one can talk about for a pair of a topological space and a point in it

Definition

A point in a topological space is termed a -Euclidean point if it satisfies the following equivalent conditions:

  • It has a neighbourhood (open set containing it) that is homeomorphic to
  • It has a neighbourhood (open set containing it) that is homeomorphic to an open set in
  • Every neighbourhood of it contains a smaller neighbourhood homeomorphic to an open set in
  • Every neighbourhood of it contains a smaller neighbourhood homeomorphic to

A point is Euclidean if it is -Euclidean for some . A point cannot be -Euclidean and -Euclidean for .

Relation with other properties

Stronger properties

Facts

  • In a locally Euclidean space, and more specifically in a manifold, every point is Euclidean (in fact, since locally Euclidean spaces are T1, every point is closed Euclidean).