:
Eine nicht leere Menge zusammen mit einer Abbildung
, durch die je zwei
Elemente
das Element
zugeordnet wird und die folgenden
Eigenschaften besitzt, heißt Gruppe:
Gilt zusätzlich:
Die reellen Zahlen bilden eine Menge mit den Verknüpfungen + und :
Sowie einer Anordnung, die durch eine Teilmenge , den Positivitätsbereich,
gegeben wird. Für diese Daten müssen erfüllt sein:
bilden eine abelsche Gruppe mit der 0 als neutrales Element und
als Inversen zu
.
ist eine abelsche Gruppe mit der 1
als neutrales Element und mit
als Inversen zu
.
Es gilt das Distributivgesetz:
,
,
Zu gegebenen Zahlen gibt es genau eine Zahl
.
Zu gegeben Zahlen
gibt es genau ein
mit
. Nun
gilt:
Wir betrachten nun folgende Gleichung:
Diese soll nun gelöst werden:
Die Gleichung wird durch ,
und 1 gelöst.
Die Elemente von heißen positive Zahlen. Diese sind durch die folgenden
Axiome gekennzeichnet:
Bezeichnung: Für schreiben wir
.
|
Wir definieren folgendes:
|
Für welche gilt
?
Für gilt:
Alle
, die als Lösung möglich sind, sind
.
Wir stellen folgende Behauptung auf:
Diese Aussage ist nun zu beweisen:
Es ist folgende Aussage zu beweisen: Für gilt
.