![見出し画像](https://assets.st-note.com/production/uploads/images/103920157/rectangle_large_type_2_6c864ed654223af5da548d5fe930c57d.png?width=1200)
書記が数学やるだけ#688 双線形形式
双線形形式についていくつか具体例を見ていく。
問題
一般化であることが分かりやすいよう,関数についての例を示す。
![](https://assets.st-note.com/img/1682413903539-D8mlllnqQs.png?width=1200)
説明
以下を満たす二変数函数を双線形形式という。
![](https://assets.st-note.com/img/1682413943628-vRwwoAgWTx.png?width=1200)
対称双線形形式は実ベクトル空間上の標準内積を一般化したものである。
![](https://assets.st-note.com/img/1682413980983-HJwKGmO35J.png?width=1200)
エルミート形式は対称双線型形式の複素版にあたる。
![](https://assets.st-note.com/img/1682414023397-L2B7qLKUc6.png?width=1200)
解答
双線形形式について,非退化と同型が同値であることは重要。
![](https://assets.st-note.com/img/1682414296495-hQaC3P147L.jpg?width=1200)
実関数について対称双線形形式を考える。ここで,非退化と零化空間=0が同値であることを利用した。随伴写像は自己準同型の関数を代入して計算する,これはエルミート共役の一般化といえる。
![](https://assets.st-note.com/img/1682414333061-s92NyX7r4N.jpg?width=1200)
エルミート形式であることは定義の条件を1つずつ確認して示す。ここでのΔはスカラー関数におけるラプラシアンであり,エルミート性を満たすことは部分積分により確認できる。
![](https://assets.st-note.com/img/1682414485880-RyjhUPZA8R.jpg?width=1200)
この基底はフーリエ変換などで見覚えがあるだろう。
![](https://assets.st-note.com/img/1682414593037-Ixtpgl76G0.jpg?width=1200)
本記事のもくじはこちら: