トップページ⇒math
1001コメント325KB

代数学総合スレッド Part4

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2007/08/25(土) 09:00:00
代数に関する話題全般のスレッドです。

代数学総合スレッド
http://science.2ch.net/test/read.cgi/math/1011536232/
代数学総合スレッド Part2
http://science3.2ch.net/test/read.cgi/math/1045779496/
代数学総合スレッド part3
http://science6.2ch.net/test/read.cgi/math/1116279106/
0424１３２人目の素数さん2008/08/07(木) 13:03:10
K を体、SをKのある拡大体の有限部分集合としたとき、
K[S] = K(S) ⇒ S の元はすべてK上代数的
っていう命題を簡単に（ネーターの正規化定理とか使わずに）
示すことってできる?
0425１３２人目の素数さん2008/08/07(木) 16:55:25
>>423
式で表すのが難しくても、423のようには表せるのですね。ありがとうございました
0426１３２人目の素数さん2008/08/07(木) 19:47:27
現在、松坂和夫の代数系入門で学習しているのですが、この本の内容なら大学の数学科ではどの程度の学年で習得するのが普通でしょうか？
冒頭のはしがきにはこの本の内容は基礎的なものであって専門的なものではないというようなことが書いてありましたので1回か2回生くらいかと思うのですが
0427１３２人目の素数さん2008/08/07(木) 20:19:44
>>426
2年生くらい。
0428１３２人目の素数さん2008/08/07(木) 21:36:15
>>427
ありがとうございます
がんばります
0429１３２人目の素数さん2008/08/08(金) 01:00:23
>>424
松村「可換環論」定理5.2
0430１３２人目の素数さん2008/08/08(金) 19:18:13
>>429
サンクス！ 松村の本で証明をチェックしました。
それなりに長い証明だけど、正規化定理の証明よりはだいぶ簡単ですね。

ちなみに、今読んでる岩波の堀田「環と体2」で>>424の命題の証明が
なんか変で（たった3行しかなく、たぶん証明になってない）、正しい簡単な
証明を探してました。

ありがとうございました。
0431１３２人目の素数さん2008/08/08(金) 19:21:25
ご参考までに、堀田「環と体2」（岩波）の問題の箇所を以下に書いておきます。

命題1.11（p.9）の
(ii) K[a_1, ..., a_n] = K(a_1, ..., a_n) ⇒ (iii) [K(a_1, ..., a_n):K] < ∞
の証明が変。帰納法の仮定は「n-1 まで (i)(ii)(iii)が同値であること」のはず
なのに、「a_1, ..., a_(n-1) が代数的」を仮定してしまっているようにみえる。

なお、実は別分冊「環と体1」のほうの補題4.10（p.71）で、これと実質的に
同等な命題が（ネーターの正規化定理を使って）示されています。
0432１３２人目の素数さん2008/08/08(金) 19:40:13
ついでに、堀田「環と体2」（岩波）でもう一個見つけたおかしな箇所を書いておきます。

定理 2.25（p.50）（1の原始n乗根を含む体K上の巡回拡大はK(a^(1/n)]）
の「(ii)⇒(i)」の証明で、
「σの位置はnゆえ、これは位数nの巡回群であり..」
というところにギャップがあると思われます。

他の本のように、Lagrangeの分解式かHilbertの定理90を使わないとこれは言えないはず。
0433１３２人目の素数さん2008/08/08(金) 19:44:47
匿名で書くな阿呆
0434１３２人目の素数さん2008/08/08(金) 19:56:17
全員匿名なんですがｗ
0435１３２人目の素数さん2008/08/08(金) 20:35:14
だから２ちゃんねるは便所の壁^H^Hクソなんだ
0436１３２人目の素数さん2008/08/08(金) 21:27:31
今学期に群を学んだんですが次は普通は環や体について学ぶんですかね？
0437１３２人目の素数さん2008/08/08(金) 22:08:28
つぎは反軍だ
0438１３２人目の素数さん2008/08/09(土) 23:54:45
群論ｷﾓｲ
環のようにきれいな群論の本無いですか？
0439１３２人目の素数さん2008/08/11(月) 07:22:31
何だよ環のようにきれいなって。
その時点で意味不明だよ。
0440１３２人目の素数さん2008/08/11(月) 09:30:36
おそらく環のごく基本的なことしか知らないから
「きれい」だと思ってるんでない？
0441１３２人目の素数さん2008/08/11(月) 21:18:07
　環の英訳はringであってringの和訳の1つに「指輪」がある
⇒環と指輪の英訳は同じ
⇒指輪はきれいだから冗談交じりに環はきれいと判断した

