Liouville sayısı

sayılar teorisinde liouville sayıları, rasyonel sayılara infinitesimal yakınlıkta (hatta paydaya bağımlı şekilde) irrasyonel sayılardır. bir liouville sayısının her komşuluğunda bir rasyonel sayı (iki tam sayının oranı şeklinde yazılabilecek sayı) vardır. şu şekilde formüle edilebilir:

 bir liouville sayısı olsun. o zaman her  sayma sayısı (pozitif tam sayı) için öyle bir tam sayı  ve sayma sayısı  vardır ki, 

bir liouville sayısı böylece "çok yakından" rasyonel sayıların bir dizisi ile yakınsanabilir. 1844'te, joseph liouville gösterdi ki tüm liouville sayıları aşkın sayılardır. o zamana dek herhangi bir aşkın sayının varlığı henüz ispatlanmamıştı. liouville, bir sayı tabanı için (örneğin 10) liouville sabitlerini aşağıdaki gibi üretti. her liouville sabiti, bir liouville sayısıdır, dolayısıyla aşkındır.

liouville sayıları kümesi bir yandan büyüktür, sayılamaz sayıda (reel sayılar kadar) liouville sayısı vardır; bir yandan da küçüktür, lebesgue ölçüleri sıfırdır, dolayısıyla bu küme üzerinde integrallenebilir her pozitif fonksiyonun integrali sıfıra eşittir.

liouville sabiti 

 bir tam sayı olsun.  tabanındaki liouville sabiti  aşağıdaki gibi tanımlanır.

örneğin on tabanında  (1., 2., 6., 24., 120., 720., ... basamakta 1 rakamı var )

liouville sabiti aşağıda ispatlandığı gibi bir liouville sayısıdır.  bir sayma sayısı olsun. şimdi uygun  sayılarını bulmamız gerekiyor.

 ve  için

. qed

sayılamazlık 
örnek için bu sayıları düşünelim,

3.1400010000000000000000050000....
3.14(3 sıfır)1(17 sıfır)5(95 sıfır)9(599 sıfır)2...
burada
rakamlar π'nin ondalık açılımı içinde ondalık noktaların ninci rakamı burada n! rakamına eşit konumu içinde sıfır varlığıdır .

liouville sayılarının varlığı üzerindeki kesiti içinde gösterilen, bu sayılar, hem de başka bir sonlanamayan ondalık sıfır-dışı rakamlarla benzer durulardır ve bir liouville sayılarının tanımı doyurucudur. bu nedenle boş-olmayan rakamların tüm dizilerinin kümesi has the sürekliliğinin önem düzeyi  aynı  oluşan şey tüm liouville sayılarının kümesinde var.

dahası, liouville sayıları gerçek sayıların kümesinin yoğun altküme formudur.

liouville sayıları ve ölçümü 
ölçüm teorisinin bakış açısından,tüm liouville sayıları lin kümesi küçüktür. daha kesin bir ifadeyle, onun lebesgue ölçümü sıfırdır. john c. oxtoby tarafından bazı fikirler aşağıda kanıt olarak verilmiştir.

pozitif n > 2 tam sayıları veq ≥ 2 kümesi:

elimizde olan

araştırılan her pozitif n ≥ 2 vem ≥ 1 tam sayı için , ayrıca elimizde olan

nedeniyle

ve n > 2 ile

şimdi

ve onun aşağıda bu her pozitif tam sayısı m için, l ∩ (−m, m) lebesgue ölçümü sıfırdır. kanıt için, böylece l vardır.

karşıt olarak, tüm gerçek aşkın sayıların t kümesinin lebesgue ölçümü sonsuzdur (bu nedenle t bir boş kümenin tamamlayıcısıdır).

aslında, linhausdorff boyutu sıfırdır, bu lin bu hausdorff ölçümü ifadesi tüm dimension d > 0 boyutlar için sıfırdır. hausdorff dimension of l under other dimension functions has also been investigated.

ayrıca bakınız 
 diofantin yaklaşıklığı

kaynakça 
özel

genel

dış bağlantılar 
the beginning of transcendental numbers 
the least interesting number

diofantin yaklaşıklığı
gerçel aşkın sayılar
kanıt içeren maddeler