Bolzano-Weierstrass teoremi

Bolzano-Weierstrass teoremi klasik matematik analizin temel teoremlerinden biridir. İlk kez "Fonksiyonlar" adlı kitabında Bernhard Bolzano tarafından kullanıldı. Sonraki yıllarda bu teoremin ispatı tam olarak Karl Weierstrass tarafından verilmiştir. Bu nedenle, bu teorem analizde Bolzano-Weierstrass teoremi olarak bilinir.

, reel sayılar kümesinin, sınırlı ve sonsuz elemana sahip her alt kümesinin en az bir yığılma noktası vardır. Bir diğer deyişle R de her sınırlı dizinin yakınsak bir alt dizisi vardır. Bu teoremin ispatından önce 2 lemma ispatlanırsa daha anlaşılabilir aşağıdaki ispata göre. 1. Lemma:Bütün sınırlı monoton diziler yakınsar. 2. Lemma:Bütün dizilerin monoton bir altdizisi vardır. Bu iki lemma ispatlandıktan sonra elimize bir sınırlı dizi aldığımızda 2. Lemma ya göre monoton bir alt dizisi elde edilir sonra 1. lemma kullanılarak bu monoton altdizinin  yakınsadığı sonucuna ulaşılarak teorem ispatlanır.

ispat:

reel sayılarda sınırlı ve sonsuz elemanlı bir küme A olsun. Reel sayılar tamlık aksiyomunu sağladığından A kümesinin supremum ve infimum'u vardır. infA=x, supA=y olsun. Bu durumda her aЄA için x≤a≤y elde edilir. [x,y] aralığını iki kapalı aralığa bölelim. Bu aralıklardan en az bir tanesi sonsuz eleman kapsar. Böylece devam edilerek tümevarımla artan(xn) ve azalan (yn), xn<yn dizilerini oluştururuz. [xn,yn] aralığının uzunluğu
yn-xn=y-x/2n ve A∩[xn,yn] kümesinin sonsuz çoklukta elemanı vardır. (xn) artan sınırlı, (yn) azalan sınırlı dizi olduklarından yakınsar.
limnxn=supnxn=p ve
limnyn=infnyn=q olsun. 
yn-xn=y-x/2n olduğundan supnxn=infnyn=p olur. ε>0 verilsin. y-x<y-x/2n olacak biçimde nЄN seçelim. bu durumda
yn-p≤yn-xn<ε ve p-xn≤yn-xn<ε elde edilir. (p-ε,p+ε)aralığı A∩[xn,yn] kümesinin sonsuz çoklukta elemanını kapsadığından p noktası A kümesinin bir yığılma noktasıdır.

Gerçel analiz teoremleri