Tam bölüm - Complete quotient

Metrik teorisinde düzenli sürekli kesirler, kinci tam bölüm ζ_k ilkini göz ardı ederek elde edilir k kısmi paydalar a_ben. Örneğin, düzenli bir sürekli kesir tarafından verilirse

${displaystyle x = [a_ {0}; a_ {1}, a_ {2}, a_ {3}, noktalar] = a_ {0} + {cfrac {1} {a_ {1} + {cfrac {1} { a_ {2} + {cfrac {1} {a_ {3} + {cfrac {1} {ddots}}}}}}},}$

sonra ardışık tam bölümler ζ_k tarafından verilir

${displaystyle {egin {align} zeta _ {0} & = [a_ {0}; a_ {1}, a_ {2}, a_ {3}, noktalar] zeta _ {1} & = [a_ {1} ; a_ {2}, a_ {3}, a_ {4}, noktalar] zeta _ {2} & = [a_ {2}; a_ {3}, a_ {4}, a_ {5}, noktalar] zeta _ {k} & = [a_ {k}; a_ {k + 1}, a_ {k + 2}, a_ {k + 3}, noktalar]., end {hizalı}}}$

Özyinelemeli bir ilişki

Yukarıda verilen tanımdan bunu hemen çıkarabiliriz

${displaystyle zeta _ {k} = a_ {k} + {frac {1} {zeta _ {k + 1}}} = [a_ {k}; zeta _ {k + 1}] ,,}$

Veya eşdeğer olarak,

${displaystyle zeta _ {k + 1} = {frac {1} {zeta _ {k} -a_ {k}}}.,}$

Tam bölümler ve yakınsayanlar x

Ardışık gösteren yakınsayanlar düzenli devam eden kesrin x = [a₀; a₁, a₂, …] tarafından Bir₀, Bir₁/B₁, Bir₂/B₂,… (Makalede daha ayrıntılı olarak açıklandığı gibi temel tekrarlama formülleri ), gösterilebilir

${displaystyle x = {frac {A_ {k} zeta _ {k + 1} + A_ {k-1}} {B_ {k} zeta _ {k + 1} + B_ {k-1}}},}$

hepsi için k ≥ 0.

Bu sonuç, sonsuz düzenli sürekli kesrin ardışık yakınsayanlarının değere yaklaştığını hatırlayarak daha iyi anlaşılabilir. x bir tür zikzak düzeninde:

${displaystyle A_ {0} <{frac {A_ {2}} {B_ {2}}} <{frac {A_ {4}} {B_ {4}}}$

böylece ne zaman k bizde bile var mı Bir_k/B_k < x < Bir_k+1/B_k+1, ve ne zaman k elimizde garip mi Bir_k+1/B_k+1 < x < Bir_k/B_k. Her iki durumda da k + 1. tam bölüm ζ_k+1 ifade eden benzersiz gerçek sayıdır x şeklinde yarı yakınsak.

Tam bölümler ve eşdeğer gerçek sayılar

LFT'ler tarafından tanımlanan bir eşdeğerlik ilişkisi

Setini düşünün doğrusal kesirli dönüşümler (LFT'ler) tarafından tanımlanmıştır

${displaystyle f (x) = {frac {a + bx} {c + dx}},}$

nerede a, b, c, ve d vardır tamsayılar, ve reklam − M.Ö = ± 1. Bu LFT seti bir kimlik öğesi içerdiğinden (0 +x) / 1 ve altında kapalı olduğu için fonksiyonların bileşimi ve setin her üyesinin sette bir tersi vardır, bu LFT'ler bir grup (grup operasyonu, fonksiyonların bileşimidir), GL (2,Z).

Bir tanımlayabiliriz denklik ilişkisi sette gerçek sayılar bu lineer kesirli dönüşümler grubu aracılığıyla. İki gerçek sayı olduğunu söyleyeceğiz x ve y eşdeğerdir (yazılı x ~ y) Eğer

${displaystyle y = f (x) = {frac {a + bx} {c + dx}},}$

bazı tam sayılar için a, b, c, ve d öyle ki reklam − M.Ö = ±1.

Açıkçası, bu ilişki simetrik, dönüşlü ve geçişlidir, bu nedenle bir eşdeğerlik ilişkisidir ve gerçek sayıları birbirinden ayırmak için kullanılabilir. denklik sınıfları. Hepsi rasyonel sayılar eşdeğerdir, çünkü her rasyonel sayı sıfıra eşittir. Hakkında ne söylenebilir? irrasyonel sayılar ? Ayrıca tek bir denklik sınıfına mı giriyorlar?

"Eşdeğer" irrasyonel sayılar hakkında bir teorem

İki irrasyonel sayı x ve y Bu şema altında eşdeğerdir ancak ve ancak genişlemelerinde sonsuz uzun "kuyruklar", düzenli devam eden kesirler tamamen aynı ise. Daha doğrusu, aşağıdaki teorem kanıtlanabilir.

İzin Vermek x ve y iki irrasyonel (gerçek) sayı olun ve kdüzenli devam eden kesir genişletmelerinde inci tam bölüm x ve y ζ ile gösterilmek_k ve ψ_ksırasıyla, Sonra x ~ y (önceki bölümde tanımlanan eşdeğerlik altında) ancak ve ancak pozitif tamsayılar varsa m ve n öyle ki ζ_m = ψ_n.

Bir örnek

altın Oran φ, düzenli bir sürekli kesir olarak mümkün olan en basit genişlemeye sahip irrasyonel sayıdır: φ = [1; 1, 1, 1,…]. Teorem bize önce şunu söyler: x düzenli bir sürekli kesir olarak genişlemesi sonsuz dizeyi [1, 1, 1, 1,…] içeren herhangi bir gerçek sayıdır, bu durumda tamsayılar vardır a, b, c, ve d (ile reklam − M.Ö = ± 1) öyle ki

${displaystyle x = {frac {a + bphi} {c + dphi}}.,}$

Tersine, eğer a, b, c, ve d tamsayıdır (ile reklam − M.Ö = ± 1), sonra her gerçek sayının düzenli sürekli kesir genişlemesi y şeklinde ifade edilebilir

${displaystyle y = {frac {a + bphi} {c + dphi}},}$

sonunda φ için normal devam eden kesire benzeyen bir "kuyruğa" ulaşır.

Referanslar

• Rockett, Andrew M .; Szüsz, Peter (1992). Devam Kesirler. World Scientific. pp.4–8. ISBN  981-02-1052-3.