Teoria Weyla

Z testwiki
Przejdź do nawigacji Przejdź do wyszukiwania

Teoria Weyla.

Jeśli x jest liczbą rzeczywistą, to niech [x] oznacza największą liczbę całkowitą mniejszą lub równą od x. Wtedy liczbę [x] nazywamy częścią całkowitą liczby x. Część ułamkowa x jest określona przez {x}=x[x]. W szczególności, x[0,1) dla każdego x. Na przykład część całkowita i część ułamkowa z liczby 2,7 są równe odpowiednio 2 i 0,7, podczas gdy część całkowita i część ułamkowa z liczby 3,4 są równe odpowiednio 4 i 0,6.

Definicja

O ciągu liczb ξ1, ξ2, , ξn, na przedziale [0,1) mówi się, że są „equidistributed”, na każdym przedziale (a,b)[0,1) mamy:

limN{1nN:ξn(a,b)}N=ba

gdzie A oznacza liczność zbioru skończonego A.

Twierdzenie

Jeśli γ jest niewymierne, to sekwencja części ułamkowych {γ}, {2γ}, {3γ}, jest „equidistributed” na odcinku [0,1).

Lemat

Jeśli f jest ciągła i okresowa o okresie równym 1, a γ jest niewymiene, to

1Nn=1Nf(nγ)01f(x)dx,N.

Wniosek

Teza powyższego lematu obejmuje każdą funkcję f, która jest całkowalna w sensie Riemanna na odcinku [0,1] i okresowa o okresie równym 1.

Przykład 1

Ciąg

0,12,0,13,23,0,14,24,34,0,15,25,

wydaje się być „equidistributed”, gdyż przebiega na odcinku [0,1) równomiernie.

Oczywiście powyższe rozumowanie nie jest dowodem.

Przykład 2

Niech ciąg (rn)n=1 będzie jakąkolwiek numeracją liczb wymiernych na odcinku [0,1). Wtedy ciąg definiowany tak, że ξn=rn/2 dla n parzystego oraz 0 dla n nieparzystego. Ciąg ten nie jest „equidistributed”, gdyż „połowa” sekwencji wynosi 0. Niemniej jednak, ta sekwencja jest gęsta.

Bibliografia

  • Elias M. Stein, Rami Shakarchi, Fourier Analysis: An Introduction.