つまり、環と指輪の英訳を考えて「環のようにきれい」という表現が出て来たのだろう。
0442１３２人目の素数さん2008/08/13(水) 03:23:32
有限群論の恐ろしくテクニカルなのが嫌いなんだろう。
環については４４０の言う通りだろうけど。
0443１３２人目の素数さん2008/08/13(水) 18:07:54
友愛数、婚約数、社交数、拡大友愛数 完全数
これって素数みたいに代数的な特性あるの？
ただの暇人の数字遊び？
0444１３２人目の素数さん2008/08/13(水) 21:24:25
最後の行
0445１３２人目の素数さん2008/08/14(木) 11:30:47
>>443
「代数的な特性」ってのは具体的に何のこと？
0446１３２人目の素数さん2008/08/14(木) 11:33:24
http://www.technobahn.com/news/2008/200803271347.html
http://arxiv.org/abs/0803.3435
0447１３２人目の素数さん2008/08/14(木) 12:29:32
有限群論って組合せ論やグラフ理論と似た考え方がモロに出て来るから
これらに慣れていてば余り難しく感じられなくなるんないんじゃないか？
無限群論だと話は別かも知れないが。
0448１３２人目の素数さん2008/08/14(木) 13:08:22
訂正:
>>447の「慣れていてば」は「慣れていれば」の間違い。
0449１３２人目の素数さん2008/08/14(木) 22:41:59
まあ虱潰しにある可能性を一つ一つ潰していくような証明が
嫌いってのは分からんでもない。

有限群論に限らず、代数幾何とかの三次〜〜を
百何十何通りに分類した、とかそういうのもこの種の証明だけど。
0450１３２人目の素数さん2008/08/15(金) 00:50:11
ようは、何百通りもの場合分けを人間の脳が楽勝で把握出来ればいいんだろ
0451666thVirtue ◆naedFapghQ 2008/08/15(金) 01:15:12
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能無知無能
04521stVirtue ◆.NHnubyYck 2008/08/15(金) 12:11:14
Reply:>>451 お前は何をしに来た。
0453１３２人目の素数さん2008/08/25(月) 01:56:34
質問です。次のことは正しいでしょうか？

可換体kに対して直積環k^{n}は
成分ごとの和、積、スカラー倍によって可換なn次元k-多元環になり、単位元は(1,・・・1)。
このとき任意の(x_{1},・・・,x_{n}) \in k^{n}は逆元(x_{1}^{-1},・・・,x_{n}^{-1}) \in kを持つので単元である。
よってk^{n}も可換体である。

なんか変な感じがします。間違いがあったら指摘して下さい。
0454１３２人目の素数さん2008/08/25(月) 02:04:25
k^nの零元は何?
0455１３２人目の素数さん2008/08/25(月) 02:07:00
k^{n}の零元は(0,・・・,0)です。
0456１３２人目の素数さん2008/08/25(月) 02:11:40
>>455
つまり、それ以外の元は全部単元というのだね。
それで、(1,0,0,...,0)の逆元は何になるの?
0457１３２人目の素数さん2008/08/25(月) 02:14:44
なるほど。それはべき等元でした。ありがとうございます。
k^{n}が可換なn次元k-多元環というのは正しいでしょうか？
0458１３２人目の素数さん2008/08/25(月) 02:24:04
正しいならば証明を書いてみればよい。
間違いならば反例を出せばよい。
本件では難しいことではない。
0459１３２人目の素数さん2008/08/25(月) 02:32:32
>>458
おっしゃる通りです。証明してみました。
k^{n}はn次元k-多元環の条件はすべて満たします。
ただ可換性の証明してみると、
(x_{1},・・・,x_{n})・(y_{1},・・・,y_{n})
= (x_{1}y_{1},・・・,x_{n}y_{n})
= (y_{1}x_{1},・・・,y_{n}x_{n})
= (y_{1},・・・,y_{n}) ・(x_{1},・・・,x_{n})
というように単純なのですが、なにか違和感を感じました。
反例も見つけられません。
可換性は正しいのでしょうか。
0460１３２人目の素数さん2008/08/25(月) 02:34:36
何が不審なのやら…
0461１３２人目の素数さん2008/08/25(月) 02:42:54
まあ簡単すぎて逆に何が何やら良く分からない、
ってのはたまにあるよね。
04624592008/08/25(月) 03:03:35
不信をかってしまったようですが、可換性は正しいようですね。
ありがとうございます。
体上のベクトル空間と体上の多元環の間で混乱しておりまして、
このようなおかしな質問となってしまいました。
体上の有限次元ベクトル空間は可換な有限次元多元環の構造を常に持つのですね。
0463１３２人目の素数さん2008/08/25(月) 03:06:43
>>462
もちません。
0464１３２人目の素数さん2008/08/25(月) 03:08:05
>>462
任意のベクトル空間に入れられる自明なリー環構造って知ってる？
0465１３２人目の素数さん2008/08/25(月) 03:09:49
> 体上の有限次元ベクトル空間は可換な有限次元多元環の構造を常に持つのですね。

逆じゃないの?
多元環が出てくる文脈だと、畳み込みとか括弧積とかのほうが
そんなわけのわからん積よりは普通に出てくるでしょ。
04664592008/08/25(月) 03:11:51
>>463
たびたびありがとうございます。
体上の数ベクトル空間（=k^{n}）は可換な有限次元多元環の構造を常に持つ、
なら正しいのでしょうか。
0467１３２人目の素数さん2008/08/25(月) 03:15:39
>>466
内在構造ではない、と言ってる。
0468１３２人目の素数さん2008/08/25(月) 03:17:17
>>466
ただしくありません。
04694592008/08/25(月) 03:18:10
>>464,465
直積環の文脈で考えているので、この積（各成分ごとの積）について
k^{n}の多元環の構造を考えています。
04704592008/08/25(月) 03:20:57
>>467
体上の有限次元数ベクトル空間k^{n}に各成分ごとの積を定義すれば、
この積によって、k^{n}は可換な有限次元多元環の構造を持つ、
なら正しいということでしょうか。
0471１３２人目の素数さん2008/08/25(月) 03:22:29
>>470
そういうこと
04724592008/08/25(月) 03:25:16
>>471
ありがとうございます。こんな時間におつきあい下さいまして感謝します。
まだまだ勉強不足なものでお恥ずかしい限りです。無知をお許し下さい。

0473１３２人目の素数さん2008/08/25(月) 03:25:32
>>466とかだと「任意の集合は位相空間である」とか
「任意の有限集合は測度空間である」とか
言ってるのと変わらんわけで。
0474ご冥福をお祈りします2008/08/29(金) 22:37:19
京都大名誉教授の永田雅宜さん死去
http://www.asahi.com/obituaries/update/0828/OSK200808280076.html
　永田　雅宜さん（ながた・まさよし＝京都大名誉教授・代数学）が２７日、胆管がんで死去、８１歳。
葬儀は親族のみで行う。喪主は妻千種（ちぐさ）さん。後日、「お別れの会」を開く予定。
0475(-人-)ﾅﾑﾅﾑ2008/08/30(土) 03:08:01
(-人-)ﾅﾑﾅﾑ
0476１３２人目の素数さん2008/09/11(木) 18:59:34
http://math.stanford.edu/~conrad/papers/nagatafinal.pdf
亡くなった、永田先生の業績と一点コンパクト化がどのように関係あるのか
説明できる人居ませんか？上の論文にその事が書いてあるらしいのだけど
論文の説明できる人居ませんか？

大好き代数幾何のスレにも投稿しましたが、すみません。よろしくお願いします。
0477１３２人目の素数さん2008/09/11(木) 19:00:52
あげ
0478１３２人目の素数さん2008/09/11(木) 19:04:05
マルチすんなﾎｳﾞｪ
0479１３２人目の素数さん2008/09/11(木) 20:45:23
マルチしてすいません。でも、答えてくれる人を探してるんです。
よろしくお願いします。
0480１３２人目の素数さん2008/09/13(土) 14:56:13
あげ
0481１３２人目の素数さん2008/09/13(土) 15:48:34
>>476ですが、２ｃｈで答えてくれる人見つけるのは難しいでしょうか？
偉い学者でも２ｃｈ見る人は居ると思ったのですが・・・。
それとも、マルチしたから顰蹙買って答えてもらえないんでしょうか？
0482１３２人目の素数さん2008/09/13(土) 16:48:14
2chに「役に立つこと」を期待すること自体が間違い。
匿名で掲示板に書き込めば魔法の箱のように答えが出てくると思ってる奴をみると
反吐が出るなｗ
なんでてめーの代わりに論文読んでやらないとならんのだよ。
0483１３２人目の素数さん2008/09/13(土) 18:40:39
>>482
永田先生が亡くなったし、永田先生の業績をみんなが知ることは
良いことだと思うし。
まあ、反吐がでるとか思ってるかも知れないけど、そう言わずに
論文読む力があるなら教えてください。お願いします。m(_ _)m

0484１３２人目の素数さん2008/09/13(土) 18:50:45
>>482
基礎学力と英語の力の不足から自分で読めないです。申し訳ない。
もし、読めるんでしたらよろしくお願いします。
他スレで上の論文に永田先生の業績と一点コンパクト化の関係
が書いてあると聞きました。目的の論文が見つかって感激したのですが
自分ではやはり力不足で読めません。誰か素人にも分かるように
解説していただける方がいらっしゃればありがたいです。
0485１３２人目の素数さん2008/09/13(土) 18:51:24
我々が教えてクンに教えることが出来るのは
「情報はそう簡単には手に入らない」
「食い下がれば教えて貰えるような ものでもない」
ということである。
0486１３２人目の素数さん2008/09/13(土) 19:00:01
教えてクンという一言であらゆる質問者を画一的に扱い自分が答えられないことを
必死になって隠してるやつがいるんだよなｗ
0487１３２人目の素数さん2008/09/13(土) 19:48:39
そして結局誰も答えないという＾＾
0488１３２人目の素数さん2008/09/14(日) 06:15:27
少なくとも俺にはわかんねーし
0489１３２人目の素数さん2008/09/14(日) 13:06:42
あげ
0490miwa2008/09/15(月) 10:48:30
[問]A^r=O (rは自然数)となるべき乗行列とする。

行列A,Bがともに同じ大きさのべき乗行列でAB=BAが成り立っている時,
ABとA+Bもべき乗行列になる事を示せ。

[解]
AB=BAより
(AB)^r=A^rB^r=O・O=OでABがべき乗行列である事は直ぐ示せたのですが
(A+B)^r=Σ[k=0..r](r-k)CkA^(r-k)B^r
から先に進めません。どうすれば=0にたどり着けますでしょうか?
0491１３２人目の素数さん2008/09/15(月) 11:19:57
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　便所　
0492１３２人目の素数さん2008/09/15(月) 11:25:24
便所＝kingの部屋
0493菅_理人@kmath1107BBS ◆.ffFfff1uU 2008/09/15(月) 12:02:05
>>490
r乗ではなく2r乗したらいいと思う。
0494miwa2008/09/15(月) 12:52:43
> r乗ではなく2r乗したらいいと思う。

