Mapping

Consider the mapping F : R Z × [ 0 , 1 ) F : \mathbb{R} \to \mathbb{Z} \times [0,1) defined as

F ( x ) = ( x , { x } ) F(x) = \left( \lfloor x \rfloor, \{x\} \right)

for all x R x \in \mathbb{R} . Is this mapping injective ? Is this mapping surjective ?

Notations :

Both injective and surjective Neither Surjective only Injective only

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

展豪 張
May 19, 2016

Credit to @Guillermo Templado
Answer: both.
Proof:


Proof of injectivity:
F F can be written as F ( x ) = ( x , x x ) F(x)=(\lfloor x \rfloor, x-\lfloor x \rfloor)
F ( x ) = F ( y ) \;\;\;\;F(x)=F(y)
( x , x x ) = ( y , y y ) \Rightarrow (\lfloor x\rfloor, x-\lfloor x\rfloor)=(\lfloor y\rfloor, y-\lfloor y\rfloor)
{ x = y x x = y y \Rightarrow \huge \{ \normalsize \begin{matrix}\lfloor x\rfloor=\lfloor y\rfloor \\ x-\lfloor x\rfloor = y-\lfloor y\rfloor\end{matrix}
x = y \Rightarrow x=y (by summing the two equations)


Proof of surjectivity:
( a , b ) Z × [ 0 , 1 ) , x = a + b R s . t . F ( x ) = ( a , b ) \forall(a,b)\in\mathbb Z\times [0,1),\exists x=a+b\in\mathbb R\;s.t.\;F(x)=(a,b)

Akash Patalwanshi
May 19, 2016

Beautiful problem +1 and solution too. :-) without proof writing, just with the help of definitions of floor function and fractional part of the function, one can easily conclude the given mapping is bijective. (One can see 1 1 and higher values are, not included in [ 0 , 1 ) [0,1) and that's what we want! For surjectivity of fractional part of function)

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...