# Basic Properties of Neighborhood in Topological Space

## Contents

- 1 Theorem
- 1.1 $N1$: Point in Topological Space has Neighborhood
- 1.2 $N2$: Point in Topological Space is Element of its Neighborhood
- 1.3 $N3$: Superset of Neighborhood in Topological Space is Neighborhood
- 1.4 $N4$: Intersection of Neighborhoods in Topological Space is Neighborhood
- 1.5 $N5$: Neighborhood in Topological Space has Subset Neighborhood

- 2 Sources

## Theorem

This page gathers together the basic properties of a neighborhood of a point in a topological space.

### $N1$: Point in Topological Space has Neighborhood

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $x \in S$.

Then there exists in $T$ at least one neighborhood of $x$.

### $N2$: Point in Topological Space is Element of its Neighborhood

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $x \in S$.

Let $N$ be a neighborhood of $x$ in $T$.

Then $a \in N$.

### $N3$: Superset of Neighborhood in Topological Space is Neighborhood

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $x \in S$.

Let $N$ be a neighborhood of $x$ in $T$.

Let $N \subseteq N' \subseteq S$.

Then $N'$ is a neighborhood of $x$ in $T$.

### $N4$: Intersection of Neighborhoods in Topological Space is Neighborhood

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $x \in S$.

Let $M, N$ be a neighborhoods of $x$ in $T$.

Then $M \cap N$ is a neighborhood of $x$ in $T$.

### $N5$: Neighborhood in Topological Space has Subset Neighborhood

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $x \in S$.

Let $N$ be a neighborhood of $x$ in $T$.

Then there exists a neighborhood $N'$ of $x$ such that:

- $(1): \quad N' \subseteq N$
- $(2): \quad N'$ is a neighborhood of each of its points.

## Sources

- 1962: Bert Mendelson:
*Introduction to Topology*... (previous) ... (next): $\S 3.3$: Neighborhoods and Neighborhood Spaces: Theorem $3.1$