Getallen maken met Lüroth systemen

Transcriptie

1 R.R. Mahabir Getallen maken met Lüroth systemen Bachelorscriptie, Versie Scriptiebegeleider: dr. C.C.C.J. Kalle Mathematisch Instituut, Universiteit Leiden

2

3 Inhoudsopgave Inleiding De alternerende Lüroth transformatie. De alternerende Lüroth transformatie Getalsontwikkelingen Uniciteit Over de rationaliteit van Lüroth getalsontwikkelingen Maatbehoudendheid voor de alternerende Lüroth transformatie Ergodiciteit voor de alternerende Lüroth transformatie De uitgebreide alternerende Lüroth transformatie 9. Het onstaan van de uitgebreide alternerende Lüroth transformatie Random maps en invariante maten De uitgebreide Lüroth transformatie Conclusie 7

4 Inleiding Er zijn tal van manieren om getallen te schijven. Zo kun je getallen bijvoorbeeld schrijven aan de hand van het decimale stelsel, welke we in het dagelijks leven gebruiken. Of aan de hand van het binaire stelsel, welke veelal in de moderne digitale elektronica wordt gebruikt. Een andere manier om getallen te schrijven is met behulp van Lüroth systemen, genoemd naar de Duitse wiskundige Jacob Lüroth (844-90). In zijn artikel [Lür8] uit 88 introduceerde Jacob Lüroth een manier om getallen uit het interval [0, ) te schrijven, die in het algemeen ietswat ingewikkeldere getalsontwikkelingen geeft, maar daar tegenover wel hele prettige dynamische eigenschappen geeft. Hoewel het al meer dan 00 jaar geleden is sinds de introductie van Lüroth systemen wordt er vandaag de dag nog steeds onderzoek verricht naar Lüroth systemen. De afgelopen jaren zijn er tal van artikelen verschenen waarin Lüroth systemen zijn bestudeerd. Er wordt onder andere onderzoek verricht naar de dynamische en metrische eigenschappen van Lüroth systemen. In [KKK9] worden een aantal metrische eigenschappen voor de alternerende Lüroth transformatie aangetoond. In [BBDK96] worden ergodische eigenschappen voor Lüroth systemen aangetoond. Een interessante eigenschap is dat van alle (I, ε) generalized Lüroth systemen, die voldoen aan de eigesnchappen beschreven in het artikel, de alternerende Lüroth transformatie de beste benadering heeft. In [SF] wordt de Hausdorff dimensie van de Cantor verzameling F ϕ {x (0, ] : d n (x) ϕ(n), n } bepaald. In de verzameling F ϕ zijn d n (x) de getallen in de Lüroth reeks en is ϕ(n) een geheeltallige functie op N. In [IS] wordt er gekeken naar de herformulatie van Gauss probleem (voor kettingbreuken) naar Lüroth transformaties. In [CWZ] wordt aangetoond dat er geen punten zijn waarvoor de partiële sommen van de Lüroth ontwikkeling oneindig vaak een optimale benadering zijn. Dit is een greep uit artikelen die de laatste jaren zijn verschenen over Lüroth systemen. Sommige van deze artikelen zijn zeer recent. Dit toont aan dat er vandaag de dag nog steeds interesse is in Lüroth systemen en dat er nog interessante vraagstukken zijn waaraan gewerkt kan worden. In het eerste deel van deze scriptie kijken we naar de alternerende Lüroth transformatie op het interval [0, ). In hoofdstuk wordt de alternerende Lüroth transformatie geïntroduceerd en laten we zien hoe het gebruikt kan worden om getalsontwikkelingen te maken. Daarna worden er een aantal resultaten die Lüroth in zijn artikel [Lür8] voor de Lüroth transformatie heeft bewezen ook voor de alternerende Lüroth transformatie bewezen, waaronder maatbehoudendheid met betrekking tot de Lebesgue-maat. Als laatst bewijzen we dat de alternerende Lüroth transformatie ergodisch in met betrekking tot de Lebesgue-maat. In het tweede deel wordt er een uitbreiding van de alternerende Lüroth transformatie geïntroduceerd. In hoofdstuk geven we een wiskundige beschrijven van de uitbreiding van de alternerende Lüroth transformatie. Daarnaast tonen we voor de uitbreiding van de alternerende Lüroth transformatie een aantal eigenschappen aan, om uiteindelijk te bewijzen dat er een invariante maat bestaat voor de uitgebreide alternerende Lüroth transformatie.

5 De alternerende Lüroth transformatie In dit hoofdstuk bekijken we de alternerende Lüroth transformatie. We zullen bekijken hoe deze transformatie eruit ziet en hoe het kan worden gebruikt om getalsontwikkelingen te maken.. De alternerende Lüroth transformatie De alternerende Lüroth transformatie is een afbeelding L : [0, ) [0, ) gegeven door x, x (, ), L(x) k k(k )x, x ( k, k ], k, 0, x 0. De afbeelding die hierbij hoort ziet er als volgt uit: Figuur : De alternerende Lüroth transformatie. We merken op dat voor alle x [0, ) geldt dat L(x) [0, ).. Getalsontwikkelingen Voor iedere x [0, ) is het mogelijk een unieke getalsontwikkeling te maken met behulp van de alternerende Lüroth transformatie. Voor x 0 nemen we als getalsontwikkeling gewoon x 0. Voor x (0, ) en n N zodanig dat L n (x) 0, waarbij L 0 (x) x, definiëren we de getallen a n a n (x) als volgt a n (x) a (L n (x)),

6 waarbij a (x) k als x ( k, k ] voor k en a (x) als x (, ). Nu kunnen we L(x) als volgt schrijven { a a L(x) (a )x, x 0, 0, x 0. Dus voor alle x (0, ) zodanig dat L n (x) 0 hebben we x. a L(x) a (a ) ( a a (a ) a ) L (x) a (a ) a a (a )(a ) + L (x) a (a )a (a ) a a (a )(a ) + a (a )a (a )(a )... + ( ) n a (a )a (a )... a n (a n )(a n ) + ( ) n L n (x) a (a )a (a )... a n (a n ). We merken op dat als L n (x) 0 voor een zekere n en we aannemen dat n het kleinste gehele getal is met deze eigenschappen dan geldt er x a a (a )(a ) + a (a )a (a )(a )... + n i ( ) n a (a )a (a )... a n (a n )(a n ) a i ( ) i j a j(a j ). En in het geval dat L n (x) 0 voor alle n hebben we x a a (a )(a ) i ( ) n a (a )a (a )... a n (a n )(a n ) +... a i ( ) i+ j a j(a j ). 4

7 . Uniciteit Stelling.. Ieder getal x [0, ) heeft een unieke Lüroth getalsontwikkeling. Bewijs. Laat S n S n (x) de som zijn van de eerste n termen in de getalsontwikkeling van x. Dan geldt er L n (x) x S n a (a )... a n (a n ). Aangezien L n (x) [0, ) en a n N voor alle x en alle n vinden we x S n 0 als n. n Uit het bovenstaande volgt nu dat als x en y dezelfde Lüroth getalsontwikkeling hebben dan geldt voor alle n waaruit volgt dat x gelijk is aan y. x y n,.4 Over de rationaliteit van Lüroth getalsontwikkelingen Stelling.. Ieder rationaal getal heeft een eindige of periodieke Lüroth getalsontwikkeling. Bewijs. Laat p 0 N 0 en q N met 0 p 0 q <, dan bestaat er een k N zodanig dat p 0 q ( k, k ]. Dan geldt voor de alternerende Lüroth tranformatie L( p 0 q ) k k(k ) p 0 q <, waaruit volgt dat kq k(k )p 0 < q. Voor n N definiëren we p n k n q k n (k n )p n met k n N zodanig dat pn q ( k n, k ] dan geldt er n Ln ( p 0 q ) pn q met 0 p n q. Laat V {0,,..., q } dan geldt er p n V voor alle n 0. Aangezien V q geldt er dat L m ( p 0 q ) L n ( p 0 q ) met 0 m < n q. Stelling.. Ieder getal met een eindige Lüroth getalsontwikkeling is rationaal. Bewijs. Neem aan dat een getal x [0, ] een eindige ontwikkeling heeft. Dan geldt er dus dat er een n N bestaat zodanig dat voor alle m N n geldt dat L m (x) 0. Stel x is irrationaal dan geldt er L(x) / Q en in het algemeen geldt er voor alle q N dat L q (x) 0. Tegenspraak. Stelling.4. Ieder getal met een periodieke Lüroth getalsontwikkeling is rationaal. Bewijs. Neem aan dat een getal x [0, ] een periodieke ontwikkeling heeft met preperiode van lengte k en periode van lengte m. We kunnen een getal x als volgt schrijven: x i k i a i ( ) i+ j a j(a j ) a i ( ) i+ j a j(a j ) + ik+ a i ( ) i+ j a j(a j ). 5

8 We definiëren de volgende getallen y k i a i ( ) i+ j a j(a j ), k p a j (a j ), en r j k+m jk+ a j (a j ). Dan geldt er dat y Q, aangezien a i N voor alle i k en de som eindig is en voor p en r geldt er dat p, r N aangezien a j N voor alle j k + m. We kunnen x nu als volgt schrijven x k i y + p y + p y + p y + p y + a i ( ) i+ j a j(a j ) + ik+ ( k+m ik+ ( k+m ik+ ( k+m ik+ r p(r ) ik+ a i ( ) i+ jk+ a j(a j ) a i ( ) i+ j a j(a j ) ( a i ( ) i+ jk+ a j(a j ) n0 ( a i ( ) i+ jk+ a j(a j ) n0 ( a i ( ) i+ jk+ a j(a j ) k+m ik+ ( r n r r a i ( ) i+ jk+ a j(a j ). Hieruit concluderen we nu dat x Q. k+m jk+ a j(a j ) )) )) ) n )).5 Maatbehoudendheid voor de alternerende Lüroth transformatie In dit hoofdstuk zullen we laten zien dat de Lebesgue-maat invariant is voor de alternerende Lüroth transformatie L. We gaan ervan uit dat de lezer vertrouwd is met enkele begrippen uit maattheorie zoals: semi-algebra, σ-algebra, Borel σ-algebra, kansmaat, maat, Lebesgue-maat en meetbare ruimten. Definitie.5. Laat (X, A) en (Y, B) meetbare ruimten zijn. Een functie T : X Y heet meetbaar als voor iedere E B geldt dat T (E) {x X : T (x) E} A. Definitie.6. Laat (Ω, A) een meetbare ruimte zijn en T een meetbare functie van Ω naar zichzelf. Een maat µ op (Ω, A) heet invariant onder T als voor iedere meetbare verzameling E Ω geldt dat µ(t E) µ(e). We zeggen ook dat T maatbehoudend is met betrekking tot de maat µ. Stelling.7. Laat (X i, B i, µ i ) een kansruimte zijn, i,, en T : X X een transformatie. Neem aan dat S een semi-algebra is die B voortbrengt. Dan is T meetbaar en maatbehoudend dan en slechts dan als we voor elke A S hebben dat T (A) B en µ (T (A)) µ (A). 6

9 Bewijs. Zie Stelling... in [DD08]. Opmerking.8. De half-open intervallen [a, b) op [0, ) vormen een semi-algebra die de Borel σ-algebra op [0, ) voorbrengt. Lemma.9. Laat [a, b) [0, ). Dan hebben we: ( L [a, b) k k Bewijs. Voor ieder interval [a, b) [0, ) geldt { } L (a, b) x : L(x) [a, b) b k(k ), k ] a. k(k ) { { k x : a L(x) < b } x : a k k(k )x < b, k { ( ] } x : x k b k(k ), k a, k k(k ) ( ] k b k(k ), k a. k(k ) } Stelling.0. De Lebesgue-maat is invariant voor de alternerende Lüroth transformatie L. Bewijs. Vanwege Stelling.7 is het voldoende om invariantie na te gaan voor half-open intervallen. Vanwege Lemma.9 geldt ( ( ]) λ(l [a, b)) λ k b k(k ), k a k(k ) k ( ] λ k b k(k ), k a k(k ) k (b a) (b a) b a k(k ) ( ) k k k k λ[a, b). 7

10 .6 Ergodiciteit voor de alternerende Lüroth transformatie In deze paragraaf zullen we laten zien dat de alternerende Lüroth transformatie ergodisch is met betrekking tot de Lebesgue-maat λ. Definitie.. Laat (X, Σ, µ) een kansruimte zijn en T : X X een maatbehoudende transformatie. Dan is de transformatie T ergodisch met betrekking tot de maat µ als voor alle E Σ met T (E) E geldt dat µ(e) 0 of µ(e). Het fundamenteel interval van orde k duiden we aan met (i, i,..., i k ) {x : a (x) i, a (x) i,..., a k (x) i k }. Er geldt dat de alternerende Lüroth transformatie L k beperkt tot het fundamenteel interval (i, i,..., i k ) {x : a (x) i, a (x) i,... a k (x) surjectief en linear is met helling i (i )... i k (i k )i k, aangezien voor x (i, i,..., i k ) {x : a (x) i, a (x) i,... a k (x)} geldt L k (x) i k i k (i k )[i k... + ( ) k i k (i k )... i (i )x]. Lemma.. Voor het fundamenteel interval van orde k geldt λ( (i, i,..., i k )) i (i )... i k (i k )i k Bewijs. Voor het bewijs gebruiken we de getalsontwikkelingen zoals gegeven in Paragraaf.. Voor x (i, i,..., i k ) hebben we de uitdrukking: x a a (a )(a ) + a (a )a (a )(a )... + ( ) k a (a )a (a )... a k (a k )(a k ) + ( ) k L k (x) a (a )a (a )... a k (a k ) p k ( ) k L k (x) + q k a (a )a (a )... a k (a k ). Als k even is, dan geldt ( ) k en 0 L k (x) < waaruit volgt, [ ) p k x, p k +, q k q k a (a )a (a )... a k (a k ) En als k oneven is, dan geldt ( ) k en 0 L k (x) < waaruit volgt, ( ] p k x q k a (a )a (a )... a k (a k ), p k, q k aangezien ( ) k en 0 L k (x) <. We kunnen hieruit concluderen dat λ( (i, i,..., i k )) i (i )... i k (i k )i k. 8

11 Lemma.. [Knopp s Lemma] Als B een Lebesgue-meetbare verzameling is en C de klasse van deelintervallen van [0, ) die voldoet aan (a) elke open deelinterval [0, ) is een aftelbare vereniging van disjuncte elementen van C, (b) er is een γ > 0 zodanig dat voor alle A C, λ(a B) γλ(a), dan geldt λ(b). Bewijs. Zie Lemma.8. in [DD08]. Opmerking.4. De Lebesgue-maat is invariant met betrekking tot verschuiving. Daarnaast geldt voor schaling de eigenschap: voor iedere Borelverzameling B en iedere t > 0 geldt λ(t B) tλ(b), waarbij t B {t b : b B}. Op elk fundamenteel interval (i, i,..., i k ) van orde k is L k een bijectie tussen (i, i,..., i k ) en [0, ) met schalingsfactor λ( (i, i,..., i k )), waaruit volgt dat voor alle B B geldt λ( (i, i,..., i k ) L k (B)) λ( (i, i,..., i k )) λ(b). Stelling.5. De alternerende Lüroth transformatie L is ergodisch met betrekking tot de Lebesgue-maat λ. Bewijs. Laat C de verzameling zijn van alle fundamentele intervallen van alle orde. De verzameling C voldoet aan (a) van Lemma., aangezien voor iedere x [0, ) en ε > 0 er een k N is zodanig dat x (i, i,..., i k ) en λ( (i, i,..., i k )) < ε. Laat B B zodanig dat L (B) B en neem aan dat λ(b) > 0. Neem A C. Dan geldt vanwege Opmerking.4 λ(a B) λ(a L k (B)) λ(a) λ(b). Als we γ λ(b) > 0 nemen dan wordt voldaan aan (b) van Lemma. en geldt λ(b), waarmee bewezen is dat de alternerende Lüroth transformatie L ergodisch is met betrekking tot de Lebesgue-maat λ. De uitgebreide alternerende Lüroth transformatie In dit hoofdstuk zullen we kijken naar een uitbreiding van de alternerende Lüroth transformatie. In paragraaf. zullen we beschrijven hoe de uitgebreide Lüroth transformatie tot stand is gekomen. In paragraaf. introduceren we wat notatie en terminologie, waarmee we dan in paragraaf. een wiskundige beschrijving voor de uitgebreide alternerende Lüroth transformatie geven. Vervolgens zullen we dan in paragraaf.4 een aantal eigenschappen van de uitgebreide alternerende Lüroth afbeelding bewijzen. 9

12 Figuur : De uitgebreide alternerende Lüroth transformatie.. Het onstaan van de uitgebreide alternerende Lüroth transformatie Het plaatje in Figuur is tot stand gekomen door de lijnen van de alternerende Lüroth transformatie door te trekken tot en het vervolgens in de y-as te spiegelen. Met behulp van dit plaatje kunnen we voor alle x [, ] verschillende getalsontwikkelingen maken die sterk lijken op de getalsontwikkelingen voor de alternerende Lüroth transformatie. De verschillende getalsontwikkelingen komen tot stand door op de gebieden met alleen een rode lijn de rode lijn te kiezen en op de gebieden met zowel een rode als een blauwe lijn een keuze maken tussen een van de twee. De cijfers in de getalsontwikkeling zijn daardoor afhankelijk van de keuzes die we maken. We merken op dat de waarden van de rode lijnen in het interval [0, ] liggen en de waarden van de blauwe lijnen in het interval [, 0]. We willen twee transformaties krijgen, een transformatie van de rode lijnen naar [0, ] en een transformatie van de blauwe lijnen naar [, 0]. Dit doen we door op de gebieden waar alleen maar één keuze is (de rode lijn) ook een blauwe lijn toe te voegen. Het plaatje dat we dan hebben is te zien in Figuur. We merken op dat we verderop de kans om de toegevoegde blauwe lijnen te kiezen op nul zetten. Het toevoegen van de blauwe lijnen is alleen nodig om goed gedefinieerde transformaties te krijgen.. Random maps en invariante maten Bij de bewijzen verder op in dit hoofdstuk zullen we gebruik maken van resultaten uit [Ino]. Daarom introduceren we nu wat notatie en begrippen die in dat artikel gebruikt worden. 0

13 Figuur : De uitgebreide alternerende Lüroth transformatie. De parameterruimte duiden we aan met W, waarvan we aannemen dat deze aftelbaar is. Met een σ-algebra A op W en voor de telmaat gebruiken we ν. We nemen aan dat het drietal (W, B, ν) een σ-eindige maatruimte is. De toestandsruimte duiden we aan met X. De Borel σ-algebra op X geven we aan met B en m is de Lebesgue-maat op de σ-algebra van X. We nemen aan dat het drietal (X, B, m) een σ-eindige maatruimte is. Laat τ t : X X (t W ) een niet-singuliere transformatie zijn. Dit betekent dat voor alle A A geldt dat m(τt A) 0 als m(a) 0. Verder nemen we aan dat τ t (x) een meetbaar functie is als functie van t. Laat p : W X [0, ) een meetbare functie zijn die een kansdichtheidsfunctie van t is voor alle x X, dat betekent dat W p(t, x)ν(dt) voor x X. Laat Λ een aftelbare of eindige verzameling zijn en laat Λ t Λ voor alle t W. We nemen Λ als een verzameling van indices van deelintervallen van X. Voor t W nemen we aan dat {I t,i } i Λt een familie is van gesloten intervallen zodanig dat Int(I t,i ) Int(I t,j ) (i j) en m(x\ i Λ t I t,i ) 0. Met Int(I) duiden we het inwendige van het interval I aan. Definitie.. De verzameling T {τ t, p(t, x), {I t,i } i Λ : t W } heet een random map. Laat τ t,i de restrictie zijn van τ t tot Int(I t,i ) voor elke t W en i Λ. We definiëren dan ϕ t,i (x) : { τ t,i (x), x τ t,i(int(i t,i )), 0, x X\τ t,i (Int(I t,i )),

14 voor elke t W en i Λ, en merken op dat φ t,i (x) 0 als i Λ\Λ t. We nemen aan dat voor de random map T het volgende geldt: (A) De restrictie van τ t tot Int(I t,i ) is een C en monotone functie voor elke i Λ en t W. (A) Voor elke x X en i Λ geldt dat w x,i (t) : φ t,i (x) meetbaar is als functie van t. Voor t W en x X definiëren we nu { p(t, x)/ τ g(t, x) : t(x), x i Int(I t,i), 0, x X\ i Int(I t,i), Definitie.. De totale variatie van g op [a, b] wordt gegeven door [a,b] n p g sup g(x j+ ) g(x j ). P j0 waarbij het supremum loopt over de verzameling van alle partities P, waarbij we dus hebben P {P {x 0, x,..., x np } a x 0 < x <... < x np b}. We nemen aan dat de functie g(t, x) voldoet aan de volgende twee voorwaarden: (a) sup x X W g(t, x)ν(dt) < α < ; (b) Er bestaat een constante M zodanig dat X g(t, ) < M voor bijna alle t W, dat betekent, er is een ν-meetbare verzameling W 0 W zodanig dat W 0 p(t, x)ν(dt) en X g(t, ) < M voor alle t W 0. Stelling.. [Stelling 5. in [Ino]] Laat T {τ t, p(t, x), {I t,i } i Λ : t W } een random afbeelding zijn die voldoet (A) en (A). Neem aan dat de random afbeelding T voldoet aan de bovenstaande voorwaarden (a) en (b). Dan heeft T een invariante maat die absoluut continu is met betrekking tot de Lebesgue-maat. Opmerking.4. Als W eindig is dan hebben we de volgende uitdrukking voor de maat µ (zie [Ino] voor de afleiding) µ(a) p(t, x)ν({t}) µ(dx) voor A A. t W τt (A). De uitgebreide Lüroth transformatie In deze paragraaf zullen we een wiskundige beschrijving geven van de alternerende Lüroth transformatie. Daarnaast zullen we de notatie en begrippen die we in paragraaf. hebben geïntroduceerd aan de uitgebreide Lüroth transformatie koppelen. Voor de uitgebreide alternerende Lüroth transformatie hebben we de parameterruimte W {0, }, de σ-algebra A P(W ) en de (tel)maat ν(a) A voor alle A A. Het drietal (W, A, ν) vormt dus een σ-eindige maatruimte.

15 De toestandsruimte voor de uigebreide alternerende Lüroth transformatie is X [, ], B is de Borel σ-algebra op [, ] en m is de Lebesgue-maat op ([, ], B). Het drietal ([, ], B, m) vormt dus een σ-eindige maatruimte. In Figuur 4 is het opnieuw het plaatje behorende bij de uitgebreide alternerende Lüroth transformatie te zien. We kunnen voor de uitgebreide alternerende Lüroth transformatie onderscheid maken tussen twee transformaties. De transformatie die gegeven wordt door de rode lijnen en de transformatie die gegeven wordt door de blauwe lijnen, deze zullen we respectievelijk aanduiden met τ 0 en τ. De transformatie τ 0 is een afbeelding van [, ] naar [0, ] die als volgt is gedefinieerd: k + k(k )x, x [, ) k, k, τ 0 (x) k k(k )x, x ( k, k ], k, 0, x Figuur 4: De uitgebreide alternerende Lüroth transformatie. De transformatie τ is een afbeelding van [, ] naar [, 0] die als volgt is gedefinieerd τ (x) : + k(k + ) + (k )k(k + )x, x [ k, k+ k(k+)), k, k + + k(k + )x, x [ k+ k(k+), k ), k, k + k(k + )x, x ( k, k+ k(k+)], k, + k(k + ) (k )k(k + )x, x ( k+ k(k+), k ], k, 0, x 0.

16 We definiëren de kansdichtheidsfunctie p : {0, } [, ] [0, ) als volgt {, x [ k+ k(k+), ) ( k k, k+ p(t, x) : t, x [ k, k+ k(k+) k(k+)] {0}, k, ) ( k+ k(k+), k ], k. Deze functie is een kansdichtheidsfunctie van t voor alle x [, ], aangezien voor alle x [, ] geldt dat p(0, x) p(, x) waaruit volgt dat p(t, x)ν(dt) p(0, x)ν({0}) + p(, x)ν({}) W p(0, x) + p(, x). We nemen voor Λ de aftelbare verzameling Z/{, } en nemen Λ 0 Λ Λ dan geldt er dus dat Λ t Λ voor alle t W. We definiëren de gesloten intervallen I t,i als volgt I 0,i : [ ] +i, i, i, {0}, i 0, [ i, i ], i. I,i : [ [ i, i (i )(i 4) i 0 (i )(i ), i [ i+, i+0 (i+)(i+) [ i+ (i+)(i+4), i ], i, i even ], i, i oneven {0}, ] i 0,, ] i, i oneven,, i, i even, Dan geldt voor elke t {0, } dat {I t,i } i Λt een familie is van gesloten intervallen zodanig dat Int(I t,i ) Int(I t,j ) (i j) en m([, ]\ i Λ t I t,i ) 0. De verzameling T {τ t, p(t, x), {I t,i } i Λ : t [, ]} is dan de random map behorende bij de uitgebreide alternerende Lüroth transformatie. Laat τ t,i de restrictie zijn van τ t tot Int(I t,i ) voor elke t W en i Λ. Er geldt ϕ t,i (x) : voor elke t W en i Λ. x i i(i ), x τ t,i(int(i t,i )), t 0, i, i x i(i ), x τ t,i(int(i t,i )), t 0, i, x+ i(i+) (i )i(i+), x i i(i+), +i x i(i+), i(i+) x (i )i(i+), x τ t,i(int(i t,i )), t, i, i even, x τ t,i(int(i t,i )), t, i, i oneven, x τ t,i(int(i t,i )), t, i, i oneven, x τ t,i(int(i t,i )), t, i, i even 0, x [, ]\τ t,i (Int(I t,i )), 4

17 Voor t W en x [, ] geldt t k(k ), x [ k, k+ ) ( k(k+) k+ k(k+), k ], k, g(t, x) : k(k +t), x [ k+ k(k+), ) ( k k, k+ k(k+)], k, 0, x 0. In Figuur 5 en Figuur 6 zien we respectievelijk de functies g(0, x) en g(, x). Aan de hand van deze plaatjes kunnen we makkelijker inzien wat de totale variatie van g is Figuur 5: De functie g(0, x) Figuur 6: De functie g(, x). 5

18 Lemma.5. Voor de functie g : W [, ] [0, ] bestaat een constante M zodanig dat [,] g(t, ) < M voor bijna alle t W. Bewijs. Als x [ k+ k(k+), ) ( k k, ] k+ k(k+) dan geldt g(0, x) k(k ) en als x [ k, k+ ) ( k(k+) k+ k(k+), ] k dan geldt g(0, x) k(k ). Een bovengrens wordt dan gegeven door ( g(0, ) k(k ) ) ( ) k(k ) k(k ). k k [,] Als x [ k+ k(k+), ) ( k k, ] k+ k(k+) dan geldt g(, x) k(k ) en als x [ k, k(k+)) k+ ( k+ k(k+), k ] dan geldt g(, x) 0. Een bovengrens wordt dan gegeven door [,] g(, ) 4 k k(k ) k(k ). Stelling.6. De random map T {τ t, p(t, x), {I t,i } i Λ : t {0, }} heeft een invariante maat µ die absoluut continu is met betrekking tot de Lebesgue-maat. Bewijs. De random map T voldoet aan (A) aangezien voor elke i Λ en t W de restrictie van τ t tot Int(I t,i ) een lineaire functie is, dus C en monotoon. Ook wordt aan (A) voldaan, want de σ-algebra is P(W ) en elke inverse beeld ligt in P(W ). Voor de variatie van g geldt sup x [,] W k g(t, x) ν(dt) sup [g(0, x)ν(dt) + g(, x)ν(dt)] x [,] sup [g(0, x) + g(, x) ] x [,] sup [g(0, x) + g(, x)] x [,] Aan de hand van Figuur 5 en Figuur 6 is te zien dat het supremum wordt aangenomen voor x [, ) (, ]. We hebben voor de variatie van g: sup g(t, x) ν(dt) sup [g(0, x) + g(, x)] x [,] W x [, ) (,], waarmee voldaan wordt aan (a). Ook wordt er voldaan aan (b), dit volgt namelijk uit Lemma.5. Dan volgt het resultaat met Stelling.. We kunnen voor de maat µ in Stelling.6 een uitdrukking geven. Uit Opmerking.4 volgt dat voor alle A B geldt µ(a) p(t, x)ν({t}) µ(dx) t {0,} τt (A) τ 0 (A) p(0, x) µ(dx) + 6 τ (A) p(, x) µ(dx)

19 Laat U de vereniging van intervallen zijn waarbij de transformatie τ 0 kiezen met kans p, dus U [ k k, k+ ) ( k(k+) k+ k(k+), k ] en laat U de vereniging van intervallen zijn waarbij we τ 0 of τ kiezen allebei met kans p, dus U [ k k+ k(k+), ) ( k k, k+ k(k+)]. Aangezien U U geldt voor alle A B µ(a) p(0, x) µ(dx) + p(, x) µ(dx) τ 0 (A) τ (A) τ 0 (A) U p(0, x) µ(dx) + p(, x) µ(dx) τ (A) U + p(0, x) µ(dx) + p(, x) µ(dx) τ 0 (A) U τ (A) U τ 0 (A) U µ(dx) + 0 µ(dx) τ (A) U + τ 0 (A) U µ(dx) + τ (A) U µ(dx) µ(τ0 (A) U ) + µ(τ0 (A) U ) + µ(τ (A) U ). () 4 Conclusie We hebben aangetoond dat de uitgebreide alternerende Lüroth transformatie op [, ] een invariante maat µ heeft die absoluut continu is met betrekking tot de Lebesgue-maat. Bovendien weten we dat µ de specifieke vorm van () heeft. Er kan verder onderzocht worden of de uitgebreide alternerende Lüroth transformatie ergodisch is. Hiervoor is waarschijnlijk de ergodiciteit van de alternerende Lüroth tranformatie zoals bewezen in Stelling.5 van belang. Indien dit het geval is kan er gekeken worden naar eigenschappen die een rol spelen in de ergodentheorie. 7

20 Referenties [BBDK96] Jose Barrionuevo, Robert M. Burton, Karma Dajani, and Cor Kraaikamp. Ergodic properties of generalized Lüroth series. Acta Arith., 74(4): 7, 996. [CWZ] Chunyun Cao, Jun Wu, and Zhenliang Zhang. The efficiency of approximating real numbers by Lüroth expansion. Czechoslovak Math. J., 6(8)():497 5, 0. [DD08] Karma Dajani and Sjoerd Dirksin. A Simple Introduction to Ergodic Theory: Lecture Notes, December 008. Available: kraai0/lecturenotes009.pdf. [Ino] Tomoki Inoue. Invariant measures for position dependent random maps with continuous random parameters. Studia Math., 08(): 9, 0. [IS] Marius Iosifescu and Gabriela Ileana Sebe. On Gauss problem for the Lüroth expansion. Indag. Math. (N.S.), 4():8 90, 0. [KKK9] [Lür8] [SF] Sofia Kalpazidou, Arnold Knopfmacher, and John Knopfmacher. Metric properties of alternating Lüroth series. Portugal. Math., 48():9 5, 99. Jacob Lüroth. Ueber eine eindeutige Entwickelung von Zahlen in eine unendliche Reihe. Math. Ann., ():4 4, 88. Luming Shen and Kui Fang. The fractional dimensional theory in Lüroth expansion. Czechoslovak Math. J., 6(6)(): , 0. 8