3.3 Neighbourhoods
Definition 3.3.1 (Neighbourhood).label Let $(X,\Tc)$ be a topological space and $A\suf X$. A neighborhood of $A$ is a set $V\in\cali{P}(X)$ such that there exists $U\in\Tc$ satisfying $A\suf U\suf V\suf X$.
Denote by $\cali{N}_{X,\Tc}(A)=\cali{N}_{X}(A)=\cali{N}(A)$ the collection of all Neighbourhoods of $A$, and $\cali{N}^{o}(A)$ the collection of open neighborhoods of $A$.
If $A=\curl{x}$ for some $x\in X$ then the above definition applies to $x$ directly.
Definition 3.3.2 (Fundamental System of Neighbourhoods).label Let $X$ be a topological space and $A\suf X$. A family $\fraks{B}\suf \cali{N}(A)$ is a fundamental system of neighborhoods/neighborhood base at $A$ if for each $U\in\cali{N}(A)$, there exists $V\in\fraks{B}$ such that $V\suf U$.
Lemma 3.3.3 ([Proposition 1.2.1, Bou95]).label Let $(X,\Tc)$ be a topological space, then $U\suf X$ is open if and only if $U\in\cali{N}_{\Tc}(x)$ for all $x\in U$.
Proof. Suppose $U\in\Tc$ then $U\in\cali{N}_{\Tc}(A)$ for any $A\suf U$. Conversely for each $x\in U$, there exissts $V_{x}\in\Tc$ such that $x\in V_{x}\suf U$. Thus $U=\cups{}{x\in U }V_{x}\in\Tc$.$\square$
Proposition 3.3.4 (Characteristics of Neighbourhoods, [Proposition 1.2.2, Bou95]).label Let $(X,\Tc)$ be a topological space, then for each $x\in X$
- (V1)
For each $V\in\cali{N}_{\Tc}(x)$, if $W\supf V$ then $W\in\cali{N}_{\Tc}(x)$
- (V2)
For each $A,B\in\cali{N}_{\Tc}(x)$, $A\cap B\in\cali{N}_{\Tc}(x)$
- (V3)
For each $A\in\cali{N}_{\Tc}(x),x\in A$
- (V4)
For each $V\in\cali{N}_{\Tc}(x)$, there exists $W\in\cali{N}_{\Tc}(x)$ such that $V\in\cali{N}_{\Tc}(y)$ for all $y\in W$
Conversely, if $\cali{N}:X\to\cali{P}(X)$ is a mapping such that
- (1)
$\cali{N}(x)\neq\emp$ for all $x\in X$
- (2)
$\cali{N}(x)$ satisfies (V1-4)
then there uniquely exists a topology $\Tc\suf\cali{P}(X)$ such that $\cali{N}=\cali{N}_{\Tc}$.
Proof.
- (V1)
$\suf$ is transitive
- (V2)
$\Tc$ is closed under finite intersection
- (V3)
$\suf$ is transitive
- (V4)
Follows from Lemma 3.3.3
Conversely let $\Tc\define \curl{U\suf X:\fall x\in U, U\in\cali{N}(x)}$. Firstly $\emp\in\Tc$ vacuously. For any $x\in X$, there exists $V\in\cali{N}(x)$ and $V\suf X$ so $X\in\Tc$ by (V1). Let $U,V\in\Tc$ such that $U\cap V\neq \emp$ then for any $x\in U\cap V$ we have $U,V\in \cali{N}(x)$ so $U\cap V\in \cali{N}(x)$ by (V2) hence $U\cap V\in\Tc$. Let $\curl{U_i}_{i\in I}\suf \Tc$ then for any $x\in \cups{}{i\in I }U_{i}$, $x\in U_{i}$ for some $i$ so $U\in\cali{N}(x)$ by (V1) showing that $\Tc$ is a topology on $X$. Fix $x\in X$. Let $V\in\cali{N}_{\Tc}(x)$, then there exists $U\in\Tc$ such that $x\in U\suf V$ in particular $U\in\cali{N}(x)$ so $V\in\cali{N}(x)$ by (V1). OTOH suppose $V\in\cali{N}(x)$ then by (V4), there exists $U_{0}\in\cali{N}(x)$ such that $V\in\cali{N}(y)$ for all $y\in U_{0}$. Define
then $U\supf U_{0}$ and $U\in\cali{N}(x)$ by (V1). For each $y\in U$, by (V4) there exists $W\in\cali{N}(y)$ suhc that $V\in\cali{N}(z)$ for all $z\in W$. Thus $W\suf U$ and $U\in\cali{N}(y)$ by (V1). Lastly if $\cali{R}$ is a topology such that $\cali{N}_{\cali{R}}=\cali{N}$ then by Lemma 3.3.3
$\square$
Post a Comment