[其他] TC題 (28) 數列
==========================================================
事實上，之前我花了一段時間，研究題目中的集合
就是指 G = <2, 3> 這種用 2 和 3 生成的正整數子集合
實際上我是這樣定義的：
G = <p1, p2, ...> Free comm. monoid
equipped with a function s: G -> G with the following properties:
(S1) For g1, g2 in G, if g1 | g2, then g1 <= g2
(S2) For g1, g2, g in G, if g1 < g2, then g g1 < g g2
g1 | g2 if there is some g such that g2 = g g1
g1 < g2 if s^n(g1) = g2 for some n in N
Ex: G = N, pn = nth prime, take s(n) = n+1
Ex: G = <2, 3>, then G = {1, 2, 3, 4, 6, 8, 9, ...} = {an}
take s(an) = a(n+1)
最後發現，這種 G 幾乎可以用實數的 p1, p2, ... 模擬
導致沒什麼需要抽象化qw q
想問如果想要讀相關方面的課本的話
應該要往哪個方向去找呢qw q
在網路上打關鍵字只會找到一堆 fuzzy theory 的東東
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.218.9.12 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1591101028.A.039.html