# Thread:

1. ## proving one G(X)=F^-1(X), ending up with lXl, for both compositions.

I just got through a lession @ purple math about functions.

The last example, in the proving that two functions are inverses of each other gives a specific example where F(g(X)) would equal lxl, except that a domain restriction forces the answer to be greater or equal to zero, so the absolute value can be removed.

And G(f(x))=lxl

so, F(G(X))=x, and G(F(X))=lxl and are therefore not inverses of each other.

My question is, what if the domain restriction forcing F(G(X)) to be greater than or equal to 0, had not existed? You would end up solving for lxl for both compositions. They would still not be inverses of each other right?

2. ## Re: proving one G(X)=F^-1(X), ending up with lXl, for both compositions.

The condition that a function is the inverse of itself is equivalent to write...

$y^{'}= \frac{1}{y^{'}} \implies y^{'\ 2}=1$ (1)

The (1) is a [very symple...] differential equation the solutions of which, with the condition $y(0)=0$ are $y=x$ and $y=-x$. Both these solutions are defined in the whole domain of x and no more functions exist that are inverse of themselves...

Kind regards

$\chi$ $\sigma$

3. ## Re: proving one G(X)=F^-1(X), ending up with lXl, for both compositions.

Yes, that is correct. In order that F and G be inverses, we must have F(G(x))= x and G(F(x))= x, not |x|.

For example, take $F(x)= x^2$ and $G(x)= \sqrt{x}$ if $x\ge 0$, $-\sqrt{-x}$ if x< 0. F and G are both defined for all x. Now, for all real numbers, x, $F(x)\ge 0$ so G(F(x))= \sqrt{x^2}= |x|. If $x\ge 0$, $F(G(x))= (\sqrt{x})^2= x= |x|$ and if x< 0, $F(G(x))= (-\sqrt{-x})^2= -x= |x|$. But G and F are not inverse functions since $F(G(-3))= (-\sqrt{3})^2= 3$, not -3.

(What chisigma says is true but I don't see how it is related to this question.)
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 15, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9109423160552979, "perplexity_flag": "middle"}