The axiom of complete regularity for topological spaces in its usual form, dealing with the existence of enough real-valued functions on a space, looks quite different from the other separation axioms. Researchers have been looking for characterizations of complete regularity which naturally fit in between the axiom of regularity and that of normality. A similar characterization of pairwise complete regularity was presented not long after the notion of bitopological spaces was introduced and the corresponding separation axiom was defined. The report does not repeat the definitions of the pairwise separation properties, but rather presents characterizations of these properties in sections 2 and 3. This is done in such a way that the characterization of pairwise complete regularity naturally fits in between those of pairwise regularity and pairwise normality. The report only discusses the pairwise separation properties, leaving to the reader the natural generalization for the nonsymmetric case. The unifying concept is that of a pair of bases or subbases for the closed sets of a bitopological space (X, T sub 1, T sub 2).
展开▼