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

下面这个定理来自《计算机代数》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.mfbz.cn/a/717893.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

arsetryhtehrwgefwadasdadasd

48b91400000080f7ffff48b8bd427ae5d594bfd6488b0948f7e148b8cdcccccccccccccc48c1ea1748f7e24c8bea49c1ed02 直接在windbg中把执行内存修改为上面这一串字节序列,运行完成后r13中将包含当前时间戳,可使用如下代码转换成人类可阅读时间格式 /*代码BEGIN*…

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

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

003 gitee怎样将默认的私有仓库变成公开仓库

先点击“管理”, 再点击“基本信息” 在“是否开源”里, 选择:开源

如何设置天锐绿盾的数据防泄密系统

设置天锐绿盾的数据防泄密系统,可以按照以下步骤进行: 一、系统安装与初始化 在线或离线安装天锐绿盾数据防泄密系统,确保以管理员身份运行安装包,并按照安装向导的提示完成安装。输入序列号进行注册,激活系统。 二…

代码解读 | Hybrid Transformers for Music Source Separation[07]

一、背景 0、Hybrid Transformer 论文解读 1、代码复现|Demucs Music Source Separation_demucs架构原理-CSDN博客 2、Hybrid Transformer 各个模块对应的代码具体在工程的哪个地方 3、Hybrid Transformer 各个模块的底层到底是个啥(初步感受)&#xff1…

Linux自旋锁

面对没有获取锁的现场,通常有两种处理方式。 互斥锁:堵塞自己,等待重新调度请求自旋锁:循环等待该锁是否已经释放 本文主要讲述自旋锁 自旋锁其实是一种很乐观的锁,他认为只要再等一下下锁便能释放,避免…

Golang内存模型与分配机制

简述 mheap为堆,堆和进程是一对一的;mcentral(小mheadp),mcahe(GMP的P私有),分配内存顺序由后向前。 在解决这个问题,Golang 在堆 mheap 之上,依次细化粒度&a…

【UML用户指南】-17-对基本行为建模-交互

目录 1、消息的可视化表示 2、对象与角色 3、链和连接件 4、消息 5、序列 6、创建、修改和撤销 7、表示法 8、常用建模技术 8.1、对控制流建模 8.1.1、基于时间的控制流 8.1.2、基于结构的控制流 在任何有意义的系统中,对象都不是孤立存在的,…

4.类,方法,对象

1.1.2. 面向对象程序设计的三大特征 1.1.2.1. 封装 面向对象编程核心思想之一就是将数据和对数据的操作封装在一起,形成一般的概念,比如类的概念。 1.1.2.2. 继承 继承体现了一种先进的编程模式。子类可以继承父类的属性和方法。 1.1.2.3. 多态 多…

Novartis诺华制药社招综合能力性格动机问卷入职测评笔试题库答案及包过助攻

【华东同舟求职】由资深各行业从业者建立的一站式人才服务网络平台,现阶段目标是“提升全市场各行业岗位信息的流动性和透明度”。我们接受众多行业机构的直接委托发布,并尽力通过各种方法搜寻高价值岗位信息。事实上,我们以发现不为人知的优…

HQChart实战教程73-仿tradingview指标MACD

HQChart实战教程73-仿tradingview指标MACD MACD![在这里插入图片描述](https://img-blog.csdnimg.cn/direct/84d180b5620940f6b9fe08c6f10eb0f3.png)麦语法脚本实心MACD指标脚本效果 空心MACD指标脚本效果图 自定义指标添加到系统指标里HQChart插件源码地址 MACD tradingview中…

多模态LLM 跨越语言与视觉的边界

一、引言 在数字时代的浪潮中,我们被由语言和视觉等多种模态构成的信息海洋所包围。人类大脑以其卓越的多模态上下文理解能力,在日常任务中游刃有余。然而,在人工智能领域,如何将这种能力赋予机器,尤其是如何在语言模…

HarmoneyOS星河版 安装和启动

一、下载和安装DevEco Studio 官网链接:OpenAtom OpenHarmony 1.1 找到对应的操作系统进行下载 创建安装Harmony的文件夹: 1.2 下载后进行安装 1.3 分别安装Node、Ohpm、SDK 分别安装Node、Ohpm和SDK 二、.创建一个新项目并运行 2.1 选择[OpenHarmon…

复旦发布开源版本的EMO,只需输入一段音频和一张照片就可以让人物开始说话。

之前和大家介绍过阿里的EMO,用户只需要提供一张照片和一段任意音频文件,EMO即可生成会说话唱歌的AI视频。最长时间可达1分30秒左右。感兴趣的小伙伴可以点击下面链接阅读。 近日,复旦发布了一个开源版本的 EMO。 通过输入音频让面部照片开始…

【MySQL基础随缘更系列】AB复制

文章目录 mysql AB复制实战一、mysql AB复制二、AB复制原理三、master服务器设置3.1、安装mysql并启动3.2、关闭防火墙,selinux3.3、设置时间服务器3.4、修改配置文件 设置server-idN3.5、创建slave连接master的账号,用于取SQL语句 四、slave设置4.3、修改配置文件 …

数据可视化在智慧水利中的关键应用

数据可视化是如何在智慧水利中应用的?在现代水利管理中,面对复杂的水资源数据和动态变化的水文情况,数据可视化技术通过将繁杂的数据转化为直观、易理解的图表和图形,极大地提升了水利管理的效率和决策的科学性。智慧水利利用数据…

植物ATAC-seq文献集锦(四)——生物和非生物胁迫篇

ATAC-seq在植物研究领域的应用我们已经介绍3期了,最后一期我们聚焦ATAC-seq技术在生物和非生物胁迫方向的应用案例。 植物ATAC-seq文献集锦(一)——基因组篇 植物ATAC-seq文献集锦(二)——生长发育篇 植物ATAC-s…

自动采集软件||自动采集主流电商商品详情SKU数据价格功能实现||电商API接口的应用

实现自动化淘宝商品数据采集的方法有多种,一种常见的方式是利用网络 Python 技术。您可以编写一个网络 Python程序,通过模拟浏览器发送请求,获取淘宝商品页面的数据,并对数据进行解析和提取,最终存储到数据库或文件中。…

Android Compose 文本输入框TextField使用详解

一、 TextField介绍 TextField 允许用户输入和修改文本,也就是文本输入框。 TextField 分为三种: TextField是默认样式OutlinedTextField 是轮廓样式版本BasicTextField 允许用户通过硬件或软件键盘修改文本,但不提供提示或占位符等装饰&a…

车企高管组团“出道”,汽车营销已经Next level了?

汽车进入了“卷”老板、“卷”高管的时代! 谁能想到,雷军凭一己之力,在一定程度上重塑了汽车的竞争策略。价格战之外,车市又开启了流量之战。 云略曾在《雷军20天吸粉500w!……》一文中,提到继雷军之后&…