Neighbourhood
of a point $x$ (of a subset $A$) of a topological space
Any open subset of this space containing the point $x$ (the set $A$). Sometimes a neighbourhood of the point $x$ (the set $A$) is defined as any subset of this topological space containing the point $x$ (the set $A$) in its interior (cf. also Interior of a set): in this case the first definition is that of an open neighorhood. A set $N$ is a neighbourhood of the set $A$ if and only if it is a neighbourhood of each point $x \in A$.
In the first definition, the open neighbourhoods are precisely the open sets of the topology.
In the second definition, the system of neighbourhoods $\mathfrak{N}(x)$ of a point $x$ satisfy the following four properties:
- $x \in N$ for every $N \in \mathfrak{N}(x)$;
- If $M \supset N$ for $N \in \mathfrak{N}(x)$, then $M \in \mathfrak{N}(x)$;
- If $N_1, N_2 \in \mathfrak{N}(x)$ then $N_1 \cap N_2 \in \mathfrak{N}(x)$;
- For each $N \in \mathfrak{N}(x)$ there exists $M \in \mathfrak{N}(x)$ such that $N \in \mathfrak{N}(y)$ for each $y \in M$.
In the opposite direction, properties (1)--(4) may be taken as the definition of a topology; a set $N$ is open if it is in $\mathfrak{N}(x)$ for each of its elements $x$: these are the Hausdorff neighbourhood axioms.
References
- Franz, Wolfgang. General topology (Harrap, 1967).
Neighbourhood. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Neighbourhood&oldid=31027