Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
2.7k kez görüntülendi

1)Aşkın sayı elde etmenin temel yöntemlerinden biri olarak geçen Liouville teoremi nedir? 

2)Bu teoremle varlığı garantilenen aşkın sayılara liouville sayıları deniyormuş ama aşkın sayı olarak bilinen π ve e sayıları liouville sayısı değilmiş, neden?

3) Cebirsel sayılar kümesi sayılabilir olmasına karşın aşkın sayılar kümesi sayılamaz olduğu (yani karmaşık sayıların içinde cebirsel sayılardan çok daha fazla aşkın sayı olduğu) üzerine bir kanıt mevcut mu? Mevcutsa nedir?

Lisans Matematik kategorisinde (1k puan) tarafından  | 2.7k kez görüntülendi

Liouville teoremi icin arama yapmistim ama sayılabilirlik için yapmamistim sorulara yazarken aklima gelip ekledigim bi soruydu tesekkur ederim bilgilendirme icin . :)

Kendi soruSunu kendi cevaplayanlar da var. Olabiliyor böyle şeyler..

Mümkün tabi :) soru sahibi konuyla ilgili kendini aydinlattigi anda burada da cevap verme yetisine sahip olacaktır eminim..

2 Cevaplar

2 beğenilme 0 beğenilmeme

Teorem[Louville]:Eğer a, katsayıları tamsayı olan m. dereceden bir polinomunun kokuyse, o zaman belli bir K sayisindan büyük her q doğal sayısı için şu özellik sağlanır: Eger p bir tamsayiysa ve

 0<|apq|1q

eşitsizliklerini sagliyorsa

1qm+1<|apq|1q

esitsizlikleri de saglanir.


Sonuç[Liouville]: a0  bir gercel sayi olsun. Eğer sonsuz sayida q doğal sayisi için 

 0<|apq|1qn

esitsizliklerini sağlayan bir p tamsayisi bulunabiliyorsa, o zaman a sayisi m'den daha küçük dereceli ve katsayilari tamsayi olan bir polinomunun koku olamaz. Eğer bu koşul sonsuz sayıda m için gercekleniyorsa o zaman a cebirsel olamaz.

Kanıt: f0, derecesi m<n olan ve a'yi sifirlayan bir polinom olsun. O zaman xn(m+1)f polinomu da a'yi sifirlar ve derecesi n1'dir. Ama bu da teoremle çelişir. Birinci onerme kanitlanmistir. İkinci önerme de bundan cikar.


Sonuç[Liouville sayıları]: Eğer (ai)i, 0'dan 9'a kadar olan rakamlardan oluşan ve bir zaman sonra sabit 0 olmayan bir diziyse o zaman

        a=i=1ai10i!

sayısı aşkındır.

Kanıt: Bir m doğal sayısı sabitleyelim. q=10m! olsun. Ve p sayısını 

pq=mi=1ai10i!

olacak biçimde seçelim. O zaman

 0<apq=i=m+1ai10i!<9i=m+1110i!

    910(m+1)!i=0110i!=910(m+1)!11110

    =1010(m+1)!<1(10m!)m=1qm

çıkar. Sonuç bir önceki sonuçtan çıkar.


Teorem[Cantor]: Aşkın sayı vardır. Hatta sayılamaz sonsuzlukta vardır.

Kanıt: Katsayıları kesirli sayılar olan polinomlar kümesinin sayılabilir sonsuzlukta olduğunu biliyoruz.  Ayrıca her polinomun en fazla derecesi kadar kökü vardır.[bknz. Cebirsel sayılar kümesi sayılabilirdir.] Ama gerçel sayılar kümesi sayılamaz sonsuzluktadır. [bknz. Cantor'un köşegen yöntemi] Demek ki sayılamaz sonsuzlukta cebirsel olmayan, yani aşkın sayı vardır.


(1k puan) tarafından 
tarafından düzenlendi

İlk sorunun cevabi telefondan anca bu kadar..ikinci ve üçüncü sorunun cevabini da yakin zamanda verebilmeyi umuyorum.

umarım verdiğim cevaplar tatmin edici durumdadır.

Pardon Teorem[Liouville]'in kanıtı nasıl acaba? Ben kendi kendime bulamadım da:)

Bilmiyorum hocam bilseydim eklerdim büyük ihtimal boyumu aşacak bir kaniti vardir ama bildigim anda mutlaka eklerim..:) 

ben Kurt Mahler'in Lectures on Transcendental Numbers adlı kitabında birlikte teorem ve sonucun terslemesi gibi olan (aslında γ=1 kabul edilse bile tam eş değil) bir teorem buldum. Liouville sayıları da daha genel tanımlanmış, aşağıda yazmaya çalışacağım...

1 beğenilme 0 beğenilmeme

1) Teorem (Liouville): Eğer a n1 derecesinden cebirsel bir sayı ise, her p,qZ, q>0 için
|apq|γqn
 eşitsizliğini sağlayan bir γ=γ(a) sabiti vardır.
 
Bunun çok farklı yollardan kanıtları mevcutmuş: Genelleştirilmişi olan Güting teoremi (Güting, R. Approximation of algebraic numbers by algebraic numbers. Michigan Math. J. 8 (1961), no. 2, 149-159. doi:10.1307/mmj/1028998566 ) ile, çokterimlilerin çarpanlarına ayrımları ile ya da

Kanıt (Ortalama değer teoremiyle): f(x) a için asgari çokterimli olsun (= f(a)=0'ı sağlayan, katsayıları doğrusal bağımsız ve baş katsayısı pozitif olan indirgenemez çokterimli). Genelliği kaybetmeksizin (aksi takdirde aşikar) aR ve |apq|<1'i varsayalım. Ortalama değer teoremine göre f(a)f(p/q))(ap/q)f(ϵ) eşitliğini sağlayan belli bir ϵ]a,p/q[ mevcuttur. Böylece ϵ]a,p/q[γ=γ(a)>0:|f(ϵ)|<1/γ
f(a)=0 olduğu için
|apq|>γ|f(pq)|. f(x) asgari çokterimli olduğu için Z[x] üzerine indirgenemez ve Gauss'un yardımcı teoremine göre Q[x] üzerine de indirgenemez.
Bir soru ile ilgili: Z[x] üzerine indirgenemez, Q[x] üzerine indirgenebilir bir polinom var mıdır?

Yani pq0 ve qnf(pq)1
|apq|>γ|f(pq)|>γqn 



2) Tanım: Eğer a gerçel  sayısı 0<|apmqm|qwmm şartını  'sonsuza yakınsayan' bir gerçel sayı dizisi w1,w2,... ve qm2 olan   bir rasyonel sayı dizisi p1q1,p2q2,... için sağlıyorsa  a'ya Liouville sayısı denir.

Sav: Liouville sayıları aşkındır. 

Eğer a bir Liouville sayısıysa ve aşkın değilse, o zaman n derecesinden cebirseldir, yani Liouville teoremini qm2,pm,wm sayıları için kullanabiliriz:

1qwmm|apmqm|γqnmm. pmqma seçelim γqnwmm. Ama yeterince büyük bir wm seçilirse (wm>n),  qnwmm<2nwm olacağı için eşitsizlik sağlanamaz.

Not: Aşkın olduğu  kanıtlanan ilk (Liouville) sayı(sı) Liouville sabitidir,
c=j=110(j!).
Kanıt: bkz. cevap ((ai)iN:=1, (wm)mN:=m, pmqm=pq olacak şekilde)

Sav: π bir Liouville sayısı değildir çünkü bütün olası qm2,pm tam sayıları için |πpmqm|>q42m geçerlidir (ve de 42'yi geçmeden sonsuz yakınsayan bir gerçel sayı dizisi yoktur).

Kanıt (sadece 2,141014'ten küçük olan qm'ler için, geri kalanlar Mahler, K. On the Approximation of pi. Indagationes Math. 15 (1953), 30-42. doi:10.1016/S1385-7258(53)50005-8'de):

Eğer |πpmqm|q42m olursa, pm, qm sayıları için

|πpmqm<12q2m|'in de geçerli olması gerekir, yoksa bundan 12q2|πpmqm|q42q402q<2 çıkar.

Bu eşitsizliğe göre pm/qm, π'nin devamlı kesir yakınsamalarından biri olamak zorundadır (neden?).

π=[3;7,15,1,292,1,1,1,2,1,3,14,2,1,1,2,2,2,2,1,84,2,1,1,15,3,13,...]

(=[b0;b1,b2,...])

13'e ait p26/q26 yakınsaması 2,141014'den büyüktür, daha önce gelen yakınsamaların en büyüğü 292'dir. Bu yüzden

|πpmqm|>1qm(qm+1+qm)=1qn((bn+1+1)qn+qn1)>1(bn+1+2)q2n1292+2q2n>q42n

Bir soru ile ilgili: Devamlı kesir teoremlerini kanıtlayın.

e için de benzer bir kanıtın olması lazım.

Bir soru ile ilgili: Euler'in devamlı kesir formülü nedir?

(1.2k puan) tarafından 
tarafından düzenlendi
20,319 soru
21,880 cevap
73,599 yorum
2,921,176 kullanıcı