Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Classification of topological points

+8
−0

I've recently dreamed up the following idea to classify topological points, and I'm wondering if this is or relates to a known concept. Here “topological point” refers to a point together with its neighbourhood structure (the definitions below should make clear what I mean).

Given a topological space $(X,\mathcal T)$, one can define a preorder $\precsim$ on its points as follows:

Given two points $p,q\in X$, we have $p\precsim q$ if there exists a neighbourhood $N$ of $p$ and a subset $S$ containing $q$ such that there exists a homeomorphism from $N$ to $S$ with their respective subspace topologies which maps $p$ to $q$.

Using this preorder, one can then define the obvious equivalence relation $p\sim q\iff p\precsim q\land q\precsim p$, resulting in a partial order on the equivalence classes.

Now looking at the definition of the preorder above, one notices that there is no inherent reason to restrict it to points of the same space; it works just as well if $p$ and $q$ come from different spaces (except that you run into issues of proper classes, but those can be handled in the usual ways). That is, it actually gives a classification of arbitrary topological points.

Some interesting facts (here the “type” of a point refers to the set representing its equivalence class):

  • If $p\in\mathbb R^m$ and $q\in\mathbb R^n$, then $p\precsim q$ iff $m\le n$. Obviously the same holds more generally for topological manifolds of dimension $m$ and $n$.

  • In a manifold with boundary, interior points and boundary points each form an equivalence class. The boundary points are of lesser type than the interior points, but still of greater type than the points of a manifold of lesser dimension (indeed, this is the case I originally considered when coming up with this classification).

  • The isolated point is the absolute minimal type of topological point. There does not exist a maximal type (indeed, the types themselves form a proper class).

My knowledge of topology beyond the basics comes mostly from the internet, so it is quite possible that I just rediscovered a well-known concept, or some variant of a well-known concept. If so, what is it called, and if it differs from my idea, how does it differ?

History
Why does this post require moderator attention?
You might want to add some details to your flag.
Why should this post be closed?

1 comment thread

General comments (2 comments)

1 answer

+1
−0

This may not completely answer your question, but it sounds like what you're talking about is related to the concept of topological embedding. A function $f: X\to Y$ that is a homeomorphism from $X$ to $f(X)$ is called an embedding. For a given $X$ and $Y$, the existence of an embedding of $X$ in $Y$ is a topological invariant. This is a relationship between sets though. Your relationship could be stated in terms of embedding as follows:

Given two points $p\in X$ and $q\in Y$, we have $p\precsim q$ if there is an embedding $f$ from a neighborhood of $p$, into $Y$, with $f(p)=q$.

History
Why does this post require moderator attention?
You might want to add some details to your flag.

1 comment thread

General comments (1 comment)

Sign up to answer this question »