數學著名定理/π是超越數/單項式排序

定義 1

令$(A_{1},\ldots ,A_{n})$為一個N元組。讓我們定義

${\vec {A}}{}^{n}=(A_{1},\ldots ,A_{n})$

對於函式 ${\vec {F}}{}^{m},{\vec {G}}{}^{n}$讓我們定義

${\vec {F}}{}^{m}({\vec {G}}{}^{n})={\bigl (}F_{1}(G_{1},\ldots ,G_{n}),\ldots ,F_{m}(G_{1},\ldots ,G_{n}){\bigr )}$

這種簡化符號將在接下來的頁面和證明中對我們非常有用。

定義 2

令$\mathbb {F}$為一個域。那麼$\mathbb {F} [{\vec {X}}{}^{n}]$是變數$X_{1},\ldots ,X_{n}$的係數在$\mathbb {F}$中的多項式空間。

單項式 是一種形如 $c\,X_{1}^{a_{1}}\!\cdots X_{n}^{a_{n}}$ 的多項式，其中 $c\in \mathbb {F}$ 且 $a_{1},\ldots ,a_{n}\in \mathbb {N}$。

定義 3

令 $X=X_{1}\cdots X_{n}$，並令 $a=(a_{1},\ldots ,a_{n})\in \mathbb {N} ^{n}$ 為一個指數向量。讓我們定義

• $X^{a}=X_{1}^{a_{1}}\!\cdots X_{n}^{a_{n}}$
• $\deg(X^{a})=a_{1}\!+\cdots +a_{n}$
• 非零多項式的次數等於其組成單項式次數中的最大值。

屬性

單項式乘法保持指數向量加法

${\begin{aligned}X^{a}\!\cdot X^{b}&=(X_{1}^{a_{1}}\!\cdots X_{n}^{a_{n}})\cdot (X_{1}^{b_{1}}\!\cdots X_{n}^{b_{n}})\\[5pt]&=(X_{1}^{a_{1}}\!\cdot X_{1}^{b_{1}})\cdots (X_{n}^{a_{n}}\!\cdot X_{n}^{b_{n}})\\[5pt]&=X_{1}^{a_{1}+b_{1}}\!\cdots X_{n}^{a_{n}+b_{n}}\\[5pt]&=X^{a+b}\end{aligned}}$

定義 4

令 $X^{a},X^{b}$ 為單項式。

我們說 $X^{a}$ **比** $X^{b}$ **階數低**（並用 $X^{a}\!\prec X^{b}$ 表示），如果存在一個索引 $1\leq k\leq n$ 使得

${\begin{cases}a_{i}=b_{i}&:\!1\leq i\leq k-1\\[3pt]a_{i}<b_{i}&:i=k\end{cases}}$

換句話說，向量 $(a_{1},\ldots ,a_{n}),(b_{1},\ldots ,b_{n})$ 具有 字典序。

在多項式 $F$ 中，階數最高的單項式稱為 **首項式**，並用 ${\text{L}}(F)$ 表示。

示例

$x_{1}^{7}x_{2}^{3}x_{3}^{10}\!\prec x_{1}^{7}x_{2}^{31}x_{3}\iff (7,3,10)\prec (7,31,1)$

引理

令 $F,G\in \mathbb {F} [{\vec {X}}{}^{n}]$ 為多項式。 那麼 ${\text{L}}(F\cdot G)={\text{L}}(F)\cdot {\text{L}}(G)$.

證明

令 $X^{a},X^{b},X^{f},X^{g}$ 為單項式，其中 $X^{f}={\text{L}}(F),\,X^{g}={\text{L}}(G)$.

1. 假設 $X^{a}\!\prec X^{f}$。我們將證明對所有 $X^{c}$ 有 $X^{a+c}\!\prec X^{f+c}$ 成立。
根據定義，存在一個索引 $1\leq k\leq n$ 使得

${\begin{cases}a_{i}(+\,c_{i})=f_{i}(+\,c_{i})&:\!1\leq i\leq k-1\\[3pt]a_{i}(+\,c_{i})<f_{i}(+\,c_{i})&:i=k\end{cases}}$

2. 我們還假設 $X^{b}\!\prec X^{g}$。我們將證明 $X^{a+b}\!\prec X^{f+g}$ 成立。
根據定義，存在索引 $k_{1},k_{2}\in \{1,\ldots ,n\}$ 使得分別

${\begin{aligned}&{\begin{cases}a_{i}=f_{i}&:\!1\leq i\leq k_{1}-1\\[3pt]a_{i}<f_{i}&:i=k_{1}\end{cases}},\quad {\begin{cases}b_{i}=g_{i}&:\!1\leq i\leq k_{2}-1\\[3pt]b_{i}<g_{i}&:i=k_{2}\end{cases}}\\[8pt]&{\begin{cases}1\leq k_{1}\leq k_{2}\leq n\!:&(a_{k_{1}}\!<f_{k_{1}}\!)\land (b_{k_{1}}\!\leq g_{k_{1}}\!)\,\implies \,a_{k_{1}}\!+b_{k_{1}}\!<f_{k_{1}}\!+g_{k_{1}}\\[5pt]1\leq k_{2}<k_{1}\leq n\!:&(a_{k_{2}}\!=f_{k_{2}}\!)\land (b_{k_{2}}\!<g_{k_{2}}\!)\,\implies \,a_{k_{2}}\!+b_{k_{2}}\!<f_{k_{2}}\!+g_{k_{2}}\end{cases}}\!{\Bigg \}}\,\implies \,X^{a+b}\!\prec X^{f+g}\end{aligned}}$

因此

${\text{L}}(F\cdot G)=X^{f+g}=X^{f}\cdot X^{g}={\text{L}}(F)\cdot {\text{L}}(G)$

$\square$

定義 5

令 $F\in \mathbb {F} [{\vec {X}}{}^{n}]$ 為一個多項式。我們定義

${\text{D}}(F)={\Big \{}X^{a}\!\in \mathbb {F} [{\vec {X}}{}^{n}]:\deg(X^{a})\leq \deg({\text{L}}(F)),X^{a}\!\prec {\text{L}}(F){\Big \}}$

也就是說，所有度數小於等於 $\leq \deg({\text{L}}(F))$ 的 首一單項式 的集合，這些單項式都比 ${\text{L}}(F)$ 階數低。

示例

${\begin{aligned}&F(x_{1},x_{2})=4+3x_{1}+2x_{1}^{2}x_{2}+x_{2}^{4}\\[3pt]&{\text{L}}(F)=2x_{1}^{2}x_{2}\\[3pt]&{\text{D}}(F)={\Big \{}x_{1}x_{2}^{2},x_{1}^{2},x_{1}x_{2},x_{2}^{2},x_{1},x_{2},1{\Big \}}\end{aligned}}$

←簡介

單項式排序

對稱多項式→