From lusk Fri Jun 17 15:04:51 1994
Received: from linus.mitre.org (linus.mitre.org [129.83.10.1]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id PAA23095 for <qed@mcs.anl.gov>; Fri, 17 Jun 1994 15:04:37 -0500
Received: from nausicaa.mitre.org (nausicaa.mitre.org [129.83.10.45]) by linus.mitre.org (8.6.7/RCF-6S) with ESMTP id QAA07905; Fri, 17 Jun 1994 16:04:28 -0400
Received: from localhost (localhost [127.0.0.1]) by nausicaa.mitre.org (8.6.7/RCF-6C) with ESMTP id QAA14907; Fri, 17 Jun 1994 16:04:25 -0400
Message-Id: <199406172004.QAA14907@nausicaa.mitre.org>
To: qed@mcs.anl.gov
Subject: Re: Examples 
cc: jt@linus.mitre.org
In-reply-to: Your message of "Fri, 17 Jun 1994 13:34:20 MDT."
             <94Jun17.133431-0600.18491-2@scapa.cs.ualberta.ca> 
Date: Fri, 17 Jun 1994 16:04:22 -0400
From: "F. Javier Thayer" <jt@linus.mitre.org>


   Certainly Trybulec's example requires a real tour-de-force in
metric space topology. Nevertheless, this example is certainly not one
to raise any interest among mathematicians. Why? Because one of the
main reasons paracompactness is a useful concept is that it allows us
to show partitions of unity exist. And the proof of this for the
really interesting cases (namely differentaible manifolds) is a lot
easier.


Javier