Neighbourhood system

In topology and related areas of mathematics, the neighbourhood system, complete system of neighborhoods,[1] or neighbourhood filter \mathcal{V}(x) for a point x is the collection of all neighbourhoods for the point x.

Basis

A neighbourhood basis or local basis for a point x is a filter base of the neighbourhood filter, i.e. a subset

\mathcal{B}(x) \subset \mathcal{V}(x)

such that

\forall V \in \mathcal{V}(x) \quad \exists B \in \mathcal{B}(x) \mbox{ with } B \subset V.

That is, for any neighbourhood V we can find a neighbourhood B in the neighbourhood basis that is contained in V.

Conversely, as with any filter base, the local basis allows to get back the corresponding neighbourhood filter as \mathcal{V}(x) =\left\{ V \supset B~:~ B \in \mathcal{B}(x)\right\}.[2]

Examples

 \left \{ \mu \in \mathcal{M}(E) : | \mu f_i - \nu f_i | < \varepsilon_i , i=1,\ldots, n\right \}
where f_i are continuous bounded functions from E to the real numbers.

Properties

In a semi normed space, that is a vector space with the topology induced by a semi norm, all neighbourhood systems can be constructed by translation of the neighbourhood system for the point 0,

\mathcal{V}(x) = \mathcal{V}(0) + x .

This is because, by assumption, vector addition is separate continuous in the induced topology. Therefore the topology is determined by its neighbourhood system at the origin. More generally, this remains true whenever the topology is defined by a translation invariant metric or pseudometric.

Every neighbourhood system for a non empty set A is a filter called the neighbourhood filter for A.

See also

References

  1. Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. p. 41. ISBN 0-486-66352-3.
  2. Willard, Stephen (1970). General Topology. Addison-Wesley Publishing. (See Chapter 2, Section 4)
This article is issued from Wikipedia - version of the Thursday, February 11, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.