「零空間」の版間の差分

削除された内容 追加された内容
Ideal (会話 | 投稿記録)
全般的に書き直しました
Ideal (会話 | 投稿記録)
m編集の要約なし
2行目:
 
<i>A</i> が[[ベクトル空間]] <i>V</i>からベクトル空間 <i>W</i> への [[線形写像]]であるとき、 <i>A</i> の核空間とは、
: kerKer <i>A</i> := {<b>x</b> in <i>V</i> : <i>A</i><b>x</b> = <b>0</b>}.
のことである。<br>
核空間は、ベクトル空間 <i>V</i> の[[部分空間_(線形代数)|部分空間]]である。さらに、 [[商空間_(線形代数)|商空間]] <i>V</i>/(ker <i>A</i>) は、 <i>A</i> の像に同型である; 特に[[次元_(線形代数)|次元]]について
: dim kerKer <i>A</i> = dim <i>V</i> - dim imIm <i>A</i>.
が成り立つ。<br>
kerKer <i>A</i> = {<b>0</b>} であることと、線形写像 <i>A</i> が[[単射]]であることは同値である。
 
===関連項目===