ありがとうございます。すんなり示せました。
0495１３２人目の素数さん2008/09/15(月) 16:35:55
数科４年です。
ゼミでガロア理論をやってるのですが、正直今までテスト前だけ勉強やって
４年まで来たのでほとんど数学を理解してません。
それで石村園子の｢すぐわかる代数｣をやったらかなり代数について理解できた気がします。（というか集合論について）
ただ、これは入門中の入門だと思うのでその後の代数について触れてある本を読みたいです。
｢すぐわかる代数｣は準同型定理までしか書いてないのでとりあえずイデアル、代数拡大辺りをやりたいのですが、ちょうどいい本ってありますか？
この本みたいに読んでかるく演習を解けば理解できる本が理想です。
0496１３２人目の素数さん2008/09/15(月) 16:39:22
>>495　分厚いけど　Algebra-M,Artinなら大体のこと書いてるよ。
　演習問題も馬鹿みたいに多いし高校生以上の知識あるならいきなり読める。
0497１３２人目の素数さん2008/09/15(月) 16:41:19
>>496
どうもです。
洋書ですか…！英語で書いてあるんですか？
英語ちょっと読めないので、できたら和書がいいんですが…。
0498１３２人目の素数さん2008/09/15(月) 17:25:29





　　　　　　　　　　　　　　　　２ちゃんって最低





0499KingMind ◆KWqQaULLTg 2008/09/15(月) 17:55:00
Reply:>>492 お前は何をしようとしている。
0500１３２人目の素数さん2008/09/17(水) 09:40:37
>>495のようなテスト前だけしか勉強しない奴が日本語で書かれていない本を読めないことくらいアルツハイマーでも分かるのに
あえて洋書を薦める２ちゃんねらーってマジで最低だな
0501１３２人目の素数さん2008/09/17(水) 14:26:27
どういたしまして＾＾
0502１３２人目の素数さん2008/09/17(水) 18:55:10
数学科はそういう空気読めない奴多そうだからねー

ただ代数入門みたいな本はバックグラウンドの知識自体は
ほとんど同じなので、あとは如何に気合出して読むか、
という問題が一番大きいと思うなあ。
まあ今の「数学的素養」で服部昭の「現代代数学」みたいなの読んだら
いくら頑張っても第一章終わる前に撃沈しそう、とかそういうのはあるが。

松坂の代数系入門とか、「群・環・体入門」とか、
あとは、多少難しくなるけど東京大学出版会の「大学数学の入門」シリーズとかかなあ。
0503１３２人目の素数さん2008/09/25(木) 06:13:09
永田せんせの
カカンカンロン
読みなさい
0504１３２人目の素数さん2008/09/25(木) 06:16:19
>>479
携帯からでも見れるようにしてくれたら
わしが答えてやる
PDFファイルはちと難儀じゃ
0505１３２人目の素数さん2008/09/29(月) 08:45:13
Let V be a vector space of dimension n over the field K.Let V^** be the dual space of V^*. Show that each element v∈V gives rise to an element λ_v in V^** and that the map v|→λ_v gives an isomorphism of V with V^**.

と言う問題で「v∈Vの各元はλ_v∈V^**にriseを与える」
とはどういう意味なんでしょうか?

riseとは??
0506１３２人目の素数さん2008/09/29(月) 11:31:32
give rise to で一括りだ
0507１３２人目の素数さん2008/09/30(火) 13:49:00
> give rise to で一括りだ

ありがとうございます。
0508１３２人目の素数さん2008/10/03(金) 20:18:09
線形代数を学ばず一般の代数から入ることは可能だろうか
0509１３２人目の素数さん2008/10/03(金) 20:45:23
無理だろ。
ほとんどの概念は線形代数がベースだもの。
0510１３２人目の素数さん2008/10/03(金) 22:55:53
ﾜﾛｽ
0511１３２人目の素数さん2008/10/04(土) 00:44:58
というかvan der Waerdenの現代代数学とかは
線型代数はかなり後の章にならないと出て来ない。

