我們定義綫形映射爲綫形空間間的同態(即保持加法和純量乘法).而綫形算子則是自同構.其他課本中或稱綫形算子爲綫形變換.或稱綫形映射爲綫形變換.爲了避免混淆、我們棄之不用.
設 與 爲 上的綫形空間.映射 稱爲從 到 的綫形映射、或者說綫形空間 到 的同態、若對任意 與 、皆有
如果綫形映射更是對映、則稱爲綫形同構.、上存在同構映射則稱二者同構.記作 .將所有從 到 的綫形映射的集合記作 .
域上 空間的實部映射與虛部映射 是同態.因爲凡 與 、皆有
但不是同構、非單射故也.
共軛映射 是 域上的線形同構.但不是 域上的線形同構、因爲 .
上的自同態稱爲 上的綫形算子.其集合記爲 .
將 中的綫形映射稱爲 上的綫形泛函.並且可以記該綫形空間爲 、稱爲 的對偶空間.
凡 、、.
- 加法
- .
- 純量乘法
- .
和 是线形空间. 是 的基集.可唯一定义 .以凡 、任取 的值并线性延拓至整个 :
一句话说.凡 、 而 .
存在性. 由于 是 的基、 中每个向量都有本质唯一的有限线性组合表示:对任意 、存在唯一的有限子集 和唯一的标量 (排除零系数)、使得
因此可以无歧义地令
凡 皆有线性表示保证整个 上 皆有定义.表示的唯一性保证了 无歧义.因此 是良定的.
线性. 设 、.将它们分别展开为基的线性组合、
则
故 是线形映射.
唯一性. 设 满足对所有 有 .对任意 、由线性得
故 .
同構
是同构. 则
- .
- 在 中线形独立 在 中线形独立.
- 是 的基 是 的基.
设 是同构映射.以下每条均证两个方向.
1. :任取 .由 满射、 使 .由 、().于是
:任取 .因 、故
由 单射、.
2. 线形独立 线形独立:设 .由线性、.由 单射、.由 线形独立、各 .
线形独立 线形独立:设 .由线性、.由 线形独立、各 .
3. 直接由 1、2 合并: 张成 且线形独立 张成 且线形独立.
必要性. 由 命題 LA24(3) 即得.
充分性. 设 是 的基、 是 的基.满映:任意 、、其中、 設 則 . 單映:設 、將 在基 下展開爲 ()、由線性得 .由於 是基故線形獨立、各 、從而 .
由於 、故
因此、 是 中 的加法單位元.由於加法單位元唯一、遂得 .這個命題表明、綫性映射將零向量映射到零向量.
我們來證明它是 的子空間.
顯然 . 因為 .
若 、則 且 .因此
故 .
若 且 、則 .
我們稱綫形空間 為 的核空間或零空間.則命題 LA26 可重述爲 .
、則
() 如果 是单射、則凡 、有 .又以命題 LA26、.由於 是单射、遂得 .因此、.
() 如果 、則凡 、若 、則 .于是 、即 .
必要性其实很显然、由单射的定义一眼望穿.但充分性則展示了我们能從核空間的单射性质反推整个映射的单射性.
唯需证明 且封闭于加法與純量乘法.
- 由於 、故 .
- 若 、則存在 、使得 且 .因此
不變子空間
設 爲綫形空間、.子空間 稱爲 -不變、若 .換言之、 是 上的自同態.
以下幾個是不變子空間
- – 因爲 .
- – 因爲 是自身的子空間.
- – 因爲對任意 、.
- – 因爲對任意 、.
現在考慮一維不變子空間、設 是 張成的一維子空間.即
如果 是 -不變的、則對任意 、 即 使得
() 設 . 是 的基.將欲證明 是 的基. 綫形無關、故 不二. 亦然、 單射故也.故 .
現在證明 綫形獨立. 設 而
則左邊
以命題 LA26、又 單映、若且僅若 時上式成真.因 綫形獨立故 .故 綫形獨立.
現在證明 張成 . 設 .因爲 是滿映、故 使 .又因 張成 、故 使得 而
故 張成 . 故 .
() 設 .設 與 分別爲 與 的基.定義映射 如下:對於
於是 爲綫形映射、且顯然爲雙射.因爲可以相同的思路構造出 的綫形映射爲 的逆.
該定理十分重要.
論見
Sign in as ?