In mathematics, the Teichmüller–Tukey lemma (sometimes named just Tukey's lemma), named after John Tukey and Oswald Teichmüller, is a lemma that states that every nonempty collection of finite character has a maximal element with respect to inclusion. Over Zermelo–Fraenkel set theory, the Teichmüller–Tukey lemma is equivalent to the axiom of choice, and therefore to the well-ordering theorem, Zorn's lemma, and the Hausdorff maximal principle.
Definitions A family of sets F {\displaystyle {\mathcal {F}}} is of finite character provided it has the following properties:
For each A ∈ F {\displaystyle A\in {\mathcal {F}}} , every finite subset of A {\displaystyle A} belongs to F {\displaystyle {\mathcal {F}}} . If every finite subset of a given set A {\displaystyle A} belongs to F {\displaystyle {\mathcal {F}}} , then A {\displaystyle A} belongs to F {\displaystyle {\mathcal {F}}} .
Statement of the lemma Let Z {\displaystyle Z} be a set and let F ⊆ P ( Z ) {\displaystyle {\mathcal {F}}\subseteq {\mathcal {P}}(Z)} . If F {\displaystyle {\mathcal {F}}} is of finite character and X ∈ F {\displaystyle X\in {\mathcal {F}}} , then there is a maximal Y ∈ F {\displaystyle Y\in {\mathcal {F}}} (according to the inclusion relation) such that X ⊆ Y {\displaystyle X\subseteq Y} .
Applications In linear algebra, the lemma may be used to show the existence of a basis. Let V be a vector space. Consider the collection F {\displaystyle {\mathcal {F}}} of linearly independent sets of vectors. This is a collection of finite character. Thus, a maximal set exists, which must then span V and be a basis for V.
Notes
References Brillinger, David R. "John Wilder Tukey" [1]
