Skip to main content

Timeline for Baire category theorem

Current License: CC BY-SA 2.5

13 events
when toggle format what by license comment
Feb 9, 2010 at 22:35 vote accept has2
Jan 19, 2010 at 8:26 vote accept has2
Feb 9, 2010 at 22:35
Jan 19, 2010 at 8:26 comment added has2 Many thanks for the answers and the comments. The responses below has been equally enlightening to me. A coin flip decided which one of them to be the accepted answer.
Jan 19, 2010 at 8:10 history edited has2 CC BY-SA 2.5
deleted 273 characters in body
Jan 19, 2010 at 7:55 history edited has2 CC BY-SA 2.5
edited body; deleted 11 characters in body
Jan 19, 2010 at 7:50 history edited has2 CC BY-SA 2.5
added 1623 characters in body
Jan 19, 2010 at 5:45 answer added Dima Fon-Der-Flaass timeline score: 0
Jan 18, 2010 at 23:23 history edited Yemon Choi
edited tags
Jan 18, 2010 at 23:20 comment added abcdxyz In general, it is hard to improve further without maybe doing something like Leonid suggested since you have no control over $A_n$.
Jan 18, 2010 at 23:14 answer added 002 timeline score: 2
Jan 18, 2010 at 23:11 comment added abcdxyz Your fact 2' can be simplified as for every $x \in X$ a neighborhood of $x$ us contained in some $\bar{A_n}$. Your statement implies this. Also taking any neighborhood of $x$, intersect it with our chosen neighborhood, then choose an open ball within it. So the statement also implies your statement. In fact, Your question is not so much about ball, more about open set.
Jan 18, 2010 at 23:06 answer added gowers timeline score: 4
Jan 18, 2010 at 22:56 history asked has2 CC BY-SA 2.5