A bitopological view on cocompact extensions
From MaRDI portal
Let \(\tau_ 1\) and \(\tau_ 2\) be topologies on a set \(X\). The topology \(\tau_ 1\) is called a cotopology of \(\tau_ 2\) if \(\tau_ 1\subset\tau_ 2\) and \(\tau_ 2\) is regular with respect to \(\tau_ 1\). The space \((X,\tau_ 1)\) is called a cospace of the space \((X,\tau_ 2)\). The space \((X,\tau_ 2)\) is said to be cocompact if there exists a compact cotopology \(\tau_ 1\) and \(\tau_ 2\). The authors discuss cotopology, cocompactness and related topics in terms of bitopological theory.
Recommendations
- The notion of exactness of bitopological extensions
- scientific article; zbMATH DE number 95299
- An application of co-inductive types in Coq: verification of the alternating bit protocol
- A coinductive approach to computing with compact sets
- Concerning bitopological \(QHC\) extensions
- From Sets to Bits in Coq
- Sharpening constraint programming approaches for bit-vector theory
- On the compositional extension problem
- scientific article; zbMATH DE number 878339
- scientific article; zbMATH DE number 881173
Cites work
- Bitopological Spaces
- Compactifications and Semi-Normal Spaces
- Cotopology for metrizable spacees
- scientific article; zbMATH DE number 3112450 (Why is no real title available?)
- scientific article; zbMATH DE number 3152563 (Why is no real title available?)
- scientific article; zbMATH DE number 4144929 (Why is no real title available?)
- scientific article; zbMATH DE number 3253715 (Why is no real title available?)
- scientific article; zbMATH DE number 3311566 (Why is no real title available?)
- scientific article; zbMATH DE number 3313992 (Why is no real title available?)
- scientific article; zbMATH DE number 3327080 (Why is no real title available?)
- scientific article; zbMATH DE number 3331446 (Why is no real title available?)
- scientific article; zbMATH DE number 3334849 (Why is no real title available?)
- scientific article; zbMATH DE number 3192632 (Why is no real title available?)
- Pairwise Complete Regularity and Compactification in Bitopological Spaces
Cited in
(4)
This page was built for publication: A bitopological view on cocompact extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183639)