Funktionenring
# Funktionenring

Ein Funktionenring ist in der Mathematik (genauer der Ringtheorie) ein spezieller Ring von Funktionen. Diese spielen eine große Rolle in der abstrakten Algebra, Topologie, sowie zahlreichen Anwendungen der Mathematik in Naturwissenschaften.

## Definition

Sei $R$ ein Ring, $M$ eine nichtleere Menge und

    $\mathbb {F} (M,R):=\{f\colon M\to R\}$

die Menge aller auf $M$ definierten Funktionen mit Werten in $R$. Dann sind durch

    $(f+g)(x):=f(x)+g(x)$
    $(f\cdot g)(x):=f(x)\cdot g(x)$

Verknüpfungen erklärt, mit denen $\mathbb {F} (M,R)$ zu einem Ring wird, dem sogenannten Ring der Funktionen.

## Wichtige Eigenschaften

* Der Ring $\mathbb {F} (M,R)$ "ererbt" gewisse Eigenschaften von $R$, wie etwa die Kommutativität und das Einselement. Andere Eigenschaften, wie beispielsweise Nullteilerfreiheit, werden nicht "vererbt".
* Die Menge der konstanten Funktionen bildet einen zu $R$ isomorphen Unterring von $F$. Damit kann $R$ als Teilring von $F$ betrachtet werden.

## Beispiele

* Wählt man als $R$ die Menge der reellen Zahlen $\mathbb {R}$ mit den üblichen Addition und Multiplikation und als $M$ eine offene Teilmenge von $\mathbb {R} ^{n}$, so kann man von stetigen beziehungsweise differenzierbaren Funktionen sprechen. In diesem Falle sind die Mengen $C(M)=\{f\colon M\to R\mid f{\text{ ist stetig}}\}$ und $D(M)=\{f\colon M\to R\mid f{\text{ ist differenzierbar}}\}$ Unterringe von $\mathbb {F} (M,R)$. Dabei ist $D(M)$ ein Unterring von $C(M)$.

## Auswertungshomomorphismus

Für ein festes $a\in M$ ist die Abbildung

    $\phi \colon \mathbb {F} (M,R)\to R$
    $f\mapsto f(a)$

ein Ringhomomorphismus. Man bezeichnet ihn als Auswertungshomomorphismus oder auch einfach als die Auswertung an der Stelle $a\in M$.

