李表面(Lie theory)威尼斯官网娱乐场,定名自19世纪的挪威数学家索菲斯·李,是数学和物理学中一个极其迫切且正常愚弄的表面,其根底倡导是李群和李代数。这个表面提供了一个庞大的框架,用于刻画对称性和衔接变换,因此在许多科学鸿沟中皆有着正常的愚弄,包括量子力学、粒子物理、晶体学和机器东谈主学。本文咱们将深化探讨李表面的基本倡导。
当你在谷歌中搜索“李表面”,会出现这张图片,
图片
它使得该表面看起来比本色上更难。关系词,若是你闇练复数,那么你也曾遭逢了一个例子,那等于那些于模为1的复数,
皇冠体育 app图片
由证券之星根据公开信息整理,由算法生成,与本站立场无关。证券之星力求但不保证该信息(包括但不限于文字、视频、音频、数据及图表)全部或者部分内容的的准确性、完整性、有效性、及时性等,如存在问题请联系我们。本文为数据整理,不对您构成任何投资建议,投资有风险,请谨慎决策。
银河娱乐网站你的本能反馈可能是将这些数字视为 e^(i θ)。
图片
但若是你更深化地念念考,本色上是在这个复数圆上施加了一个坐标系统,例如,咱们不错说这小数是 e^(i * 0.7π),
图片
这个圆是所谓的李群(Lie group)的一个例子,将在稍后解释,但一般来说,它不错是更高维的,更难以可视化的。李表面的精髓是,即使在这些复杂的情况下,也要尽量施加一个坐标系统,使其更容易处分。
让咱们稍稍详备地默契李表面,从李群运转。李群同期是两个东西,它是一个群,但亦然一个流形。
图片
李群-群
领先让咱们了解一下什么是群,因为它是一个更容易的倡导。
www.huangguantiyuvipmedia.vip群基本上是一组称心某些属性的对象,使它们看起来具有对称性。咱们盼望对称性称心的第一个属性是禁闭性。以正三角形的对称性G为例,咱们将 h 默示为沿斜轴的反射对称性,g 默示为沿垂直轴的另一个反射对称性,那么将 g · h 界说为函数组合,即领先作念 h,然后作念 g。事实确认,g 和 h 组合是一个旋转。遵守不迫切-迫切的是遵守仍然是一个对称性,因此它仍然在 G 中。
图片
菲律宾菠菜品牌平台但为了使这个公理成立,咱们需要对每对 g 和 h 皆确认这小数。你不错逐一考据这个情况,但笔据界说,对称性是任何保捏对象不变的变换。是以若是 g 和 h 是对称的,它们保捏对象不变,那么天然,先作念 h 然后作念 g 也会保捏对象不变,因此亦然一个对称性。
对称性还遵照一些其他属性,如“连合律”:
图片
如存在一个恒等元:
图片
临了,对称性皆有一个逆:
图片
图片
若是一组对象称心这4个要求,它就组成一个群。一个对象的对称性天然地变成一个群。若是给定一组数字或矩阵,比如一运转的复数单元圆,搜检该围聚是否称心这些属性是很有必要的。在这种情况下,你只需要使用模数相乘,以至不需要用欧拉公式,
图片
天然,不单是是这个圆变成了一个群。旋转矩阵的围聚,正交或酉矩阵皆是群,
图片
若是你对群不太闇练,我浓烈提出你对这些围聚的群公理进行补习。你所需要的只是转置、伴祥和行列式的一些其他属性,
图片
总之,群只是李表面的一部分。李群亦然流形,那么什么是流形呢?让咱们通过一个例子来相识:复数的圆。
图片
这个圆是流形,意念念是在它上头的每小数,其邻域基本上看起来像一条线,只是变形了。让咱们放大这小数的邻域。
图片
在圆的情况下,这是一个弧,不错平滑地变形为直线。
图片
但相通迫切的是,这条线也不错平滑地变回弧。这种双向变形等于我所说的“看起来像一条线”。天然,不单是是圆上的这一特定点。每个点皆有这么的属性,即邻域看起来像一条线。这等于咱们称圆为一维流形(1-dimensional manifold)的原因。
然则还有更高维的流形,兴味是一样的。
图片
只是任何点的邻域不再看起来像一条线,而是(在这个圆环的情况下)看起来像一个平面。是以,一个圆环的名义是一个二维流形。一个更奇特的例子是SO(3),三维的旋转。SO(3)看起来像什么呢?
图片
关于三维旋转,领先要指明旋转轴,然后是绕这个轴的旋转角度θ。咱们不错将这个特定的旋转默示为流形上的一个点,球是一个实心球。球上的相应点将沿着旋转轴的某处。轴上的位置取决于绕这个轴的旋转角度。例如,这个轴上的点,从中心朝上的θ单元,对应于沿着这个轴的θ旋转。至于场地,使用右手限定。是以这个点在中心上方,意味着使用右手限定的逆时针旋转。临了,咱们将旋转角完满为π,是以若是你的旋转角提升π,那么就朝相背的场地旋转。
图片
这等于咱们不错从几何上念念考SO(3)的面容,但这是一个相当奇怪的几何图形,因为这两个相对的点本色上代表了疏导的旋转:
图片
毕竟,它们皆代表了180度的顺时针或逆时针旋转。你不错把这两个点看作是一个叠加的门,当你朝一个场地旋转得越来越多,况且提升了π,那么立即通过门不绝朝上行进。
图片
但这不单是是一双点,球的名义上的每一个地方皆是一个门,只是旋转轴不同。
若是听起来很奇怪,那照实是奇怪的,然则,这仍然是一个流形,更具体地说是一个三维流形,这不错在更高的维度中正确地可视化,但必须在5维空间中智商作念到这小数。总的来说,一个n维流形意味着通盘的邻域皆“看起来像”n维空间。
李群同期是群和流形的合座念念想意味着两件事:领先,咱们无须把这些SO(n)和SU(n)隧谈地看作一堆矩阵,咱们不错几何地念念考它们,尽管在更高维的旋转中,它变得不那么可视化。其次,在这两者的交叉口,咱们不错使用群论的器用和微分几何的器用,这是流形的商议,来商议它们。李领先将李群视为流形。
李代数
地球的名义是流形的另一个例子,天然地球的名义是波折的,然则咱们不错通过施加一个坐标系统(例如经纬度系统)来制作一张平面的舆图。这么,咱们就不错将复杂的波折空间滚动为更容易处分的平面空间。这是一个将复杂的几何对象(如地球名义)简化为咱们不错更容易处分的对象(如舆图)的例子。
图片
李的念念想是雷同的。李群是复杂的曲面流形,相通,咱们要建立一个坐标系统,一个平的空间来处分它,阿谁平的空间等于李代数。让咱们用更多的细节确认这小数。在李群是复数圆的情况下,坐标系统由1(恒等元)处的切线组成。
图片
它的责任旨趣是将切线向量与圆上的点相对应,这短长常天然的。若是向量的长度是θ,那么咱们将它对应到李群上1处距离θ的一个点。
图片
本色上,这个向量不错被觉得是iθ,
图片
这是因为复数不仅是平面上的小数,也不错被觉得是从原点到该点的一个向量,
图片
是以朝上的向量对应于纯虚数,
图片
因此,这个朝上的切线向量不错被觉得是iθ。然则咱们说,作为一个坐标系统,切线向量对应于距离恒等元θ的一个点,你知谈这个点是什么吗?这恰是
图片
这也与更一般的李群和李代数的特别相似。
领先,有一个李群,咱们想找到这个群的恒等元(即1)。一朝完成了这个任务,辩论恒等式处的切空间。这个平的空间是对应的李群的李代数。
图片
李代数作为坐标系统的责任旨趣是使切空间(即1处的切线)上的切线向量“包装”在李群上,然后取端点。
图片
这种将切线向量对应到流形上的点的“包装”动作称为指数映射(exponential map)。在这个特定的情况下,向量iθ被包装到李群上的e^(iθ),是以它本色上是一个指数映射。
图片
但这种指数映射的倡导适用于一般的流形,而不单是是李群。
换句话说,即使关于一般的流形,将切空间上的切线向量映射到流形上的点的动作仍然被称为指数映射,梦想情况下,咱们但愿只使用平的空间,因为它比波折的对象更容易处分。
这个指数映射,或者本色上,其逆映射,或对数映射,将把流形上的小数复原到平坦空间上的一个切线向量。是以,这是相识李群的第一步。把它作为流形,咱们想要把李群复原为李代数,通过对数映射,将恒等元处的切空间复原。
图片
然则,若是咱们把李群作为群,会怎样呢?群公理告诉咱们群元素和点乘应称心哪些要求,
图片
是以咱们关切这么一个群的乘法是如何运算的。
例如来说,有一个李群,其恒等元用红点默示,对应的李代数,是恒等元处的切空间。中间的红点对应于李群上的恒等元。
图片
让咱们辩论一双元素g,h,以及它们的乘积g·h。咱们不错用对数映射将通盘这些点复原到平坦空间上的切线向量,
图片
皇冠客服飞机:@seo3687该映射将通盘这些点复原到平坦空间上的切线向量。当今,若是只消对应于g和h的这些切线向量,能否不参考李群,就能细则对应于g·h的切线向量呢?
图片
一个活泼的估量可能是
图片
但这些g和h是矩阵,它们的乘法面容与数字不同。
关系词,本色上存在一个公式。若是用X默示log g,用Y默示log h,用Z默示log (g·h),那么Z不错作为无限级数
图片
这看起来令东谈主生畏,但不错明白为两个简便的操作:领先,加法或减法。这恰是那些切线向量的加法或减法。其次,这些方括号,被称为李括号(Lie brackets)。咫尺,你不错将它们视为将两个切线向量变为另一个切线向量的简便但特定的操作。因此,若是咱们还知谈李括号,那么就知谈对应于g·h的切线向量。这个公式,称为Baker-Campbell-Hausdorff公式,简称BCH公式,使咱们八成有余在李代数上复制群乘法。是以,咱们不错只在李代数上运算,而不是在波折的空间上。
当今,在李群上,群公理告诉咱们乘法应该称心什么,而在李代数上,李括号也会相应地称心一些性质。
图片
咫尺,这些性质的细节不迫切,但要知谈,这些李括号的性质往生意自于李群中的乘法性质。识别这些性质是有余烧毁李群,只关注李代数的另一步。因此,尽管咱们正本想商议李群(因为它是一个更通用的结构),但咱们不错转而商议李代数,因为李代数包含了李群的通盘迫切信息,况且它是一个更简便的结构。如今,大大皆教科书将李代数界说为一个具有称心通盘这些性质的李括号的向量空间,但应值得严防的是,这些李群是这些性质的迫切根源。
李表面图示
这引出这个被觉得代表李表面的图示。
图片
这是什么呢?若是你据说过怪兽群(monster group),它们倡导是相似的。关于怪兽群,咱们想要辩论有限群,有限围聚G,
图片
这么不错界说称心这些公理的乘法。这些有限群不错明白为不同的构建块,被称为简便群(simple groups)。
图片
这些简便群是有限群的原子,数学家想要对这些构建块进行分类。有许多不同的机制不错产生无限多的简便群。以相似面容产生的构建块被归为一个无限族(infinite families)。然则还有好多可能性,被称为“稀罕”群(sporadic groups)。有26或27个,取决于你是否想将其中一个(构建块)计较在那些无限族中。
图片
送菠菜电子娱乐平台趁机说一句,这个构建块被称为蒂茨群(Tis group),以法国数学家雅克·蒂茨定名。
图片
这有点离题,因为这些稀罕群的明星是怪兽群,到咫尺为止是最大的、最复杂的稀罕群(这26、27个稀罕群中的)。这个分类与对李代数的分类雷同。雷同于群的界说,李代数也有一个称心某些性质的李括号。只用这些性质,咱们想要对李代数的构建块进行分类。雷同于群的情况,这些简便李代数有无限的族。这不像群,正巧只消4个,永别标为A_n, B_n, C_n和D_n。除了这些无限族外,还有正巧5个被遗漏的,被称为“例外”的李代数,永别标为E_6、E_7、E_8、F_4和G_2。
图片
E_8是这五个中最复杂的,因此它在某种经过上是李代数中的怪兽群。这个特定的图片是E_8的图示刻画:
图片
是以,即使想要商议李群威尼斯官网娱乐场,咱们也要转而商议李代数,因为通盘信息皆被保留了,况且它们更容易商议。
本站仅提供存储干事,通盘内容均由用户发布,如发现存害或侵权内容,请点击举报。