Why are infinite cardinals limit ordinals?
$begingroup$
My book states this as obvious, but it isn't so trivial to me. thanks
elementary-set-theory cardinals ordinals
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
asked Feb 16 '13 at 16:19
mrksmrks
412
$endgroup$
add a comment |
$begingroup$
My book states this as obvious, but it isn't so trivial to me. thanks
elementary-set-theory cardinals ordinals
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
asked Feb 16 '13 at 16:19
mrksmrks
412
$endgroup$
2
$begingroup$
Can you come up with a bijection between $alpha$ and $alpha + 1$, where $alpha$ is an infinite ordinal?
$endgroup$
– Alexander Thumm
Feb 16 '13 at 16:22
add a comment |
$begingroup$
My book states this as obvious, but it isn't so trivial to me. thanks
elementary-set-theory cardinals ordinals
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
asked Feb 16 '13 at 16:19
mrksmrks
412
$endgroup$
My book states this as obvious, but it isn't so trivial to me. thanks
elementary-set-theory cardinals ordinals
elementary-set-theory cardinals ordinals
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
asked Feb 16 '13 at 16:19
mrksmrks
412
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
asked Feb 16 '13 at 16:19
mrksmrks
412
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
edited Feb 16 '13 at 16:38
Asaf Karagila♦
307k33439770
307k33439770
asked Feb 16 '13 at 16:19
mrksmrks
412
asked Feb 16 '13 at 16:19
mrksmrks
412
asked Feb 16 '13 at 16:19
mrksmrks
412
412
2
$begingroup$
Can you come up with a bijection between $alpha$ and $alpha + 1$, where $alpha$ is an infinite ordinal?
$endgroup$
– Alexander Thumm
Feb 16 '13 at 16:22
add a comment |
2
$begingroup$
Can you come up with a bijection between $alpha$ and $alpha + 1$, where $alpha$ is an infinite ordinal?
$endgroup$
– Alexander Thumm
Feb 16 '13 at 16:22
2
2
$begingroup$
Can you come up with a bijection between $alpha$ and $alpha + 1$, where $alpha$ is an infinite ordinal?
$endgroup$
– Alexander Thumm
Feb 16 '13 at 16:22
$begingroup$
Can you come up with a bijection between $alpha$ and $alpha + 1$, where $alpha$ is an infinite ordinal?
$endgroup$
– Alexander Thumm
Feb 16 '13 at 16:22
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Recall that a cardinal is an initial ordinal, an ordinal which cannot be put in bijection into a smaller ordinal. Thanks to the Cantor-Bernstein theorem it is enough to show that there is no injection into a smaller ordinal instead.
If an infinite ordinal $alpha$ is not a limit ordinal then there is some $beta$ such that $alpha=betacup{beta}$.
The map $gcolonalphatobeta$ defined as: $$g(x)=begin{cases} 0 & x=beta\x+1 & x<omega\x & text{otherwise}end{cases}$$
is injective from $alpha$ into a smaller ordinal, and therefore $alpha$ cannot be an initial ordinal, that is a cardinal.
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
$endgroup$
add a comment |
$begingroup$
They are ordinals by definition, because we choose to use initial ordinals as the canonical representative of each class of sets-with-the-same-cardinality. This choice could in principle have been made differently, but it turns out to be a useful convention (though it only works in when we have the Axiom of Choice).
They are limit ordinals, because (except for 0) limit ordinals are precisely the ordinals that are not successor ordinals. And an infinite successor ordinal always has the same cardinality as the one it is a successor of (you can make a bijection that moves the last element away into the initial $omega$ segment with the standard Hilberts-Hotel trick), so a successor ordinal is never the first ordinal with a given cardinality.
(On the other hand, beware that not all limit ordinals are cardinals).
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
$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%2f305597%2fwhy-are-infinite-cardinals-limit-ordinals%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Recall that a cardinal is an initial ordinal, an ordinal which cannot be put in bijection into a smaller ordinal. Thanks to the Cantor-Bernstein theorem it is enough to show that there is no injection into a smaller ordinal instead.
If an infinite ordinal $alpha$ is not a limit ordinal then there is some $beta$ such that $alpha=betacup{beta}$.
The map $gcolonalphatobeta$ defined as: $$g(x)=begin{cases} 0 & x=beta\x+1 & x<omega\x & text{otherwise}end{cases}$$
is injective from $alpha$ into a smaller ordinal, and therefore $alpha$ cannot be an initial ordinal, that is a cardinal.
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
$endgroup$
add a comment |
$begingroup$
Recall that a cardinal is an initial ordinal, an ordinal which cannot be put in bijection into a smaller ordinal. Thanks to the Cantor-Bernstein theorem it is enough to show that there is no injection into a smaller ordinal instead.
If an infinite ordinal $alpha$ is not a limit ordinal then there is some $beta$ such that $alpha=betacup{beta}$.
The map $gcolonalphatobeta$ defined as: $$g(x)=begin{cases} 0 & x=beta\x+1 & x<omega\x & text{otherwise}end{cases}$$
is injective from $alpha$ into a smaller ordinal, and therefore $alpha$ cannot be an initial ordinal, that is a cardinal.
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
$endgroup$
add a comment |
$begingroup$
Recall that a cardinal is an initial ordinal, an ordinal which cannot be put in bijection into a smaller ordinal. Thanks to the Cantor-Bernstein theorem it is enough to show that there is no injection into a smaller ordinal instead.
If an infinite ordinal $alpha$ is not a limit ordinal then there is some $beta$ such that $alpha=betacup{beta}$.
The map $gcolonalphatobeta$ defined as: $$g(x)=begin{cases} 0 & x=beta\x+1 & x<omega\x & text{otherwise}end{cases}$$
is injective from $alpha$ into a smaller ordinal, and therefore $alpha$ cannot be an initial ordinal, that is a cardinal.
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
$endgroup$
Recall that a cardinal is an initial ordinal, an ordinal which cannot be put in bijection into a smaller ordinal. Thanks to the Cantor-Bernstein theorem it is enough to show that there is no injection into a smaller ordinal instead.
If an infinite ordinal $alpha$ is not a limit ordinal then there is some $beta$ such that $alpha=betacup{beta}$.
The map $gcolonalphatobeta$ defined as: $$g(x)=begin{cases} 0 & x=beta\x+1 & x<omega\x & text{otherwise}end{cases}$$
is injective from $alpha$ into a smaller ordinal, and therefore $alpha$ cannot be an initial ordinal, that is a cardinal.
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
edited Feb 16 '13 at 16:46
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
answered Feb 16 '13 at 16:38
Asaf Karagila♦Asaf Karagila
307k33439770
307k33439770
add a comment |
add a comment |
$begingroup$
They are ordinals by definition, because we choose to use initial ordinals as the canonical representative of each class of sets-with-the-same-cardinality. This choice could in principle have been made differently, but it turns out to be a useful convention (though it only works in when we have the Axiom of Choice).
They are limit ordinals, because (except for 0) limit ordinals are precisely the ordinals that are not successor ordinals. And an infinite successor ordinal always has the same cardinality as the one it is a successor of (you can make a bijection that moves the last element away into the initial $omega$ segment with the standard Hilberts-Hotel trick), so a successor ordinal is never the first ordinal with a given cardinality.
(On the other hand, beware that not all limit ordinals are cardinals).
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
$endgroup$
add a comment |
$begingroup$
They are ordinals by definition, because we choose to use initial ordinals as the canonical representative of each class of sets-with-the-same-cardinality. This choice could in principle have been made differently, but it turns out to be a useful convention (though it only works in when we have the Axiom of Choice).
They are limit ordinals, because (except for 0) limit ordinals are precisely the ordinals that are not successor ordinals. And an infinite successor ordinal always has the same cardinality as the one it is a successor of (you can make a bijection that moves the last element away into the initial $omega$ segment with the standard Hilberts-Hotel trick), so a successor ordinal is never the first ordinal with a given cardinality.
(On the other hand, beware that not all limit ordinals are cardinals).
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
$endgroup$
add a comment |
$begingroup$
They are ordinals by definition, because we choose to use initial ordinals as the canonical representative of each class of sets-with-the-same-cardinality. This choice could in principle have been made differently, but it turns out to be a useful convention (though it only works in when we have the Axiom of Choice).
They are limit ordinals, because (except for 0) limit ordinals are precisely the ordinals that are not successor ordinals. And an infinite successor ordinal always has the same cardinality as the one it is a successor of (you can make a bijection that moves the last element away into the initial $omega$ segment with the standard Hilberts-Hotel trick), so a successor ordinal is never the first ordinal with a given cardinality.
(On the other hand, beware that not all limit ordinals are cardinals).
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
$endgroup$
They are ordinals by definition, because we choose to use initial ordinals as the canonical representative of each class of sets-with-the-same-cardinality. This choice could in principle have been made differently, but it turns out to be a useful convention (though it only works in when we have the Axiom of Choice).
They are limit ordinals, because (except for 0) limit ordinals are precisely the ordinals that are not successor ordinals. And an infinite successor ordinal always has the same cardinality as the one it is a successor of (you can make a bijection that moves the last element away into the initial $omega$ segment with the standard Hilberts-Hotel trick), so a successor ordinal is never the first ordinal with a given cardinality.
(On the other hand, beware that not all limit ordinals are cardinals).
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
answered Feb 16 '13 at 16:33
Henning MakholmHenning Makholm
242k17308551
242k17308551
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%2f305597%2fwhy-are-infinite-cardinals-limit-ordinals%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
2
$begingroup$
Can you come up with a bijection between $alpha$ and $alpha + 1$, where $alpha$ is an infinite ordinal?
$endgroup$
– Alexander Thumm
Feb 16 '13 at 16:22