Omega-analyse en 0,999...

Moderators: Michel Uphoff, Jan van de Velde

Re: Omega-analyse en 0,999...

Al zoekende op internet kwam ik nog onderstaande Engelstalige artikelen tegen:

http://arxiv.org/abs/1103.1272

(Hier wordt de omega-analyse beknopt en duidelijk uitgelegd.)

http://www.math.umt.edu/tmme/vol7no1/tmme_...le1_pp.3_30.pdf

(Hier lezen we meer over Lightstone's extended decimal expansion. Een probleem met die notatie is dat bijvoorbeeld voor
\( \pi \)
maar een deel van de uitgebreide decimale ontwikkeling bekend is. Zie p. 15 van bovenstaand artikel [13 v/d pdf].)

Ik denk daar iets op te hebben gevonden, maar daar heb ik een "handzame" aftelbaar oneindige lijst van berekenbare reële getallen voor nodig? Voor wat berekenbare getallen zijn, zie:

http://en.wikipedia.org/wiki/Computable_number

Ik ben daar niet in thuis. Kent iemand zo'n lijst, zodat ik die verder als gegeven kan beschouwen?

Berichten: 29

Re: Omega-analyse en 0,999...

Nog even een leuke anekdote over de '1 = 0,99... of niet' (in reeele getallen) discussie van hierboven [is al oud maar vond het toch leuk te lezen ;) ]

Mijn leerkracht had een leuk trucje voor leerlingen die dit niet geloofden

Ze kregen een vel papier, en moesten de uitkomst van 1-0,99... uitschrijven.

Die mochten dan de rest van de les 0,00000000000000000enz enz schrijven.

Na zo'n 10min had de koppigste het ook opgegeven en zijn fout ingezien :P

Re: Omega-analyse en 0,999...

Jarneke schreef:Ze kregen een vel papier, en moesten de uitkomst van 1-0,99... uitschrijven.

Die mochten dan de rest van de les 0,00000000000000000enz enz schrijven.

Na zo'n 10min had de koppigste het ook opgegeven en zijn fout ingezien ;)


Zou je
\( \pi \)
wel helemaal op kunnen schrijven?

Re: Omega-analyse en 0,999...

Ter aanvulling nog het volgende: het is voorstelbaar dat er na oneindig veel nullen nog een één komt. Je kan dan natuurlijk niet alle cijfers op papier opschrijven, maar dat kan bij pi ook niet. Hoe je je een dergelijke situatie kunt voorstellen zal ik hieronder laten zien.

Laat:

a0 = 0 ,

a1 = ½ ,

a2 = ¾ ,

a3 = ⅞ ,

... ,

an = 1 - 2-n ,

... .

Dan geldt kennelijk:

a0 < a1 < a2 < a3 < ... .

Laat vervolgens:

b0 = 2 ,

b1 = 1½ ,

b2 = 1¼ ,

b3 = 1⅛ ,

... ,

bn = 1 + 2-n ,

... .

Dan geldt:

b0 > b1 > b2 > b3 > ... .

Omdat er bovendien geldt dat bj > ak voor alle natuurlijke getallen j en k (inclusief 0), mogen we nu ook schrijven:

a0 < a1 < a2 < a3 < ... < ... < b3 < b2 < b1 < b0 .

Oftewel:

0 < ½ < ¾ < ⅞ < ... < ... < 1⅛ < 1¼ < 1½ < 2 .

Na alle oneindig vele getallen a0, a1 , a2, a3, ... komen (in volgorde van grootte) dus nog eens oneindig veel getallen ... , b3, b2, b1, b0 . Voor de a's is er geen laatste term en voor de b's is er - zo te zien - geen eerste term.

Dit laat zien dat uitdrukkingen zoals: 0,000 ... ... 0001 wiskundig toelaatbaar zijn.

Het dubbel-oneindig lange decimale getal 0,000 ... ... 0001 kunnen we ook zo voorstellen:

0, 0 0 0 ... ... 0 0 0 1

In het midden wordt het dringen. Maar wanneer we de cijfers steeds kleiner weergeven zouden ze er in theorie allemaal op moeten passen. In de praktijk moeten we natuurlijk altijd op zeker moment onze toevlucht tot de drie puntjes nemen. (Op een atoom kan men cijfer afdrukken!)

Vandaar dat de door de leraar gebruikte truc als grap geslaagd is :P , maar als wiskundig argument wat minder.

En aangezien dit een wetenschappelijk forum is, wilde ik er toch serieus op reageren. ;)

Gebruikersavatar
Berichten: 2.906

Re: Omega-analyse en 0,999...

Dit laat zien dat uitdrukkingen zoals: 0,000 ... ... 0001 wiskundig toelaatbaar zijn.
Sorry, maar ik zie niet in hoe deze conclusie volgt uit het verhaal wat je daarboven opschreef.

Iets is wiskundig toelaatbaar als het goed gedefinieerd is (dus niet in tegenspraak met andere definities), en uniek gedefinieerd is (dus er is maar één correcte interpretatie mogelijk).
while(true){ Thread.sleep(60*1000/180); bang_bassdrum(); }

Re: Omega-analyse en 0,999...

Math-E-Mad-X schreef:Sorry, maar ik zie niet in hoe deze conclusie volgt uit het verhaal wat je daarboven opschreef.

Iets is wiskundig toelaatbaar als het goed gedefinieerd is (dus niet in tegenspraak met andere definities), en uniek gedefinieerd is (dus er is maar één correcte interpretatie mogelijk).
Inderdaad: als iets goed gedefinieerd is, is het vanzelf ook wiskundig toelaatbaar. Maar het gaat hierboven alleen over de toelaatbaarheid van uitdrukkingen zoals: 0,000... ...0001 . De truc van de leraar komt erop neer dat hij de weerspannige leerlingen laat ervaren dat je bij het uitschrijven van het bedoelde oneindig kleine "getal" nooit aan de finale "1" toekomt. Wat ik heb laten zien is dat dit geen ramp is, omdat je je in geïdealiseerde zin wel degelijk een voorstelling van een dergelijke uitdrukking kunt maken. Oftewel: wie de decimale uitdrukking voor pi:

3,14159265358979323846264338327950288419716939937510...

accepteert, kan tegen een uitdrukking zoals: 0,000... ...0001 , áls uitdrukking, met goed fatsoen geen bezwaar meer maken.

Daarmee behoort "0,000... ...0001" inderdaad nog niet tot de eigenlijke wiskunde, maar de bezwaren tegen dergelijke uitdrukkingen vanwege van de (dubbel)oneindige rij cijfers zijn daarmee wel ontkracht.

Voor een nette wiskundige uitwerking van de betekenis van uitdrukkingen zoals: 0,000... ...0001 verwijs ik naar mijn artikel:

http://www.warande.net/~bvdonsel/omega-translation.pdf

Waarschuwing: dit is een heel verhaal, jammer genoeg heb ik nog geen manier gevonden om het eenvoudiger uiteen te zetten.

Gebruikersavatar
Berichten: 2.906

Re: Omega-analyse en 0,999...

Okee, nou begrijp ik je ;)

Lijkt me heel interessant om je artikel eens door te lezen, ik hoop dat ik daar binnenkort eens tijd voor kan maken.
while(true){ Thread.sleep(60*1000/180); bang_bassdrum(); }

Re: Omega-analyse en 0,999...

Laat ik de geïnteresseerde lezers wat helpen door kort uit te leggen waar het om gaat. Volgens de gangbare definities kan je bewijzen dat: 1 = 0,999... . Bij veel scholieren gaat dit er echter niet in omdat zij menen dat 0,999... weliswaar 1 benadert, maar er nooit gelijk aan wordt. Is het nu mogelijk een getallen-systeem op te zetten waarin 0,999... inderdaad ietsjes kleiner dan 1 is?

Om dit klaar te spelen zullen we decimale uitdrukkingen interpreteren als aanduiding van corresponderende oneindige rijen getallen. Een voorbeeld volstaat om het idee aan te geven:

«+3874,7667485709992...» = (3874 ; 3874,7 ; 3874,76 ; 3874,766 ; 3874,7667 ; 3874,76674 ; ... )

De Franse aanhalingstekens gebruiken we om het verschil met de gewone decimale getallen te benadrukken. We noemen onze decimale getallen parareële getallen.

Dergelijke oneindige rijtjes van reële getallen kan je componentsgewijze bij elkaar optellen, met elkaar vermenigvuldigen, etc. Bijvoorbeeld:

(1, 1, 1, 1, 1, 1, 1, 1, ... ) + (1, 3, 1, 3, 1, 3, 1, 3, ... ) = (2, 4, 2, 4, 2, 4, 2, 4, ... )

