21/11/21 23:13:16.99 bnJTFdIH.net
>>960
そこの「基底に依存しない」が>>935の「基底に依存しない」の意味なら
基底に依存しない同型写像の存在に矛盾はない
それは>>914に書かれているとおり
>基底を固定して線形写像αを作ってしまえば、それは基底によらない意味を持つよ
という意味で
たとえば>>935の記法を使えば
あるe0についてのα_e0を以て任意のeについてα_e=α_e0と定義するという（アホみたいな）ことだけど
993:１３２人目の素数さん
21/11/22 00:38:28.60 QqhH3YEI.net
>>962
んー中々うまくいかないですね
調べてみると>>926にある通り確かに色んな本で特別な同型はないとか色々な言い方がされてるみたいなんですが、特別な同型があるとどうマズいとかこういう矛盾が起きるというのがはっきり示されてないんですよね
994:１３２人目の素数さん
21/11/22 00:43:55.72 Vg3NA31M.net
>>958
「表現行列」を勉強すれば、自分の質問が変なことが分かったり、
やりたいことを定式化して解決することができると思うよ
995:１３２人目の素数さん
21/11/22 00:55:26.35 QqhH3YEI.net
>>964
ちなみに
996:>>964さんなら以下の内容をどう定式化されます？ 以下本の該当部分を引用 "Vが有限次元のときは，Vの基底を考えれば，それを双対基底にうつす同形V→V^*がある.． しかし，この同形は基底に依存するもので，特別な同形V→V^*があるわけではない．"
997:１３２人目の素数さん
21/11/22 01:38:44.37 Vg3NA31M.net
>>965
そこは
「基底を変えれば違う同型写像になる」
としか言ってないよ
998:１３２人目の素数さん
21/11/22 02:53:55.34 CvOg8nhD.net
今、小平の複素解析の細胞分割可能定理を読んでるんだが、くっそ長い。20ページぐらいある
論理展開を読むのがくっそだるいんだが、誰かこの証明を見やすい感じにまとめてる人いる？
文字が汚くても論理の流れを綺麗にしてくれるんなら、手書きノートでも全然読みたいんだが、誰か持ってる？
999:１３２人目の素数さん
21/11/22 09:55:28.19 +9u3W7Kl.net
>>965
"Vが有限次元のときは，Vの基底を考えれば，それを双対基底にうつす同形V→V^*がある.．"
基底を考えた場合の同型はどう表せるかは分かる？
1000:１３２人目の素数さん
21/11/22 12:22:09.43 H4o4eoDn.net
>>965
例えば1次元空間と体kの同型ですら特別なものは無いよ
基底に依存する話
VからV*への線形写像はV※Vからkへの線形写像と自然に対応するし
Vが1次元ならV※Vも1次元だから
上の話に帰着するわけ
1001:１３２人目の素数さん
21/11/23 18:15:07.04 ywkJB3YG.net
>>966
同型の表現行列を固定した時に基底を変えると違う写像になるっていうことが述べられてるんですかね？
1002:１３２人目の素数さん
21/11/23 19:25:57.56 NFzilZg4.net
なんで具体的に写像書いて基底変換してみないんだろうか
1003:１３２人目の素数さん
21/11/23 20:44:20.21 2LBH4XF0.net
>>971
だよね
>>970
1次元空間VからV*への線形写像作ってみなよ
1004:１３２人目の素数さん
21/11/23 22:40:04.59 WT8s+IY/.net
横だけど「具体的に線形写像を作ったら基底によって変わる」で学部生ならまあ正解でいいと思う
修士は微妙だが、博士でこれを回答だと思ってるような人は流石にいないだろう
1005:１３２人目の素数さん
21/11/23 22:42:55.11 8thyu8TP.net
ｋｗｓｋ
1006:１３２人目の素数さん
21/11/23 22:59:24.01 2LBH4XF0.net
>>973
>「具体的に線形写像を作ったら基底によって変わる」で学部生ならまあ正解
え？正解なの？てゆーか基底によって変わるのは行列による表現では？
1007:１３２人目の素数さん
21/11/23 23:00:07.75 2LBH4XF0.net
>>973
>博士でこれを回答だと思ってるような人は流石にいないだろう
これは何についての回答なの？
1008:１３２人目の素数さん
21/11/24 01:06:56.84 9wLeWaLz.net
>>972
>1次元空間VからV*への線形写像作ってみなよ
α:V->V*, α=(φ_e*)^(-1) . p_e . φ_e
但し p_e∈K, φ_e: V->K; xe->x
p_e != 0なら同型
と言うところまでしか…
1009:１３２人目の素数さん
21/11/24 01:18:29.06 9wLeWaLz.net
>>973
これ気になります
1010:１３２人目の素数さん
21/11/24 06:41:04.19 fn7gfaHo.net
>>977
それがeに依存した定義
1011:１３２人目の素数さん
21/11/24 17:05:58.65 9wLeWaLz.net
>>979
ちょっと話ごちゃごちゃしますけど
β:V->V**, β=(φ_e**)^(-1) . p . φ_e
はeに依存しないですよね？
1012:１３２人目の素数さん
21/11/24 17:10:56.89 qo2nkaQr.net
齋藤正彦著『線型代数入門』のp.136に以下の記述があります。
「
実線形空間の線型変換 T の場合、任意の基底に関する T の行列を A とすれば、 A は実行列であり、実数 α が T の固有値であるということは、
実係数の斉次一次方程式 (α*E - A) * x = 0 が、自明でない実解を持つということである。第2章§2注意2（p.58）により、これは α が実特性根
であるということと同値である。証明終。
」
第2章§2注意2（p.58）とは、 A を実行列としたとき、 A * x = 0 の解は複素ベクトルにはならず、実ベクトルになるというものです。
上の齋藤さんの記述の「第2章§2注意2（p.58）により、これは α が実特性根であるということと同値である。」って必要ですか？
当たり前のことですよね？
第2章§2注意2（p.58）というのはなぜ書いたのか�
1013:ｪ分かりません。非常に自明なことです。 A * x = 0 の解は、 A の成分と四則演算のみを使って表わされるから自明なことです。
1014:１３２人目の素数さん
21/11/24 18:49:03.87 QyMiFpWI.net
>>978
本当に気になっているのなら、残念だがここで質問しても回答を得ることはできないかもしれない
俺が正解を書くことはできると思うが、それが正解であると判定できる人がいない
学部くらいの知識、常識で「反論みたいなもの」をレスされて、混迷を極める(ひどい場合には正解が潰される)展開になりうることは容易に想像できる
博士以上のきちんと正解が示せる人はここまで来ていないし、よりレベルの高い場所で質問をしたほうが良いかもしれない
1015:１３２人目の素数さん
21/11/24 20:16:42.57 AvGpF1hr.net
>>973の真意
>>971,>>972を「基底を変えたら写像そのものが変わるだろ？」と言ってるように見えた
に1票
1016:１３２人目の素数さん
21/11/24 20:21:44.94 9wLeWaLz.net
>>982
とりあえず書いていただけるとありがたいです
1017:１３２人目の素数さん
21/11/24 20:26:30.76 r6dT+Ipz.net
そもそも線形写像f:V->v^*が存在する空間Vの特徴付けができそうだが
1018:１３２人目の素数さん
21/11/24 20:33:22.78 8t7epn/6.net
>>983
違うの？
>>966で明確に「基底を変えれば違う写像になる」と書いてあるが別人が別の主張をしてるのか
1019:１３２人目の素数さん
21/11/25 09:05:01.30 /V/3cRou.net
>>980
e無しで定義できてないし？
1020:１３２人目の素数さん
21/11/25 09:07:21.52 /V/3cRou.net
ああそうか
eに依存して定義したものが実は他のすべてのe'でも同じになるということ
君の最初の奴はそうならないわけ
1021:１３２人目の素数さん
21/11/25 09:08:18.86 /V/3cRou.net
>>982
なんだ
ショーもない奴だったな
1022:１３２人目の素数さん
21/11/25 09:11:53.23 /V/3cRou.net
>>986
たとえば1次元空間Vとその双対V*の基底eとその双対基底e*でなら
f(xe)=xe*と定義した線形写像は「別の基底で同じ定義をしたら」別の線形写像になるということ
1023:１３２人目の素数さん
21/11/25 09:14:18.83 /V/3cRou.net
k≠0で(ke)*=(1/k)e*だから(ke)**=((1/k)e*)*=k(e**)だから
V→V*とV→V**は本質的に異なるってだけ>>ID:9wLeWaLz
1024:１３２人目の素数さん
21/11/25 12:18:45.23 wZiNq8MI.net
>>990
それが「基底に依存する」ことに対する回答であるならば、学部生なら正解
ただ数学的には（エッセンスは含まれているが）不正解
博士以上の人なら分かると思うが、いなさそうだな
1025:１３２人目の素数さん
21/11/25 12:29:21.93 nQbbCq22.net
>>992
死ね
1026:１３２人目の素数さん
21/11/25 13:00:05.80 0pEmg452.net
>>992
それを書いてもらえますか？
1027:１３２人目の素数さん
21/11/25 20:06:00.90 E1sOl/f7.net
M∈K^(n×n)を固定してVの基底eに対して
α_e=(φ_e*)^(-1) . M . φ_e : V->V* (MはM倍写像と同一視)
と定義したときに∀e,f:Vの基底(α_e=α_f)が成り立つことを
α:V->V*は基底に依存しない線形写像
の定義だと思って良いんですかね？
1028:１３２人目の素数さん
21/11/25 20:21:57.05 BD79xTC8.net
圏論を勉強してから考え直した方がいいよ
1029:１３２人目の素数さん
21/11/25 20:25:08.77 nRiYrSrd.net
お腹いっぱい
1030:１３２人目の素数さん
21/11/25 20:50:48.75 E1sOl/f7.net
>>996
一応調べる中で出て来たのでこれは読みました
Samuel Eilenberg and Saunders MacLane. General theory of natural equivalences. Trans. Amer. Math.
Soc., 58:231?294, 1945.
どちらかと言うと圏論によって証明される事実と言うよりは圏論が始まる切っ掛けとして線形代数の中で知られていた事実という扱いみたいです
1031:１３２人目の素数さん
21/11/25 20:54:25.41 nRiYrSrd.net
剣呑
1032:１３２人目の素数さん
21/11/25 20:59:40.02 nRiYrSrd.net
どうでもいい
1033:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 209日 15時間 42分 11秒
1034:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています