Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! lusk@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Fri, 17 Jun 1994 21:08:05 +0100
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