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), <a class="link-external link-http" href="http://131-176.It" rel="external noopener nofollow">this http URL</a> was also posted as {<a class="link-https" data-arxiv-id="math/0702587v1" href="https://arxiv.org/abs/math/0702587v1">arXiv:math/0702587v1</a>} [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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the applications and importance of ultrafilters in different mathematical fields, especially their role in solving the Condorcet paradox in voting systems. Specifically, by reviewing various definitions and properties of ultrafilters and their applications in multiple branches of mathematics such as set theory, algebra, topology, analysis, logic, and probability theory, the paper demonstrates the versatility and importance of ultrafilters as a powerful tool.
### Main problems of the paper
1. **Condorcet paradox**: The paper first introduces the Condorcet paradox through a hypothetical election example. That is, in some cases, majority voting may lead to no clear winner, and even cyclic preferences may occur (for example, A > B > C > A). This paradox may also occur in actual elections, leading to the problem of collective decision - making consistency.
2. **Conditions of the voting system**: In order to avoid the Condorcet paradox, the paper proposes two basic conditions (C1 and C2), which ensure the consistency of collective decision - making in the case of a single choice and two consecutive choices. However, these two conditions alone are not sufficient to avoid the paradox when there are three or more choices.
3. **Definitions and properties of ultrafilters**: The paper further introduces a third condition (C3), that is, the intersection of any two valid coalitions must also be valid. This is actually an equivalent definition of an ultrafilter. Through these conditions, the paper shows how an ultrafilter can be used as a voting system to ensure the consistency of collective decision - making, thereby avoiding the Condorcet paradox.
4. **Guilbaud's Theorem**: The paper also discusses Guilbaud's Theorem, which states that a voting system that satisfies the above three conditions must be dictatorial. This means that on a finite set, the only way to avoid the Condorcet paradox is to adopt a dictatorship.
5. **Applications of ultrafilters**: Finally, the paper explores the applications of ultrafilters in other mathematical fields, such as ultrapower and ultraproduct, which are of great significance in fields such as non - standard analysis, topology, and function theory.
### Summary
The core problem of the paper is to explore the applications of ultrafilters as a powerful mathematical tool in solving the Condorcet paradox in voting systems and other mathematical problems. By detailed analysis of the properties and conditions of ultrafilters, the paper not only reveals the important role of ultrafilters in voting systems but also shows their wide applicability in multiple branches of mathematics.