9
$\begingroup$

Many results in topology can be restated using the concepts of nets and ultrafilters. This seems to be of interest for set theorists, maybe even logicians. But for geometers and topologists, those who use point-set topology only as a tool in proving theorems about manifolds, varieties, schemes, homology groups, etc, can this reformulation be useful? If it is, please give examples of how it might be used.

In the case of Tychonoff's Theorem, it may provide an interesting way to prove a result in point-set topology which is useful for geometers, but even in this case, its use does not seem to shed much insight once one has obtained the technical point-set result.

$\endgroup$
  • $\begingroup$ If you don't mind me asking, was the exclusion of (functional) analysis from your question deliberate? I ask in light of your responses to Henno Brandsma's answer. $\endgroup$ – Yemon Choi Jul 16 '10 at 0:29
  • 9
    $\begingroup$ I think it is worth pointing out that people doing point-set topology are topologists too. $\endgroup$ – Michael Greinecker Jul 16 '10 at 8:55
  • 1
    $\begingroup$ there are examples of compact hausdorff topological space with a sequence which does not have a convergent subsequence. so a subnet of this sequence can not be considered as a subsequence. Now a question:Assume that X is a compact Hausdorff topological space such that every sequence has a convergent subsequence. Does it implies that X is first countable? $\endgroup$ – Ali Taghavi Dec 8 '13 at 19:30

10 Answers 10

14
$\begingroup$

I think the net formulation is quite useful to know, at least. Analysts seem to be most fond of it, as they naturally work with sequences anyway. E.g. on easily shows that the closure of a subgroup $H$ in a topological group $G$ is a subgroup: just note that for $x,y$ in closure of $H$, we find nets (wlog with the same index set) $(x_i), (y_i)$ from $H$ that converge to $x$, resp. $y$, and then $x_i \cdot {y_i}^{-1} \rightarrow x \cdot y^{-1}$ from continuity of the group operations, and the left hand side lives in $H$, so the right hand side is in closure H, and this is thus a subgroup.

Similarly, $A \cdot B$ is closed in $G$ when $A$ is closed and $B$ is compact: take a net $(x_i \cdot y_i)_{i \in I}$ in $A \cdot B$ converging to $z$. By compactness the net $(y_i)$ has a subnet converging to $y \in B$, indexed by $J$ say, and then the corresponding subnet $x_j = x_j \cdot y_j \cdot y_j^{-1}$ converges to $z \cdot y^{-1}$ and as the $(x_j)$ are in $A$, so is the limit $z \cdot y^{-1}$ and so $z = (z \cdot y^{-1} \cdot y)$ is in $A \cdot B$, making it closed.

Nets also make for a nice formulation of the Riemann integral (using partitions on the interval as a directed set under refinement) as a limit of a certain net. Some proofs just look more "natural" in a net formulation, I think. One can do the proof for sequences first, and see how it generalizes using nets.

$\endgroup$
  • 1
    $\begingroup$ Interesting. Now is it just a useful tool to make a few lemmas easier to prove (like the ones outlined)? Are there deep results which use the net/ultrafilter formulation? $\endgroup$ – David Corwin Jul 15 '10 at 17:08
  • 4
    $\begingroup$ This sort of thing, in some sense, comes down to "taste": sure, any proof using nets can be reformulated using "bare hands" topology (i.e. open sets, inverse images etc.) but really this is just a formal process. I happen to think that nets make proofs a lot easier to follow, which leads to a better intuition, which in turn perhaps leads to new proofs which would have been impossible to see without the simplifications which nets provided. $\endgroup$ – Matthew Daws Jul 15 '10 at 18:34
  • $\begingroup$ Interesting. Might anyone suggest that topology should be taught by introducing nets at the beginning? (i.e. reform the way that topology is taught) $\endgroup$ – David Corwin Jul 15 '10 at 21:51
  • 2
    $\begingroup$ The notion of subnet being subtler than that of subsequence could be one obstacle, perhaps. On the other hand, the book of Beardon mentioned by Michael Greinecker (mathoverflow.net/questions/32035/… ) might represent a step in the direction you suggest. $\endgroup$ – Yemon Choi Jul 16 '10 at 0:27
  • 1
    $\begingroup$ @alephomega: sometimes ultrafilters are cleaner; sometimes nets are more convenient or more intuitive (approximation arguments in biduals of Banach spaces or algebras, for instance). It depends on what you are trying to do. $\endgroup$ – Yemon Choi Jul 17 '10 at 9:21
11
$\begingroup$

One of the most important constructions in geometric group theory is the asymptotic cone of a group or metric space, which captures what happens to the group or metric space as you rescale the metric down to zero (or, less formally, as you squint your eyes and move farther and farther away from the space). The originated in Gromov's original proof of his polynomial growth theorem, where the polynomial growth condition assures that this limit exists in the classical sense. However, since then this concept has been hugely important in more general situations where one has to use an ultrafilter to define an appropriate notion of convergence. I recommend perusing the wikipedia articles on Gromov-Hausdorff convergence and ultralimits.

