Timeline for Direct proof of "K is projective iff C(K) has the Hahn-Banach property" ?
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 2, 2012 at 18:08 | comment | added | Theo Buehler | Slightly off-topic, but to satisfy Yemon's curiosity: This is Rainwater's second paper (linked to in the answer), and according to Phelps at.yorku.ca/t/o/p/d/47.htm Rainwater's assistant was Isbell: en.wikipedia.org/wiki/John_R._Isbell | |
| Nov 2, 2012 at 12:13 | comment | added | js21 | Thanks, Theo. Actually Fremlin proves more than I want (his proof yields Kelley's theorem) ; I've just posted an adaptation of his proof to the case I consider. Also, thanks for the other references and informations | |
| Nov 2, 2012 at 12:04 | answer | added | js21 | timeline score: 5 | |
| Nov 2, 2012 at 8:05 | comment | added | Theo Buehler | You can find a relatively short proof in Fremlin's volume 3, 363R: essex.ac.uk/maths/people/fremlin/mt.htm. A very good and detailed reference is Albiac-Kalton's book, see also Day's book on normed spaces for a lot of historical references. I wouldn't call the arguments there direct, though. they certainly are much more involved than the implication you prove. mr x's idea is the basic starting point, but it needs to be refined quite abit, as far as I can tell. Finally, Yemon is alluding to the multiple personalities of John Rainwater: en.wikipedia.org/wiki/John_Rainwater | |
| Nov 2, 2012 at 4:56 | comment | added | js21 | @Ricky Demer: Corrected, thanks. @Yemon Choi: I'm not sure to understand the question. | |
| Nov 2, 2012 at 4:46 | history | edited | js21 | CC BY-SA 3.0 |
edited body
|
| Nov 2, 2012 at 3:01 | comment | added | Yemon Choi | Out of curiosity, which authors were "assisting Rainwater" in this particular paper? | |
| Nov 1, 2012 at 21:29 | answer | added | mr x | timeline score: 0 | |
| Nov 1, 2012 at 21:11 | comment | added | user5810 | Your definition of "projective" doesn't actually use the object $X$. $\:$ | |
| Nov 1, 2012 at 19:55 | history | edited | js21 | CC BY-SA 3.0 |
added 4 characters in body; deleted 12 characters in body
|
| Nov 1, 2012 at 18:39 | history | asked | js21 | CC BY-SA 3.0 |