Books that summarize the classical application of Zorn’s Lemma.
$begingroup$
Zorn’s lemma, as defined in Wikipedia, is stated as follows:
(Zorn’s lemma) A partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element.
It can be proved that Zorn’s Lemma is actually equivalent to the Axiom of Choice, thus independent from $ZF$ framework. A proof that relies on Zorn’s Lemma usually goes as follows: For a certain partially ordered set with some property, there is a maximal element of it. Any element $x$ greater than the maximal element does not satisfy that property anymore. By choosing the proper $x$ we can run the proof by contradiction.
I found myself still not used to the classical ways of using Zorn’s Lemma after a while, such as the proof of Alexander Subbase Theorem, and the proof of “Nilradical of a commutative ring is the intersection of all prime ideals.” It seems to me that those proofs are very different than the ordinary proofs I learned before, that is, if I get stuck with coming up a proof of a proposition, I will intentionally construct a maximal element and blindly test if I could reach the result closer. Another problem is that I have no clue at all whether a theorem relies on Zorn’s lemma or not from a first look. Can anyone give some suggestions, that I should practice and learn more applications of Zorn’s Lemma, or, in my opinion, to find a book that systematically give motivations for each proof? Any help would be appreciated. Thank you.
reference-request set-theory order-theory axiom-of-choice
$endgroup$
add a comment |
$begingroup$
Zorn’s lemma, as defined in Wikipedia, is stated as follows:
(Zorn’s lemma) A partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element.
It can be proved that Zorn’s Lemma is actually equivalent to the Axiom of Choice, thus independent from $ZF$ framework. A proof that relies on Zorn’s Lemma usually goes as follows: For a certain partially ordered set with some property, there is a maximal element of it. Any element $x$ greater than the maximal element does not satisfy that property anymore. By choosing the proper $x$ we can run the proof by contradiction.
I found myself still not used to the classical ways of using Zorn’s Lemma after a while, such as the proof of Alexander Subbase Theorem, and the proof of “Nilradical of a commutative ring is the intersection of all prime ideals.” It seems to me that those proofs are very different than the ordinary proofs I learned before, that is, if I get stuck with coming up a proof of a proposition, I will intentionally construct a maximal element and blindly test if I could reach the result closer. Another problem is that I have no clue at all whether a theorem relies on Zorn’s lemma or not from a first look. Can anyone give some suggestions, that I should practice and learn more applications of Zorn’s Lemma, or, in my opinion, to find a book that systematically give motivations for each proof? Any help would be appreciated. Thank you.
reference-request set-theory order-theory axiom-of-choice
$endgroup$
$begingroup$
Most results which are equivalent to AC are most easily proved using Zorn's Lemma. You can find a list in the wikipedia article: en.wikipedia.org/wiki/Axiom_of_choice#Equivalents. So, you can go though them, find a proof of each that relies on Zorn's Lemma and try to understand the general pattern.
$endgroup$
– lisyarus
Dec 14 '18 at 22:23
$begingroup$
My intuition tells that Zorn's Lemma is just a fancy (transfinite, actually) induction: what you'd prove by induction in a finite / finitely-generated case, you prove by Zorn's Lemma in the general case.
$endgroup$
– lisyarus
Dec 14 '18 at 22:25
$begingroup$
@lisyarus: Or with transfinite induction...
$endgroup$
– Asaf Karagila♦
Dec 15 '18 at 14:34
add a comment |
$begingroup$
Zorn’s lemma, as defined in Wikipedia, is stated as follows:
(Zorn’s lemma) A partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element.
It can be proved that Zorn’s Lemma is actually equivalent to the Axiom of Choice, thus independent from $ZF$ framework. A proof that relies on Zorn’s Lemma usually goes as follows: For a certain partially ordered set with some property, there is a maximal element of it. Any element $x$ greater than the maximal element does not satisfy that property anymore. By choosing the proper $x$ we can run the proof by contradiction.
I found myself still not used to the classical ways of using Zorn’s Lemma after a while, such as the proof of Alexander Subbase Theorem, and the proof of “Nilradical of a commutative ring is the intersection of all prime ideals.” It seems to me that those proofs are very different than the ordinary proofs I learned before, that is, if I get stuck with coming up a proof of a proposition, I will intentionally construct a maximal element and blindly test if I could reach the result closer. Another problem is that I have no clue at all whether a theorem relies on Zorn’s lemma or not from a first look. Can anyone give some suggestions, that I should practice and learn more applications of Zorn’s Lemma, or, in my opinion, to find a book that systematically give motivations for each proof? Any help would be appreciated. Thank you.
reference-request set-theory order-theory axiom-of-choice
$endgroup$
Zorn’s lemma, as defined in Wikipedia, is stated as follows:
(Zorn’s lemma) A partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element.
It can be proved that Zorn’s Lemma is actually equivalent to the Axiom of Choice, thus independent from $ZF$ framework. A proof that relies on Zorn’s Lemma usually goes as follows: For a certain partially ordered set with some property, there is a maximal element of it. Any element $x$ greater than the maximal element does not satisfy that property anymore. By choosing the proper $x$ we can run the proof by contradiction.
I found myself still not used to the classical ways of using Zorn’s Lemma after a while, such as the proof of Alexander Subbase Theorem, and the proof of “Nilradical of a commutative ring is the intersection of all prime ideals.” It seems to me that those proofs are very different than the ordinary proofs I learned before, that is, if I get stuck with coming up a proof of a proposition, I will intentionally construct a maximal element and blindly test if I could reach the result closer. Another problem is that I have no clue at all whether a theorem relies on Zorn’s lemma or not from a first look. Can anyone give some suggestions, that I should practice and learn more applications of Zorn’s Lemma, or, in my opinion, to find a book that systematically give motivations for each proof? Any help would be appreciated. Thank you.
reference-request set-theory order-theory axiom-of-choice
reference-request set-theory order-theory axiom-of-choice
edited Dec 14 '18 at 22:22
Batominovski
33.1k33293
33.1k33293
asked Dec 14 '18 at 22:02
William SunWilliam Sun
473211
473211
$begingroup$
Most results which are equivalent to AC are most easily proved using Zorn's Lemma. You can find a list in the wikipedia article: en.wikipedia.org/wiki/Axiom_of_choice#Equivalents. So, you can go though them, find a proof of each that relies on Zorn's Lemma and try to understand the general pattern.
$endgroup$
– lisyarus
Dec 14 '18 at 22:23
$begingroup$
My intuition tells that Zorn's Lemma is just a fancy (transfinite, actually) induction: what you'd prove by induction in a finite / finitely-generated case, you prove by Zorn's Lemma in the general case.
$endgroup$
– lisyarus
Dec 14 '18 at 22:25
$begingroup$
@lisyarus: Or with transfinite induction...
$endgroup$
– Asaf Karagila♦
Dec 15 '18 at 14:34
add a comment |
$begingroup$
Most results which are equivalent to AC are most easily proved using Zorn's Lemma. You can find a list in the wikipedia article: en.wikipedia.org/wiki/Axiom_of_choice#Equivalents. So, you can go though them, find a proof of each that relies on Zorn's Lemma and try to understand the general pattern.
$endgroup$
– lisyarus
Dec 14 '18 at 22:23
$begingroup$
My intuition tells that Zorn's Lemma is just a fancy (transfinite, actually) induction: what you'd prove by induction in a finite / finitely-generated case, you prove by Zorn's Lemma in the general case.
$endgroup$
– lisyarus
Dec 14 '18 at 22:25
$begingroup$
@lisyarus: Or with transfinite induction...
$endgroup$
– Asaf Karagila♦
Dec 15 '18 at 14:34
$begingroup$
Most results which are equivalent to AC are most easily proved using Zorn's Lemma. You can find a list in the wikipedia article: en.wikipedia.org/wiki/Axiom_of_choice#Equivalents. So, you can go though them, find a proof of each that relies on Zorn's Lemma and try to understand the general pattern.
$endgroup$
– lisyarus
Dec 14 '18 at 22:23
$begingroup$
Most results which are equivalent to AC are most easily proved using Zorn's Lemma. You can find a list in the wikipedia article: en.wikipedia.org/wiki/Axiom_of_choice#Equivalents. So, you can go though them, find a proof of each that relies on Zorn's Lemma and try to understand the general pattern.
$endgroup$
– lisyarus
Dec 14 '18 at 22:23
$begingroup$
My intuition tells that Zorn's Lemma is just a fancy (transfinite, actually) induction: what you'd prove by induction in a finite / finitely-generated case, you prove by Zorn's Lemma in the general case.
$endgroup$
– lisyarus
Dec 14 '18 at 22:25
$begingroup$
My intuition tells that Zorn's Lemma is just a fancy (transfinite, actually) induction: what you'd prove by induction in a finite / finitely-generated case, you prove by Zorn's Lemma in the general case.
$endgroup$
– lisyarus
Dec 14 '18 at 22:25
$begingroup$
@lisyarus: Or with transfinite induction...
$endgroup$
– Asaf Karagila♦
Dec 15 '18 at 14:34
$begingroup$
@lisyarus: Or with transfinite induction...
$endgroup$
– Asaf Karagila♦
Dec 15 '18 at 14:34
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I am not really aware of a book like that. There are a few books about the axiom of choice, but they mainly focus on other things, not on "typical applications of Zorn's lemma". These are "Axiom of Choice" by Herrlich and "Axiom of Choice" by Jech, for example.
I would imagine that many books about rings, groups, modules, and other algebraic structures which are infinite, will have a handful of "typical applications of Zorn's lemma".
When I had to explain my students the "typical use", I actually prefer to point them to a different lemma: Teichmüller–Tukey.
Definition. We say that a family of sets $cal F$ has finite character if the following holds: $Aincal F$ if and only if every finite $Bsubseteq A$ satisfies $Bincal F$.
In other words, $cal F$ has finite character if in order to verify that $Aincal F$, we only need to verify that its finite subsets are in $cal F$.
Lemma. (Teichmüller–Tukey) If $cal F$ is a family with finite character, then there is a $subseteq$-maximal member of $cal F$.
Note that it is often easy to verify that something has finite character. For example, linearly independent subsets a of a vector space. If a set $A$ is not linearly independent, this property is already given by a finite subset of $A$. So if all finite subsets of $A$ are linearly independent, so must $A$. Now, by the lemma, there is a maximal element, and then it is not hard to prove that such maximal element is a basis.
In the typical use of Zorn's lemma we actually have a family with finite character. So when we take a chain of sets, the union of these sets generates an upper bound (or it is an upper bound in many cases). The reason is that if the union wouldn't be an upper bound, it means that it fails to satisfy the property we are interested in, but by the finite character, this is witnessed by some finitely many elements in the chain, which is a contradiction, since the maximal one of those (in the chain) would indicate otherwise.
Think about being a subgroup, or an ideal, or a chain in a partial order, or so on. These are all properties of a subset which have finite character. Therefore Zorn's lemma or the Teichmüller–Tukey lemma is so useful in proving the existence of maximal sets with these properties.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3039928%2fbooks-that-summarize-the-classical-application-of-zorn-s-lemma%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I am not really aware of a book like that. There are a few books about the axiom of choice, but they mainly focus on other things, not on "typical applications of Zorn's lemma". These are "Axiom of Choice" by Herrlich and "Axiom of Choice" by Jech, for example.
I would imagine that many books about rings, groups, modules, and other algebraic structures which are infinite, will have a handful of "typical applications of Zorn's lemma".
When I had to explain my students the "typical use", I actually prefer to point them to a different lemma: Teichmüller–Tukey.
Definition. We say that a family of sets $cal F$ has finite character if the following holds: $Aincal F$ if and only if every finite $Bsubseteq A$ satisfies $Bincal F$.
In other words, $cal F$ has finite character if in order to verify that $Aincal F$, we only need to verify that its finite subsets are in $cal F$.
Lemma. (Teichmüller–Tukey) If $cal F$ is a family with finite character, then there is a $subseteq$-maximal member of $cal F$.
Note that it is often easy to verify that something has finite character. For example, linearly independent subsets a of a vector space. If a set $A$ is not linearly independent, this property is already given by a finite subset of $A$. So if all finite subsets of $A$ are linearly independent, so must $A$. Now, by the lemma, there is a maximal element, and then it is not hard to prove that such maximal element is a basis.
In the typical use of Zorn's lemma we actually have a family with finite character. So when we take a chain of sets, the union of these sets generates an upper bound (or it is an upper bound in many cases). The reason is that if the union wouldn't be an upper bound, it means that it fails to satisfy the property we are interested in, but by the finite character, this is witnessed by some finitely many elements in the chain, which is a contradiction, since the maximal one of those (in the chain) would indicate otherwise.
Think about being a subgroup, or an ideal, or a chain in a partial order, or so on. These are all properties of a subset which have finite character. Therefore Zorn's lemma or the Teichmüller–Tukey lemma is so useful in proving the existence of maximal sets with these properties.
$endgroup$
add a comment |
$begingroup$
I am not really aware of a book like that. There are a few books about the axiom of choice, but they mainly focus on other things, not on "typical applications of Zorn's lemma". These are "Axiom of Choice" by Herrlich and "Axiom of Choice" by Jech, for example.
I would imagine that many books about rings, groups, modules, and other algebraic structures which are infinite, will have a handful of "typical applications of Zorn's lemma".
When I had to explain my students the "typical use", I actually prefer to point them to a different lemma: Teichmüller–Tukey.
Definition. We say that a family of sets $cal F$ has finite character if the following holds: $Aincal F$ if and only if every finite $Bsubseteq A$ satisfies $Bincal F$.
In other words, $cal F$ has finite character if in order to verify that $Aincal F$, we only need to verify that its finite subsets are in $cal F$.
Lemma. (Teichmüller–Tukey) If $cal F$ is a family with finite character, then there is a $subseteq$-maximal member of $cal F$.
Note that it is often easy to verify that something has finite character. For example, linearly independent subsets a of a vector space. If a set $A$ is not linearly independent, this property is already given by a finite subset of $A$. So if all finite subsets of $A$ are linearly independent, so must $A$. Now, by the lemma, there is a maximal element, and then it is not hard to prove that such maximal element is a basis.
In the typical use of Zorn's lemma we actually have a family with finite character. So when we take a chain of sets, the union of these sets generates an upper bound (or it is an upper bound in many cases). The reason is that if the union wouldn't be an upper bound, it means that it fails to satisfy the property we are interested in, but by the finite character, this is witnessed by some finitely many elements in the chain, which is a contradiction, since the maximal one of those (in the chain) would indicate otherwise.
Think about being a subgroup, or an ideal, or a chain in a partial order, or so on. These are all properties of a subset which have finite character. Therefore Zorn's lemma or the Teichmüller–Tukey lemma is so useful in proving the existence of maximal sets with these properties.
$endgroup$
add a comment |
$begingroup$
I am not really aware of a book like that. There are a few books about the axiom of choice, but they mainly focus on other things, not on "typical applications of Zorn's lemma". These are "Axiom of Choice" by Herrlich and "Axiom of Choice" by Jech, for example.
I would imagine that many books about rings, groups, modules, and other algebraic structures which are infinite, will have a handful of "typical applications of Zorn's lemma".
When I had to explain my students the "typical use", I actually prefer to point them to a different lemma: Teichmüller–Tukey.
Definition. We say that a family of sets $cal F$ has finite character if the following holds: $Aincal F$ if and only if every finite $Bsubseteq A$ satisfies $Bincal F$.
In other words, $cal F$ has finite character if in order to verify that $Aincal F$, we only need to verify that its finite subsets are in $cal F$.
Lemma. (Teichmüller–Tukey) If $cal F$ is a family with finite character, then there is a $subseteq$-maximal member of $cal F$.
Note that it is often easy to verify that something has finite character. For example, linearly independent subsets a of a vector space. If a set $A$ is not linearly independent, this property is already given by a finite subset of $A$. So if all finite subsets of $A$ are linearly independent, so must $A$. Now, by the lemma, there is a maximal element, and then it is not hard to prove that such maximal element is a basis.
In the typical use of Zorn's lemma we actually have a family with finite character. So when we take a chain of sets, the union of these sets generates an upper bound (or it is an upper bound in many cases). The reason is that if the union wouldn't be an upper bound, it means that it fails to satisfy the property we are interested in, but by the finite character, this is witnessed by some finitely many elements in the chain, which is a contradiction, since the maximal one of those (in the chain) would indicate otherwise.
Think about being a subgroup, or an ideal, or a chain in a partial order, or so on. These are all properties of a subset which have finite character. Therefore Zorn's lemma or the Teichmüller–Tukey lemma is so useful in proving the existence of maximal sets with these properties.
$endgroup$
I am not really aware of a book like that. There are a few books about the axiom of choice, but they mainly focus on other things, not on "typical applications of Zorn's lemma". These are "Axiom of Choice" by Herrlich and "Axiom of Choice" by Jech, for example.
I would imagine that many books about rings, groups, modules, and other algebraic structures which are infinite, will have a handful of "typical applications of Zorn's lemma".
When I had to explain my students the "typical use", I actually prefer to point them to a different lemma: Teichmüller–Tukey.
Definition. We say that a family of sets $cal F$ has finite character if the following holds: $Aincal F$ if and only if every finite $Bsubseteq A$ satisfies $Bincal F$.
In other words, $cal F$ has finite character if in order to verify that $Aincal F$, we only need to verify that its finite subsets are in $cal F$.
Lemma. (Teichmüller–Tukey) If $cal F$ is a family with finite character, then there is a $subseteq$-maximal member of $cal F$.
Note that it is often easy to verify that something has finite character. For example, linearly independent subsets a of a vector space. If a set $A$ is not linearly independent, this property is already given by a finite subset of $A$. So if all finite subsets of $A$ are linearly independent, so must $A$. Now, by the lemma, there is a maximal element, and then it is not hard to prove that such maximal element is a basis.
In the typical use of Zorn's lemma we actually have a family with finite character. So when we take a chain of sets, the union of these sets generates an upper bound (or it is an upper bound in many cases). The reason is that if the union wouldn't be an upper bound, it means that it fails to satisfy the property we are interested in, but by the finite character, this is witnessed by some finitely many elements in the chain, which is a contradiction, since the maximal one of those (in the chain) would indicate otherwise.
Think about being a subgroup, or an ideal, or a chain in a partial order, or so on. These are all properties of a subset which have finite character. Therefore Zorn's lemma or the Teichmüller–Tukey lemma is so useful in proving the existence of maximal sets with these properties.
answered Dec 15 '18 at 14:47
Asaf Karagila♦Asaf Karagila
306k33437767
306k33437767
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3039928%2fbooks-that-summarize-the-classical-application-of-zorn-s-lemma%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Most results which are equivalent to AC are most easily proved using Zorn's Lemma. You can find a list in the wikipedia article: en.wikipedia.org/wiki/Axiom_of_choice#Equivalents. So, you can go though them, find a proof of each that relies on Zorn's Lemma and try to understand the general pattern.
$endgroup$
– lisyarus
Dec 14 '18 at 22:23
$begingroup$
My intuition tells that Zorn's Lemma is just a fancy (transfinite, actually) induction: what you'd prove by induction in a finite / finitely-generated case, you prove by Zorn's Lemma in the general case.
$endgroup$
– lisyarus
Dec 14 '18 at 22:25
$begingroup$
@lisyarus: Or with transfinite induction...
$endgroup$
– Asaf Karagila♦
Dec 15 '18 at 14:34