Domain of composition of functions
Clash Royale CLAN TAG#URR8PPP
up vote
10
down vote
favorite
I'm teaching a precalculus course and was wanting to let my students try to solve the following problem. If
$$
f(x)=sqrtx, g(x)=fracxx-1,h(x)=sqrt[3]x
$$
Find the domain of
$$fcirc gcirc h
$$
We have the following.
$$
(fcirc gcirc h)(x)=f(g(sqrt[3]x))=f(fracsqrt[3]xsqrt[3]x-1)=sqrtfracsqrt[3]xsqrt[3]x-1
$$
Here is where things get interesting. To find the domain of this function, I need to find where
$$
fracsqrt[3]xsqrt[3]x-1geq0
$$
And this happens when the numerator and denominator have the same sign. Solving the inequality gives me that 0 and 1 are critical points, so I have the following intervals to test for the domain
$$
(-infty,0),(0,1),(1,infty)
$$
Testing points in each interval shows that only the middle interval doesn't satisfy the inequality. Thus, the domain of the composition is
$$
(-infty,0],(1,infty)
$$
However, when I double check this with Wolframalpha and with Symbolab, they both tell me the domain is
$$
0cup(1,infty)
$$
I have double checked my work, and even just blindly inputting test values such as -1 gives me a valid output, so I'm wondering what is going on? On Desmos, I graphed the function and it did include the negative portion of the domain. The only thing I can think of is maybe the other sites are simplifying the expression to get
$$
fracx^frac16sqrtsqrt[3]x-1
$$
and maybe they are hesitant to input negative values into the 6th root. However, if you do this, the complex numbers end up cancelling and you get a real numbered answer.
Any ideas on what is going on?
algebra-precalculus
add a comment |Â
up vote
10
down vote
favorite
I'm teaching a precalculus course and was wanting to let my students try to solve the following problem. If
$$
f(x)=sqrtx, g(x)=fracxx-1,h(x)=sqrt[3]x
$$
Find the domain of
$$fcirc gcirc h
$$
We have the following.
$$
(fcirc gcirc h)(x)=f(g(sqrt[3]x))=f(fracsqrt[3]xsqrt[3]x-1)=sqrtfracsqrt[3]xsqrt[3]x-1
$$
Here is where things get interesting. To find the domain of this function, I need to find where
$$
fracsqrt[3]xsqrt[3]x-1geq0
$$
And this happens when the numerator and denominator have the same sign. Solving the inequality gives me that 0 and 1 are critical points, so I have the following intervals to test for the domain
$$
(-infty,0),(0,1),(1,infty)
$$
Testing points in each interval shows that only the middle interval doesn't satisfy the inequality. Thus, the domain of the composition is
$$
(-infty,0],(1,infty)
$$
However, when I double check this with Wolframalpha and with Symbolab, they both tell me the domain is
$$
0cup(1,infty)
$$
I have double checked my work, and even just blindly inputting test values such as -1 gives me a valid output, so I'm wondering what is going on? On Desmos, I graphed the function and it did include the negative portion of the domain. The only thing I can think of is maybe the other sites are simplifying the expression to get
$$
fracx^frac16sqrtsqrt[3]x-1
$$
and maybe they are hesitant to input negative values into the 6th root. However, if you do this, the complex numbers end up cancelling and you get a real numbered answer.
Any ideas on what is going on?
algebra-precalculus
1
As an aside, my personal crusade is that problems like this should be described as composition of partial functions. Or, at least, should be described as something like "find the largest subset of real numbers on which this expression actually describes a well-defined function".
â Hurkyl
Aug 29 at 21:33
@Hurkyl : I agree. A rule of assignment is not a function â the domain and range must be specified as well before you can call it that. OP should strive to reinforce this idea if he is teaching a precalculus course.
â MPW
Aug 30 at 3:21
Our curriculum is set up in such a way where we rarely define the domain and range beforehand, but have the students figure it out, unless we are dealing with piecewise functions, or finding inverses of certain functions such as x^2. I don't see how this would be a composition of partial functions (which is something we certainly don't cover in the curriculum) as we are dealing the entire domain of the expression.
â JohnC
Aug 30 at 22:08
add a comment |Â
up vote
10
down vote
favorite
up vote
10
down vote
favorite
I'm teaching a precalculus course and was wanting to let my students try to solve the following problem. If
$$
f(x)=sqrtx, g(x)=fracxx-1,h(x)=sqrt[3]x
$$
Find the domain of
$$fcirc gcirc h
$$
We have the following.
$$
(fcirc gcirc h)(x)=f(g(sqrt[3]x))=f(fracsqrt[3]xsqrt[3]x-1)=sqrtfracsqrt[3]xsqrt[3]x-1
$$
Here is where things get interesting. To find the domain of this function, I need to find where
$$
fracsqrt[3]xsqrt[3]x-1geq0
$$
And this happens when the numerator and denominator have the same sign. Solving the inequality gives me that 0 and 1 are critical points, so I have the following intervals to test for the domain
$$
(-infty,0),(0,1),(1,infty)
$$
Testing points in each interval shows that only the middle interval doesn't satisfy the inequality. Thus, the domain of the composition is
$$
(-infty,0],(1,infty)
$$
However, when I double check this with Wolframalpha and with Symbolab, they both tell me the domain is
$$
0cup(1,infty)
$$
I have double checked my work, and even just blindly inputting test values such as -1 gives me a valid output, so I'm wondering what is going on? On Desmos, I graphed the function and it did include the negative portion of the domain. The only thing I can think of is maybe the other sites are simplifying the expression to get
$$
fracx^frac16sqrtsqrt[3]x-1
$$
and maybe they are hesitant to input negative values into the 6th root. However, if you do this, the complex numbers end up cancelling and you get a real numbered answer.
Any ideas on what is going on?
algebra-precalculus
I'm teaching a precalculus course and was wanting to let my students try to solve the following problem. If
$$
f(x)=sqrtx, g(x)=fracxx-1,h(x)=sqrt[3]x
$$
Find the domain of
$$fcirc gcirc h
$$
We have the following.
$$
(fcirc gcirc h)(x)=f(g(sqrt[3]x))=f(fracsqrt[3]xsqrt[3]x-1)=sqrtfracsqrt[3]xsqrt[3]x-1
$$
Here is where things get interesting. To find the domain of this function, I need to find where
$$
fracsqrt[3]xsqrt[3]x-1geq0
$$
And this happens when the numerator and denominator have the same sign. Solving the inequality gives me that 0 and 1 are critical points, so I have the following intervals to test for the domain
$$
(-infty,0),(0,1),(1,infty)
$$
Testing points in each interval shows that only the middle interval doesn't satisfy the inequality. Thus, the domain of the composition is
$$
(-infty,0],(1,infty)
$$
However, when I double check this with Wolframalpha and with Symbolab, they both tell me the domain is
$$
0cup(1,infty)
$$
I have double checked my work, and even just blindly inputting test values such as -1 gives me a valid output, so I'm wondering what is going on? On Desmos, I graphed the function and it did include the negative portion of the domain. The only thing I can think of is maybe the other sites are simplifying the expression to get
$$
fracx^frac16sqrtsqrt[3]x-1
$$
and maybe they are hesitant to input negative values into the 6th root. However, if you do this, the complex numbers end up cancelling and you get a real numbered answer.
Any ideas on what is going on?
algebra-precalculus
asked Aug 29 at 20:13
JohnC
1198
1198
1
As an aside, my personal crusade is that problems like this should be described as composition of partial functions. Or, at least, should be described as something like "find the largest subset of real numbers on which this expression actually describes a well-defined function".
â Hurkyl
Aug 29 at 21:33
@Hurkyl : I agree. A rule of assignment is not a function â the domain and range must be specified as well before you can call it that. OP should strive to reinforce this idea if he is teaching a precalculus course.
â MPW
Aug 30 at 3:21
Our curriculum is set up in such a way where we rarely define the domain and range beforehand, but have the students figure it out, unless we are dealing with piecewise functions, or finding inverses of certain functions such as x^2. I don't see how this would be a composition of partial functions (which is something we certainly don't cover in the curriculum) as we are dealing the entire domain of the expression.
â JohnC
Aug 30 at 22:08
add a comment |Â
1
As an aside, my personal crusade is that problems like this should be described as composition of partial functions. Or, at least, should be described as something like "find the largest subset of real numbers on which this expression actually describes a well-defined function".
â Hurkyl
Aug 29 at 21:33
@Hurkyl : I agree. A rule of assignment is not a function â the domain and range must be specified as well before you can call it that. OP should strive to reinforce this idea if he is teaching a precalculus course.
â MPW
Aug 30 at 3:21
Our curriculum is set up in such a way where we rarely define the domain and range beforehand, but have the students figure it out, unless we are dealing with piecewise functions, or finding inverses of certain functions such as x^2. I don't see how this would be a composition of partial functions (which is something we certainly don't cover in the curriculum) as we are dealing the entire domain of the expression.
â JohnC
Aug 30 at 22:08
1
1
As an aside, my personal crusade is that problems like this should be described as composition of partial functions. Or, at least, should be described as something like "find the largest subset of real numbers on which this expression actually describes a well-defined function".
â Hurkyl
Aug 29 at 21:33
As an aside, my personal crusade is that problems like this should be described as composition of partial functions. Or, at least, should be described as something like "find the largest subset of real numbers on which this expression actually describes a well-defined function".
â Hurkyl
Aug 29 at 21:33
@Hurkyl : I agree. A rule of assignment is not a function â the domain and range must be specified as well before you can call it that. OP should strive to reinforce this idea if he is teaching a precalculus course.
â MPW
Aug 30 at 3:21
@Hurkyl : I agree. A rule of assignment is not a function â the domain and range must be specified as well before you can call it that. OP should strive to reinforce this idea if he is teaching a precalculus course.
â MPW
Aug 30 at 3:21
Our curriculum is set up in such a way where we rarely define the domain and range beforehand, but have the students figure it out, unless we are dealing with piecewise functions, or finding inverses of certain functions such as x^2. I don't see how this would be a composition of partial functions (which is something we certainly don't cover in the curriculum) as we are dealing the entire domain of the expression.
â JohnC
Aug 30 at 22:08
Our curriculum is set up in such a way where we rarely define the domain and range beforehand, but have the students figure it out, unless we are dealing with piecewise functions, or finding inverses of certain functions such as x^2. I don't see how this would be a composition of partial functions (which is something we certainly don't cover in the curriculum) as we are dealing the entire domain of the expression.
â JohnC
Aug 30 at 22:08
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
6
down vote
accepted
The fact is that Wolfram assumes the domain $xge 0$ for the function $sqrt[3] x$ even if for $x in mathbbR$ the function is well defined on the whole domain.
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
add a comment |Â
up vote
6
down vote
Usually, for $alpha notin mathbb N$, mathematical packages only define $x mapsto x^alpha$ for $x ge 0$.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
6
down vote
accepted
The fact is that Wolfram assumes the domain $xge 0$ for the function $sqrt[3] x$ even if for $x in mathbbR$ the function is well defined on the whole domain.
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
add a comment |Â
up vote
6
down vote
accepted
The fact is that Wolfram assumes the domain $xge 0$ for the function $sqrt[3] x$ even if for $x in mathbbR$ the function is well defined on the whole domain.
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
add a comment |Â
up vote
6
down vote
accepted
up vote
6
down vote
accepted
The fact is that Wolfram assumes the domain $xge 0$ for the function $sqrt[3] x$ even if for $x in mathbbR$ the function is well defined on the whole domain.
The fact is that Wolfram assumes the domain $xge 0$ for the function $sqrt[3] x$ even if for $x in mathbbR$ the function is well defined on the whole domain.
edited Aug 29 at 20:26
answered Aug 29 at 20:22
gimusi
70.7k73786
70.7k73786
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
add a comment |Â
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
That did it! I didn't even notice I needed to tell the site to use the real valued root instead of the principal root. I imagine the situation on the other site is similar.
â JohnC
Aug 29 at 20:25
add a comment |Â
up vote
6
down vote
Usually, for $alpha notin mathbb N$, mathematical packages only define $x mapsto x^alpha$ for $x ge 0$.
add a comment |Â
up vote
6
down vote
Usually, for $alpha notin mathbb N$, mathematical packages only define $x mapsto x^alpha$ for $x ge 0$.
add a comment |Â
up vote
6
down vote
up vote
6
down vote
Usually, for $alpha notin mathbb N$, mathematical packages only define $x mapsto x^alpha$ for $x ge 0$.
Usually, for $alpha notin mathbb N$, mathematical packages only define $x mapsto x^alpha$ for $x ge 0$.
answered Aug 29 at 20:25
mathcounterexamples.net
25.5k21754
25.5k21754
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2898765%2fdomain-of-composition-of-functions%23new-answer', 'question_page');
);
Post as a guest
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
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
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
1
As an aside, my personal crusade is that problems like this should be described as composition of partial functions. Or, at least, should be described as something like "find the largest subset of real numbers on which this expression actually describes a well-defined function".
â Hurkyl
Aug 29 at 21:33
@Hurkyl : I agree. A rule of assignment is not a function â the domain and range must be specified as well before you can call it that. OP should strive to reinforce this idea if he is teaching a precalculus course.
â MPW
Aug 30 at 3:21
Our curriculum is set up in such a way where we rarely define the domain and range beforehand, but have the students figure it out, unless we are dealing with piecewise functions, or finding inverses of certain functions such as x^2. I don't see how this would be a composition of partial functions (which is something we certainly don't cover in the curriculum) as we are dealing the entire domain of the expression.
â JohnC
Aug 30 at 22:08