線型写像
[Wikipedia|▼Menu]
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom:1px solid #a2a9b1;font-size:90%}

「一次変換」はこの項目へ転送されています。一次分数変換については「メビウス変換」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方
出典検索?: "線型写像" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL(2020年7月)

数学の特に線型代数学における線型変換(せんけいへんかん、: linear transformation、一次変換)あるいは線型写像(せんけいしゃぞう、: linear mapping)は、ベクトルの加法とスカラー倍を保つ特別の写像である。特に任意の(零写像でない)線型写像は「直線を直線に移す」。
概要

抽象代数学の言葉を用いれば、線型写像とは(上の加群としての)ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像をとするを成す。

「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像(自己準同型)の意味で用いていることも少なくない。また函数解析学の分野では、(特に無限次元空間上の)線型写像のことを「線型作用素」(せんけいさようそ、: linear operator)と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」(いちじけいしき、: linear form, one-form; 線型形式; 1-形式)とも呼ばれる[注釈 1]。線形等の用字・表記の揺れについては線型性を参照
定義

V と W とを同じ ? の上のベクトル空間とする。V から W への写像 f が、任意のベクトル x, y ∈ V と任意のスカラー c ∈ ? に対し、
加法性: f(x + y) = f(x) + f(y),

斉一次性: f(cx) = cf (x)

をともに満たすとき[注釈 2]、f を ? 上の線型写像 または簡単に ?-線型写像という。考えているベクトル空間および線型写像がどの体上のものであるかが明らかなときには、省略して単に「 f は V から W への線型写像である」などということもある[注釈 3]

上記の二性質を合わせて線型性と呼び、また有限個のスカラー λi とベクトル vi に対して線型性: f ( ∑ i = 1 r λ i v i ) = ∑ i = 1 r λ i f ( v i ) {\displaystyle f{\Big (}\sum _{i=1}^{r}\lambda _{i}v_{i}{\Bigr )}=\sum _{i=1}^{r}\lambda _{i}f(v_{i})}

のような形で言及することもある。
例と反例

恒等写像(値を変えない写像)および零写像(全てを零ベクトルへ写す写像:0-値函数)は何れも線型である。

実函数 f(x) ? ax (a は定数) は線型である。

実函数 f(x) ? x + 1 は線型でない(がアフィンにはなる)。線型変換は原点を変えない。

実函数 f(x) ? x2 は線型でない。


m × n 実行列 A は列ベクトル x ∈ ?n を列ベクトル Ax ∈ ?m へ写す線型写像を定める。逆に、有限次元ベクトル空間の間の任意の線型写像は(それぞれの空間の基底を一つ固定するとき)行列で表現される。またこのとき、線型写像 f をその表現行列 Af へ写す写像(行列表現)はそれ自身が線型写像になる(後述)。

M ? M(n, ?) を n 次実正方行列の全体がなす n2 次元ベクトル空間とする。x ∈ M に対し、写像 ad x: M → M を adx(y) ? xy − yx で定義すると、ad x は線型写像である。さらに、M から End?(M) への写像 ad: x ? ad x も線型である。

? の適当な区間 (数学)上の定積分は、その区間上の実数値可積分函数の空間からの線型写像である。

不定積分(あるいは原始函数)は、得られる函数が積分定数の分だけ無数に存在するため、線型写像とみなすことはそのままではできない。


微分は可微分函数全体の成す空間から函数全体の成す空間への線型写像である。

確率変数 X の期待値 ?[X] は E [ c X + a ] = c E [ X ] + a {\displaystyle \mathbb {E} [cX+a]=c\,\mathbb {E} [X]+a} を満たすから線型写像となるが、分散 ?[X] は ?[cX + a] = c2?[X] で斉一次性が成り立たないので線型でない。


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:59 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef