# The problem with a bijective function

Today, there is a problem with a bijective function of Charles C. Pinter's book.

Let $A$ be any set with more than one element, prove that there exists a bijective function $f\colon A\to A$ such that $f(x)\neq x$ for all $x\in A$.

-
Since $f(x)\in A$ and $f(x)\neq x$: What value would you assign to $f(f(x))$? –  Dirk Sep 23 '11 at 11:16
I still do not know how to be a proven design. –  Aj I Sep 23 '11 at 11:41
It could be useful if you give the explicit name of the book and the page. –  Asaf Karagila Sep 23 '11 at 11:49
In a book: Set Theory of Charles C. Pinter, page 120. –  Aj I Sep 23 '11 at 11:55

If $A$ is finite with $|A|=n\geq 2$, write $A=\{a_0,a_1,\ldots,a_{n-1}\}$. Then the function $f:A\to A$ with $f(a_k)=a_{k+1}$ for $k<n-1$ and $f(a_{n-1})=a_0$ will be a bijection without fixed points.
If $A$ is infinite then by the axiom of choice there is a bijection $g$ between $A$ and $A\times\{0,1\}$. Define $h:A\times\{0,1\}\to A\times\{0,1\}$ with $h(a,0)=(a,1)$ and $h(a,1)=(a,0)$ for any $a\in A$. Then $f=g^{-1}\circ h\circ g:A\to A$ is a bijection without fixed points.
You don't need the whole axiom of choice for $|A|=|A|+|A|$. –  Asaf Karagila Sep 23 '11 at 11:50
@Asaf: Indeed, it's a nice piece of additional information. Do you happen to know what is the relationship between $ZF$+"$|A|=|A|+|A|$" and $ZF$+"for infinite $A$ there is a derangement of $A$"? The latter is strictly weaker that the former, I suppose. –  LostInMath Sep 23 '11 at 12:21