Does a function that maps from (almost) any natural number to its set of prime factors is surjective?
$begingroup$
Let $A$ be the set of all prime numbers, let $B = mathbb{N} - {0,1}$, and let $f : B to P(A)$ be the function that maps any $b in B$ its set of prime factors. e.g, $f(70)={2,5,7}$.
Is $f$ surjective over $P(A)$?
What I think: Yes, it's surjective, because we can take any prime-factors subset in $P(A)$, and the product of its members is a natural number.
However, I'm not quite sure, since $A$ itself is in $P(A)$, and $A$ is an infinite set, and I don't really know if we can represent some $x in B$ with some "infinite quality" as well...Honestly, using Infinity is currently out of my knowledge (or this homework question).
I'd be glad to understand why is itnot surjective, and should I take into account the "infinite quality" of $A$ orand $B$.
functions elementary-set-theory prime-factorization
$endgroup$
add a comment |
$begingroup$
Let $A$ be the set of all prime numbers, let $B = mathbb{N} - {0,1}$, and let $f : B to P(A)$ be the function that maps any $b in B$ its set of prime factors. e.g, $f(70)={2,5,7}$.
Is $f$ surjective over $P(A)$?
What I think: Yes, it's surjective, because we can take any prime-factors subset in $P(A)$, and the product of its members is a natural number.
However, I'm not quite sure, since $A$ itself is in $P(A)$, and $A$ is an infinite set, and I don't really know if we can represent some $x in B$ with some "infinite quality" as well...Honestly, using Infinity is currently out of my knowledge (or this homework question).
I'd be glad to understand why is itnot surjective, and should I take into account the "infinite quality" of $A$ orand $B$.
functions elementary-set-theory prime-factorization
$endgroup$
$begingroup$
I think you mean to ask whether $f$ is surjective over $P(A)-{phi}$.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:05
$begingroup$
@ShubhamJohri, I asked as I intended, but will the answer be different with your rephrasing?
$endgroup$
– HeyJude
Nov 24 '18 at 22:07
1
$begingroup$
If $phi$ is included in the codomain, there is no $bin B$ such that $f(b)={}$. The answer is the same, but it avoids your real concern.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:10
add a comment |
$begingroup$
Let $A$ be the set of all prime numbers, let $B = mathbb{N} - {0,1}$, and let $f : B to P(A)$ be the function that maps any $b in B$ its set of prime factors. e.g, $f(70)={2,5,7}$.
Is $f$ surjective over $P(A)$?
What I think: Yes, it's surjective, because we can take any prime-factors subset in $P(A)$, and the product of its members is a natural number.
However, I'm not quite sure, since $A$ itself is in $P(A)$, and $A$ is an infinite set, and I don't really know if we can represent some $x in B$ with some "infinite quality" as well...Honestly, using Infinity is currently out of my knowledge (or this homework question).
I'd be glad to understand why is itnot surjective, and should I take into account the "infinite quality" of $A$ orand $B$.
functions elementary-set-theory prime-factorization
$endgroup$
Let $A$ be the set of all prime numbers, let $B = mathbb{N} - {0,1}$, and let $f : B to P(A)$ be the function that maps any $b in B$ its set of prime factors. e.g, $f(70)={2,5,7}$.
Is $f$ surjective over $P(A)$?
What I think: Yes, it's surjective, because we can take any prime-factors subset in $P(A)$, and the product of its members is a natural number.
However, I'm not quite sure, since $A$ itself is in $P(A)$, and $A$ is an infinite set, and I don't really know if we can represent some $x in B$ with some "infinite quality" as well...Honestly, using Infinity is currently out of my knowledge (or this homework question).
I'd be glad to understand why is itnot surjective, and should I take into account the "infinite quality" of $A$ orand $B$.
functions elementary-set-theory prime-factorization
functions elementary-set-theory prime-factorization
asked Nov 24 '18 at 21:59
HeyJudeHeyJude
1687
1687
$begingroup$
I think you mean to ask whether $f$ is surjective over $P(A)-{phi}$.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:05
$begingroup$
@ShubhamJohri, I asked as I intended, but will the answer be different with your rephrasing?
$endgroup$
– HeyJude
Nov 24 '18 at 22:07
1
$begingroup$
If $phi$ is included in the codomain, there is no $bin B$ such that $f(b)={}$. The answer is the same, but it avoids your real concern.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:10
add a comment |
$begingroup$
I think you mean to ask whether $f$ is surjective over $P(A)-{phi}$.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:05
$begingroup$
@ShubhamJohri, I asked as I intended, but will the answer be different with your rephrasing?
$endgroup$
– HeyJude
Nov 24 '18 at 22:07
1
$begingroup$
If $phi$ is included in the codomain, there is no $bin B$ such that $f(b)={}$. The answer is the same, but it avoids your real concern.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:10
$begingroup$
I think you mean to ask whether $f$ is surjective over $P(A)-{phi}$.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:05
$begingroup$
I think you mean to ask whether $f$ is surjective over $P(A)-{phi}$.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:05
$begingroup$
@ShubhamJohri, I asked as I intended, but will the answer be different with your rephrasing?
$endgroup$
– HeyJude
Nov 24 '18 at 22:07
$begingroup$
@ShubhamJohri, I asked as I intended, but will the answer be different with your rephrasing?
$endgroup$
– HeyJude
Nov 24 '18 at 22:07
1
1
$begingroup$
If $phi$ is included in the codomain, there is no $bin B$ such that $f(b)={}$. The answer is the same, but it avoids your real concern.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:10
$begingroup$
If $phi$ is included in the codomain, there is no $bin B$ such that $f(b)={}$. The answer is the same, but it avoids your real concern.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:10
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Your argument is fine: the map $f$ is not surjective since, for each $nin B$, $f(n)$ is a finite subset of $A$, and therefore no infinite subset of $A$ belongs to the range of $f$. On the other hand, you proved correctly that every finite subset of $A$ belongs to the range of $f$.
$endgroup$
add a comment |
$begingroup$
Your concern is exactly right. If you consider the subset $A$ of $A$, i.e.,
$$
A = {2, 3, 5, ldots }
$$
then there's no natural number whose prime factorization corresponds to $A$, for every natural number has a unique factorization into a product of finitely many (possible zero!) prime factors, while the set $A$ is infinite. In particular, the prime factors of $n$ are all no greater than $n$, but there's always a prime greater than any natural number $n$.
$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%2f3012144%2fdoes-a-function-that-maps-from-almost-any-natural-number-to-its-set-of-prime-f%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$
Your argument is fine: the map $f$ is not surjective since, for each $nin B$, $f(n)$ is a finite subset of $A$, and therefore no infinite subset of $A$ belongs to the range of $f$. On the other hand, you proved correctly that every finite subset of $A$ belongs to the range of $f$.
$endgroup$
add a comment |
$begingroup$
Your argument is fine: the map $f$ is not surjective since, for each $nin B$, $f(n)$ is a finite subset of $A$, and therefore no infinite subset of $A$ belongs to the range of $f$. On the other hand, you proved correctly that every finite subset of $A$ belongs to the range of $f$.
$endgroup$
add a comment |
$begingroup$
Your argument is fine: the map $f$ is not surjective since, for each $nin B$, $f(n)$ is a finite subset of $A$, and therefore no infinite subset of $A$ belongs to the range of $f$. On the other hand, you proved correctly that every finite subset of $A$ belongs to the range of $f$.
$endgroup$
Your argument is fine: the map $f$ is not surjective since, for each $nin B$, $f(n)$ is a finite subset of $A$, and therefore no infinite subset of $A$ belongs to the range of $f$. On the other hand, you proved correctly that every finite subset of $A$ belongs to the range of $f$.
answered Nov 24 '18 at 22:02
José Carlos SantosJosé Carlos Santos
154k22123226
154k22123226
add a comment |
add a comment |
$begingroup$
Your concern is exactly right. If you consider the subset $A$ of $A$, i.e.,
$$
A = {2, 3, 5, ldots }
$$
then there's no natural number whose prime factorization corresponds to $A$, for every natural number has a unique factorization into a product of finitely many (possible zero!) prime factors, while the set $A$ is infinite. In particular, the prime factors of $n$ are all no greater than $n$, but there's always a prime greater than any natural number $n$.
$endgroup$
add a comment |
$begingroup$
Your concern is exactly right. If you consider the subset $A$ of $A$, i.e.,
$$
A = {2, 3, 5, ldots }
$$
then there's no natural number whose prime factorization corresponds to $A$, for every natural number has a unique factorization into a product of finitely many (possible zero!) prime factors, while the set $A$ is infinite. In particular, the prime factors of $n$ are all no greater than $n$, but there's always a prime greater than any natural number $n$.
$endgroup$
add a comment |
$begingroup$
Your concern is exactly right. If you consider the subset $A$ of $A$, i.e.,
$$
A = {2, 3, 5, ldots }
$$
then there's no natural number whose prime factorization corresponds to $A$, for every natural number has a unique factorization into a product of finitely many (possible zero!) prime factors, while the set $A$ is infinite. In particular, the prime factors of $n$ are all no greater than $n$, but there's always a prime greater than any natural number $n$.
$endgroup$
Your concern is exactly right. If you consider the subset $A$ of $A$, i.e.,
$$
A = {2, 3, 5, ldots }
$$
then there's no natural number whose prime factorization corresponds to $A$, for every natural number has a unique factorization into a product of finitely many (possible zero!) prime factors, while the set $A$ is infinite. In particular, the prime factors of $n$ are all no greater than $n$, but there's always a prime greater than any natural number $n$.
answered Nov 24 '18 at 22:03
John HughesJohn Hughes
62.7k24090
62.7k24090
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%2f3012144%2fdoes-a-function-that-maps-from-almost-any-natural-number-to-its-set-of-prime-f%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$
I think you mean to ask whether $f$ is surjective over $P(A)-{phi}$.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:05
$begingroup$
@ShubhamJohri, I asked as I intended, but will the answer be different with your rephrasing?
$endgroup$
– HeyJude
Nov 24 '18 at 22:07
1
$begingroup$
If $phi$ is included in the codomain, there is no $bin B$ such that $f(b)={}$. The answer is the same, but it avoids your real concern.
$endgroup$
– Shubham Johri
Nov 24 '18 at 22:10