IRxIR -> [-1;1] からの全単射を探している場合は、次のように提案できます。
IR から ]-a:a[ への全単射
まず、IR-> ]-1;1[ から全単射を見つけましょう。したがって、IRxIR->IR から全単射を見つける必要があるだけです。
tan(x): ]-Pi/2;Pi/2[ -> IR
arctan(x) : IR -> ]-Pi/2;Pi/2[
1/Pi*arctan(x) + 1/2: IR -> ]0;1[
2*arctan(x) : IR->]-Pi:Pi[
と
ln(x) : IR + -> IR
exp(x): IR -> R+
]0,1[ x ]0,1[ -> ]0,1[ からの全単射
かきましょう:
(x,y) in ]0,1[ x ]0,1[
x= 0,x1x2x3x4...xn...etc where x1x2x3x4...xn represent the decimals of x in base 10
y=0,y1y2y3y4...ym...etc idem
Let's define z=0,x1y1x2y2xx3y3....xnyn...Oym in ]0,1[
次に、構築により、それが ]0,1[ x ]0,1[ から ]0,1[ への正確な全単射であることを証明できます。(数字の zith 無限小数に当てはまるかどうかはわかりません..しかし、少なくとも「非常に良い」インジェクションです。間違っている場合は教えてください)
この関数に名前を付けましょう: CANTOR(x,y)
すると2*CANTOR-1 は ]0,1[ x ]0,1[ -> ]-1,1[ からの全単射である
次に、上記のすべてのアサーションを組み合わせます。
どうぞ、IRxIR から全単射を取得します -> ]-1;1[...
IR-> ]0,1[ からの全単射と組み合わせることができます
IRxIR -> ]-1;1[
(x,y) -> 2*CANTOR(1/Pi*arctan(x) + 1/2,1/Pi*arctan(y) + 1/2)-1
レシプロクを定義しましょう。同じ方法で処理します。
RCANTOR: z -> (x,y) (CANTOR(x,y) の逆数)
RCANTOR((z+1)/2): ]-1:1[ -> ]01[x]0,1[
then 1/Pi*tan(RCANTOR((z+1)/2)) + 1/2 : z ->(x,y)
]-1;1[ -> IRxIR