在证明极限的唯一性中，为什么要有N=max{N1,N2}这一步？另外，a-b的绝对值是什么意思？为什么要这样做？ 证明极限的唯一性
\u8bc1\u660e\u6570\u5217\u7684\u6781\u9650\u7684\u552f\u4e00\u6027\u65f6\uff0cN\uff1dmax\uff5bN1.N2\uff5d\u4e2d\uff0c\u4e3a\u4ec0\u4e48\u8981\u53d6\u6700\u5927\u7684\u4e00\u4e2a\u6570\u53d6\u6700\u5927\u90a3\u4e2aN\u5c31\u4f1a\u4f7f\u5f97|xn-a|<\u03b5\u548c|xn-b|<\u03b5\u540c\u65f6\u6210\u7acb\u554a\uff0c\u4ec0\u4e48\u843d\u5728\u8fd9\u4e24\u4e2a\u533a\u95f4\u662f\u4ec0\u4e48\u9b3c\u3002
\u8bbe{xn}\u6781\u9650\u4e3aA\uff0c\u56de\u5fc6\u4e00\u4e0b\u6781\u9650\u5b9a\u4e49\uff0c\u4efb\u53d6\u03b5>0\uff0c\u5b58\u5728N>0\uff0c\u5f53n>N\u65f6\uff0c\u6709 |xn-A|<\u03b5
\u8bc1\u660e\u6781\u9650\u552f\u4e00\u6027\uff0c\u5047\u8bbe{xn}\u6709\u4e24\u4e2a\u6781\u9650A\uff0cB\uff0c\u4e14A>B
\u53d6\u03b5=(A-B)/2\uff0c
\u5b58\u5728N1\uff0c\u5f53n>N1\u65f6\uff0c\u6709 |xn-A|<(A-B)/2 (1)
\u5b58\u5728N2\uff0c\u5f53n>N2\u65f6\uff0c\u6709 |xn-B|<(A-B)/2 (2)
\u53d6N=max{N1\uff0cN2}\uff0c\u5219\u5f53n>N\u65f6\uff0c\u4e0a\u9762\u4e24\u5f0f\u540c\u65f6\u6210\u7acb
(1)\u53ef\u5316\u4e3a\uff1a(B-A)/2<xn-A<(A-B)/2\uff0c\u53ef\u5f97 (B+A)/2<xn<(A-B)/2+A
(2)\u53ef\u5316\u4e3a\uff1a(B-A)/2<xn-B<(A-B)/2\uff0c\u53ef\u5f97 (B-A)/2+B<xn<(A+B)/2
\u51fa\u73b0\u77db\u76fe\uff0c\u4e00\u4e2a\u5f0f\u5b50\u662fxn>(A+B)/2\uff0c\u53e6\u4e00\u4e2a\u662fxn<(A+B)/2
\u56e0\u6b64\u6781\u9650\u552f\u4e00\u3002
设：lim an=a，同时，lim an=b，则证：a=b
根据定义：
任意ε>0，存在N1>0，当n>N1，有|an-a|<ε/2
对上述ε>0，存在N2>0，当n>N2，有|an-b|<ε/2
取N=max{N1,N2}，则当n>N，上两不等式都成立
于是，|a-b|≤|an-a|+|an-b|<ε/2+ε/2=ε
即，任意ε>0，有|a-b|<ε，故a=b
对于第一个问题：为什么要有N=max{N1,N2}这一步？？
这是因为，在后面的证明中，需要用到定义中的两个不等式
而，这两个不等式的成立是需要一定的条件的（分别为：当n>N1和当n>N2）
那么，我只需要取N为N1与N2的最大值，那么当n>N时，两不等式肯定成立了
对于第二个问题：a-b的绝对值是什么意思？？
这涉及到两数相等的证明
先要讲如何证明两数(a,b)不相等：
要证明a,b不相等，就一定要找出一个确定的数c，使得：|a-b|=c
现在，如果我找不到一个确定的数c，那么a，b就只能相等了
回到这题：
任意ε>0，有|a-b|<ε
这就意味着，我无法找到一个确定的数c，使得|a-b|=c
那么，a就只能与b是相等的
这就和0.99循环与1相等一样，
尽管看起来样子有点不同，但我们无法找到一个确定的数c，使1-c=0.99…9…
有不懂欢迎追问
我们在趋近于极限a的时候会得到一个N1
当n>N1时，数列在(a-ξ,a+ξ)之间
而同样的在趋近于极限b的时候会得到一个N2
只有当n同时大于N1和N2的时候，那么数列an才同时在(a-ξ,a+ξ)和(b-ξ,b+ξ)中
所以取了N=max{N1,N2}，然后n>N
至于a-b的绝对值，如果这个值大于0，那么我们就可以找到足够小的ξ使得
(a-ξ,a+ξ)(b-ξ,b+ξ)不相交，那么会和之前的证明产生矛盾
于是|a-b|必须为0，即a=b，所以极限是相等的，即极限唯一
我先证一下，我没书，不一定与书上完全一致
设有两个极限，a，b，且b>a，取ε=(b-a)/2，
由极限定义存在N1>0，当n>N1时，有|xn-a|<(b-a)/2，
（注意：上面这个式子只有在n>N1时成立，并不是对所有xn成立）
存在N2>0，当n>N2时，有|xn-b|<(b-a)/2，
取N=max{N1,N2}，当n>N时（注意：因为N是N1和N2中较大的，此时n>N1和n>N2就同时成立了）
此时：|xn-a|<(b-a)/2，|xn-b|<(b-a)/2 同时成立
将两个式子的绝对值去掉得：
-(b-a)/2 < xn-a < (b-a)/2 可得出：xn<(a+b)/2
-(b-a)/2 < xn-b < (b-a)/2 可得出：xn>(a+b)/2
这样两个结论同时被推出，所以矛盾了。
另外，有关ε的证明是难点，但不是重点，实在不明白，可以只看结论，过程跳过。不影响以后学习。
希望可以帮到你，不明白可以追问，如果解决了问题，请点下面的"选为满意回答"按钮，谢谢。
绛旓細杩欎釜闂鐨勭悊鐢卞悓涓娿傚彧瑕佺瓑姣旀暟鍒楀悗椤规瘮鍓嶉」灏忥紝鍏舵瘮鍊嘉<1锛屾渶鍚庡繀鐒惰秼杩戜簬0锛佸叾涓瘉鏄庝腑鍙栬嚜鐒跺鏁帮紝涓轰粈涔堬紵浣跨敤ln鍚庯紝涓嶅啀澧炲姞鍏跺畠椤癸紱鍙杔g涔熷彲浠ワ紝浣嗚澧炲姞涓椤筶ge.鍚屾椂锛屾潯浠朵腑缁欏嚭|q|<1,涔熸槸淇濊瘉绾ф暟鏈鍚庢敹鏁涖傞棶棰樹笁锛璇佹槑鏋侀檺鐨勫敮涓鎬э紝涓轰粈涔鍙栁=锛坆+a锛/2锛熻兘鐭ラ亾蔚=锛坆+a)/2<1...
绛旓細骞朵笖杩欎釜鏋侀檺鍊兼槸璇ュ嚱鏁扮殑鏈缁堥檺鍒跺笺傛瀬闄愮殑瀛樺湪鎬у拰鍞竴鎬ф槸鏁板涓殑鍩虹姒傚康锛屽湪璁稿鏁板鐞嗚鍜屽簲鐢ㄩ鍩熶腑閮借捣鍒颁簡閲嶈浣滅敤銆傛瘮濡傦紝鍦ㄥ井绉垎瀛︿腑锛屽鍑芥暟鐨勬瀬闄愯繘琛屾帹瀵兼槸瑙ｅ喅寰堝闂鐨勫叧閿紱鍦ㄦ鐜囪鍜岀粺璁″涓紝鏋侀檺鐨勫敮涓鎬甯姪鎴戜滑纭畾鏌愪簺鍒嗗竷鐨勫舰鐘跺拰鎬ц川锛屼互鍙婂簲鐢ㄧ粺璁″鎶宸ц繘琛屾帹鏂拰棰勬祴銆
绛旓細|xn-a|锛滐紙b-a锛/2锛岄偅涔堝氨鏈-锛坆-a锛/2锛渪n-a锛滐紙b-a锛/2锛岀Щ椤瑰緱鍒帮細a-锛坆-a锛/2锛渪n锛渁+锛坆-a锛/2锛屽嵆锛3a-b锛/2锛渪n锛滐紙a+b锛/2鎴愮珛锛岄偅涔堟垜浠彧鍙栫敤鍙宠竟鐨剎n锛滐紙a+b锛/2銆傛湁鐣屾 瀹氫箟锛氳鏈夋暟鍒梄n , 鑻ュ瓨鍦∕>0,浣垮緱涓鍒囪嚜鐒舵暟n,鎭掓湁|Xn|<M鎴愮珛锛屽垯绉版暟鍒梄n...
绛旓細涓<未2鏃讹紝浣垮緱涓╢锛坸锛-b涓<蔚鎴愮珛銆備笂闈㈢殑涓嶇瓑寮忓彲浠ョ瓑浠峰彉鎹负a-蔚<f锛坸锛<a+蔚鈶犲拰b-蔚<f锛坸锛<b+蔚鈶°備护未=min{未1锛屛2}锛屽綋0<涓▁-x銆備辅<未鏃躲傗憼锛屸憽鍚屾椂鎴愮珛锛屽嵆锛歜-蔚鈮+蔚锛岀Щ椤瑰緱锛(b-a)/2鈮の,鍥犱负(b-a)/2鏄竴涓‘瀹氬ぇ灏忕殑姝ｆ暟锛屾墍浠ヨ繖涓粨璁轰笌鏋侀檺鐨...
绛旓細蔚 璇讳綔锛氫紛鏅タ榫欙紝琛ㄧず涓涓緢灏忕殑姝ｆ暟 鍦ㄨ繖閬撻鍙槸涓轰簡璇佹槑缁撹锛屼綔鑰呭嚟绌烘瀯閫犲嚭鏉ョ殑锛屼笉鏄鍞竴鐨勶紝鍙互鏇村皬锛屾瘮濡備护蔚=锛坆-a锛/8锛屛=锛坆-a锛/10000锛岄兘鍙互璇佹槑銆傚氨濂藉儚鍒╃敤缂╂斁娉曡瘉鏄庝笉绛夊紡涓鏍凤紝鍙槸涓轰簡璇佹槑缁撹鑰屾兂鍑烘潵鐨勶紝鏈夋椂鍊欐槸鍑伒鎰燂紝鏈夋椂鍊欏嚟缁忛獙锛屾湁鏃跺欐牴鎹粨璁哄掓帹銆
绛旓細Prufer鏁板垪鏄棤鏍规爲鐨勪竴绉嶆暟鍒椼傚湪缁勫悎鏁板涓紝Prufer鏁板垪鐢辨湁涓涓浜庨《鐐规爣杩囧彿鐨勬爲杞寲鏉ョ殑鏁板垪锛岀偣鏁颁负n鐨勬爲杞寲鏉ョ殑Prufer鏁板垪闀垮害涓簄-2銆傚畠鍙互閫氳繃绠鍗曠殑杩唬鏂规硶璁＄畻鍑烘潵銆傚畠鐢盚einz Prufer浜1918骞鍦ㄨ瘉鏄cayley瀹氱悊鏃堕娆℃彁鍑恒傜瓑宸暟鍒楁槸甯歌鏁板垪鐨勪竴绉嶏紝濡傛灉涓涓暟鍒椾粠绗簩椤硅捣锛屾瘡涓椤逛笌瀹冪殑...
绛旓細璁炬湁涓や釜鏋侀檺锛a锛宐锛屼笖b>a锛屽彇蔚=(b-a)/2锛岀敱鏋侀檺瀹氫箟瀛樺湪N1>0锛屽綋n>N1鏃讹紝鏈墊xn-a|<(b-a)/2锛岋紙娉ㄦ剰锛氫笂闈㈣繖涓紡瀛愬彧鏈夊湪n>N1鏃舵垚绔嬶紝骞朵笉鏄鎵鏈墄n鎴愮珛锛夊瓨鍦∟2>0锛屽綋n>N2鏃讹紝鏈墊xn-b|<(b-a)/2锛屽彇N=max{N1,N2}锛屽綋n>N鏃讹紙娉ㄦ剰锛氬洜涓篘鏄疦1鍜孨2涓緝澶х殑锛屾鏃秐>...
绛旓細绠鍗曡绠椾竴涓嬪嵆鍙紝绛旀濡傚浘鎵绀
绛旓細闄や簩鎵嶈兘淇濊瘉(A-e,A+e)鍜(B-e,B+e)娌℃湁浜ら泦
绛旓細闄ら潪a=b鐭涚浘鎵嶄笉浼氬嚭鐜般侼鐨勭浉搴旀 涓鑸潵璇达紝N闅徫电殑鍙樺皬鑰屽彉澶э紝鍥犳甯告妸N鍐欎綔N(蔚)锛屼互寮鸿皟N瀵刮电殑鍙樺寲鑰屽彉鍖栫殑渚濊禆鎬с備絾杩欏苟涓嶆剰鍛崇潃N鏄敱蔚鍞竴纭畾鐨勶細锛堟瘮濡傝嫢n>N浣縷xn-a|<蔚鎴愮珛锛岄偅涔堟樉鐒秐>N+1銆乶>2N绛変篃浣縷xn-a|<蔚鎴愮珛锛夈傞噸瑕佺殑鏄疦鐨勫瓨鍦鎬э紝鑰屼笉鍦ㄤ簬鍏跺肩殑澶у皬銆
