Если вы ищете биекцию из IRxIR -> [-1; 1], я могу предложить это:
биекция от ИК до] -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 [.
(Я не уверен, что это верно для числа с бесконечными десятичными знаками ... но это по крайней мере "очень хорошая" инъекция, скажите мне, если я не прав)
давайте назовем эту функцию: CANTOR (x, y)
затем 2 * CANTOR-1 является биекцией из] 0,1 [x] 0,1 [->] -1,1 [
Затем объединяем все вышеприведенные утверждения:
здесь, вы получаете биекцию от IRxIR ->] -1; 1 [...
Можно комбинировать с биекцией из ИК->] 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