A network or a Moore-Smith sequence is a generalization of a sequence in topology (a branch of mathematics ) . The term goes back to Eliakim H. Moore and Herman L. Smith , who introduced it in 1922. With so-called Cauchy nets, the concept of completeness of metric spaces can be generalized to uniform spaces . In addition, they can be used in integral calculus to describe the Riemann integrability .
It should be explained briefly beforehand why a generalization of consequences is necessary. In a metric space , the topology can be completely by sequence convergence characterize: A subset is exactly then finished if for every sequence in with the following applies: . Properties such as continuity of functions and compactness can also be defined using sequences (e.g. coverage compactness and sequence compactness are equivalent in metric spaces ).
In topological spaces, however, a subset is no longer necessarily closed if each sequence has a limit value in (e.g. in is not closed with the order topology , although the limit value in is also in for every convergent sequence in ).
Here networks represent a more meaningful generalization: A subset of a topological space is closed if and only if every network in that converges in has a limit value in . As in metric spaces, continuity can also be defined by replacing “sequence” with “network” (see below; note that there is no equivalent definition in terms of sequences for continuity in topological spaces).
Also, a set is compact if and only if every network has a convergent subnet.
For a directed set and a set , a network is a picture . Usually you write analogously to episodes . Since the natural numbers form a directed set with the usual arrangement, sequences are special networks.
and let directed sets, a network in, and a map which satisfies the following condition:
(Such a mapping is called confinal ). Then the network is called a subnet of the network .
If a topological space is defined as for sequences: A network is said to be convergent to if:
where denotes the environment filter of . One then writes or or The formal definition can be paraphrased as follows: For every neighborhood of there is an initial index in the directed set , so that members of the network with index after are contained in the presented environment.
generated filters. The network converges to a point if and only if the associated section filter converges to, i.e. H. contains the environment filter of.
A point is called an accumulation point of a network if and only if:
d. H. every area around is reached at any position in the filter. Again, a characterization via the section filter is possible: is the accumulation point of a network if and only if it is the point of contact of the section filter, i. H. if the intersection of every environment with every element of the filter is not empty.
A further characterization is possible via subnetworks: is the accumulation point of a network if and only if there is a subnetwork that converges to.
If a uniform space is defined: A net on is called Cauchy net if there is an index for every neighborhood , so that all pairs of members of the net with later indices are of the order adjacent, i.e. that is , that applies. In formulas:
Two Cauchy nets and are considered equivalent , in characters if
The completion of is
with than the set of all Cauchy nets. All Cauchy nets converge in a complete space and equivalent Cauchy nets have the same limit.
A uniform space is complete if and only if every Cauchy network is convergent on .
An example of a complete uniform space is the pro-finite numbers a completion of the uniform space of the whole numbers
- Definition of the closed envelope
If a subset of the topological space is then a point of contact of (ie contained in the closed envelope of ) if and only if there is a network with terms that converges to.
- Local definition of continuity
- Be and topological spaces. A mapping is continuous at the point if and only if the following applies to every network in : From follows .
- Riemann integral
The amount of the decompositions of the real interval , is determined by the inclusion to a targeted amount: : contains all the points of . For a real-valued bounded function on be by the upper sum
and the sub-total
two networks defined. The function is exactly then Riemann-integrable on when both networks against the same real number converge. In the case it is .
Instead of the upper and lower sums, Riemann sums can also be used to characterize the Riemann integrability. A more complicated directed set is needed for this. An element of this set always consists of a decomposition as above and an intermediate vector of intermediate points belonging to the decomposition . The order on is now defined in such a way that an element is really smaller than if it is a real subset of .
A function can be Riemann-integrated if and only if the network
converges. The limit value is then the Riemann integral.
This approach is more complicated than that with upper and lower sums, but it also works with vector-valued functions.
- Boto von Querenburg : Set theoretical topology (= Springer textbook ). 3rd, revised and expanded edition. Springer, Berlin et al. 2001, ISBN 3-540-67790-9
- Lydia Außenhofer: Set theoretical topology. ( Memento from September 26, 2007 in the Internet Archive )