Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
2 beğenilme 0 beğenilmeme
652 kez görüntülendi

Gosteriniz: Z[i] halkasi Oklit bolgesidir. (Euclidean domain)

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

1 cevap

1 beğenilme 0 beğenilmeme
En İyi Cevap
d:Z[i]{0}Z+ fonksiyonunu d(a+bi)=(a+bi)(abi)=a2+b2 ile tanımlayalım.

1) Her 0a+biZ[i] için d(a+bi)Z+ şeklindedir.

2) Her a+bi,c+diZ[i] için d((a+bi)(c+di))d(a+bi) midir?

d((a+bi)(c+di))=d((acbd)+(ad+bc)i)=(acbd)2+(ad+bc)2=(a2+b2)c2+(a2+b2)d2=(a2+b2)(c2+d2)(a2+b2)=d(a+bi)

3) a+bi,c+diZ[i]{0} için a+bi=(q0+q1i)(c+di)+(r0+r1i)

q0+q1i, r0+r1iZ[i] ve r0+r1i=0 veya d(r0+r1i)<d(c+di) olacak şekilde elemanlar mevcut mudur?

r0+r1i=(a+bi)(c+di)(q0+q1i)=(c+di)[(a+bi)(c+di)1(q0+q1i) ve (a+bi)(c+di)1=u+vi, u,vQ.

r0+r1i=(c+di)[(u+vi)(q0+q1i)]=(c+di)[(uq0)+(vq1)i]=[c(uq0)d(vq1)]+[c(vq1)+d(uq0)]i.

d(r0+r1i)=(c2+d2)[(uq0)2+(vq1)2] elde edilir. Eğer (uq0)2+(vq1)2<1 ise
d(r0+r1i)<d(c+di) olur. (uq0)214 ve (vq1)214 olacak şekilde q0,q1 seçtiğimizde (uq0)2+(vq1)2<1. Yani; a+bi=(c+di)(q0+q1i)+(r0+r1i) ve r0+r1i=0 veya d(r0+r1i)<d(c+di) şeklindedir.

Sonuç; Z[i] halkası Öklid bölgesidir.

(1.5k puan) tarafından 
tarafından seçilmiş
20,312 soru
21,868 cevap
73,589 yorum
2,859,624 kullanıcı