Image of $f: Ato B$, $;f(x)=|x/2|$, for $xin mathbb Q$ such that $-12leq xleq 4$.
$begingroup$
Let $A subseteq mathbb{R}, B subset mathbb{R}^{+} cup {0}$, and $A={{xinmathbb{Q}mid -12leq x leq4}}.;$ Find $f(A)$, where $f(x)= |frac x2|$.
How to start? $mathbb{Q}$ is the set of rational numbers, so in $A$ will be $1/2,1/3,1/4$... to $4$ and in the negative to $-12$? There will be a lot of numbers to write! Please help.
Is it $$A={−12,−11,−10,−9,−8,−7,−6,−5,−4,−3,−2,−1,0,1,2,3,4}$$ or no?
functions discrete-mathematics
$endgroup$
add a comment |
$begingroup$
Let $A subseteq mathbb{R}, B subset mathbb{R}^{+} cup {0}$, and $A={{xinmathbb{Q}mid -12leq x leq4}}.;$ Find $f(A)$, where $f(x)= |frac x2|$.
How to start? $mathbb{Q}$ is the set of rational numbers, so in $A$ will be $1/2,1/3,1/4$... to $4$ and in the negative to $-12$? There will be a lot of numbers to write! Please help.
Is it $$A={−12,−11,−10,−9,−8,−7,−6,−5,−4,−3,−2,−1,0,1,2,3,4}$$ or no?
functions discrete-mathematics
$endgroup$
$begingroup$
Is the set $B$ used at all?
$endgroup$
– pwerth
Jan 17 at 17:37
$begingroup$
Yes there is one more request $f^{-1}(B)$
$endgroup$
– Viktor
Jan 17 at 17:38
add a comment |
$begingroup$
Let $A subseteq mathbb{R}, B subset mathbb{R}^{+} cup {0}$, and $A={{xinmathbb{Q}mid -12leq x leq4}}.;$ Find $f(A)$, where $f(x)= |frac x2|$.
How to start? $mathbb{Q}$ is the set of rational numbers, so in $A$ will be $1/2,1/3,1/4$... to $4$ and in the negative to $-12$? There will be a lot of numbers to write! Please help.
Is it $$A={−12,−11,−10,−9,−8,−7,−6,−5,−4,−3,−2,−1,0,1,2,3,4}$$ or no?
functions discrete-mathematics
$endgroup$
Let $A subseteq mathbb{R}, B subset mathbb{R}^{+} cup {0}$, and $A={{xinmathbb{Q}mid -12leq x leq4}}.;$ Find $f(A)$, where $f(x)= |frac x2|$.
How to start? $mathbb{Q}$ is the set of rational numbers, so in $A$ will be $1/2,1/3,1/4$... to $4$ and in the negative to $-12$? There will be a lot of numbers to write! Please help.
Is it $$A={−12,−11,−10,−9,−8,−7,−6,−5,−4,−3,−2,−1,0,1,2,3,4}$$ or no?
functions discrete-mathematics
functions discrete-mathematics
edited Jan 17 at 23:45
jordan_glen
1
1
asked Jan 17 at 17:23
ViktorViktor
477
477
$begingroup$
Is the set $B$ used at all?
$endgroup$
– pwerth
Jan 17 at 17:37
$begingroup$
Yes there is one more request $f^{-1}(B)$
$endgroup$
– Viktor
Jan 17 at 17:38
add a comment |
$begingroup$
Is the set $B$ used at all?
$endgroup$
– pwerth
Jan 17 at 17:37
$begingroup$
Yes there is one more request $f^{-1}(B)$
$endgroup$
– Viktor
Jan 17 at 17:38
$begingroup$
Is the set $B$ used at all?
$endgroup$
– pwerth
Jan 17 at 17:37
$begingroup$
Is the set $B$ used at all?
$endgroup$
– pwerth
Jan 17 at 17:37
$begingroup$
Yes there is one more request $f^{-1}(B)$
$endgroup$
– Viktor
Jan 17 at 17:38
$begingroup$
Yes there is one more request $f^{-1}(B)$
$endgroup$
– Viktor
Jan 17 at 17:38
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
By definition, the image of $f$ is
$${|x/2|:xinmathbb{Q}cap[-12,4]}.$$
I think it will be easier to see what this reduces to if you notice that
begin{align}
{|x/2|:xinmathbb{Q}cap[-12,4]}&= {x/2:xinmathbb{Q}cap[0,12]}
end{align}
This is because $f(x)=left|x/2right| geq 0, forall x in mathbb Qcap [-12, 4]$, so we can just assume we're working on a set of non-negative numbers, and then the absolute value bars aren't needed.
I claim that
$${x/2:xinmathbb{Q}cap[0,12]}= mathbb{Q}cap[0,6].$$
To show these sets are equal, observe that the left-hand-side is clearly contained in the RHS because if we take a rational number in $[0,12]$ and divide it by $2$, it is now in $[0,6]$ and still rational. Conversely, given any rational number $qin[0,6]$, $2q$ is a rational number in $[0,12]$ and $q=2q/2$. Therefore the image of $f$ is the set of rational numbers between $0$ and $6$. Hence,
$$f(A)=mathbb{Q}cap[0,6]$$
$endgroup$
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
1
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
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%2f3077256%2fimage-of-f-a-to-b-fx-x-2-for-x-in-mathbb-q-such-that-12-leq-x%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$
By definition, the image of $f$ is
$${|x/2|:xinmathbb{Q}cap[-12,4]}.$$
I think it will be easier to see what this reduces to if you notice that
begin{align}
{|x/2|:xinmathbb{Q}cap[-12,4]}&= {x/2:xinmathbb{Q}cap[0,12]}
end{align}
This is because $f(x)=left|x/2right| geq 0, forall x in mathbb Qcap [-12, 4]$, so we can just assume we're working on a set of non-negative numbers, and then the absolute value bars aren't needed.
I claim that
$${x/2:xinmathbb{Q}cap[0,12]}= mathbb{Q}cap[0,6].$$
To show these sets are equal, observe that the left-hand-side is clearly contained in the RHS because if we take a rational number in $[0,12]$ and divide it by $2$, it is now in $[0,6]$ and still rational. Conversely, given any rational number $qin[0,6]$, $2q$ is a rational number in $[0,12]$ and $q=2q/2$. Therefore the image of $f$ is the set of rational numbers between $0$ and $6$. Hence,
$$f(A)=mathbb{Q}cap[0,6]$$
$endgroup$
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
1
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
add a comment |
$begingroup$
By definition, the image of $f$ is
$${|x/2|:xinmathbb{Q}cap[-12,4]}.$$
I think it will be easier to see what this reduces to if you notice that
begin{align}
{|x/2|:xinmathbb{Q}cap[-12,4]}&= {x/2:xinmathbb{Q}cap[0,12]}
end{align}
This is because $f(x)=left|x/2right| geq 0, forall x in mathbb Qcap [-12, 4]$, so we can just assume we're working on a set of non-negative numbers, and then the absolute value bars aren't needed.
I claim that
$${x/2:xinmathbb{Q}cap[0,12]}= mathbb{Q}cap[0,6].$$
To show these sets are equal, observe that the left-hand-side is clearly contained in the RHS because if we take a rational number in $[0,12]$ and divide it by $2$, it is now in $[0,6]$ and still rational. Conversely, given any rational number $qin[0,6]$, $2q$ is a rational number in $[0,12]$ and $q=2q/2$. Therefore the image of $f$ is the set of rational numbers between $0$ and $6$. Hence,
$$f(A)=mathbb{Q}cap[0,6]$$
$endgroup$
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
1
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
add a comment |
$begingroup$
By definition, the image of $f$ is
$${|x/2|:xinmathbb{Q}cap[-12,4]}.$$
I think it will be easier to see what this reduces to if you notice that
begin{align}
{|x/2|:xinmathbb{Q}cap[-12,4]}&= {x/2:xinmathbb{Q}cap[0,12]}
end{align}
This is because $f(x)=left|x/2right| geq 0, forall x in mathbb Qcap [-12, 4]$, so we can just assume we're working on a set of non-negative numbers, and then the absolute value bars aren't needed.
I claim that
$${x/2:xinmathbb{Q}cap[0,12]}= mathbb{Q}cap[0,6].$$
To show these sets are equal, observe that the left-hand-side is clearly contained in the RHS because if we take a rational number in $[0,12]$ and divide it by $2$, it is now in $[0,6]$ and still rational. Conversely, given any rational number $qin[0,6]$, $2q$ is a rational number in $[0,12]$ and $q=2q/2$. Therefore the image of $f$ is the set of rational numbers between $0$ and $6$. Hence,
$$f(A)=mathbb{Q}cap[0,6]$$
$endgroup$
By definition, the image of $f$ is
$${|x/2|:xinmathbb{Q}cap[-12,4]}.$$
I think it will be easier to see what this reduces to if you notice that
begin{align}
{|x/2|:xinmathbb{Q}cap[-12,4]}&= {x/2:xinmathbb{Q}cap[0,12]}
end{align}
This is because $f(x)=left|x/2right| geq 0, forall x in mathbb Qcap [-12, 4]$, so we can just assume we're working on a set of non-negative numbers, and then the absolute value bars aren't needed.
I claim that
$${x/2:xinmathbb{Q}cap[0,12]}= mathbb{Q}cap[0,6].$$
To show these sets are equal, observe that the left-hand-side is clearly contained in the RHS because if we take a rational number in $[0,12]$ and divide it by $2$, it is now in $[0,6]$ and still rational. Conversely, given any rational number $qin[0,6]$, $2q$ is a rational number in $[0,12]$ and $q=2q/2$. Therefore the image of $f$ is the set of rational numbers between $0$ and $6$. Hence,
$$f(A)=mathbb{Q}cap[0,6]$$
edited Jan 17 at 23:45
jordan_glen
1
1
answered Jan 17 at 17:35
pwerthpwerth
3,243417
3,243417
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
1
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
add a comment |
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
1
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
Tell me is it $A={{-12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1,2,3,4}}$ or no?
$endgroup$
– Viktor
Jan 17 at 19:28
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
$begingroup$
No, $A$ is every rational number between $-12$ and $4$. You only listed the integers in that range. You can't possibly write down all the rationals since there are infinitely many of them, which is why we use set notation
$endgroup$
– pwerth
Jan 17 at 20:06
1
1
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
$begingroup$
Indeed, Viktor, please read through this answer carefully: In your own statement of the problem, Viktor, we have $xA = {xin mathbb Qmid -12leq xleq 4}$. That means $A$ contains all rational numbers in the interval $[-12, 4] subset mathbb Q$. While $A$ does contain the intergers you list, $A$ contains countably infinite many of rational numbers, of which there are only finitely many integers. Note that $f(A) = { |x/2|mid xin mathbb Q cap [-12, 4]}$, and @pwerth helps you to narrow that down.
$endgroup$
– jordan_glen
Jan 17 at 23:04
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%2f3077256%2fimage-of-f-a-to-b-fx-x-2-for-x-in-mathbb-q-such-that-12-leq-x%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$
Is the set $B$ used at all?
$endgroup$
– pwerth
Jan 17 at 17:37
$begingroup$
Yes there is one more request $f^{-1}(B)$
$endgroup$
– Viktor
Jan 17 at 17:38