8 Jul
2010
8 Jul
'10
1:19 p.m.
On 7/7/2010 10:28 AM, Michael Barr wrote:
Not just in CS, but also central to algebraic geometry: the Zariski topology is almost never hausdorff. But when topology is taught to undergraduates, it is usually for the purposes of analysis and I don't know if we could this point across.
My understanding of Paul's complaint was with the passage not so much from T2 to T0 but from T1 to T0, needed for the Scott topology. The Zariski topology is always T1. Vaughan Pratt [For admin and other information see: http://www.mta.ca/~cat-dist/ ]