スカラー (数学)のソースを表示

[[線型代数学]]では、[[ベクトル空間]]のベクトルに対比するものとしての[[実数]]を'''スカラー'''（{{lang-en-short|''scalar''}}）と呼び、ベクトルを定数倍して別のベクトルを作り出す演算として'''スカラー倍'''が定義される<ref>{{cite book | last=Lay | first=David C. | title=Linear Algebra and Its Applications | publisher=[[Addison–Wesley]] | year=2006 | edition = 3rd | isbn=0-321-28713-4}}</ref><ref>{{cite book | last=Strang | first=Gilbert | authorlink=Gilbert Strang | title=Linear Algebra and Its Applications | publisher=[[Brooks Cole]] | year=2006 | edition = 4th | isbn=0-03-010567-6}}</ref><ref>{{cite book | last = Axler | first = Sheldon | title = Linear Algebra Done Right | publisher = [[Springer Science+Business Media|Springer]] | year = 2002 | edition = 2nd | isbn = 0-387-98258-2}}</ref>。より一般に、実数全体に替えて任意の[[可換体|体]]、例えば[[複素数]]全体を用いてベクトル空間を定義することができるが、そのときのベクトル空間のスカラーとはその体の元のことを示すものということになる。

ベクトル空間の上に[[内積|スカラー積]]演算（スカラー倍と混同してはいけない）が定義されれば、二つのベクトルを掛けてスカラーを得ることができる。スカラー積を備えたベクトル空間は[[内積空間]]と呼ばれる。

[[四元数]]の実部（実成分）のことを'''スカラー部'''（スカラー成分）とも呼ぶ。

厳密な言い方ではないが、例えばベクトルや[[行列]]、[[テンソル]]などの一般には「複合的」な値で決まる量が、実際には一つの成分に還元されてしまうとき、例えば 1 &times; ''n'' 行列と ''n'' &times; 1 行列の積は厳密には 1 &times; 1 行列となるが、これをスカラーと見做すことがよく行われる。

行列のスカラー倍を行列の積として実現する「[[スカラー行列]]」は、[[単位行列]]の適当なスカラー ''k''-倍  ''kI'' の形に書ける行列の総称として用いられる。

== 語源 ==  
「スカラー」の語は梯子を意味するラテン語 "''scalaris''" の形容詞形 "''scala''" に由来する（スケールの語と同根）。数学で初めて「スカラー」の語が使用されたのは[[フランソワ・ヴィエト]]の ''In artem analyticen isagoge'' (1591) の<ref>http://math.ucdenver.edu/~wcherowi/courses/m4010/s08/lcviete.pdf Lincoln Collins. Biography Paper: Francois Viete</ref>、
: 「形を保ったまま一方を他方へ比例的に増大または減少させる大きさをスカラー項と呼ぶ」
という趣旨の一節においてである。[[オックスフォード英語辞典]]を引くと、英語でこの用語を用いた記録に残る最初は1846年に[[ウィリアム・ローワン・ハミルトン]]が[[四元数]]に実部について言及した一節、
: ''The algebraically real part may receive, according to the question in which it occurs, all values contained on the one scale of progression of numbers from negative to positive infinity; we shall call it therefore the scalar part.''
であるという。

== 定義と性質 ==
=== ベクトル空間のスカラー ===
[[ベクトル空間]]はベクトルの集合、スカラーの集合、およびスカラー ''k'' とベクトル ''v'' から別のベクトル ''kv'' を作るスカラー倍によって定義される。例えば[[数ベクトル空間]]においてスカラー倍は
: <math>k(v_1, v_2, \dots, v_n) := (kv_1, kv_2, \dots, k v_n)</math>
で定義される。また例えば[[写像空間|写像の成す線型空間]]では ''kƒ'' は ''x'' ↦ ''k''(''ƒ''(''x'')) を満たす写像として定義される。

スカラーの集合は任意の体を取ることができて、例えば[[有理数]]体、[[代数体]]、実数体、複素数体などの他に[[有限体]]を考えることもできる。

