Woit · §4.7 Eigenvalues and eigenvectors
英文原文
This is Woit’s finite-dimensional theorem for self-adjoint complex matrices; the adjacent prose distinguishes infinite-dimensional spectral theorems.
原文定理陈述摘录
Given a self-adjoint complex by matrix , there exists a unitary matrix such that
where is a diagonal matrix with entries .
来源与版本
正文:英文原文
来源版本:2025-10-20
原文位置:§4.7;PDF 页 62;印刷页 45
处理记录:PDF 文字层提取;MinerU OCR;AI 辅助转录对照
核对状态:AI 辅助转录核对,未作人工审阅或数学审稿
来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837
中文译文
这是 Woit 针对有限维自伴复矩阵的定理;相邻文字另行区分无限维谱定理。
译文摘录
给定一个自伴复 乘 矩阵 ,存在一个酉矩阵 ,使得
其中 是一个对角矩阵,其元素为 。
来源与版本
正文:中文译文
来源版本:2025-10-20
原文位置:§4.7;PDF 页 62;印刷页 45
处理记录:machine-translation/deepseek-v4.1-flash
核对状态:机器译稿 · 待校对