Net (mathematics)


Net (mathematics)
This article is about nets in topological spaces and not about ε-nets in other fields.

In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence. In essence, a sequence is a function with domain the natural numbers, and in the context of topology, the range of this function is usually any topological space. However, in the context of topology, sequences do not fully encode all information about a function between topological spaces. In particular, the following two conditions are not equivalent in general for a map ƒ between topological spaces X and Y:

  1. The map ƒ is continuous
  2. Given any point x in X, and any sequence in X converging to x, the composition of ƒ with this sequence converges to ƒ(x)

It is true however, that condition 1 implies condition 2, in the context of all spaces. The difficulty encountered when attempting to prove that condition 2 implies condition 1 lies in the fact that topological spaces are, in general, not first-countable. If the first-countability axiom were imposed on the topological spaces in question, the two above conditions would be equivalent. In particular, the two conditions are equivalent for metric spaces.

The purpose of the concept of a net, first introduced by E. H. Moore and H. L. Smith in 1922,[1] is to generalize the notion of a sequence so as to confirm the equivalence of the conditions (with "sequence" being replaced by "net" in condition 2). In particular, rather than being defined on a countable linearly ordered set, a net is defined on an arbitrary directed set. In particular, this allows theorems similar to that asserting the equivalence of condition 1 and condition 2, to hold in the context of topological spaces which do not necessarily have a countable or linearly ordered neighbourhood basis around a point. Therefore, while sequences do not encode sufficient information about functions between topological spaces, nets do because of the fact that collections of open sets in topological spaces are much like directed sets in behaviour. The term "net" was coined by Kelley.[2][3]

Nets are one of the many tools used in topology to generalize certain concepts that may only be general enough in the context of metric spaces. A related notion, that of the filter, was developed in 1937 by Henri Cartan.

Contents

Definition

If X is a topological space, a net in X is a function from some directed set A to X.

If A is a directed set, we often write a net from A to X in the form (xα), which expresses the fact that the element α in A is mapped to the element xα in X.

Examples of nets

Every non-empty totally ordered set is directed. Therefore every function on such a set is a net. In particular, the natural numbers with the usual order form such a set, and a sequence is a function on the natural numbers, so every sequence is a net.

Another important example is as follows. Given a point x in a topological space, let Nx denote the set of all neighbourhoods containing x. Then Nx is a directed set, where the direction is given by reverse inclusion, so that ST if and only if S is contained in T. For S in Nx, let xS be a point in S. Then (xS) is a net. As S increases with respect to ≥, the points xS in the net are constrained to lie in decreasing neighbourhoods of x, so intuitively speaking, we are led to the idea that xS must tend towards x in some sense. We can make this limiting concept precise.

Limits of nets

If (xα) is a net from a directed set A into X, and if Y is a subset of X, then we say that (xα) is eventually in Y (or residually in Y) if there exists an α in A so that for every β in A with β ≥ α, the point xβ lies in Y.

If (xα) is a net in the topological space X, and x is an element of X, we say that the net converges towards x or has limit x and write

lim xα = x

if and only if

for every neighborhood U of x, (xα) is eventually in U.

Intuitively, this means that the values xα come and stay as close as we want to x for large enough α.

Note that the example net given above on the neighborhood system of a point x does indeed converge to x according to this definition.

Given a base for the topology, in order to prove convergence of a net it is necessary and sufficient to prove that there exists some point x, such that (xα) is eventually in all members of the base containing this putative limit.

Examples of limits of nets

Supplementary definitions

If φ is a net on X based on directed set D and A is a subset of X, then φ is frequently in (or cofinally in) A if for every α in D there exists some β ≥ α, β in D, so that φ(β) is in A.

A point x in X is said to be an accumulation point or cluster point of a net if (and only if) for every neighborhood U of x, the net is frequently in U.

A net φ on set X is called universal, or an ultranet if for every subset A of X, either φ is eventually in A or φ is eventually in X-A.

Examples

Sequence in a topological space:

A sequence (a1, a2, ...) in a topological space V can be considered a net in V defined on N.

The net is eventually in a subset Y of V if there exists an N in N such that for every nN, the point an is in Y.

We have limxc an = L if and only if for every neighborhood Y of L, the net is eventually in Y.

The net is frequently in a subset Y of V if and only if for every N in N there exists some nN such that an is in Y, that is, if and only if infinitely many elements of the sequence are in Y. Thus a point y in V is a cluster point of the net if and only if every neighborhood Y of y contains infinitely many elements of the sequence.

Function from a metric space to a topological space:

Consider a function from a metric space M to a topological space V, and a point c of M. We direct the set M\{c} reversely according to distance from c, that is, the relation is "has at least the same distance to c as", so that "large enough" with respect to the relation means "close enough to c". The function ƒ is a net in V defined on M\{c}.

The net ƒ is eventually in a subset Y of V if there exists an a in M\{c} such that for every x in M\{c} with d(x,c) ≤ d(a,c), the point f(x) is in Y.

We have limxc ƒ(x) = L if and only if for every neighborhood Y of L, ƒ is eventually in Y.

The net ƒ is frequently in a subset Y of V if and only if for every a in M\{c} there exists some x in M\{c} with d(x,c) ≤ d(a,c) such that f(x) is in Y.

A point y in V is a cluster point of the net ƒ if and only if for every neighborhood Y of y, the net is frequently in Y.

Function from a well-ordered set to a topological space:

Consider a well-ordered set [0, c] with limit point c, and a function ƒ from [0, c) to a topological space V. This function is a net on [0, c).

It is eventually in a subset Y of V if there exists an a in [0, c) such that for every xa, the point f(x) is in Y.

We have limxc ƒ(x) = L if and only if for every neighborhood Y of L, ƒ is eventually in Y.

The net ƒ is frequently in a subset Y of V if and only if for every a in [0, c) there exists some x in [a, c) such that f(x) is in Y.

A point y in V is a cluster point of the net ƒ if and only if for every neighborhood Y of y, the net is frequently in Y.

The first example is a special case of this with c = ω.

See also ordinal-indexed sequence.

Properties

Virtually all concepts of topology can be rephrased in the language of nets and limits. This may be useful to guide the intuition since the notion of limit of a net is very similar to that of limit of a sequence. The following set of theorems and lemmas help cement that similarity:

  • A function ƒ:XY between topological spaces is continuous at the point x if and only if for every net (xα) with
lim xα = x
we have
lim ƒ(xα) = ƒ(x).
Note that this theorem is in general not true if we replace "net" by "sequence". We have to allow for more directed sets than just the natural numbers if X is not first-countable.
  • In general, a net in a space X can have more than one limit, but if X is a Hausdorff space, the limit of a net, if it exists, is unique. Conversely, if X is not Hausdorff, then there exists a net on X with two distinct limits. Thus the uniqueness of the limit is equivalent to the Hausdorff condition on the space, and indeed this may be taken as the definition. Note that this result depends on the directedness condition; a set indexed by a general preorder or partial order may have distinct limit points even in a Hausdorff space.
  • If U is a subset of X, then x is in the closure of U if and only if there exists a net (xα) with limit x and such that xα is in U for all α.
  • A subset A of X is closed if and only if, whenever (xα) is a net with elements in A and limit x, then x is in A.
  • The set of cluster points of a net is equal to the set of limits of its convergent subnets.
  • A net has a limit if and only if all of its subnets have limits. In that case, every limit of the net is also a limit of every subnet.
  • A net in the product space has a limit if and only if each projection has a limit. Symbolically, if (xα) is a net in the product X = πiXi, then it converges to x if and only if \pi_i(x_\alpha)\to \pi_i(x) for each i. Armed with this observation and the above characterization of compactness in terms on nets, one can give a slick proof of Tychonoff's theorem.
  • If ƒ:XY and (xα) is an ultranet on X, then (ƒ(xα)) is an ultranet on Y.

Related ideas

In a metric space or uniform space, one can speak of Cauchy nets in much the same way as Cauchy sequences. The concept even generalises to Cauchy spaces.

The theory of filters also provides a definition of convergence in general topological spaces.

Limit superior

Limit superior and limit inferior of a net of real numbers can be defined in a similar manner as for sequences.[4][5][6] Some authors work even with more general structures, like complete lattices.[7]

For a net (x_\alpha)_{\alpha\in I} we put

\limsup x_\alpha = \lim_{\alpha\in I} \sup_{\beta\succeq\alpha} x_\beta=\inf_{\alpha\in I} \sup_{\beta\succeq\alpha} x_\beta.

