ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
ダウンロード
ブラウザよりも高速アクセス!
 

リー群

索引 リー群

リー群(リーぐん、Lie group)は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。.

80 関係: 単位元単純リー群単純群可微分多様体可解群場の量子論実数三角行列一般線型群代数的閉体代数方程式弦理論作用素体の拡大圏 (数学)圏論ハイゼンベルグ群バナッハ空間ポアンカレ群モジュラー形式ユークリッド空間ユニタリ作用素ユニタリ群リー代数リーマン多様体リー群の表現リー環の指数写像ローレンツ群ヴィラソロ代数トーラスディンキン図形フラクトゥールフェルミ粒子ドナルドソン不変量ベクトル場ベクトル粒子アルマン・ボレルアーベル群カッツ・ムーディ代数ガロア理論クラス (集合論)グルーオンゲージ群コンパクト空間スピン群ソフス・リー冪級数冪零群円周群全射...共形場理論光子回転群等質空間群論特殊線型群特殊相対性理論随伴表現行列要素行列指数関数被覆空間複素数関手量子力学連続 (数学)連結空間P進数接ベクトル空間標準模型正則行列正方行列滑らかな関数指標指数関数有限体斜交群数学的構造曲面時空1950年代 インデックスを展開 (30 もっと) »

単位元

数学、とくに抽象代数学において、単位元(たんいげん, )あるいは中立元(ちゅうりつげん, )は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。.

新しい!!: リー群と単位元 · 続きを見る »

単純リー群

群論において、単純リー群 (simple Lie group) は連結非可換リー群 G であって非自明な連結正規部分群を持たないものである。 単純リー環 (simple Lie algebra) は非可換リー環であってイデアルが 0 と自身しかないものである。単純リー環の直和は半単純リー環と呼ばれる。 単純リー群の同値な定義がから従う:連結リー群はリー環が単純であれば単純である。重要な技術的点は、単純リー群は離散的な正規部分群を含むかもしれず、したがって単純リー群であることは抽象群として単純であることとは異なるということである。 単純リー群は多くのを含む。古典型リー群は球面幾何学、射影幾何学、フェリックス・クラインのエルランゲンプログラムの意味で関連する幾何学の群論的支柱を提供する。どんなよく知られた幾何学にも対応しない可能性もいくつか存在することが単純リー群のの過程で現れた。これらの例外群 (exceptional group) により数学の他の分野や当時の理論物理学の多くの特別な例や configuration が説明される。 単純リー群の概念は公理的観点からは十分であるが、の理論のようなリー理論の応用において、幾分一般的な概念である半単純および簡約リー群がもっと有用であることが証明されている。とくに、すべての連結は簡約であり、一般の簡約群の表現の研究は表現論の主要な分野である。.

新しい!!: リー群と単純リー群 · 続きを見る »

単純群

数学において、単純群 (simple group)とは、自明でない正規部分群 (それ自身と自明群 (単位群) 以外の正規部分群) を持たず、またそれ自身も自明群ではない群である。単純群は自明でない正規部分群を持たないので当然直既約群であるが、直既約群は必ずしも単純群ではない (下の例参照)。 群に主組成列が存在すれば、有限個の直既約群の直積に一意的に分解される (クルル・レマク・シュミットの定理)。しかし、上記の理由により、必ずしも有限個の単純群の直積に分解されるとは限らない。もし、群が有限個の単純群の直積に分解可能であれば、その群は完全可約群または半単純群であるという。また、その場合に限って、主組成列の長さと直積の成分である単純群の個数は一致する浅野啓三・永尾汎 『群論』、岩波書店〈岩波全書〉、1965年、pp102-104。。.

新しい!!: リー群と単純群 · 続きを見る »

可微分多様体

数学において、可微分多様体(かびぶんたようたい、differentiable manifold)、あるいは微分可能多様体(びぶんかのうたようたい)は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート(座標近傍、局所座標)の集まり、アトラス(座標近傍系、局所座標系)、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば(すなわち1つのチャートから別のチャートへの変換が微分可能であれば)、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus (外微分法/外微分学)のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.

新しい!!: リー群と可微分多様体 · 続きを見る »

可解群

数学、特に群論の分野において、可解群(かかいぐん、solvable group, soluble group、Auflösbare Gruppe)は、アーベル群から群の拡大を用いて構成できる群のことである。つまり、可解群は導来列が自明な群で終わるような群のことである。 歴史的には、「可解」という語はガロア理論による5次以上の一般の方程式は代数的に解けないこと(アーベル–ルフィニの定理)の証明から来ている。特に、標数0の体上の代数方程式が根号を用いて解けるのは対応するガロア群が可解群であるとき、およびそのときに限る。.

新しい!!: リー群と可解群 · 続きを見る »

場の量子論

場の量子論(ばのりょうしろん、英:Quantum Field Theory)は、量子化された場(素粒子物理ではこれが素粒子そのものに対応する)の性質を扱う理論である。.

新しい!!: リー群と場の量子論 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: リー群と実数 · 続きを見る »

三角行列

数学の一分野線型代数学における三角行列(さんかくぎょうれつ、triangular matrix)は特別な種類の正方行列である。正方行列が またはであるとは主対角線より「上」の成分がすべて零となるときに言い、同様にまたはとは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は対角行列と呼ぶ。 三角行列に関する行列方程式は解くことが容易であるから、それは数値解析において非常に重要である。LU分解アルゴリズムにより、正則行列が下半三角行列 と上半三角行列 との積 に書くことができるための必要十分条件は、その行列の首座小行列式 (leading principal minor) がすべて非零となることである。.

新しい!!: リー群と三角行列 · 続きを見る »

一般線型群

数学において、一般線型群(いっぱんせんけいぐん、general linear group)とは線型空間上の自己同型写像のなす群のこと。あるいは基底を固定することで、正則行列のなす群のことを指すこともある。.

新しい!!: リー群と一般線型群 · 続きを見る »

代数的閉体

数学において、体 が代数的に閉じているまたは代数的閉体(だいすうてきへいたい、; 代数閉体)であるとは、一次以上の任意の 係数変数多項式が 上に根を持つこと、あるいは同じことであるが、一次以上の任意の 係数一変数多項式が一次多項式の積として書けることである。 代数学の基本定理は、複素数体 が代数的閉体であることを主張する定理である。一方で、有限体 、有理数体 や実数体 は代数的閉体ではない。.

新しい!!: リー群と代数的閉体 · 続きを見る »

代数方程式

数学において、代数方程式 (だいすうほうていしき、algebraic equation) とは(一般には多変数の)多項式を等号で結んだ形で表される方程式の総称で、式で表せば の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。.

新しい!!: リー群と代数方程式 · 続きを見る »

弦理論

弦理論(げんりろん、string theory)は、粒子を0次元の点ではなく1次元の弦として扱う理論、仮説のこと。ひも理論、ストリング理論とも呼ばれる。.

新しい!!: リー群と弦理論 · 続きを見る »

作用素

数学における作用素(さようそ、operator)は、しばしば写像、函数、変換などの同義語として用いられる。函数解析学においては主にヒルベルト空間やバナッハ空間上の(必ずしも写像でない部分写像の意味での)線型変換を単に作用素と呼ぶ。そのような空間として特に函数空間と呼ばれる函数の成す無限次元線型空間は典型的であり(同じものを物理学の分野、特に量子力学などでは演算子(えんざんし)と呼ぶ)、このとき、作用素を関数を別の関数にうつす写像として理解することができる。数(定数関数)の集合に値をとる作用素は汎函数(はんかんすう、functional)と呼ばれる。 また、群や環が空間に作用しているとき、群や環の各元が定める空間上の変換、あるいはその変換が引き起こす関数空間上の変換のことを作用素ということがある。.

新しい!!: リー群と作用素 · 続きを見る »

体の拡大

抽象代数学のとくに体論において体の拡大(たいのかくだい、field extension)は、体の構造や性質を記述する基本的な道具立ての一つである。 体の拡大の理論において、通常は非可換な体を含む場合を扱わない(そのようなものは代数的数論に近い非可換環論あるいは多元環論の範疇に属す)。ただし、非可換体(あるいはもっと一般の環)の部分集合が、非可換体の演算をその部分集合へ制限して得られる演算により、その非可換体を上にある体として(可換な)体構造をもつとき、元の非可換体の(可換)部分体と呼び、元の非可換体を(非可換)拡大体と呼ぶことがある。 以下本項では特に断りの無い限り、体として可換体のみを扱い、単に体と呼称する。.

新しい!!: リー群と体の拡大 · 続きを見る »

圏 (数学)

数学の一分野である圏論において中核的な概念を成す圏(けん、category)は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる 二つの圏が等しい(相等)とは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり(それよりも緩いでさえ強すぎる)、圏同値がしばしば考慮される(二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる)。 圏論が初めて現れるのは Eilenberg–Mac Lane, "General Theory of Natural Equivalences" (1945) と題された論文である。古典的だが今もなお広く用いられる教科書として、マクレーンの がある。.

新しい!!: リー群と圏 (数学) · 続きを見る »

圏論

圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.

新しい!!: リー群と圏論 · 続きを見る »

ハイゼンベルグ群

ハイゼンベルク群 (Heisenberg group) とは、次のような3次の実正方行列がなす群のことをいい、リー群の一種である。 A.

新しい!!: リー群とハイゼンベルグ群 · 続きを見る »

バナッハ空間

数学におけるバナッハ空間(バナッハくうかん、Banach space; バナハ空間)は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。 解析学に現れる多くの無限次元函数空間、例えば連続函数の空間(コンパクトハウスドルフ空間上の連続写像の空間)、 ''L''''p''-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。 バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む。.

新しい!!: リー群とバナッハ空間 · 続きを見る »

ポアンカレ群

ポアンカレ群(ポアンカレぐん、Poincaré group)とは、ポアンカレ変換の為す変換群。10次元のノンコンパクトリー群である。.

新しい!!: リー群とポアンカレ群 · 続きを見る »

モジュラー形式

モジュラー形式は、モジュラー群という大きな群についての対称性をもつ上半平面上の複素解析的函数である。歴史的には数論で興味をもたれる対象であり、現代においても主要な研究対象である一方で、代数トポロジーや弦理論などの他分野にも現れる。 モジュラー函数(modular function): ここでいうモジュラー函数以外にも、「モジュラー函数」という術語はいくつか別の意味で用いられることがあるので注意が必要である。例えば、ハール測度の理論に現れる群の共軛作用から定まる函数 Δ(g) もモジュラー函数と呼ばれることがあるが、別な概念である。は重さ 0 、つまりモジュラー群の作用に関して不変であるモジュラー形式のことを言う。そしてそれゆえに、直線束の切断としてではなく、モジュラー領域上の函数として理解することができる。また、「モジュラー函数」はモジュラー群について不変なモジュラー形式であるが、無限遠点で f(z) が正則性を満たすという条件は必要ない。その代わり、モジュラー函数は無限遠点では有理型である。 モジュラー形式論は、もっと一般の場合である保型形式論の特別な場合であり、従って現在では、離散群の豊かな理論のもっとも具体的な部分であると見ることもできる。.

新しい!!: リー群とモジュラー形式 · 続きを見る »

ユークリッド空間

数学におけるユークリッド空間(ユークリッドくうかん、Euclidean space)は、エウクレイデス(ユークリッド)が研究したような幾何学(ユークリッド幾何学)の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や(三次元)ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、(標準的なモデルを与えるものという意味で)しばしば とかかれるが、(余分な構造を想起させない)ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.

新しい!!: リー群とユークリッド空間 · 続きを見る »

ユニタリ作用素

数学の一分野、函数解析学におけるユニタリ作用素(ユニタリさようそ、unitary operator)は、ヒルベルト空間上の自己同型写像、すなわち構造(今の場合は、作用する対象となる空間の線型空間の構造、内積構造およびそこから定まる位相構造)を保つ全単射である。与えられたヒルベルト空間 からそれ自身へのユニタリ作用素全体の成す集合は群を成し、 のヒルベルト群 と呼ばれることもある。.

新しい!!: リー群とユニタリ作用素 · 続きを見る »

ユニタリ群

n 次のユニタリ群(ユニタリぐん、unitary group) U(n) とは、n 次ユニタリ行列のなす群のことである。演算は行列の積で与えられる。 ユニタリ群は一般線型群の部分群である。.

新しい!!: リー群とユニタリ群 · 続きを見る »

リー代数

数学において、リー代数、もしくはリー環日本語ではしばしば Lie algebra のことをリー環と呼ぶが、後述の Lie ring はより一般的な概念である。本項ではこの2つの用語を区別して用いる。は、「リー括弧積」(リーブラケット、Lie bracket)と呼ばれる非結合的な乗法 を備えたベクトル空間である。 の概念を研究するために導入された。"Lie algebra" という言葉は、ソフス・リーに因んで、1930年代にヘルマン・ワイルにより導入された。古い文献では、無限小群 (infinitesimal group) という言葉も使われている。 リー代数はリー群と密接な関係にある。リー群とは群でも滑らかな多様体でもあるようなもので、積と逆元を取る群演算がであるようなものである。任意のリー群からリー代数が生じる。逆に、実数あるいは複素数上の任意の有限次元リー代数に対し、対応する連結リー群がによる違いを除いて一意的に存在する()。このによってリー群をリー代数によって研究することができる。.

新しい!!: リー群とリー代数 · 続きを見る »

リーマン多様体

微分幾何学におけるリーマン多様体(リーマンたようたい、Riemannian manifold)とは、可微分多様体 で 上の各点に基本計量テンソル が与えられているものを言う。ベルンハルト・リーマンによって導入された。.

新しい!!: リー群とリーマン多様体 · 続きを見る »

リー群の表現

数学や理論物理学では、リー群の表現の考え方は、連続対称性の研究で重要な役割を果たす。 そのような表現は、対応する「無限小」リー代数の表現研究で使用する基本的なツールであることが良く知られている。物理学の文献では、リー群の表現とリー代数の表現との間の違いを強調しないこともある。 Chapter 2.

新しい!!: リー群とリー群の表現 · 続きを見る »

リー環の指数写像

リー群論において、指数写像(しすうしゃぞう、exponential map)は、リー群のリー環から局所的な群構造を取り出せるような、リー環からリー群への写像である。指数写像の存在はリー環のレベルでリー群を研究することの主要な正当性の1つである。 解析学の通常の指数関数は G が正の実数の乗法群(そのリー環は実数全体のなす加法群)のときの指数写像という特別な場合である。リー群の指数写像は通常の指数関数の性質と類似の多くの性質を満たすが、しかしながら、多くの重要な面において異なりもする。.

新しい!!: リー群とリー環の指数写像 · 続きを見る »

ローレンツ群

ヘンドリック・アントーン・ローレンツ (1853–1928)  物理学および数学において、ローレンツ群 (Lorentz group) は、(重力を除いた)全ての古典的な設定における物理現象を説明する基礎となる、ミンコフスキー時空上の全てのローレンツ変換が成す群である。ローレンツ群の名前はオランダ人物理学者ヘンドリック・ローレンツに因む。 ローレンツ変換の下では、次の法則および等式が不変に保たれる。.

新しい!!: リー群とローレンツ群 · 続きを見る »

ヴィラソロ代数

数学・物理学においてヴィラソロ代数(ヴィラソロだいすう、Virasoro algebra)は円周上定義される複素多項式ベクトル場の中心拡大として与えられる無限次元複素リー環で、共形場理論や弦理論において広く用いられる。名称は物理学者のに由来する。.

新しい!!: リー群とヴィラソロ代数 · 続きを見る »

トーラス

初等幾何学におけるトーラス(torus, 複数形: tori)、円環面、輪環面は、円周を回転して得られる回転面である。 いくつかの文脈では、二つの単位円周の直積集合 (に適当な構造を入れたもの)を「トーラス」と定義する。特に、位相幾何学における「トーラス」は、直積位相を備えた に同相な図形の総称として用いられ、 の(コンパクト二次元多様体)として特徴づけられる。このようなトーラスは三次元ユークリッド空間 に位相的に埋め込めるが、各生成円をそれぞれ別の平面 に埋め込んで、それら埋め込みを保つような直積空間としての「トーラス」をユークリッド空間に埋め込むことは では不可能で、 で考える必要がある。これは と呼ばれる、四次元空間内の曲面を成す。 混同すべきでない関連の深い図形として、トーラスに囲まれた領域(三次元図形)すなわち「中身の詰まったトーラス」(solid torus) を、トーラス体、輪環体、円環体などと(対してもとのトーラスをトーラス面 (toroid) と)呼ぶこともある。また、中身の詰まったトーラスを単に「トーラス」(toroid) と呼ぶ場合があるので注意が必要である。また、同様に「円環」などと呼ばれる別の図形アニュラス(annulus、環帯)とも混同してはならない。.

新しい!!: リー群とトーラス · 続きを見る »

ディンキン図形

という数学の分野において、ディンキン図形(ディンキンずけい、Dynkin diagram)とは、二重あるいは三重の辺(二重あるいは三重の線で描かれる)を持ち得るの一種であり、 にちなんで名づけられた。多重辺は制約条件により有向である。 ディンキン図形は代数閉体上の半単純リー環を分類する手段として主に興味を持たれている。これはワイル群を生じる、すなわち(すべてではないが)多くのを生じる。ディンキン図形は他の文脈においても現れる。 「ディンキン図形」という用語には曖昧さがある。ある場合にはディンキン図形は有向であると仮定され、この場合それらはルート系や半単純リー環に対応するが、他の場合には有向でないと仮定され、この場合ワイル群に対応する;有向図形, は同じ無向図形を生じ、これは と呼ばれる。この記事では、「ディンキン図形」は「向き付けられた」ディンキン図形を意味し、「向き付けられていない」ディンキン図形は明示的にそう呼ぶ。 Image:Finite Dynkin diagrams.svg|有限ディンキン図形 Image:Affine Dynkin diagrams.png|アファイン(拡大)ディンキン図形.

新しい!!: リー群とディンキン図形 · 続きを見る »

フラクトゥール

フラクトゥール(独:、フラクトゥーア)は、ドイツ文字、亀の子文字、亀甲文字、ひげ文字などとも呼ばれる書体である。ドイツでは、第二次世界大戦頃までこの書体を印刷に常用していた。 フラクトゥールは、中世のヨーロッパで広く使われた、写本やカリグラフィーの書体を基にした活字体・ブラックレターの一種であり、最も有名なものである。時には、ブラックレターを全部指して「フラクトゥール」と呼ぶこともある。フラクトゥールの語源は、古いラテン語の分詞、frangere(壊す)、fractus(壊れた)であり、他のブラックレターや現在よく使われるローマ字体であるアンティカ体に比べて線が崩れているところに特徴がある。 イマニュエル・カントの書簡。「Breitkopf-Fraktur」というフラクトゥールを用いた文章の例 通常、大文字の I と J には外見上の違いがないか、あってもわずかな差異である。これは、両者の起源は同じであり、区別する必要があまりなかったためでもある。語尾以外では小文字 s に長いs( - 小文字の f によく似ているが、横棒が右側へと貫かない)を用いる。(エス・ツェット)には 長いs と z の合字を用い、ch には、文字同士が接触しないものの、字間が通常より狭い合字をそれぞれ用いる。また、ウムラウト付きの文字 では、現在のウムラウト(点を横に2つ並べたもの)ではなく、その由来となった古い形、すなわち小さな e を文字の上に付した字形のものがしばしば見られる。ハイフンは、右上がりの二重線となる。.

新しい!!: リー群とフラクトゥール · 続きを見る »

フェルミ粒子

フェルミ粒子(フェルミりゅうし)は、フェルミオン(Fermion)とも呼ばれるスピン角運動量の大きさが\hbarの半整数 (1/2, 3/2, 5/2, …) 倍の量子力学的粒子であり、その代表は電子である。その名前は、イタリア=アメリカの物理学者エンリコ・フェルミ (Enrico Fermi) に由来する。.

新しい!!: リー群とフェルミ粒子 · 続きを見る »

ドナルドソン不変量

ドナルドソン理論 (Donaldson theory) は、を用いた滑らかな4次元多様体の研究である。この理論は、コンパクト単連結4次元多様体の2次コホモロジー群上の可能な二次形式を制限してドナルドソンの定理を証明したサイモン・ドナルドソン (1983) により始められた。 ドナルドソン理論の結果の多くは微分構造を持つ多様体に依存し、4次元位相多様体に対しては正しくない。 ドナルドソン理論の定理の多くは今ではを用いると容易に証明できる。.

新しい!!: リー群とドナルドソン不変量 · 続きを見る »

ベクトル場

ベクトル場(ベクトルば、vector field)とは、数学において、幾何学的な空間の広がりの中でベクトル的な量の分布を表すものである。単純化された設定のもとではベクトル場はユークリッド空間 Rn (またはその開集合)からベクトル空間 Rn への関数として与えられる。(局所的な)座標系のもとでベクトル場を表示するときは座標に対してベクトルを与えるような関数を考えることになるが、座標系を変更したときにこの関数は一定の規則に従って変換を受けることが要請される。 ベクトル場の概念は物理学や工学においても積極的にもちいられ、例えば動いている流体の速さと向きや、磁力や重力などの力の強さと向きなどが空間的に分布している状況を表すために用いられている。 現代数学では多様体論にもとづき、多様体上の接ベクトル束の断面として(接)ベクトル場が定義される。.

新しい!!: リー群とベクトル場 · 続きを見る »

ベクトル粒子

ベクトル粒子 (vector boson) はスピン量子数が1であるボース粒子 (boson) である。.

新しい!!: リー群とベクトル粒子 · 続きを見る »

アルマン・ボレル

アルマン・ボレル アルマン・ボレル(Armand Borel, 1923年5月21日 - 2003年8月11日)は、スイスの数学者。ブルバキの一人。バルザン賞受賞者。プリンストン高等研究所教授。.

新しい!!: リー群とアルマン・ボレル · 続きを見る »

アーベル群

数学、とくに抽象代数学におけるアーベル群(アーベルぐん、abelian group)または可換群(かかんぐん、commutative group)は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群(加法群)としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法(例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す)が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.

新しい!!: リー群とアーベル群 · 続きを見る »

カッツ・ムーディ代数

数学において、カッツ・ムーディ(・リー)代数(Kac–Moody algebra)とは、一般カルタン行列を用いて生成元と関係式によって定義できる、通常は無限次元の、リー代数である。独立に発見したヴィクトル・カッツとに因んで名づけられている。カッツ・ムーディ・リー環は有限次元半単純リー環の一般化であり、ルート系、既約表現、との関連といった、リー環の構造に関係した多くの性質は、カッツ・ムーディ・リー環において自然な類似を持つ。 カッツ・ムーディ・リー環の中でもアフィン・リー環と呼ばれるクラスが、数学や理論物理学、特に共形場理論やの理論において、特に重要である。カッツは、組合せ論的な恒等式であるマクドナルド恒等式の、アフィン・リー環の表現論に基づいたエレガントな証明を発見した。Howard Garland と は が類似の方法で導出できることを証明した。.

新しい!!: リー群とカッツ・ムーディ代数 · 続きを見る »

ガロア理論

ア理論(ガロアりろん、Galois theory)は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。 ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。.

新しい!!: リー群とガロア理論 · 続きを見る »

クラス (集合論)

集合論及びその応用としての数学におけるクラスまたは類(るい、class)は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツエルメロ=フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論(たとえば、ノイマン=ベルナイス=ゲーデル集合論 (NBG))では、「クラス」の概念は公理化されている(NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される)。 (どのような定式化を選んだとしても)「全ての集合の集まり」はクラスである。(ZF では厳密な言い方ではないが)このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス(つまり集合)は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある(たとえば滑らかさのクラスの C1-級など)。.

新しい!!: リー群とクラス (集合論) · 続きを見る »

グルーオン

ルーオン()とは、ハドロン内部で強い相互作用を伝える、スピン1のボース粒子である。質量は0で、電荷は中性。また、「色荷(カラー)」と呼ばれる量子数を持ち、その違いによって全部で8種類のグルーオンが存在する。膠着子(こうちゃくし)、糊粒子という呼び方もあるが、あまり使われない。 他のゲージ粒子と違い、通常の温度・密度ではクォーク同様単独で取り出すことは不可能であるとされる。 また、グルーオン自身が色荷を持つため、グルーオンどうしにも相互作用が働く。これは電磁相互作用を伝える光子にはない性質である。この性質により、グルーオンのみで構成された粒子、グルーボールの存在が、格子QCD及び超弦理論によって示唆されている。.

新しい!!: リー群とグルーオン · 続きを見る »

ゲージ群

ージ群(げーじぐん)はゲージ変換に付随する群。 群の存在は対称性、すなわち保存量の存在を示唆している。 大統一理論においてそのゲージ群は SU3 × SU2 × U1を含んでいなければならず、その最小模型である SU5 モデルは陽子崩壊の予言に失敗しており排除されている。.

新しい!!: リー群とゲージ群 · 続きを見る »

コンパクト空間

数学において、コンパクト(compact)は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の(縁を含んだ)単位球体は有界かつ閉集合であるがコンパクトではない(距離位相を入れた場合)。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト(quasi-compact)と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.

新しい!!: リー群とコンパクト空間 · 続きを見る »

スピン群

数学 において、 スピン群(スピンぐん、spin group) Spin(n) は特殊直交群 SO(n) の二重被覆であり、従って、以下に記すリー群の短完全系列が存在する。 n > 2 に対し、Spin(n) は単連結であり、よって SO(n) の普遍被覆である。 従って、リー群 Spin(n) の次元は n(n − 1)/2 と特殊直交群と同じであり、リー環も特殊直交群のものと同じである。 Spin(n) は、クリフォード多元環 Cℓ(n) の乗法可逆元からなる部分群として構成できる。 n 次元実ユークリッド空間 Rn の標準的正値 2 次形式に対するクリフォード多元環および偶クリフォード多元環を夫々 Cℓ(n)、Cℓ0(n) と書く。 Cℓ(n) の乗法可逆元全体 Cℓ(n)× は乗法群になり、Cℓ0(n) の乗法可逆元全体 Cℓ0(n)× はその部分群になる。 X∈Cℓ(n)× に対して、 は Cℓ(n) の内部自己同型である。 一般クリフォード群 は、Cℓ(n)× の部分群で、特殊クリフォード群 も部分群である。 Cℓ(n) の主逆自己同型を J と書くとき、X∈Γ(n) のノルム は Cℓ(n) の中心の可逆元である。 準同型としてのノルム写像 ν の Γ0(n) への制限の核 Ker(ν|Γ0(n)) は、Spin(n) になる。.

新しい!!: リー群とスピン群 · 続きを見る »

ソフス・リー

マリウス・ソフス・リー(Marius Sophus Lie, 1842年12月17日 - 1899年2月18日)は、ノルウェーの数学者 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「リー」より。ISBN 978-4-00-080309-0 C3541 。.

新しい!!: リー群とソフス・リー · 続きを見る »

冪級数

数学において、(一変数の)冪級数(べききゅうすう、power series)あるいは整級数(せいきゅうすう、série entière)とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において (級数の中心 (center))は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.

新しい!!: リー群と冪級数 · 続きを見る »

冪零群

群論における冪零群(べきれいぐん、nilpotent group)は、「ほとんど」アーベルな群である。この概念は、冪零群が可解群となるという事実に裏打ちされ、有限冪零群に対して位数が互いに素な二元は可換となる。有限冪零群はさらにでさえある。冪零群の概念の創始は1930年代におけるロシア人数学者の業績に帰せられる。 冪零群はガロワ理論において、また群の分類理論において、用いられる。あるいはまた、リー群の分類においても顕著である。 冪零あるいは降中心列・昇中心列といった用語は、(導来群を作る操作を、リー括弧積で代用した類似概念を用いて)リー環の理論においても用いられる(冪零リー環の項を参照)。.

新しい!!: リー群と冪零群 · 続きを見る »

円周群

数学における円周群(えんしゅうぐん、circle group; 円群)は の複素数(単位複素数)全体(つまり複素数平面上の単位円)\mathbb T.

新しい!!: リー群と円周群 · 続きを見る »

全射

数学において、写像が全射的(ぜんしゃてき、surjective, onto)であるとは、その終域となる集合の元は何れもその写像の像として得られることを言う。即ち、集合 から集合 への写像 について、 の各元 に対し となるような の元 が(一般には複数あってもよいが)対応させられるとき、写像 は全射 (surjection, onto mapping/function) であるという。全写(あるいは全写像)とも書く。 全射(および単射、双射)の語は20世紀フランスの数学結社ブルバキ(1935年以降『数学原論』シリーズを刊行している)により導入されたものである。接頭辞 sur- はフランス語で「上の」を意味し、写像の始域が終域全体をすっぽり覆い尽くすように写し込まれるイメージを反映したものになっている。sur, in, bi, jection いずれもラテン語源である。.

新しい!!: リー群と全射 · 続きを見る »

共形場理論

共形場理論(きょうけいばりろん、Conformal Field Theory, CFT)とは、共形変換に対して作用が不変な場の理論である。特に、1+1次元系では複素平面をはじめとするリーマン面上での理論として記述される。 共形変換に対する不変性はWard-Takahashi恒等式を要請し、これをもとにエネルギー-運動量テンソル(あるいはストレステンソル)に関する保存量が導出される。また1+1次元系においては、エネルギー-運動量テンソルを展開したものは、Virasoro代数と呼ばれる無限次元リー代数をなし、理論の中心的役割を果たす。 共形変換群は、時空間の対称性であるポアンカレ群の自然な拡張になっており、空間d-1次元+時間1次元のd次元時空間ではリー群SO(d,2)で記述される。この変換群の生成子は(d+2)(d+1)/2個あり、その内訳は以下のとおり。.

新しい!!: リー群と共形場理論 · 続きを見る »

光子

|mean_lifetime.

新しい!!: リー群と光子 · 続きを見る »

回転群

(n 次の)回転群(かいてんぐん、rotation group)あるいは特殊直交群(とくしゅちょっこうぐん、special orthogonal group)とは、n行n列の直交行列であって、行列式が1のもの全体が行列の乗法に関してなす群をいう。SO(n) と書く。 SO(n) はコンパクトリー群であり、n.

新しい!!: リー群と回転群 · 続きを見る »

等質空間

数学、とくにリー群、代数群、位相群の理論において、群 の等質空間(とうしつくうかん、homogeneous space)は、 が推移的に作用するような空でない多様体あるいは位相空間 である。 の元は の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の が空間 の自己同型群であるときである――ここで「自己同型群」は、微分同相群、あるいはの意味である。この場合 が等質空間であるとは、直感的には が、等長写像(リジッド幾何学)、微分同相写像(微分幾何学)、あるいは同相写像(位相幾何学)の意味において、各点で局所的に同じに見えるということである。著者によっては の作用が忠実である(非単位元は非自明に作用する)ことを要求するが、本記事ではそうしない。したがって、 上のある「幾何学的構造」を保ち を単一の G-軌道にすると考えられるような の への群作用が存在する。.

新しい!!: リー群と等質空間 · 続きを見る »

群論

群論(ぐんろん、group theory)とは、群を研究する学問。 群の概念は抽象代数学における中心的な概念。 環・体・ベクトル空間などは、演算や公理が付与された群と看做すことができる。 群論の方法は代数学の大部分に強い影響を与えている。 線形代数群とリー群の理論は群論の一分野。 特に発展を遂げており、独自の適用範囲を持っている。 結晶や、水素原子などの構造の多くは、対称性の群(symmetry group)で表現できる。このように、群論は、物理学や化学の中に多くの実例・応用例がある。 1960年代~80年代に発表された総計1万ページを超える論文によって、完全な有限単純群の分類が達成された。これは多くの数学者の共同作業の賜物であり、20世紀の数学の最も重要な業績の一つ。.

新しい!!: リー群と群論 · 続きを見る »

特殊線型群

数学において、 体 上の次数 の特殊線型群(とくしゅせんけいぐん、special linear group)とは、 行列式が である 次正方行列のなす集合に、通常の行列の積と逆行列の演算が入った群である。この群は、行列式 の核として得られる、一般線型群 の正規部分群である。 ここで は の乗法群(つまり、 から を除いた集合)を表す。 特殊線型群の元は「特殊な」もの、つまりある多項式が定める一般線型群の部分代数多様体、である(行列式は多項式であることに注意)。.

新しい!!: リー群と特殊線型群 · 続きを見る »

特殊相対性理論

特殊相対性理論(とくしゅそうたいせいりろん、Spezielle Relativitätstheorie、Special relativity)とは、慣性運動する観測者が電磁気学的現象および力学的現象をどのように観測するかを記述する、物理学上の理論である。アルベルト・アインシュタインが1905年に発表した論文に端を発する。特殊相対論と呼ばれる事もある。.

新しい!!: リー群と特殊相対性理論 · 続きを見る »

随伴表現

リー群のリー環上への随伴表現(ずいはんひょうげん、adjoint representation)とは、リー群の元をリー環のある種の線型変換として表したものをいう。.

新しい!!: リー群と随伴表現 · 続きを見る »

行列要素

数学における行列要素(ぎようれつようそ、matrix element)、成分 (matrix entry) あるいは係数 (matrix coefficient) は、群上の特別な形の函数で、その群の線型表現と付加的なデータに依存するものである 有限群に対する行列要素は、その群の元の特定の表現に関する作用に対応する行列の成分として表すことができる。 リー群の表現の行列要素は、特殊函数論と緊密な関係を持ち、理論の大部分を統一的に扱う方法を与える。行列要素の増加性質は、局所コンパクト群(特に簡約実および -進群)の既約表現の分類において重大な役割を持つ。行列要素を用いた方法論は、モジュラー形式の概念に莫大な一般化をもたらした。別な方向では、ある種の力学系の持つが、適当な行列要素の性質によって制御される。.

新しい!!: リー群と行列要素 · 続きを見る »

行列指数関数

線型代数学における行列の指数関数(ぎょうれつのしすうかんすう、matrix exponential; 行列乗)は、正方行列に対して定義されるで、通常の(実または複素変数の)指数関数に対応するものである。より抽象的には、行列リー群とその行列リー代数の間の対応関係(指数写像)を行列の指数函数が記述する。 実または複素行列 の指数関数 または は、冪級数 で定義される -次正方行列である。この級数は任意の に対して収束するから、行列 の指数関数は well-defined である。 が 行列のとき、-乗 は 行列であり、その唯一の成分は の唯一の成分に対する通常の指数関数に一致する。これらはしばしば同一視される。この意味において行列の指数函数は、通常の指数函数の一般化である。.

新しい!!: リー群と行列指数関数 · 続きを見る »

被覆空間

数学、特に代数トポロジーにおいて、被覆写像(covering map)あるいは被覆射影(covering projection)とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間(covering space)、X を底空間(base space)と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。 被覆空間はホモトピー論、調和解析、リーマン幾何学、微分幾何学で重要な役割を果たす。たとえば、リーマン幾何学では、分岐は、被覆写像の考え方の一般化である。また、被覆写像はホモトピー群、特に基本群の研究とも深く関係する: X が十分によい位相空間であれば、X の被覆の同値類の集合と 基本群 π1(X) の共役な部分群の類全体との間に全単射が存在する(被覆の分類定理)。 from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below.

新しい!!: リー群と被覆空間 · 続きを見る »

複素数

数学における複素数(ふくそすう、complex number)は、実数の対 と と線型独立な(実数ではない)要素 の線型結合 の形に表される数(二元数: 実数体上の二次拡大環の元)で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数(四元数、八元数、十六元数など)の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係(つまり全順序)をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に(おおくは接頭辞「複素-」を付けることで)反映される。例えば、複素解析、複素行列、複素(係数)多項式、複素リー代数など。.

新しい!!: リー群と複素数 · 続きを見る »

関手

圏論における関手(かんしゅ、functor)は、圏から圏への構造と両立する対応付けである。関手によって一つの数学体系から別の体系への組織的な対応が定式化される。関手は「圏の圏」における射と考えることもできる。 関手の概念の萌芽はエヴァリスト・ガロアによる群を用いた代数方程式の研究に見ることができる。20世紀はじめのエミー・ネーターらによる加群の研究において拡大加群などさまざまな関手的構成が蓄積された。20世紀半ばの代数的位相幾何学において実際に関手が定義され、図形から様々な「自然な」代数的構造を取り出す操作を定式化するために利用された。ここでは(基本群のような)代数的対象が位相空間から導かれ、位相空間の間の連続写像は基本群の間の代数的準同型を導いている。その後アレクサンドル・グロタンディークらによる代数幾何学の変革の中でさまざまな数学的対象の関手による定式化が徹底的に追求された。.

新しい!!: リー群と関手 · 続きを見る »

量子力学

量子力学(りょうしりきがく、quantum mechanics)は、一般相対性理論と同じく現代物理学の根幹を成す理論として知られ、主として分子や原子、あるいはそれを構成する電子など、微視的な物理現象を記述する力学である。 量子力学自身は前述のミクロな系における力学を記述する理論だが、取り扱う系をそうしたミクロな系の集まりとして解析することによって、ニュートン力学に代表される古典論では説明が困難であった巨視的な現象についても記述することができる。たとえば量子統計力学はそのような応用例の一つである。従って、生物や宇宙のようなあらゆる自然現象もその記述の対象となり得る。 代表的な量子力学の理論として、エルヴィン・シュレーディンガーによって創始された、シュレーディンガー方程式を基礎に置く波動力学と、ヴェルナー・ハイゼンベルク、マックス・ボルン、パスクアル・ヨルダンらによって構成された、ハイゼンベルクの運動方程式を基礎に置く行列力学がある。ただしこの二つは数学的に等価である。 基礎科学として重要で、現代の様々な科学や技術に必須な分野である。 たとえば科学分野について、太陽表面の黒点が磁石になっている現象は、量子力学によって初めて解明された。 技術分野について、半導体を利用する電子機器の設計など、微細な領域に関するテクノロジーのほとんどは量子力学を基礎として成り立っている。そのため量子力学の適用範囲の広さと現代生活への影響の大きさは非常に大きなものとなっている。一例として、パソコンや携帯電話、レーザーの発振器などは量子力学の応用で開発されている。工学において、電子工学や超伝導は量子力学を基礎として展開している。.

新しい!!: リー群と量子力学 · 続きを見る »

連続 (数学)

数学において、連続(れんぞく、continuous)および連続性(れんぞくせい、continuity)とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.

新しい!!: リー群と連続 (数学) · 続きを見る »

連結空間

位相幾何学や関連する数学の分野において、連結空間(れんけつくうかん、connected space)とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。 位相空間 X の部分集合が連結であるとは、X の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。 連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間(すなわち連結でない空間)の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。.

新しい!!: リー群と連結空間 · 続きを見る »

P進数

p 進数(ピーしんすう、p-adic number)とは、1897年にクルト・ヘンゼルによって導入された、数の体系の一つである。文脈によっては、その体系の個々の数を指して p 進数と呼ぶこともある。有理数の体系を実数や複素数の体系に拡張するのとは別の方法で、各素数 p に対して p 進数の体系が構成される。それらは有理数のつくる空間の局所的な姿を記述していると考えられ、数学の中でも特に数論において重要な役割を果たす。数学のみならず、素粒子物理学の理論などで使われることもある(例えば ''p'' 進量子力学を参照)。 「p 進数」とは「2進数」や「3進数」の総称に過ぎないので、文字 p がすでに他の場所で用いられている場合、q 進数や l 進数などと表現されることもある。 なお、自然数や実数を 0 と 1 で表現する方法(2進法)やその結果得られる記号列(2進列)も「2進数」と呼ぶ場合があるが、本項の意味での「2進数」とは異なる。.

新しい!!: リー群とP進数 · 続きを見る »

接ベクトル空間

多様体上の接ベクトル空間(せつベクトルくうかん、英語:tangent vector space)あるいは 接空間(英語:tangent space)とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。.

新しい!!: リー群と接ベクトル空間 · 続きを見る »

標準模型

標準模型(ひょうじゅんもけい、、略称: SM)とは、素粒子物理学において、強い相互作用、弱い相互作用、電磁相互作用の3つの基本的な相互作用を記述するための理論のひとつである。標準理論(ひょうじゅんりろん)または標準モデル(ひょうじゅんモデル)とも言う。.

新しい!!: リー群と標準模型 · 続きを見る »

正則行列

正則行列(せいそくぎょうれつ、regular matrix)、非特異行列(ひとくいぎょうれつ、non-singular matrix)あるいは可逆行列(かぎゃくぎょうれつ、invertible matrix)とは行列の通常の積に関する逆元を持つ正方行列のこと、言い換えると逆行列が存在する行列のことである。 ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群はあるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。.

新しい!!: リー群と正則行列 · 続きを見る »

正方行列

正方行列(せいほうぎょうれつ、square matrix)とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 \end.

新しい!!: リー群と正方行列 · 続きを見る »

滑らかな関数

数学において、関数の滑らかさ(なめらかさ、smoothness)は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.

新しい!!: リー群と滑らかな関数 · 続きを見る »

指標

指標(しひょう)とは、物事を判断したり評価したりするための目じるしとなるもの。.

新しい!!: リー群と指標 · 続きを見る »

指数関数

実解析における指数関数(しすうかんすう、exponential function)は、冪における指数 を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数の逆関数であるため、逆対数 と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる(や指数関数的減衰の項を参照)。 一般に、 かつ なる定数 に関して、(主に実数の上を亙る)変数 を へ送る関数は、「a を'''底'''とする指数函数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪関数とは対照的である。 しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数(あるいはより明示的に「自然指数関数」)はネイピア数 を底とする関数 である。これを のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 を他の底 に取り換えるには自然対数 を用いて、等式 を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。.

新しい!!: リー群と指数関数 · 続きを見る »

有限体

有限体(ゆうげんたい、英語:finite field)とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域(ガロアいき、Galois field)などとも呼ぶ。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。.

新しい!!: リー群と有限体 · 続きを見る »

斜交群

数学において、斜交群(しゃこうぐん、symplectic group)またはシンプレクティック群は、極めて密接に関連するが、異なる 2 つの群を意味し得る。 この記事では、この二つの群を Sp(2n, F) および Sp(n) と記す。 前者と区別するため、後者は屡、コンパクト斜交群と呼ばれる。 多くの筆者が若干異なる記号を使う傾向にあるが、それは、2 の因数だけ異なる。 ここでの記号は、群を表現するために使う行列の大きさに合わせることとする。.

新しい!!: リー群と斜交群 · 続きを見る »

数学的構造

数学における構造(こうぞう、mathematical structure)とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.

新しい!!: リー群と数学的構造 · 続きを見る »

曲面

数学、特に位相幾何学における曲面(きょくめん、surface)は二次元位相多様体である。最もよく知られた曲面の例は、古典的な三次元ユークリッド空間 R3 内の立体の境界として得られる曲面である。例えば、球体の境界としての球面はそのようなものの例になっている。他方でクラインの壷などの、特異点や自己交叉を持つことなしに三次元ユークリッド空間に埋め込み不可能な曲面というものも存在する。 曲面が「二次元」であるというのは、それが二次元の座標系を入れた「座標付きのきれはし」の貼り合せになっているということを指し示している。例えば、「地球の表面」は(理想的には)二次元球面であり、経線と緯線はその球面上の二次元座標系を与えている(ただし、両極を180度子午線で結んだ部分を除く)。.

新しい!!: リー群と曲面 · 続きを見る »

時空

時空(じくう、spacetime)は、時間と空間を合わせて表現する物理学の用語、または、時間と空間を同時に、場合によっては相互に関連したものとして扱う概念である。時空間()とも。.

新しい!!: リー群と時空 · 続きを見る »

1950年代

1950年代(せんきゅうひゃくごじゅうねんだい)は、西暦(グレゴリオ暦)1950年から1959年までの10年間を指す十年紀。この項目では、国際的な視点に基づいた1950年代について記載する。.

新しい!!: リー群と1950年代 · 続きを見る »

ここにリダイレクトされます:

Lie群リー部分群部分リー群

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »