4:56 AM
@MartinSleziak @JeremyRickard I was going to reply to your meta "post" before you deleted it, but basically the question itself and the way it was asked smelled to me of "graduate student in North America needs to revise for some kind of qualifier or comprehensive exam". I could be wrong, of course, but somehow this very nice application of BCT has become known as "standard exercise for students at a certain level".
In fact, one of the several versions of this problem on math.SE is named: A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem.
Note for other reading: in my (limited) experience, this is a very standard question in certain kinds of graduate school programmes, sometimes accompanied by a hint such as "use the Baire category theorem" — Yemon Choi 7 mins ago
I guess the question would be fine at math.SE, maybe after adding some context. AFAICT the only difference from the already linked questions is that many posts have $\lim_{n\to \infty}f(nx)=0$ for every $x\in\mathbb R$. Here we have $x\in[0,1]$.
OTOH occasionally even questions which can be assigned to students in the first year at university are well received and upvoted here on MO. (I guess it mostly depends on whether there are interesting/clever/ingenious answers.)
@YemonChoi You are probably aware of this, but I will just remind that Jeremy Rickard will not be pinged by your chat message. Meta.SE: Does ping work in chat with no autocompletion?
One of the perks of becoming moderator is that you get superping. I am not sure whether mods use it that often - I think regular users like me can live just fine even without it.
2 hours later…
7:31 AM
1
Do there exist two Banach lattices which are linearly isometric but not Banach-lattice isometric? This is so basic that you would expect a textbook or monograph to have answered this, but I have not seen it.
vector latticves a.k.a. Riesz spaces
Aug 6 '12 at 13:51, 33 minutes total – 21 messages, 4 users, 1 star
Bookmarked Oct 16 '12 at 6:49 by Martin Sleziak
@MartinSleziak I waited a bit whether I get some feedback here in chat. Then I suggested replacing history with ho.history-overview.
« first day (1429 days earlier) ← previous day next day → last day (2477 days later) »
Transcript for
Jul19
Jul '1721
Jul23
MO editors' lounge
Talk related to editing, tagging and related matters for the s...