Is there any function (if any) f: Z -> Z such that

f(f(n))=-n , for every n belongs to Z(integers) ??

I think that there is not any function like the one described above but how can we prove it. Any ideas??

Thanks in Advance

Printable View

- May 4th 2009, 09:30 AMypatiainteger-valued function
Is there any function (if any) f: Z -> Z such that

f(f(n))=-n , for every n belongs to Z(integers) ??

I think that there is not any function like the one described above but how can we prove it. Any ideas??

Thanks in Advance - May 4th 2009, 06:10 PMGamma
Okay, so at first I was with you and thought for sure this function was impossible, and I am still not completely convinced this works, but here is what I am thinking.

First the motivation.

f(n)=a for some a

then you know the value of f(a) to satisfy the requirement

f(a)=-n

f(-n)=-a

f(-a)=n

but then this sort of cycle of 4 works to fit the definition. I have built these ones to satisfy the requirements. So basically you just gotta find a nice way to partition the integers into dijoint cycles of 4 so this will work out and here is what I came up with.

f(0)=0

f(1)=2

f(2)=-1

f(-1)=-2

f(-2)=1

f(3)=4

f(4)=-3

f(-3)=-4

f(-4)=3

.

.

.

This is clearly bijective, so it makes sense definition wise.

so basically I think the closed form is

f(0)=0

for n positive and odd f(n)=n+1

for n positive and even f(n)=-n+1

for n negative and odd f(n)=n-1

for n negative and even f(n)=-n-1

Okay, I think it works, see what you think. - May 4th 2009, 06:26 PMMedia_ManFreaky Problem
Wow, beautiful work, Gamma.

What happens when we extend this to f:R -> R? f continuous? f:C -> C? - May 5th 2009, 07:32 AMGamma
for the answer is easy I think.

f(z)=iz which is entire.

For I am not sure.

I think there probably is something, but I fear it would need to be really complicated. Like do the same type of thing for my integer function but apply it only to the fractions, then extend it to the other numbers by defining the value function to be the same as the the value of the limit of the Cauchy sequence of rational numbers that converge to that number. There just isnt really that same good way to get a 4 periodic partition of that I wanted. - May 5th 2009, 08:49 AMMedia_ManExtending the concept...
Yes, was the only thing I could think of for the original problem, which obviously doesn't satisfy the criterion .

For , your algorithm should still work, but your partition classes would no longer be countable:

for positive and odd

for positive and even

for negative and odd

for negative and even

I wonder if there is a*continuous*function satisfying .

So there exists a "continuous" function in (does this term still apply?), and a highly discontinuous function in . But is there something "in between"? - May 5th 2009, 08:59 AMNonCommAlg
here's how produce infinitely many bijections that satisfy for all :

choose any sequence of subsets of which satisfy the following conditions:

1) for all and

2) for any

for any let and define the function by and for all

it's easy to see that for all so basically what i did was to decompose into an infinite product of disjoint cycles of length 4. (Surprised)

__Claim__: every bijective function which satisfies the identity is in the above form! (so we actually characterized such functions!) - May 5th 2009, 12:20 PMGamma
The function f(z)=iz is even better than continuous. It is analytic in the entire complex plane (this is what entire means). This means it is infinitely continuously differentiable meaning each derivative is continuous. Furthermore, it has a power series which converges absolutely to the function. This is clear because it's power series is simply .

Yeah, NCA has just generalized the same method I used, you just needed one example. It is pretty obvious that all of those that NCA created work as they are the same in spirit. Furthermore, I think it is pretty clear that his claim is in fact true because of what was seen by my "motivation" part on the original post. But I think you can do a little better even.

you have a function for it clearly must send 0 to 0, otherwise it would not be injective.

but then

but then the rest is clear because for any integer a wherever it sends a automatically determines where it will send the rest of the cycle, including its negative and some arbitary other integer and its negative that must be different to preserve bijectivity. So this necessarily partitions all of the integers into disjoint sets of {+/-a,+/-b} for nonzero a,b, and then the one for the 0.

As for the real number situation, since one can order the positive rationals (they are countable) and index them in bijective correspondance with the natural numbers, you should be able to easily do this for the rational numbers.

f(0)=0

then take the first two positive rational numbers and make a 4 cycle with their negative counterparts

then do the same for the next 2 and their negatives

and so on.

The question is how to extend it continuously from the rationals to the irrationals. I was thinking originally you could just do this by letting it equal whatever the limit of a cauchy sequence of rational numbers is under this above bijection. But I don't think there is any reason to believe these would converge, or even if they did to believe that these cauchy sequences should be unique.

Conclusion:

definitely possible for and these have been exhibited.

verdict still out on a continuous - May 5th 2009, 04:00 PMNonCommAlg
this has nothing to do with number theory but since it's been proposed as probably a "challenge" by

**Gamma**and**Media_Man**, i thought about it and here's my answer to the question:

__claim__: there's no continuous function satisfying

__Proof__: suppose there's such a function. then if and only if and so now if then since there must exist an between and such that

by IVT, which is impossible. if then and thus for some between and by IVT, which is again impossible. Q.E.D. - May 5th 2009, 04:06 PMGamma
I like it.

- May 6th 2009, 06:20 AMMedia_ManCool
Very good, NCA. So it requires to construct a continuous function satisfying ypatia's initial requirements. Gamma's algorithm can still be used for the reals, even though they are uncountable, and even though it is discontinuous:

Define by:

For all , define:

for positive and odd

for positive and even

for negative and odd

for negative and even