Rad (Mathematik)

Ein Diagramm eines Rads: Die reelle projektive Gerade zusammen mit dem ungültigen Element $\bot$ in der Mitte.

Ein Rad ist eine algebraische Struktur in der die Division durch null definiert ist. Die reellen Zahlen können wie jeder kommutativer Ring zu einem Rad erweitert werden.

Der Name rührt von der topologischen Darstellung $\odot$ der reellen projektive Geraden mit einem Element $\bot =0/0$.

Definition

Ein Rad $(W,+,\cdot ,/,0,1)$ ist eine Menge $W$ mit zwei kommutativen und assoziativen zweistelligen Operationen $+$ und $\cdot$, der einstelligen Operation $/$ und jeweiligen neutralen Elementen $0,1\in W$, für die die folgenden Beziehungen, genannt Radaxiome, gelten:

• $/$ ist eine Involution: Für alle $x\in W$ gilt: ${/\!\!/}x=x$.
• $/$ ist multiplikativ: Für alle $x,y\in W$ gilt: $/\!(x\cdot y)=(\!/\!x)\cdot (\!/\!y)$.
• Für alle $x,y,z\in W$ gilt: $(x+y)\cdot z+0\cdot z=x\cdot z+y\cdot z$
• Für alle $x,y,z\in W$ gilt: $(x+y\cdot z)/y=x/y+z+0\cdot y$
• $0\cdot 0=0$
• $(x+0\cdot y)\cdot z=x\cdot z+0\cdot y$
• $\!/\!(x+0\cdot y)=\!/\!x+0\cdot y$
• $0/0+x=0/0$

Statt $a\cdot (\!/\!b)$ wird $a/b$ geschrieben.

Das Negative von $1$ ist das (eindeutige) Element $-1$, das die Gleichung $1+(-1)=0$ erfüllt; dann ist $-x=(-1)\cdot x$ das Negative von $x\in W$ und die Subtraktion $x-y=x+(-y)$ definiert.

Ein Rad kann intuitiv als kommutativer Ring (oder Halbring) betrachtet werden, bei dem Addition und Multiplikation keine Gruppe, sondern ein kommutatives Monoid und ein kommutatives Monoid mit Involution sind.

Algebraische Eigenschaften

In einem Rad ersetzt $/$ die übliche zweistellige Division: Die Operation $\!/\!x$ ist dem multiplikativen Inversen ähnlich, aber nicht gleich: So ist etwa $a/b=/b\cdot a$, jedoch ist das nicht notwendigerweise $a\cdot b^{-1}$. Außerdem wird in Ringen stets gültige Identitäten gebrochen:

• $0\cdot x\neq x$ ist möglich
• $x/x\neq 1$ ist möglich

Beweisbar sind hingegen folgende abgeschwächte Idenitäten:

• $0\cdot x+0\cdot y=0\cdot x\cdot y$
• $x/x=1+0\cdot x/x$
• $x-x=0\cdot x^{2}$

Für Elemente $x\in W$, die $0\cdot x=x$ und $0/x=0$ erfüllen, gilt wie in Ringen üblich:

• $x/x=1$
• $x-x=0$

Gibt es $-1\in W$, so ist $\{\,x\in W\,|\,0\cdot x=0\,\}$ mit den Operationen $+$ und $\cdot$ ein kommutativer Ring; jeder kommutative Ring ist auf diese Weise Teilmenge eines Rads. Ist außerdem $x$ ein invertierbares Element des Rings, so ist $x^{-1}=\!/\!x$. Das heißt, wenn $x^{-1}$ wohldefiniert ist, ist es mit $\!/\!x$ identisch, jedoch ist $\!/\!x$ immer definiert, auch für $x=0$.

Beispiele

Bruchrad

Sei $R$ ein kommutativer Ring und $S$ ein multiplikatives Untermonoid von $A$. Die Kongruenzrelation $\sim _{S}\subseteq R\times R$ sei definiert als:

$(a,b)\sim _{S}(c,d)$ genau dann, wenn es $l,r\in S$ gibt, sodass $(la,lb)=(rc,rd)$ gilt.

Das Bruchrad von $R$ in Bezug auf $S$ ist der Quotient $(R\times R)/\sim _{S}$; die Äquivalenzklasse von $(x_{1},x_{2})$ wird als $[x_{1},x_{2}]$ notiert. Die Operationen $+$, $\cdot$ und $/$ und die Konstanten $0$ und $1$ sind wie folgt definiert:

• $0=[0,1]$
• $1=[1,1]$
• $\!/\![x,y]=[y,x]$
• $[a,b]+[c,d]=[ad+bc,bd]$
• $[a,b]\cdot [c,d]=[ac,bd]$

Projektive Gerade und Riemmann-Sphäre

Ist der in der o. g. Konstruktion verwendete Ring ein Körper, so ist das Bruchrad eine projektive Gerade, erweitert um einen zusätzlichen Punkt $\bot =0/0$. Die projektive Gerade ist eine Erweiterung des Körpers um den unendlich fernen Punkt $\infty$, wobei $x/0=\infty$ für alle $x\neq 0$; in der projektiven Gerade ist $0/0$ immer noch undefiniert, wird jedoch definiert durch die erneute Erweiterung zu einem Rad.

Ausgehend von den reellen Zahlen ist die entsprechende projektive Gerade geometrisch ein Kreis, und der zusätzliche Punkt $0/0$ ergibt die Form, von der sich der Begriff Rad ableitet. Geht man stattdessen von den komplexen Zahlen aus, so ist die entsprechende projektive Gerade die Riemann-Sphäre, und der zusätzliche Punkt ergibt eine dreidimensionale Version eines Rades.

Siehe auch

• NaN

Literatur

• Anton Setzer: Wheels. 7. Dezember 1997 (uu.se [PDF; 124 kB; abgerufen am 28. November 2023]). 
• J. Carlström (2004), s. Einzelnachweise
• Jan A. Bergstra, John Vivian Tucker: The rational numbers as an abstract data type. In: Journal of the ACM. Band 54, Nr. 2, 1. April 2007, S. 7, doi:10.1145/1219092.1219095 (englisch, acm.org). 
• Alban Ponse, Jan A. Bergstra: Division by Zero in Common Meadows. In: Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (= Lecture Notes in Computer Science). Band 8950. Springer International Publishing, 2015, ISBN 978-3-319-15544-9, S. 46–61, doi:10.1007/978-3-319-15545-6_6, arxiv:1406.6878 (englisch, springer.com).