> 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.
I have spent some time with Andrzej discussing the example, it was
not aimed to impress mathematicians. We hope the example can be used
to discuss how things are done in different QED-like systems.
And also, it is not trivial mathematics.
> 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.
For the sake of continuing the discussion: could Javier explain in a way
similar to Andrzej's, what little theories are involved in the proof
of unity partitioning for differentiable manifolds.
-- Piotr (Peter) Rudnicki