Image of $f: Ato B$, $;f(x)=|x/2|$, for $xin mathbb Q$ such that $-12leq xleq 4$.












0












$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?










share|cite|improve this question











$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
















0












$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?










share|cite|improve this question











$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














0












0








0





$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?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • $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










1 Answer
1






active

oldest

votes


















1












$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]$$






share|cite|improve this answer











$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













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
});


}
});














draft saved

draft discarded


















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









1












$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]$$






share|cite|improve this answer











$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


















1












$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]$$






share|cite|improve this answer











$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
















1












1








1





$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]$$






share|cite|improve this answer











$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]$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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




















  • $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




















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

MongoDB - Not Authorized To Execute Command

How to fix TextFormField cause rebuild widget in Flutter

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith