ベクトル空間と行列式間の類似点
ベクトル空間と行列式は(ユニオンペディアに)共通で15ものを持っています: 外積代数、実数、アーサー・ケイリー、固有多項式、固有値、線型代数学、線型写像、線型方程式系、環上の加群、行列、自己準同型、自由加群、正方行列、指数関数、数学。
外積代数
数学におけるベクトルの外積(がいせき、exterior product)あるいは楔積(くさびせき、ウェッジ積、wedge product)はクロス積をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。 外積代数(がいせきだいすう、exterior algebra)は、ヘルマン・グラスマンに因んでグラスマン代数(グラスマンだいすう、Grassmann algebra)としても知られ、与えられた体 上のベクトル空間 上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。 形式的には、外積代数は あるいは で表され、 を線型部分空間として含む、楔積あるいは外積と呼ばれる で表される乗法を持つ、体 上の単位的結合代数である。楔積は結合的で双線型な乗法 であり、本質的な性質として 上の交代性 を持つものである。これは以下の性質 をも特別の場合として含む。 圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の(ベクトル空間としての)双対空間にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に 上の重線型形式全体の成す多元環で、外積代数とその双対代数との双対性は内積によって与えられる。.
ベクトル空間と外積代数 · 外積代数と行列式 ·
実数
数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
アーサー・ケイリー
アーサー・ケイリー(、、1821年8月16日 - 1895年1月26日)は、イギリスの数学者、弁護士。行列に関するケイリー・ハミルトンの定理で有名。.
アーサー・ケイリーとベクトル空間 · アーサー・ケイリーと行列式 ·
固有多項式
線型代数学において、固有多項式(こゆうたこうしき、characteristic polynomial)あるいは特性多項式(とくせいたこうしき)とは、正方行列に付随して得られるある多項式を指し、その行列の固有値、行列式、トレース、最小多項式といった重要な量と関連している。相似な行列に対しては同じ固有多項式が定まる。 またグラフ理論において、グラフの固有多項式とは、グラフの隣接行列の固有多項式のことを指す。この多項式はグラフの不変量となっている。すなわち同型なグラフは同じ固有多項式を持つ。.
固有値
線型代数学において、線型変換の特徴を表す指標として固有値 (eigenvalue) や固有ベクトル (eigenvector) がある。この2つの用語を合わせて、固有対 (eigenpair) という。与えられた線型変換の固有値および固有ベクトルを求める問題のことを固有値問題 (eigenvalue problem) という。ヒルベルト空間論において線型作用素 あるいは線型演算子と呼ばれるものは線型変換であり、やはりその固有値や固有ベクトルを考えることができる。固有値という言葉は無限次元ヒルベルト空間論や作用素代数におけるスペクトルの意味でもしばしば使われる。.
ベクトル空間と固有値 · 固有値と行列式 ·
線型代数学
線型代数学(せんけいだいすうがく、linear algebra)とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学(微分積分学)とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
線型写像
数学の特に線型代数学における線型変換(せんけいへんかん、linear transformation、一次変換)あるいは線型写像(せんけいしゃぞう、linear mapping)は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の(零写像でない)線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは(体上の加群としての)ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像(自己準同型)の意味で用いていることも少なくない。また函数解析学の分野では、(特に無限次元空間上の)線型写像のことを「線型作用素」(せんけいさようそ、linear operator)と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」(いちじけいしき、linear form, one-form; 線型形式; 1-形式)とも呼ばれる一次の微分形式(一次微分形式もしくは微分一次形式; differential one-form)を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.
ベクトル空間と線型写像 · 線型写像と行列式 ·
線型方程式系
数学において、線型方程式系(せんけいほうていしきけい)とは、同時に成立する複数の線型方程式(一次方程式)の組のことである。線形等の用字・表記の揺れについては線型性を参照。 複数の方程式の組み合わせを方程式系あるいは連立方程式と呼ぶことから、線型方程式系のことを一次方程式系、連立線型方程式、連立一次方程式等とも呼ぶこともある。.
環上の加群
抽象代数学における環上の加群(かぐん、module)とは、ベクトル空間を一般化した概念で、係数(スカラー)を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは(ベクトル空間がそうであるように)加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。 加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。.
行列
数学の線型代数学周辺分野における行列(ぎょうれつ、matrix)は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル(1 列しかない行列)のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
自己準同型
数学における自己準同型(じこじゅんどうけい、)とは、ある数学的対象からそれ自身への射(あるいは準同型)のことを言う。例えば、あるベクトル空間 V の自己準同型は、線型写像 ƒ: V → V であり、ある群 G の自己準同型は、群準同型 ƒ: G → G である。一般に、任意の圏に対して自己準同型を議論することが可能である。集合の圏において、自己準同型はある集合 S からそれ自身への函数である。 任意の圏において、X の任意の二つの自己準同型写像の合成は再び X の自己準同型である。X のすべての自己準同型の集合はモノイドを構成し、それは End(X) と表記される(あるいは、圏 C を強調するために EndC(X) と表記される)。.
自由加群
数学において、自由加群(じゆうかぐん、free module) とは、加群の圏におけるである。集合 が与えられたとき、 上の自由加群とは を基底 にもつ自由加群である。たとえば、すべてのベクトル空間は自由であり、集合上の自由ベクトル空間は集合上の自由加群の特別な場合である。任意の加群はある自由加群の準同型像である。.
ベクトル空間と自由加群 · 自由加群と行列式 ·
正方行列
正方行列(せいほうぎょうれつ、square matrix)とは、行要素の数と列要素の数が一致する行列である。サイズが n × n つまり、n 行 n 列であるとき、n 次正方行列という。 \end.
ベクトル空間と正方行列 · 正方行列と行列式 ·
指数関数
実解析における指数関数(しすうかんすう、exponential function)は、冪における指数 を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数の逆関数であるため、逆対数 と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる(や指数関数的減衰の項を参照)。 一般に、 かつ なる定数 に関して、(主に実数の上を亙る)変数 を へ送る関数は、「a を'''底'''とする指数函数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪関数とは対照的である。 しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数(あるいはより明示的に「自然指数関数」)はネイピア数 を底とする関数 である。これを のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 を他の底 に取り換えるには自然対数 を用いて、等式 を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。.
ベクトル空間と指数関数 · 指数関数と行列式 ·
数学
数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
上記のリストは以下の質問に答えます
- 何ベクトル空間と行列式ことは共通しています
- 何がベクトル空間と行列式間の類似点があります
ベクトル空間と行列式の間の比較
行列式が63を有しているベクトル空間は、303の関係を有しています。 彼らは一般的な15で持っているように、ジャカード指数は4.10%です = 15 / (303 + 63)。
参考文献
この記事では、ベクトル空間と行列式との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: