Neighbourhood (topology)

In topology, the notion of a neighbourhood is used to describe, in an abstract setting, the concept of points near a given point. It is modelled after the situation in real analysis where the points in small balls are considered as near to the centre of the ball.

Neighbourhoods are used to define convergence and continuous functions: (Definition) A sequence converges to a point if and only if every neighbourhood of that point contains almost all (i.e., all but finitely many) elements of the sequence. (Definition) A function f is continuous at a point x if and only if for every neighbourhood U of f(x) there is a neighbourhood V of x for which the image f(V) under f is a subset of U.

Neighbourhood spaces

A set X is called a neighbourhood space if for every x in X there is a nonempty family N(x) of sets, called neighbourhoods of x, which satisfies the following axioms:

1. x is an element of every neighborhood of x.
2. The intersection of any two (and therefore of any finite collection of) neighbourhoods of x is a neighbourhood of x.
3. Any neighbourhood of x contains an open neighbourhood of x,
   i.e., a neighbourhood of x that belongs to N(y) for all of its elements y.

In topology, a neighbourhood of a point x in a topological space X is a set N such that x is in the interior of N; that is, there is an open set U such that $x\in U\subseteq N$. A neighbourhood of a set A in X is a set N such that A is contained in the interior of N; that is, there is an open set U such that $A\subseteq U\subseteq N$.

The family of neighourhoods of a point x, denoted ${\mathcal {N}}_{x}$ satisfies the properties

1. $X\in {\mathcal {N}}_{x};\,$
2. $\emptyset \not \in {\mathcal {N}}_{x};\,$
3. $U,V\in {\mathcal {N}}_{x}\Rightarrow U\cap V\in {\mathcal {N}}_{x};\,$
4. $U\in {\mathcal {N}}_{x}{\mbox{ and }}U\subseteq N\Rightarrow N\in {\mathcal {N}}_{x}.\,$

The properties are equivalent to stating that the neighbourhood system ${\mathcal {N}}_{x}$ is a filter, the neighbourhood filter of x.

A topology may be defined in terms of its neighbourhood systems: a set is open if and only if it is a neighbourhood of each of its points.

See also

• Topological space#Some topological notions