[代數] 請問乘法的交換律
請教一下,乘法有交換律,是可以證明的嗎?
還是跟歐幾里得幾何裡面的平行公設一樣,是無法證明的直觀?
在從公設出發的群論中,給複數兩個符號:「+」和「*」,
根據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
01/12 08:07, 7F
→
01/12 13:02, , 8F
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
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
01/12 22:11, 22F
→
01/12 22:11, , 23F
01/12 22:11, 23F
→
01/12 22:17, , 24F
01/12 22:17, 24F
→
01/12 22:18, , 25F
01/12 22:18, 25F
→
01/12 22:20, , 26F
01/12 22:20, 26F
→
01/12 22:22, , 27F
01/12 22:22, 27F
推
01/12 22:22, , 28F
01/12 22:22, 28F
→
01/12 22:22, , 29F
01/12 22:22, 29F
→
01/12 22:24, , 30F
01/12 22:24, 30F
→
01/12 22:24, , 31F
01/12 22:24, 31F
→
01/12 22:55, , 32F
01/12 22:55, 32F
推
01/13 08:21, , 33F
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