ブラウザよりも高速アクセス！線型代数学と行列間の類似点
線型代数学と行列は（ユニオンペディアに）共通で58ものを持っています: 基底、単位行列、可換体、双対ベクトル空間、双線型形式、対称群、対称行列、対角化、対角行列、小行列式、三角行列、一次関数、交代行列、像 (数学)、ハメル次元、ヤコビ行列、ユークリッド空間、ユニタリ行列、リー代数、レオポルト・クロネッカー、テンソル、フェルディナント・ゲオルク・フロベニウス、フェルディナント・ゴットホルト・マックス・アイゼンシュタイン、ベクトル空間、アーサー・ケイリー、エルミート行列、カール・ワイエルシュトラス、ガウスの消去法、クラメルの公式、ケイリー・ハミルトンの定理、...、ゴットフリート・ライプニッツ、ジョルダン標準形、ジェームス・ジョセフ・シルベスター、内積、回転行列、固有値、線型写像、線型結合、線型独立、線型方程式系、環 (数学)、特異値分解、直交行列、随伴行列、行列、行列の相似、行列の階数、行列式、解析学、計量ベクトル空間、関孝和、関数解析学、量子力学、零行列、核 (代数学)、正則行列、正規行列、正方行列。 インデックスを展開 (28 もっと) »
基底
* 一般.
単位行列
数学、特に線型代数学において、単位行列（たんいぎょうれつ、identity matrix）とは、単位的環上で定義される同じ型の正方行列同士の、積演算における単位元のことである。.
単位行列と線型代数学 · 単位行列と行列 ·
可換体
抽象代数学において、可換体（かかんたい、corps commutatif）あるいは単に体（たい、field）本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。（ガロワ理論を含む）体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.
双対ベクトル空間
数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、dual vector space）あるいは単に双対空間（そうついくうかん、dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。.
双対ベクトル空間と線型代数学 · 双対ベクトル空間と行列 ·
双線型形式
数学の特に抽象代数学および線型代数学における双線型形式（そうせんけいけいしき、bilinear form）とは、スカラー値の双線型写像、すなわち各引数に対してそれぞれ線型写像となっている二変数函数を言う。より具体的に、係数体 上のベクトル空間 で定義される双線型形式 は.
双線型形式と線型代数学 · 双線型形式と行列 ·
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
対称行列
線型代数学における対称行列（たいしょうぎょうれつ、symmetric matrix）は、自身の転置行列と一致するような正方行列を言う。記号で書けば、行列 A は を満たすとき対称であるという。相等しい行列の型（次元、サイズ）は相等しいから、この式を満たすのは正方行列に限られる。 定義により、対称行列の成分は主対角線に関して対称である。即ち、成分に関して行列 は任意の添字 に関して を満たす。例えば、次の 行列 1 & 7 & 3\\ 7 & 4 & -5\\ 3 & -5 & 6 \end は対称である。任意の正方対角行列は、その非対角成分が であるから、対称である。同様に、歪対称行列（ なる行列）の各対角成分は、自身と符号を変えたものと等しいから、すべて でなければならない。 線型代数学において、実対称行列は実内積空間上の自己随伴作用素を表す。これと、複素内積空間の場合に対応する概念は、複素数を成分に持つエルミート行列（自身の共役転置行列と一致するような複素行列）である。故に、複素数体上の線型代数学においては、対称行列という言葉は行列が実数に成分をとる場合に限って使うことがしばしばある。対称行列は様々な応用の場面に現れ、典型的な数値線型代数ソフトウェアではこれらに特別な便宜をさいている。.
対称行列と線型代数学 · 対称行列と行列 ·
対角化
対角化（たいかくか、diagonalization）とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向（固有空間）へのスカラー倍（固有値）として現れるようにすること。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことが出来る。.
対角行列
数学、特に線型代数学において、対角行列（たいかくぎょうれつ、diagonal matrix）とは、正方行列であって、その対角成分（-要素）以外が零であるような行列のことである。 \end この対角行列は、クロネッカーのデルタを用いて (ci δij) と表現できる。また、しばしば のようにも書かれる。 単位行列やスカラー行列は対角行列の特殊例である。.
対角行列と線型代数学 · 対角行列と行列 ·
小行列式
線型代数学において，行列 の小行列式（しょうぎょうれつしき，minor, minor determinant）とは， から1列以上の行や列を取り除いて得られる小さい正方行列の行列式である．正方行列から行と列をただ1つずつ取り除いて得られる小行列式 (first minors; 第一小行列式) は行列の余因子 (cofactor) を計算するのに必要で，これは正方行列の行列式や逆行列の計算に有用である．.
小行列式と線型代数学 · 小行列式と行列 ·
三角行列
数学の一分野線型代数学における三角行列（さんかくぎょうれつ、triangular matrix）は特別な種類の正方行列である。正方行列が またはであるとは主対角線より「上」の成分がすべて零となるときに言い、同様にまたはとは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は対角行列と呼ぶ。 三角行列に関する行列方程式は解くことが容易であるから、それは数値解析において非常に重要である。LU分解アルゴリズムにより、正則行列が下半三角行列 と上半三角行列 との積 に書くことができるための必要十分条件は、その行列の首座小行列式 (leading principal minor) がすべて非零となることである。.
三角行列と線型代数学 · 三角行列と行列 ·
一次関数
y-切片を持つ。 数学、特に初等解析学における（狭義の）一次関数（いちじかんすう、linear function）は、（の）一次（）、つまり次数 の多項式が定める関数 をいう。ここで、係数 は に依存しない定数であり、矢印は各値 に対して を対応させる関数であることを意味する。特に解析幾何学において、係数および定義域は実数の範囲で扱われ、その場合一次関数のグラフは平面直線である。 より広義には、係数や定義域として複素数やその他の環を考えたり、多変数の一次多項式函数や、あるいは一次式をベクトル空間や作用を持つ加群の文脈で理解することもある。 一次関数は線型関数（ の直訳）やアフィン関数 とも呼ばれ、この場合しばしば定数関数 も含む。ベクトルを変数とする広義の一次関数はアフィン写像と呼ばれ、これはベクトルにベクトルを対応させる写像であるが、ふつう線型写像はその特別な場合 で斉一次函数で与えられる。 以下、解析幾何学における実函数としての一次函数について述べる。.
一次関数と線型代数学 · 一次関数と行列 ·
交代行列
線型代数学において、交代行列（こうたいぎょうれつ、alternative matrix）、歪対称行列（わいたいしょうぎょうれつ、skew-symmetric matrix）または反対称行列（はんたいしょうぎょうれつ、antisymmetric matrix, antimetric matrix; 反称行列）は、正方行列 であってその転置 が自身の 倍となるものをいう。すなわち、転置に対して反対称性を持つ行列は交代行列である。交代行列とは逆に、転置に対して対称な行列は対称行列と呼ばれる。本項において（何も言わなければ）、係数体の標数 は でない と仮定する。標数が のとき、任意のスカラーは自身を反数として持つので、任意の歪対称行列は対称行列の概念に一致する。歪対称行列に付随する双線型形式は歪対称形式であり、標数 のときは対称形式になる。一方、付随する双線型形式が交代形式であるような行列を「交代行列」と呼べば、標数 のとき「交代行列」は歪対称（.
交代行列と線型代数学 · 交代行列と行列 ·
像 (数学)
'''f''' は始域 '''X''' から終域 '''Y''' への写像。'''Y''' の内側にある小さな楕円形が '''f''' の像である。 数学において、何らかの写像の像（ぞう、image）は、写像の始域（域、定義域）の部分集合上での写像の出力となるもの全てからなる、写像の終域（余域）の部分集合である。すなわち、始域の部分集合 X の各元において写像の値を評価することによって得られる集合を f による（または f に関する、f のもとでの、f を通じた）X の像という。また、写像の終域の何らかの部分集合 S の逆像（ぎゃくぞう、inverse image）あるいは原像（げんぞう、preimage）は、S の元に写ってくるような始域の元全体からなる集合である。 像および逆像は、写像のみならず一般の二項関係に対しても定義することができる。.
ハメル次元
数学における、ベクトル空間の次元（じげん、dimension）とは、その基底の濃度、すなわち基底に属するベクトルの個数）である。 他の種類の次元との区別のため、ハメル次元または代数次元と呼ばれることもある。この定義は「任意のベクトル空間は（選択公理を仮定すれば）基底を持つ」ことと「一つのベクトル空間の基底は、どの二つも必ず同じ濃度を持つ」という二つの事実に依存しており、これらの事実の結果として、ベクトル空間の次元は空間に対して一意的に定まる。体 F 上のベクトル空間 V の次元を dimF(V) あるいは で表す（文脈から基礎とする体 F が明らかならば単に dim(V) と書く）。 ベクトル空間 V が有限次元であるとは、その次元が有限値であるときにいう。.
ハメル次元と線型代数学 · ハメル次元と行列 ·
ヤコビ行列
数学、特に多変数微分積分学およびベクトル解析におけるヤコビ行列（やこびぎょうれつ、Jacobian matrix）あるいは単にヤコビアンまたは関数行列（かんすうぎょうれつ、Funktionalmatrix）は、一変数スカラー値関数における接線の傾きおよび一変数ベクトル値函数の勾配の、多変数ベクトル値関数に対する拡張、高次元化である。名称はカール・グスタフ・ヤコブ・ヤコビに因む。多変数ベクトル値関数 のヤコビ行列は、 の各成分の各軸方向への方向微分を並べてできる行列で \end\quad (f.
ヤコビ行列と線型代数学 · ヤコビ行列と行列 ·
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
ユークリッド空間と線型代数学 · ユークリッド空間と行列 ·
ユニタリ行列
ユニタリ行列（～ぎょうれつ、英:Unitary matrix）は、次を満たす複素正方行列 として定義される。 ここで、 は単位行列、 は行列 の随伴行列。 なお、実数で構成される行列の随伴は単に転置であるため実ユニタリ行列は直交行列に等しく、直交行列を複素数体へ拡張したものがユニタリ行列とも言える。.
リー代数
数学において、リー代数、もしくはリー環日本語ではしばしば Lie algebra のことをリー環と呼ぶが、後述の Lie ring はより一般的な概念である。本項ではこの2つの用語を区別して用いる。は、「リー括弧積」（リーブラケット、Lie bracket）と呼ばれる非結合的な乗法 を備えたベクトル空間である。 の概念を研究するために導入された。"Lie algebra" という言葉は、ソフス・リーに因んで、1930年代にヘルマン・ワイルにより導入された。古い文献では、無限小群 (infinitesimal group) という言葉も使われている。 リー代数はリー群と密接な関係にある。リー群とは群でも滑らかな多様体でもあるようなもので、積と逆元を取る群演算がであるようなものである。任意のリー群からリー代数が生じる。逆に、実数あるいは複素数上の任意の有限次元リー代数に対し、対応する連結リー群がによる違いを除いて一意的に存在する（）。このによってリー群をリー代数によって研究することができる。.
リー代数と線型代数学 · リー代数と行列 ·
レオポルト・クロネッカー
レオポルト・クロネッカー（Leopold Kronecker, 1823年12月7日 - 1891年12月29日）はドイツの数学者である。リーグニッツ(現在のポーランド・レグニツァ Legnica)生まれ。ユダヤ系。 彼は、ヤコビ、ディリクレ、アイゼンシュタイン、クンマーといったドイツの先達の後に立って、また、パリ滞在中にエルミートなどの影響によって、群論、モジュラー方程式、代数的整数論、楕円関数、また行列式の理論において大きな業績を残した。クロネッカーの名前は現在でも、クロネッカーのデルタ、クロネッカー積、クロネッカー＝ウェーバーの定理、クロネッカーの青春の夢などに見ることができる。.
レオポルト・クロネッカーと線型代数学 · レオポルト・クロネッカーと行列 ·
テンソル
テンソル（tensor, Tensor）とは、線形的な量または線形的な幾何概念を一般化したもので、基底を選べば、多次元の配列として表現できるようなものである。しかし、テンソル自身は、特定の座標系によらないで定まる対象である。個々のテンソルについて、対応する量を記述するのに必要な配列の添字の組の数は、そのテンソルの階数とよばれる。 例えば、質量や温度などのスカラー量は階数0のテンソルだと理解される。同様にして力や運動量などのベクトル的な量は階数1のテンソルであり、力や加速度ベクトルの間の異方的な関係などをあらわす線型変換は階数2のテンソルで表される。 物理学や工学においてしばしば「テンソル」と呼ばれているものは、実際には位置や時刻を引数としテンソル量を返す関数である「テンソル場」であることに注意しなければならない。いずれにせよテンソル場の理解のためにはテンソルそのものの概念の理解が不可欠である。.
テンソルと線型代数学 · テンソルと行列 ·
フェルディナント・ゲオルク・フロベニウス
フェルディナント・ゲオルク・フロベニウス フェルディナント・ゲオルク・フロベニウス（Georg Ferdinand Frobenius、1849年10月26日 - 1917年8月3日）はドイツの数学者。 ベルリンに生まれる。1867年ゲッティンゲン大学に入学、その後ベルリン大学に転じて、1870年に博士号を取得。1874年ベルリン大学助教授、1875年から1902年までチューリッヒ工科大学教授を務めた。1902年からベルリン大学教授となり、最期までその職にあり続けた。 群の指標の概念を導入し、有限群の表現論を実質的に完成した。これはのちに量子力学に不可欠のものとなる。また代数的整数論でフロベニウス置換を発見。.
フェルディナント・ゲオルク・フロベニウスと線型代数学 · フェルディナント・ゲオルク・フロベニウスと行列 ·
フェルディナント・ゴットホルト・マックス・アイゼンシュタイン
フェルディナント・ゴットホルト・マックス・アイゼンシュタイン（Ferdinand Gotthold Max Eisenstein、1823年4月16日 - 1852年10月11日）は、ドイツの数学者。楕円関数論、行列の理論やアイゼンシュタイン整数の発見などの業績を残したが若くして結核で亡くなった。ガウスやディリクレのもとで学び、ガウスも彼の才能を高く評価していた。ベルリン大学で学生時代に、レオポルト・クロネッカーと友人になった。リーマンはベルリン大学で彼の講義を受けている。 楕円関数論での研究では、（関数論に依拠するのではなく）整数論との関連を重視して多くの公式を具体的に与えた。この成果を晩年のクロネッカーが見出して、楕円関数論に新たな方向性をもたらすことになる。.
フェルディナント・ゴットホルト・マックス・アイゼンシュタインと線型代数学 · フェルディナント・ゴットホルト・マックス・アイゼンシュタインと行列 ·
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
アーサー・ケイリー
アーサー・ケイリー（、、1821年8月16日 - 1895年1月26日）は、イギリスの数学者、弁護士。行列に関するケイリー・ハミルトンの定理で有名。.
アーサー・ケイリーと線型代数学 · アーサー・ケイリーと行列 ·
エルミート行列
線型代数学におけるエルミート行列（エルミートぎょうれつ、Hermitian matrix）または自己随伴行列（じこずいはんぎょうれつ、self-adjoint matrix）は、複素数に成分をとる正方行列で自身の随伴行列（共軛転置）と一致するようなものを言う。エルミート行列は、実対称行列の複素数に対する拡張版の概念として理解することができる。 行列 の随伴を と書くとき、複素行列がエルミートであるということは、 が成り立つということであり、これはまた が成り立つことと同値ゆえ、その成分は任意の添字 について -成分は -成分の複素共軛と等しい。 随伴行列 は と書かれるほうが普通だが、 を複素共軛（本項では と書いた）の意味で使う文献も多く紛らわしい。 エルミート行列の名はシャルル・エルミートに因む。エルミートは1855年、この種の行列が固有値が常に実数となるという実対称行列と同じ性質を持つことを示した。 よく知られたパウリ行列、ゲルマン行列および一般化されたそれらはエルミートである。理論物理学においてそれらのエルミート行列には、しばしば虚数の係数が掛かって歪エルミート行列となる。.
カール・ワイエルシュトラス
ール・ワイエルシュトラス カール・テオドル・ヴィルヘルム・ワイエルシュトラス（Karl Theodor Wilhelm Weierstraß, 1815年10月31日 – 1897年2月19日）はドイツの数学者である。姓のワイ (Wei) の部分はヴァイと表記するほうが正確である。また、"er" に当たる部分はエル/ヤ/ア、"st" はシュト/スト、"raß" はラス/ラースとそれぞれ表記されることがある。.
カール・ワイエルシュトラスと線型代数学 · カール・ワイエルシュトラスと行列 ·
ガウスの消去法
ウスの消去法（ガウスのしょうきょほう、Gaussian elimination）あるいは掃き出し法（はきだしほう、row reduction）とは、連立一次方程式を解くための多項式時間アルゴリズムであり、通常は問題となる連立一次方程式の係数からなる拡大係数行列に対して行われる一連の変形操作を意味する。 同様のアルゴリズムは歴史的には前漢に九章算術で初めて記述された。連立一次方程式の解法以外にも.
クラメルの公式
線型代数学におけるクラメルの法則あるいはクラメルの公式（クラメルのこうしき、Cramer's rule; クラメルの規則）は、未知数の数と方程式の本数が一致し、かつ一意的に解ける線型方程式系の解を明示的に書き表す行列式公式である。これは、方程式の解を正方係数行列とその各列ベクトルを一つずつ方程式の右辺のベクトルで置き換えて得られる行列の行列式で表すものになっている。名称はガブリエル・クラーメル (1704–1752) に因むもので、クラーメルは任意個の未知数に関する法則を1750年に記している。なお特別の場合に限れば、コリン・マクローリンが1748年に公表している（また、恐らくはそれを1729年ごろにはすでに知っていたと思われる）。.
ケイリー・ハミルトンの定理
イリー・ハミルトンの定理（ケイリー・ハミルトンのていり、Cayley–Hamilton theorem）、またはハミルトン・ケイリーの定理とは、線型代数学において、（実数体や複素数体を含む）可換環上の正方行列は固有方程式を満たすという定理である。アーサー・ケイリーとウィリアム・ローワン・ハミルトンにちなむ。.
ケイリー・ハミルトンの定理と線型代数学 · ケイリー・ハミルトンの定理と行列 ·
ゴットフリート・ライプニッツ
ットフリート・ヴィルヘルム・ライプニッツ（Gottfried Wilhelm Leibniz、1646年7月1日（グレゴリオ暦）/6月21日（ユリウス暦） - 1716年11月14日）は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、（ライプニッツ）としているものと、（ライブニッツ）としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.
ゴットフリート・ライプニッツと線型代数学 · ゴットフリート・ライプニッツと行列 ·
ジョルダン標準形
ョルダン標準形（ジョルダンひょうじゅんけい、Jordan normal form）とは、代数的閉体（例えば複素数体）上の正方行列に対する標準形のことである。任意の正方行列は本質的にただ一つのジョルダン標準形と相似である。名前はカミーユ・ジョルダンにちなむ。.
ジョルダン標準形と線型代数学 · ジョルダン標準形と行列 ·
ジェームス・ジョセフ・シルベスター
ェームス・ジョセフ・シルベスター（James Joseph Sylvester, 1814年9月3日 - 1897年3月15日）は、イギリスの数学者。 1838年からユニヴァーシティ・カレッジ・ロンドン教授、1877年に渡米してジョンズ・ホプキンス大学教授、1883年からオックスフォード大学の幾何学の Savillian 教授を歴任した。1839年王立協会フェロー選出。 w:American Journal of Mathematicsを創刊。シルベスター行列などに名を残している。.
ジェームス・ジョセフ・シルベスターと線型代数学 · ジェームス・ジョセフ・シルベスターと行列 ·
内積
線型代数学における内積（ないせき、inner product）は、（実または複素）ベクトル空間上で定義される非退化かつ正定値のエルミート半双線型形式（実係数の場合には対称双線型形式）のことである。二つのベクトルに対してある数（スカラー）を定める演算であるためスカラー積（スカラーせき、scalar product）ともいう。内積を備えるベクトル空間は内積空間と呼ばれ、内積の定める計量を持つ幾何学的な空間と見做される。エルミート半双線型形式の意味での内積はしばしば、エルミート内積またはユニタリ内積と呼ばれる。.
回転行列
線型代数において、回転行列（かいてんぎょうれつ、rotation matrix）とは、ユークリッド空間内における原点中心の回転変換の表現行列のことである。 二次元や三次元では、幾何学、物理学、コンピュータグラフィックスの分野での計算に非常によく使われている。大半の応用で扱うのは2次元や3次元の回転だが、一般の次元でも回転行列を定義することができる。 n 次元空間における回転行列は、実数を成分とする正方行列であって、行列式が 1 の n 次直交行列として特徴づけられる： n 次元の回転行列の全体は特殊直交群（あるいは回転群）と呼ばれる群をなす。.
回転行列と線型代数学 · 回転行列と行列 ·
固有値
線型代数学において、線型変換の特徴を表す指標として固有値 (eigenvalue) や固有ベクトル (eigenvector) がある。この2つの用語を合わせて、固有対 (eigenpair) という。与えられた線型変換の固有値および固有ベクトルを求める問題のことを固有値問題 (eigenvalue problem) という。ヒルベルト空間論において線型作用素 あるいは線型演算子と呼ばれるものは線型変換であり、やはりその固有値や固有ベクトルを考えることができる。固有値という言葉は無限次元ヒルベルト空間論や作用素代数におけるスペクトルの意味でもしばしば使われる。.
線型写像
数学の特に線型代数学における線型変換（せんけいへんかん、linear transformation、一次変換）あるいは線型写像（せんけいしゃぞう、linear mapping）は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像（自己準同型）の意味で用いていることも少なくない。また函数解析学の分野では、（特に無限次元空間上の）線型写像のことを「線型作用素」（せんけいさようそ、linear operator）と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」（いちじけいしき、linear form, one-form; 線型形式; 1-形式）とも呼ばれる一次の微分形式（一次微分形式もしくは微分一次形式; differential one-form）を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.
線型代数学と線型写像 · 線型写像と行列 ·
線型結合
線型結合（せんけいけつごう、）は、線型代数学およびその関連分野で用いられる中心的な概念の一つで、平たく言えば、ベクトルの定数倍と加え合わせのことである。一次結合あるいは線型和とも呼ぶ。 いくつかのベクトルを組み合わせると他のベクトルを作ることができる。例えば、2次元数ベクトルを例にとれば、ベクトル v.
線型代数学と線型結合 · 線型結合と行列 ·
線型独立
線型代数学において、ベクトルの集合が線型独立 (せんけいどくりつ、linearly independent) または一次独立であるとは、線型従属（一次従属）でないこと、つまり集合のベクトルの線型結合によるゼロベクトルの表示が自明なものに限ることをいう（#定義）。.
線型代数学と線型独立 · 線型独立と行列 ·
線型方程式系
数学において、線型方程式系（せんけいほうていしきけい）とは、同時に成立する複数の線型方程式（一次方程式）の組のことである。線形等の用字・表記の揺れについては線型性を参照。 複数の方程式の組み合わせを方程式系あるいは連立方程式と呼ぶことから、線型方程式系のことを一次方程式系、連立線型方程式、連立一次方程式等とも呼ぶこともある。.
環 (数学)
数学における環（かん、ring）は、台集合に「加法」（和）および「乗法」（積）と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである（これは乗法が可換だから可換環の例でもある）。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す（乗法単位元の存在を要求しない）こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは（整数環や多項式環などの）よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則（の根底にある特殊相対性）や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野（主に数論）からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する（イデアルをつかって剰余環を作り、単純環に帰着するなど）。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える（前者は代数的数論や代数幾何学の範疇に属する）。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環（斜体）が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.
特異値分解
特異値分解（とくいちぶんかい、singular value decomposition; SVD）とは、線形代数学における、複素数あるいは実数を成分とする行列に対する行列分解の一手法である。信号処理や統計学の分野で用いられる。特異値分解は、行列に対するスペクトル定理の一般化とも考えられ、正方行列に限らず任意の形の行列を分解できる。.
特異値分解と線型代数学 · 特異値分解と行列 ·
直交行列
交行列（ちょっこうぎょうれつ, ）とは、転置行列と逆行列が等しくなる正方行列のこと。つまりn × n の行列 M の転置行列を MT と表すときに、MTM.
直交行列と線型代数学 · 直交行列と行列 ·
随伴行列
数学の特に線型代数学における行列の, エルミート転置 (Hermitian transpose), エルミート共軛 (Hermitian conjugate), エルミート随伴 (Hermitian adjoint) あるいは随伴行列（ずいはんぎょうれつ、adjoint matrix）とは、複素数に成分をとる 行列 に対して、 の転置およびその成分の複素共軛（実部はそのままで虚部の符号を反転する）をとって得られる 行列 を言う。 \end.
線型代数学と随伴行列 · 行列と随伴行列 ·
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
行列の相似
線型代数学において、ふたつの n 次正方行列 A, B が相似（そうじ、similar）であるとは、n 次正則行列 P で となるようなものが存在するときに言う。互いに相似な行列は同じ線型写像を異なる基底に関して表現するもので、さきほどの P はそれらの基底の間の基底変換 (change of basis) を与える行列である。上記のような変換はしばしば、変換行列 P に関する相似変換 (similarity transformation) と呼ばれる。線型代数群の文脈では、行列の相似性は（群の元としての）共軛性として言及されることも多い。.
線型代数学と行列の相似 · 行列と行列の相似 ·
行列の階数
線型代数学における行列の階数（かいすう、rank; ランク）は、行列の最も基本的な特性数 (characteristic) の一つで、その行列が表す線型方程式系および線型変換がどのくらい「非退化」であるかを示すものである。行列の階数を定義する方法は同値なものがいくつもある。 例えば、行列 の階数 （あるいは または丸括弧を落として ）は、 の列空間（列ベクトルの張るベクトル空間）の次元に等しく、また の行空間の次元とも等しい。行列の階数は、対応する線型写像の階数である。.
線型代数学と行列の階数 · 行列と行列の階数 ·
行列式
数学における行列式（ぎょうれつしき、）とは、正方行列に対して定義される量で、歴史的には行列が表す一次方程式の可解性を判定する指標として導入された。幾何的には線型空間またはより一般の有限生成自由加群上の自己準同型に対して定義され、線型変換によって空間の体積要素が何倍に変わるかという概念を抽象化したものと見なすことができる。行列の可逆性を判定する指標として線型代数学における最も重要な指標の一つと見なされている。.
解析学
解析学（かいせきがく、英語：analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.
計量ベクトル空間
線型代数学における計量ベクトル空間（けいりょうベクトルくうかん、metric vector space）は、内積と呼ばれる付加的な構造を備えたベクトル空間であり、内積空間（ないせきくうかん、inner product space）とも呼ばれる。この付加構造は、空間内の任意の二つのベクトルに対してベクトルの内積と呼ばれるスカラーを対応付ける。内積によって、ベクトルの長さや二つのベクトルの間の角度などの直観的な幾何学的概念に対する厳密な導入が可能になる。また内積が零になることを以ってベクトルの間の直交性に意味を持たせることもできる。内積空間は、内積として点乗積（スカラー積）を備えたユークリッド空間を任意の次元（無限次元でもよい）のベクトル空間に対して一般化するもので、特に無限次元のものは函数解析学において研究される。 内積はそれに付随するノルムを自然に導き、内積空間はノルム空間の構造を持つ。内積に付随するノルムの定める距離に関して完備となる空間はヒルベルト空間と呼ばれ、必ずしも完備でない内積空間は（内積の導くノルムに関する完備化がヒルベルト空間となるから）前ヒルベルト空間 (pre-Hilbert space) と呼ばれる。複素数体上の内積空間はしばしばユニタリ空間 (unitary spaces) とも呼ばれる。.
線型代数学と計量ベクトル空間 · 行列と計量ベクトル空間 ·
関孝和
関 孝和 記念切手1992年 関 孝和（せき たかかず／こうわ、寛永19年（1642年）3月? - 宝永5年10月24日（1708年12月5日））は、日本の江戸時代の和算家（数学者）である。本姓は藤原氏。旧姓は内山氏、通称は新助。字は子豹、自由亭と号した。.
関数解析学
関数解析学（かんすうかいせきがく、functional analysis）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.
線型代数学と関数解析学 · 行列と関数解析学 ·
量子力学
量子力学（りょうしりきがく、quantum mechanics）は、一般相対性理論と同じく現代物理学の根幹を成す理論として知られ、主として分子や原子、あるいはそれを構成する電子など、微視的な物理現象を記述する力学である。 量子力学自身は前述のミクロな系における力学を記述する理論だが、取り扱う系をそうしたミクロな系の集まりとして解析することによって、ニュートン力学に代表される古典論では説明が困難であった巨視的な現象についても記述することができる。たとえば量子統計力学はそのような応用例の一つである。従って、生物や宇宙のようなあらゆる自然現象もその記述の対象となり得る。 代表的な量子力学の理論として、エルヴィン・シュレーディンガーによって創始された、シュレーディンガー方程式を基礎に置く波動力学と、ヴェルナー・ハイゼンベルク、マックス・ボルン、パスクアル・ヨルダンらによって構成された、ハイゼンベルクの運動方程式を基礎に置く行列力学がある。ただしこの二つは数学的に等価である。 基礎科学として重要で、現代の様々な科学や技術に必須な分野である。 たとえば科学分野について、太陽表面の黒点が磁石になっている現象は、量子力学によって初めて解明された。 技術分野について、半導体を利用する電子機器の設計など、微細な領域に関するテクノロジーのほとんどは量子力学を基礎として成り立っている。そのため量子力学の適用範囲の広さと現代生活への影響の大きさは非常に大きなものとなっている。一例として、パソコンや携帯電話、レーザーの発振器などは量子力学の応用で開発されている。工学において、電子工学や超伝導は量子力学を基礎として展開している。.
線型代数学と量子力学 · 行列と量子力学 ·
零行列
数学において、零行列（ぜろぎょうれつ、れいぎょうれつ、zero matrix, null matrix）とは、その成分（要素）が全て 0 の行列。O あるいは 0 と記述されることが多い。 \end また、下付き添字によって行列の型を明記することもある。 O_.
核 (代数学)
数学において、準同型の核（かく、kernel）とは、その準同型の単射からのずれの度合いを測る道具である。代数系における準同型の核が "自明" (trivial) であることとその準同型が単射であることとが同値となる。.
正則行列
正則行列（せいそくぎょうれつ、regular matrix）、非特異行列（ひとくいぎょうれつ、non-singular matrix）あるいは可逆行列（かぎゃくぎょうれつ、invertible matrix）とは行列の通常の積に関する逆元を持つ正方行列のこと、言い換えると逆行列が存在する行列のことである。 ある体上の同じサイズの正則行列の全体は一般線型群と呼ばれる群を成す。多項式の根として定められる部分群はあるいは行列群と呼ばれる代数群の一種で、その表現論が代数的整数論などに広い応用を持つ幾何学的対象である。.
正則行列と線型代数学 · 正則行列と行列 ·
正規行列
数学の特に線型代数学において正規行列（せいきぎょうれつ、normal matrix）は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 が正規であるとは、 が成り立つことを言う。ただし、 の共軛転置を で表した。 成分が実数の行列 に対しては が成り立つから、それが正規であるのは が成り立つときである。 正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、 を満たす任意の行列 は対角化可能である。 正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および ''C''∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C∗-環の正規元は、より解析学と馴染む。.
正規行列と線型代数学 · 正規行列と行列 ·
正方行列
正方行列（せいほうぎょうれつ、square matrix）とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 \end.
正方行列と線型代数学 · 正方行列と行列 ·
上記のリストは以下の質問に答えます
- 何線型代数学と行列ことは共通しています
- 何が線型代数学と行列間の類似点があります
線型代数学と行列の間の比較
行列が173を有している線型代数学は、121の関係を有しています。 彼らは一般的な58で持っているように、ジャカード指数は19.73%です = 58 / (121 + 173)。
参考文献
この記事では、線型代数学と行列との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:
