Axiom of countable choice: a question about the domain. The 2019 Stack Overflow Developer Survey Results Are InAxiom of choice, non-measurable sets, countable unions3 Statements of axiom of choice are equivalentCountable infinity and the axiom of choiceAxiom of choice and the number of choice functionsQuestion about proof in Jech's The axiom of choice ($AC_omega$)Confused about Axiom of ChoiceAxiom of Choice (Naive Set Theory, Halmos)Confusion Regarding the Axiom of Countable ChoiceA proof that a countable product of countable sets is non-empty that does not use the axiom of choice. Is the proof correct?Axiom of Choice iff Every set has a choice function
How can I define good in a religion that claims no moral authority?
Is it correct to say the Neural Networks are an alternative way of performing Maximum Likelihood Estimation? if not, why?
"as much details as you can remember"
ODD NUMBER in Cognitive Linguistics of WILLIAM CROFT and D. ALAN CRUSE
What is the meaning of Triage in Cybersec world?
Are there any other methods to apply to solving simultaneous equations?
Straighten subgroup lattice
How can I add encounters in the Lost Mine of Phandelver campaign without giving PCs too much XP?
Why isn't the circumferential light around the M87 black hole's event horizon symmetric?
What is the most efficient way to store a numeric range?
What is the motivation for a law requiring 2 parties to consent for recording a conversation
Accepted by European university, rejected by all American ones I applied to? Possible reasons?
Relationship between Gromov-Witten and Taubes' Gromov invariant
Falsification in Math vs Science
How do you keep chess fun when your opponent constantly beats you?
For what reasons would an animal species NOT cross a *horizontal* land bridge?
Ubuntu Server install with full GUI
Old scifi movie from the 50s or 60s with men in solid red uniforms who interrogate a spy from the past
Why couldn't they take pictures of a closer black hole?
What's the name of these plastic connectors
Can there be female White Walkers?
Inverse Relationship Between Precision and Recall
I am an eight letter word. What am I?
Does adding complexity mean a more secure cipher?
Axiom of countable choice: a question about the domain.
The 2019 Stack Overflow Developer Survey Results Are InAxiom of choice, non-measurable sets, countable unions3 Statements of axiom of choice are equivalentCountable infinity and the axiom of choiceAxiom of choice and the number of choice functionsQuestion about proof in Jech's The axiom of choice ($AC_omega$)Confused about Axiom of ChoiceAxiom of Choice (Naive Set Theory, Halmos)Confusion Regarding the Axiom of Countable ChoiceA proof that a countable product of countable sets is non-empty that does not use the axiom of choice. Is the proof correct?Axiom of Choice iff Every set has a choice function
$begingroup$
From Wikipedia: The axiom of countable choice or axiom of denumerable choice, denoted $AComega$, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. I.e., given a function $A$ with domain $mathbbN$ (where $mathbbN$ denotes the set of natural numbers) such that $A(n)$ is a non-empty set for every $ninmathbbN$, then there exists a function $f$ with domain $mathbbN$ such that $f(n)in A(n)$ for every $ninmathbbN$.
Question Does function $A$ necessarily need to be defined on $mathbbN$ or can it also be defined on a set $M$ where $|M|=aleph_0$ or $|M|<+infty$?
Thanks!
set-theory axioms
$endgroup$
add a comment |
$begingroup$
From Wikipedia: The axiom of countable choice or axiom of denumerable choice, denoted $AComega$, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. I.e., given a function $A$ with domain $mathbbN$ (where $mathbbN$ denotes the set of natural numbers) such that $A(n)$ is a non-empty set for every $ninmathbbN$, then there exists a function $f$ with domain $mathbbN$ such that $f(n)in A(n)$ for every $ninmathbbN$.
Question Does function $A$ necessarily need to be defined on $mathbbN$ or can it also be defined on a set $M$ where $|M|=aleph_0$ or $|M|<+infty$?
Thanks!
set-theory axioms
$endgroup$
1
$begingroup$
This is not really a question about the axiom of choice. It's about whether or not you can define a function from $Bbb N$ as function from a different countable set...
$endgroup$
– Asaf Karagila♦
Mar 31 at 0:30
add a comment |
$begingroup$
From Wikipedia: The axiom of countable choice or axiom of denumerable choice, denoted $AComega$, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. I.e., given a function $A$ with domain $mathbbN$ (where $mathbbN$ denotes the set of natural numbers) such that $A(n)$ is a non-empty set for every $ninmathbbN$, then there exists a function $f$ with domain $mathbbN$ such that $f(n)in A(n)$ for every $ninmathbbN$.
Question Does function $A$ necessarily need to be defined on $mathbbN$ or can it also be defined on a set $M$ where $|M|=aleph_0$ or $|M|<+infty$?
Thanks!
set-theory axioms
$endgroup$
From Wikipedia: The axiom of countable choice or axiom of denumerable choice, denoted $AComega$, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. I.e., given a function $A$ with domain $mathbbN$ (where $mathbbN$ denotes the set of natural numbers) such that $A(n)$ is a non-empty set for every $ninmathbbN$, then there exists a function $f$ with domain $mathbbN$ such that $f(n)in A(n)$ for every $ninmathbbN$.
Question Does function $A$ necessarily need to be defined on $mathbbN$ or can it also be defined on a set $M$ where $|M|=aleph_0$ or $|M|<+infty$?
Thanks!
set-theory axioms
set-theory axioms
asked Mar 30 at 21:59
Jack J.Jack J.
3592419
3592419
1
$begingroup$
This is not really a question about the axiom of choice. It's about whether or not you can define a function from $Bbb N$ as function from a different countable set...
$endgroup$
– Asaf Karagila♦
Mar 31 at 0:30
add a comment |
1
$begingroup$
This is not really a question about the axiom of choice. It's about whether or not you can define a function from $Bbb N$ as function from a different countable set...
$endgroup$
– Asaf Karagila♦
Mar 31 at 0:30
1
1
$begingroup$
This is not really a question about the axiom of choice. It's about whether or not you can define a function from $Bbb N$ as function from a different countable set...
$endgroup$
– Asaf Karagila♦
Mar 31 at 0:30
$begingroup$
This is not really a question about the axiom of choice. It's about whether or not you can define a function from $Bbb N$ as function from a different countable set...
$endgroup$
– Asaf Karagila♦
Mar 31 at 0:30
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
No, the restriction that the index set (= domain of $A$) be $mathbbN$ is inessential: from the axiom of countable choice as stated we can deduce the apparently-more-general (arbitrary countably-infinite-or-finite index set) form as a corollary.
Below, I'll use the inclusive definition of countability: $X$ is countable if there is an injection from $X$ into $mathbbN$ (this is equivalent to demanding that $X$ admit a surjection from $mathbbN$ or be empty). Suppose $A$ is a function with domain a countable set $I$ such that $A(i)not=emptyset$ for each $iin I$; I'll show that there is a choice function for $A$, that is, a function $f$ with domain $I$ such that $f(i)in A(i)$ for each $iin I$.
Since $I$ is countable, fix an injection $j:IrightarrowmathbbN$. Let $B(n)=A(j^-1(n))$ if $nin ran(j)$ and let $B(n)=0$ (say) otherwise. By AC$omega$ we get a choice function $g$ for $B$. Now define $f$ by setting $$f(i)=g(j(i)).$$
$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%2f3168828%2faxiom-of-countable-choice-a-question-about-the-domain%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$
No, the restriction that the index set (= domain of $A$) be $mathbbN$ is inessential: from the axiom of countable choice as stated we can deduce the apparently-more-general (arbitrary countably-infinite-or-finite index set) form as a corollary.
Below, I'll use the inclusive definition of countability: $X$ is countable if there is an injection from $X$ into $mathbbN$ (this is equivalent to demanding that $X$ admit a surjection from $mathbbN$ or be empty). Suppose $A$ is a function with domain a countable set $I$ such that $A(i)not=emptyset$ for each $iin I$; I'll show that there is a choice function for $A$, that is, a function $f$ with domain $I$ such that $f(i)in A(i)$ for each $iin I$.
Since $I$ is countable, fix an injection $j:IrightarrowmathbbN$. Let $B(n)=A(j^-1(n))$ if $nin ran(j)$ and let $B(n)=0$ (say) otherwise. By AC$omega$ we get a choice function $g$ for $B$. Now define $f$ by setting $$f(i)=g(j(i)).$$
$endgroup$
add a comment |
$begingroup$
No, the restriction that the index set (= domain of $A$) be $mathbbN$ is inessential: from the axiom of countable choice as stated we can deduce the apparently-more-general (arbitrary countably-infinite-or-finite index set) form as a corollary.
Below, I'll use the inclusive definition of countability: $X$ is countable if there is an injection from $X$ into $mathbbN$ (this is equivalent to demanding that $X$ admit a surjection from $mathbbN$ or be empty). Suppose $A$ is a function with domain a countable set $I$ such that $A(i)not=emptyset$ for each $iin I$; I'll show that there is a choice function for $A$, that is, a function $f$ with domain $I$ such that $f(i)in A(i)$ for each $iin I$.
Since $I$ is countable, fix an injection $j:IrightarrowmathbbN$. Let $B(n)=A(j^-1(n))$ if $nin ran(j)$ and let $B(n)=0$ (say) otherwise. By AC$omega$ we get a choice function $g$ for $B$. Now define $f$ by setting $$f(i)=g(j(i)).$$
$endgroup$
add a comment |
$begingroup$
No, the restriction that the index set (= domain of $A$) be $mathbbN$ is inessential: from the axiom of countable choice as stated we can deduce the apparently-more-general (arbitrary countably-infinite-or-finite index set) form as a corollary.
Below, I'll use the inclusive definition of countability: $X$ is countable if there is an injection from $X$ into $mathbbN$ (this is equivalent to demanding that $X$ admit a surjection from $mathbbN$ or be empty). Suppose $A$ is a function with domain a countable set $I$ such that $A(i)not=emptyset$ for each $iin I$; I'll show that there is a choice function for $A$, that is, a function $f$ with domain $I$ such that $f(i)in A(i)$ for each $iin I$.
Since $I$ is countable, fix an injection $j:IrightarrowmathbbN$. Let $B(n)=A(j^-1(n))$ if $nin ran(j)$ and let $B(n)=0$ (say) otherwise. By AC$omega$ we get a choice function $g$ for $B$. Now define $f$ by setting $$f(i)=g(j(i)).$$
$endgroup$
No, the restriction that the index set (= domain of $A$) be $mathbbN$ is inessential: from the axiom of countable choice as stated we can deduce the apparently-more-general (arbitrary countably-infinite-or-finite index set) form as a corollary.
Below, I'll use the inclusive definition of countability: $X$ is countable if there is an injection from $X$ into $mathbbN$ (this is equivalent to demanding that $X$ admit a surjection from $mathbbN$ or be empty). Suppose $A$ is a function with domain a countable set $I$ such that $A(i)not=emptyset$ for each $iin I$; I'll show that there is a choice function for $A$, that is, a function $f$ with domain $I$ such that $f(i)in A(i)$ for each $iin I$.
Since $I$ is countable, fix an injection $j:IrightarrowmathbbN$. Let $B(n)=A(j^-1(n))$ if $nin ran(j)$ and let $B(n)=0$ (say) otherwise. By AC$omega$ we get a choice function $g$ for $B$. Now define $f$ by setting $$f(i)=g(j(i)).$$
answered Mar 30 at 22:05
Noah SchweberNoah Schweber
128k10152294
128k10152294
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%2f3168828%2faxiom-of-countable-choice-a-question-about-the-domain%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
1
$begingroup$
This is not really a question about the axiom of choice. It's about whether or not you can define a function from $Bbb N$ as function from a different countable set...
$endgroup$
– Asaf Karagila♦
Mar 31 at 0:30