[代數] 分配律怎麼證

看板Math作者 (悟道修行者)時間12年前 (2013/08/18 19:25), 編輯推噓4(4015)
留言19則, 7人參與, 6年前最新討論串1/2 (看更多)
請問實數的分配律 a(b+c) = ab + ac 要怎麼證? 這應該不是什麼定義或公設吧,應該是可以證明的。 我不會證,除非是舉各式各樣的例子說明,好比說:3 x (5 + 7) = 3 * 5 + 3 * 7 但這顯然在數學界裡不算是個證明。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.44.199.178

08/18 19:39, , 1F
端看你的角度. 對 ring 來說是公設.
08/18 19:39, 1F

08/18 19:40, , 2F
但是如果從 peano arithmetic (建構自然數)開始,
08/18 19:40, 2F

08/18 19:41, , 3F
對不起我沒看清楚問題...請忽略以上兩個推文 我重說
08/18 19:41, 3F

08/18 19:41, , 4F
我們一路構造 自然數=>整數=>有理數=>實數
08/18 19:41, 4F

08/18 19:42, , 5F
交換律及分配律就可以一路證上去
08/18 19:42, 5F

08/18 19:42, , 6F
最底層構造自然數可以採用 peano arithmetic
08/18 19:42, 6F

08/18 19:43, , 7F
然後加法 乘法交換律及分配律都是證出來的
08/18 19:43, 7F
真的嗎 可是 (-4)x(3+6) = (-4) x 3 + (-4) x 6 這種東西看起來, 應該、好像可以證得出來耶?當公設好像怪怪的

08/18 20:23, , 8F
國中的話是用長方形面積去說明..
08/18 20:23, 8F

08/18 23:41, , 9F
無法吧 不然就不會當成環的定義了.而會當性質
08/18 23:41, 9F
※ 編輯: alfadick 來自: 114.44.199.178 (08/18 23:52)

08/18 23:51, , 10F
我猜原PO問的是實數
08/18 23:51, 10F
是問實數沒錯 另外用長方形面積... 就證不到分配律 <=0 仍成立的情況了

08/18 23:51, , 11F
實數有分配律 所以是環(事實上還是體)
08/18 23:51, 11F
※ 編輯: alfadick 來自: 114.44.199.178 (08/18 23:53)

08/18 23:52, , 12F
>>(-4)x(3+6) = (-4) x 3 + (-4) x 6 是證出來的阿
08/18 23:52, 12F

08/18 23:53, , 13F
從自然數一路證上來的
08/18 23:53, 13F
不是啦 我說 FOR ALL X, Y, Z, X(Y+Z)=XY+XZ 好像可以證. 就好像: (-4)x(3+6) = (-4) x 3 + (-4) x 6 (CORRECT) (-5)x(3+6) = (-5) x 3 + (-5) x 6 (CORRECT) 只要驗算左=右就知道有分配律, 通例之證明看似有跡可循呢. 不過窮舉在數學裡也不算證明, 況且也無法窮舉 ※ 編輯: alfadick 來自: 114.44.199.178 (08/18 23:56)

08/19 09:07, , 14F
對環來說是定義 但是實數符合分配律還是要證 也就是
08/19 09:07, 14F

08/19 09:08, , 15F
"實數是環"這個命題是需要證明的
08/19 09:08, 15F

08/23 04:25, , 16F
這是我們計算經驗得到的結果照你所說結合律交換律
08/23 04:25, 16F

11/10 12:08, , 17F
我們一路構造 自然數= https://daxiv.com
11/10 12:08, 17F

01/02 15:30, 7年前 , 18F
這是我們計算經驗得到的 https://muxiv.com
01/02 15:30, 18F

07/07 11:21, 6年前 , 19F
>>(-4)x(3+6 http://yofuk.com
07/07 11:21, 19F
文章代碼(AID): #1I4Ayazk (Math)
討論串 (同標題文章)
文章代碼(AID): #1I4Ayazk (Math)