[線代] Friedberg 定理證明

[temp327 (temp)]

在p.45 Sec1.6 Theorem 1.10 (Replacement Theorem)

和p.155 Sec3.2 Theorem 3.6

兩個證明中都用到了數學歸納法

但都只對m做 想請問為何不用管n呢?

或是想問 是否有對數學歸納法使用的詳細解釋

謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.164.254.3
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1473280841.A.389.html
→ owo0098     : 第一個理解成先給定n後對任意m作數歸，但不需對n做
→ owo0098     : 歸納，因為證n+1對時，沒有用到n對這件事。(上面是
→ owo0098     : 對任意m<=n)
→ owo0098     : 第二個也差不多，因為不會用到n的歸納假設
→ owo0098     : 但也是有同時對m,n作歸納法的，可以去翻歸納法縱橫
→ owo0098     : 談，夏興國，介紹的蠻好的，也有不錯的題目
謝謝回答
※ 編輯: temp327 (1.164.254.3), 09/08/2016 20:25:47
推 alfadick    : 其實他Replacement的證明個環節有錯, 你可以仔細想
→ alfadick    : 想不通私信我.