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
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.
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.
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"?
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.
Claim: every bijective function which satisfies the identity is in the above form! (so we actually characterized such functions!)
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
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.
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