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 ; 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" 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