Abstract:We introduce cs-topologies, or topologies of complemented subsets, as a new approach to constructive topology that preserves the duality between open and closed subsets of classical topology. Complemented subsets were used successfully by Bishop in his constructive formulation of the Daniell approach to measure and integration. Here we use complemented subsets in topology, in order to describe simulataneously an open set, the first-component of an open complemented subset, and its complement as a closed set, the second component of an open complemented subset. We analyse the canonical cs-topology induced by a metric, and we introduce the notion of a modulus of openness for a cs-open subset of a metric space. Pointwise and uniform continuity of functions between metric spaces are formulated with respect to the way these functions inverse open complemented subsets together with their moduli of openness. The addition of moduli of openness in the concept of an open subset, given a base for the cs-topology, makes possible to define the notion of uniform continuity of functions between csb-spaces, that is cs-spaces with a given base. In this way, the notions of pointwise and uniform continuity of functions between metric spaces are directly generalised to the notions of pointwise and uniform continuity between csb-topological spaces. Constructions and facts from the classical theory of topologies of open subsets are translated to our constructive theory of topologies of open complemented subsets.

Subsystems of a Topological System

Subsystems of General Systems

Categorically Proper Homomorphisms of Topological Groups.

$\ell$-adic Tautological Systems

Topological properties of some classes of submodules

Lowering Topological Entropy over Subsets Revisited

Topological conjugacy between induced non-autonomous set-valued systems and subshifts of finite type

Multiplicity of topological systems

<Emphasis Type="Italic">L</Emphasis>-Topological Dynamical System and Its Asymptotic Properties

Closed subsets of compact-like topological spaces

Selective Survey on Spaces of Closed Subgroups of Topological Groups

Topological Classification of Lienard Systems Without Closed Orbits(ii_2)

Cartesian Closed Categories of FƵ -Domains

Strong fuzzy compact sets and ultra-fuzzy compact sets in L-topological spaces

Topologies of open complemented subsets

ON THE HEYTING ALGEBRA OBJECTS IN TOPOS

The Existence of Semi-Horseshoes for Partially Hyperbolic Diffeomorphisms

$-$open sets and $-$ continuity in topological spaces

On Subgroup Topologies on Fundamental Groups

Topology on diffeological vector spaces