实数完备性的六大基本定理的相互证明(共30个);.pdf

1 纭晫鍘熺悊闈炵┖鏈変笂(涓?鐣屾暟闆嗭紝蹇呮湁涓?涓?纭晫銆

2 鍗曡皟鏈夌晫鍘熺悊 浠讳綍鍗曡皟鏈夌晫鏁板垪蹇呮湁鏋侀檺銆

3 鍖洪棿濂楀畾鐞 鑻 {[a ,b ]} 鏄竴涓尯闂村, 鍒欏瓨鍦ㄥ敮涓€涓€鐐 锛屼娇寰 n n 飦

飦 飪嶽a ,b ], n 1,2, 飦屻€ n n

4 Heine-Borel 鏈夐檺瑕嗙洊瀹氱悊 璁 鏄竴涓棴鍖洪棿锛 涓 涓婄殑涓€涓紑瑕嗙洊锛屽垯鍦 [a,b] 飦 [a,b] 飦

涓瓨鍦ㄦ湁闄愪釜寮€鍖洪棿锛屽畠鏋勬垚[a,b] 涓婄殑涓€涓鐩栥€

5 Weierstrass 鑱氱偣瀹氱悊 锛圔olzano 鑷村瘑鎬у畾鐞嗘湁鐣屾棤绌锋暟鍒楀繀鏈夋敹鏁涘瓙鍒椼€傦級 鐩寸嚎涓婄殑鏈

瑙ｆ棤闄愮偣闆嗚嚦灏戞湁涓€涓仛鐐广€ {a } 飦

6 Cauchy 鏀舵暃鍑嗗垯鏁板垪 鏀舵暃 瀵逛换缁欑殑姝ｆ暟 锛屾€诲瓨鍦ㄦ煇涓€涓嚜鐒舵暟 锛屼娇寰 飪 N n

飥,n 飥綨 鏃讹紝閮芥湁| am 飥 an |飥 飦 銆

涓€.纭晫鍘熺悊

1.纭晫鍘熺悊璇佹槑鍗曡皟鏈夌晫瀹氱悊

璇 涓嶅Θ璁緖 an}涓烘湁涓婄晫鐨勯€掑鏁板垪.鐢辩‘鐣屽師鐞?鏁板垪{ an }鏈変笂纭晫,璁

a = sup{ an}.涓嬮潰璇佹槑a 灏辨槸{ an} 鐨勬瀬闄? 浜嬪疄涓?浠荤粰蔚> 0, 鎸変笂纭晫鐨勫畾

涔?瀛樺湪鏁板垪{ an }涓煇涓€椤筧N ,浣垮緱a - 蔚> aN .鍙堢敱{ an}鐨勯€掑鎬?褰搉鈮 N 鏃舵湁a - 蔚< aN 鈮 an.

鍙︿竴鏂归潰,鐢变簬a 鏄瘂 an}鐨勪竴涓笂鐣?鏁呭涓€鍒嘺n 閮芥湁an 鈮 a < a + 蔚.鎵€浠ュ綋

n鈮 N 鏃舵湁 a - 蔚< an < a + 蔚,