What is the condition for fucntion fg^(-1) to exist ?

  • Thread starter Thread starter thereddevils
  • Start date Start date
  • Tags Tags
    Condition
Click For Summary

Homework Help Overview

The discussion revolves around the conditions necessary for the function \( fg^{-1} \) to exist, particularly in the context of composite functions and their inverses. The subject area includes function composition, inverses, and domain restrictions.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the conditions under which \( g^{-1} \) exists, noting it requires \( g \) to be one-to-one. They also discuss the implications of the domains of \( f \) and \( g \) on the existence of \( fg^{-1} \). Questions arise regarding the precise definitions and interpretations of the notation used, particularly distinguishing between different forms of function composition and inverses.

Discussion Status

The discussion is active, with participants providing insights into the necessary conditions for the existence of \( fg^{-1} \). Some participants have suggested looking at specific examples to clarify the concepts, while others have raised questions about the definitions and the relationships between the functions involved.

Contextual Notes

There is a focus on the intersection of the domains of \( f \) and \( g \), and how the range of one function must align with the domain of the other for the composite function to exist. The original poster's question is framed within a pre-calculus context, which influences the level of detail and complexity in the responses.

thereddevils
Messages
436
Reaction score
0

Homework Statement



what is the condition for function fg^(-1) to exist ?

Homework Equations





The Attempt at a Solution



i understand that g^(-1) only happens when its one-one , how about fg^(-1) ?
 
Physics news on Phys.org


thereddevils said:

Homework Statement



what is the condition for function fg^(-1) to exist ?

Homework Equations





The Attempt at a Solution



i understand that g^(-1) only happens when its one-one , how about fg^(-1) ?

Are you thinking of [tex](f \circ g)^{-1} = g^{-1} \circ f^{-1}[/tex] ?

Then I think this is what you are looking for
http://planetmath.org/encyclopedia/InverseOfCompositionOfFunctions.html
 
Last edited by a moderator:


[itex]fg^{-1}[/itex] is only defined on the intersection of the domains of f and g.
 


HallsofIvy said:
[itex]fg^{-1}[/itex] is only defined on the intersection of the domains of f and g.

We know that HallsoftIvy, but you think since this is a pre-Calculus question that the original poster is simply looking for and try to understand the definition of

[tex]f \circ g^{-1}[/tex]?
 


Susanne217 said:
We know that HallsoftIvy, but you think since this is a pre-Calculus question that the original poster is simply looking for and try to understand the definition of

[tex]f \circ g^{-1}[/tex]?

thanks for helping , i mean [tex]fg^{-1}[/tex] , because i had this previous example , where i am supposed to prove that function gf exist , so the range of f is a subset or equal the domain of g . I wonder if i could applying the same reasoning for this function .
 


thereddevils said:

Homework Statement



what is the condition for function fg^(-1) to exist ?

Homework Equations





The Attempt at a Solution



i understand that g^(-1) only happens when its one-one , how about fg^(-1) ?
You aren't being clear in what you're asking. Which of the following are you asking about?
  • fg-1, the product of f and g-1
  • (fg)-1, the inverse of the product of f and g
  • f [itex]\circ[/itex] g-1, the composition of f and g-1
  • (f [itex]\circ[/itex] g)-1, the inverse of the composition of f and g
 


Mark44 said:
You aren't being clear in what you're asking. Which of the following are you asking about?
  • fg-1, the product of f and g-1
  • (fg)-1, the inverse of the product of f and g
  • f [itex]\circ[/itex] g-1, the composition of f and g-1
  • (f [itex]\circ[/itex] g)-1, the inverse of the composition of f and g

sorry, i meant number 3 .
 


thereddevils said:
i understand that g^(-1) only happens when its one-one

When who is one-to-one? See if you can restate your question in a more precise way.
 


Mark44 said:
When who is one-to-one? See if you can restate your question in a more precise way.

ok i will look for an example .

The function f and g are defined by f(x)= ln x , x are all positive real numbers and g(x)=x^2-1 , x is all positive real numbers . Determine whether the composite function g^(-1) o f exists . Find the restricted domain of f such that the function exists .
 
  • #10


For this example, the restricted domain for g makes it a one-to-one function, so the inverse, g-1, exists.

For g-1 o f, you need to look at the domain of f (x such that x > 0), and the range of f. The outputs from f are going to be the inputs to g-1. Are there any numbers in the range of the ln function that are not allowed in the domain for g-1?
 
  • #11


Mark44 said:
For this example, the restricted domain for g makes it a one-to-one function, so the inverse, g-1, exists.

For g-1 o f, you need to look at the domain of f (x such that x > 0), and the range of f. The outputs from f are going to be the inputs to g-1. Are there any numbers in the range of the ln function that are not allowed in the domain for g-1?

the range of f is y such that [tex]y\in R[/tex]

the domain of g^(-1) is the range of g which is (-1 , infinity)

since the [tex]R_f[/tex] is not equal or a subset of [tex]D_{g^{-1}}[/tex] , [tex]g^{-1} \circ f[/tex] doesn't exist .

for the function g^(-1) o f to exist , range of f has to be (-1 , infinity)

Am i correct ?
 
  • #12


Yes. Now, can you figure out how to restrict the domain of f so that the range of f is {y | y > -1}?

IOW, what restrictions can you place on the domain of ln(x) so that the range is {y | y > -1}?
 
  • #13


Mark44 said:
Yes. Now, can you figure out how to restrict the domain of f so that the range of f is {y | y > -1}?

IOW, what restrictions can you place on the domain of ln(x) so that the range is {y | y > -1}?

domain of f is (1/e , infinity) ?
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
4K
Replies
5
Views
2K
Replies
5
Views
4K
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K