Re: [其他] 二項式定理與多項式
※ 引述《yee381654729 (Yee)》之銘言:
: 在不定義0^0=1的前提下,
: n只能為正整數,
: 公式要如何寫才正確?
: 多項式:
: 對於項次為n+1項之多項式,
: c[0]+c[1]*x^1+c[2]*x^2+...+c[n]*x^n
: n為非負整數。
: 在定義0^0=1的前提下,
: 上式=Σc[k]*x^k{k=0到n}
: 在不定義0^0=1的前提下,
: 公式要如何寫才正確?
原本實在是不想回的....
我想你把Sigma的概念給想錯了,Σa_n只是一個記號而已,他不是公式。
Sigma的引進是為了"記和"。
在數學上,我們常需要計算一些數字的和,例如
a_1+a_2+...+a_n,
但是用"..."這樣的符號來表示是非常的語意不清。於是數學家就發明了
利用希臘字母來表示和,於是就引進了Sigma這樣的符號概念。然後大家
約定
Σ_{k=1}^{k=n}a_k =a_1+a_2+...+a_n (連加n項)
重點是在於後面的和,Sigma只是用來表示這樣的和而已。
而大家在討論多項式的時候為了不想要記a_0+\sum_{k=1}^{k=n}a_kx^k,
所以就約定x^0=1,然後多項式a_0+a_1x+...+a_nx^n就約定寫成
\sum_{k=0}^{k=n}a_kx^k=a_0+a_1x+...+a_nx^n
這是方便起見。而二項式定理的情況也是類似,例如
(x+y)^n =x^n+ {n\choose 1}x^(n-1)y+...+{n\choose n-1}xy^{n-1}+y^{n}
於是約定x^0=1, y^0=1,然後就可以把和"表示成"
\sum_{k=0}^{n} {n\choose k}x^(n-k)y^{k}
但實際上你要永遠清楚你在處理的問題是在求和,不是在sum =Sigma上。只是這樣的
符號實在是太好用了,好用到我們其實是可以直接用這符號來處理數學問題。
而多項式f(x)=\sum_k a_kx^k給了你,是告訴你f(x)=a_0+a_1x+...+a_nx^n。而帶值
的方式是
f(a)=a_0+a_1a+...+a_na^n。
這在我上面那一篇回應你的0^0=1的內容就提到了。"變數"跟"數"的概念是不一樣的。
數的概念可以推廣,這也是為甚麼後來需要發展代數理論的關係。這裡的數我們談實
數體的數或複數體的數。甚至是更一般的體(field)的數都可以用來研究多項式。事實
上多項式的系數並不需要要求在一般的體,你可以研究係數在一般的環的多項式。
"變數"的概念就不同了,在代數學中你可以抽象的引進形式上的符號(formal variable)
建構一套以這個變數為出發點的代數理論。
數學在過去一兩百年已經完整的建構了最基礎的分析,代數體系。這是經歷了數百位
著名的數學家的努力才足以完成。數學不只有算術,最重要的是他必須要建立一套嚴
謹的理論:在公設系統出發之下建立的任何命題,推論,定理都是不能產生自相矛盾的。
你當然可以更改公設系統發展出另外一套的數學理論。例如從歐幾里得幾何學到
非歐幾里得幾何學的發展就是這樣的一個過程。只是你建立的數學系統是否能用到數學
其他的領域才是最重要的。
如果你真的想繼續討論下去,你真的必須要用更多的理由來說服大家0^0=1是重要的。
上面的代數理論並不是為了逃避0^0=1才發展的。這是為了建構完整的多項式理論發展
的,(推廣多項式到更一般的環上)在推廣這樣的理論時根本就用不到0^0=1。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 195.37.209.182
※ 編輯: herstein 來自: 195.37.209.182 (12/02 20:49)
推
12/02 21:08, , 1F
12/02 21:08, 1F
→
12/02 21:15, , 2F
12/02 21:15, 2F
推
12/02 21:18, , 3F
12/02 21:18, 3F
→
12/02 21:18, , 4F
12/02 21:18, 4F
→
12/02 21:19, , 5F
12/02 21:19, 5F
→
12/02 21:20, , 6F
12/02 21:20, 6F
→
12/02 21:21, , 7F
12/02 21:21, 7F
→
12/02 21:21, , 8F
12/02 21:21, 8F
→
12/02 21:21, , 9F
12/02 21:21, 9F
→
12/02 21:22, , 10F
12/02 21:22, 10F
→
12/02 21:22, , 11F
12/02 21:22, 11F
→
12/02 21:22, , 12F
12/02 21:22, 12F
→
12/02 21:23, , 13F
12/02 21:23, 13F
→
12/02 21:24, , 14F
12/02 21:24, 14F
→
12/02 21:25, , 15F
12/02 21:25, 15F
推
12/02 21:25, , 16F
12/02 21:25, 16F
→
12/02 21:25, , 17F
12/02 21:25, 17F
→
12/02 21:26, , 18F
12/02 21:26, 18F
→
12/02 21:26, , 19F
12/02 21:26, 19F
→
12/02 21:27, , 20F
12/02 21:27, 20F
→
12/02 21:27, , 21F
12/02 21:27, 21F
推
12/02 22:21, , 22F
12/02 22:21, 22F
推
12/03 00:00, , 23F
12/03 00:00, 23F
推
12/03 04:05, , 24F
12/03 04:05, 24F
推
12/04 04:38, , 25F
12/04 04:38, 25F
→
12/04 19:29, , 26F
12/04 19:29, 26F
→
12/04 19:30, , 27F
12/04 19:30, 27F
其他人看得懂就可以了,你看不懂沒關係XD
→
12/04 19:30, , 28F
12/04 19:30, 28F
→
12/04 19:31, , 29F
12/04 19:31, 29F
你這一句話等於在批評那些代數學家不高明,不過我不是很在意就是了。
你的定義只能局限在某些問題,卻不能推廣到更一般不含1的環上,我的專業回答
就是告訴你這件事。如果你真的想討論,建議你去讀高等代數,再來討論。
不然你是無法跟數學專業的人溝通的。
→
12/04 19:31, , 30F
12/04 19:31, 30F
→
12/04 20:34, , 31F
12/04 20:34, 31F
哈哈......
※ 編輯: herstein 來自: 88.77.147.76 (12/04 20:44)
→
12/04 20:43, , 32F
12/04 20:43, 32F
如果你沒有辦法清楚定義x是甚麼*指的是甚麼,那麼你這麼寫是沒意義的。
集合的二元運算有很多種,假設a,b是實數,你可以定義a*b =a+b+1。
那麼0* b = b+1就不是你說的0了。
→
12/04 20:44, , 33F
12/04 20:44, 33F
→
12/04 20:44, , 34F
12/04 20:44, 34F
→
12/04 20:45, , 35F
12/04 20:45, 35F
還有 882 則推文
還有 26 段內文
→
12/14 10:37, , 918F
12/14 10:37, 918F
→
12/14 10:42, , 919F
12/14 10:42, 919F
→
12/14 10:43, , 920F
12/14 10:43, 920F
→
12/14 10:44, , 921F
12/14 10:44, 921F
→
12/14 10:44, , 922F
12/14 10:44, 922F
→
12/14 10:46, , 923F
12/14 10:46, 923F
→
12/14 10:47, , 924F
12/14 10:47, 924F
→
12/14 10:48, , 925F
12/14 10:48, 925F
→
12/14 10:49, , 926F
12/14 10:49, 926F
→
12/14 10:50, , 927F
12/14 10:50, 927F
→
12/14 10:51, , 928F
12/14 10:51, 928F
→
12/14 10:52, , 929F
12/14 10:52, 929F
→
12/14 10:53, , 930F
12/14 10:53, 930F
→
12/14 10:54, , 931F
12/14 10:54, 931F
→
12/14 10:59, , 932F
12/14 10:59, 932F
→
12/14 10:59, , 933F
12/14 10:59, 933F
→
12/14 11:00, , 934F
12/14 11:00, 934F
→
12/14 11:05, , 935F
12/14 11:05, 935F
→
12/14 11:05, , 936F
12/14 11:05, 936F
→
12/14 11:06, , 937F
12/14 11:06, 937F
→
12/14 11:08, , 938F
12/14 11:08, 938F
→
12/14 11:10, , 939F
12/14 11:10, 939F
→
12/14 11:11, , 940F
12/14 11:11, 940F
→
12/14 11:27, , 941F
12/14 11:27, 941F
→
12/14 11:27, , 942F
12/14 11:27, 942F
→
12/14 11:28, , 943F
12/14 11:28, 943F
→
12/14 11:30, , 944F
12/14 11:30, 944F
→
12/14 11:31, , 945F
12/14 11:31, 945F
→
12/14 11:33, , 946F
12/14 11:33, 946F
→
12/14 11:34, , 947F
12/14 11:34, 947F
→
12/14 13:03, , 948F
12/14 13:03, 948F
→
12/14 13:04, , 949F
12/14 13:04, 949F
→
12/14 14:36, , 950F
12/14 14:36, 950F
→
12/14 14:37, , 951F
12/14 14:37, 951F
推
12/14 18:43, , 952F
12/14 18:43, 952F
→
12/14 19:00, , 953F
12/14 19:00, 953F
→
12/14 19:01, , 954F
12/14 19:01, 954F
→
12/14 19:02, , 955F
12/14 19:02, 955F
推
12/21 22:34, , 956F
12/21 22:34, 956F
→
12/21 22:34, , 957F
12/21 22:34, 957F
討論串 (同標題文章)