Category:Topological Distinguishability

From ProofWiki
Jump to navigation Jump to search

This category contains results about Topological Distinguishability.
Definitions specific to this category can be found in Definitions/Topological Distinguishability.

Let $T = \struct {S, \tau}$ be a topological space.

Let $x, y \in S$.


Then $x$ and $y$ are topologically distinguishable if and only if they do not have exactly the same neighborhoods.

That is, either:

$\exists U \in \tau: x \in U \subseteq N_x \subseteq S: y \notin N_x$

or:

$\exists V \in \tau: y \in V \subseteq N_y \subseteq S: x \notin N_y$

or both.

Pages in category "Topological Distinguishability"

This category contains only the following page.