線形代数(初心者レベルから中級まで)

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2011/10/10(月) 22:10:23.26
質問とかアリで、本質的、歴史的な議論もアリ。
深めていく。

0718132人目の素数さん2015/12/03(木) 12:50:03.82ID:/RHeO3F1
どの数体上のベクトル空間かによる

0719132人目の素数さん2015/12/03(木) 13:45:35.54ID:oecd/UL4
これはひどい

0720132人目の素数さん2015/12/03(木) 16:04:55.53ID:WgrxEo1C
ひどいのはお前の顔

0721132人目の素数さん2015/12/03(木) 17:06:07.61ID:om81Zzar
ひどいのはお前のハゲ

0722132人目の素数さん:2015/12/04(金) 02:27:34.13ID:XZudZAaD
詳しい方お願いします。

Grassman積とWedge積と外積は同じ物なのでしょうか?

そしてベクトル積は外積の特殊なケースですよね?

0723132人目の素数さん:2015/12/04(金) 05:30:24.38ID:XZudZAaD
>722 解決できました。どうもお騒がせしました。

0724132人目の素数さん2015/12/04(金) 08:25:36.55ID:rW5UfAym
>>722-723
Mathematicaのリファレンスがググったら引っかかりそうだな。

0725132人目の素数さん:2015/12/17(木) 12:01:58.43ID:lHtsmozM
エルミート内積の定義について質問です。

内積<,>:V×V→Cがエルミート内積であるとは,
Vの正規直交基底Bに対して,<b_i,b_j>=δ_ij(b_i,b_j∈B)が成立つ内積の事を言う。
という定義だと認識してるのですがこの理解で正しいでしょうか?

0726132人目の素数さん2015/12/17(木) 12:17:22.43ID:ImxM1Er6
いいえ

0727132人目の素数さん2015/12/17(木) 12:32:45.61ID:shb5ZdnK
定義を質問するやつ

0728132人目の素数さん2015/12/17(木) 12:44:49.62ID:Zq32cOC6
標準エルミート内積だろ

0729132人目の素数さん2015/12/17(木) 12:54:13.60ID:Utoab+Bc
内積あっての正規直交だろ?

0730132人目の素数さん2015/12/17(木) 14:48:51.27ID:U/eXVszp
超準エルミート内積

0731132人目の素数さん2015/12/17(木) 20:32:33.69ID:DrNFqAS9
半双線形形式

0732132人目の素数さん2015/12/17(木) 21:40:15.44ID:PDl4fcHn
>>729
わろた

0733132人目の素数さん2015/12/17(木) 21:40:53.44ID:q0NLBOPA
双線形形式

0734132人目の素数さん2015/12/17(木) 22:14:53.66ID:Yj54bVwQ
onbを指定すると内積が決まるのか

0735132人目の素数さん2015/12/17(木) 22:17:59.93ID:q0NLBOPA
ONS

0736132人目の素数さん2015/12/18(金) 10:46:29.52ID:mcqAnOk5
反双線形形式

0737132人目の素数さん2015/12/18(金) 13:19:43.53ID:eO0uEAdC
>>734
そだね

0738132人目の素数さん2015/12/20(日) 00:53:10.41ID:LfbAN/wV
なんかマンガでわかるってのでざっと見てみたのだが、線形代数てどこの大学でもしっかり教わるの?
ちな宮廷理目指す浪人生

0739132人目の素数さん2015/12/20(日) 08:07:48.05ID:+jRGBRCb
>>738
まず理系なら一般教養として基本的なことは学ぶ。
ただ、数学科の場合はベクトル空間からきっちり学び、他にも双対空間や商空間や有名なジョルダン標準形まで厳密に学ぶ。
それ以外の学科は基本的に計算メイン。

0740132人目の素数さん2015/12/20(日) 08:54:42.58ID:LfbAN/wV
>>739
なるほど
さんくす

0741132人目の素数さん2015/12/23(水) 15:23:14.37ID:XbEbLxCC
やあね、数学科の人ってすぐ厳密、厳密って厳密真理教で

0742132人目の素数さん2015/12/23(水) 15:54:23.11ID:csBmSPGh
普段からよく考える人は殊更厳密性を意識しなくていいんだけど、大学入学時点でそれができる人はほとんどいないのが現実
数学をツールではなく数学として学ぶなら避けて通れないのが厳密性を身に着ける訓練なんだよ

0743132人目の素数さん2015/12/23(水) 15:58:47.99ID:V+WBkL4q
厳密教、秘密教、怪しいw

0744132人目の素数さん2015/12/23(水) 16:35:53.56ID:Wqj9Xqi6
厳密にしといたほうが形式的に処理できてパズルみたいになりむしろ楽という側面がある
アバウトに扱うのは寧ろ高級

0745132人目の素数さん2015/12/23(水) 17:01:33.63ID:csBmSPGh
数学としては証明をしなければならない
正しい証明の基準=数学の厳密性
数学を使う立場なら証明は読まなくてもいいので、厳密性は必須ではない
なので、そんなにビビらなくてもいい>>743

0746132人目の素数さん2015/12/23(水) 17:04:15.53ID:uw3zGIGb
釣れた、ねたのつもりなのだがw

0747132人目の素数さん2015/12/23(水) 17:12:28.38ID:csBmSPGh
ネタだったかどうかはともかく、>>742が言葉足らずだと思ったので補足したんだよ
>>744にもあるように「アバウトに扱っても正しい推論ができる」ようになるのが一つの関門
さっきも言ったけど、始めからそれができる人はほとんどいない

0748132人目の素数さん2015/12/26(土) 20:50:25.21ID:8KUMHt0Z
歴史的経緯を踏まえた線形代数の(入門)書のおすすめってありますか。

0749132人目の素数さん2015/12/26(土) 20:52:25.51ID:Z/XrWi5g
線形代数は誰が発明したんだっけ?

0750132人目の素数さん2015/12/26(土) 22:58:54.80ID:A8T6b1Ee
公理から出発した洗練された理論を学べ
歴史的経緯を知りたけりゃ
http://www.math.hc.keio.ac.jp/itoseminar/index.php?plugin=attach&;pcmd=open&file=%C0%FE%B7%C1%C2%E5%BF%F4%BE%AE%BB%CB.pdf&refer=FrontPage
でも見れ

0751132人目の素数さん2015/12/30(水) 22:11:47.33ID:QOcjnfA+
どうしても直交化できないのって
なんでなの?
イメージがわかないんだけど

0752132人目の素数さん2016/01/14(木) 14:10:34.82ID:X4brjulr
馬鹿なだけ

0753132人目の素数さん2016/03/01(火) 08:31:05.46ID:otoRSUKl
対角化不可能なn×n正方行列Aの固有値をλ_1,λ_2,…λ_m m≦nとする時,
A=Σ_{k=1..m}(A-λ_kI)P_k (Iは単位行列,Σ_{k=1..m}P_k=I)
と分解されますがこの分解は何分解と呼ぶのでしょうか?

0754132人目の素数さん2016/03/01(火) 08:43:44.12ID:otoRSUKl
> 753

失礼。訂正です。

対角化不可能なn×n正方行列Aの固有値をλ_1,λ_2,…λ_m m≦nとする時,
A=Σ_{k=1..m}λ_kP_k+Σ_{k=1..m}(A-λ_kI)P_k (Iは単位行列,Σ_{k=1..m}P_k=I)
と分解されますがこの分解は何分解と呼ぶのでしょうか?

0755132人目の素数さん2016/03/01(火) 08:49:47.87ID:qZUXBytX
ググりもせずにわざわざ2ちゃんで尋ねますか

0756132人目の素数さん2016/03/01(火) 08:53:02.55ID:qZUXBytX
エロサイトに広告を出す有名企業の見識も疑いたい今日このごろ。

0757132人目の素数さん2016/03/01(火) 10:18:58.66ID:otoRSUKl
>755

ググってはみたのですが、、そこを何とかお願いします。

0758132人目の素数さん2016/03/01(火) 13:20:48.57ID:M45WVV72
P_kが射影とすら書かないんじゃググるのは無理だわな

0759132人目の素数さん2016/03/01(火) 20:59:59.16ID:otoRSUKl
> 758

これは失礼致しました。
P_kは射影です。

そこを何とかお願いします。m(_ _)m

0760132人目の素数さん2016/03/03(木) 20:59:30.01ID:wAxuf3WN
>>754
分配法則じゃない?

0761132人目の素数さん2016/03/05(土) 15:56:11.11ID:biYSEK27
来年度から大学一年生なのですが良い入門書はなんでしょう
新課程で行列をやっていないのでさっぱりで

0762132人目の素数さん2016/03/06(日) 13:13:28.97ID:yr8Paq5s
大学に入った時に買わされた本は何だったかなー
自分で選びも比較もしてないけど役に立ったから問題無し
良い入門書を選ぶのに力を入れすぎて使いこなせなかったら台無しだ

0763132人目の素数さん2016/03/14(月) 11:42:52.29ID:jUURAO3D
春から大学生の人って今どのあたりまで進んでる?
線形代数入門のユニタリ行列のあたりなんだけど周りに数学科とかいなくてモチベ上がらない

0764132人目の素数さん2016/03/20(日) 20:34:18.61ID:fHoRbMXL
線形代数は応用対象を知るとモチベになる

0765132人目の素数さん2016/06/08(水) 12:34:35.89ID:3tTwxDQQ
エルミート内積(x,y)をもつ複素ベクトル空間V上の一般の写像f:V->Vが
ノルム(|x|:=(x,x)^(1/2))を保つとき、線型であることって言えますか?
まず、内積の保存(f(x),f(y))=(x,y)からして示せません。
どなたか証明してみてくださいな。

0766132人目の素数さん2016/06/08(水) 12:55:32.88ID:CoQBaWfG
>>765
反例探したら

0767132人目の素数さん2016/06/08(水) 13:22:01.78ID:Sq2M/jLk
行列A,Bによって定義される線形写像の像をImA、ImBとしたとき
ImA∩ImBの次元はどうやって求めたらいいんでしょうか

07687652016/06/08(水) 15:46:04.49ID:3tTwxDQQ
なんということだ。>>766さん感謝です。自己解決しました。
Cを複素数の集合とし、これを複素ベクトル空間とみなします。
写像f:C->Cをf(z):=|z|で定義すると、
|f(z)|=||z||=|z|
となって、ノルムは保存しますが、
(f(z),f(w))=(|z|,|w|)=|zw|
(z,w)=(z^*)w
となって、一般には(f(z),f(w))=(z,w)は成立しませんし、
fは線型でもありません。
ありがとうございました。

■ このスレッドは過去ログ倉庫に格納されています