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$.

Literatur

• Albrecht Beutelspacher: Lineare Algebra. Eine Einführung in die Wissenschaft der Vektoren, Abbildungen und Matrizen. 6. durchgesehene und ergänzte Auflage, Nachdruck. Vieweg + Teubner, Wiesbaden 2009, ISBN 978-3-528-56508-4 (Mathematik für Studienanfänger).
• Gerd Fischer: Lehrbuch der Algebra. Vieweg, Wiesbaden 2008, ISBN 978-3-8348-0226-2 (Vieweg Mathematik).