Timeline for Completely Metrizable Space and Baire Theorem
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 1, 2013 at 19:59 | vote | accept | Hugo Rafael Oliveira Ribeiro | ||
| Dec 1, 2013 at 16:33 | comment | added | Pietro Majer | So a concrete example is $$X:=\big( (0,1)\times(0,1)\big)\cup \big( \{0\}\times([0,1]\cap\mathbb{Q})\big),$$ that is not a $G_{\delta}$ because its trace on $\{0\}\times [0,1] $ is not. | |
| Dec 1, 2013 at 15:53 | history | answered | François G. Dorais | CC BY-SA 3.0 |