徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

半双线性形式

指数 半双线性形式

在数学中,在复数向量空间V上的半双线性形式是映射V × V → C,它在一个参数上是线性的而在另一个参数上是反线性(半线性)的。比较于双线性形式,它在两个参数上都是线性的;要注意很多作者尤其是在只处理复数情况的时候,把半双线性形式称为双线性形式。 一个主要例子是在复数向量空间上的内积,它不是双线性的而是半双线性的。.

26 关系: 埃尔米特矩阵反线性映射向量空间复数实数对偶空间希尔伯特空间二次型张量积当且仅当微分形式保罗·狄拉克内积共轭转置等变映射線性泛函线性映射狄拉克符号范数量子力学雙線性形式虚数虛數單位欧几里得空间斜埃尔米特矩阵数学

埃尔米特矩阵

埃尔米特矩阵(Hermitian matrix,又译作厄米矩阵),也稱自伴隨矩陣,是共轭對稱的方陣。埃尔米特矩阵中每一个第i行第j列的元素都与第j行第i列的元素的复共轭。 对于 有: 记做: 例如: 3&2+i\\ 2-i&1 \end 就是一个埃尔米特矩阵。 显然,埃尔米特矩阵主对角线上的元素都是实数的,其特征值也是实数。对于只包含实数元素的矩阵(实矩阵),如果它是对称阵,即所有元素关于主对角线对称,那么它也是埃尔米特矩阵。也就是说,实对称矩阵是埃尔米特矩阵的特例。.

新!!: 半双线性形式和埃尔米特矩阵 · 查看更多 »

反线性映射

在数学中,从一个复数向量空间到另一个复数向量空间的映射 f: V → W 被称为是反线性的(或共轭线性或半线性的)如果 对于所有 C 中 a, b 和 V 中所有 x, y。两个反线性映射的复合是反线性的。 反线性映射 f:V\to W 可以等价的描述为到复共轭向量空间 \bar W 的线性映射\bar f:V\to\bar W。.

新!!: 半双线性形式和反线性映射 · 查看更多 »

向量空间

向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何,幾何上的向量及相关的運算即向量加法,標量乘法,以及对運算的一些限制如封闭性,结合律,已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中,“向量”的概念不仅限于此,满足下列公理的任何数学对象都可被当作向量处理。譬如,實系數多項式的集合在定义适当的运算后构成向量空間,在代数上处理是方便的。单变元实函数的集合在定义适当的运算后,也构成向量空间,研究此类函数向量空间的数学分支称为泛函分析。.

新!!: 半双线性形式和向量空间 · 查看更多 »

复数

#重定向 复数 (数学).

新!!: 半双线性形式和复数 · 查看更多 »

实数

实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.

新!!: 半双线性形式和实数 · 查看更多 »

对偶空间

在數學裡,任何向量空間V都有其對應的對偶向量空間(或簡稱為對偶空間),由V的線性泛函組成。此對偶空間俱有一般向量空間的結構,像是向量加法及純量乘法。由此定義的對偶空間也可稱之為代數對偶空間。在拓撲向量空間的情況下,由連續的線性泛函組成的對偶空間則稱之為連續對偶空間。 对偶空間是 行向量(1×n)與列向量(n×1)的關係的抽象化。這個結構能夠在無限維度空間進行並為测度,分佈及希爾伯特空間提供重要的觀點。对偶空間的應用是泛函分析理論的特徵。傅立叶變換亦內蘊对偶空間的概念。.

新!!: 半双线性形式和对偶空间 · 查看更多 »

希尔伯特空间

在数学裡,希尔伯特空间即完备的内积空间,也就是說一個帶有內積的完備向量空間。是有限维欧几里得空间的一个推广,使之不局限于實數的情形和有限的维数,但又不失完备性(而不像一般的非欧几里得空间那样破坏了完备性)。与欧几里得空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引申而来的正交性与垂直性的概念)。此外,希尔伯特空间还是一个完备的空间,其上所有的柯西序列會收敛到此空間裡的一點,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。希尔伯特空间是公設化数学和量子力学的关键性概念之一。.

新!!: 半双线性形式和希尔伯特空间 · 查看更多 »

二次型

在数学中,二次型是一些变量上的二次齐次多项式。例如 是关于变量x和y的二次型。 二次型在许多数学分支,包括数论、线性代数、群论(正交群)、微分几何(黎曼测度)、微分拓扑(intersection forms of four-manifolds)和李代数(基灵型)中,占有核心地位。.

新!!: 半双线性形式和二次型 · 查看更多 »

张量积

在数学中,张量积,记为 \otimes,可以应用于不同的上下文中如向量、矩阵、张量、向量空间、代数、拓扑向量空间和模。在各种情况下这个符号的意义是同样的: 最一般的双线性运算。在某些上下文中也叫做外积。 例子: \mathbf \otimes \mathbf \rightarrow \beginb_1 \\ b_2 \\ b_3 \\ b_4\end \begina_1 & a_2 & a_3\end.

新!!: 半双线性形式和张量积 · 查看更多 »

当且仅当

当且仅当(If and only if)(中国大陆又称作当且--仅当,臺灣又称作若且--唯若),在--邏輯中,逻辑算符反互斥或閘(exclusive or)是对两个运算元的一种邏輯分析类型,符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”;“A是B的充分必要条件(充要條件)”。 一般而言,當我們看到“A当且仅当B”,我們可以知道“如果A成立時,則B一定成立;如果B成立時,則A也一定成立”;“如果A不成立時,則B一定不成立;如果B不成立時,則A也一定不成立”。.

新!!: 半双线性形式和当且仅当 · 查看更多 »

微分形式

微分形式是多变量微积分,微分拓扑和张量分析领域的一个数学概念。现代意义上的微分形式,及其以楔积(wedge product)和外微分结构形成外代数的想法,都是由法国数学家埃里·嘉当引入的。.

新!!: 半双线性形式和微分形式 · 查看更多 »

保罗·狄拉克

保羅·埃德里安·莫里斯·狄拉克,OM,FRS(Paul Adrien Maurice Dirac,),英国理論物理學家,量子力學的奠基者之一,曾經主持劍橋大學的盧卡斯數學教授席位,並在佛羅里達州立大學度過他人生的最後十四個年頭。 狄拉克在物理學上有諸多開創性的貢獻。他統合了維爾納·海森堡的矩陣力學和埃爾溫·薛定谔的波動力學,發展出了量子力學的基本數學架構。他給出的狄拉克方程式可以描述费米子的物理行為,解釋了粒子的自旋,並且首先預測了反粒子的存在。而他在路徑積分和二次量子化也扮演了的先驅者的角色,為後來量子電動力學的發展奠定了重要的基礎。此外,他將拓扑的概念引入物理學,提出了磁單極的理論。 1933年,因為“發現了在原子理論裡很有用的新形式”(即量子力学的基本方程——薛定谔方程和狄拉克方程),狄拉克和薛丁格共同获得了诺贝尔物理学奖,是當時史上最年輕獲獎的理論物理學家。.

新!!: 半双线性形式和保罗·狄拉克 · 查看更多 »

内积

#重定向 点积.

新!!: 半双线性形式和内积 · 查看更多 »

共轭转置

矩阵A的共轭转置A^*(又称埃尔米特共轭、埃尔米特转置)定义为: 其中(\cdot)_表示矩阵i行j列上的元素,\overline表示标量的复共轭。 这一定义也可以写作: 其中A^\mathrm \,\!是矩阵A的转置,\overline\,\!表示对矩阵A中的元素取复共轭。 通常用以下记号表示矩阵A的共轭转置:.

新!!: 半双线性形式和共轭转置 · 查看更多 »

等变映射

在数学中,一个等变映射(equivariant map)是两个集合之间与群作用交换的一个函数。具体地,设 G 是一个群,X 与 Y 是两个关联的 ''G''-集合。一个函数 f: X → Y 称为等变,如果 对所有 g ∈ G 与 x ∈ X 成立。注意如果其中一个或两个作用是右作用,则等变条件必须适当地修改: 等变映射是 G-集合范畴(对一个取定的 G)中的同态。从而它们也称为 G-映射或 G-同态。G-集合的同构就是等变双射。 等变条件也能理解为下面的交换图表。注意 g\cdot 表示映射取元素 z 得到 g\cdot z。.

新!!: 半双线性形式和等变映射 · 查看更多 »

線性泛函

在線性代數中,線性泛函是指由向量空間到對應純量域的線性映射。在 \mathbbR^n ,若向量空間的向量以列向量表示;線性泛函則會以行向量表示,在向量上的作用則為它們的矩陣積。一般地,如果 V 是域 k 上的向量空間,線性泛函 f 是一个从 V 到 k 的函数,它有以下的线性特性: 所有從 V 到 k 的線性泛函集合, 記為 \operatorname_k(V,k), 本身即為一向量空間,稱為 V 的 (代數)對偶空間。.

新!!: 半双线性形式和線性泛函 · 查看更多 »

线性映射

