Sie sind auf Seite 1von 7

AnordnungsaxiomeMathefrNichtFreaks

AusWikibooks
DieAnordnungsaxiomebeschreibendielineareOrdnungderreellenZahlenunddenZusammenhangdieser
OrdnungmitdenarithmetischenOperationen,welchedurchdieKrperaxiomeeingefhrtwurden.

Inhaltsverzeichnis
1 HerleitungderAnordnungsaxiome
1.1 CharakteristischeEigenschaftenderKleinerRelation
1.2 ZusammenhangmitderAddition
1.3 ZusammenhangmitderMultiplikation
1.4 ZusammenfassungbisherigerErgebnisse
1.5 ReduzierungdernotwendigenAxiome
2 DieAnordnungsaxiome
3 AlternativeBeschreibungderAnordnungsaxiome
4 InformationenzumProjekt

HerleitungderAnordnungsaxiome
AndersalsandereMathematikLehrbchermchteichandieserStellenichteinfachdieAnordnungsaxiome
nennen,ichmchtevielmehrdiesesKapitelmitderSkizzeeinesGedankenwegesbeginnen,berdenmanauf
dieFormulierungderAnordnungsaxiomekommenkann.

CharakteristischeEigenschaftenderKleinerRelation
AusunsererintuitivenIdeederZahlengeradewissenwir,dassdie
reellenZahleneineOrdnunghaben.Diesewollenwirnundurchdie
Anordungsaxiomebeschreiben.Dazumssenwirangeben,wiedie
Relationen , , und frdiereellenZahlendefiniertsind.
Dabeireichtesaus,nureinedervierRelationenanzugeben(siehe
OrdnungsrelationausdemBuchGrundlagenderMathematik).Die
restlichendreiOrdnungsrelationenergebensichdannautomatischaus
derbereitsangegebenenRelation.

Transitivitt:Aus
folgt
.

und

WirwhlenhierzudieKleinerRelation .AusdemKapitelzur
Ordnungsrelationwissenwirbereits,dassfrdieseRelationdiefolgendenbeidenEigenschaften
charakteristischsind:
(TrichotomiederKleinerRelation)
(TransitivittderKleinerRelation)
DasZeichen stehtdabeifrdieKontravalenz,dieEntwederOderVerknpfungzwischenAussagen.
Nunmssenwirnochklren,wiedieKleinerRelationmitdenarithmetischenOperationenderAddition,
Subtraktion,MultiplikationundDivisionimZusammenhangsteht.ImKapitelzudenKrperaxiomenwurde
erklrt,dassdieSubtraktionalsAdditionunddieDivisionalsMultiplikationangesehenwerdenknnen.
Insofernreichtes,nurdieZusammenhngemitderAdditionundderMultiplikationzuuntersuchen.

ZusammenhangmitderAddition
AusdemModellderreellenZahlenalsZahlengeradewissenwir,dasswennwirbeideSeitenderUngleichung
miteinerreellenZahl addieren,dieOrdnungerhaltenbleibt:

Esgiltalso:

AusderobigenZeichnunglsstsichaberauchdieumgekehrteImplikationsrichtungherleiten.Esgiltalsoauch

Esistalsogenaudann
quivalenz:

,wenn

ist.Dementsprechenderhaltenwirinsgesamtdie

ZusammenhangmitderMultiplikation
BeiderMultiplikationmssenwirunterscheiden,obmiteinernegativenodermiteinerpositivenZahl
multipliziertwird.WerdenbeideSeitenderUngleichung
miteinerpositivenZahl multipliziert,so
bleibtdieUngleichungerhalten:

hnlichwiebeiderAdditiongiltfrpositiveZahlen :

BeiderMultiplikationmitnegativenZahlendrehtsichdieOrdnungum:

EsgiltfrnegativeZahlen :

DieMultiplikationbeiderSeitenderUngleichung
mussdeswegennichtbetrachtetwerden.

mit0ergibtimmerdiefalscheAussage

und

ZusammenfassungbisherigerErgebnisse
BisherhabenwirFolgendesherausgefunden:EsmussnurdieKleinerRelation definiertwerden.Diesehat
diecharakteristischenEigenschaften:

Frpositives :
Frnegatives :

ReduzierungdernotwendigenAxiome
EigentlichknntenwirbereitsobigeAussagenalsAnordnungsaxiomedefinieren.Jedochhabenwirim
EinfhrungskapitelzudenreellenZahlendasZielformuliert,dassmglichstwenigeundnurdiewirklich
notwendigenAussagenalsAxiomedefiniertwerden.Insofernmssenwirnochschauen,obdieobigen
AussageninihrerAussagekraftoderinihrerAnzahlreduziertwerdenknnen.
BeginnenwirmitderUngleichung

Wegen

knnenwirbeideSeitenmit

addieren.Wirerhalten

Esistalsogenaudann
,wenn
ist.UmdieKleinerRelation definierenzuknnen,reichtes
alsoauszuwissen,welcheZahlenpositivsind.EineZahl istnmlichgenaudannkleinerals ,wenndie
bereitsindenKrperaxiomendefinierteDifferenz
positivist.EinezweistelligeRelation
knnen

wiralsoaufdieEigenschaftderPositivittunddamitaufeineeinstelligeRelationreduzieren(ImAbschnittzu
denRelationenhabenwirgeklrt,dassEigenschaftenvonObjektenalseinstelligeRelationendefiniertwerden).
Ausderquivalenz
isterkennbar,dassesaufdieDifferenz
dieobigenAussagengeschicktumformen,dannerhaltenwir:

ankommt.Wennwir

Frpositives :
Frnegatives :
InderAussage

knnenwir

setzenunderhalten

DieAussage

isttrivialerweiseimmerwahr,weil
aufgenommenwerden.BeiderTransitivittsaussage

kannmanerkennen,dass

ObigeAussageknnenwirvereinfachen,indemwir

ist.SiemussdeswegennichtextraalsAxiom

ist.DieseAussageknntemanalsobeweisen,wenngilt

und

setzen.Wirerhaltendann

DieseAussage,welcheauchunsererintuitivenIdeederreellenZahlenentspricht,nehmenwirnunindie
Anordnungsaxiomeauf,umspterdieTransitivittderKleinerRelationzubeweisen.Weiterhinsetzenwirbei
derAussage

Frpositives :
fr

einunderhaltenanalogzurgeradegefundenenAussagemitderAdditionpositiverZahlen:

Wiewirsptersehenwerden,kanndieRegelmitderMultiplikationmiteinernegativenZahlausdenbereits
genanntenAxiomenhergeleitetwerden.InsofernmssenwirauchdieseAussagenichtalsAxiomdefinieren.
InsgesamterhaltenwirfolgendeAussagenalsAxiomefrdieAnordnungreellerZahlen:

FassenwirnununsereErkenntnisseinDefinitionenzusammen.

DieAnordnungsaxiome
DieOrdnungderreellenZahlenkanndadurchbeschriebenwerden,dasswirallepositivenZahlenkennen.
Wenn einepositiveZahlist,schreibenwir
.DiePositivittderreellenZahlenwirddabeiberdie
Anordnungsaxiomedefiniert:
Definition(Anordnungsaxiome)
DieAnordnungsaxiomelauten
TrichotomiederPositivitt:

AbgeschlossenheitbezglichAddition:

AbgeschlossenheitbezglichMultiplikation:

MitHilfederPositivittseigenschaft

knnenwirnundieKleinerRelationdefinieren:

Definition(KleinerRelation)
DieKleinerRelation

istdurchfolgendequivalenzdefiniert:

Esistalsogenaudann kleinerals ,wenndieDifferenz


knnenwirnunalleweiterenOrdnungsrelationendefinieren:

positivist.MitHilfederKleinerRelation

Definition(WeitereOrdnungsrelationenaufGrundlagederKleinerRelation)

FrdiereellenZahlensindauerdemdieRelationen , und berfolgendequivalenzendefiniert:

EineStrukturwiediederreellenZahlen,diedieKrperundAnordnungsaxiomeerfllt,wirdimbrigen
angeordneterKrpergenannt:
Definition(angeordneterKrper)
EinangeordneterKrperisteinKrper,derdieAnordnungsaxiomeerfllt.

AlternativeBeschreibungderAnordnungsaxiome
DieEigenschaftfreineZahl,positivzusein,isteineeinstelligeRelation.ImKapitelzudenRelationenaus
demBuchGrundlagenderMathematikhabenwirgelernt,dasseinstelligeRelationenberMengenmodelliert
werdenknnen.HierzudefinierenwirunseineMenge ,diealleZahlen enthlt,frdie
giltunddie
damitpositivsind.WennmaneinesolcheMenge hat,kannmananstellevon
auch
schreiben.
DementsprechendknnendieAnordnungsaxiomeauchumgeschriebenwerden:
Definition(AlternativeDefinitionderAnordnungsaxiome)
EsgibteineMenge

mitfolgendenEigenschaften:

Trichotomie:

AbgeschlossenheitbezglichAddition:

AbgeschlossenheitbezglichMultiplikation:

EineZahlwirdpositivgenannt,wennsieElementvon

ist.Esgiltalso

AlleweiterenDefinitionensindnunidentischzumobigenAbschnitt.DasZeichen istimbrigendie
disjunkteVereinigung.
ZurErklrungderalternativenAnordnungsaxiome:DieAxiomezurAbgeschlossenheitwurdendirekt
bernommen,wobei
durch
ersetztwurde.
ZumAxiomderTrichotomie:Weil

gleich ist,istjedereelleZahlElementder

ZumAxiomderTrichotomie:Weil
gleich ist,istjedereelleZahlElementder
Menge
.NunistaberdieVereinigungvon
disjunkt
unddamitjedereelleZahlElementvongenaueinerderdreiMengen
1.
2.
3.
ImerstenFall
Gleichung

ist

.Fr

ist

undfr

ist

.Die

istalsoquivalentzurobeneingefhrtenVersionderTrichotomie.
Abgerufenvonhttps://de.wikibooks.org/w/index.php?title=Mathe_fr_Nicht
Freaks:_Anordnungsaxiome&oldid=773394

DieseSeitewurdezuletztam28.Oktober2015um08:52Uhrgendert.
DerTextistunterderLizenz''CreativeCommons''NamensnennungWeitergabeuntergleichen
Bedingungenverfgbar.ZustzlicheBedingungenknnengelten.Einzelheitensindinden
Nutzungsbedingungenbeschrieben.