『ベーシック圏論』の1.3 自然変換のところで、例として、有限次元ベクトル空間の圏(FDVECT)における、恒等関手から二重双対関手への自然変換が挙げられています
そこで、
>以上は恒等関手から二重双対関手への自然変換を定める。(中略)。定義1.3.2の言葉を用いるならば、Vについて自然にV≅V^{**}が成り立つ。
>このことは圏論が直感を正確にする場面の一つである。非形式的な意味で、有限次元線形空間とその二重双対の間のこの同型が「自然」あるいは「標準的」であることは圏論を学ぶ前では明白だった。
>(定義するのに恣意的な選択が不要だったから)。
>反対にVとその一重双対V^*の間の同型を指定するには恣意的な基底の変換が選択で、同型は本当に基底の選択に依存する。
という記述があります。
二重双対の場合に自然変換があるということは説明されている一方一重双対の場合の自然変換についての事情は説明されていなくて
「このことは圏論が直感を正確にする場面の一つである。」ということの理屈について理解しかねているのですが、
・Vとその一重双対V^*の間の同型を指定するためには恣意的な基底の選択が必要なことと対応して、Vとその一重双対V^*の間の同型と対応するような自然変換は存在しない
ということなのか、
・Vとその一重双対V^*の間の同型と対応するような自然変換を定めるには、Vとその一重双対V^*の間の同型を指定する際と同様に、恣意的な基底の選択が必要
ということなのかどちらかだと思うのですが、どちらですか?
それとも、どちらとも違う別の意味なんでしょうか?
大学学部レベル質問スレ 19単位目
■ このスレッドは過去ログ倉庫に格納されています
130132人目の素数さん
2022/08/15(月) 01:25:02.22ID:pfZerAHe■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】開催国アメリカがGS2連勝! 前半に2ゴールを奪取、オーストラリアに2-0で快勝 [鉄チーズ烏★]
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」★2 [jinjin★]
- 【速報】自民、成長投資促す新たな財政目標を提言へ [バイト歴50年★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- 【気象】台風7号「メーカラー」が発生 今後の動向に注意 [牛乳トースト★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- 【悲報】女さん「男さあ、サッカースタジアム清掃するなら家でもやってよ」→正論すぎてBBCに取り上げられるwwwwwwwwwwwww [839150984]
- 【今日の】コンマ下が俺よりも大きければ大吉【運勢】
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- 将棋も麻雀も飽きた
- 【悲報】日本政治家の『議員年収額』、世界一。😲 [153490809]
- 柏木由紀さん(34)「ららぽーとで幸せそうな家族に囲まれながら1人でかき氷を食べる人生。私このままでいいのか?」 [643675351]