UnitaryMatrixQ

UnitaryMatrixQ[m]

如果 m 是一个酉矩阵,给出 True,否则给出 False.

更多信息和选项

  • 如果 pqConjugateTranspose[m].mq×q 的单位矩阵,或者 pqm.ConjugateTranspose[m]p×p 的单位矩阵,则 p×q 矩阵 m 是酉矩阵.
  • UnitaryMatrixQ 适用于符号以及数值矩阵.
  • 可给出下列选项:
  • Normalized True测试矩阵的行是否被归一化
    SameTest Automatic测试表达式相等性的函数
    Tolerance Automatic近似数的容差
  • 对于精确和符号式矩阵,选项 SameTest->f 表明如果 f[aij,bij] 给出 True,则两个元素 aijbij 被视为相等.
  • 对于近似矩阵,选项 Tolerance->t 可用于表明满足 γt 的范数 γ=m.m-In 将被视为零,其中 In 是单位矩阵.

范例

打开所有单元关闭所有单元

基本范例  (2)

测试 2×2 数值矩阵是否为酉矩阵:

测试 3×3 符号矩阵是否为显式酉矩阵:

手算验证条件 TemplateBox[{m}, ConjugateTranspose].m=I

范围  (14)

基本用法  (6)

测试一个实矩阵是否为酉矩阵:

实的酉矩阵也是一个正交矩阵:

测试一个复矩阵是否为酉矩阵:

测试一个精确矩阵是否为酉矩阵:

将该矩阵变为酉矩阵:

UnitaryMatrixQ 应用于任意精度的矩阵:

随机矩阵通常不是酉矩阵:

UnitaryMatrixQ 应用于符号矩阵:

c=TemplateBox[{b}, Conjugate]d=-TemplateBox[{a}, Conjugate] 时矩阵变为酉矩阵:

UnitaryMatrixQ 可有效处理大型数值矩阵:

特殊矩阵  (4)

UnitaryMatrixQ 应用于稀疏矩阵:

UnitaryMatrixQ 应用于结构矩阵:

单位矩阵是酉矩阵:

HilbertMatrix 不是酉矩阵:

矩形半酉矩阵  (4)

测试矩形矩阵是否为半酉矩阵:

由于列多于行,这表明行是正交的:

列则不是正交的:

测试行多于列的矩阵:

矩阵的列式正交的:

行不是正交的:

生成随机酉矩阵:

行的任意子集为矩形半酉矩阵:

列的任意子集也是如此:

矩形单位矩阵是半酉矩阵:

选项  (4)

Normalized  (2)

符号酉矩阵的列通常不归一化为 1:

不要测试列是否已归一化:

将酉矩阵的第二列乘以 2:

带有设置 NormalizedFalseUnitaryMatrixQ 将依旧对 m 给出 True

但是不会对 ConjugateTranspose[m] 给出 true:

这是因为 TemplateBox[{m}, ConjugateTranspose].m 是对角矩阵,但 m.TemplateBox[{m}, ConjugateTranspose] 不是:

SameTest  (1)

对于正实数 ,矩阵是酉矩阵,但是 UnitaryMatrixQ 给出 False:

使用选项 SameTest 以获得正确答案:

Tolerance  (1)

生成一个具有阶数为 10-14 的某些随机扰动的正交实值矩阵:

在主对角线外,q.q 不是精确等于 0:

调整选项 Tolerance 以接受矩阵是酉矩阵:

Tolerance 应用于下列数值:

应用  (9)

酉矩阵的来源  (4)

TemplateBox[{}, Complexes]^n 的任意正交基为酉矩阵:

基是正交的:

将基向量放在矩阵的行中形成酉矩阵:

将它们放在列中也会给出一个酉矩阵:

Orthogonalize 应用于线性独立的复向量生成酉矩阵:

矩阵不必是方阵,在这种情况下,所得矩阵是半酉矩阵:

但起始矩阵必须满秩:

任何置换矩阵都是酉矩阵:

CircularUnitaryMatrixDistribution 获取的矩阵为酉矩阵:

CircularOrthogonalMatrixDistribution 获取的矩阵也是酉矩阵:

