Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0702587

The ultrafilter: A peerless tool

Labib Haddad
View original source ↗Read source document ↗Export metadata ↓

Abstract

This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as {arXiv:math/0702587v1} [math.HO] 20 Feb 2007. This paper was meant for a series of talks at the Bratislava Workshop on the density concept, May 2004. A number of the very many facets of ultrafilters are reviewed (some of them, a bit cursorily, as is to be expected in a short space, and time) including Condorcet's Paradox, ultraproducts and the theory of infinitesimals (non-standard analysis), Banach generalized limits in sequence spaces, Choquet's limits for families of closed sets in general topology and intrinsic geometry, representations of topologies as binary relations among ultrafilters, additive bases in number theory.

Explore related subjects

math.HOmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Labib Haddad. 2021-05-05. The ultrafilter: A peerless tool. https://arxiv.org/abs/math/0702587

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Wandering Must Continue: Pure Mathematicians as Rangers of the North

Pure mathematics is an honest barometer of a civilization's scientific capacity, maintaining an unwritten culture of rigor, structural perception, and intellectual honesty whose primary service is not merely proving theorems, but cultivating human judgment. In an era of automated theorem generation and formal verification, this essay argues that establishing a result and understanding both why it holds and why it matters remain distinct achievements, and outlines concrete institutional mechanisms to protect the exploratory core of the discipline.

math.HO↗
arXiv2026

It is time for a New Deal for mathematics

The AI labs' vision is based on extraction (of data, wealth, and political power). Mathematicians must oppose it, moving past personal reflections and towards reforming mathematics' social contract.

math.HO↗
arXiv2026

Balancing non-rectangular tables

Balancing square and rectangular tables by rotation has been an interesting way to illustrate the intermediate value theorem. This article studies the same question for tables whose feet form a cyclic quadrilateral, following a conjecture of A.~Martin. In the idealised model behind this conjecture, the balancing act works for every such table and is a nice application of the ergodic theorem. For the actual rigid table on a Lipschitz terrain, the situation is more subtle. If the terrain is flattened enough, the table can be stabilised unless an idealised wobbling function vanishes identically, \ie unless the terrain is degenerate for the table. Even if this should happen, the tables whose feet are vertices of a regular polygon and which satisfy a non-degeneracy condition of their own can still be stabilised on every terrain with a small enough Lipschitz constant (\eg a halved regular hexagon as long as the slope is less than $3.7$\textdegree{}). On the other hand, there is an isosceles trapezoid and another table, which are shown to wobble at every angle on suitable terrains however small the Lipschitz constant is. These counterexamples are fragile: for every table, if the idealised wobbling function vanishes identically for every position of the rotation axis in a small disc, then, near the feet, the terrain is a plane or a paraboloid of revolution with a vertical axis; so in practice a slight move of the axis makes the terrain non-degenerate. The results are, with minor exceptions, formalised in Lean.

math.HO↗