Definition:
The Fréchet filter on a set $ X $ is the collection of all cofinite subsets of $ X $, that is, subsets whose complement in $ X $ is finite. Formally, a set $ A \subseteq X $ belongs to the Fréchet filter if and only if $ X \setminus A $ is finite.
Overview:
The Fréchet filter is a fundamental concept in set theory, topology, and mathematical logic, particularly in the study of filters and ultrafilters on infinite sets. It is primarily defined on infinite sets, as on finite sets all cofinite subsets include the whole set, making the filter trivial. The Fréchet filter is notable for being a free (or non-principal) filter, meaning it is not generated by a single element. It plays a key role in the construction of ultraproducts and in nonstandard analysis. While it is not an ultrafilter (unless extended via Zorn’s Lemma), it represents a canonical example of a filter that captures the notion of "large" subsets in terms of finiteness of the complement.
Etymology/Origin:
The filter is named after Maurice Fréchet, a French mathematician who made foundational contributions to general topology, metric spaces, and analysis in the early 20th century. Although Fréchet did not explicitly define this filter in modern notation, his work on abstract spaces and convergence laid the groundwork for later formalizations of filters and topologies, and the term "Fréchet filter" emerged in later mathematical literature in his honor.
Characteristics:
- Defined on an infinite set $ X $ as $ \mathcal{F} = { A \subseteq X \mid X \setminus A \text{ is finite} } $.
- It is a proper filter: it does not contain the empty set, is closed under finite intersections, and is upward closed.
- It is free (non-principal): there is no $ x \in X $ such that $ \mathcal{F} $ consists of all sets containing $ x $.
- On a countably infinite set, the Fréchet filter is not an ultrafilter but can be extended to one using the Axiom of Choice.
- In topology, a sequence converges to a point with respect to the Fréchet filter if it is eventually in every cofinite set—though this usage is more commonly associated with the related concept of Fréchet-Urysohn spaces, which are distinct.
Related Topics:
- Filters and Ultrafilters in Set Theory
- Tychonoff's Theorem and Compactness
- Ultraproducts and Model Theory
- Stone–Čech Compactification
- Free vs. Principal Filters
- Fréchet-Urysohn Spaces (a related but distinct concept in topology)
Note: The term "Fréchet filter" is well-documented in mathematical literature and is distinct from similar-sounding concepts such as "Fréchet space" in functional analysis.