双线性和半双线性型矩阵的正则化算法

A regularization algorithm for matrices of bilinear and sesquilinear forms

Roger A. Horn, Vladimir V. Sergeichuk

备注：: 18 pages
发表信息：: Linear Algebra Appl. 412 (2006) 380-395
DOI：: 10.1016/j.laa.2005.07.004

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出了一个算法，只使用酉变换，并为每个平方复矩阵构造一个 * 同余矩阵，它是一个非奇异矩阵和奇异Jordan块的直和。

英文摘要：

We give an algorithm that uses only unitary transformations and for each square complex matrix constructs a *congruent matrix that is a direct sum of a nonsingular matrix and singular Jordan blocks.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

双线性或半双线性型的三对角典范矩阵，以及对称、反对称或厄米特型对的三对角标准矩阵

Tridiagonal canonical matrices of bilinear or sesquilinear forms and of pairs of symmetric, skew-symmetric, or Hermitian forms

给出了特征不等于2的代数闭域上方阵在同余或 * 同余下的三对角标准形，对称或反对称矩阵对在同余下的三对角标准形，埃尔米特矩阵对在 * 同余下的三对角标准形.

2007-10-03math.RT

双线性和半双线性型的典范矩阵

Canonical matrices of bilinear and sesquilinear forms

给出了（a）代数闭域或实封闭的域上的双线性型;（b）代数闭域上和具有任意非单位对合的实四元数上的半双线性型;（c）特征不等于2的域F上的半双线性型，其对合（可能是单位对合）直至F的有限扩张上的Hermitian型的分类的典范矩阵.本文用一种将形式和线性映射系统的分类问题化为线性映射系统的分类问题的方法来构造典范矩阵。这种方法起源于表示论，并在[V. V. Sergeichuk，Math. USSR-Izv. 31（1988）481-501]。

2007-10-03math.RT

子空间或商空间上第一个变元的半双线性型的分类

Classification of sesquilinear forms with the first argument on a subspace or a factor space

本文给出了双线性或半双线性型的典范矩阵UxV-->C，（V/U）xV-->C，其中V是复数域C上的向量空间，U是它的子空间.

2007-10-04math.RT

双线性和半双线性型系统的拓扑分类

Topological classification of systems of bilinear and sesquilinear forms

设$\cal A$和$\cal B$是由相同的向量空间$\mathbb C^{n_1},\dots,\mathbb C^{n_t}$和双线性或半双线性型$A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$组成的两个系统，其中$i=1,\dots,s$ .证明了$\cal A$通过$\mathbb C^{n_1},\dots,\mathbb C^{n_t}$内的同胚变换为$\cal B$的充要条件是$\cal A$通过$\mathbb C^{n_1},\dots,\mathbb C^{n_t}$内的线性双射变换为$\cal B$.

2016-11-26math.RAmath.RT

半双线性型的拓扑分类：归约到非奇异情形

Topological classification of sesquilinear forms: reduction to the nonsingular case

两个半双线性型$Φ:\mathbb C^m\times\mathbb C^m\to \mathbb C$和$Ψ:\mathbb C^n\times\mathbb C^n\to \mathbb C$称为拓扑等价的，如果存在同胚$φ:\mathbb C^m\to \mathbb C^n$（即，连续双射，其逆也是连续双射），使得对于所有$x,y\in \mathbb C^m$都是$Φ(x,y)=Ψ(φ(x),φ(y))$。R.A.Horn和V.V.Sergeichuk在2006年构造了一个正方形复矩阵$A$的正则化分解，即一个直和$SAS^*=R\oplus J_{n_1}\oplus\dots\oplus J_{n_p}$，其中$S$和$R$是非奇异的，每个$J_{n_i}$是$n_i$乘$n_i$的奇异Jordan块。本文证明了$Φ$和$Ψ$是拓扑等价的当且仅当它们的矩阵的正则化分解在置换奇异和项$J_{n_i}$和用非奇异矩阵$R'\in\mathbb C^{r\times r}$替换$R\in\mathbb C^{r\times r}$时一致，使得$R$和$R'$是拓扑等价形式的矩阵.实和复双线性形式也得到类似的结果。

2016-04-19math.GNmath.RT

有限域和p-adic域上形式及形式对的典范矩阵

Canonical matrices of forms and pairs of forms over finite and p-adic fields

给出了特征不为2的有限域和p不为2的p进数域Q_p的有限扩张上的（a）双线性型和半双线性型，（b）对称或反对称型对，（c）埃尔米特型对的典范矩阵.这些典范矩阵是在特征不为2的域上的（a）-（c）的典范矩阵的特殊情况，其在[V. V. Sergeichuk，Math. USSR-Izv. 31（1988）481-501]直到在其有限扩张上的二次或厄米特形式的分类。

2010-11-13math.RT