Foggy Dirichlets

Algebra Level 3

The functions f ( x ) f(x) and g ( x ) g(x) are defined R + R \mathbb {R^+ \to R} such that f ( x ) = { 1 x x is rational x 2 x is irrational g ( x ) = { x x is rational 1 x x is irrational f(x)=\begin{cases} 1-\sqrt{x}\quad \text{x is rational} \\ \quad x^2\quad\quad\text{x is irrational}\end{cases}\\g(x)=\begin{cases} \quad x\quad\quad~~~ \text{x is rational} \\ 1-x\quad\quad\text{x is irrational}\end{cases}

The composite function f g ( x ) f \circ g(x) is

many-one, into one-one, onto many-one, onto one-one, into

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Pranjal Jain
Apr 12, 2015

Lets try to define f o g ( x ) fog(x) .

If x x is rational, g ( x ) g(x) will be rational, thus, f o g ( x ) fog(x) will be 1 x 1-\sqrt{x} .

If x x is irrational, g ( x ) g(x) will be irrational, thus, f o g ( x ) fog(x) will be ( 1 x ) 2 (1-x)^2

f o g ( x ) = { 1 x x is rational ( 1 x ) 2 x is irrational fog(x)=\begin{cases} 1-\sqrt{x}\quad \text{x is rational} \\ (1-x)^2\quad\text{x is irrational} \end{cases}

f o g ( x ) fog(x) can never return perfect squares greater than 1 1 , for example, 4 , 9 4,9 . Thus, its an i n t o into function.

f o g ( 1 2 + 1 ) = f o g ( 1 2 + 1 ) fog(\dfrac{1}{\sqrt{2}}+1)=fog(-\dfrac{1}{\sqrt{2}}+1) , thus, its a m a n y o n e many-one function

The point 2 + 1 -\sqrt{2}+1 does not lie in the domain of the function f o g fog . Hence this fact can't be used to prove the many one fact of of the function f o g fog .

Prakhar Gupta - 6 years, 2 months ago

Log in to reply

Thanks for reporting. I think its fine now.

Pranjal Jain - 6 years, 2 months ago

Log in to reply

Yes, it is perfectly OK now.

Prakhar Gupta - 6 years, 1 month ago

Log in to reply

@Prakhar Gupta Anyway, the function f g f\circ g is ill-defined.

Maxence Seymat - 1 year, 5 months ago
Karan Shekhawat
Apr 14, 2015

One can kill this , by using fact that g(x) has single point continuty that is at x = 0.5 x=0.5

Hance many-one and into...

Hence Killed

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...