Sie sind auf Seite 1von 7

IntervallschachtelungmitrationalerGenauigkeit

MathefrNichtFreaks
AusWikibooks
NachdenKrperundAnordungsaxiomenmchteichnundieVollstndigkeitderreellenZahlenbeschreiben.

Inhaltsverzeichnis
1 WiesobrauchenwireinVollstndigkeitsaxiom?
2 IstdieExistenzrationalerZahlengesichert?
3 WiekanndieLckenfreiheitreellerZahlenbeschriebenwerden?
3.1 Sackgasse:WegberdenBegriffLcke
3.2 Sackgasse:WegberdenKonstruktionsbegriff
3.3 Lsung:WegberApproximationen
4 IntervallschachtelungenmitrationalerGenauigkeit
4.1 Definition
4.2 IntervallschachtelungausunendlichemDezimalbruch
4.3 AlternativeIntervallschachtelungfrWurzel2
5 IntervallschachtelungsprinzipmitrationalerGenauigkeit
6 AlternativeBeschreibungderVollstndigkeit
7 Einzelnachweise
8 InformationenzumProjekt

WiesobrauchenwireinVollstndigkeitsaxiom?
DenGrundfindenwir,indemwirunszunchsteineandereFragestellen:Knnenwirmitdenbisher
vorgestelltenAxiomenbereitsdieExistenzvon beweisen?DieAntwortetlautet:Nein.Wennwirnmlich
dieExistenzvon beweisenknnten,sowrdejedesModellderbisherigenAxiomeauchdieZahl
enthalten.NunsindaberdierationalenZahleneinsolchesModell,weilsiealleKrperund
Anordnungsaxiomeerfllen.Jedochist bekanntlichkeinerationaleZahl(sieheWikipediaArtikelBeweis
derIrrationalittderWurzelaus2beiEuklid).Esfolgt,dassdieExistenzvon mitdenKrperund
Anordnungsaxiomenunbeweisbarist,weilwirsonsteinenWiderspruchhtten.AnalogistauchdieExistenz
derKreiszahl oderdereulerschenZahl nichtbeweisbar,daauchsieirrationalsind.Wirbrauchenalso
zustzlicheAxiome,umdieseLckenzuschlieen.

IstdieExistenzrationalerZahlengesichert?
WiesiehtesnunmitderExistenzrationalerZahlenaus?Knnenwirwenigstensdiesebeweisen,wennwir
schonnichtdieExistenzirrationalerZahlenannehmenknnen?HierlautetdieAntwort:Ja.
DieKrperaxiomesichernunsdieExistenzderZahlen und .HierwurdenmlichdirektindenAxiomen
definiert,dass und existieren.Da existiert,existiertauchjedeSumme
.ImAbschnittzu
denAnordnungsaxiomenhabenwirbereitsbewiesen,dass
ist.Damitfolgt

JedeSummevonEinsernistalsopositivundpaarweiseunterschiedlich.Damitknnenwirdienatrlichen
Zahlenber

einfhren.WeilnunauchjedereelleZahleinNegativeshat,musseszujedernatrlichenZahl auchihr
Negatives geben.DamitistdieExistenzganzerZahlengewhrleistet.WeilwirnachdenKrperaxiomen
auchbeliebigdividierenknnen,folgtdieExistenzvonBrchen mitganzenZahlen und ,wobei
ist.
InsgesamtfolgtsoausdenAnordnungsundKrperaxiomendieExistenzrationalerZahlen.
Hinweis
DerobigeAbschnittistkeinBeweisimstrengenmathematischenSinn,sondernvielmehreineSkizze,
wiedierationalenZahleninjedemangeordnetenKrpergefundenwerdenknnen.Damitdieses
Kapitelnichtzulangwird,mchteichaberandieserStelleaufeinenausfhrlichenBeweisverzichten.
DieKrperundAnordnungsaxiomegarantierenunsalsodieExistenzrationalerZahlen.Wasfehlt,ist,durch
zustzlicheAxiomedieLckenzwischendenrationalenZahlenzuschlieen.

WiekanndieLckenfreiheitreellerZahlenbeschriebenwerden?
Sackgasse:WegberdenBegriffLcke
WieknnenwirdieLckenschlieen?EineMglichkeitwreeszusagen,dassdiereellenZahlenlckenfrei
seinsollen.HierhabenwiraberdasProblem,dasswirdenBegriffLckebishernochnichtdefinierthaben.
DiesenBegriffhabenwirnurintuitivverwendet.EineDefinitiondesKonzeptsLckeistaberschwierig,
denndiesesKonzeptbeschreibtetwas,dasselbstnichtexistiert.IchmchtedeswegendiesenWeg
vermeiden[1].

Sackgasse:WegberdenKonstruktionsbegriff
EineweitereMglichkeitwreeszusagen,dassalles,wasirgendwiekonstruiertwerdenkann,auchexistiert.
Beispielsweiseist gleichderLngederDiagonaleneinesQuadratesmitderSeitenlngeEinsundkannso
mitLinealundZirkelaufderZahlengeradeneingezeichnetwerden:

HierhabenwiraberdasProblem,denBegriffderKonstruktionrichtigzudefinieren.DieserBegriffmsste
nmlichmchtiggenugsein,umallereelleZahlenkonstruierenzuknnen(inderAlgebrawirstdusehen,dass
esreelleZahlenwie gibt,dienichtmitZirkelundLinealaufderZahlengeradeneingetragenwerdenknnen).
GleichzeitigmsstederKonstruktionsbegriffaucheinfachinseinerHandhabungsein.DieserWegscheintmir
deshalbzuschwierigzusein.MiristauchkeinAnalysislehrbuchbekannt,welchesdiesenWegbeschreitet.

Lsung:WegberApproximationen
WirknnenaberauchdieTatsacheverwenden,dassdie
bereitsformuliertenAxiomeunsdieExistenzderrationalen
Zahlengarantieren.JedereelleZahlkannnmlichbeliebig
durchrationaleZahlenangenhertwerden.Nimmzum
BeispieldieZahl .AusderSchuleweitdu,dassesfr
dieseZahleineDarstellungalsunendlichenDezimalbruch
gibt:

kannapproximiertwerden,indemmaneinen
KreismitPolygonenmitimmergrerer
SeitenanzahlumschlietunddieUmfngeder
Polygonebestimmt

DabeimusstdudiranstattderPnktchendiefehlendeunendlicheFolgevonZiffernvorstellen.Wenndunun
vondieserunendlichenDezimalbruchdarstellungeinenendlichenDezimalbruchnimmst,erhltstdueine
rationaleZahl,diedenunendlichenDezimalbruchapproximiert.Soist
einerationaleZahl,deren
Abstandzu

kleinergleich

ist.JemehrNachkommastellenduindenendlichenDezimalbruch

aufnimmst,umsobesseristdeineApproximation.WennduallgemeinvoneinemunendlichenDezimalbruch
denendlichenDezimalbruchmit Nachkommastellenwhlst,erhltstdueinerationaleZahl,derenAbstand
vomunendlichenDezimalbruchkleinergleich
ist.DamitistjederunendlicheDezimalbruchdurch
rationaleZahlenapproximierbar.WeilnunjedereelleZahleineunendlicheDezimalbruchdarstellungbesitzt,ist
auchjedereelleZahldurchrationaleZahlenannherbar.
GleichzeitigistjedeZahl,diedurchrationaleZahlenangenhertwurde,selbstwiederreell.Dieskannstdudir
ausderintuitivenIdeederZahlengeradenerklren.AllerationalenZahlenliegennmlichaufder
Zahlengeraden,undwennetwasmitPunktenaufderZahlengeradenapproximiertwird,dannliegtdieser
approximiertePunktwiederaufderZahlengeraden(undistdamiteinereelleZahl).Damitknntedas
VollstndigkeitsaxiomvomSchemaherfolgendermaenaussehen:

Alles,wasmitrationalenZahlenapproximiertwerdenkann,mussexistieren.
MitdiesemAxiomwredieExistenzjederreellenZahlgewhrleistet.Wirmssennunnocheine
mathematischeDefinitionfrdasintuitiveKonzeptderApproximationfinden.

IntervallschachtelungenmitrationalerGenauigkeit
Definition
UmdasKonzeptderApproximationmathematischzudefinieren,whle
ichdenWegberIntervallschachtelungen.EineIntervallschachtelung
isteinespezielleFolgevonIntervallen , , usw.Jedesdieser
Intervalle
isteinekonkreteApproximation.DieAngabe
desIntervalls
bedeutetdabei,dassdiezuapproximierendeZahl
DieerstenvierIntervalleeiner
imIntervall
liegt,dassalso
ist.Diezueinem
Intervallschachtelung.
IntervallgehrendenZahlen und stellenalsojeweilseineuntere
beziehungsweiseeineobereSchrankefrdiezuapproximierendeZahl
dar.DieAngabedieserbeidenZahlenhatfolgendenVorteil:DerFehlerderApproximationistdirekt
ersichtlich.WennmannmlichinjedemSchrittnureineZahlalsApproximationangebenwrde,wssteman
nicht,wiegutdieseApproximationist.DiesesProblemhatmanbeiIntervallennicht.DieBreiteeinesIntervalls
isteingutesMafrdieQualittderApproximation.

NunsolldieApproximationmitjedemangegebenenIntervallimmerbesserwerden.Wennwirbereitswissen,
dassdieapproximierteZahlimIntervall liegt,dannwollenwirdiesesWissenauchindenfolgenden
Schrittennutzen.Wirforderndeshalb

Essollalsogelten

Auchmssenwirgarantieren,dassdieApproximationbeliebiggenauwird.Deswegensollauchfolgende
Anforderungerflltsein:

FrallepositivenrationalenZahlen gibtesmindestenseinIntervall

mitderBreitekleinergleich .

WirwollennmlichdurcheineApproximationgenaueinereelleZahlbeschreiben.Deswegenmssenwir
verhindern,dassalleIntervalleeineMindestbreitehaben,weilessonstmehrerereelleZahlengebenwrde,die
inallenIntervallenliegen.DamitwrdenmehrereZahlendurchdieIntervallfolgegleichermaenapproximiert,
waswirnichtwollen.
IndenmeistenBeispielenfrIntervallschachtelungenknnenwirnurgarantieren,dassdieIntervallekleinerals
jedepositiverationaleZahlwerden.DeswegenhabenwirinderobigenEigenschaftauchnurrationaleZahlen
undnichtbeliebigereelleZahlen
gewhlt.WiewirimnchstenKapitelsehenwerden,werdenso
auchinfinitesimale,alsounendlichkleineZahlenausgeschlossen.SosparenwirunsimVergleichzuanderen
LehrbcherneinAxiom.
EineFolgevonIntervallenmitdenobigenEigenschaftennenntmanIntervallschachtelungmitrationaler
Genauigkeit:
Definition(IntervallschachtelungmitrationalerGenauigkeit)
EineIntervallschachtelungmitrationalerGenauigkeitisteineFolgevonabgeschlossenenIntervallen
,
,
...mitdenEigenschaften
AlleIntervallesindTeilmengenihresVorgngers:

FrjederationaleZahl

gibteseinIntervall

mitderBreitekleiner :

Hinweis
InvielenanderenLehrbchernwirstdueinenanderenBegriffderIntervallschachtelungfinden.Hier
werdendieIntervallekleineralsjedepositivereelleZahlundnichtnurkleineralsjedepositive
rationaleZahl.DieseArtderIntervallschachtelungwerdeichineinemspterenKapitelerlutern.Zur