$\endgroup$
8
$\begingroup$

If a topological space is not first countable sequences can not be used for instance to verify the continuity of the function. In that case you can use nets instead. Topological spaces which are not first countable are commonly encountered in Functional Analysis.

$\endgroup$
7
$\begingroup$

A few years ago de Fernex and Mustata used ultrafilters to prove some results on log canonical thresholds related to Shokurov's ACC conjecture. See deFernexMustata07.

However, shortly after, Koll\'ar proved the same results using more geometric methods, see Kollar08 (making this a non-example in some people's mind).

I probably should also mention the work of Hans Schoutens using ultra filters to construct ultra-Frobenius (Frobenius in characteristic zero) and thus detect various types of singularities in characteristic zero.

$\endgroup$
7
$\begingroup$

Nets (and also filters) allow one to unify the wide morass of convergence notions. There is even an undergraduate introduction to analysis based on nets, Limits by Alan Beardon.

Notions like the convergence of sets (the liminf and limsup of sets stuff) can be formulated as a nontopological form of order convergence based on nets. These notions play an important part in general measure theory and especially in probability theory.

Kolmogorov's extension theorem of stochastic processes has abstract generalizations based on nets of $\sigma$-algebras. See for example here.

Ultrafilters play a surprising role in social choice theory. The family of "pivotal sets of voters" implied by a social decision rule satisfying the assumption of Arrow's impossibility theorem forms an ultrafilter, which explains why all such rules are dictorial with finitely many voters but not in the case of infinitely many voters.

For an actual application of ultrafilters in geometry, see this post on Terry Tao's blog.

$\endgroup$
3
$\begingroup$

I am not sure if this is the type of answer you are looking for, but, representing topological spaces by their ultrafilter convergence relation is quite useful for determining which topological spaces are exponentiable.

$\endgroup$
  • 1
    $\begingroup$ I'll bite: what's an exponentiable topological space? $\endgroup$ – Pete L. Clark Jul 15 '10 at 17:46
  • $\begingroup$ google: eom.springer.de/e/e036940.htm $\endgroup$ – O.R. Jul 15 '10 at 18:20
  • $\begingroup$ Oh, sorry, an exponentiable space is a space $X$ such that a mapping space (with the correct universal property!) $Y^X$ exists for every topological space $Y$. In other words, the functor $(blank) \times X:Top \to Top$ has a right-adjoint. $\endgroup$ – David Carchedi Jul 15 '10 at 18:53
3
$\begingroup$

Nets were first expounded by Moore and Smith in order to explain the convergence involved in the definition of the Riemann integral. Would you say that is of no use in geometry and topology?

$\endgroup$
  • $\begingroup$ Yes,since the Riemann integral is an analytical construction in finite dimensional Euclidean spaces. But if that was thier sole use in mathematics,they would still be a VERY significant construction,don't you think? $\endgroup$ – The Mathemagician Jul 16 '10 at 2:14
  • $\begingroup$ Nets were NOT initially expounded by Moore and Smith, but by L. Vietoris who anticipated them by a couple of years and in greater generality in his dissertation „Stetige Mangen“ which was published in Monatsheft. Math. in 1919 (available online) and in which he was the first to introduce the modern notion of compactness, rather than sequential compactness. Even more remarkably he simultaneously introduced and studied the concept of a filter, thus anticipating Cartan and Bourbaki by nearly two decades. Of course he used his own german language terminology which never caught on. $\endgroup$ – user131781 Aug 25 at 9:07
2
$\begingroup$

If I recall correctly ultra-filters were used to prove Tychonoff's Theroem in Willards' General Topology book.

$\endgroup$
2
$\begingroup$

Those in functional analysis should read the book Beattie R, Butzmann H P : Convergence Strutures and Applications to Functional Analysis. Kluwer, Dordrecht, 2002, and see how incredibly useful is to get beyond the Hausdorff-Kuratowski-Bourbaki topology, that is, the usual topology. And the issue is not whether one uses sequences, nets, filters, or whatever else. No the issue is simply how one uses them. And with the rather slight relaxation og the concept of usual topology in the above book, one can do miracles. Among them, the duality theory of locally convex vector spaces becomes so clear and simple.

$\endgroup$
  • 3
    $\begingroup$ would it really be so difficult to use the phrase "the usual notion of topology" rather than "the usual topology". The two mean different things. $\endgroup$ – Yemon Choi Jul 16 '10 at 6:53
2
$\begingroup$

Although this isn't geometry or topology, this thread gives an application of ultrafilters to field theory. I think this still counts as an application of ultrafilters outside of the fields in which they might normally appear.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.