線型写像
(線形変換 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/06/14 23:07 UTC 版)
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2020年7月）
|
数学の特に線型代数学における線型変換（せんけいへんかん、英: linear transformation、一次変換）あるいは線型写像（せんけいしゃぞう、英: linear mapping）は、ベクトルの加法とスカラー倍を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。
概要
抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。
「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像（自己準同型）の意味で用いていることも少なくない。また函数解析学の分野では、（特に無限次元空間上の）線型写像のことを「線型作用素」（せんけいさようそ、英: linear operator）と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」（いちじけいしき、英: linear form, one-form; 線型形式; 1-形式）とも呼ばれる[注釈 1]。
定義
V と W とを同じ体 𝔽 の上のベクトル空間とする。V から W への写像 f が、任意のベクトル x, y ∈ V と任意のスカラー c ∈ 𝔽 に対し、
をともに満たすとき[注釈 2]、f を 𝔽 上の線型写像 または簡単に 𝔽-線型写像という。考えているベクトル空間および線型写像がどの体上のものであるかが明らかなときには、省略して単に「 f は V から W への線型写像である」などということもある[注釈 3]。
上記の二性質を合わせて線型性と呼び、また有限個のスカラー λi とベクトル vi に対して
-
線型性:
- 齋藤正彦『線型代数入門』東京大学出版会〈基礎数学1〉、1966年。ISBN 978-4130620017。
- 佐武一郎『線型代数学』裳華房〈数学選書1〉、1974年。 ISBN 978-4785313012。
- Halmos, Paul R. (1974), Finite-dimensional vector spaces, New York: Springer-Verlag, ISBN 978-0-387-90093-3
- Lang, Serge (1987), Linear algebra, New York: Springer-Verlag, ISBN 978-0-387-96412-6
関連項目
外部リンク
- Weisstein, Eric W. "Linear Transformation". mathworld.wolfram.com (英語).
- linear map in nLab
- linear transformation - PlanetMath.（英語）
- Definition:Linear Transformation at ProofWiki
- Hazewinkel, Michiel, ed. (2001), “Linear transformation”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
線形変換
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 06:14 UTC 版)
代数的閉体 K 上の有限次元線形空間を V とし、線形変換 ƒ : V → V をとる。ƒ が半単純（semisimple）であるとは、線形空間 V が V = ⨁ V λ {\displaystyle V=\bigoplus V_{\lambda }} と ƒ の固有値 λ ∈ K の固有空間 Vλ = { v ∈ V | ƒ(v) = λv } の直和として表せることである。また ƒ が 冪零（nilpotent） であるとは、ある自然数 r が存在して fr = 0 となることである。 任意の線形変換 ƒ : V → V に対して、半単純線形変換 ƒs と冪零線形変換 ƒn で f = f s + f n , f s f n − f n f s = 0 {\displaystyle f=f_{\rm {s}}+f_{\rm {n}},\quad f_{\mathrm {s} }f_{\mathrm {n} }-f_{\mathrm {n} }f_{\mathrm {s} }=0} を満たすものが一意的に存在する。このとき ƒ = ƒs + ƒn のことを（加法的）ジョルダン分解といい、ƒs を ƒ の半単純成分、ƒn を ƒ の冪零成分という。 線形空間 V の基底 { e i j ∣ i = 1 , … , k ; j = 1 , … , n i } {\displaystyle \{\,e_{ij}\mid i=1,\dotsc ,k;~j=1,\dotsc ,n_{i}\,\}} が線形変換 ƒ のジョルダン基底 であるとは、ei0 = 0 とおいたとき f ( e i j ) = λ i e i j + e i ( j − 1 ) {\displaystyle f(e_{ij})=\lambda _{i}e_{ij}+e_{i(j-1)}} が基底の任意の元 eij について成り立つことである。ジョルダン基底に関する ƒ の表現行列がジョルダン標準形である。
※この「線形変換」の解説は、「ジョルダン標準形」の解説の一部です。
「線形変換」を含む「ジョルダン標準形」の記事については、「ジョルダン標準形」の概要を参照ください。
- 線形変換のページへのリンク