besserenUnterscheidungwerdeichfrdieseIntervallschachtelungimmerdenBegriff
IntervallschachtelungmitrationalerGenauigkeitverwenden(esseidenn,diegemeinteArtder
IntervallschachtelungerschlietsichausdemKontext).DieandereArtderIntervallschachtelungwerde
ichAllgemeineIntervallschachtelungnennen.
Beachte,dassdieGrenzenderIntervalle,alsodieZahlen und ,durchausirrationalseinknnen.Wirhaben
nmlichinderobigenDefinitionkeineEinschrnkungenfrdieZahlen und getroffen.Zwarwissenwir
aktuellnochnicht,obesirrationaleZahlenwie oder gibt,wennwiraberdurchgeeignete
ApproximationenderenExistenzbewiesenhaben,dannknnenwirdieseZahlennutzen,umweiterereelle
Zahlenzuapproximieren.DieseEntscheidungwurdeauchgetroffen,umBeweiseimspterenKapitelzur
allgemeinenIntervallschachtelungzuvereinfachen.
Verstndnisfrage:WarumfolgtausderobigenDefinition,dasswenneinIntervall
hat,auchallenachfolgendenIntervalleeineBreitekleiner haben?
WeilallenachfolgendenIntervalleTeilmengenvon

eineBreitekleiner

sindunddamiteineBreitekleinergleich

haben.

Verstndnisaufgabe:Sei einebeliebigerationaleZahl.FindeeineIntervallschachtelungmitrationaler
Genauigkeitfr .
EineeinfacheMglichkeitistdieFolge
,wojedesIntervallgleichdemeinelementigenIntervall
ist.Beachte,dassdieseIntervallschachtelungnurdeswegenmglichist,weilwirinder
DefinitionabgeschlosseneundkeineoffenenIntervallegeforderthaben.DeswegenistesauchdieWahlvon
abgeschlossenenIntervalleninderDefinitionsinnvoll.
EineandereMglichkeitistdieIntervallschachtelung

.Dieszeigt,dassesfreine

ZahlmehreremglicheIntervallschachtelungenrationalerGenauigkeitgebenkann.

IntervallschachtelungausunendlichemDezimalbruch
ImobigenAbschnitthabeichbereitsdargelegt,dassausjedemunendlichenDezimalbrucheine
ApproximierbarkeitderdurchdenDezimalbruchdargestelltenZahlfolgt.NimmbeispielsweisewiederdieZahl
.DiesebesitztdieDezimalbruchdarstellung

Ichhabebereitserwhnt,dasswennmaneinenendlichenDezimalbruchmit Nachkommastellenwhlt,dieser
endlicheDezimalbruch miteinemFehlervonmaximal
approximiert.Genauer:Wenn derendliche
Dezimalbruchmit Nachkommastellenist,dannliegt zwischen und
.Esgilt

Damitist

eineFolgevonIntervallen,die approximieren.JedesIntervallistdabeiTeilmengedesVorgngers,undda
beim tenIntervalldieBreitedesIntervallsgleich
ist,werdendieBreitenderIntervallekleineralsjede
positiverationaleZahl.DamitistobigeFolgevonIntervalleneineIntervallschachtelungmitrationaler
Genauigkeit.AnalogkannmanausjedemunendlichenDezimalbrucheineIntervallschachtelungmitrationaler
GenauigkeitfrdiedurchdenDezimalbruchdargestellteZahlgewinnen.

AlternativeIntervallschachtelungfrWurzel2
AlternativkannaucheineIntervallschachtelungbereineArtAlgorithmusgewonnenwerden.Ichmchtedir
andieserStelleeinensolchenAlgorithmusvorstellen,weildirdieseMethodeinderAnalysishufiger
begegnenwird.Stellediralsovor,dasswirwieder approximierenwollen.Zunchstwissenwir,dass
ist,dennesist

Damitmuss

imIntervall

kleinerodergrerals
kleiner2ist.Da
somiterhaltenwir

liegen.NunnehmenwirdieMitte desIntervalls

undschauen,obsie

seinmuss.Diestunwir,indemwir quadrierenundschauen,obdasgreroder
grerals2ist,mussauch grerals

sein.Esgiltalso

und

