Normalt antal
I matematik er et normalt tal i base 10 et reelt tal, således at i en række af dets decimaler vises en endelig sekvens af på hinanden følgende decimaler (eller sekvenser ) med den samme begrænsende frekvens som en hvilken som helst af sekvenserne med samme længde. For eksempel vises sekvensen 1789 der med en afskæringsfrekvens på 1 / 10.000. Émile Borel navngav dem således under sin demonstration af, at næsten alle reelle har denne egenskab.
Definitioner
Lad os betegne sæt cifre i basis , og lad os være et reelt tal . Hvis er en endelig rækkefølge af elementer af , lad os bemærke antallet af forekomst af sekvensen blandt de første cifre efter decimaltegnet for den korrekte udvikling af i basen . Nummeret siges:
PÅ={0,...,b-1}{\ displaystyle A = \ {0, \ dots, b-1 \}}
b{\ displaystyle b}
x{\ displaystyle x}
s{\ displaystyle s}
PÅ{\ displaystyle A}
IKKE(s,ikke){\ displaystyle N (s, n)}
s{\ displaystyle s}
ikke{\ displaystyle n}
x{\ displaystyle x}
b{\ displaystyle b}
x{\ displaystyle x}![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
-
simpelthen normal (eller undertiden jævnt fordelt ) i basen, hvisb{\ displaystyle b}
∀på∈PÅlimikke→∞IKKE((på),ikke)ikke=1b{\ displaystyle \ forall a \ i A \ quad \ lim _ {n \ to \ infty} {\ frac {N ((a), n)} {n}} = {\ frac {1} {b}}}
;
-
normal i base,b{\ displaystyle b}
hvis den simpelthen er normal i base for hele , hvilket svarer til:bk{\ displaystyle b ^ {k}}
k>0{\ displaystyle k> 0}
∀k⩾1∀s∈PÅk{\ displaystyle \ forall k \ geqslant 1 \ quad \ forall s \ i A ^ {k}}
limikke→∞IKKE(s,ikke)ikke=1bk{\ displaystyle \ quad \ lim _ {n \ to \ infty} {\ frac {N (s, n)} {n}} = {\ frac {1} {b ^ {k}}}}
;
-
normal (eller undertiden helt normal ), hvis det er normalt i en hvilken som helst base, hvilket svarer til: simpelthen normalt i enhver base.
Normalt antal sætning
Begrebet normalt tal blev introduceret af Émile Borel i 1909. Ved hjælp af Borel-Cantellis lemma beviser han "det normale talteorem": næsten alle reelle tal er helt normale, i den forstand at sættet med ikke-absolut normale tal er af nulmål (for Lebesgue-foranstaltningen ).
Sætning - I næsten ethvert tal (i betydningen Lebesgues mål) er det helt normalt.
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Demonstration
Ved at bruge, at enhver tællelig sammenslutning af ubetydelige sæt er ubetydelig, koger vi let ned til bevis for, at på et fast grundlag b er næsten ethvert element simpelthen normalt.
Ω=[0,1[{\ displaystyle \ Omega = \ venstre [0,1 \ højre [}![{\ displaystyle \ Omega = \ venstre [0,1 \ højre [}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19bcb148fc5b6711bfb07778099e8e2bfb3ff56b)
Lad os betegne dengang . Ethvert element ω af har en unik korrekt udvikling i base b : der findes en unik skrivning af ω i form:
PÅ={0,...,b-1}{\ displaystyle A = \ {0, \ dots, b-1 \}}
Ω{\ displaystyle \ Omega}![\ Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
ω=∑ikke=1∞εikke(ω)bikke{\ displaystyle \ omega = \ sum _ {n = 1} ^ {\ infty} {\ frac {\ varepsilon _ {n} (\ omega)} {b ^ {n}}}}
sådan, at for alle n , og sådan, at sekvensen ikke ender med en uendelig række af cifre b - 1.
εikke(ω)∈PÅ,{\ displaystyle \ varepsilon _ {n} (\ omega) \ i A,}
(εikke(ω))ikke≥1{\ displaystyle \ left (\ varepsilon _ {n} (\ omega) \ right) _ {n \ geq 1}}![{\ displaystyle \ left (\ varepsilon _ {n} (\ omega) \ right) _ {n \ geq 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe7d358ddba9c233f5fecb145ecab4ca85204bea)
Vi giver os en figur a ∈ A, og vi er interesserede i hyppigheden af udseende af denne figur i rækkefølgen af de n første figurer af udviklingen af ω i base b .
Vi placerer os på probabilized rum hvor betegner den Borelian stamme af , og hvor er det Lebesgue foranstaltning begrænset til . Derefter er familien under en familie af ensartede tilfældige variabler over A og uafhængig , det vil sige for enhver begrænset delmængde B af ℕ(Ω,PÅ,P),{\ displaystyle \ left (\ Omega, {\ mathcal {A}}, \ mathbb {P} \ right),}
PÅ{\ displaystyle {\ mathcal {A}}}
Ω{\ displaystyle \ Omega}
P{\ displaystyle \ mathbb {P}}
PÅ{\ displaystyle {\ mathcal {A}}}
P{\ displaystyle \ mathbb {P}}
(εikke)ikke≥1{\ displaystyle \ left (\ varepsilon _ {n} \ right) _ {n \ geq 1}}
P(∀jeg∈Bεjeg=mjeg)=b-#B.{\ displaystyle \ mathbb {P} \ left (\ forall i \ in B \ quad \ varepsilon _ {i} = m_ {i} \ right) = b ^ {- \ # B}.}
Tilfældige variabler
xj=1εj=på{\ displaystyle X_ {j} = 1 _ {\ varepsilon _ {j} = a}}
er uafhængige Bernoulli-variabler med parameter 1 / b og i kraft af den stærke lov af store tal hyppigheden af forekomst af a i rækkefølgen af de første n cifre i udvidelsen af ω :
Fpå(ikke,ω)=x1(ω)+...+xikke(ω)ikke{\ displaystyle F_ {a} (n, \ omega) = {\ frac {X_ {1} (\ omega) + ... + X_ {n} (\ omega)} {n}}}
kontrolleret:
Fpå(ikke)⟶s.s.E[x1]=1b.{\ displaystyle F_ {a} (n) {\ underset {ps} {\ longrightarrow}} E [X_ {1}] = {\ frac {1} {b}}.}
Vi konkluderer med at bruge, at en forening af b ubetydelige sæt - hver svarende til et ciffer a - er ubetydelig.
Egenskaber og eksempler
- Et rationelt tal (derfor af periodisk udvikling i en hvilken som helst base) er simpelthen normal i base, hvis og kun hvis længden af dets periode i denne base er et multiplum af og hvert ciffer fra 0 til vises tidspunkter i denne periode. Det er derfor aldrig normalt ved basen . For eksempel er den rationelle , hvis decimaludvidelse er skrevet , simpelthen normal i base ti, men ikke i base hundred.b{\ displaystyle b}
s{\ displaystyle p}
b{\ displaystyle b}
b-1{\ displaystyle b-1}
s/b{\ displaystyle p / b}
b{\ displaystyle b}
1371742101111111111{\ displaystyle {\ frac {137174210} {1111111111}}}
0,12345678901234567890 ...{\ displaystyle 0.12345678901234567890 ...}![{\ displaystyle 0.12345678901234567890 ...}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd16efd5c2f8703f6b59defaac18deb3c25cffd8)
- Et tal er normalt i basen, hvis og kun hvis sekvensen er lige fordelt modulo 1 , som ifølge Weyls kriterium svarer til:x{\ displaystyle x}
b{\ displaystyle b}
(bkx)k{\ displaystyle \ left (b ^ {k} x \ right) _ {k}}![{\ displaystyle \ left (b ^ {k} x \ right) _ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1b5bc321834be867b94a556e5081d8b796e002b)
lim1ikke∑k=0ikke-1e2πjegmbkx=0{\ displaystyle \ lim {\ frac {1} {n}} \ sum _ {k = 0} ^ {n-1} \ mathrm {e} ^ {2 \ pi \ mathrm {i} mb ^ {k} x } = 0}![{\ displaystyle \ lim {\ frac {1} {n}} \ sum _ {k = 0} ^ {n-1} \ mathrm {e} ^ {2 \ pi \ mathrm {i} mb ^ {k} x } = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1666620316b9c4239b9a2373cc61b787bb0432c9)
for alle .
m≥1{\ displaystyle m \ geq 1}![{\ displaystyle m \ geq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e0f3243e9d7f06bee548558bf20aaa9b5263d3f)
- Produktet af et normalt tal i base med en ikke-nul rationel er normal i base .b{\ displaystyle b}
b{\ displaystyle b}![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
- Sættet med tal, der simpelthen er normalt i basen, er magert . A fortiori er sættet med normale tal i basen magert (mens overmængden af universtal i basen er comapar ).b{\ displaystyle b}
b{\ displaystyle b}
b{\ displaystyle b}![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
- Det Champernowne nummer , hvis decimal ekspansion er dannet ved sammenkædning af alle naturlige tal, er normalt i basen ti, som er den Copeland-erdős-tal , opnået ved at sammenkæde de primtal , men det er ikke vist, at 'de er i andre baser.0,1234567891011121314151617⋯{\ displaystyle 0 {,} 123 \, 456 \, 789 \, 10 \, 11 \, 12 \, 13 \, 14 \, 15 \, 16 \, 17 \ cdots}
0,2357111317192329313741⋯{\ displaystyle 0 {,} 2357 \, 11 \, 13 \, 17 \, 19 \, 23 \, 29 \, 31 \, 37 \, 41 \ cdots}![{\ displaystyle 0 {,} 2357 \, 11 \, 13 \, 17 \, 19 \, 23 \, 29 \, 31 \, 37 \, 41 \ cdots}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22ecedbf295153b0eb72b5da83caa0d9f6e8f588)
- Et tal kan faktisk være normalt i en base, men ikke i en anden; for eksempel
a=∑m=1∞13m23m{\ displaystyle \ alpha = \ sum _ {m = 1} ^ {\ infty} {\ frac {1} {3 ^ {m} 2 ^ {3 ^ {m}}}}}
er normalt i base 2, men ikke i base 6. Mere generelt er de normale tal for to baser og i de samme, hvis og kun hvis heltalene og er "ækvivalente" i betydningen "hinandens rationelle magt ", mens hvis to komplementære dele og af er lukkede for dette ækvivalensrelation , så sæt numre, som er normale i noget grundlag af og unormal i noget grundlag af har magt kontinuum .
b{\ displaystyle b}
vs.{\ displaystyle c}
{2,3,4,...}{\ displaystyle \ {2,3,4, ... \}}
b{\ displaystyle b}
vs.{\ displaystyle c}
R{\ displaystyle R}
S{\ displaystyle S}
{2,3,4,...}{\ displaystyle \ {2,3,4, ... \}}
R{\ displaystyle R}
S{\ displaystyle S}![S](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
Især (tilfælde ) har sættet med normale tal styrken af kontinuumet (som allerede var udledt fra Borels sætning) såvel som (tilfældet ) sættet af reelle tal, som ikke er normale på noget grundlag (som allerede er trukket fra det faktum, at han er koma).
S=∅{\ displaystyle S = \ varnothing}
R=∅{\ displaystyle R = \ varnothing}![{\ displaystyle R = \ varnothing}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8390f6e8c1af90872ca91882c15d6c1132b622d3)
- Det er ekstremt vanskeligt at demonstrere normaliteten af alligevel enkle tal. For eksempel er det uklart, om √ 2 , π , ln (2) eller e er normal (men numeriske eksperimenter er formodninger, de er). Vi ved ikke engang, hvordan vi skal demonstrere, at en given figur vises et uendeligt antal gange i decimaludvidelsen af disse konstanter. Émile Borel formodede i 1950, at algebraisk irrationel er normal; vi kender ikke et modeksempel, men vi kender ikke engang et algebraisk tal, der er normalt i en base.
Normale tal og endelige automater
Der er forbindelser mellem normale tal og endelige automater . Således har vi
Sætning - Et reelt tal er normalt i et bestemt heltal base, hvis og kun hvis dets udvidelse i denne base er ukomprimerbar af en tabsfri kompressionsautomat.
I denne sammenhæng er en tabsfri kompressionsautomat en deterministisk automat med injektionsudgange (derfor en funktionel transducer ).
En følge af sætningen er en sætning på grund af VN Agafonov og stammer fra 1968 om bevarelse af normaliteten af sekvenser valgt af en endelig automat:
Agafonovs sætning - Lad være det binære alfabet. En uendelig rækkefølge til er normal, hvis og kun hvis en efterfølgende valg, der er valgt af en endelig automat, i sig selv er normal .
PÅ{\ displaystyle A}
PÅ{\ displaystyle A}
PÅ{\ displaystyle A}![PÅ](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Denne sætning, hvis originale bevis er på russisk, blev bevist af Mary G. O'Connor, derefter generaliseret til vilkårlige alfabeter af Broglio og Liardet.
Noter og referencer
(fr) Denne artikel er helt eller delvist taget fra Wikipedia-artiklen på
engelsk med titlen
" Normal number " ( se listen over forfattere ) .
-
Jean-Paul Delahaye , “ At være normal? Ikke så let! ", Pour la science , nr . 422,December 2012, s. 126-131 ( læs online ).
-
J.-P. Marco og L. Lazzarini, Matematik L1 , Pearson ,2012( læs online ) , s. 634(præsenteres kun for base ti ).
-
É. Borel, " De tællbare sandsynligheder og deres aritmetiske anvendelser ", Rend. Cirk. Mast. Palermo , vol. 27,1909, s. 247-271( s. 260 ).
-
Borel 1909 (opløst i Hardy og Wright , § 9.12 ) krævede mere end bx , b 2 x , b 3 x , etc. er simpelthen normale i base b k (vi kan tydeligvis stoppe "osv." ved b k -1 x ), men denne tilstand var overflødig, som demonstreret af SS Pillai , " On normale tal " , Proc. Indian Acad. Sci. A , bind. 12,1940, s. 179-184 ( læs online ), for at svare på en anmelders indsigelse mod hans enkle bevis for Champernownes sætning . Dette bevis modsagde Hardy og Wrights kommentar til denne sætning: ” beviset [...] er mere besværligt end man kunne forvente. ” (Sidste sætning i kapitel 9).
-
En k er det sæt af sekvenser med længden k af elementer A .
-
Det er denne definition, nu klassisk, der er valgt af Niven 1956 , s. 95 og overtaget af Hervé Queffélec og Claude Zuily, analyse for aggregering , Dunod ,2013, 4 th ed. ( læs online ) , s. 550. Niven 1956 , s. 104-110 viser faktisk, at det er indsat i den implikation, som Pillai demonstrerede mellem hans lysdefinition og Borels (jf. Forrige note).
-
Borel 1909 .
-
Samme ( jf. Niven 1956 , s. 103-104 eller Hardy og Wright Hardy og Wright , begyndelsen af § 9.13) med Borels overflødige definition, hvorefter en reel x er normal, hvis det er tilfældet b og alle j ≥ 0 og k ≥ 1, tallet b j x er simpelthen normalt i base b k .
-
Niven 1956 , s. 110, th. 8.15.
-
(in) SD Wall , Normal Numbers , UC Berkeley , coll. "Ph.D.-afhandling",1949.
-
Resultatet af Tibor Šalát (en) (1966) , mere præcist, er angivet på s. 233 af Martine Queffélec, "Gamle og nye resultater om normalitet" , i Dee Denteneer, Frank den Hollander og Evgeny Verbitskiy, Dynamics & Stochastics: Festschrift til ære for MS Keane , IMS ,2006( læs online ) , s. 225-236.
-
Kuipers og Niederreiter 2012 , s. 8 og 75; Niven 1956 , s. 112-115; mere generelt, hvis f er et polynom, der sender et hvilket som helst heltal> 0 over et heltal> 0, så er den reelle dannede (f.eks. i base ti) ved sammenkædning af heltal f (1), f (2), ... er normal i denne base: (en) H. Davenport og P. Erdős , " Note om normale decimaler " , canadiske J. Math. , Vol. 4,1952, s. 58-63 ( læs online ).
-
(i) Arthur H. Copeland og Paul Erdős , " normale vi nodenumre " , Bull. Bitter. Matematik. Soc. , Vol. 52,1946, s. 857-860 ( læs online ) ; denne artikel viser, at dette resultat gælder for enhver tilstrækkelig tæt sekvens af heltal.
-
(i) David H. Bailey og Michał Misiurewicz (de) , " En stærk hot spot teorem " , Proc. Bitter. Matematik. Soc. , Vol. 134,2006, s. 2495-2501.
-
(in) DH Bailey, " Et ikke-normalitetsresultat " ,12. september 2007.
-
(i) Wolfgang Schmidt , " er normale tal " , Pacific J. Math. , Vol. 10,1960, s. 661-672 ( læs online ).
-
(De) Wolfgang M. Schmidt, “ Über die Normalität von Zahlen zu verschiedenen Basen ” , Acta Arithmetica , vol. 7, n o 3,1962, s. 299-309 ( læs online ).
-
W. Sierpiński, “Elementært bevis for M. Borels sætning om absolut normale tal og effektiv bestemmelse af et sådant tal”, Bull. Soc. Matematik. Frankrig , vol. 45, 1917, s. 125-132 [ læs online ] ;
H. Lebesgue, "Om visse demonstrationer af eksistens", samme bind. (men skrevet i 1909), s. 132-144 [ læs online ] .
-
(i) Verónica Becher og Santiago Figueira, "Et eksempel på et beregnet absolut normalt tal", Teoretisk. Comput. Sci. , Vol. 270, 2002, s. 947-958 .
-
(i) David H. Bailey og Richard Crandall , " On Random Character om grundlæggende Constant udvidelser " , Exp. Matematik. , Vol. 10,2001, s. 175-190 ( læs online ).
-
(i) Davar Khoshnevisan, " Normale tal er normale " , CMI årsrapport ,2006, s. 15, 27-31 ( læs online ).
-
Verónica Becher og Pablo Ariel Heiber , “ Normal numbers and finite automata ”, Theoretical Computer Science , vol. 477,2013, s. 109–116 ( DOI 10.1016 / j.tcs.2013.01.019 )
-
V.N. Agafonov, “ Normale sekvenser og endelig automat ”, Sovjetisk matematik Doklady , bind. 9,1968, s. 324-325 ( zbMATH 0242.94040 )- (oversættelse af Dokl. Akad. Nauk SSSR , bind 179, s. 255-256 ).
-
(ru) VN Agafonov, " Normale sekvenser og endelig automata " , Problemy Kibernetiky , nr . 20,1968, s. 123-129 ( Matematikanmeldelser 0286576 ).
-
Mary G. O'Connor, “ En uforudsigelig tilgang til endelig tilstands tilfældighed ”, J. Comput. System Sci. , Vol. 37, nr . 3,1988, s. 324-336 ( matematikanmeldelser 0975448 ).
-
Annie Broglio og Pierre Liardet, ” Forudsigelser med automater ”, Moderne matematik , vol. 135,1992, s. 111-124 ( Matematikanmeldelser 1185084 ).
Bibliografi
- (en) L. Kuipers og H. Niederreiter , ensartet fordeling af sekvenser , Dover ,2012( 1 st ed. 1974) ( læses online ) , kapitel 1, § 8: "Normal tal", s. 69-77
- (en) Ivan Niven , Irrational Numbers , MAA , koll. "De matematiske monografier fra Carus" ( nr . 11),1956( læs online ) , kapitel 8: “Normale tal”, s. 94-116
-
(en) GH Hardy og EM Wright , En introduktion til teorien om Numbers ( 1 st ed. 1938) [ Detail Editions ], § 9.12 og 9.13