※ 引述《aquaisaqua (aqua)》之銘言：
: P.39 Thm2.15
: Let k(1) be the smallest positive integer m such taht s_m εA
: Assuming that k(1),k(2),...k(n-1) have been defined, let k(n) be
: the smallest positive integer m > k(n-1) such that s_m εA.
: 不了解為什麼重複定義 m?????
k(1), ..., k(n-1), k(n) 才是真正定義出來的東西
s_m 只是拿來標明 S 集裡頭的元素.
建議取兩個例子
(1) S = { 1, 2, 3, ..., n, n+1, ... }, s_m = m.
A = 正質數 = { 2, 3, 5, 7, ... }
(2) S = 有理數
A = 分母為10的有理數
來對照證明, 也就是以例子來 driven...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.122.18.169