来自 CircularSymplecticMatrixDistribution 的矩阵也一样:

酉矩阵的用途  (5)

酉矩阵保留 TemplateBox[{}, Complexes]^n 的标准内积. 换句话说,如果 是酉矩阵, 是向量,则

这意味着向量之间的角度不变:

由于范数是从内积得来的,因此也保留了范数:

酉矩阵在许多矩阵分解中起着重要作用:

对于任意非零向量 ,矩阵 H_v=I_n-(2 vTemplateBox[{v}, Conjugate])/(v.TemplateBox[{v}, Conjugate]) 始终是酉矩阵:

被称为 Householder 反射;因为它的行列式的纯反射是

它表示经由垂直于 的平面形成的反射,将 变为

不改变任何垂直于 的向量:

在矩阵计算中, 被用于将给定列向量 的选定分量设为零:

在量子力学中,时间演化由酉矩阵 的 1-参数族表示. 乘以 的对数导数是 Hermitian 矩阵,被称为哈密顿算子或能量算子 . 它的特征值表示系统可能的能量. 对于以下时间演化,计算哈密顿量和可能的能量:

首先,验证矩阵是酉矩阵:

计算对数导数:

矩阵是反厄米特矩阵:

定义哈密顿量:

验证矩阵是哈密顿矩阵:

它的实特征值表示可能的能量:

反厄米特矩阵 的指数 MatrixExp[v] 是酉矩阵. 通过其微分方程 定义一个矩阵函数,初始值 ,并证明解是酉矩阵:

求解并检查每次得到的矩阵是否是酉矩阵:

如果使用默认设置,将会得到近似酉矩阵:

解的矩阵 2-范数是 1:

绘制矩阵的行:

每个行都位于单位球面上:

属性和关系  (14)

如果 m.ConjugateTranspose[m]IdentityMatrix[n], 则矩阵是酉矩阵:

对于一个近似矩阵,单位矩阵近似为真:

酉矩阵的逆是它的共轭转置:

因此,逆矩阵、转置矩阵、共轭矩阵和共轭转置矩阵也是酉矩阵:

酉矩阵保留 TemplateBox[{}, Complexes]^n 中的向量的标准内积:

因此,酉矩阵也保留了范数:

任意实值正交矩阵是酉矩阵:

但是一个复酉矩阵一般不是正交的:

酉矩阵的积是还是酉矩阵:

酉矩阵是规范的:

酉矩阵的特征值位于单位圆上:

Eigenvalues 求特征值:

验证它们位于单位圆上:

酉矩阵有一组完整的特征向量:

因此,它们一定是可对角化的:

Eigenvectors 求特征向量:

对于酉矩阵,奇异值都是1:

酉矩阵的判别式的绝对值是 1:

酉矩阵的 2 范式总是 1:

酉矩阵的实幂是酉矩阵:

对于任意厄米特矩阵 hMatrixExp[I h] 是酉矩阵:

UnitaryMatrix 可用于显式构造酉矩阵:

这些矩阵满足 UnitaryMatrixQ

可能存在的问题  (1)

复正交矩阵不是酉矩阵:

Wolfram Research (2014),UnitaryMatrixQ,Wolfram 语言函数,https://reference.wolfram.com/language/ref/UnitaryMatrixQ.html.

文本

Wolfram Research (2014),UnitaryMatrixQ,Wolfram 语言函数,https://reference.wolfram.com/language/ref/UnitaryMatrixQ.html.

CMS

Wolfram 语言. 2014. "UnitaryMatrixQ." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/UnitaryMatrixQ.html.

APA

Wolfram 语言. (2014). UnitaryMatrixQ. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/UnitaryMatrixQ.html 年

BibTeX

@misc{reference.wolfram_2024_unitarymatrixq, author="Wolfram Research", title="{UnitaryMatrixQ}", year="2014", howpublished="\url{https://reference.wolfram.com/language/ref/UnitaryMatrixQ.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_unitarymatrixq, organization={Wolfram Research}, title={UnitaryMatrixQ}, year={2014}, url={https://reference.wolfram.com/language/ref/UnitaryMatrixQ.html}, note=[Accessed: 22-November-2024 ]}