Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-28T14:13:21.493Z Has data issue: false hasContentIssue false

Generalized metric spaces are paracompact

Published online by Cambridge University Press:  24 October 2008

D. J. Souppouris
Affiliation:
Civil Service DepartmentWhitehallLondon

Extract

A generalized metric space is a triple (X, d, G), where X is a set, G an ordered Abelian group and d: X x XG is a function which satisfies the metric axioms. The generalized metric d defines a topology on X in the same way as an ordinary metric does for a metric space. These spaces are studied by Stevenson & Ton(5) and Sikorski (4) amongst others. A survey of these spaces is the subject of an M.Phil. thesis by the author (6). Generalized metric spaces satisfy most of the separation properties of ordinary metric spaces (T2, regular, etc.). We prove here that these spaces are also paracompact. The proof is a generalization of the proof given by Ruffin (2) for metric spaces. The result given here follows, in fact, from a theorem proved by Hayes (1). He proved that uniformities with totally ordered bases have paracompact topologies. It is known (Stevenson & Ton (5); Shock (3); Souppouris (6), chapter 5) that these spaces are identical to generalized metric spaces. The proof given here uses metric space language.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1975

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Hayes, A.Uniformities with totally ordered bases have paracompact topologies. Proc. Cambridge Philos. Soc. 74 (1973), 6768.CrossRefGoogle Scholar
(2)Rudin, M. E.A new proof that metric spaces are paracompact. Proc. Amer. Math. Soc. 20 (1969), 603.CrossRefGoogle Scholar
(3)Shock, T. W.Metrization of uniform spaces in ordered groups. Notices Amer. Math. Soc. 16.1 (1969), 264, abstract no. 663–605.Google Scholar
(4)Sikorski, R.Remarks on some topological spaces of high power. Fund. Math. 37 (1950), 125136.CrossRefGoogle Scholar
(5)Stevenson, F. W. & Thron, W. J.Results on θμ metric spaces. Fund. Math. 65 (1969), 317324.CrossRefGoogle Scholar
(6)Souppouris, D. J. Studies in generalized metric spaces. M.Phil. thesis, Polytechnic of the South Bank, London (1973).Google Scholar