# Composition of function

• Apr 7th 2012, 11:52 PM
clerk
Composition of function
In my textbook it says that in composition of functions we require domain of second function to be EQUAL to the range of the first. My question is that why cannot the range of the first function be a subset of the domain of the second?
• Apr 8th 2012, 12:43 AM
princeps
Re: Composition of function
Quote:

Originally Posted by clerk
In my textbook it says that in composition of functions we require domain of second function to be EQUAL to the range of the first. My question is that why cannot the range of the first function be a subset of the domain of the second?

"The nesting of two or more functions to form a single new function is known as composition. The composition of two functions f and g is denoted\$\displaystyle f \circ g\$, where f is a function whose domain includes the range of g ." -from MathWorld
• Apr 8th 2012, 12:51 AM
biffboy
Re: Composition of function
Think about the domain and range of fg and then of the domain and range of the inverse of fg
• Apr 8th 2012, 05:26 AM
clerk
Re: Composition of function
Quote:

Originally Posted by biffboy
Think about the domain and range of fg and then of the domain and range of the inverse of fg

But then am I not assuming the functions to be invertible? In general f composed with g may not be invertible ,right?
• Apr 8th 2012, 06:09 AM
biffboy
Re: Composition of function
I understand your point. However since the fg means apply g first and then apply f to the answer, the domain of fg cannot include values that were not in the domain of g. The domain of f could have been 'wider' than that of g but the domain of fg would still be restricted to being the same as that of g.
Example g(x)=square root of x Domain: all x > or= to 0
f(x)=x^2 Domain: all real x
fg(x)=x Domain: all x > or= to 0
• Apr 8th 2012, 12:23 PM
Sylvia104
Re: Composition of functions
Quote:

Originally Posted by clerk
In my textbook it says that in composition of functions we require domain of second function to be EQUAL to the range of the first. My question is that why cannot the range of the first function be a subset of the domain of the second?

I think your textbook is wrong. The domain of the second function can indeed be bigger than the range of the first. In ll that is required is that the range of the first function be a subset of the domain of the second function (biffboy's example is a good one).
• Apr 8th 2012, 01:35 PM
emakarov
Re: Composition of function
Wikipedia says that "range" is sometimes used to mean "codomain." Either the textbook does this, or it unnecessarily restricts the concept of composition.