Neighbourhood (topology): Difference between revisions
imported>Peter Schmitt (some additional material) |
mNo edit summary |
||
(18 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
{{TOC|right}} | |||
In [[topology]], a '''neighbourhood of a point''' is any set that belongs to the '''neighbourhood system''' at that point. | In [[topology]], a '''neighbourhood of a point''' is any set that belongs to the '''neighbourhood system''' at that point. | ||
The notion of neighbourhood systems is used to describe, | The notion of neighbourhood systems is used to describe, | ||
Line 22: | Line 23: | ||
Neighbourhoods are also used to classify topological spaces according their [[Separation axiom|separation properties]] | Neighbourhoods are also used to classify topological spaces according their [[Separation axiom|separation properties]] | ||
which express | which express how well the points can be distinguished by the topological structure. | ||
== Neighbourhood spaces == | == Neighbourhood spaces == | ||
Line 52: | Line 53: | ||
Axiom (2) implies that ''B(x)'' is a [[filter (mathematics)|filter base]]. | Axiom (2) implies that ''B(x)'' is a [[filter (mathematics)|filter base]]. | ||
<br> | |||
(A '''subbase''' for the neighbourhood filter is a filter subbase, | |||
i.e., a family of sets such that its finite intersections form a base for the filter.) | |||
<br> | <br> | ||
The family ''N(x)'' consisting of all sets containing a set of ''B(x)'' | The family ''N(x)'' consisting of all sets containing a set of ''B(x)'' | ||
Line 64: | Line 68: | ||
then the corresponding topological (or, equivalently, neighbourhood) space is said to be '''[[first-countable]]'''. | then the corresponding topological (or, equivalently, neighbourhood) space is said to be '''[[first-countable]]'''. | ||
=== | === Relation to topological spaces === | ||
Neighbourhood spaces are one of several equivalent means | |||
to define a [[topological space]]. | |||
The equivalence is obtained by the following definitions: | |||
: ''(Definition)'' <br> In a neighbourhood space, a set is '''open''' if it is a neighbourhood of all its points. | |||
: ''(Definition)'' <br> In a topological space, a set is a '''neighbourhood''' of a point if it contains an open set that contains the point. <br> (In other words, the open sets containing a point form a '''neighbourhood base''' at this point.) | |||
== Neighbourhood of a set == | |||
A set ''U'' is called '''neighbourhood of the set''' ''S'' | |||
if ''U'' is a neighbourhood for all points of ''S'' or, equivalently, | |||
if ''U'' contains an open set that contains ''S''. | |||
== Examples == | |||
=== Metric spaces === | |||
In a [[metric space]] the (open or closed) balls with centre ''x'' form a neighbourhood base at ''x'' | In a [[metric space]] the (open or closed) balls with centre ''x'' form a neighbourhood base at ''x'' | ||
Line 72: | Line 92: | ||
(that is, a [[countable]] set for each point ''x''), therefore metric spaces are first-countable. | (that is, a [[countable]] set for each point ''x''), therefore metric spaces are first-countable. | ||
The classical example (in calculus or real analysis) is <math> \mathbb R^d </math>: | The classical example (in calculus or real analysis) is <math> \mathbb R^d </math>, the ''d''-dimensional [[Euclidean space]]: | ||
: A neighbourhood base at <math> x \in \mathbb R^d </math> is given by | : A neighbourhood base at <math> x \in \mathbb R^d </math> is given by | ||
:: <math> \mathcal B(x) = \left\{ B(x,n) \mid n \in \mathbb N \right\} </math> | :: <math> \mathcal B(x) = \left\{ B(x,n) \mid n \in \mathbb N \right\} </math> | ||
: and induces the neighbourhood system | |||
:: <math> \mathcal N(x) = \left\{ U \mid ( \exists n\in\mathbb N ) B(x,n) \subset U \subset \mathbb R^d \right\} </math> | |||
: where | : where | ||
:: <math> B(x,n) = \left\{ y \left\vert \left| y-x \right| < {1\over n} \right. , y \in \mathbb R^d \right\} \subset \mathbb R^d</math> | :: <math> B(x,n) = \left\{ y \left\vert \left| y-x \right| < {1\over n} \right. , y \in \mathbb R^d \right\} \subset \mathbb R^d</math> | ||
: are the open balls with centre <math>x</math> and radius <math> 1/n </math>. | : are the open balls with centre <math>x</math> and radius <math> 1/n </math>. | ||
While the example assumes the (standard) Euclidean metric, this is not essential. | |||
Other common metrics (e.g., derived from the [[maximum norm]] or other norms) define neighbourhood bases | |||
which are different but equivalent to it and induce the same neighbourhood system. | |||
=== | === Pointwise convergence === | ||
For the space of continuous real functions the topology corresponding to pointwise convergence | |||
can be defined by neighbourhood systems, but not by a metric: | |||
: A neighbourhood base at <math> f \in C^0(\mathbb R) </math> — the set of continuous [[real function]]s — is given by | |||
:: <math> \mathcal B(f) = \left\{\left. \bigcap_{i=1}^k B(f,x_i,n) \right| x_i \in \mathbb R , k,n \in \mathbb N \right\} </math> | |||
: and induces the neighbourhood system | |||
:: <math> \mathcal N(f) = \left\{ U \left| ( \exists x_i\in\mathbb R )( \exists k,n\in\mathbb N ) \bigcap_{i=1}^k B(f,x_i,n) \subset U \subset C^0(\mathbb R) \right.\right\} </math> | |||
: where the sets | |||
:: <math> B(f,x,n) = \left\{ g \left\vert \left| g(x)-f(x) \right| < {1\over n} \right. , g \in C^0(\mathbb R) \right\} \subset C^0(\mathbb R) </math> | |||
: form a subbase for <math> \mathcal B(f) </math>.[[Category:Suggestion Bot Tag]] | |||
: | |||
: |
Latest revision as of 17:00, 24 September 2024
In topology, a neighbourhood of a point is any set that belongs to the neighbourhood system at that point. The notion of neighbourhood systems is used to describe, in an abstract setting, the concept of points near a given point, a concept that cannot be expressed by a single set. 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.
In a topological space, a set is a neighbourhood of a point if (and only if) it contains the point in its interior, i.e., if it contains an open set that contains the point. However, neighbourhood systems can also be characterized axiomatically and then be used to define the corresponding open sets.
Properties of a point that only depend on conditions restricted to a neighbourhood of the point are often called local properties.
Neighbourhoods are used to define convergence and continuous functions:
- Convergence (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. - Continuity (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.
Neighbourhoods are also used to classify topological spaces according their separation properties which express how well the points can be distinguished by the topological structure.
Neighbourhood spaces
A set X is called a neighbourhood space if for every x in X there is a nonempty family N(x) (the neighbourhood system at x) of sets, called neighbourhoods of x, which satisfies the following axioms:
- x is an element of every neighborhood of x.
- Any set that contains a neighbourhood of x is a neighbourhood of x.
- The intersection of any two (and therefore of any finite collection of) neighbourhoods of x is a neighbourhood of x.
- 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.
Axioms (2-3) imply that N(x) is a filter.
Accordingly, the neighbourhood system at a point
is also called the neighbourhood filter of the point.
Axiom (4) defines how neighbourhood systems at distinct points interact.
Neighbourhood base
To define a neighbourhood space it is often more convenient to describe,
for all x, only a base for the neighbourhood system.
A nonempty family B(x) of sets is a neighbourhood base at x if it satisfies the following axioms:
- x is an element of every set in B(x).
- The intersection of any two sets of B(x) contains a set of B(x).
- Any set of B(x) contains an open neighbourhood V of x,
i.e., a set V (not necessarily a member of B(x)) that contains some set of B(y) for all of its elements y in V.
Axiom (2) implies that B(x) is a filter base.
(A subbase for the neighbourhood filter is a filter subbase,
i.e., a family of sets such that its finite intersections form a base for the filter.)
The family N(x) consisting of all sets containing a set of B(x)
is the neighbourhood filter induced by B(x)
Two neighbourhood bases B1(x) and B2(x) are called equivalent
if they induce the same neighbourhood system N(x) at x.
(This is the case if and only if each set in B1(x) contains a set in B2(x),
and if, vice versa, each set in B2(x) contains a set in B1(x).)
If there exist countable neighbourhood bases at all x in X,
then the corresponding topological (or, equivalently, neighbourhood) space is said to be first-countable.
Relation to topological spaces
Neighbourhood spaces are one of several equivalent means to define a topological space. The equivalence is obtained by the following definitions:
- (Definition)
In a neighbourhood space, a set is open if it is a neighbourhood of all its points. - (Definition)
In a topological space, a set is a neighbourhood of a point if it contains an open set that contains the point.
(In other words, the open sets containing a point form a neighbourhood base at this point.)
Neighbourhood of a set
A set U is called neighbourhood of the set S if U is a neighbourhood for all points of S or, equivalently, if U contains an open set that contains S.
Examples
Metric spaces
In a metric space the (open or closed) balls with centre x form a neighbourhood base at x
and define the topology induced by the metric.
Moreover, it is sufficient to take the balls with radius 1/n for all natural numbers n
(that is, a countable set for each point x), therefore metric spaces are first-countable.
The classical example (in calculus or real analysis) is , the d-dimensional Euclidean space:
- A neighbourhood base at is given by
- and induces the neighbourhood system
- where
- are the open balls with centre and radius .
While the example assumes the (standard) Euclidean metric, this is not essential. Other common metrics (e.g., derived from the maximum norm or other norms) define neighbourhood bases which are different but equivalent to it and induce the same neighbourhood system.
Pointwise convergence
For the space of continuous real functions the topology corresponding to pointwise convergence can be defined by neighbourhood systems, but not by a metric:
- A neighbourhood base at — the set of continuous real functions — is given by
- and induces the neighbourhood system
- where the sets
- form a subbase for .