Jump to content


Photo
- - - - -

defining composite functions and inverses


  • Please log in to reply
9 replies to this topic

#1 SFNQuestions

SFNQuestions

    Baryon

  • Senior Members
  • 101 posts

Posted 29 January 2017 - 02:01 AM

Suppose that for solving for the inverse of a function that f(x) can be manipulated into the form of g(f(h(x)))=x. Then, h(x) is inverted to show

g(f(x))=h^{-1}(x). Afterwards, the function is reverted to show h(g(f(x)))=x. Does this correctly show that h(g(x)) is in fact the inverse of f(x)? 

 

 


If not, what can be done in this situation to find the inverse of the original f(x)?


  • 0

#2 wtf

wtf

    Atom

  • Senior Members
  • 221 posts

Posted 29 January 2017 - 05:38 AM

Can you give an example?
  • 0

#3 SFNQuestions

SFNQuestions

    Baryon

  • Senior Members
  • 101 posts

Posted 29 January 2017 - 06:35 AM

Can you give an example?

That's okay, I have done some more testing and found this method is valid. But, thank you for inquiring, it could have just have easily been the case that this was too complicated for me to determine. 


  • 0

#4 wtf

wtf

    Atom

  • Senior Members
  • 221 posts

Posted 29 January 2017 - 08:14 AM

Well I'm glad I could help.

Edited by wtf, 29 January 2017 - 08:15 AM.

  • 0

#5 Xerxes

Xerxes

    Meson

  • Senior Members
  • 244 posts
  • LocationUK

Posted 29 January 2017 - 06:41 PM

Suppose that for solving for the inverse of a function that f(x) can be manipulated into the form of g(f(h(x)))=x. Then, h(x) is inverted to show
g(f(x))=h^{-1}(x). Afterwards, the function is reverted to show h(g(f(x)))=x. Does this correctly show that h(g(x)) is in fact the inverse of f(x)?

No, it is not valid (or only trivially).

First some terminology.....

The domain of a function is the set of all those elements that the function acts upon. Each element in the set is called an argument for the function

The codomain - or range - of a function is the set of all elements that are the "output" of the function. So for any particular argument the element in the codomain is called the image of the argument under the function.

So, Rule 1 for function...No element in the domain may have multiple images in the codomain.

Rule 2 for functions.....Functions are composed Right-to-Left

Rule 3 for functions.......Functions can be composed if and only if the codomain of a function is the domain of the function that follows it (i.e. as written, is "on the Left)

Rule 4 for functions....... For some image in the codomain, the pre-image set is all those elements in the domain that "generate" this image. Notice that, although images are always single element, pre-images are sets - although they may be sets with a single member in which case the function is said to have an inverse - not otherwise.


Look closely at what you wrote above. and check how many of these rules are violated.
  • 2

#6 studiot

studiot

    Genius

  • Senior Members
  • 6,505 posts
  • LocationSomerset, England

Posted 29 January 2017 - 08:04 PM

Well said Xerxes. +1


SFNrtc, 

 

I recommend drawing diagrams to help understand Xerxes comments.


  • 0

#7 HallsofIvy

HallsofIvy

    Baryon

  • Senior Members
  • 301 posts

Posted 17 February 2017 - 12:18 PM

Suppose that for solving for the inverse of a function that f(x) can be manipulated into the form of g(f(h(x)))=x. Then, h(x) is inverted to show

g(f(x))=h^{-1}(x). Afterwards, the function is reverted to show h(g(f(x)))=x. Does this correctly show that h(g(x)) is in fact the inverse of f(x)? 

 

 


If not, what can be done in this situation to find the inverse of the original f(x)?

 

  No, it doe not show that h(g) is the inverse of f.  You actually have to show two​ things- that h(g(f(x))= x and​ that f(h(g(x))= x.


  • 0

#8 SFNQuestions

SFNQuestions

    Baryon

  • Senior Members
  • 101 posts

Posted 17 April 2017 - 01:26 AM

No, it is not valid (or only trivially).

First some terminology.....

The domain of a function is the set of all those elements that the function acts upon. Each element in the set is called an argument for the function

The codomain - or range - of a function is the set of all elements that are the "output" of the function. So for any particular argument the element in the codomain is called the image of the argument under the function.

So, Rule 1 for function...No element in the domain may have multiple images in the codomain.

Rule 2 for functions.....Functions are composed Right-to-Left

Rule 3 for functions.......Functions can be composed if and only if the codomain of a function is the domain of the function that follows it (i.e. as written, is "on the Left)

Rule 4 for functions....... For some image in the codomain, the pre-image set is all those elements in the domain that "generate" this image. Notice that, although images are always single element, pre-images are sets - although they may be sets with a single member in which case the function is said to have an inverse - not otherwise.


Look closely at what you wrote above. and check how many of these rules are violated.

Yeah I've found you're not entirely correct. You're obviously correct that not every function is invertable on every domain, but as a general technique it absolutely works because it's the same as doing a u-substitution and then back substituting it to find the inverse. I've done it tons of times now and it works every single time, long as I limit the domain. 


Edited by SFNQuestions, 17 April 2017 - 01:27 AM.

  • 0

#9 Xerxes

Xerxes

    Meson

  • Senior Members
  • 244 posts
  • LocationUK

Posted 17 April 2017 - 09:54 PM

Yeah I've found you're not entirely correct.

Then if you know better than those who try to guide you, you do not need to ask the question, right?

Just a reminder: the image of your first function is h(x). Then you claim it's preimage is h^{-1}(x). So h(x)=x. Agreed?

And so on.......
  • 0

#10 SFNQuestions

SFNQuestions

    Baryon

  • Senior Members
  • 101 posts

Posted 17 April 2017 - 11:30 PM

Then if you know better than those who try to guide you, you do not need to ask the question, right?

Just a reminder: the image of your first function is h(x). Then you claim it's preimage is h^{-1}(x). So h(x)=x. Agreed?

And so on.......

Why? Because the foundation of math and science isn't in automatically assuming every single thing you think of is automatically correct. I'm not just going to make a statement and assume it's going to work out, I'm going to test a lot of times, I only asked it here in case I didn't have luck finding out the right answer or to see if anyone else could confirm the results. 


  • 0




0 user(s) are reading this topic

0 members, 0 guests, 0 anonymous users