=== ベクトルの成分としてのスカラー ===
線型代数学の基本定理に依れば、任意のベクトル空間は[[基底 (線型代数学)|基底]]を持ち、従って係数体 ''K'' 上の任意のベクトル空間が ''K'' の元を座標成分とする何らかの[[数ベクトル空間]]に同型となることが示される。例えば、[[次元 (線型代数学)|次元]]が ''n'' の任意の実線型空間は ''n''-次元実数ベクトル空間 '''R'''<sup>''n''</sup> に同型である。

=== ノルム空間のスカラー ===
別な観点では、ベクトル空間 ''V'' が各ベクトル ''v'' &isin; ''V'' にスカラー ǁ''v''ǁ を割り当てる（一次の）[[ノルム]]函数を持つことがある。定義により、スカラー倍 ''kv'' のノルムは、''v'' のノルムの |''k''|-倍になる。ノルム ǁ''v''ǁ をベクトル ''v'' の「長さ」と解釈するならば、スカラー倍はベクトル ''v'' の長さをスカラー ''k'' によってスケール変換することとして述べられる。ノルムを備えたベクトル空間は[[ノルム線型空間]]（ノルム付けられた線型空間）と呼ばれる。

ノルムの値はベクトル空間 ''V'' のスカラーの体 ''K'' の元（つまりスカラー）で、そのスカラー体が符号の概念を備えているものと仮定するのが普通である。さらに言えば、''V'' の次元が 2 以上のとき、''K'' は四則演算だけでなく平方根を取ることについても閉じていることが望ましい。この点で有理数体 '''Q''' は除外されることになるが、[[無理数体]] (surd field<ref group="note">有理数体から平方根を添加する操作を繰り返して得られる体の帰納極限（同じことだが、0 と 1 から有限回の四則演算と平方根を取る操作を施して得られるような数の全体）。[[作図可能数]]体の部分体になる。例えば [http://www.math.sunysb.edu/~llopez/mat515/MAT515Handout1.pdf], [http://www.math.toronto.edu/rosent/Mat246Y/OLDPDF/week18.pdf]</ref>) '''S''' は除外されない。この意味では任意の内積空間がノルム空間となるわけではないことが言える。

=== 加群のスカラー ===
スカラー全体の成す集合が体を成すという条件を緩和して、単に[[環 (数学)|環]]を成すことだけを課す（つまり、他とｗ場スカラーの間に除法が定義されなくともよい）ことによって得られる、ベクトル空間を一般化した代数構造を[[環上の加群]]あるいは単に加群と呼ぶ。

この場合においても、「スカラー」による対象へのスカラー倍は定義される。例えば環 ''R'' の直積空間 ''R''<sup>''n''</sup> の元としてのベクトルの全体は、''R'' に成分を持つ ''n''-次正方行列をスカラーとして、加群を成す。別な例として、[[多様体]]論における多様体の[[接束]]の[[切断 (ファイバー束)|切断]]全体の成す空間は、その多様体上の[[函数環]]上の加群となる。

=== スケール変換 ===
ベクトル空間および加群のスカラー倍は[[線型変換]]の一種である[[スケール変換]]の特別の場合と見ることができる。

== 注釈 ==
<references group="note" />

== 参考文献 ==
{{reflist}}

== 関連項目 ==
* [[スカラー (物理学)]]
*[[スーパースカラー]]

== 外部リンク ==
* {{SpringerEOM|title=Scalar|urlname=Scalar}}
* {{MathWorld |urlname=Scalar |title=Scalar}}
* [http://www.mathwords.com/s/scalar.htm Mathwords.com – Scalar]
* {{kotobank}}

{{Linear algebra}}
{{Normdaten}}
{{DEFAULTSORT:すからあ}}
[[Category:抽象代数学]]
[[Category:線型代数学]]
[[Category:解析幾何学]]
[[Category:数学に関する記事]]