Skip to main content
9 events
when toggle format what by license comment
Aug 1, 2014 at 21:36 vote accept Julian Newman
Aug 1, 2014 at 15:53 comment added Julian Newman Interesting, thanks - is the proof straightforward?
Aug 1, 2014 at 15:21 comment added Gerald Edgar Generalization (automatic continuity)... For a homomorphism between complete separable metric groups, if it has the property of Baire, then it is continuous. (In particular, Borel-Borel measurable maps have the property of Baire.)
Aug 1, 2014 at 7:05 comment added blackburne Baire's category theorem (cover the Banach space by the sets where $|f|\leq n$). By the way, it is not customary for questons of this sort to be answered in MO to the last detsil so this is my final word.
Aug 1, 2014 at 6:51 comment added Julian Newman I understand that the point of the example is that it is unbounded on any ball - but I do not know what the "standard arguments" are by which one can deduce non-measurability. (I presume you must be using completeness of the Banach space somehow, since on a countable-dimensional normed vector space the same construction gives a map that is unbounded on every ball and yet is measurable.)
Aug 1, 2014 at 6:35 comment added blackburne This follows by standard arguments from the fact that it is unbounded on any ball.
Aug 1, 2014 at 6:12 comment added Julian Newman Thank you for your reply. Sorry, I'm probably being a bit dim: how do you prove that the standard example of a discontinuous linear form on an infinite-dimensional Banach space is non-measurable?
Aug 1, 2014 at 6:06 history edited blackburne CC BY-SA 3.0
added 136 characters in body
Aug 1, 2014 at 5:55 history answered blackburne CC BY-SA 3.0