1)

Prove that there is no function from the set of non-negative integers into itself such
that for all .
ZKY

e.lopes
349 posts
#2VPMh Nov 11, 2005, 2:10 pm
One Nice Solution:

Let be the set of non-negative integers. Put

(the set of all such that we cannot find with ).
Put .

Note that is injective because if , then

so .
We claim that .
Obviously is a subset of and if belongs to ,
then it does not belong to since is injective.
Similarly, a member of cannot belong to .

Clearly and are disjoint.

They have union which is .
But since is injective they have the same number of elements,
which is impossible since has an odd number of elements.

ZKY

ZetaX
7648 posts
#3VPMh Nov 11, 2005, 2:11 pm
Solved for the more general case:
http://www.mathlinks.ro/Forum/viewtopic.php?highlight=1987&t=2749
ZKY
sexynsmartjenny
272 posts
#4VPMh Jul 2, 2008, 11:35 am 1 Y
what if you:

Take the derivative of which is one and therefore derivative of is also 1,

which means is a linear function, and since f must have integer coefficients in the
form of , plug it in and see that b cannot be integer, a contradiction.
ZKY

shape_shift2005
17 posts
#5VPMh Jul 3, 2008, 3:13 pm 2 Y
$ f: \set{N^*} \to \set{N^*}$

ZKY

MellowMelon
5605 posts
#6VPMh Jul 3, 2008, 3:56 pm
You can't differentiate this function. That would be , and the

concept of a limit doesn't make sense on the natural numbers or any other discrete
set.
ZKY

Davi Medeiros
88 posts
#7VPMh May 2, 2011, 6:02 pm 3 Y
Define . Then, from we
get , or for
every natural.

If we replace by in , we
get , and
then for every natural . Thus, is an 1987-periodic funcion.

Now, let be the 1987 possible values

of (Since is periodic, this is possible). We must pair the 1987 in the following
mannner: is paired with if (we can always do this,
because for every natural). If there's two or more
satisfying the pairment, anyone serve. So, we can divide 1987 numbers in pairs, and
this is a contradiction, because 1987 is odd. Finally, the problem is solved.
ZKY

mmmath
14 posts
#8VPMh May 4, 2011, 1:42 pm 1 Y
must be one-to-one. so will miss 1987 values.
suppose that miss exactly distinct values so
will miss so if
so so there is such that
hence so misses values.
so it's contradiction.
ZKY

varun.tinkle
214 posts
#9VPMh May 10, 2011, 1:26 am
Wrong solution thanx pco for ur help
This post has been edited 1 time. Last edited by varun.tinkle, May 10, 2011, 1:54 am

ZKY
pco
14243 posts
#10VPMh May 10, 2011, 1:44 am
varun.tinkle wrote:
Assuming that a function exsists.... suppouse.... the function is
...
Similarly we can check for higher degrees of equation........

But .... you cant check ALL the possible functions to achieve the result!

And what's the meaning of "degrees of equation" ? What is the degree of the
function ?

Dont forget that there exists infinitely many non polynomial functions
ZKY

mstf9696
11 posts
#11VPMh May 10, 2011, 6:26 am
good solution
This post has been edited 1 time. Last edited by mstf9696, May 10, 2011, 7:28 am

ZKY

murom4869
6 posts
#12VPMh Jul 22, 2014, 1:27 am
build a -> function
ZKY

Anar24
349 posts
#13VPMh Oct 17, 2016, 8:59 am
i can't find pco's solution who can help me?
varun.tinkle wrote:
Wrong solution thanx pco for ur help
ZKY

darkeagle
2 posts
#14VPMh Mar 4, 2017, 7:33 am
I'm interested to know what is the number of function which verified
where k is even.
ZKY

pco
14243 posts
#15VPMh Mar 4, 2017, 7:40 am
darkeagle wrote:
I'm interested to know what is the number of function which verified
where k is even.
I suppose you mean "functions from "

If so, just look at the general solution and count.

You'll find
2)