做网站的图片需要多少钱,扬州市建设局网站 竣工备案,女性门户网站织梦模板,迎泽网站建设下面这个定理来自《计算机代数》6.1三角列与特征列#xff08;王东明、夏壁灿著#xff09;
【定理】 设 C [ C 1 , … , C r ] \mathbb{C }\left\lbrack C_{1},\ldots,C_{r} \right\rbrack C[C1,…,Cr]为多项式组 P ⊂ K [ x ] \mathbb{P \subset}\mathcal{K\lbrack}\…下面这个定理来自《计算机代数》6.1三角列与特征列王东明、夏壁灿著
【定理】 设 C [ C 1 , … , C r ] \mathbb{C }\left\lbrack C_{1},\ldots,C_{r} \right\rbrack C[C1,…,Cr]为多项式组 P ⊂ K [ x ] \mathbb{P \subset}\mathcal{K\lbrack}\mathbf{x}\rbrack P⊂K[x]的特征列且命 I i i n i ( C i ) P i P ∪ { I i } i 1 , … , r I_{i} ini\left( C_{i} \right)\ \ \ \ \ \ \mathbb{P}_{i}\mathbb{ P \cup}\left\{ I_{i} \right\}\ \ \ \ \ i 1,\ldots,r Iiini(Ci) PiP∪{Ii} i1,…,r I i n i ( C ) { I 1 , … , I r } \mathbb{I }ini\left( \mathbb{C} \right) \left\{ I_{1},\ldots,I_{r} \right\} Iini(C){I1,…,Ir} 则 Z e r o ( C \ I ) ⊂ Z e r o ( P ) ⊂ Z e r o ( C ) Zero\left( \mathbb{C\backslash I} \right) \subset Zero\left( \mathbb{P} \right) \subset Zero\left( \mathbb{C} \right) Zero(C\I)⊂Zero(P)⊂Zero(C) Z e r o ( P ) Z e r o ( C \ I ) ∪ ⋃ i 1 r Z e r o ( P i ) Zero\left( \mathbb{P} \right) Zero\left( \mathbb{C\backslash I} \right) \cup \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} Zero(P)Zero(C\I)∪i1⋃rZero(Pi) 在 K \mathcal{K} K以及 K \mathcal{K} K的任意扩域中成立 【证明】 Z e r o ( C \ I ) ⊂ Z e r o ( P ) Zero\left( \mathbb{C\backslash I} \right) \subset Zero\left( \mathbb{P} \right) Zero(C\I)⊂Zero(P) 由于 C [ C 1 , … , C r ] \mathbb{C }\left\lbrack C_{1},\ldots,C_{r} \right\rbrack C[C1,…,Cr]为多项式组 P ⊂ K [ x ] \mathbb{P \subset}\mathcal{K\lbrack}\mathbf{x}\rbrack P⊂K[x]的特征列所以 p r e m ( P , C ) { 0 } prem\left( \mathbb{P,C} \right) \left\{ 0 \right\} prem(P,C){0}也就是说对于任意 P ∈ P P \in \mathbb{P} P∈P都有 I 1 q 1 … I r q r P ∑ i 1 r C i I_{1}^{q_{1}}\ldots I_{r}^{q_{r}}P \sum_{i 1}^{r}C_{i} I1q1…IrqrPi1∑rCi 而对于任意的 x ∈ Z e r o ( C \ I ) x \in Zero\left( \mathbb{C\backslash I} \right) x∈Zero(C\I)都有 x ∉ Z e r o ( I 1 q 1 … I r q r ) x \notin Zero\left( I_{1}^{q_{1}}\ldots I_{r}^{q_{r}} \right) x∈/Zero(I1q1…Irqr)且 x ∈ Z e r o ( C i ) x \in Zero\left( C_{i} \right) x∈Zero(Ci)那么 P 0 P 0 P0可得 x ∈ Z e r o ( P ) x \in Zero\left( \mathbb{P} \right) x∈Zero(P)即 Z e r o ( C \ I ) ⊂ Z e r o ( P ) Zero\left( \mathbb{C\backslash I} \right) \subset Zero\left( \mathbb{P} \right) Zero(C\I)⊂Zero(P)。 Z e r o ( P ) ⊂ Z e r o ( C ) Zero\left( \mathbb{P} \right) \subset Zero\left( \mathbb{C} \right) Zero(P)⊂Zero(C) 根据特征列的定义有 C ⊂ ⟨ P ⟩ \mathbb{C \subset}\left\langle \mathbb{P} \right\rangle C⊂⟨P⟩也就是 C i ∑ P ∈ P k P P C_{i} \sum_{P \in \mathbb{P}}^{}{k_{P}P} CiP∈P∑kPP 所以当多项式 P P P的值为 0 0 0时 C i C_{i} Ci必为 0 0 0即 Z e r o ( P ) ⊂ Z e r o ( C ) Zero\left( \mathbb{P} \right) \subset Zero\left( \mathbb{C} \right) Zero(P)⊂Zero(C)。 Z e r o ( P ) ⊂ Z e r o ( C \ I ) ∪ ⋃ i 1 r Z e r o ( P i ) Zero\left( \mathbb{P} \right) \subset Zero\left( \mathbb{C\backslash I} \right) \cup \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} Zero(P)⊂Zero(C\I)∪⋃i1rZero(Pi) 设 x ∈ Z e r o ( P ) x \in Zero\left( \mathbb{P} \right) x∈Zero(P)根据2那么有 x ∈ Z e r o ( C ) x \in Zero\left( \mathbb{C} \right) x∈Zero(C)。 若 x ∈ Z e r o ( I ) x \in Zero\left( \mathbb{I} \right) x∈Zero(I)则 x ∈ ⋃ i 1 r Z e r o ( I i ) x \in \bigcup_{i 1}^{r}{Zero\left( I_{i} \right)} x∈⋃i1rZero(Ii)又因为 x ∈ Z e r o ( P ) x \in Zero\left( \mathbb{P} \right) x∈Zero(P)所以 x ∈ ⋃ i 1 r Z e r o ( P i ) x \in \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} x∈⋃i1rZero(Pi) 若 x ∉ Z e r o ( I ) x \notin Zero\left( \mathbb{I} \right) x∈/Zero(I)结合 x ∈ Z e r o ( C ) x \in Zero\left( \mathbb{C} \right) x∈Zero(C)可得 x ∈ Z e r o ( C \ I ) x \in Zero\left( \mathbb{C\backslash I} \right) x∈Zero(C\I)。 结合上述两种情况的讨论可得 Z e r o ( P ) ⊂ Z e r o ( C \ I ) ∪ ⋃ i 1 r Z e r o ( P i ) Zero\left( \mathbb{P} \right) \subset Zero\left( \mathbb{C\backslash I} \right) \cup \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} Zero(P)⊂Zero(C\I)∪⋃i1rZero(Pi)。 Z e r o ( P ) ⊃ Z e r o ( C \ I ) ∪ ⋃ i 1 r Z e r o ( P i ) Zero\left( \mathbb{P} \right) \supset Zero\left( \mathbb{C\backslash I} \right) \cup \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} Zero(P)⊃Zero(C\I)∪⋃i1rZero(Pi) 根据1 Z e r o ( C \ I ) ⊂ Z e r o ( P ) Zero\left( \mathbb{C\backslash I} \right) \subset Zero\left( \mathbb{P} \right) Zero(C\I)⊂Zero(P) 因为 Z e r o ( P i ) ⊂ Z e r o ( P ) Zero\left( \mathbb{P}_{i} \right) \subset Zero\left( \mathbb{P} \right) Zero(Pi)⊂Zero(P)所以 ⋃ i 1 r Z e r o ( P i ) ⊂ Z e r o ( P ) \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} \subset Zero\left( \mathbb{P} \right) ⋃i1rZero(Pi)⊂Zero(P)。 综合可得 Z e r o ( C \ I ) ∪ ⋃ i 1 r Z e r o ( P i ) ⊂ Z e r o ( P ) Zero\left( \mathbb{C\backslash I} \right) \cup \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} \subset Zero\left( \mathbb{P} \right) Zero(C\I)∪⋃i1rZero(Pi)⊂Zero(P) 综合1、2可得 Z e r o ( C \ I ) ⊂ Z e r o ( P ) ⊂ Z e r o ( C ) Zero\left( \mathbb{C\backslash I} \right) \subset Zero\left( \mathbb{P} \right) \subset Zero\left( \mathbb{C} \right) Zero(C\I)⊂Zero(P)⊂Zero(C)
综合3、4可得 Z e r o ( P ) Z e r o ( C \ I ) ∪ ⋃ i 1 r Z e r o ( P i ) Zero\left( \mathbb{P} \right) Zero\left( \mathbb{C\backslash I} \right) \cup \bigcup_{i 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} Zero(P)Zero(C\I)∪i1⋃rZero(Pi) 文章转载自： http://www.morning.sskhm.cn.gov.cn.sskhm.cn http://www.morning.kxqwg.cn.gov.cn.kxqwg.cn http://www.morning.mdmc.cn.gov.cn.mdmc.cn http://www.morning.qbnfc.cn.gov.cn.qbnfc.cn http://www.morning.rftk.cn.gov.cn.rftk.cn http://www.morning.wmmqf.cn.gov.cn.wmmqf.cn http://www.morning.bbgr.cn.gov.cn.bbgr.cn http://www.morning.ymfzd.cn.gov.cn.ymfzd.cn http://www.morning.snjpj.cn.gov.cn.snjpj.cn http://www.morning.gfhng.cn.gov.cn.gfhng.cn http://www.morning.xtlty.cn.gov.cn.xtlty.cn http://www.morning.ztjhz.cn.gov.cn.ztjhz.cn http://www.morning.plfy.cn.gov.cn.plfy.cn http://www.morning.rjbb.cn.gov.cn.rjbb.cn http://www.morning.qjxkx.cn.gov.cn.qjxkx.cn http://www.morning.myxps.cn.gov.cn.myxps.cn http://www.morning.dhqyh.cn.gov.cn.dhqyh.cn http://www.morning.kfclh.cn.gov.cn.kfclh.cn http://www.morning.gfrtg.com.gov.cn.gfrtg.com http://www.morning.knpbr.cn.gov.cn.knpbr.cn http://www.morning.hmwjk.cn.gov.cn.hmwjk.cn http://www.morning.tlfzp.cn.gov.cn.tlfzp.cn http://www.morning.ccjhr.cn.gov.cn.ccjhr.cn http://www.morning.txzmy.cn.gov.cn.txzmy.cn http://www.morning.mqgqf.cn.gov.cn.mqgqf.cn http://www.morning.rongxiaoman.com.gov.cn.rongxiaoman.com http://www.morning.bpmnq.cn.gov.cn.bpmnq.cn http://www.morning.nzsx.cn.gov.cn.nzsx.cn http://www.morning.yjmlg.cn.gov.cn.yjmlg.cn http://www.morning.bpmtr.cn.gov.cn.bpmtr.cn http://www.morning.pmlgr.cn.gov.cn.pmlgr.cn http://www.morning.zrgx.cn.gov.cn.zrgx.cn http://www.morning.hmsong.com.gov.cn.hmsong.com http://www.morning.pgmbl.cn.gov.cn.pgmbl.cn http://www.morning.mxftp.com.gov.cn.mxftp.com http://www.morning.wlggr.cn.gov.cn.wlggr.cn http://www.morning.kyzxh.cn.gov.cn.kyzxh.cn http://www.morning.elmtw.cn.gov.cn.elmtw.cn http://www.morning.ltrz.cn.gov.cn.ltrz.cn http://www.morning.xxiobql.cn.gov.cn.xxiobql.cn http://www.morning.mwrxz.cn.gov.cn.mwrxz.cn http://www.morning.pctql.cn.gov.cn.pctql.cn http://www.morning.gqtzb.cn.gov.cn.gqtzb.cn http://www.morning.dwztj.cn.gov.cn.dwztj.cn http://www.morning.qyqmj.cn.gov.cn.qyqmj.cn http://www.morning.kljhr.cn.gov.cn.kljhr.cn http://www.morning.rhgtc.cn.gov.cn.rhgtc.cn http://www.morning.tnfyj.cn.gov.cn.tnfyj.cn http://www.morning.xjtnp.cn.gov.cn.xjtnp.cn http://www.morning.fkfyn.cn.gov.cn.fkfyn.cn http://www.morning.fnpyk.cn.gov.cn.fnpyk.cn http://www.morning.jcwrb.cn.gov.cn.jcwrb.cn http://www.morning.ykgkh.cn.gov.cn.ykgkh.cn http://www.morning.bypfj.cn.gov.cn.bypfj.cn http://www.morning.bzlfw.cn.gov.cn.bzlfw.cn http://www.morning.smszt.com.gov.cn.smszt.com http://www.morning.nynyj.cn.gov.cn.nynyj.cn http://www.morning.eviap.com.gov.cn.eviap.com http://www.morning.ghxtk.cn.gov.cn.ghxtk.cn http://www.morning.mcjxq.cn.gov.cn.mcjxq.cn http://www.morning.hnhkz.cn.gov.cn.hnhkz.cn http://www.morning.fwdln.cn.gov.cn.fwdln.cn http://www.morning.hlrtzcj.cn.gov.cn.hlrtzcj.cn http://www.morning.tzpqc.cn.gov.cn.tzpqc.cn http://www.morning.ytrbq.cn.gov.cn.ytrbq.cn http://www.morning.mrpqg.cn.gov.cn.mrpqg.cn http://www.morning.mnmrx.cn.gov.cn.mnmrx.cn http://www.morning.tklqs.cn.gov.cn.tklqs.cn http://www.morning.dplmq.cn.gov.cn.dplmq.cn http://www.morning.mwcqz.cn.gov.cn.mwcqz.cn http://www.morning.gccdr.cn.gov.cn.gccdr.cn http://www.morning.gagapp.cn.gov.cn.gagapp.cn http://www.morning.mtyhk.cn.gov.cn.mtyhk.cn http://www.morning.kjyqr.cn.gov.cn.kjyqr.cn http://www.morning.zczkm.cn.gov.cn.zczkm.cn http://www.morning.ggnkt.cn.gov.cn.ggnkt.cn http://www.morning.wcqxj.cn.gov.cn.wcqxj.cn http://www.morning.wfwqr.cn.gov.cn.wfwqr.cn http://www.morning.dtzxf.cn.gov.cn.dtzxf.cn http://www.morning.dbrnl.cn.gov.cn.dbrnl.cn
