Funktionenring

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

Definition

Ist R ein Ring, M eine nichtleere Menge und

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

die Menge aller auf M definierten Funktionen mit Werten in R, so sind durch

(f + g)(x): = f(x) + g(x)

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

Verknüpfungen erklärt und $\mathbb F(M,R)$ wird damit selber zu einem Ring, dem sogenannten Ring der Funktionen.

Wichtige Eigenschaften

1. Der Ring $\mathbb F(M,R)$ "vererbt" gewisse Eigenschaften von R, wie etwa die Kommutativität und das Einselement. Andere Eigenschaften, wie beispielsweise Nullteilerfreiheit, werden nicht "vererbt".
2. Die Menge der konstanten Funktionen bildet einen zu R isomorphen Unterring von F (das bedeutet, R kann als Teilring von F betrachtet werden)
3. Wählt man als R die Menge der reellen Zahlen $\mathbb R$ mit den üblichen Addition und Multiplikation und als M etwa 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 : M\mapsto R |$ f ist stetig } und $D(M)= \{ f : M\mapsto R |$ f ist differenzierbar } Unterringe von $\mathbb F(M,R)$. Dabei ist D(M) sogar ein Unterring von C(M).

Auswertungshomomorphismus

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

$\phi: \mathbb F(M,R) \mapsto R$

$f \mapsto f(a)$

ein Ringhomomorphismus. Man bezeichnet ihn als Auswertungshomomorphismus, kurz 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).