|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: adopt one definition?''
by djao on 2002-06-07 19:06:49 |
|
| > the compactness entry doesn't explicitly say which
> definition PlanetMath uses.
Even if you think the entry itself is not explicit enough, the contents of this discussion thread (which is displayed every time the entry is displayed) should make it quite clear that the intended convention on PlanetMath is that compact spaces are not always Hausdorff.
I do not want to make it an absolute declaration that PlanetMath will always use the modern convention because, in PlanetMath as in real life, one occasionally encounters those who use the old convention. The fact that a PlanetMath reader must suffer some ambiguity about compactness is a good thing, because that's the way it is in real life.
|
| | [ reply | up | top ] |
|
|
|
|
|
|
