多元多项式的特征列与零点的关系定理

下面这个定理来自《计算机代数》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 PK[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 Ii=ini(Ci)      Pi=P{Ii}     i=1,,r

I = i n i ( C ) = { I 1 , … , I r } \mathbb{I =}ini\left( \mathbb{C} \right) = \left\{ I_{1},\ldots,I_{r} \right\} I=ini(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)i=1rZero(Pi)

K \mathcal{K} K以及 K \mathcal{K} K的任意扩域中成立

【证明】

  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)

由于 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 PK[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} PP,都有

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} I1q1IrqrP=i=1rCi

而对于任意的 x ∈ Z e r o ( C \ I ) x \in Zero\left( \mathbb{C\backslash I} \right) xZero(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(I1q1Irqr) x ∈ Z e r o ( C i ) x \in Zero\left( C_{i} \right) xZero(Ci),那么 P = 0 P = 0 P=0,可得 x ∈ Z e r o ( P ) x \in Zero\left( \mathbb{P} \right) xZero(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)

  1. 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 CP,也就是

C i = ∑ P ∈ P k P P C_{i} = \sum_{P \in \mathbb{P}}^{}{k_{P}P} Ci=PPkPP

所以,当多项式 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)

  1. 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)i=1rZero(Pi)

x ∈ Z e r o ( P ) x \in Zero\left( \mathbb{P} \right) xZero(P),根据2,那么有 x ∈ Z e r o ( C ) x \in Zero\left( \mathbb{C} \right) xZero(C)

x ∈ Z e r o ( I ) x \in Zero\left( \mathbb{I} \right) xZero(I),则 x ∈ ⋃ i = 1 r Z e r o ( I i ) x \in \bigcup_{i = 1}^{r}{Zero\left( I_{i} \right)} xi=1rZero(Ii),又因为 x ∈ Z e r o ( P ) x \in Zero\left( \mathbb{P} \right) xZero(P),所以 x ∈ ⋃ i = 1 r Z e r o ( P i ) x \in \bigcup_{i = 1}^{r}{Zero\left( \mathbb{P}_{i} \right)} xi=1rZero(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) xZero(C),可得 x ∈ Z e r o ( C \ I ) x \in Zero\left( \mathbb{C\backslash I} \right) xZero(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)i=1rZero(Pi)

  1. 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)i=1rZero(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) i=1rZero(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)i=1rZero(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)i=1rZero(Pi)

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/29006.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Java共享台球室无人系统支持微信小程序+微信公众号

共享台球室无人系统 🎱 创新台球体验 近年来,共享经济如火如荼,从共享单车到共享汽车,无一不改变着我们的生活方式。而如今,这一模式已经渗透到了更多领域,共享台球室便是其中之一。不同于传统的台球室&a…

java溯本求源之基础(二十四)之--常见List的实现共同点

兄弟们终于到了上代码讲代码的环节了,之前的一些代码都是小打小闹,现在才是重头戏,今天来简单说说一些集合,首先这些都是基于数组实现的,当然Collections.emptyList不算奥,别犟。剩下的不多墨迹直接上重点&…

从中概回购潮,看互联网的未来

王兴的饭否语录里有这样一句话:“对未来越有信心,对现在越有耐心。” 而如今的美团,已经不再掩饰对未来的坚定信心。6月11日,美团在港交所公告,计划回购不超过20亿美元的B类普通股股份。 而自从港股一季度财报季结束…

Hue Hadoop 图形化用户界面 BYD

软件简介 Hue 是运营和开发 Hadoop 应用的图形化用户界面。Hue 程序被整合到一个类似桌面的环境,以 web 程序的形式发布,对于单独的用户来说不需要额外的安装。

SBT30100VFCT-ASEMI大功率肖特基SBT30100VFCT

编辑:ll SBT30100VFCT-ASEMI大功率肖特基SBT30100VFCT 型号:SBT30100VFCT 品牌:ASEMI 封装:TO-220 最大平均正向电流(IF):30A 最大循环峰值反向电压(VRRM)&#xf…

python 打开exe

python 打开exe 在Python中,可以使用subprocess模块来打开一个exe文件。以下是两种不同的实现方法: 方法一: import subprocess 使用subprocess模块打开exe文件 subprocess.Popen(‘path_to_exe_file.exe’) 方法二: import …

Spring事务管理与Spring AOP详解

Spring事务管理与Spring AOP详解 一、引言 在企业级应用开发中,事务管理和面向切面编程(AOP)是两个至关重要的概念。Spring框架作为Java企业级应用的首选框架之一,为事务管理和AOP提供了强大的支持。本文将详细解析Spring的事务…

服务器----阿里云服务器重启或关机,远程连接进不去,个人博客无法打开

问题描述 在使用阿里云免费的新加坡服务器时,发现重启或者是关机在开服务器后,就会出现远程连接不上、个人博客访问不了等问题 解决方法 进入救援模式连接主机,用户名是root,密码是自己设置的 点击访问博客查看更多内容

