![見出し画像](https://assets.st-note.com/production/uploads/images/103832812/rectangle_large_type_2_b5c53d568a0befcd39fef59cffd0e8d7.png?width=1200)
書記が数学やるだけ#687 零化空間,双対写像
双対という概念をさらに深掘りしていく。
問題
![](https://assets.st-note.com/img/1682323142127-5SbKpJYAXq.png?width=1200)
説明
零化空間(直交補空間)は双対対が0になる元による双対空間の部分空間である。
![](https://assets.st-note.com/img/1682323170079-7VErP6sbP1.png?width=1200)
双対写像について。
![](https://assets.st-note.com/img/1682323316748-9Gd37K6Pfd.png?width=1200)
解答
零化空間に対し,商空間の双対空間とのカノニカルな線形同型が存在する。
![](https://assets.st-note.com/img/1682323417613-AcXq7KVemU.jpg?width=1200)
双対写像が線形であることについて。
![](https://assets.st-note.com/img/1682323469402-AqK38fO3a2.jpg?width=1200)
合成写像を考える際,反変性が現れる。
![](https://assets.st-note.com/img/1682323493385-6KmokI7fcp.jpg?width=1200)
双対写像の表現行列が転置となることについて,以下のような可換図式を示していく。
![](https://assets.st-note.com/img/1682323515164-PffnYr91r1.jpg?width=1200)
本記事のもくじはこちら:
双対という概念をさらに深掘りしていく。
零化空間(直交補空間)は双対対が0になる元による双対空間の部分空間である。
双対写像について。
零化空間に対し,商空間の双対空間とのカノニカルな線形同型が存在する。
双対写像が線形であることについて。
合成写像を考える際,反変性が現れる。
双対写像の表現行列が転置となることについて,以下のような可換図式を示していく。
本記事のもくじはこちら: