Timeline for $C[0,1]$ is not a Grothendieck space
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 15, 2020 at 16:12 | comment | added | Dirk Werner | Bill, no problem! | |
Dec 14, 2020 at 19:56 | comment | added | Bill Johnson | I see. Sorry, Dirk. | |
Dec 14, 2020 at 15:11 | comment | added | Dirk Werner | @Bill: I think I said so in my answer... | |
Dec 14, 2020 at 14:38 | comment | added | Bill Johnson | More generally, if $K$ is a compact Hausdorff space for which $C(K)$ is a Grothendieck space, then every convergent sequence in $K$ is eventually constant. | |
Dec 14, 2020 at 0:10 | vote | accept | Dongyang Chen | ||
Dec 13, 2020 at 19:51 | comment | added | Yemon Choi | Nice - I like this argument better than my original suggestion, since it seems to pinpoint the key "largeness" property required for a given $\Omega$ to yield the Grothendieck space property for $C(\Omega)$ | |
Dec 13, 2020 at 19:31 | history | answered | Dirk Werner | CC BY-SA 4.0 |