Re: [其他] ÷, /,分式的差異
要打的太多只好回文了
: → simonjen :我無聊去翻了一下線性代數(F的) 發現到polynomial是 04/17 20:41
: → simonjen :有定義對應關係的 04/17 20:41
: → simonjen :也就是說 polynomial就是一個函數形式 04/17 20:42
: → simonjen :若是這樣怎麼不當成一個函數來看??!! 04/17 20:43
我也去翻了一下
在第十頁寫到,常將多項式視為函數看待
所以其實可以不必把它們當函數看待
但是仍然可以定義所謂的 evaluation homomorphism on A[x]
前提是 A 是一個交換環
而且這個 homo. 仍然可以規定使得 (x^2-1)/(x-1) 在 1 「取值」是 2
注意不一定要真的有代值,而是硬性規定一個 evaluation homomorphism
或者說成在 A(x) 的一個 equivalence class 中隨便挑一個能代值的來代
例如說 (x^3+x^2)/x^2
(不過這邊的前提就是 A 是一個 field,
如果 A 只是 integral domain 的話,要用 Quot(A[x]) 取代 A(x))
: → Vulpix :那是當成一個函數來看待的時候,但也可以不要這樣看 04/17 20:49
: → simonjen :那是不是應該用個別的東西來替代不這麼看的名稱 04/17 21:06
: → simonjen :不然大家說的多項式都是自己的看法 那定義合用?! 04/17 21:06
實際的情況是:多項式是寫下來的那一串「形式」
反而將多項式視為函數而稱之為多項式函數
這個才是與定義無關的部份
(當然我也知道多項式被定義出來就是想要拿來當函數用
但是這個初衷有的時候是個包袱而須要調整)
所以如果真的要用個別的東西來替代不這麼看的名稱
應該退讓的是函數的觀點
但這個觀點實在太常用所以大家不忍心用另一個名詞來區隔
或者說,反正區隔了也還是會有人這樣使用
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.248.6.243
※ 編輯: Vulpix 來自: 111.248.6.243 (04/17 22:47)
→
04/17 23:21, , 1F
04/17 23:21, 1F
→
04/17 23:22, , 2F
04/17 23:22, 2F
我看的是 Friedberg/Insel/Spence 的 L.A. 國際版 4ed
這本的第9頁並沒有提到多項式是函數
如果把 g(x) = x, x^2, x^3, ... 都看成 Z/2Z 的函數
那他們都是這個函數:g(0)=0, g(1)=1
以上不同的多項式,卻是同一個函數
所以用函數的方式定義多項式顯然有問題
→
04/17 23:25, , 3F
04/17 23:25, 3F
→
04/17 23:25, , 4F
04/17 23:25, 4F
→
04/17 23:27, , 5F
04/17 23:27, 5F
→
04/17 23:28, , 6F
04/17 23:28, 6F
→
04/17 23:28, , 7F
04/17 23:28, 7F
請允許我修正說法:並不是沒有用另一個名詞來區隔,而是有這麼做
例如我的文章中出現多次的「多項式函數」
其實我原本的想法很簡單……
|R[x] → |R(x) 這個 canonical embedding 的 image 就是多項式環
其中所有的元素都稱為多項式
※ 編輯: Vulpix 來自: 111.248.6.243 (04/18 00:12)
→
04/18 00:17, , 8F
04/18 00:17, 8F
推
04/18 00:23, , 9F
04/18 00:23, 9F
→
04/18 00:28, , 10F
04/18 00:28, 10F
推
04/18 00:33, , 11F
04/18 00:33, 11F
→
04/18 00:33, , 12F
04/18 00:33, 12F
→
04/18 00:34, , 13F
04/18 00:34, 13F
→
04/18 00:34, , 14F
04/18 00:34, 14F
→
04/18 00:40, , 15F
04/18 00:40, 15F
→
04/18 00:44, , 16F
04/18 00:44, 16F
→
04/18 00:45, , 17F
04/18 00:45, 17F
→
04/18 00:46, , 18F
04/18 00:46, 18F
→
04/18 00:53, , 19F
04/18 00:53, 19F
→
04/18 00:54, , 20F
04/18 00:54, 20F
→
04/18 00:55, , 21F
04/18 00:55, 21F
→
04/18 01:03, , 22F
04/18 01:03, 22F
→
04/18 01:03, , 23F
04/18 01:03, 23F
→
04/18 01:05, , 24F
04/18 01:05, 24F
→
04/18 01:06, , 25F
04/18 01:06, 25F
→
04/18 01:07, , 26F
04/18 01:07, 26F
→
04/18 01:45, , 27F
04/18 01:45, 27F
→
04/18 01:47, , 28F
04/18 01:47, 28F
→
04/18 01:47, , 29F
04/18 01:47, 29F
→
04/18 01:48, , 30F
04/18 01:48, 30F
→
04/18 01:49, , 31F
04/18 01:49, 31F
→
04/18 01:51, , 32F
04/18 01:51, 32F
→
04/18 01:51, , 33F
04/18 01:51, 33F
→
04/18 01:53, , 34F
04/18 01:53, 34F
→
04/18 01:58, , 35F
04/18 01:58, 35F
→
04/18 02:02, , 36F
04/18 02:02, 36F
→
04/18 10:44, , 37F
04/18 10:44, 37F
→
04/18 10:45, , 38F
04/18 10:45, 38F
→
04/18 10:46, , 39F
04/18 10:46, 39F
→
04/18 10:46, , 40F
04/18 10:46, 40F
→
04/18 10:47, , 41F
04/18 10:47, 41F
→
04/18 10:48, , 42F
04/18 10:48, 42F
→
04/18 10:58, , 43F
04/18 10:58, 43F
討論串 (同標題文章)
本文引述了以下文章的的內容:
完整討論串 (本文為第 6 之 6 篇):