看板
[ Math ]
討論串[其他] 等號需要定義 & 集合需要等號 嗎?
共 7 篇文章
內容預覽:
補充一些想法。. 0. 先來一題暖身題吧. Q: 設a,b為整數，集合S={a,b}，則|S|為何？ (S的個數). (答案見文末). 1. 在現代的傳統(*好矛盾的修飾)數學，大部分的東西都在ZF集合論底下建構。. 譬如用空集合{}和後繼定義自然數，. 以tuple除掉適當的equiv. rela
(還有2086個字)
內容預覽:
不好意思原本想用推文的, 但是文字上很難描述我在推哪一段QQ. 以上了解!. 我原本先看推文還去google第九竿是什麼梗...原來在這XDDDDDDDDDDD. 好奇一下我不能直接定義 f_s(r) := a+br+cr^2, where s = (a,b,c,0,0,0,...)嗎@@?. 因為
(還有964個字)
內容預覽:
解決「矛盾」其實沒有必要這麼深入。. 我用 direct sum 講是因為你已經提到數列了，這是一樣的東西啦。. 除了 wiki 以外，你可以參照 Hungerford 的 Algebra p.149。. 多項式就是 (a,b,c,0,0,0,...) 這種數列，. 重點是頂多只有有限項非零（項的概
(還有1983個字)
內容預覽:
是的，集合論的公設主要描述 ∈ 這個 prediate 的性質跟操作。. 這個版本的敘述用到了 = 但如果邏輯系統沒有 = 就得重新用集合論的語言定義等式，. 跟修改該條公設的敘述。StackExchange 有人討論過：. https://math.stackexchange.com/questi
(還有1848個字)
內容預覽:
不過看了wiki的ZF陳述與Axiom of Extensionality, "具有一樣的元素"這回事. 其實是需要"屬於"的定義的. 只是如同回覆原文a2大一樣, 在我往上追"屬於"的定義時, 查到這個結論:. 集合公設裡面的"屬於"只是一個符號(雖然意義上代表元素裡面的成員). 而這個符號具有怎
(還有2087個字)