[微積] 極限的唯一性

看板Math作者 (雅妍美學)時間7年前 (2017/05/20 06:10), 編輯推噓3(3015)
留言18則, 6人參與, 最新討論串1/1
關於極限的唯一性,採取的方法是L不等於M,即假設ε=(L-M)/2 於是產生下圖: http://i.imgur.com/v9eh2Dz.jpg
小弟對於ε=(L-M)/2 有一點意見,是什麼樣的意見等下敘述 而極限有兩個的話,|f(x)-L|<ε與|f(x)-M|<ε必會同時成立 也因此產生兩組δ的解集合,先稱為δ1與δ2 因為這兩個δ都是以同一點為圓心,先稱 為C點 故必有交集,交集是min(δ1,δ2) 所以挑Xo一個在0<|Xo-c|<min(δ1,δ2) 丟到Y軸上 能在Y軸上找到一個點 滿足|f(x)-L|<ε與|f(x)-M|<ε,則極限有兩個。 所以問題來了,我在一開始就假設ε=(L-M)/2 早就斷了同時滿足|f(x)-L|<ε與|f(x)-M|<ε兩式的可能性 在一開始假設不可能的狀況,去證明事情不可能發生 就像我說箱子裡有紅球跟綠球,紅球十顆綠球零顆,請證明抽中綠球的機率是零 如果ε>(L-M)/2就會使L與M區間有交集,如下圖 http://i.imgur.com/nFD4Luc.jpg
這樣在0<|Xo-c|<min(δ1,δ2)裡的X,就可能可以使f(x)落在圖裡Y軸的交集裡 於是滿足|f(x)-L|<ε與|f(x)-M|<ε,兩個極限均存在,我知道不可能是這結論 我是想問為何不能假設ε>(L-M)/2 謝謝各位先進的熱心 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.239.212.105 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1495231801.A.2E3.html

05/20 07:16, , 1F
極限的定義是要對任意的ε都存在對應的區間。只要能
05/20 07:16, 1F

05/20 07:16, , 2F
找到一組ε導致矛盾,就表示原本假設極限趨近兩個數
05/20 07:16, 2F

05/20 07:16, , 3F
是錯誤的。
05/20 07:16, 3F

05/20 07:21, , 4F
你可以想想,證明極限的值是多少時,我們是「對所有
05/20 07:21, 4F

05/20 07:21, , 5F
的ε大於0」;但要證明極限不等於某個數,我們只要
05/20 07:21, 5F

05/20 07:21, , 6F
「找出一個ε」,並且發現對這個ε而言,任意的區間
05/20 07:21, 6F

05/20 07:21, , 7F
中都會有一個點送到ε的範圍以外。
05/20 07:21, 7F

05/20 07:21, , 8F
「對所有*皆成立」敘述的反面(補集)是「存在有*不
05/20 07:21, 8F

05/20 07:21, , 9F
成立」
05/20 07:21, 9F

05/20 11:53, , 10F
假設誰都可以 但是找到一組反例就做完了
05/20 11:53, 10F

05/20 11:53, , 11F
那當然是直攻一臉矛盾的那個啊
05/20 11:53, 11F

05/20 15:41, , 12F
一臉矛盾的那個XDD
05/20 15:41, 12F

05/20 15:43, , 13F
我覺得「極限有兩個」也是很有問題的假設啊……
05/20 15:43, 13F

05/20 15:45, , 14F
不是沒有大於(L-M)/2的ε,而是這麼普通的ε長得不
05/20 15:45, 14F

05/20 15:46, , 15F
夠矛盾,等他再小一點、成熟了就會長成一臉矛盾貌。
05/20 15:46, 15F

05/20 18:22, , 16F
實際上的假設只有一個, 就是「極限有兩個」.
05/20 18:22, 16F

05/20 18:23, , 17F
ε的假設是由極限的定義所賦予你的權利, 無法推翻.
05/20 18:23, 17F

05/21 01:15, , 18F
極限有兩個 還會以同一個點為圓心? 自相矛盾
05/21 01:15, 18F
文章代碼(AID): #1P7sqvBZ (Math)