Questions tagged [nets]

A net is a generalization of a sequence where a directed set is used as the index set instead of positive integers. Convergence of nets can be defined in a similar way as convergence of sequences. Convergent nets in a topological space uniquely determine its topology.

A net is a generalization of a sequence where a directed set is used as the index set instead of positive integers. Convergence of nets can be defined in a similar way as convergence of sequences.

In metric spaces convergence of sequences unique determines which subsets are closed/open. (A subset $C$ of a metric space is closed if and only if every convergent sequence with all terms in $C$ has limit also in $C$. A subset $O$ of a metric space is open if and only if every convergent sequence which has limit in $O$ is eventually in $O$.) This is no longer true if we work with arbitrary topological spaces, but if we replace sequences by nets, the above characterizations of closed and open sets are valid. This means that convergent nets uniquely determine topology of the space.

Also many important topological properties can be characterized using nets (for example Hausdorffness, compactness).

403 questions
47
votes
4 answers

Is a net stronger than a transfinite sequence for characterizing topology?

For metric spaces, knowledge of the convergence of sequences determines the topology completely. A set is closed in the metric topology if and only if it is closed under the limit of convergent sequences operation. Put another way, a map between…
ziggurism
  • 17,476
29
votes
5 answers

What's the "limit" in the definition of Riemann integrals?

Consider one of the standard methods used for defining the Riemann integrals: Suppose $\sigma$ denotes any subdivision $a=x_0
user9464
29
votes
4 answers

Where has this common generalization of nets and filters been written down?

It is well-known that there are two different ways to generalize the theory of convergence of sequences to arbitrary topological spaces: nets and filters. They are of course essentially equivalent, but each has its own minor advantages for pedagogy…
28
votes
4 answers

Filters vs nets in topology

Nets are a natural generalization of sequences in arbitrary topological spaces. Using the language of nets we can extend intuitive, classical sequential notions (compactness, convergence, etc.) to arbitrary spaces. Example of using: Reed, Simon…
Canis Lupus
  • 2,645
22
votes
1 answer

Different definitions of subnet

I encountered two different definitions of subnet. The first is Let $(I, \preceq_I ), (J,\preceq_J )$ be two directed sets and $X$ be the underlying set.$\{ \eta_j \}_{j \in J}$ is a subnet of $\{ \xi_i \}_{i \in I}$, if there exists a function…
Epicurus
  • 427
  • 2
  • 7
20
votes
1 answer

Example of sequence with converging subnet, but no converging subsequence

I'm trying to wrap my head around the concept of nets/subnets, especially in the following example. Let $X$ be the Banach space $\ell_{\infty}$ and $X^*$ its dual. We know by Banach-Alaoglu that the unit ball $B$ of $X^*$ is compact, but not…
18
votes
1 answer

In a compact space, every net has a convergent subnet

I'm just learning how to work with nets. I'm attempting the proof that $X$ compact $\implies$ every net in $X$ has a convergent subnet, and I wonder if I'm overcomplicating it. Suppose $\langle x_i \rangle _{i \in I}$ is a net in $X$. Define…
Eric Auld
  • 28,997
18
votes
2 answers

$f$ brings convergent nets to convergent nets, is it continuous?

Let $f:(X,\mathcal T)\to (Y,\mathcal S)$ be a function between topological spaces. Let for any convergent net $(x_\alpha)$ in $X$, $(f(x_\alpha ))$ be convergent in $Y$. Is $f$ continuous? (It seems to be true in completely regular spaces).
user59671
15
votes
4 answers

Why are nets not used more in the teaching of point-set topology?

I just finished working through a proof of Tychonoff's Theorem that uses nets (specifically, as a corollary of the fact that a net in a product space converges iff the projected nets in the components do). While I might be missing steps (I based…
15
votes
1 answer

Nets - preoredered sets or posets?

Question: Usually net is defined as a function from a directed preordered set to a topological space. What would we lose or gain if we worked with partially ordered directed sets only? Background and motivation For me, one of the most important…
15
votes
3 answers

Nets and compactness in topological spaces.

I am reading Kelley’s book on general topology. There are a few statements on nets there (chapter 2), but the characterization of compact sets in the language of nets is not given. How should we prove the following Theorem: A topological space X is…
15
votes
1 answer

Trying to understand how a subnet of a sequence differs from a subsequence

Let's say I have a topological space $(X,\tau)$ and a sequence $\{x_n\}_{n \in \mathbb{N}} \subset X$ which has a limit point $a$ but no subsequence converging to $a$. If I regard $\{x_n\}_{n \in \mathbb{N}}$ as a net over $\mathbb{N}$ directed with…
14
votes
1 answer

When and how were nets and filters first shown to be equivalent?

My dad passed away in February, and since then I've been spending time with his past, since I no longer have a 'present' with him. In 1967 he did his master's thesis at the University of North Dakota on the equivalence of convergence in nets (he…
14
votes
1 answer

Every net has an ultranet as subnet: direct proof

I'm currently brushing up my topology using Willard's General Topology. Currently I'm working through the chapters 11 and 12 on nets and filters. Chapter 12 deals extensively with ultrafilters and proves (Theorem 12.12) that every filter is…
Lord_Farin
  • 17,924
  • 9
  • 52
  • 132
14
votes
3 answers

Why were filters and nets in topology named filters and nets?

I am wondering why do mathematicians categorizes some structures and called them filters , Nets? In English, filter means: A porous material through which a liquid or gas is passed in order to separate the fluid from suspended particulate matter.…
1
2 3
26 27