收敛数列的性质极限的唯一性证明没看懂？ 收敛数列的 极限的唯一性证明，详细过程
\u6536\u655b\u6570\u5217\u6781\u9650\u7684\u552f\u4e00\u6027\u8bc1\u660e\u95ee\u9898\u4f20\u4e2a\u7167\u7247\u4e0a\u6765\u554a
\u5148\u8bf4\u4e00\u4e2a\u6570\u5217\u6781\u9650\u7684\u4e00\u4e2a\u6027\u8d28
\u6709\u6570\u5217\u6781\u9650\u7684\u5b9a\u4e49\u77e5
\u82e5\u679cA\uff08n\uff09\u5f53n\u8d8b\u65e0\u7a77\u65f6
A\uff08n\uff09=a
\u8bf4\u660e
\u5bf9\u4e8e\u4efb\u610f\u7ed9\u5b9a\u7684e\uff08e>0)
\u5b58\u5728N
\u5f53n>N\u65f6
\u7edd\u5bf9\u503c\uff08A\uff08n\uff09-a\uff09
\u4e5f\u5c31\u662f\u5728\u533a\u95f4
\uff08a-e\uff0ca+e)\u91cc\u8fb9\u6709A\uff08n\uff09\u7684\u65e0\u7a77\u591a\u9879
\uff08a-e\uff0ca+e)\u5916\u8fb9\u53ea\u6709\u6709\u9650\u9879
\u5f53\u6781\u9650\u4e0d\u552f\u4e00\u65f6
\u6bd4\u5982\u6709a
b
\u4e24\u4e2a\u6781\u9650\uff08a\u4e0d\u7b49\u4e8eb\uff09
\u90a3\u4e48
\u6211\u4eec\u53ef\u4ee5\u9009\u62e9
\u9002\u5f53\u7684e\u8ba9\uff08a-e\uff0ca+e)\u4e0e\uff08b-e\uff0cb+e)\u4e0d\u76f8\u4ea4
\u90a3\u4e48\u4e0e\u524d\u8fb9\u7684\u6027\u8d28\u77db\u76fe
\u4ee5a
\u53ea\u8981\u9009e\u4f7f\u5f97a+e
\u8bc4\u8bba
0
0
0
\u52a0\u8f7d\u66f4\u591a
\u6570\u5b66\u5206\u6790\u7b2c\u4e8c\u7ae0\u7b2c\u516d\u8bb2\u7528\u4e8c\u9879\u5c55\u5f00\u5f0f\u653e\u7f29\u8bc1\u660e\u6781\u9650
详解如下：
假设数列an收敛于实数A和实数B，其中A≠B，不妨假设A<B。那么对于任给的e，总存在N>0，使得对于任意的n≥N，总有
|an-A|<e
取e=(B-A)/2，那么对于任意的n≥N，必有
|an-A|<(B-A)/2
即A-(B-A)/2<an<A+(B-A)/2
即(3A-B)/2<an<(A+B)/2
因此
(3A-B)/2-B<an-B<(A+B)/2-B
即
3(A-B)/2<an-B<(A-B)/2
由于A<B，所以A-B<0
因此an-B<(A-B)/2<0对于任意的n≥N成立。
即|an-B|>|A-B|/2对于任意的n≥N成立。
因此存在一个e'=|A-B|/2>0，使得对于任意的N'>0，总会有更大的N''>N且N>N'，使得
对于任意的n≥N''，总是不满足|an-B|<e'。
根据数列极限的e-N定义法，数列an不收敛于B。
收敛简介：
收敛是一个经济学、数学名词，是研究函数的一个重要工具，是指会聚于一点，向某一值靠近。收敛类型有收敛数列、函数收敛、全局收敛、局部收敛。
绝对收敛，指的是不论条件如何，穷国比富国收敛更快。
条件收敛，指的是技术给定其他条件一样的话，人均产出低的国家，相对于人均产出高的国家，有着较高的人均产出增长率，一个国家的经济在远离均衡状态时，比接近均衡状态时，增长速度快。
假设数列an收敛于实数A和实数B，其中A≠B，不妨假设A<B。那么对于任给的e，总存在N>0，使得对于任意的n≥N，总有
|an-A|<e
取e=(B-A)/2，那么对于任意的n≥N，必有
|an-A|<(B-A)/2
即A-(B-A)/2<an<A+(B-A)/2
即(3A-B)/2<an<(A+B)/2
因此
(3A-B)/2-B<an-B<(A+B)/2-B
即
3(A-B)/2<an-B<(A-B)/2
由于A<B，所以A-B<0
因此an-B<(A-B)/2<0对于任意的n≥N成立。
即|an-B|>|A-B|/2对于任意的n≥N成立。
因此存在一个e'=|A-B|/2>0，使得对于任意的N'>0，总会有更大的N''>N且N>N'，使得
对于任意的n≥N''，总是不满足|an-B|<e'。
根据数列极限的e-N定义法，数列an不收敛于B。
绛旓細璇佹槑锛氬亣璁鏁板垪an鏀舵暃浜庡疄鏁癆鍜屽疄鏁癇锛屽叾涓瑼鈮燘锛屼笉濡ㄥ亣璁続<B銆傞偅涔堝浜庝换缁欑殑e锛屾诲瓨鍦∟>0锛屼娇寰楀浜庝换鎰忕殑n鈮锛屾绘湁 |an-A|<e 鍙杄=(B-A)/2锛岄偅涔堝浜庝换鎰忕殑n鈮锛屽繀鏈 |an-A|<(B-A)/2 鍗矨-(B-A)/2<an<A+(B-A)/2 鍗(3A-B)/2<an<(A+B)/2 鍥犳 (3A-B)/2-B...
绛旓細鏀舵暃鏁板垪鏋侀檺鐨勫敮涓鎬у弽璇佹硶鏄細鍋囪鏀舵暃鏁板垪{Xn}鏈変袱涓瀬闄怉鍜孊锛屾牴鎹暟鍒楁瀬闄愮殑杩愮畻鎬ц川锛屽緱鍑篈=B鐨勭粨璁銆傚叿浣撴潵璇达紝鍋囪鏀舵暃鏁板垪{Xn}鏈変袱涓瀬闄怉鍜孊锛屽嵆limn鈫掆垶Xn=A鍜宭imn鈫掆垶Xn=B銆傛牴鎹暟鍒楁瀬闄愮殑杩愮畻鎬ц川锛屽浜庝换鎰忕粰瀹氱殑姝ｆ暟蔚锛堟棤璁哄灏忥級锛屾诲瓨鍦ㄦ鏁存暟N锛屽綋n>N鏃讹紝鏈墊Xn-A|<蔚鍜...
绛旓細鎵浠ユ敹鏁涙暟鍒楀彧鏈変竴涓瀬闄.瀹氱悊2.3(鏈夌晫鎬)锛氳嫢鏁板垪{an}鏀舵暃锛屽垯{an}涓烘湁鐣屾暟鍒楋紝鍗冲瓨鍦ㄦ鏁癕锛屼娇寰楀涓鍒囨鏁存暟n鏈夛細| an |鈮.璇侊細璁緇im( n鈫掆垶) an=a锛屽彇蔚=1锛屽瓨鍦ㄦ鏁癗锛屽涓鍒噉>N锛屾湁|an -a|鈮1锛涘張|an|-|a|鈮an -a|鈮1锛涒埓|an|鈮1+ |锛涜M=max{|a1|,|a2|,鈥...
绛旓細鏍规嵁鏁板垪鏋侀檺鐨別-N瀹氫箟娉曪紝鏁板垪an涓嶆敹鏁涗簬B銆傛敹鏁涚畝浠嬶細鏀舵暃鏄竴涓粡娴庡銆佹暟瀛﹀悕璇嶏紝鏄爺绌跺嚱鏁扮殑涓涓噸瑕佸伐鍏凤紝鏄寚浼氳仛浜庝竴鐐癸紝鍚戞煇涓鍊奸潬杩戙傛敹鏁涚被鍨嬫湁鏀舵暃鏁板垪銆佸嚱鏁版敹鏁涖佸叏灞鏀舵暃銆佸眬閮ㄦ敹鏁涖傜粷瀵规敹鏁涳紝鎸囩殑鏄笉璁烘潯浠跺浣曪紝绌峰浗姣斿瘜鍥芥敹鏁涙洿蹇傛潯浠舵敹鏁涳紝鎸囩殑鏄妧鏈粰瀹氬叾浠栨潯浠朵竴鏍风殑璇濓紝...
绛旓細鏀舵暃鏁板垪鐨绉樺瘑锛氭繁鍏ユ帰绱㈠叾鐗规т笌璇佹槑鍦ㄦ暟瀛︾殑棰嗗煙涓紝鏀舵暃鏁板垪鐨勯瓍鍔涘湪浜庡叾绠娲鐨勬ц川锛岃鎴戜滑閫愪竴鎻ず瀹冧滑鐨勬牳蹇冨畾鐞嗗拰鎺ㄨ銆鍞竴鎬瀹氱悊: 褰撲竴涓暟鍒 鏀舵暃 鏃讹紝瀹冪殑鏋侀檺鍙湁涓涓紝鐘瑰鏄熻景澶ф捣涓敮涓鐨勫潗鏍囥傝鎴戜滑閫氳繃涓ヨ皑鐨勯昏緫鏉ヨ瘉鏄庯細璁 lim a_n 瀛樺湪锛屽亣璁 L 鏄叾鏋侀檺锛屽彧闇璇佹槑瀵逛簬浠讳綍 蔚锛...
绛旓細鏀舵暃鏁板垪鐨勬ц川濡備笅锛1. 鏈夌晫鎬э細鏀舵暃鏁板垪蹇呭畾鏄湁鐣岀殑锛屽嵆瀛樺湪涓涓父鏁癕锛屼娇寰楄鏁板垪鐨勬墍鏈夐」閮藉皬浜庣瓑浜嶮銆2. 鍗曡皟鎬э細鏀舵暃鏁板垪鍙兘鏄崟璋冮掑鎴栧崟璋冮掑噺鐨勶紝涔熷彲鑳芥槸鏃笉鍗曡皟閫掑涔熶笉鍗曡皟閫掑噺鐨勩3. 鏋侀檺鍞竴鎬锛氭敹鏁涙暟鍒楃殑鏋侀檺鏄敮涓鐨勶紝鍗冲鏋滀竴涓鏁板垪鏀舵暃锛屽垯鍏舵瀬闄愭槸鍞竴鐨勩4. 淇濆彿鎬э細鑻...
绛旓細1銆鍞竴鎬锛氳嫢鏁板垪鐨勬瀬闄瀛樺湪锛屽垯鏋侀檺鍊兼槸鍞竴鐨勶紝涓斿畠鐨勪换浣曞瓙鍒楃殑鏋侀檺涓庡師鏁板垪鐨勭浉绛夈2銆佹湁鐣屾э細濡傛灉涓涓暟鍒椻鏀舵暃鈥橈紙鏈夋瀬闄愶級锛岄偅涔堣繖涓暟鍒椾竴瀹氭湁鐣屻備絾鏄紝濡傛灉涓涓暟鍒楁湁鐣岋紝杩欎釜鏁板垪鏈繀鏀舵暃銆備緥濡傛暟鍒 锛氣1锛-1锛1锛-1锛屸︹︼紝(-1)n+1鈥3銆佷笌瀛愬垪鐨勫叧绯伙細鏁板垪{xn} 涓庡畠鐨勪换涓...
绛旓細a鍜宐鏄痻(n)鐨鏋侀檺锛屽垯|a-b|<|x(n)-a|+|x(n)-b|<2蔚锛宯>N(蔚)瀵逛换鎰徫垫垚绔嬨傛墍浠ワ紝a=b
绛旓細鎵浠鏋侀檺x鏄竴涓仛鐐 2.涓嬭瘉鍞竴鎬 鍋囪瀛樺湪闄や簡x浠ュ鐨勫彟涓涓仛鐐箉 鍗硏鈮爕锛寍x-y|>0 鐢辫仛鐐瑰畾涔 鎵浠ュ浜庝换鎰徫 鍦ㄩ鍩烵(y,未)涓寘鍚鏁板垪xn鐨勬棤绌峰涓偣 鍥犱负xn鏀舵暃鍒皒 鍙栁=|x-y|/3>0 未=|x-y|/3>0 鏈塏,浣垮緱褰搉>N鏃 |xn-x|<蔚 鍒╃敤涓夎涓嶇瓑寮 |x-y| =|(x-xn)-(y...
