A NOTION OF COMPLETENESS OF TOPOLOGICAL STRUCTURES

Paper read at the Second Symposium on Categorical Topology at the University of Cape Town 9–13 August 1976

A NOTION OF COMPLETENESS OF TOPOLOGICAL STRUCTURES


Abstract

A connector U on a space S is a function from S to the power set of S such that each x in s belongs to its image. The image of x is denoted by xU. In other words, the relation {(x,y): y ϵ xU, x ϵ S) is a reflexive binary relation. A space with a certain set of connectors is a generalization of topological spaces as well as uniform spaces. In this paper, a notion of completeness of such a space is introduced. This completeness corresponds to completeness of uniform spaces if a set of cannectors meets the conditions of uniformity. Compactness of topological Spaces is a special case of the completeness.

Get new issue alerts for Quaestiones Mathematicae