我知道这种映射一定存在,但具体表达式写不出来.
首先定义T1:两条直线上(x,x)--> (x+k*x*(1-x), x+k*x*(1-x)), (x,0)-->(x+k*x*(1-x),0).
在角平分线L1上定义x) --> (\frac{x}{1+k(1-x)}, \frac{(\sqrt{2}-1)x}{1+k(1-x)}).)
这样的定义满足: 三角形面积(0,0), (x, (\sqrt{2}-1)x), (x,0) = 三角形面积(0,0), T1(x, (\sqrt{2}-1)x), T1(x,0), 并且三角形面积(0,0), (x, (\sqrt{2}-1)x), (x,x) = 三角形面积(0,0), T1(x, (\sqrt{2}-1)x), T1(x,x).
最难的一步已经迈出, 剩下的就是重复第一步, 然后取极限就好了.
你可以在三角形 (0,0), (x, (\sqrt{2}-1)x), (x,0) 的角平分线L21上定义映射T2, 使得保持面积; (啰嗦两句, 设L21交线段 (x, (\sqrt{2}-1)x), (x,0) 于M, 那么T2(M)= (L21上一点N), 使得: 三角形面积(0,0), M , (x,0) = 三角形面积(0,0), N, T1(x,0). [这个N点必然使得: 三角形面积(0,0), M , (x, (\sqrt{2}-1)x) = 三角形面积(0,0), N, T1(x, (x, (\sqrt{2}-1)x).]
同时在三角形 (0,0), (x, (\sqrt{2}-1)x), (x,x) 的角平分线L22上如法炮制定义映射T2, 依然保持面积.
这样一来, 是保持面积的双射, 连续(需要证明,我不会,但应该是), 固定整体三角形(0,0), (1,0), (1,1)的三条边及三个顶点.
当然, T1的定义其实相当任意, 比如 (x,x) --> (x+k*sin(pi*x), x+k*sin(pi*x)), (x,0)--> (x+k*sin(pi*x), 0).总之满足要求的映射大把大把的. |