Loading [MathJax]/jax/element/mml/optable/BasicLatin.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
2.5k kez görüntülendi
Doğal sayılar kümesinin üstten sınırsız olduğunu gösteriniz.
Lisans Matematik kategorisinde (11.5k puan) tarafından 
tarafından yeniden etikenlendirildi | 2.5k kez görüntülendi

Bunun çözümü bu sitede var sanırım.

Ben de var diye hatırlıyorum ama bulamadım. Gün geçtikçe sitede aradıklarımı bulmak zorlaşıyor.

Biraz hileli çözüm:

xR olsun.

y=|x| olsun. yx olur.

n=y+1 olsun. nN ve (n1=yyn olduğu için) ny olur.

 n>x olur. Bu da bize hiç bir  gerçel sayının tüm doğal sayılardan büyük olamayacağını gösterir.

(Soru: Bu çözüm niye hileli?)

Bu çözüm niye hileli sorusuna düşüncelerim:

xR ve y=|x| olsun diyerek başladık.O halde buradan xy olur. Tabiki  amacım öyle bir nN bulayım ki yn olsun bende göstermek istedim x<n ifadesine ulaşayım. Hile burada devreye giriyor işte n`i  seçmek.

Seçmek için (istediğim ifadeyi bulacak şekilde) neler yapabilirim onu düşüneyim:

yy ... yn

Biliyorum ki  n1<n  ama ben eşitsizliğin arasında y nin olmasını da istiyorum o halde  n=y+1 olarak seçersem amacıma ulaşırım.


4 Cevaplar

0 beğenilme 0 beğenilmeme

(R,) poset ve NR olmak üzere

N kümesinin üstten sınırlı olduğunu varsayalım.

N, üstten sınırlıNü(xR)(xNü)(nN)(nx)

çelişkisini elde ederiz.

Fakat beklenen cevabın bu olduğunu düşünmüyorum. O halde şu şekilde yaklaşım yapalım.

N kümesi üstten sınırlı bir küme olsun. O halde Sup aksiyomu gereğince N kümesinin bir en küçük üst sınırı vardır. 

N kümesinin en küçük üst sınırı x olsun.Buradan şu teoremi hatırlayalım.

Üstten sınırlı ve boş olmayan bir doğal sayı kümesi en küçük üst sınırını içerir. O halde xN olur.Fakat x+1 doğal sayısının varlığıyla çelişir.





(405 puan) tarafından 
tarafından düzenlendi

x in doğal sayı olduğunu bilmiyoruz.

xR (N için) en küçük üst sınır ise, x1<nx olacak şekilde bir nN vardır. Bunu kullanarak bir çelişkiye ulaşılabilir.

Sonuçta aynı yola çıkacağız hocam o teorem gereğince sizin yaklaşımınızla zaten x=n olduğunu göreceğiz.

Bir n için x1<nx oluşundan x=n sonucu nasıl çıkar? (örneğin π1<3π dir.)

Şimdi öncelikle hocam (x,N kümesinin en küçük üst sınırı olduğunu unutmayalım.) Sizin örneğe gelince x=π olmuş.O halde

π1<3π<4 olur.( Buradan seçtiğiniz x'in N kümesinin üst sınırının bir elemanı olmaması ile çelişiriz.)



Benim demek istediğim şu:

Sizin ispatınızda xN olduğu iddia ediliyor. 

Bunun ispatı yok.

("Üstten sınırlı ve boş olmayan bir doğal sayı kümesi en küçük üst sınırını içerir" gerekçesi  yeterli değil.)

" Üstten sınırlı ve boş olmayan bir doğal sayı kümesi en küçük üst sınırını içerir." gerekçesinin neden yeterli olduğunu anlayamıyorum. N kümesi üstten sınırlı olsun dedik ve x, N kümesinin bir en küçük üst sınırı olsun dedik (Sup aksiyomuna dayanarak) bu gerekçe de bana diyor ki o zaman N kümesi x'i içerir.

Bu iddia doğru ama gerekçesi (bana göre) açık değil. 

Bir de N de sınırlı olmak ve R de sınırlı olmak ayrımı yapılmalı.

Şu örneğe bakalım A={nn+1:nN} olsun. (R de) sup, ama 1\notin A. Yani \mathbb{N} nin (A da olmayan) bir (topolojik veya cebirsel) özelliğini  kullanmalıyız burada.

(\mathbb{N} nin topolojik özelliğini kullanarak) Şöyle (biraz uzun) gösterilebilir:

\emptyset\neq A\subseteq\mathbb{N} (\mathbb{R} de) üstten sınırlı ve x=\sup A olsun.

(\mathbb{N},\ \mathbb{R} de kapalı ve alt uzay topolojisi ayrık olduğundan)

\mathbb{R} nin alışılmış (metrik) topolojisinde  A da kapalı olur.

A nın \mathbb{R} deki en küçük üst sınırı \overline{A} nin bir elemanıdır.

(Analiz derslerinde genellikle şu gösterilir: \sup A\notin A ise \sup A,\ A kümesinin bir yığılma (limit) noktasıdır)

A kapalı olduğu için \overline{A}=A dır.

Öyleyse x\in A olur.

(Benim 2. yorumda bahsettiğim yöntemle çok daha kısa yoldan bir çelişki çıkıyor.)

Şimdi daha anlamlı oldu hocam teşekkür ederim.

0 beğenilme 0 beğenilmeme

Bunu göstermek için genellikle, \mathbb{R} nin tamlığı kullanılır ama bu gereksizdir.

Birinci ispat:

(\mathbb{Q} nun \mathbb{R} de yoğun olduğunu kullanarak)

Bir x gerçel sayısı, \mathbb{N} için bir üst sınır olsun. x\geq1 olduğu için x>0 olur.

Bu nedenle, 2x>x olur.

\mathbb{Q} nun \mathbb{R} de yoğun olduğu için:

x<r<2x  olacak şekilde bir r\in\mathbb{Q} vardır.

r=\frac mn,\ m,n\in\mathbb{N}^+ (r>x>0 idi) olsun.

nr=m\in\mathbb{N} ve (n\geq1 olduğu için)  nr\geq r>x olur. Çelişki.

Bu çelişki, \mathbb{N} nin (\mathbb{R} de) bir üst sınırı olmadığını gösterir.

(\mathbb{N} nin sınırlı olduğu sıralı cisimler vardır http://matkafasi.com/117747/her-sirali-cisimde-arsimet-ozelligi-saglanir-mir sorusuna bakınız.)


(6.2k puan) tarafından 
0 beğenilme 0 beğenilmeme

İkinci çözüm: (\mathbb{R} nin Dedekind kesimleri yöntemi ile kuruluşunu kullanarak)

Bu kuruluşta, her bir gerçel sayı:

1. \emptyset \neq A\subsetneqq\mathbb{Q}

2. x\in A ve y\leq x ise y\in A olur.

3. A nın en büyük elemanı yoktur.

şeklindeki bir A kümesi ile temsil edilir.

Sıralama şöyle tanımlanır:

x,y\in\mathbb{R} ve x,\ A ve y,\ B alt kümesi ile temsil ediliyor ise

A\subseteq B\Leftrightarrow\ x\leq y

Bu kuruluşta, her x\in\mathbb{Q} sayısı A_x=\{r\in\mathbb{Q}:r<x\} ile temsil edilir.

İspat:

x\in\mathbb{R} olsun. x,\ A\subset\mathbb{Q} ile temsil edilsin.

A\neq\mathbb{Q} olduğu için s\notin A olacak şekilde bir s\in\mathbb{Q} vardır.

|s|=\frac mn,\ m,n\in\mathbb{N}^+ olsun. m\geq|s|\geq s olur.

B=\{r\in\mathbb{Q}:r<m\}, m doğal sayısına karşı gelen kümedir.

A nın 2. özelliğinden,  m\notin A olur.

A nın 2. özelliğinden, \forall r\in A için  m>r olur.

A\subseteq B olur.

Bu da x\leq m olması demektir.

Bu da \mathbb{N} nin, \mathbb{R} de, bir üst sınırı olmadığını gösterir.

(6.2k puan) tarafından 
0 beğenilme 0 beğenilmeme

Bir yanıt da ben ekleyeyim.

\mathbb{N} doğal sayılar kümesinin üstten sınırlı olmadığını yani \mathbb{N}^ü\neq \emptyset olduğunu varsayalım. (\mathbb{N}^ü:=\{y|\forall x(x\in \mathbb{N}\Rightarrow x\leq y)\})

\left.\begin{array}{rr}0\in\mathbb{N}\Rightarrow \mathbb{N}\neq \emptyset \\ \\ \mathbb{N}^ü\neq\emptyset \end{array} \right\}\overset{\text{Sup Aksiyomu}}{\Rightarrow} \begin{array}{c} \\ \\ \left. \begin{array}{rr} (\exists b\in\mathbb{R})(\sup\mathbb{N}=b) \\ \\ b-1<b \end{array} \right\} \Rightarrow b-1\notin\mathbb{N}^ü\end{array}


\Rightarrow (\exists n\in\mathbb{N})(b-1<n)\Rightarrow (n+1\in\mathbb{N})(b<n+1)

olur. Bu ise \sup\mathbb{N}=b olması ile çelişir.


(11.5k puan) tarafından 
tarafından düzenlendi
20,312 soru
21,868 cevap
73,589 yorum
2,859,993 kullanıcı