在数学中,线性映射(有的书上将“线性变换”作为其同义词,有的则不然)是在两个向量空间(包括由函数构成的抽象的向量空间)之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态,从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中,“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类(详见下文)。为叙述方便,本条目在提及“线性算子”时,采用后一种定义,即将线性算子与线性映射区别开来。.

新!!: 半双线性形式和线性映射 · 查看更多 »

狄拉克符号

拉克符号或狄拉克標記(Dirac notation)是量子力学中广泛应用于描述量子态的一套标准符号系统。在这套系统中,每一个量子态都被描述为希尔伯特空间中的態向量,定义为右矢(ket):|\psi\rangle;每一个右矢的共軛轉置定义为其左矢(bra):\langle\psi|。 此標記法為狄拉克於1939年将「bracket」(括号)这个词拆开后所造的。 在中國方面,一些旧有的教科书和文献中也将其译为“刁矢”和“刃矢”、或“彳矢”和“亍矢”,现已弃用。.

新!!: 半双线性形式和狄拉克符号 · 查看更多 »

范数

數(norm),是具有“长度”概念的函數。在線性代數、泛函分析及相關的數學領域,是一個函數,其為向量空間內的所有向量賦予非零的正長度或大小。半範數反而可以為非零的向量賦予零長度。 舉一個簡單的例子,一個二維度的歐氏幾何空間\R^2就有歐氏範數。在這個向量空間的元素(譬如:(3,7))常常在笛卡兒座標系統被畫成一個從原點出發的箭號。每一個向量的歐氏範數就是箭號的長度。 擁有範數的向量空間就是賦範向量空間。同樣,擁有半範數的向量空間就是賦半範向量空間。.

新!!: 半双线性形式和范数 · 查看更多 »

量子力学

量子力学(quantum mechanics)是物理學的分支,主要描写微观的事物,与相对论一起被认为是现代物理学的两大基本支柱,许多物理学理论和科学,如原子物理学、固体物理学、核物理学和粒子物理学以及其它相关的學科,都是以其为基础。 19世紀末,人們發現舊有的經典理論無法解釋微观系统,於是經由物理學家的努力,在20世紀初創立量子力学,解釋了這些現象。量子力學從根本上改變人類對物質結構及其相互作用的理解。除透过广义相对论描写的引力外,迄今所有基本相互作用均可以在量子力学的框架内描述(量子场论)。 愛因斯坦可能是在科學文獻中最先給出術語「量子力學」的物理學者。.

新!!: 半双线性形式和量子力学 · 查看更多 »

雙線性形式

在域 F 中,向量空間 V 的雙線性形式指的是一个V × V → F 上的线性函数 B, 满足: 都是线性的。這個定義也適用於交換環的模,这时线性函数要改为模同态。 注意一個雙線性形式是特別的双线性映射。.

新!!: 半双线性形式和雙線性形式 · 查看更多 »

虚数

虛數是一种複數,可以写作实数与虚数单位 i 的乘积在電子學及相關領域內,i 通常表達電流,故改為以 j 表示虛數單位。,其中 i 由 i^2.

新!!: 半双线性形式和虚数 · 查看更多 »

虛數單位

在數學、物理及工程學裏,虛數單位標記為 i\,\!,在电机工程和相关领域中则标记为j\,,这是为了避免与电流(记为i(t)\,或i\,)混淆。虛數單位的發明使實數系統 \mathbb\,\! 能夠延伸至复数系統 \mathbb\,\! 。延伸的主要動機為有很多實係數多項式方程式無實數解。例如方程式 x^2+1.

新!!: 半双线性形式和虛數單位 · 查看更多 »

欧几里得空间

欧几里得几何是在约公元前300年,由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”,他接着分析三维物体的“立体几何”,所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度,而这种空间叫做 n维欧几里得空间(甚至简称 n 维空间)或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形,称为实内积空间(不一定完备), 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间,空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象,它却捕获了我们熟悉的欧几里得空间的根本本质,根本性质是它的平面性。 另存在其他種類的空间,例如球面非欧几里得空间,相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.

新!!: 半双线性形式和欧几里得空间 · 查看更多 »

斜埃尔米特矩阵

一个方块矩阵A是斜埃尔米特矩阵或反埃尔米特矩阵,如果它的共轭转置A*也是它的负数。也就是说,它满足以下的关系: 或者,如果A.

新!!: 半双线性形式和斜埃尔米特矩阵 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

新!!: 半双线性形式和数学 · 查看更多 »

重定向到这里:

Hermitian形式半双线性埃爾米特形式

传出传入
嘿!我们在Facebook上吧! »