alszweitesIntervallderIntervallschachtelung.

DiesesVerfahrenknnenwirnunbeliebigwiederholen.JedesMalteilenwirdasaktuelleIntervallinzwei
Hlftenundschauen,inwelcherderbeidenHlftensichdieZahl befindenmuss.DieseIntervallhlfte
whlenwiralsneuesIntervallderIntervallschachtelung.
JedesIntervallistTeilmengedesVorgngerintervalls,undweilinjedemSchrittdieBreitedesIntervallshalbiert
wird,wirddieIntervallbreitekleineralsjedepositiverationaleZahl.Damitgewinnenwirdurchden
AlgorithmuseineIntervallschachtelungmitrationalerGenauigkeitfr .

IntervallschachtelungsprinzipmitrationalerGenauigkeit
Nunsindwirsoweit,dieVollstndigkeitvon alsAxiomzudefinieren.InunsererVorstellungsolljede
IntervallschachtelungmitrationalerGenauigkeitgenaueinereelleZahlapproximieren.Deswegenfordernwir,
dassgenaueinereelleZahldurchalleIntervallederIntervallschachtelungapproximiertwird,dassalsogenau
einereelleZahlinallenIntervallenliegt.DieseForderungnennenwirIntervallschachtelungsprinzipmit
rationalerGenauigkeit:
Definition(IntervallschachtelungsprinzipmitrationalerGenauigkeit)
FrjedeIntervallschachtelungmitrationalerGenauigkeitgibtesgenaueinereelleZahl,dieinallen
Intervallenliegt.

DiesesAxiombeschreibtdieminimaleVervollstndigungderrationalenzudenreellenZahlen.Umdaszu
sehen,knnenwirdenSatzteilesexistiertgenaueinereelleZahlaufsplitteninesexistiertmindestenseine
reelleZahlundesexistierthchstenseinereelleZahl.DerersteAspektbeschreibtdieVollstndigkeitder
reellenZahlenundderzweiteAspektdieMinimalittdieserVervollstndigung:
DiereellenZahlensindvollstndig:ZujederIntervallschachtelungmitrationalerGenauigkeitexistiert
mindestenseinereelleZahl,dieinallenIntervallenliegt.
DieVervollstndigungistminimal:ZujederIntervallschachtelungmitrationalerGenauigkeitexistiert
hchstenseinereelleZahl,dieinallenIntervallenliegt.
InsgesamtbeschreibtalsodasIntervallschachtelungsprinzipmitrationalerGenauigkeitdieminimale
VervollstndigungderrationalenzudenreellenZahlen.

AlternativeBeschreibungderVollstndigkeit
InvielenLehrbchernwirstduzweiAxiomeanstatteineszurBeschreibungderVollstndigkeitfinden.Die
VollstndigkeitselbstwirddabeimeistensdurchdasallgemeineIntervallschachtelungsprinzip(nichtzu
verwechselnmitdemhiervorgestelltenAxiom!)oderberdassogenannteKonvergenzkriteriumvonCauchy
beschrieben.DieMinimalittderVervollstndigungwirdberdasarchimedischeAxiomdefiniert.Diese
AxiomewerdeichindenkommendenKapitelnbehandeln.
Beachteaber,dassfrunsdieseAxiomeTheoremeseinwerden,dawirbereitseinAxiomzurVollstndigkeit
haben.DaraufsolltestduvorallembeimarchimedischenAxiomachten,weilbereitsindessenNamendasWort
Axiomvorkommt.
Abgerufenvonhttps://de.wikibooks.org/w/index.php?title=Mathe_fr_Nicht
Freaks:_Intervallschachtelung_mit_rationaler_Genauigkeit&oldid=793788

DieseSeitewurdezuletztam2.Juni2016um12:18Uhrgendert.
DerTextistunterderLizenz''CreativeCommons''NamensnennungWeitergabeuntergleichen
Bedingungenverfgbar.ZustzlicheBedingungenknnengelten.Einzelheitensindinden
Nutzungsbedingungenbeschrieben.