tag:blogger.com,1999:blog-5799246.post7287619472314268722..comments2023-01-04T16:34:17.530+00:00Comments on a very occasional diary @ Nikita Danilov: The Hunt for Addi(c)tive Monsternikitahttp://www.blogger.com/profile/09403336533089968821noreply@blogger.comBlogger5125tag:blogger.com,1999:blog-5799246.post-56732142746763029022012-10-27T23:14:40.069+00:002012-10-27T23:14:40.069+00:00Sorry, I meant INTO such spaces, but I suppose the...Sorry, I meant INTO such spaces, but I suppose the other question might also make sense.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5799246.post-10530538377926029792012-10-27T23:11:46.534+00:002012-10-27T23:11:46.534+00:00Are non-linear additive functions on infinite-dime...Are non-linear additive functions on infinite-dimensional real vector spaces necessarily monsters?Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-5799246.post-9199643602111691862012-01-13T15:47:11.712+00:002012-01-13T15:47:11.712+00:00Nice, yes, that seems to do it. And I made a silly...Nice, yes, that seems to do it. And I made a silly mistake above, when I suggested linearity on yQ contradicted periodicity - of course adding a multiple of s to y will typically carry you off yQ. There will be plenty of periodic solutions, since we can always specify the value 0 on some basis element.<br /><br />Cheers,<br />ChrisAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-5799246.post-30114547222546035242012-01-11T21:52:11.914+00:002012-01-11T21:52:11.914+00:00Dear Chris,
thank you for your interest in the po...Dear Chris,<br /><br />thank you for your interest in the post---it's a pleasure that it helped you. You are absolutely correct that the proof of Statement 1 contains a gap and Engel's device of building a periodic additive function is very ingenious.<br /><br />However, I think that the proof can be very easily amended: indeed, if an additive function is continuous at 0, it is continuous at arbitrary x, because for any y, such that |x - y| < \delta, |f(x) - f(y)| = |f(x - y)| < \epsilon, where \epsilon and \delta are the same as for continuity at 0.nikitahttps://www.blogger.com/profile/09403336533089968821noreply@blogger.comtag:blogger.com,1999:blog-5799246.post-61956816056471258052012-01-11T12:09:16.019+00:002012-01-11T12:09:16.019+00:00Dear Nikita,
thanks for your post - I enjoyed rea...Dear Nikita,<br /><br />thanks for your post - I enjoyed reading it, and together with some other sources, it helped me prepare a talk on this subject.<br /><br />However, I believe there's a gap in your proof of Statement 2. Your proof of Statement 1 only works for x nonzero, because you divide by x/y at the last step. So it's not enough to just prove continuity at zero in order to deduce Statement 2.<br /><br />There's a nice argument in Engel's "Problem Solving Strategies" (page 273) that begins by using boundedness on (p,p+s) to prove boundedness on (0,s). You then look at g(x)=f(x)-f(s)x/s. This is additive and satisfies g(s)=0, and together these imply g is periodic with period s. Since it's also bounded on (0,s), this means it's bounded on the entire real line, and finally this implies that g is identically zero, which is what we want: if g(y) is nonzero then linearity on yQ leads to a contradiction with boundedness (or periodicity too, I suppose, which is perhaps a bit quicker).<br /><br />All the best,<br /><br />ChrisAnonymousnoreply@blogger.com