翻译-关于f(f(x))=x^2+x问题无解-第一部分.docxVIP

什么时候f（f（z））=az2+bz+c成立哩？ 第1部分（section 1） 花花译 （红字为译者自己加的注释，想要锻炼自己的推理思维建议先不看红字，黑色为原文的翻译） 1引言。题目里那个问题有个惊人的答案：从不成立。在本篇论文里我们不仅证明了这个论断而且做的更多：我们证明了一个定义在整个复平面上的二次多项式不管怎么样都没有迭代根。 为了让这个观点更精确，我们需要做一些定义。用E表示一个集合，而f，g是E上的函数，f和g的定义域和值域都在E中（原文中map为映射的意思，就是说f和g从E上映射到E上，解释成本文中那样更好理解）。f和g的复合函数f○g定义为 （f○g）（x）=f(g(x))， x的定义域为整个E上（以下写为x∈E） （1.1） 函数f的迭代就是函数fn,它具有如下递归定义： f0（x）=x，x∈E （1.2） fn+1=f○fn ，对于任意非负整数n成立 （1.3） 同时，对于任意整数r≧2，如果有： fr=g （1.4） 则f是函数g的r阶迭代根，或者f可以说成是叫做函数g的r次迭代根，（随便怎么称呼吧，r次根）。 我们这样就能够正式表述我们的主要结果为： 定理 1. 用P表示一个二次多项式，这个多项式定义在整个复平面C上（这里我的理解是整个复数平面上的多项式，大概具有这样的形式az2+bz+c，会不会是z是任意复数，a，b，c是复系数常数）。则P无论如何没有任何阶的迭代根；即：对于任何整数r≧2，无论什么情况下都不存在这样的函数f，f定义在复数域即复平面C上同时值域也映射在C上，能使得fr=P的。 必须强调的是这个短语“无论什么情况下都不存在这样的函数f”，从字面上理解，他不仅仅等同于“不存在定义域为复数域C全体的一类函数”或者是“不存在连续函数”等等。从这里我们可以想到，平常的分析或者拓扑的证明方法都没办法在下的论文中使用。（这里是强调任何定义域，任何的函数，任何在复数域C上定义的函数都不可能让等式成立，即常规处理方法都不行了呗，那肿么办，下文分解） 所以情况是这样的。定理1的证明，本质上讲，是纯粹的组合。在论文的第2和第3部分中我们建立了一些证明中用到的必要的工具。而论文的第4部分讨论了迭代平方根，最终回答了标题中的问题。第5部分完成了定理1的最终证明。第6部分是本文的补充材料，只是些不带有证明的陈述；特别的，定理1的结论和另一种非常不同的情况——实数二阶多项式，形成了对比。 经验显示，很多数学家，特别是分析学家，在面对定理1的陈述时，会用立即用下面的“反例”来回应： “让P（z）=z2，同时让f为√2次方的主值支（所谓主值支，就是说其实复数表示成r和一个角度指数角度的时候，即，显然指数角度再加上2π依然等于这个复数，所以要规定角度在某个范围内的那一支为函数的主值支）。即把z表示成下列形式（z≠0）： f被定义为从C到C的函数（意思是说，定义域包含在C上，值域也包含在C上）： 则f（f（0））= 0 = 02且对所有的z≠0： 这样f就成了P的迭代平方根了，与定理1矛盾。” 这个观点的缺陷在于，当f（z）有（1.6）中的定义时，如果（1.7）种第二个等号会失败，（会失败的意思是等号有时候不成立）。也就是说有时候（1.7）中的第一个等号右端的式子中的√2可不一定就和（1.5）种的范围一样啊。（（1.5）中定义的是属于-π到π，想想看√2可不一定也在这个范围内啊，或者说√2肯定在取某些值的时候超出了这个范围，所以咧，继续往下看）。事实上，如果对细节问题有必要的重视，那么准确的清晰的计算能得出： （注意到了吗，当z的取值在某些范围内的时候，√2会超出（1.5）定义中的的范围，那肿么办，复分析中常用的方法是，减去2π或者加上2π的整数倍，让角度回到这个范围中，还记得我们说的主值支吗，那个角度加上或者减去2π对复数的值没有任何影响，所以上面式子中那两个形式不怎么好看的式子一个有2π一个有-2π作为e的指数） 据此，f2≠P，因为再比如（所以事实上是f2和P在他们重合的某部分共同的定义域上是无关的：而函数相等的意思是在定义域的每一处都相等） （这里插一句-1=1*eiπ显然的f（1*eiπ）=1*eiπ√2那么在第二次用f作用于它的时候会怎么样f（f（1*eiπ））=f（1*eiπ√2）,这里面的π√2显然不在主值支范围内，显然要先减去2π来进入主值支： f（f（1*eiπ））=f（1*eiπ√2）= f（1*ei（π√2-2π））=1*e i（π√2-2π）√2 （相同的缺陷也总是影响某些实数二次多项式的讨论，比如，x2-2。这个问题见