(3, 7, 0, 2, 5, 3, 9, 8, ... ) . (0, 0, 0, 1, 0, 0, 2, 0, ... ) = (0, 0, 0, 2, 0, 0, 18, 0, ... )

Veel bekende regels van de gewone rekenkunde blijken ook voor zulke rijtje op te gaan, zij vormen - wat men in de algebra noemt - een 'commutatieve ring'. Binnen onze theorie noemen we zulke rijtjes omega-getallen.

Nu geldt: «+1,000...» - «+0,999...» = (1 ; 0,1 ; 0,01 ; 0,001 ; ... ) . We vinden dus inderdaad een rij waarvan de termen (voor omega-getallen componenten genoemd) steeds kleiner maar nooit nul worden. Het verschil «+1,000...» - «+0,999...» is een als oneindig klein te beschouwen omega-getal maar geen parareëel getal.

Is er een manier om ook omega-getallen in decimale vorm te schijven? Die is er inderdaad: we schijven de componenten in hun decimale vorm gewoon onder elkaar. Nog even nullen op de lege posities toevoegen, en we hebben een “twee dimensionale” decimale schrijfwijze voor omega getallen. Omdat we deze voorstelling als het ware naar beneden uitrollen noemen dit het gordijn van het betreffende omega-getal. Voor «+1,000...» - «+0,999...» komt er:

+...000000000000000000000000000000000001,000000000000000000000000000000000000...

+...000000000000000000000000000000000000,100000000000000000000000000000000000...

+...000000000000000000000000000000000000,010000000000000000000000000000000000...

+...000000000000000000000000000000000000,001000000000000000000000000000000000...

.

.

.

Voor ;) komt er:

+...000000000000000000000000000000000003,000000000000000000000000000000000000...

+...000000000000000000000000000000000003,100000000000000000000000000000000000...

+...000000000000000000000000000000000003,140000000000000000000000000000000000...

+...000000000000000000000000000000000003,141000000000000000000000000000000000...

.

.

.

Nu kunnen we zulke schema's ook verticaal lezen. In het gordijn van parareële getallen treffen we voor iedere positie als we ver genoeg naar beneden zakken uiteindelijk het oorspronkelijke cijfer van het parareële getal aan. Zo vinden we dus de cijfers van het oorspronkelijke getal terug.

Maar voor «+1,000...» - «+0,999...» vinden we zo voor iedere positie uiteindelijk nul. Alleen als we schuin naar beneden gaan vinden we op één zo'n lijn steeds '1'. De grap is nu dat ook de schuin onder elkaar staande plaatsen waar de '1' staat in uitgebreide zin als een positie te beschouwen zijn. De omega-getallen bieden daar de mogelijkheid voor. Normale posities zoals de 0de positie, de 4de positie en de -5de positie corresponderen respectievelijk met de omega-getallen (0, 0, 0, 0, ... ) , (4, 4, 4, 4, ... ) en (-5, -5 , -5, -5, ... ). De “positie” van de '1' in het gordijn van «+1,000...» - «+0,999...» laat zich aanduiden met het omega-getal (0, -1, -2, -3, ... ). Schrijven we het als oneindig groot te beschouwen omega-getal (0, 1, 2, 3, ... ) als 'Ω', dan is (0, -1, -2, -3, ... ) gelijk aan '-Ω'.

Voor «+1,000...» - «+0,999...» vinden we zo:

0,000...0...;...0...0001000...0... (met de 1 op positie -Ω) .

En bijvoorbeeld voor «+4,999...9...».«+0,333...3...» dit:

1,666...6...;...6...6664666...6...;...6...6667000...0... (met de 4 op positie -Ω en de 7 op positie -2Ω) .

Dat is zo ongeveer hoever ik met zulke “getallen” gekomen ben. Detlef Spalt schetst in zijn boek Vom Mythos der mathematischen Vernunft iets dergelijks. Problemen ontstaan wanneer je zou willen bepalen wat er nu op de positie -Ω van :P moet staan. Omdat ;) irrationaal is, kan er voor de positie -Ω immers geen uiteindelijk cijfer uit rollen.

Re: Omega-analyse en 0,999...

Ik wil nu toch nog eens proberen of we met getallen zoals ;) iets kunnen beginnen. Dit gaat dus verder dan de theorie van mijn artikel. Zoals bekend kunnen we :P schrijven als:

3,14159265358979323846264338327950288419716939937510582097494459230781640628...

