[代數] 請問乘法的交換律

看板Math作者 (no man's land)時間10年前 (2016/01/11 20:56), 10年前編輯推噓6(6029)
留言35則, 7人參與, 最新討論串1/1
請教一下,乘法有交換律,是可以證明的嗎? 還是跟歐幾里得幾何裡面的平行公設一樣,是無法證明的直觀? 在從公設出發的群論中,給複數兩個符號:「+」和「*」, 根據commutative ring的公設,可以推出: a*2 = a*(1+1) = a*1+a*1 = a+a 在「接受」了群論的公設後(當然也包括乘法的交換律), 可以得到小學老師告訴我們的結果:「a乘以2」就是「把兩個a加在一起」。 我的疑惑是,這樣公理化的方法,好像很不符合直覺齁? 為什麼不是先定義「+」,再由「+」去定義「*」, 然後證明「*」的各種性質(如交換律、分配律等等)? 而是先給你兩個看起來互不相干的符號,然後說「*」就是有分配律,有交換律啦。 如果一個小學或中學生來問說為什麼乘法有交換律,有分配律,要怎麼回答? 跟他說是證無可證的直觀,被列在公設裡面了? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 175.180.181.114 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1452517014.A.AD5.html ※ 編輯: tihsllub (175.180.181.114), 01/11/2016 20:59:36 ※ 編輯: tihsllub (175.180.181.114), 01/11/2016 21:02:10

01/11 21:46, , 1F
所以,你要從皮亞諾公設開始,然後有理數系、實數系
01/11 21:46, 1F

01/11 21:47, , 2F
複數系,自定義在其中何為加法、乘,再證明滿足各種
01/11 21:47, 2F

01/11 21:47, , 3F
運算性質
01/11 21:47, 3F

01/11 23:50, , 4F
推樓上 只是從小的學習從來沒提到
01/11 23:50, 4F

01/12 01:40, , 5F
你是不是誤會了些什麼 這兩個運算哪有什麼關係
01/12 01:40, 5F

01/12 05:57, , 6F
小學的乘法不是用加法定義的嗎!?
01/12 05:57, 6F

01/12 08:07, , 7F
小學的乘法用99乘法表定義的 (誤)
01/12 08:07, 7F

01/12 13:02, , 8F
就是想要請教一下APM大,在群論的公設中,這2個運算
01/12 13:02, 8F

01/12 13:02, , 9F
是沒有關係,但小學教我們的乘法,是從加法來的,到
01/12 13:02, 9F

01/12 13:02, , 10F
底哪個是因哪個是果?
01/12 13:02, 10F

01/12 14:14, , 11F
不算因果 群論環論是推廣
01/12 14:14, 11F

01/12 14:14, , 12F
而自然數的建構是自然數
01/12 14:14, 12F

01/12 14:14, , 13F
一個是自然數自身可以被證明的性質, 另一個是我們去
01/12 14:14, 13F

01/12 14:14, , 14F
討論所有有這類性質的物件
01/12 14:14, 14F

01/12 15:16, , 15F
感謝su大
01/12 15:16, 15F

01/12 15:28, , 16F
我的問題是,如果複數的加法跟乘法是被定義出來的運
01/12 15:28, 16F

01/12 15:28, , 17F
算,那他們數學上的定義是什麼?(撇除直觀)
01/12 15:28, 17F

01/12 15:31, , 18F
在嚴謹的數學中,乘法真的是由加法定義出來的嗎?乘
01/12 15:31, 18F

01/12 15:31, , 19F
法有交換律、分配律須要証明嗎?還是不証自明?(不
01/12 15:31, 19F

01/12 15:31, , 20F
再由群論環論來探討)
01/12 15:31, 20F

01/12 22:08, , 21F
交換律跟分配律要證, 乘法有用加法但不太算用加法定
01/12 22:08, 21F

01/12 22:11, , 22F
自然數乘法如: 0 ×m = 0; (1+ n) ×m = m + n ×m
01/12 22:11, 22F

01/12 22:11, , 23F
接著依序造出整數,有理數,實數,複數
01/12 22:11, 23F

01/12 22:17, , 24F
感謝su大。請問如果我要google相關的資料,
01/12 22:17, 24F

01/12 22:18, , 25F
要用哪些關鍵字呢?英文也可以。
01/12 22:18, 25F

01/12 22:20, , 26F
用multiplication、product、definition、
01/12 22:20, 26F

01/12 22:22, , 27F
等等只會找到一大堆給小學生看的四則運算。
01/12 22:22, 27F

01/12 22:22, , 28F
我會搜尋 "construction of number systems",
01/12 22:22, 28F

01/12 22:22, , 29F
construction of xxxxxxxxx numbers 等關鍵字
01/12 22:22, 29F

01/12 22:24, , 30F
至於實數至少有 Cauchy seq, Dedekind cut 等方法
01/12 22:24, 30F

01/12 22:24, , 31F
自然數的皮亞諾公設英文是 Peano axioms
01/12 22:24, 31F

01/12 22:55, , 32F
非常感謝
01/12 22:55, 32F

01/13 08:21, , 33F
乘法是用加法定義的沒錯 mx0=0, mx(n+1)=mxn+m
01/13 08:21, 33F

01/13 08:21, , 34F
乘法就是用加法遞迴
01/13 08:21, 34F

01/13 12:47, , 35F
恩 這樣說對
01/13 12:47, 35F
文章代碼(AID): #1MawQMhL (Math)