Timeline for Where else do the (topology) separation axioms turn up?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 16, 2012 at 0:41 | comment | added | Frank Thorne | @Spice, Dima: These definitely sound interesting! That said, in some cases I have heard topological proofs (e.g. of the infinitude of primes) criticized as simple proofs couched in complicated language. Does this branch of topology allow you to prove new theorems in profinite groups or posets, or lend insight into existing proofs? | |
| Apr 16, 2012 at 0:36 | vote | accept | Frank Thorne | ||
| Apr 16, 2012 at 0:21 | comment | added | David Roberts♦ | Paracompact Hausdorff spaces are normal, and lots of things that people do with bundles and connections require paracompactness (and Hausdorffness is assumed). | |
| Apr 15, 2012 at 17:17 | answer | added | Igor Khavkine | timeline score: 5 | |
| Apr 15, 2012 at 7:51 | comment | added | Dima Pasechnik | one can construct (a rather weak, w.r.t. separation axioms) topological space from a poset, and one can study posets this way. | |
| Apr 14, 2012 at 23:21 | comment | added | Spice the Bird | I've heard some of these properties phrased as group theoretic conditions in profinite group theory. | |
| Apr 14, 2012 at 21:12 | answer | added | Douglas Somerset | timeline score: 5 | |
| Apr 14, 2012 at 19:20 | answer | added | Ralph | timeline score: 12 | |
| Apr 14, 2012 at 19:14 | comment | added | Gunnar Þór Magnússon | The Tietze extension theorem has an interpretation in sheaf theory, it shows that the sheaf of smooth (or continuous) functions on a manifold is soft. | |
| Apr 14, 2012 at 18:41 | history | asked | Frank Thorne | CC BY-SA 3.0 |