浅谈多元多次方程组.docVIP

淺談多元多次方程組 李源順 一、前言 在中學時期，求方程式是代數學上面的重要課題。在一元方程式方面，我們在中學以前就學會了利用公式求一元一次、二次方程式的解，也知道它們的圖形是直線或抛物線。圖形是曲線的一元三次以上的方程式方面，說不定有些同學也知道一元三次方程式也有公式解；一元四次以上的方程式，可以因式分解的，我們可以把它因式分解以後，再求出它的解；不能因式分解的，雖然沒有學到公式解，，，，Mathematica以及Maple求多元多次方程組的解。 二、理想(ideal) 由於方程式和多項式關係非常密切(將多項式加上“=0”即變成方程式)。所以，，，(order)，: 定義: 設= ， = ，，i=1,2,..,n xx...x，xx...xx1 我們稱， Lexicographic order(簡稱lex order) 例如，xx， : 設=， ||= =， ||=， ，i=1,2,..,n ||||，||＝||，xx...x） 我們就稱 ，Graded lex order(簡稱grlex order) 此時，xx， 不管是用那一種次序，g的項中次序最高的為領導項(leading term)，LT(g)，(leading cofficient)，LC(g),而LM(g)=LT(g)/LC(g)為領導項中不含係數的變數。 我們都知道，(多元多次)方程式，，，，F=0的解與 3F:3x+3y+3=0的解相同，， 理想(ideal)的觀念卻非常有幫助。 定義: 設k 是一個體(field)(可以想成k是一個複數C),k[x,x,..,x]為係數屬於k的n元(x,x,..,x)多次多項式所成的集合， k[x,x,..,x]={| a,{0}，i=1,2,..,l，j=1,2,..,n} Ik[x,x,..,x]。 若I滿足下列條件，I是一個理想(ideal) (1) 0I (2)若f,gI，f+gI (3)若fI，hk[x,x,..,x]，hfI 定義: 設 f(x,x,..,x)=0 f(x,x,..,x)=0 .... f(x,x,..,x)=0 為一多元多次方程式組。 下面以 f=0,f=0,...,f=0表示此方程組。 此時f,f,...,f則變成是一組多元多次多項式。 我們以f,f,...,f表示f,f,...,f所生成(generate)的理想， f,f,...,f={hf+hf+...+hf | h,h,...,hk[x,x,..,x]}，V(f,f,...,f)表示這個理想的解，V(f,f,...,f)={(a,a,...,a)k[x,x,..,x] | f( a,a,...,a)=0，1im} 此時，因為h,h,...,h有無限多個可能性，所以理想f,f,...,f內會有無限個多項式。由於 f,f,...,f是由f,f,...,f所衍生成的，，V(f,f,...,f)f=0,f=0,...,f=0的解。 這個意思好像是說， h(x+y+1)+k(x-y-1)=0 ，h,kR(它的幾何意義是：所有過二直線交點的直線) 的解， x+y+1=0 x-y-1=0 的解相同。 三、Groebner 基底 雖然類似上述的理想都會有無限多個多項式，(這是所謂Hibert basis 定理 -- 直觀的說，它就是由f,f,...,f所生成)。 既然，，“好”的多項式來表示這一個理想，， x+y+1=0 ....(1) x-y-1=0 ....(2) 我們可以把(1)式和(2)式相加得 2x=0 此時原方程組的解和 x+y+1=0 2x=0 的解相同，x和y。 在討論上述問題時，，(可能無限多個)單項式所生成的理想， I= 其中{0}，i=1,2,..,n，A是一個(有限或無限)集合 我們可以證明出來(證明省略)，一個由單項式生成的理想總是由有限個單項式所生成。 藉由單項式的觀念，f都有一個領導項LT(f)，Groebner 基底。 定義： 設I是一個理想，g,g,...,g， LT(g),LT(g),...,LT(g)=LT(I) 則這組多項式 { g,