二阶矩阵代数中的全可导点.pdfVIP

牟 月 第 卷第 期 西南大学学报 自然科学版 . . .文章编号: ? 一 一二阶矩阵代数中的全可导点 王素芳 , 邵玉丽 , 朱 军 .洛阳理工学院 数理部,河南 洛阳; .杭州电子科技大学 数学研究所,杭州 摘要:研究二阶矩阵代数中的全可导点.给出并证明了每一个非零元都是二阶矩阵代数的全可导点 关 键 词:导子;全可导点;矩阵代数;线性映射 中图分类号: . 文献标志码: 近些年来,算子代数中导子的特征的刻画是算子代数领域中的活跃分支,有不少研究成果.现给出几 个相关的研究结果:单位算子是套代数中关于强算子拓扑的全可导点 ;每一个可逆算子是套代数的关于 强算子拓扑的全可导点,二阶上三角矩阵代数的非零元是其全可导点 ;套代数中每一个在 点处可导的 线性映射 一 是内导子 .更多的相关研究结果可参看文献 ?.文章对 × 矩阵代数的全 可导点进行探讨,得出并证明了:每一个非零元都是二阶矩阵代数的全可导点. 设 是复可分的空间, 表示 上的有界线性算子全体, 表示 上的单位算子,◎表示复 数域.设 是 上的一个算子代数, ∈ , : ?是线性映射.如果对于任意的 , ∈ 且’ : ,有一 ; 成立,则称 在 点可导.若对于任意的 , ∈ ,均有一成立,则称 是个导子.如果每一个在 点可导且在强算子拓扑下连续的线性映射 是个导子,则称算子 是 的关于强算子拓扑的全可导点.在文章中,用 表示 × 矩阵代数,即 , , , ∈ ◎ 并记 厂 。 一 ? 一 一相关引理 引理 设 是 × 矩阵代数, : ?是一个线性映射,并且记则以下结论是等价的: 收稿日期: ? ? 基金项目:国家自然科学基金资助项目 . 作者简介:王素芳 一 ,女,河南洛阳人,讲师,硕士研究生,主要从事算子代数的研究第 期 王素芳,等:二阶矩阵代数中的全可导点在, 一 , 点处可导; 一 一 一? ,一 ,一一 】 一 ,一一 一一 ¨一 ;是个导子. 证 。设在点处可导.对于中任意的? 一 且一有 一一 姗一 进而有】 ?一 一一 一 吼 训 。 训 口。。 。 。 。训 。训 。 。. . .十 叫十 十 “ “ 儿? ““ 在式, 中,取 一础一 , 一 一 一 ? ? 一 ,可得 一 ? ;取 ? 一 , : 一 一叫一 ? 一 ,可得 ? , 一 , 一 ;取 一训一 一 , 一 ? ? ? 一 ,可得口 一一 , ;取 ? ? 一 , 一 一 一 一 ? ,可得 一一 , 一 ;取 叫一 一 , 一 一 ? ? 一 ,可得 一 , 一;取 一 一 一 , 一“一 一 ? 一 ,可得口 一一 ;取 一 一 ? 一 ,“::一 , ?? ,可得 ? . 若 分别在 , , 处可导,同理可证结论 成立. 。设结论 成立.对于 中任意的 ? 一 , ? ,有 一姗 一 一 口 一姗一 口一般一 一 故 是个导子,即结论 成立. 。设结论 成立,易知结论 显然成立. 引理 设 是 × 矩阵代数, : ? 是一个线性映射,并记 一 一 匆 一 一若 ≠ ∈◎,则以下结论成立:若 在点处可导,则 是导子;若 在点处可导,则 是导子;若 在点处可导,则 是导子;若 在点处可导,则 是导子. 证 若 在腰 点处可导.对于 中任意的? ,?硼 且,有西南大学学报 自然科学版:// . . 第 卷 进 而 /一 一 删一 船一 有 没 、 一 一 一. 一‘ 一‘ 一 ’ 在在式,中,取 ? 一 ,硼一 , 一 一 一 ? 一 ,得 一 ? ;取 ? 一 , ? , 一 一 一训一 一 ,可得 一 一一 一取 ? 一 一 ,叫一 , 一 一 ? 一 ,可得 ? , ? ;取 ? ? 一 ,硼一 , 一 棚 “: ,可得 ? , ? ;取 ? ? 一 ,叫一 , 一 一 : 一 ,可得 一 ;取 ? ? 一 ,叫一 , 一 一 ? 一 ,可得 一 ;取 ? ? 一 ,..? , 一 一 ?, 旭 可得一 .将其代人式可得一 , ? ;再由引理 知, 是导子. 同理可证结论 , , 成立.弛 引理 设 是 × 矩阵代数, : ? 是一个线性映射,并记 一 】 处 一 可 导 一对 【 一于若 ≠ , ∈◎,则以下结论成立: 中若 在 ?点处可导,则 是导子; 任在 点处可导的充要条件是 一 一 ? ? ,?一 意 ,的 一 及 一 一 一 一 ? 特别地, 不是全可导点. 一 证 ,? 且? ,有 一 ? 删 觚一进而有口一一 一 在式和中,取 一叫一 , ? ,