关于矩阵的相关数值值域-基础数学专业论文.docxVIP

万方数据 万方数据 曲阜师范大学硕士学位论文 目 录 第一章 预备知识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 S1.1 Connes嵌入问题 1 S1.2 矩阵的相关数值值域 3 第二章 ?? 的准确值 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 S2.1 引言 6 S2.2 主要结果及其证明 6 第三章 ? = 3的情形 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 S3.1 引言 11 S3.2 预备知识和引理 11 S3.3 主要结果及其证明 11 S3.4 注记 27 参考文献 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 致谢 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 iii 第一章 预备知识 S1.1 Connes 嵌入问题 设C是复数域, ?是C上的线性空间. 若映射? , ? : ?×? → C满足对任意的向量?, ?, ? ∈ ?, ?, ? ∈ C, （1）??? + ??,??= ???, ?? + ???, ??; （2）??, ?? = ??, ??; （3）??, ?? ≥ 0, 且??, ?? = 0当且仅当? = 0, ? ? ? ? ? ? ? || || ? ? 2则称 , 是 上的正定的内积. 若 , 是 上的正定的内积且 关于范数 ? = ?, ? 1 是完 备的赋范线性空间, 则称?是一个希尔伯特空间. 对于 ? ? ? ? ? ? ? || || ? ? 2 ||? || = sup{||? ?|| | ? ∈ ?, ||?|| ≤ 1}. 若||? || ∞, 则称? 为?上的有界(或连续)线性算子. 若? 是?上的有界线性算子, 则在?上 存在唯一的有界线性算子? *使得对于任意的向量?, ? ∈ ?, 均有 ??, ? ?? = ?? *?, ??, 称? *为? 的共轭算子. *运算满足: 对任意的?, ?, ? ∈ ?(?), ?, ? ∈ C, （1）(?? + ?? )* = ?? * + ?? *; （2）(??)* = ?*?*; （3）(? *)* = ? ; （4）||? *? || = ||? ||2; （5）||? *|| = ||? ||. 以?(?)表示希尔伯特空间?上的所有有界线性算子组成的集合, 则?(?)关于*运算是封闭 的. 若? ? ?(?)是一个代数, 且满足: 若? ∈ ?, 则? * ∈ ?, 则称?为?(?)的*-子代数(或 者自伴子代数). 简单的说, 算子代数就是?(?)的*-子代数. 由于?一般是无限维的, 为了研究的方便, 我们需要要求这样的算子代数在一定的拓 扑下是封闭的. 我们在?(?)上引入三种常见的拓扑. 首先范数|| ||在?(?)诱导了一致拓 扑. 设? ∈ ?, ?在?(?)上定义了半范数??(? ) = ||? ?||(? ∈ ?(?)), 由半范数族{?? : ? ∈ ?}诱导的弱拓扑称为?(?)上的强算子拓扑. 设?, ? ∈ ?, 则?, ?在?(?)上定义了一个半范 数??,? (? ) = |?? ?, ??|(? ∈ ?(?)). 由半范数族{??,? : ?, ? ∈ ?}诱导的弱拓扑称为弱算子 拓扑. 在1929年, 冯·诺依曼引入了弱(算子拓扑)闭算子环的概念. 他指出了这类代数的两个 本质的特点:（1）代数必须是*-闭的; （2）代数在弱算子拓扑下