服务器可以充当负载均衡器

5. 负载均衡和集群支持:服务器可以充当负载均衡器,将网络流量分配到多个服务器节点,提高系统性能。此外,服务器还可以支持集群技术,通过将多个服务器连接在一起,提供高可用性和可扩展性。 6. 数据中心和云服…

AcWing 1273:天才的记忆 ← ST算法求解RMQ问题

【题目来源】https://www.acwing.com/problem/content/1275/【题目描述】 从前有个人名叫 WNB,他有着天才般的记忆力,他珍藏了许多许多的宝藏。 在他离世之后留给后人一个难题(专门考验记忆力的啊!),如果谁…

CSS选择符和可继承属性

属性选择符&#xff1a; 示例&#xff1a;a[target"_blank"] { text-decoration: none; }&#xff08;选择所有target"_blank"的<a>元素&#xff09; /* 选择所有具有class属性的h1元素 */ h1[class] { color: silver; } /* 选择所有具有hre…

【源码】Spring事务之传播特性的详解

Spring事务系列 1、【源码】SpringBoot事务注册原理 2、【源码】Spring Data JPA原理解析之事务注册原理 3、【源码】Spring Data JPA原理解析之事务执行原理 4、【源码】SpringBoot编程式事务使用及执行原理 5、【源码】Spring事务之传播特性的详解 6、【源码】Spring事…

简说Navicat

Navicat 是一款功能强大的数据库管理工具&#xff0c;广泛应用于管理和开发各种数据库&#xff0c;如 MySQL、MariaDB、SQL Server、SQLite、Oracle 和 PostgreSQL。Navicat 提供了一系列直观的图形界面和丰富的功能&#xff0c;极大地简化了数据库管理和开发的复杂性。 Navic…

Zato库(续)

Zato库高级教程&#xff08;续&#xff09; 在前面的教程中&#xff0c;我们介绍了Zato的基础功能和一些进阶功能。现在&#xff0c;我们将进一步探讨一些高级功能和实际应用中的使用场景&#xff0c;以帮助开发者更好地掌握Zato的强大功能。 负载均衡和高可用配置 配置多服…

配置文件-基础配置,applicationproperties.yml

黑马程序员Spring Boot2 文章目录 1、属性配置2、配置文件分类3、yaml文件4、yaml数据读取4.1 读取单个数据4.2 读取全部属性数据4.3 读取引用类型属性数据 1、属性配置 SpringBoot默认配置文件application.properties&#xff0c;通过键值对配置对应属性修改配置 修改服务器端…

浏览器必装插件推荐:最新版Simple Allow Copy,解除网页复制限制!

经常在网上找资料的朋友&#xff0c;尤其是学生党&#xff0c;总会遇到一个问题&#xff1a;很多资料网站的文字是禁止复制的。于是大家通常会使用各种文字识别软件来图文转换&#xff0c;或者直接手打。 今天这款小工具&#xff0c;可以轻松复制各种氪金网站上的任何文字&…

文件查看相关的命令(Linux篇)

1.cat&#xff1a;从文件上到下查看文件内容的命令 [rootlocalhost ~]# cd Desktop/ [rootlocalhost Desktop]# ls xxx.txt [rootlocalhost Desktop]# cat xxx.txt 1.shdadjaksdj 2.bbbbbbbbbbb 3.wewqhwiehqi gggggggggggggggg hhhhhhhhhhhhhh zzzzzzzzzzzz 2.tac&#xff1…

视频监控平台:通过网络SDK对TCL网络摄像机进行PTZ控制 的源代码介绍及分享

目录 一、视频监控平台介绍 &#xff08;一&#xff09;概述 &#xff08;二&#xff09;视频接入能力介绍 &#xff08;三&#xff09;功能介绍 二、TCL网络摄像机 &#xff08;一&#xff09;360度全景自动旋转&#xff1a; &#xff08;二&#xff09;高清夜视和全彩…

Tustin变换,连续传递函数离散化

Tustin变换&#xff0c;连续传递函数离散化 举例 上述说明了&#xff0c;不要盲目相信ChatGPT f_vehspd 12; phase_vehspd 120; f_res f_vehspd / tan((360-phase_vehspd) * pi/(4*180) );%连续传递函数 num [1 -2*f_res f_res^2]; den [1 2*f_res f_res^2]; sys tf(num…

示例:WPF中绑定枚举到ComboBox的方式

一、目的&#xff1a;在开发过程中&#xff0c;经常会需要把枚举绑定到ComboxBox下拉列表中&#xff0c;其实方法有很多&#xff0c;这里面通过MarkupExtension扩展GetEnumSourceExtension去绑定到列表 二、实现 定义GetEnumSourceExtension类 public class GetEnumSourceExte…