Definition:Separated by Neighborhoods/Sets

From ProofWiki
Jump to navigation Jump to search

Definition

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


Definition 1

Let $A, B \subseteq S$ such that:

$\exists N_A, N_B \subseteq S: \exists U, V \in \tau: A \subseteq U \subseteq N_A, B \subseteq V \subseteq N_B: N_A \cap N_B = \O$


That is, that $A$ and $B$ both have neighborhoods in $T$ which are disjoint.


Then $A$ and $B$ are described as separated by neighborhoods.


Definition 2

Let $A, B \subseteq S$ such that:

$\exists U, V \in \tau: A \subseteq U, B \subseteq V: U \cap V = \O$


That is, that $A$ and $B$ both have open neighborhoods in $T$ which are disjoint.


Then $A$ and $B$ are described as separated by (open) neighborhoods.


Also see