Dit getal laat zich opsplitsen in negen getallen waarbij het eerste getal alle enen bevat, het tweede getal alle tweeën, het derde getal alle drieën, etc. Uiteraard is ;) weer de som van die negen, hieronder vermelde getallen:

0,10100000000000000000000000000000000010010000000010000000000000000001000000... ;

0,00000200000000020000200000020000200000000000000000002000000000200000000020... ;

3,00000000300000303000000330300000000000000030030000000000000000030000000000... ;

0,04000000000000000040004000000000000400000000000000000000404400000000040000... ;

0,00050005050000000000000000000050000000000000000500500000000050000000000000... ;

0,00000060000000000006060000000000000000006000000000000000000000000000600600... ;

0,00000000000070000000000000007000000000700000007000000007000000000700000000... ;

0,00000000008000000800000008000000088000000000000000080000000000000080000008... ;

0,00009000000909000000000000000900000009000909900000000090090009000000000000... .

(Ik vraag de lezer vergiffenis voor het geval er een paar cijfertjes verkeerd staan, het gaat om het idee.)

Het cijfer kan ook nog “buiten haakjes” gehaald worden, zodat we in eerste instantie alleen decimale getallen met de cijfers '0' en '1' hoeven te beschouwen. De rest gaat dan analoog. Verder hoeven we alleen de niet-afbrekende decimale getallen nader te onderzoeken, omdat het die getallen zijn die als parareële getallen een infinitesimale "staart" opleveren.

Re: Omega-analyse en 0,999...

Laat onderstaande een niet-afbrekend decimaal getal met enkel enen en nullen zijn:

1010,00100000100000100000001000100010100100101100000010001010001000...

Dan is het corresponderende parareële getal:

«+1010,00100000100000100000001000100010100100101100000010001010001000...»

Dit parareële getal duidt per definitie de onderstaande oneindige rij reële getallen aan:

1010

1010,0

1010,00

1010,001

1010,0010

1010,00100

1010,001000

1010,0010000

1010,00100000

1010,001000001

1010,0010000010

1010,00100000100

1010,001000001000

1010,0010000010000

1010,00100000100000

1010,001000001000001

1010,0010000010000010

1010,00100000100000100

1010,001000001000001000

1010,0010000010000010000

1010,00100000100000100000

1010,001000001000001000000

1010,0010000010000010000000

1010,00100000100000100000001

1010,001000001000001000000010

1010,0010000010000010000000100

1010,00100000100000100000001000

1010,001000001000001000000010001

1010,0010000010000010000000100010

1010,00100000100000100000001000100

1010,001000001000001000000010001000

1010,0010000010000010000000100010001

1010,00100000100000100000001000100010

1010,001000001000001000000010001000101

1010,0010000010000010000000100010001010

1010,00100000100000100000001000100010100

1010,001000001000001000000010001000101001

1010,0010000010000010000000100010001010010

1010,00100000100000100000001000100010100100

1010,001000001000001000000010001000101001001

1010,0010000010000010000000100010001010010010

1010,00100000100000100000001000100010100100101

1010,001000001000001000000010001000101001001011

1010,0010000010000010000000100010001010010010110

1010,00100000100000100000001000100010100100101100

1010,001000001000001000000010001000101001001011000

1010,0010000010000010000000100010001010010010110000

1010,00100000100000100000001000100010100100101100000

1010,001000001000001000000010001000101001001011000000

1010,0010000010000010000000100010001010010010110000001

1010,00100000100000100000001000100010100100101100000010

1010,001000001000001000000010001000101001001011000000100

1010,0010000010000010000000100010001010010010110000001000

1010,00100000100000100000001000100010100100101100000010001

1010,001000001000001000000010001000101001001011000000100010

1010,0010000010000010000000100010001010010010110000001000101

1010,00100000100000100000001000100010100100101100000010001010

1010,001000001000001000000010001000101001001011000000100010100

1010,0010000010000010000000100010001010010010110000001000101000

1010,00100000100000100000001000100010100100101100000010001010001

1010,001000001000001000000010001000101001001011000000100010100010

1010,0010000010000010000000100010001010010010110000001000101000100

1010,00100000100000100000001000100010100100101100000010001010001000

.

.

.

Het gordijn van dit parareële getal is dus:



+...0001010,00000000000000000000000000000000000000000000000000000000000000000...

+...0001010,00000000000000000000000000000000000000000000000000000000000000000...

