ブラウザよりも高速アクセス！
53 関係: ほとんど (数学)、半双線型形式、半ノルム、双対ベクトル空間、同値関係、外積代数、定符号二次形式、実数、対称双線型形式、対称行列、中線定理、幾何学、二項演算、代数学、微分幾何学、微分形式、ミンコフスキー空間、ノルム、リーマン多様体、ブラ-ケット記法、ドット積、ベクトルのなす角、ベクトル場、ベクトル空間、ベクトル空間の双対系、分配法則、エルミート形式、クリフォード代数、シルヴェスターの慣性法則、ジョン・ワイリー・アンド・サンズ、スカラー、商線型空間、線型代数学、線型汎函数、物理学、直積 (ベクトル)、行列、行列の定値性、行列の乗法、行列環、複素数、計量ベクトル空間、距離函数、跡 (線型代数学)、転置行列、量子力学、退化形式、GNS構成法、Lp空間、測度論、...、擬リーマン多様体、数ベクトル空間、4次元。 インデックスを展開 (3 もっと) »
ほとんど (数学)
数学において、ほとんど (almost) という語は、ある厳密な意味で用いられる専門用語のひとつである。主に「測度 0 の集合を除いて」という意味であるが、それ単体で用いることはあまりなく、「ほとんど至るところで(almost everywhere)」「ほとんど全ての(almost all)」などの決まり文句でひとつの意味を形成する。.
新しい！!: 内積とほとんど (数学) · 続きを見る »
半双線型形式
数学の特に線型代数学における 上の半双線型形式（はんそうせんけいけいしき、sesquilinear form; 準双線型形式。）とは、写像 で一方の引数に関して線型かつ他方の引数に関してとなるようなものを言う。名称は「1 と 1/2」を意味するラテン語の ''sesqui-'' に由来する。これと対照して、双線型形式は両引数に関して線型であることを意味するが、特に専ら複素数体上の空間を扱うような多くの文献において、半双線型形式の意味で「双線型形式」と呼ぶものがある。 動機付けとなる例は複素ベクトル空間上の内積で、これは双線型ではないがその代わり半双線型である。後述の幾何学的動機付けの節も参照。.
半ノルム
2 の半ノルムになる 数学の特に線型代数学および函数解析学における半ノルム（はんのるむ、semi­norm, semi-norm; セミノルム）は、ベクトル空間上で定義される絶対斉次劣加法的函数で、正定値と制約しないことによるノルムの一般化である。 半ノルムの値は非負かつ符号反転に関して対称であり、函数として かつ凸である。 各半ノルムには、適当な剰余類をとる商構成に誘導されるノルムが付随する。半ノルムからなる族を用いて、局所凸線型空間を定義することができる。.
双対ベクトル空間
数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、dual vector space）あるいは単に双対空間（そうついくうかん、dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。.
新しい！!: 内積と双対ベクトル空間 · 続きを見る »
同値関係
数学において、同値関係（どうちかんけい、equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.
外積代数
数学におけるベクトルの外積（がいせき、exterior product）あるいは楔積（くさびせき、ウェッジ積、wedge product）はクロス積をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。 外積代数（がいせきだいすう、exterior algebra）は、ヘルマン・グラスマンに因んでグラスマン代数（グラスマンだいすう、Grassmann algebra）としても知られ、与えられた体 上のベクトル空間 上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。 形式的には、外積代数は あるいは で表され、 を線型部分空間として含む、楔積あるいは外積と呼ばれる で表される乗法を持つ、体 上の単位的結合代数である。楔積は結合的で双線型な乗法 であり、本質的な性質として 上の交代性 を持つものである。これは以下の性質 をも特別の場合として含む。 圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の（ベクトル空間としての）双対空間にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に 上の重線型形式全体の成す多元環で、外積代数とその双対代数との双対性は内積によって与えられる。.
定符号二次形式
数学において実ベクトル空間 V 上で定義された二次形式 Q が定符号（ていふごう、definite）であるとは、V の任意の非零ベクトルに対して Q が同じ符号をもつことを言う。定符号二次形式は、至る所正となるか、または至る所負となるかに従ってさらに、正の定符号（positive definite; 正値、正定値）または負の定符号（negative definite; 負値、負定値）に分けられる。 半定符号 (semidefinite) 二次形式も、至る所「正」および「負」としていたところを、至る所「負でない」および「正でない」に置き換えて同様に定義される。正の値も負の値も取るような二次形式は不定符号 (indefinite) であると言う。 より一般に、二次形式の定符号性を順序体上のベクトル空間において考えることもできる。.
新しい！!: 内積と定符号二次形式 · 続きを見る »
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
対称双線型形式
線型代数学における対称双線型形式（たいしょうそうせんけいけいしき、symmetric bilinear form, symmetric bilinear functional）は、ベクトル空間上の対称な双線型形式を言う。平たく言えば、実ベクトル空間上の標準内積を一般化した概念である。対称双線型形式は、直交極性や二次曲面の研究に非常に重要である。 文脈上、双線型形式について述べていると明らかな場合は、単に短く対称形式と呼ぶこともある。対称双線型形式は二次形式と近しい関係にあり、この両者の差異に関する詳細はの項目を参照。.
新しい！!: 内積と対称双線型形式 · 続きを見る »
対称行列
線型代数学における対称行列（たいしょうぎょうれつ、symmetric matrix）は、自身の転置行列と一致するような正方行列を言う。記号で書けば、行列 A は を満たすとき対称であるという。相等しい行列の型（次元、サイズ）は相等しいから、この式を満たすのは正方行列に限られる。 定義により、対称行列の成分は主対角線に関して対称である。即ち、成分に関して行列 は任意の添字 に関して を満たす。例えば、次の 行列 1 & 7 & 3\\ 7 & 4 & -5\\ 3 & -5 & 6 \end は対称である。任意の正方対角行列は、その非対角成分が であるから、対称である。同様に、歪対称行列（ なる行列）の各対角成分は、自身と符号を変えたものと等しいから、すべて でなければならない。 線型代数学において、実対称行列は実内積空間上の自己随伴作用素を表す。これと、複素内積空間の場合に対応する概念は、複素数を成分に持つエルミート行列（自身の共役転置行列と一致するような複素行列）である。故に、複素数体上の線型代数学においては、対称行列という言葉は行列が実数に成分をとる場合に限って使うことがしばしばある。対称行列は様々な応用の場面に現れ、典型的な数値線型代数ソフトウェアではこれらに特別な便宜をさいている。.
中線定理
中線定理（ちゅうせんていり、parallelogram law）とは、幾何学において、三角形の中線の長さと辺の長さの関係を表す定理である。パップスの定理と知られているが、実はアポロニウスが発見した定理である。.
幾何学
最先端の物理学でも用いられるカラビ-ヤウ多様体の一種。現代幾何学では図も書けないような抽象的な分野も存在する。 幾何学（きかがく、）は、図形や空間の性質について研究する数学の分野である広辞苑第六版「幾何学」より。イエズス会マテオ・リッチによる geometria の中国語訳である。以前は geometria の冒頭の geo- を音訳したものであるという説が広く流布していたが、近年の研究により否定されている。 もともと測量の必要上からエジプトで生まれたものだが、人間に認識できる図形に関する様々な性質を研究する数学の分野としてとくに古代ギリシャにて独自に発達しブリタニカ国際大百科事典2013小項目版「幾何学」より。、これらのおもな成果は紀元前300年ごろユークリッドによってユークリッド原論にまとめられた。その後中世以降のヨーロッパにてユークリッド幾何学を発端とする様々な幾何学が登場することとなる。 幾何学というとユークリッド幾何学のような具体的な平面や空間の図形を扱う幾何学が一般には馴染みが深いであろうが、対象や方法、公理系などが異なる多くの種類の幾何学が存在し、現代においては微分幾何学や代数幾何学、位相幾何学などの高度に抽象的な理論に発達・分化している。 現代の日本の教育では、体系的な初等幾何学はほぼ根絶されかけたが、近年、中・高の数学教育で線型幾何/代数幾何を用いない立体を含む、本格的な綜合幾何は見直されつつある。.
二項演算
数学において、二項演算（にこうえんざん、binary operation）は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。二項算法（にこうさんぽう）、結合などともいう。.
代数学
代数学（だいすうがく、algebra）は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」や「方程式の解法の学問」という理解の仕方は必ずしも適当ではない。現代数学においては、方程式の研究は方程式論（代数方程式論）という代数学の古典的一分野として捉えられている。現在は代数学と言えば以下の抽象代数学をさすのが普通である。 現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は代数系がもつ代表的な代数的構造である。 群・環・多元環・体の理論はガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 半群は、群・環・多元環・体・束に共通する最も原始的な構造である。 現代日本の大学では 1, 2 年次に、微分積分学と並んで、行列論を含む線型代数学を教えるが、線型代数学は線型空間という代数系を対象とすると共に、半群・群・環・多元環・体と密接に関連し、集合論を介して、また公理論であるために論理学を介して、束とも繋がっている。 現代ではまた、代数学的な考え方が解析学・幾何学等にも浸透し、数学の代数化が各方面で進んでいる。ゆえに、代数学は数学の諸分野に共通言語を提供する役割もあるといえる。.
微分幾何学
数学における微分幾何学（びぶんきかがく、ドイツ語: Differentialgeometrie、英語：differential geometry）とは微分を用いた幾何学の研究である。また、可微分多様体上の微分可能な関数を取り扱う数学の分野は微分位相幾何学（びぶんいそうきかがく、ドイツ語: Differentialtopologie、英語: differential topology）とよばれることがある。微分方程式の研究から自然に発生したこれらの分野は互いに密接に関連しており、特に一般相対性理論をはじめとして物理学に多くの応用がある。これらは可微分多様体についての幾何学を構成しているが、力学系の視点からも直接に研究される。.
微分形式
数学における微分形式（びぶんけいしき、differential form）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。.
ミンコフスキー空間
ミンコフスキー空間（ミンコフスキーくうかん、Minkowski space）とは、非退化で対称な双線型形式を持つ実ベクトル空間である。ドイツの数学者のヘルマン・ミンコフスキーに因んで名付けられている。アルベルト・アインシュタインによる特殊相対性理論を定式化する枠組みとして用いられる。この特定の設定の下では空間に時間を組み合わせた時空を表現するため、物理学の文脈ではミンコフスキー時空とも呼ばれる。.
新しい！!: 内積とミンコフスキー空間 · 続きを見る »
ノルム
解析学において、ノルム (norm, Norm) は、平面あるいは空間における幾何学的ベクトルの "長さ" の概念の一般化であり、ベクトル空間に対して「距離」を与えるための数学の道具である。ノルムの定義されたベクトル空間を線型ノルム空間または単にノルム空間という。.
リーマン多様体
微分幾何学におけるリーマン多様体（リーマンたようたい、Riemannian manifold）とは、可微分多様体 で 上の各点に基本計量テンソル が与えられているものを言う。ベルンハルト・リーマンによって導入された。.
新しい！!: 内積とリーマン多様体 · 続きを見る »
ブラ-ケット記法
ブラ-ケット記法（ブラ-ケットきほう、bra-ket notation）は量子力学における量子状態を記述するための標準的な記法である。 この名称は、2つの状態の内積が'''ブラケット'''を用いて のように表され、この左半分 をブラベクトル、右半分 をケットベクトルと呼ぶことによる。この記法はポール・ディラックが発明したため、ディラックの記法とも呼ぶ。.
新しい！!: 内積とブラ-ケット記法 · 続きを見る »
ドット積
数学あるいは物理学においてドット積（ドットせき、dot product）あるいは点乗積（てんじょうせき）とは、ベクトル演算の一種で、2つの同じ長さの数列から一つの数値を返す演算。代数的および幾何的に定義されている。幾何的定義では、（デカルト座標の入った）ユークリッド空間 において標準的に定義される内積のことである。.
ベクトルのなす角
平面や空間上では、ふたつのベクトルのなす角は図形的に求めることができる。 そしてベクトルはさらに、図形とは無関係なベクトルに一般化されるが、この一般的なベクトルでも二つのベクトルのなす角を定義することができ、それにはベクトルの長さと内積を用いる。.
新しい！!: 内積とベクトルのなす角 · 続きを見る »
ベクトル場
ベクトル場（ベクトルば、vector field）とは、数学において、幾何学的な空間の広がりの中でベクトル的な量の分布を表すものである。単純化された設定のもとではベクトル場はユークリッド空間 Rn （またはその開集合）からベクトル空間 Rn への関数として与えられる。（局所的な）座標系のもとでベクトル場を表示するときは座標に対してベクトルを与えるような関数を考えることになるが、座標系を変更したときにこの関数は一定の規則に従って変換を受けることが要請される。 ベクトル場の概念は物理学や工学においても積極的にもちいられ、例えば動いている流体の速さと向きや、磁力や重力などの力の強さと向きなどが空間的に分布している状況を表すために用いられている。 現代数学では多様体論にもとづき、多様体上の接ベクトル束の断面として（接）ベクトル場が定義される。.
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
ベクトル空間の双対系
数学の函数解析学周辺分野におけるベクトル空間の双対系（そうついけい、dual system）あるいは双対組 (dual pair; 双対対) は、付随する双線型形式（内積, pairing）を持つようなベクトル空間の対である。 ノルム線型空間の研究においてよく用いられる函数解析学的方法に、もとの空間とその連続的双対空間、すなわちもとの空間上の連続線型形式全体の成すベクトル空間との関係性を調べるというものがある。双対対はこのような双対性の概念を一般化して、素性の良い双線型形式によって「双対性」が与えられる任意のベクトル空間の対を考えるものである。付随する双線型形式を用いて、半ノルムから極位相を定めると、ベクトル空間は局所凸空間（ノルム空間の一般化）になる。.
新しい！!: 内積とベクトル空間の双対系 · 続きを見る »
分配法則
集合 S に対して、積 × と和 + が定義されている時に、.
エルミート形式
数学の線型代数学におけるエルミート積 (Hermitian product), エルミート半双線型形式 (Hermitian Sesqui­linear form) あるいは単にエルミート形式（エルミートけいしき、Hermitian form）は、シャルル・エルミートに名を因む特別な種類の半双線型形式で、対称双線型形式の複素版にあたる。 複素線型空間 とその上のエルミート形式 との組, あるいは同じことだが対応する「二次形式」 との組 をエルミート空間（あるいはエルミート二次空間）と呼ぶ。.
新しい！!: 内積とエルミート形式 · 続きを見る »
クリフォード代数
数学において、クリフォード代数 (Clifford algebra) は結合多元環の一種である。K-代数として、それらは実数、複素数、四元数、そしていくつかの他の超複素数系を一般化する。クリフォード代数の理論は二次形式と直交変換の理論と親密に関係がある。クリフォード代数は幾何学、理論物理学、デジタル画像処理を含む種々の分野において重要な応用を持つ。それらはイギリス人幾何学者にちなんで名づけられている。 最もよく知られたクリフォード代数、あるいは直交クリフォード代数 (orthogonal Clifford algebra) は、リーマンクリフォード代数 (Riemannian Clifford algebra) とも呼ばれる。.
新しい！!: 内積とクリフォード代数 · 続きを見る »
シルヴェスターの慣性法則
線型代数学におけるシルヴェスターの慣性法則（シルヴェスターのかんせいほうそく、Sylvester's law of inertia）は実二次形式の係数行列の基底変換で不変なある種の性質を記述する。 具体的に二次形式を定義する対称行列 と が対角行列となるような任意の正則行列 に対して、 の主対角線に並ぶ正の成分の数および負の成分の数は に依らず同じである。 名称は、 においてこの性質を証明したジェームス・ジョセフ・シルベスターに因む。.
新しい！!: 内積とシルヴェスターの慣性法則 · 続きを見る »
ジョン・ワイリー・アンド・サンズ
ョン・ワイリー・アンド・サンズ（John Wiley & Sons、略称: Wiley、）は、1807年創業の科学、医学、教育などの分野の世界的な学術出版社である。 大学院のための教材、トレーニング教材、百科事典などの印刷、オンライン製品やオンラインサービスのような電子的情報も扱っている。『フォー・ダミーズ』シリーズの出版でも知られている。.
新しい！!: 内積とジョン・ワイリー・アンド・サンズ · 続きを見る »
スカラー
ラー、スカラ; scalar.
商線型空間
線型代数学において商線型空間（しょうせんけいくうかん、quotient vector space）あるいは単に商空間 (quotient space) とは、ベクトル空間 V とその部分線型空間 N に対して、N に属する全てのベクトルを 0 に「潰して」得られるベクトル空間である。これを部分空間 N による V の商空間あるいは N を法とする V の商空間といい、V/N で表す。.
線型代数学
線型代数学（せんけいだいすうがく、linear algebra）とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学（微分積分学）とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
線型汎函数
数学の特に線型代数学における線型汎函数（せんけいはんかんすう、linear functional）は、ベクトル空間からその係数体への線型写像をいう。線型形式 (linear form) 若しくは一次形式 (one-form) あるいは余ベクトル (covector) ともいう。 ユークリッド空間 Rn のベクトルを列ベクトルとして表すならば、線型汎函数は行ベクトルで表され、線型汎函数のベクトルへの作用は点乗積として、若しくは左から行ベクトルと右から列ベクトルとを行列の乗法で掛け合わせることで与えられる。 一般に、体 k 上のベクトル空間 V に対し、その上の線型汎函数とは V から k への写像 f であって、線型性 を満たすものを言う。V から k への線型汎函数全体の成す集合 Homk(V, k) はそれ自体が k 上のベクトル空間を成し、V の双対空間と呼ばれる（連続的双対空間と区別する必要がある場合には代数的双対空間とも呼ばれる）。考えている係数体 k が明らかなときは、V の双対空間はしばしば V∗ または V′ で表される。.
物理学
物理学（ぶつりがく, ）は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること（力学的理解）、および物質をより基本的な要素に還元して理解すること（原子論的理解）を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象（物理現象）である。.
直積 (ベクトル)
線型代数学における直積（ちょくせき、direct product）あるいは外積（がいせき、outer product）は典型的には二つのベクトルのテンソル積を言う。の外積をとった結果は行列になる。外積の名称は内積に対照するもので、内積はベクトルの対をスカラーにする。外積は、クロス積の意味で使われることもあるため、どちらの意味で使われているか注意が必要である。 \beginu_1 \\ u_2 \\ u_3 \\ u_4\end \beginv_1 & v_2 & v_3\end.
新しい！!: 内積と直積 (ベクトル) · 続きを見る »
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
行列の定値性
線型代数学における行列の定値性（ていちせい、definiteness）は、その行列に付随する二次形式が一定の符号を持つか否か (二次形式の定値性) と密接な関係を持つ概念だが、付随する二次形式を経ることなくその行列自身の持つ性質によって特徴づけることもできる。 この概念は対称行列およびエルミート行列に対して定義するのが通例であるが、そうではない行列を含むように「定値性」の概念を一般化して適用する文献もある。.
行列の乗法
数学において、行列の対から別の行列を作り出す二項演算としての行列の乗法は、実数や複素数などの数が初等的な四則演算でいうところの乗法を持つことと対照的に、そのような「数の配列」の間の乗法として必ずしも一意的な演算を指しうるものではない。そのような意味では、一般に「行列の乗法」は幾つかの異なる二項演算を総称するものと考えることができる。行列の乗法の持つ重要な特徴には、与えられた行列の行および列の数（行列の型やサイズあるいは次元と呼ばれるもの）が関係して、得られる行列の成分がどのように特定されるかが述べられるということが挙げられる。 例えば、ベクトルの場合と同様に、任意の行列に対してスカラーを掛けるという操作が、その行列の全ての成分に同じ数を掛けるという方法で与えられる。また、の場合と同様に、同じサイズの行列に対して成分ごとの乗法を入れることによって定まる行列の積はアダマール積と呼ばれる。それ以外にも、二つの行列のクロネッカー積は区分行列として得られる。 このようにさまざまな乗法が定義できるという事情の中にあっても、しかし最も重要な行列の乗法は連立一次方程式やベクトルの一次変換に関するもので、応用数学や工学へも広く応用がある。これは通例、行列の積（ぎょうれつのせき、matrix product）と呼ばれるもので、 が 行列で、 が 行列ならば、それらの行列の積 が 行列として与えられ、その成分は の各行の 個の成分がそれぞれ順番に の各列の 個の成分と掛け合わされる形で与えられる（後述）。 この通常の積は可換ではないが、結合的かつ行列の加法に対して分配的である。この行列の積に関する単位元（数において を掛けることに相当するもの）は単位行列であり、正方行列は逆行列（数における逆数に相当）を持ち得る。行列の積に関して行列式は乗法的である。一次変換や行列群あるいは群の表現などの理論を考える上において行列の積は重要な演算となる。 行列のサイズが大きくなれば、二つあるいはそれ以上の行列の積の計算を定義に従って行うには、非常に膨大な時間が掛かるようになってしまうため、効果的に行列の積を計算できるアルゴリズムが考えられてきた。.
行列環
抽象代数学において、行列環 (matrix ring) は、および行列の乗法のもとで環をなす、行列の任意の集まりである。別の環を成分に持つ n×n 行列全体の集合や無限次行列環 (infinite matrix ring) をなす無限次行列のある部分集合は行列環である。これらの行列環の任意の部分環もまた行列環である。 R が可換環のとき、行列環 Mn(R) は行列多元環 (matrix algebra) と呼ばれる結合多元環である。この状況において、M が行列で r が R の元であれば、行列 Mr は行列 M の各成分に r をかけたものである。 行列環は単位元をもたない環上作ることができるが、終始 R は単位元 1 ≠ 0 をもつ結合的環であると仮定する。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
計量ベクトル空間
線型代数学における計量ベクトル空間（けいりょうベクトルくうかん、metric vector space）は、内積と呼ばれる付加的な構造を備えたベクトル空間であり、内積空間（ないせきくうかん、inner product space）とも呼ばれる。この付加構造は、空間内の任意の二つのベクトルに対してベクトルの内積と呼ばれるスカラーを対応付ける。内積によって、ベクトルの長さや二つのベクトルの間の角度などの直観的な幾何学的概念に対する厳密な導入が可能になる。また内積が零になることを以ってベクトルの間の直交性に意味を持たせることもできる。内積空間は、内積として点乗積（スカラー積）を備えたユークリッド空間を任意の次元（無限次元でもよい）のベクトル空間に対して一般化するもので、特に無限次元のものは函数解析学において研究される。 内積はそれに付随するノルムを自然に導き、内積空間はノルム空間の構造を持つ。内積に付随するノルムの定める距離に関して完備となる空間はヒルベルト空間と呼ばれ、必ずしも完備でない内積空間は（内積の導くノルムに関する完備化がヒルベルト空間となるから）前ヒルベルト空間 (pre-Hilbert space) と呼ばれる。複素数体上の内積空間はしばしばユニタリ空間 (unitary spaces) とも呼ばれる。.
新しい！!: 内積と計量ベクトル空間 · 続きを見る »
距離函数
距離函数（きょりかんすう、distance function）、距離計量（きょりけいりょう）あるいは単に距離（きょり、distance）、計量（けいりょう、metric）は、集合の二点間の距離を定義する函数である。距離が定義されている集合を距離空間（きょりくうかん、metric space）と呼ぶ。距離はその集合上の位相（距離位相）を誘導するが、必ずしもすべての位相空間が距離位相によって生成されるわけではない。ある位相空間の位相を距離によって記述することができるとき、その位相空間は距離化可能 (metrizable) であるという。.
跡 (線型代数学)
数学、特に線型代数学における行列の跡（せき、trace; トレース、Spur; シュプール）あるいは対角和（たいかくわ）は行列の主対角成分の総和である。それは基底変換に関して不変であり、また固有値の総和（固有値和）に等しい。即ち、行列の跡は行列の相似を除いて定まり、したがって一般に行列に対応する線型写像の跡として定義することができる。 行列の跡は、正方行列に対してのみ定義されることに注意せよ。この語は（この同じ数学的対象を意味する）ドイツ語のSpurからの翻訳借用である。.
新しい！!: 内積と跡 (線型代数学) · 続きを見る »
転置行列
転置行列（てんちぎょうれつ、transpose, transposed matrix）とは 行 列の行列 に対して の 要素と 要素を入れ替えた 行 列の行列、つまり対角線で成分を折り返した行列のことである。転置行列は などと示される。行列の転置行列を与える操作のことを転置（てんち、transpose）といい、「 を転置する」などと表現する。.
量子力学
量子力学（りょうしりきがく、quantum mechanics）は、一般相対性理論と同じく現代物理学の根幹を成す理論として知られ、主として分子や原子、あるいはそれを構成する電子など、微視的な物理現象を記述する力学である。 量子力学自身は前述のミクロな系における力学を記述する理論だが、取り扱う系をそうしたミクロな系の集まりとして解析することによって、ニュートン力学に代表される古典論では説明が困難であった巨視的な現象についても記述することができる。たとえば量子統計力学はそのような応用例の一つである。従って、生物や宇宙のようなあらゆる自然現象もその記述の対象となり得る。 代表的な量子力学の理論として、エルヴィン・シュレーディンガーによって創始された、シュレーディンガー方程式を基礎に置く波動力学と、ヴェルナー・ハイゼンベルク、マックス・ボルン、パスクアル・ヨルダンらによって構成された、ハイゼンベルクの運動方程式を基礎に置く行列力学がある。ただしこの二つは数学的に等価である。 基礎科学として重要で、現代の様々な科学や技術に必須な分野である。 たとえば科学分野について、太陽表面の黒点が磁石になっている現象は、量子力学によって初めて解明された。 技術分野について、半導体を利用する電子機器の設計など、微細な領域に関するテクノロジーのほとんどは量子力学を基礎として成り立っている。そのため量子力学の適用範囲の広さと現代生活への影響の大きさは非常に大きなものとなっている。一例として、パソコンや携帯電話、レーザーの発振器などは量子力学の応用で開発されている。工学において、電子工学や超伝導は量子力学を基礎として展開している。.
退化形式
数学、とくに線型代数学において、ベクトル空間 V 上の退化 (degenerate) 双線型形式 f(x, y) とは、V から V*（V の双対空間）への v \mapsto (x \mapsto f(x,v)) で与えられる写像が同型でないような双線型形式である。V が有限次元のときの同値な定義はそれが非自明な核をもつということである、すなわち V の 0 でない元 x が存在して、 となる。.
GNS構成法
作用素代数において、GNS構成法（-こうせいほう、GNS construction）、またはGelfand–Naimark–Segal構成法とはC*-代数に状態と呼ばれる線形汎関数が与えられたときに、巡回表現と呼ばれる特別な表現を構成する方法。GNSの語は考案者である3人の数学者Gelfand、Naimark、Segalの頭文字に由来する。場の量子論や量子統計力学では、ヒルベルト空間を離れ、物理量のなす代数のみから理論を構築してもGNS構成法により、全ての物理量の期待値が与えられたときに、逆にヒルベルト空間とその上の作用による物理量の表現を構成することができる。自由度が無限大である系では、当初に設定した空間を飛び出さねばならないことが多い。このときGNS構成法を用いれば、新しいヒルベルト空間を作ることができる。.
Lp空間
数学の分野における Lp 空間（エルピーくうかん、Lp space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる が、 によると初めて導入されたのは とされている。Lp 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。.
測度論
測度論（そくどろん、measure theory ）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。 ここで測度（そくど、measure ）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。 よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。 また、測度の概念は確率を数学的に定式化する際にも用いられるため（コルモゴロフの公理）、 確率論や統計学においても測度論は重要である。 たとえば「サイコロの目が偶数になる確率 」は目が 1,..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っている為、 測度の概念で記述できる。.
擬リーマン多様体
微分幾何学において、擬リーマン多様体 (pseudo-Riemannian manifold)（また、半リーマン多様体 (semi-Riemannian manifold) ともいう）は、リーマン多様体の一般化であり、そこでは計量テンソルが必ずしもでないこともある。代わって、非退化というより弱い条件が、計量テンソルへ導入される。 一般相対論で極めて重要な多様体として、ローレンツ多様体 (Lorentzian manifold) があり、そこでは、一つの次元が他の次元とは反対の符号を持っている。このことは、接ベクトルが時間的、光的、空間的へと分類される。時空は 4次元ローレンツ多様体としてモデル化される。.
新しい！!: 内積と擬リーマン多様体 · 続きを見る »
数ベクトル空間
数ベクトル空間（すうべくとるくうかん、space of numerical vectors, numerical vector space）とは、「“数”の組からなる空間」（数空間数空間のことを座標空間と呼ぶこともあるが、「座標系を備えた空間」という意味で座標空間と呼ぶこともあるので紛らわしい（の項も参照）。）を自然にベクトル空間と見たものである。.
新しい！!: 内積と数ベクトル空間 · 続きを見る »
4次元
4次元（よじげん、四次元）は、次元が4であること。次元が4である空間を4次元空間と呼ぶ。 なおここでいう空間とは、物理空間に限らない。数学においてはユークリッド空間をはじめとしてベクトル空間や多様体など次元を考え得る空間や対象は様々ある（詳細は「次元」および「次元 (数学)」を参照）。.
