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

Tam sıralı (sup=eküs özelliğine sahip) bir cisim, sayılamaz bir kümedir.

Lisans Matematik kategorisinde (6.2k puan) tarafından  | 674 kez görüntülendi
"Tam sıralı cisim R ye izomofiktir, dolayısıyla, R ile eş kuvvetlidir, R sayılamaz olduğu için o cisim de sayılamazdır" dışında doğrudan bir ispat yapılabilir.

1 cevap

0 beğenilme 0 beğenilmeme

Bunu göstermek için Tam sıralı cisimlerin 2 özelliği yeterli olacaktır.

1. En büyük eleman yoktur ve herhangi iki (farklı) eleman arasında sonsuz çoklukta eleman vardır. (bunlar tüm sıralı cisimlerde doğrudur)

2. İçiçe sınırlı ve kapalı aralıkların kesişimi boş olamaz.

İspat: Bir f:N+F 1-1 ve örten fonksiyonunun var olduğunu varsayalım. Bir çelişki elde deceğiz.

f(1)=a0 diyelim. k1N+ f(k1)>a0 şeklindeki en küçük doğal sayı olsun. (k1>1 dir.) a1=f(k1) diyelim.

k2N+, a0<f(k2)<a1 şeklindeki en küçük doğal sayı olsun. k2>k1 olur.  a2=f(k2) diyelim.

k3N+, a2<f(k3)<a1 şeklindeki en küçük doğal sayı olsun. k3>k2 olur.  a3=f(k3) diyelim.

Bu şekilde , tümevarım ile, bir (kn) kesin artan doğal sayılar dizisi oluştururuz. Bu dizi için f(kn+1)=an+1, an ile an1 arasındadır (ikisine de eşit değil) ve kn+1>kn bu özellikteki en küçük doğal sayıdır.

(n tek ise f(kn)>f(kn1)n çift ise f(kn)<f(kn1))

(a0<a2<a4<<a2n<<a2n1<<a3<a1 olur.)

[a2n2,a2n1] (n1) içiçe kapalı sınırlı aralıklar dizisinin arakesiti boş olamaz.

xn=1[a2n2,a2n1]=[sup{a2n},inf{a2n1}] olsun.

nN+ için a2n2<x<a2n1  olur.

(a0<a2<a4<<a2n<<x<<a2n1<<a3<a1 olur.)

f örten olduğu için f(K)=x olacak şekilde bir KN+ vardır.

xannN olduğundan KknnN olur.

O zaman

kn<K<kn+1 olacak şekilde (tek) bir n doğal sayısı vardır.

x=f(K), an1 ile an arasındadır. Ama bu, kn+1 in, f(kn+1), an1 ile an arasında olacak şekildeki en küçük doğal sayı olması ile çelişir.

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

Burada biraz farklı bir çözüm var.

20,296 soru
21,840 cevap
73,541 yorum
2,723,873 kullanıcı