Timeline for Limit of balls in $L^p$
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 4, 2019 at 20:38 | comment | added | Junekey Jeon | IIRC the limit in Ban1 is nothing but the subset of the algebraic limit consisting of the elements whose all the component norms are at most 1. In your case, that means all the Lp-norm is at most 1, and according to your (implicit) assumption, Lp-norm increases as p increases. (otherwise, i^p,q makes no sense in Ban1.) Hence, the result is the 1-ball of Linf since the measure is finite (again according to your implicit assumption.) | |
| Nov 30, 2019 at 3:09 | comment | added | Yemon Choi | OK, this is starting to get ridiculous. Instead of engaging with other people's comments, you have now changed the $p\leq q$ condition to $p\geq q$ which changes everything completely. I notice that your question has been edited several times in non-trivial ways. Can you please leave some comments or add some remarks to your original question to make it clear, hopefully once and for all, what your firm asssumptions are and what your definite question is? | |
| Nov 29, 2019 at 23:20 | history | edited | ABIM | CC BY-SA 4.0 |
edited body
|
| Nov 29, 2019 at 16:15 | review | Close votes | |||
| Dec 5, 2019 at 3:00 | |||||
| Nov 29, 2019 at 15:58 | comment | added | Yemon Choi | Actually I am now even more confused because you talk at the end about a cocone but you are consistently using the notation for limit (=projective limit) rather than colimit (=inductive limit). Which object is your question about? | |
| Nov 29, 2019 at 15:55 | comment | added | Yemon Choi | Your setup is that $L^p$ goes into $L^q$ when $p\leq q$, e.g. when the measure space is atomic but not if it is $[0,1]$ with Borel-sigma algebra and Lebesgue measure. Therefore surely the intuition would be that the limit (inverse limit, projective limit) is the ball of $L^1$. In fact, with the definitions you have chosen, there is no arrow going into the ball of $L^1$, all the arrows go out of it, so why isn't this object already the limit of the cone? | |
| Nov 29, 2019 at 15:54 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals from title, changed tag; edited tags
|
| Nov 29, 2019 at 14:50 | history | edited | ABIM |
edited tags
|
|
| Nov 29, 2019 at 9:30 | history | edited | ABIM | CC BY-SA 4.0 |
added 1 character in body; edited title
|
| Nov 29, 2019 at 9:24 | comment | added | user131781 | Two comments. The underlying set for the inductive limit in the category of topological spaces is the union and this can never be a Banach space (except in trivial cases) by the Baire category theorem. Secondly, a typical situation where your conditions are satisfied is the discrete case, i.e., $\ell^p$. Here the Banach space limit is $c_0$, not $\ell^\infty$. | |
| Nov 29, 2019 at 9:19 | history | edited | ABIM | CC BY-SA 4.0 |
added 400 characters in body
|
| Nov 29, 2019 at 9:02 | history | asked | ABIM | CC BY-SA 4.0 |