13 关系: 算子,算符,谱定理,范畴的等价,量子力學的數學表述,量子马尔可夫链,量子操作,雅各布森根,K-理论,森田等价,正规矩阵,泛函分析,拓扑K-理论。
算子
算子(Operator)是从一个向量空间(或模)到另一个向量空间(或模)的映射。 算子对于线性代数和泛函分析都至关重要,它在纯数学和应用数学的许多其他领域中都有应用。 例如,在经典力学中,导数的使用无处不在,而在量子力学中,可观察量由埃尔米特算子表示。 各种算子可以具有包括线性、连续性和有界性等的重要性质。.
算符
在物理學裏,算符(operator),又稱算子,作用於物理系統的狀態空間,使得物理系統從某種狀態變換為另外一種狀態。這變換可能相當複雜,需要用很多方程式來表明,假若能夠使用算符來代表,可以更為簡單扼要地表達論述。 對於很多案例,假若作用的對象有所迥異,算符的物理行為也會不同;但是,對於有些案例,算符的物理行為具有一般性,這時,就可以將論題抽象化,專注於研究算符的物理行為,不必顧慮到狀態的獨特性。這方法比較適用於一些像對稱性或守恆定律的論題。因此,在經典力學裏,算符是很有用的工具。在量子力學裏,算符為理論表述不可或缺的要素。 對於更深奧的理論研究,可能會遇到很艱難的數學問題,算符理論(operator theory)能夠提供高功能的架構,使得數學推導更為簡潔精緻、易讀易懂,更能展現出內中物理涵意。 一般而言,在經典力學裏的算符大多作用於函數,這些函數的參數為各種各樣的物理量,算符將某函數映射為另一種函數。這種算符稱為「函數算符」。在量子力學裏的算符稱為「量子算符」,作用的對象是量子態。量子算符將某量子態映射為另一種量子態。.
谱定理
数学上,特别是线性代数和泛函分析中,谱定理是关于线性算子或者矩阵的一些结果。泛泛来讲,谱定理给出了算子或者矩阵可以对角化的条件(也就是可以在某个基底中用对角矩阵来表示)。对角化的概念在有限维空间中比较直接,但是对于无穷维空间中的算子需要作一些修改。通常,谱定理辨认出一族可以用乘法算子来代表的线性算子,这是可以找到的最简单的情况了。用更抽象的语言来讲,谱定理是关于交换C*-代数的命题。参看谱分析中的历史观点。 可以应用谱定理的例子有希尔伯特空间上的自伴算子或者更一般的正规算子。 谱定理也提供了一个算子所作用的向量空间的标准分解,称为谱分解,特征值分解,或者特征分解。 本条目中,主要考虑谱定理的简单情况,也就是希尔伯特空间上的自伴算子。但是,如上文所述,谱定理也对希尔伯特空间上的正规算子成立。.
范畴的等价
在数学的一个抽象分支范畴论中,范畴的等价(equivalence of categories)是两个范畴间的一个关系,在这种关系之下的范畴是“本质上一样的”。从数学的许多地方都有范畴等价的例子。建立一个等价涉及展示所考虑的数学结构间很强的相似性。在许多情形,这些结构表面或直觉上看并无关联,这样就使这种概念特别有用:它提供了在不同数学结构之间翻译的可能性,本质一语是指在翻译中保持的定理。 如果一个范畴等价于另一个范畴的反范畴,则我们说“范畴的对偶性”,以及这两个范畴对偶等价。 范畴的等价由所涉范畴的一个函子组成,这个函子要求有一个“逆”函子。但与通常代数语境的同构不同,这个函子与它的逆不必是恒等映射,二只要每个对象自然同构与在此符合函子下的像。从而我们可以说这个函子是差一个同构下的逆。这实际上是范畴的同构的概念,其中要求逆函子的严格性质,但这比“等价”概念用得要少。.
新!!: C*-代数和范畴的等价 · 查看更多 »
量子力學的數學表述
量子力学的数学表述是对量子力学进行严谨描述的数学表述体系。与20世纪初发展起来的旧量子论的数学形式不同,它使用了一些抽象的代数结构,如无穷维希尔伯特空间和这些空间上的算子。这些结构中有许多源于泛函分析。这一纯粹数学研究领域的发展过程既平行于又受影响于量子力学的需要。简而言之,物理可观察量的值,如能量和动量的值不再作为相空间上的函数值,而是作为本征值,或者更为精确地来说是希尔伯特空间中线性算子的谱值。 这一表述体系一直沿用至今。该体系的核心为“量子态”和“可观察量”这两个概念。对于原子尺度的系统来说,这两个概念与之前用来描述物理现实的模型大相径庭。虽然数学上允许对许多量的计算结果进行实验测量,但是实际上,在对于符合一定条件的两个物理量同时进行精确测量时,却存在一个理论性限制——不确定性原理。这一原理由维尔纳·海森堡通过思想实验首次阐明,且在该体系中以可观察量的不可交换性进行表述。 在量子力学作为一支独立理论形成之前,物理学中用到的数学理论主要是以微积分为源头、后来又添以微分几何与偏微分方程的数学分析。统计力学中还用到概率论。几何直观在这两个理论中扮演重要角色。相对论中的许多概念和方法也是基于几何理论。量子物理学中对于实验现象的一系列不同以往的理解在1895年到1915年间开始逐步形成。其中具有代表性的思想为波粒二象性。但在量子理论形成之前的10至15年中,物理学家仍然在经典物理学的框架内思考量子理论,所基于的数学结构也是完全相同的。其中具有代表性的例子是玻尔-索末菲量子化条件。这一原理完全建构于经典框架中的相空间。.
新!!: C*-代数和量子力學的數學表述 · 查看更多 »
量子马尔可夫链
量子马尔可夫链為一数学名詞,是经典马尔可夫链的变体,将经典概率替换成.
新!!: C*-代数和量子马尔可夫链 · 查看更多 »
量子操作
量子操作(又称量子动态映射或量子过程)是对量子系统所能经历的一系列变换的数学表述。这一概念是由在讨论密度矩阵的广义随机变换时首度引入。量子操作的表述需要系统采用密度矩阵描述。严格而言,量子操作是一个密度算符集到其自身的线性完全正映射。在量子运算领域,量子操作通常称作。“量子操作”有时会被一些学者用来描述密度矩阵空间的或非迹增映射,而“量子通道”则特指其中严格的保迹映射。量子操作不仅仅涉及孤立系统的时间演化及对称变换,同时还涉及测量效应以及系统与环境间的暂态相互作用。 量子系统所能经历的一些过程并不能用量子操作描述。原则上,量子系统的密度矩阵可以经过任意的时间演化。量子操作可以通过“”这一概念进行推广。量子仪器可以捕捉测量过程中量子信息外的经典信息。.
新!!: C*-代数和量子操作 · 查看更多 »
雅各布森根
在抽象代数之分支环理论中,一个环 R 的雅各布森根(Jacobson radical)是 R 的一个理想,包含在某种意义上“与零接近”的那些元素。.
新!!: C*-代数和雅各布森根 · 查看更多 »
K-理论
在数学中,K-理论(K-theory)是多个领域使用的一个工具。在代数拓扑中,它是一种异常上同调,称为拓扑K-理论;在代数与代数几何中,称之为代数K-理论;在算子代数中也有诸多应用。它导致了一类K-函子构造,K-函子包含了有用、却难以计算的信息。 在物理学中,K-理论特别是出现在第二型弦理論,其中猜测它们可分类D-膜、以及广义复流形上某些旋量。具体细节参见K-理论 (物理)。.
新!!: C*-代数和K-理论 · 查看更多 »
森田等价
在抽象代数中,森田等价(Morita equivalence)是定义在环之间的一个等价关系,这个等价保持许多环论性质。以日本数学家命名,他在1958年定义了这个等价关系以及对偶性的一个类似概念。.
新!!: C*-代数和森田等价 · 查看更多 »
正规矩阵
在数学中,正规矩阵 \mathbf是与自己的共轭转置交换的复系数方块矩阵,也就是说, \mathbf满足 其中\mathbf^*是\mathbf的共轭转置。 如果\mathbf是实系数矩阵,则\mathbf^*.
新!!: C*-代数和正规矩阵 · 查看更多 »
泛函分析
泛函分析(Functional Analysis)是现代数学分析的一个分支,隶属于分析学,其研究的主要对象是函数构成的函数空间。泛函分析历史根源是由对函数空间的研究和对函数的变换(如傅立叶变换等)的性质的研究。这种观点被证明是对微分方程和积分方程的研究中特别有用。 使用泛函这个词作为表述源自变分法,代表作用于函数的函数,这意味着,一个函数的参数是函数。这个名词首次被雅克·阿达马在1910年使用于这个课题的书中。是泛函分析理论的主要奠基人之一。然而,泛函的一般概念以前曾在1887年是由意大利数学家和物理学家維多·沃爾泰拉(Vito Volterra)介绍。非线性泛函理论是由雅克·阿达马的学生继续研究,特别是莫里斯·弗雷歇(Maurice Fréchet)可和列维(Levy)。雅克·阿达马还创立线性泛函分析的现代流派,并由弗里杰什·里斯和一批围绕着斯特凡·巴拿赫(Stefan Banach)的波兰数学家进一步发展。.
新!!: C*-代数和泛函分析 · 查看更多 »
拓扑K-理论
数学中,拓扑 K-理论(topological K-theory)是代数拓扑的一个分支。它是研究一般拓扑空间上向量丛时发现的,所用的是由亚历山大·格罗滕迪克引入的现在称为(一般)K-理论的想法。早期拓扑 K-理论的工作归于迈克尔·阿蒂亚与弗里德里希·希策布鲁赫(Friedrich Hirzebruch)。.
新!!: C*-代数和拓扑K-理论 · 查看更多 »