主題
Search

多項式對映


由一個或多個多項式定義的對映。給定一個 K,一個多項式對映是一個對映 f:K^n->K^m 使得對於所有點 (x_1,...,x_n) in K^n

 f(x_1,...,x_n)=(g_1(x_1,...,x_n),...,g_m(x_1,...,x_n)),

對於合適的多項式 g_1,...,g_m in K[X_1,...,X_n]零集 f 是聯立方程組 g_1=...=g_m=0 的所有解的集合,並且是 K^n 中的一個代數簇。

多項式對映的一個例子是第 i 個座標對映 delta_i:K^n->K,由 delta_i(x_1,...,x_n)=x_i 對於所有 i=1,...,n 定義。在集合論的語言中,它是笛卡爾積 K^n 到第 i 個因子的投影。

多項式對映可以定義在 S 的任何非空子集 K^n 上。如果 S 是一個仿射簇,那麼從 SK 的所有多項式對映的集合是 座標環 K[S] of S。如果 TK^m 的一個仿射簇,那麼每個多項式對映 f:S->T 都會誘導一個環同態 F:K[T]->K[S],定義為 F(phi)=phi degreesf。相反,每個環同態 G:K[T]->K[S] 確定一個多項式對映 g:S->T,其中 g=(G(delta_1),...,G(delta_m))

一個多項式對映 f:R->R 是一個實值多項式函式。它的影像是具有笛卡爾方程 y=f(x) 的平面代數曲線。


另請參閱

雅可比矩陣, 可逆多項式對映, 雅可比猜想, 對映, 多項式

此條目由 Margherita Barile 貢獻

使用 探索

參考文獻

Becker, T. 和 Weispfenning, V. Gröbner Bases: A Computational Approach to Commutative Algebra. 紐約:Springer-Verlag,p. 330, 1993.

在 中被引用

多項式對映

請引用為

Barile, Margherita. "Polynomial Map." 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/PolynomialMap.html

學科分類