Category:Definitions/Rings of Continuous Real-Valued Functions

This category contains definitions related to Rings of Continuous Real-Valued Functions.
Related results can be found in Category:Rings of Continuous Real-Valued Functions.

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

Let $\R$ denote the real number line.

The ring of continuous mappings from $S$ to $\R$, denoted $\map C {S, \R}$, is called the ring of continuous real-valued functions from $S$.

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

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

$\forall s \in S : \map {\paren{f + g}} s = \map f x + \map g s$

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

$\forall s \in S : \map {\paren{f g}} s = \map f x \map g s$