ルート系と双対ベクトル空間

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ルート系と双対ベクトル空間の違い

ルート系 vs. 双対ベクトル空間

数学において，ルート系（root system，système de racines）とはある幾何学的な性質を満たすユークリッド空間のベクトルの配置である．これはリー群やリー環の理論において基本的な概念である．リー群（や代数群のような類似物）やリー環は20世紀の間に数学の多くの部分で重要になってきたから，ルート系の一見すると特別な性質に反してそれらは多くの分野に応用される．さらに，ディンキン図形によるルート系の分類体系は（のような）リー理論とあからさまなつながりの全くない数学の分野において現れる．最後に，ルート系はにおけるように，それ自身重要である．. 数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、dual vector space）あるいは単に双対空間（そうついくうかん、dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。.

可換体

抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

ルート系と可換体 · 双対ベクトル空間と可換体 · 続きを見る »

同型写像

数学において，同型写像（isomorphismfrom the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape"）あるいは単に同型とは，は準同型写像あるいは射であって，逆射を持つものである逆関数ではない．．2つの数学的対象が同型 (isomorphic) であるとは，それらの間に同型写像が存在することをいう．自己同型写像は始域と終域が同じ同型写像である．同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある．したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい． 群や環を含むほとんどの代数的構造に対して，準同型写像が同型写像であることと全単射であることは同値である． 位相幾何学において，射とは連続写像のことであるが，同型写像は同相写像あるいは双連続写像とも呼ばれる．解析学において，射は可微分関数であり，同型写像は微分同相とも呼ばれる． 標準的な同型写像 (canonical isomorphism) は同型であるようなである．2つの対象が標準的に同型 (canonically isomorphic) であるとは，それらの間に標準的な同型写像が存在することをいう．例えば，有限次元ベクトル空間 から二重双対空間への標準的な写像は標準的な同型写像である．一方， は双対空間に同型であるが，一般には標準的にではない． 同型写像は圏論を用いて形式化される．ある圏の射 が同型射であるとは，両側逆射を持つことをいう，すなわち，その圏における別の射 があって， かつ となる，ただし と はそれぞれ と の恒等射である．.

ルート系と同型写像 · 双対ベクトル空間と同型写像 · 続きを見る »

ベクトル空間

数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.

ベクトル空間とルート系 · ベクトル空間と双対ベクトル空間 · 続きを見る »

複素数

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

ルート系と複素数 · 双対ベクトル空間と複素数 · 続きを見る »

標準基底

線型代数学における標準基底（ひょうじゅんきてい、standard basis, canonical basis）または自然基底 (natural basis) は直交座標系の各軸方向に向かう単位ベクトルからなるユークリッド空間の基底を言う。例えばユークリッド平面の標準基底は であり、三次元ユークリッド空間の標準基底は で与えられる。ここで、各ベクトル ex, ey, ez はそれぞれ x-軸方向、y-軸方向、z-軸方向を向いている。この基底を表すのによく用いられる記法として、,,, などを挙げることができる。単位ベクトルであることを強調するためにサーカムフレックス（キャレット）を載せることもある。 ここでいう基底は、それらのベクトルの線型結合として、任意のベクトルがそれぞれただ一通りに表されるという意味においていう。例えば三次元ベクトル v は必ず なる形に書くことができて、スカラー vx, vy, vz は v の座標成分になる。.

ルート系と標準基底 · 双対ベクトル空間と標準基底 · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

ルート系と数学 · 双対ベクトル空間と数学 · 続きを見る »