Timeline for Hahn Banach Theorem for multisublinear functionals
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2012 at 13:52 | history | edited | Matthias Ludewig | CC BY-SA 3.0 |
deleted 2774 characters in body
|
| Feb 26, 2012 at 13:50 | comment | added | Matthias Ludewig | Ok, I think you are right. | |
| Feb 24, 2012 at 18:00 | comment | added | Yemon Choi | I think the gap in this argument comes when you claim that you can patch the extensions to get a map $\widetilde{T}$ which is itself dominated by the original sublinear functional. It is dominated if you restrict it to these $B\times \dots B$ where $B$ is your chosen Hamel basis, but I don't see how that is enough. | |
| Feb 24, 2012 at 7:26 | comment | added | Yemon Choi | @Kofi: I have tried to explain my reasoning in a separate "answer" to this question | |
| Feb 23, 2012 at 22:29 | comment | added | Matthias Ludewig | @Yemon Choi: I don't understand what you mean by "closed". The Hahn-Banach Theorem is purely algebraic and has nothing to do with topology. @ Matthew: Actually, you are right. It might work, it might not, but it seems to be complicated if possible at all. Therefore I chose another route. | |
| Feb 23, 2012 at 22:26 | history | edited | Matthias Ludewig | CC BY-SA 3.0 |
added 2435 characters in body; added 6 characters in body
|
| Feb 23, 2012 at 9:22 | comment | added | Matthew Daws | Also, it's not obvious to me how to extend a multisublinear (whatever precisely this actually means) functional to a tensor product. I mean, this might work, but I suspect the devil is in the detail... | |
| Feb 22, 2012 at 23:09 | comment | added | Yemon Choi | Kofi, if E is closed in F then $E\hat\otimes E$ need not be closed in $F\hat\otimes F$ ... | |
| Feb 22, 2012 at 22:57 | history | edited | Matthias Ludewig | CC BY-SA 3.0 |
added 219 characters in body
|
| Feb 22, 2012 at 21:03 | comment | added | Yemon Choi | Could you give details of how the inductive step (adding an additional vector) works in the multisublinear case? | |
| Feb 22, 2012 at 19:38 | history | answered | Matthias Ludewig | CC BY-SA 3.0 |