これで代数学を勉強した人は>>508の言うような順番で勉強したはず。
0512１３２人目の素数さん2008/10/05(日) 13:28:15
Sylvesterの定理について調べています。

VをR上の有限次元スカラー積空間とし{v_1,v_2,…,v_n}をVの直交空間とする。
その時,r={v∈{v_1,v_2,…,v_n};<v,v>>0}なる正整数rが存在する。

という解釈で大丈夫でしょうか?
0513１３２人目の素数さん2008/10/05(日) 13:33:10
初めて代数学スレに来てみたけど
代数ってxyとか簡単なことじゃなかったのな
0514１３２人目の素数さん2008/10/05(日) 13:37:42
>512
訂正
r=#{v∈{v_1,v_2,…,v_n};<v,v>>0}
です。
0515１３２人目の素数さん2008/10/05(日) 15:05:18
齋藤正彦「線型代数入門」p160に関して質問です。
p160の下から二行目のsgnA=(p,q)の部分で、この場合のsgnはどういう意味なのでしょうか？？
行列式の章で、置換の符号という意味でのsgnは知っているのですが、この場合はある行列Aに対してsgnAと書かれています。
なので、この場合のsgnの意味が分からないのですが、どなたか教えてくださいm(__)m
0516１３２人目の素数さん2008/10/05(日) 15:12:27
どうみても符号数だろ。
記号が常に一意だとかおもってたら
函数 f とか迂闊に書けないジャン。
0517１３２人目の素数さん2008/10/05(日) 15:39:32
もっと詳しく書いてくれないと使われてる状況がわからんよ〜
0518１３２人目の素数さん2008/10/05(日) 15:50:31
この板の住人なら齊藤の線型代数入門くらい手元にあると思ってた
0519１３２人目の素数さん2008/10/05(日) 15:52:06
俺は佐竹の方なんでね。
05205152008/10/05(日) 15:55:02
>>515
ご返答ありがとうございます。
確かにそのようですね。sgnをそう捉えると後の部分との整合性がとれているように思います。

>>517
すみません(>_<)
みんなこの本を持っているだろうから、ある程度質問の要点を記せば分かってくれるだろうと勝手に思い込んでいたので、今後気をつけます。
0521１３２人目の素数さん2008/10/05(日) 18:59:06
>>512 >>513
意味不明

> {v_1,v_2,…,v_n}をVの直交空間
左辺は n 個の元からなる集合だよね。これが「直交空間」であるとはどういうこと？

> r=#{v∈{v_1,v_2,…,v_n};<v,v>>0}
内積は <v,v> > 0 (v ≠ 0) を満たすので、これだと r = n となるが？
0522１３２人目の素数さん2008/10/05(日) 20:30:05
直行規定、複素上の間違いだろう。
0523１３２人目の素数さん2008/10/06(月) 02:00:57
>522 >521

ありがとうございます。

>> {v_1,v_2,…,v_n}をVの直交空間
> 左辺は n 個の元からなる集合だよね。これが「直交空間」であるとはどういうこと？

直交基底といいたかったのでした。


> 複素上の間違いだろう。

いえ、確認しましたがやはりR上になってます。


> r=#{v∈{v_1,v_2,…,v_n};<v,v>>0}
> 内積は <v,v> > 0 (v ≠ 0) を満たすので、これだと r = n となるが？

内積ではなくスカラー積
(ちなみにスカラー積の定義は(i) <v,w>=<w,v>, (ii) <u,v+w>=<u,v>=<u,w>,
(iii) <cu,v>=c<u,v> 且つ <u,cv>=c<u,v> (u,v,w∈V,c∈F) の3つ)
なので<v,v> > 0 (v ≠ 0)とは必ずしも言えないと思うのですが…。
■ このスレッドは過去ログ倉庫に格納されています