Zorn's Lemma- An elementary proof under the Axiom of Choice

Arjun Jain

DOI: https://doi.org/10.48550/arXiv.1207.6698

2012-07-28

Abstract:This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's Lemma, introducing the reader to a brief history of this important maximal principle.

Logic

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide an elementary proof of Zorn's Lemma that is more concise and contains necessary details under the Axiom of Choice. Zorn's Lemma is a very important theorem in set theory and has wide applications in many branches of mathematics, especially when proving existence problems. Specifically, the content of Zorn's Lemma is as follows:

**Zorn's Lemma**:
If \(X\) is a partially ordered set, and every chain in \(X\) has an upper bound, then \(X\) contains a maximal element.

In this paper, the author Arjun Jain, based on the original proof in Paul R. Halmos's "Naive Set Theory", simplifies the proof process and supplements the necessary details. The paper first reviews the definition of the Axiom of Choice and related concepts, then gradually constructs the various lemmas required for the proof, and finally completes the proof of Zorn's Lemma. This work not only provides an in - depth understanding of Zorn's Lemma, but also provides readers with a more intuitive and easier - to - understand proof method.