Category:Lattices of Continuous Real-Valued Functions

This category contains results about Lattices of Continuous Real-Valued Functions.
Definitions specific to this category can be found in Definitions/Lattices of Continuous Real-Valued Functions.

Let $\struct {S, \tau_{_S} }$ be a topological space.

Let $\R$ denote the real number line.

Let $\struct {\R^S, \vee, \wedge}$ be the lattice of real-valued functions from $S$ to $\R$.

The lattice of continuous real-valued functions from $S$, denoted $\map C {S, \R}$, is the set of all continuous mappings in $\R^S$ with (pointwise) lattice operations $\vee$ and $\wedge$ restricted to $\map C {S, \R}$.

The (pointwise) lattice operations on the lattice of continuous real-valued functions from $S$ are defined as:

$\forall f, g \in \map C {S, \R} : f \vee g : S \to \R$ is defined by:

$\forall s \in S : \map {\paren {f \vee g} } s = \max \set {\map f s, \map g s}$

$\forall f, g \in \map C {S, \R} : f \wedge g : S \to \R$ is defined by:

$\forall s \in S : \map {\paren {f \wedge g} } s = \min \set {\map f s, \map g s}$