+...0001010,00000000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100010000000000000000000000000000000000...

+...0001010,00100000100000100000001000100010000000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100100000000000000000000000000...

+...0001010,00100000100000100000001000100010100100100000000000000000000000000...

+...0001010,00100000100000100000001000100010100100101000000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010001000000000000...

+...0001010,00100000100000100000001000100010100100101100000010001000000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

.

.

.

In het gordijn van «+1,000...» - «+0,999...» zagen we dat de enen keurig op een schuine rechte lijn lagen die door het oneindige omega-getal -Ω kon worden aangeduid. Hier is de situatie minder fraai, maar toch niet hopeloos. De enen liggen ook nu op oneindig lange naar rechts weglopende lijnen. Alleen hebben ze nu een trapjesvorm, maar ook deze lijnen worden (van zeker punt af) door oneindige negatieve omega-getallen aangeduid. Voor de visualisatie zijn de enen op de afzonderlijke lijnen hieronder afwisselend rood en blauw afgedrukt.

+...0001010,00000000000000000000000000000000000000000000000000000000000000000...

+...0001010,00000000000000000000000000000000000000000000000000000000000000000...

+...0001010,00000000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000000000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000000000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000000000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000000000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100000000000000000000000000000000000000...

+...0001010,00100000100000100000001000100010000000000000000000000000000000000...

+...0001010,00100000100000100000001000100010000000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100000000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100000000000000000000000000000...

+...0001010,00100000100000100000001000100010100100100000000000000000000000000...

+...0001010,00100000100000100000001000100010100100100000000000000000000000000...

+...0001010,00100000100000100000001000100010100100101000000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000000000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010000000000000000...

+...0001010,00100000100000100000001000100010100100101100000010001000000000000...

+...0001010,00100000100000100000001000100010100100101100000010001000000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010000000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

+...0001010,00100000100000100000001000100010100100101100000010001010001000000...

.

.

.

Later weer verder...

Re: Omega-analyse en 0,999...

In het vorige bericht beschouwden we het parareële getal:

«+1010,00100000100000100000001000100010100100101100000010001010001000...»

We noemen dit getal voor het gemak even g. Wat is voor g nu een logische uitgebreide decimale voorstelling? Het beginstuk weten we al:

1010,00100000100000100000001000100010100100101100000010001010001000...

We bekijken weer even het gordijn van «+1,000...» - «+0,999...», dat is:

+...000000000000000000000000000000000001,000000000000000000000000000000000000...

+...000000000000000000000000000000000000,100000000000000000000000000000000000...

+...000000000000000000000000000000000000,010000000000000000000000000000000000...

+...000000000000000000000000000000000000,001000000000000000000000000000000000...

.

.

.

Aan de hand daarvan vonden we voor «+1,000...» - «+0,999...» als uitgebreide decimale voorstelling:

0,000...0...;...0...0001000...0... (met de 1 op positie -Ω) .

In het gordijn van g zijn er oneindig veel van zulke oneindig lange lijnen met enen die rechts naar beneden weg lopen. Die moeten ook allemaal een '1' in de infinitesimale staart van de uitgebreide decimale ontwikkeling opleveren. Iedere '1' staat daarbij op de positie van het oneindige negatieve omega-getal dat het verloop van de bijbehorende lijn met enen in het gordijn aanduidt. Ook is het duidelijk dat de bedoelde opeenvolgende oneindige negatieve omega-getallen steeds minder negatief moeten zijn. Maar helaas kunnen we door het gedurig verspringen van de afstanden tussen de lijnen met enen niet zeggen dat het ene positie-aanduidende omega-getal bijvoorbeeld 5, 9 of 17 groter is dan het andere. Er zit niet veel anders op dan voor iedere lijn met enen in het gordijn van g een stukje '...0001000...' in de infinitesimale staart van de uitgebreide decimale voorstelling van g toe te voegen. Zodat we voor g de onderstaande uitgebreide decimale voorstelling krijgen:

1010,00100000100000100000001000100010100100101100000010001010001000... ; ... ; ...0001000... ; ...0001000... ; ...0001000... .

Waarbij de enen in de infinitesimale staart op posities staan die door oneindige negatieve omega-getallen worden aangeduid.

(Opmerking: De eerdere theorie heb ik in mijn artikelen onderbouwd. Deze latere berichtjes behelzen een verdere uitwerking die nog met exacte definities en bewijzen moet worden gestaafd.)

Reageer