Limit superior of a net of real numbers has many properties analogous to the case of sequences, e.g.

 \limsup (x_\alpha+y_\alpha) \le \limsup x_\alpha+\limsup y_\alpha,

where equality holds whenever one of the nets is convergent.

References

  1. ^ Moore, E. H.; Smith, H. L. (1922). "A General Theory of Limits". American Journal of Mathematics 44 (2): 102–121. doi:10.2307/2370388. JSTOR 2370388 
  2. ^ (Sundström 2010, p. 16n)
  3. ^ Megginson, p.143
  4. ^ Aliprantis-Border, p.32
  5. ^ Megginson, p.217, p.221, Exercises 2.53-2.55
  6. ^ Beer, p.2
  7. ^ Schechter, Sections 7.43-7.47
  • Kelley, John L. (1991). General Topology. Springer. ISBN 3540901256. 
  • Wilard, Stephen (2004). General Topology. Dover Publications. ISBN 0486434796. 
  • Sundström, Manya Raman (2010). "A pedagogical history of compactness". arXiv:1006.4131v1 [math.HO]. 
  • Aliprantis, Charalambos D.; Border, Kim C. (2006). Infinite dimensional analysis: A hitchhiker's guide (Third ed.). Berlin: Springer. pp. xxii+703 pp.. ISBN 978-3-540-32696-0, 3-540-32696-0. MR2378491. 
  • Beer, Gerald (1993). Topologies on closed and closed convex sets. Mathematics and its Applications 268. Dordrecht: Kluwer Academic Publishers Group. pp. xii+340. ISBN 0-7923-2531-1. MR1269778. 
  • Megginson, Robert E. (1998). An Introduction to Banach Space Theory. Graduate Texts in Mathematics. 193. New York: Springer. ISBN 0-387-98431-3. 
  • Schechter, Eric (1997). Handbook of Analysis and its Foundations. San Diego: Academic Press. ISBN 126227608. 

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • NET — or Net may refer to: Net (device), fibers woven in a grid like structure Net (textile), any textile in which the warp and weft yarns are looped or knotted at their intersections New Jersey Nets, a basketball team The Net (1995 film), a film… …   Wikipedia

  • Mathematics and science partnerships — (MSP) is education policy from Title 2, Part B, Sections 2201 2203 of the No Child Left Behind Act of 2001. The purpose of MSP is to increase student achievement in science and mathematics by partnering IHE science, math, and engineering… …   Wikipedia

  • Mathematics and art — have a long historical relationship. The ancient Egyptians and ancient Greeks knew about the golden ratio, regarded as an aesthetically pleasing ratio, and incorporated it into the design of monuments including the Great Pyramid,[1] the Parthenon …   Wikipedia

  • Mathematics of Sudoku — The class of Sudoku puzzles consists of a partially completed row column grid of cells partitioned into N regions each of size N cells, to be filled in using a prescribed set of N distinct symbols (typically the numbers {1, ..., N}), so that each …   Wikipedia

  • Filter (mathematics) — The powerset algebra of the set {1,2,3,4} with the upset colored green. The green elements make a principal ultrafilter on the lattice. In mathematics, a filter is a special subset of a partially ordered set. A frequently used special case is the …   Wikipedia

  • List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia

  • List of mathematics competitions — Mathematics competitions or mathematical olympiads are competitive events where participants write a mathematics test. These tests may require multiple choice or numeric answers, or a detailed written solution or proof. In the United States,… …   Wikipedia

  • Alabama School of Mathematics and Science — The Alabama School of Mathematics and Science (ASMS) is a public residential high school in midtown Mobile, Alabama. Along with the Alabama School of Fine Arts, they are considered the state s top magnet schools and draw students from around the… …   Wikipedia

  • Hampshire College Summer Studies in Mathematics — The Hampshire College Summer Studies in Mathematics (HCSSiM) is a residential program for mathematically talented high school students. The program has been conducted each summer since 1971, with the exceptions of 1981 and 1996, and has more than …   Wikipedia

  • Microsoft Mathematics — Screenshot of Microsoft Mathematics 4.0 in Windows 7 Developer(s) Microsoft Stable release 4.0.1108.0000 / January 11, 2011 …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.