トップページ⇒math
466コメント105KB

多様体スッドレpart3

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2010/11/16(火) 12:52:45
亡くなってたので立てました
0002132人目の素数さん2010/11/16(火) 17:37:56
レフシェッツファイバー空間とはどのようなものですか?
0003132人目の素数さん2010/11/16(火) 19:39:34
任意の多様体上の勾配ベクトル場の積分曲線には定常解以外の周期軌道は存在しない。

この命題は正しいですか?
0004132人目の素数さん2010/11/17(水) 01:26:26
猫に小判、まで読んだ。
0005アゲ猫 ◆MuKUnGPXAY 2010/11/17(水) 01:42:14
猫
0006132人目の素数さん2010/11/17(水) 17:40:32
非コンパクト多様体上でも調和積分論って展開できるの?
0007猫は口先だけ ◆MuKUnGPXAY 2010/11/17(水) 17:45:17
名古屋の大先生とかが詳しいのではないでしょうか。尤も調和積分論の意味にも
拠るんでしょうけど。

猫
0008132人目の素数さん2010/11/18(木) 09:52:11
>>6
「例が大切」という視点からだと

K3曲面上の自己双対計量に関するツイスター空間として
シュタイン多様体が現れるみたいだから
K3曲面上の調和積分に対応するものが
そのシュタイン多様体にあってもおかしくない
0009猫は口先だけ ◆MuKUnGPXAY 2010/11/18(木) 11:02:27
気になってまた考えてみたんですが、どうも綺麗に出来ている部分(小平先生
がなさった事と素人の私は概ね了解。)に引き摺られ過ぎなんですかね。だか
らドラーム・ホッジみたいな都合が良い話が何処まで広く成立スルのかしか私
には連想出来ません。私自身は「非コンパクトの指数定理」みたいな発想をし
てしまいましたが・・・

なのでやっぱり「例が大切」かと。

猫
0010132人目の素数さん2010/11/18(木) 19:18:15
非コンパクトの例といえば
無限次被覆空間
0011132人目の素数さん2010/11/18(木) 19:24:45
ミラー対称性っていうのは、数学的に証明された現象なの?
0012132人目の素数さん2010/11/18(木) 22:16:19
曲率形式が0のベクトル束ってどうやって区別するの?
0013132人目の素数さん2010/11/19(金) 10:57:49
>>11
多くの例が示唆する1つの傾向を表す言葉として流通している
0014132人目の素数さん2010/11/19(金) 11:00:13
>>13
ケーラー多様体(コンパクト)上の正則直線束、より一般には
マンフォード・竹本の意味で安定なベクトル束なら
チャーン類で区別できる。
0015132人目の素数さん2010/11/19(金) 20:44:44
リーマン多様体M上のベクトル場Vに対して、V=−gradφとなるような
M上の関数φが存在するための条件はありますか?
0016132人目の素数さん2010/11/20(土) 10:56:37
>>15
計量を用いてVを微分形式と見なしたときに
完全形式であること
0017132人目の素数さん2010/11/20(土) 17:46:41
任意の位相多様体は三角形分割可能ですかね?
0018132人目の素数さん2010/11/20(土) 17:53:30
>>16
ありがとうございます
0019132人目の素数さん2010/11/22(月) 09:21:04
>>17
そういうのを「利いた風な口」という
0020132人目の素数さん2010/11/22(月) 09:34:30
>>19
ダシが利いてる、と似たようなもんか?
0021132人目の素数さん2010/11/22(月) 13:05:44
ただの質問にしか見えないけど
0022132人目の素数さん2010/11/22(月) 19:14:40
>>3
正しくないと思う
0023132人目の素数さん2010/11/23(火) 15:08:06
ホモトピー同値な位相多様体の次元は等しいですか?
0024232010/11/23(火) 15:14:34
すみません。自己解決しました
0025132人目の素数さん2010/11/26(金) 23:32:23
概複素多様体は向き付け可能ですか?
0026猫は小数学者 ◆MuKUnGPXAY 2010/11/26(金) 23:36:02
T(M) is a complex vector bundle over M.

--neko--
0027132人目の素数さん2010/11/26(金) 23:39:04
ああ、そうか。
ありがとう。
0028132人目の素数さん2010/11/28(日) 22:42:38
E→MをFをファイバーとするファイバー束とします。
Mのホモロジー群とFのホモロジー群、ファイバー束Eの変換関数が
分かっているとすると、Eのホモロジー群は計算できますか?
0029猫は馬鹿 ◆MuKUnGPXAY 2010/11/28(日) 22:46:23
私がスグに思い出すのはコレ:
http://en.wikipedia.org/wiki/Serre_spectral_sequence
ですワ。

猫
0030132人目の素数さん2010/11/28(日) 22:53:51
猫さんありがとう。
よく分からないけど、頑張って解読してみる。
0031猫は馬鹿 ◆MuKUnGPXAY 2010/11/28(日) 23:00:08
いや球面の場合だけとかでも、或いは主束の場合だけでもそんなに簡単じゃない
ですね。今ココの手元にはアリマセンが、昔の戸田先生の教科書には説明があっ
た様な気がしますが、自分で調べて下さい。もし直積であればキュネスですから。

猫
0032猫は馬鹿 ◆MuKUnGPXAY 2010/11/28(日) 23:10:50
今改めて読んでみたらスパニエルの教科書とハッチャーの教科書が挙げてありま
すね。後者は知りませんが前者はとても判り易く書いてあるという印象です。

猫
0033132人目の素数さん2010/11/28(日) 23:16:40
>>29のリファレンスにある本ですね。
参考にしてみます。
0034猫は馬鹿 ◆MuKUnGPXAY 2010/11/28(日) 23:21:56
そうそう。スパニエルの本は私は大好きなので。

猫
0035132人目の素数さん2010/11/29(月) 01:29:00
>>34 皮下環幾何について教えてください!
0036猫は慈円 ◆MuKUnGPXAY 2010/11/29(月) 02:11:22
>>35
ワシではなくて専門家に直接にお問い合わせ下さいまし。

猫
0037132人目の素数さん2010/11/29(月) 02:30:25
ハッチャーはスパニエルよりも読みやすいし、
セル分割によりも使い易い方法でのホモロジーの
計算例が載っており、勉強になる。
ファイバー束のホモロジーはハッチャーのホームページに
書きかけの原稿が転がってるよ。

ルレイ・ハーシュの定理を初めとして、球面バンドルの時は
はワン完全列とかギジン完全列が計算に使えて便利。
無論、一般にはセール・スペクトル列だけれど。
0038猫は慈円 ◆MuKUnGPXAY 2010/11/29(月) 02:55:19
ああ、そうですか。ほんならちょっと見てみますワ。

猫
0039132人目の素数さん2010/11/29(月) 23:13:16
punktured torusにはどうやって複素構造を入れたらよいのでしょうか?
0040名無し募集中。。。2010/11/29(月) 23:17:02
トーラスに複素構造を入れて、1点無視すればいいんじゃないですか。
0041132人目の素数さん2010/11/29(月) 23:30:42
普遍被覆空間はどうなります?
0042132人目の素数さん2010/11/29(月) 23:58:24
平面は単連結でトーラスの被覆だから。。。
えーと。
平面から一点抜いても単連結にならんし。
丁度、原点抜いた平面を無限らせん状にすればいいんじゃあるまいか?
0043132人目の素数さん2010/11/30(火) 00:06:26
punctured torusの基本群はZ*Z (無限巡回群2つの自由積)だから、
普遍被覆空間の被覆変換群も同じ群になる。
どんな空間かは知らん。
0044132人目の素数さん2010/11/30(火) 00:17:37
色々考えてくれてありがとう。

punctured torusには双曲構造が入るって小耳に挟んだので(嘘かホントかしりませんが)
それで質問してみました。
ケーべの一意化定理から、単連結なリーマン面は球面か複素平面かポアンカレディスク
に双正則同型ですよね。
双曲構造が入るってことは普遍被覆空間はポアンカレディスクになるってことかな?
間違ってたらごめんなさい。
0045132人目の素数さん2010/11/30(火) 01:42:50
一点抜いたものはコンパクトでない。
従って普遍被覆はコンパクトになりようがないから球面は除外。
複素平面はトーラスそのものの普遍被覆。
一点を抜いた場合はポアンカレに相当する。
0046132人目の素数さん2010/12/01(水) 22:19:40
向き付け不可能な多様体には体積は定義されないのですか?
0047132人目の素数さん2010/12/01(水) 22:53:52
二重被覆を取ればいいんじゃないか?
0048132人目の素数さん2010/12/02(木) 09:21:06
常識というか、定石というか。
0049132人目の素数さん2010/12/09(木) 22:09:14
ローレンツ多様体にtime-likeな閉測地線は存在しますか?
0050132人目の素数さん2010/12/09(木) 22:50:37
mazu

time-like

no teigi wo oshietekuro~
0051132人目の素数さん2011/01/13(木) 10:50:00
民主も終わったな。
立ち枯れ与謝野を入閣させるらしい。
もう誰も缶を止められないな。
0052132人目の素数さん2011/01/21(金) 21:58:33
柳下浩紀 建部賞
0053132人目の素数さん2011/02/07(月) 23:06:35
プラズマクラスター効果なしwwwwwwwww
http://twitter.com/kokoro_blog/status/6665171376275456  
0054132人目の素数さん2011/03/13(日) 12:09:24.69
すみません。質問なんですが松島与三の多様体入門p175の下から十行目
Yi=Σ[j=1,n]ηijZjωのところなんですがYi=Σ[j=1,n]ηijZjではないでしょうか。
0055132人目の素数さん2011/03/13(日) 16:03:58.15
age
0056132人目の素数さん2011/03/14(月) 12:25:17.83
>>54
与三より東松島が大変 
0057132人目の素数さん2011/03/14(月) 13:09:07.38
>>54
手元の多様体入門みたらωを(昔の俺が)塗りつぶしていた
あと下から四行目のC^∞(M)のMはGの間違い
0058132人目の素数さん2011/03/20(日) 16:36:11.98
>>57
どうもありがとうございます。
0059132人目の素数さん2011/05/04(水) 19:45:22.23
>>49
存在しない
0060132人目の素数さん2011/05/04(水) 22:22:56.11
連続濃度を持つ任意の集合に多様体の構造は入りますか?
0061132人目の素数さん2011/05/04(水) 22:27:21.87
入る。
0062132人目の素数さん2011/05/04(水) 22:27:39.65
あり
0063ID:8/lKNVnj2011/05/05(木) 15:55:11.27
>>49
4次元トーラスにローレンツ計量いれれば良いんじゃない?
0064132人目の素数さん2011/05/05(木) 16:26:12.13
奇妙な宇宙だな。
過去の自分と会えるの?
0065132人目の素数さん2011/05/05(木) 16:56:06.95
リッチテンソルは消えるけど、リーマンの曲率テンソルが消えない多様体の例ってどんなのがあるでしょうか?
0066132人目の素数さん2011/05/05(木) 17:41:12.58
K3
0067132人目の素数さん2011/05/14(土) 17:44:21.87
多様体Mの部分多様体N上の測地線が常にMの測地線でもある場合、NはMの全測地的部分多様体と
言うことはできますか?
0068132人目の素数さん2011/05/14(土) 18:14:45.22
Nの計量が誘導計量ならそりゃそうだろう
0069132人目の素数さん2011/05/14(土) 18:20:20.14
ありがとう
0070132人目の素数さん2011/05/17(火) 11:23:57.61
4 :132人目の素数さん:2011/04/30(土) 16:24:44.82
微分幾何学
http://logsoku.com/thread/science.2ch.net/math/1064743903/


5 :132人目の素数さん:2011/04/30(土) 16:26:04.23
微分幾何学2
http://logsoku.com/thread/kamome.2ch.net/math/1181801767/

使ってください
0071132人目の素数さん2011/05/20(金) 00:59:52.02
ベルンスタインの予想ってもう証明されてるの?
0072132人目の素数さん2011/05/20(金) 09:19:34.11
猫は規制か?
0073132人目の素数さん2011/05/20(金) 09:45:24.77
http://ja.wikipedia.org/wiki/%E9%B3%A5%E7%8D%A3%E4%BA%BA%E7%89%A9%E6%88%AF%E7%94%BB
0074猫は低脳 ◆MuKUnGPXAY 2011/05/20(金) 13:02:35.36
>>72
いや、居てます。

猫
0075132人目の素数さん2011/05/20(金) 17:38:23.79
ミクロなスケールでも重力って考えられるんでしょうか?
0076132人目の素数さん2011/05/20(金) 17:39:23.90
訂正
ミクロなスケールでも万有引力の法則は成り立つのでしょうか?
0077132人目の素数さん2011/05/20(金) 18:02:18.67
>>75-76
そういうのは物理板で聞いた方がいいよ
0078132人目の素数さん2011/05/21(土) 19:18:22.38
コンパクトなローレンツ多様体上でも調和積分論って展開できますか?
0079132人目の素数さん2011/05/24(火) 22:04:02.72
微分構造が無数に入るコンパクト多様体ってある?
0080132人目の素数さん2011/05/25(水) 01:47:36.84
なさそうな気がする。
0081132人目の素数さん2011/05/25(水) 05:13:40.96
S^4に微分構造がいくつ入るかっていう問題はまだ未解決?
0082132人目の素数さん2011/05/25(水) 12:28:25.14
カラビ-ヤウ多様体のケーラー変形と複素構造の変形の自由度になんでホッジ数が関係するのでしょうか?
0083132人目の素数さん2011/05/26(木) 23:54:56.26
複素射影空間の閉複素部分多様体は斉次多項式によって定義される代数多様体であると聞いたのですが
どうやって証明すればいいのでしょうか?
0084132人目の素数さん2011/05/27(金) 01:50:10.65
>>81
まだ、エキゾチックS^4の存在が示されたら、大騒ぎになる
レベルだろ。いろいろ候補はあるけど。
0085猫空間 ◆MuKUnGPXAY 2011/05/27(金) 03:23:20.02
>>84
まあ気にナルのは『4次元ポアンカレの微分同相版』ですけどね、もし
この予想が否定的に解決されたら今後の数学は俄然面白くなりますよね。

猫
0086132人目の素数さん2011/05/27(金) 12:42:28.69
>>85
ペレルマンの仕事によって
数学がどれだけ面白くなったのか理解していないので
その意見にはうかうか乗れません
2003年のあの仕事以来、どんな発展があったのですか?
0087132人目の素数さん2011/05/27(金) 12:59:57.10
>>85
去年だったか、エキゾチックS4の候補と言われたモデルが
標準構造と微分同相であることが示されてズコーでしたわw

>>86
乗れるも乗れないも、ペレルマンの仕事のあと、differential
Poincare conjecture in 4Dに目が向いたってのが普通なんじゃね?
0088132人目の素数さん2011/05/27(金) 13:37:28.03
>>85
108流は黙ってろ
0089132人目の素数さん2011/05/27(金) 13:42:48.69
非コンパクト複素多様体でセールの双対定理が成り立つ例ってある?
0090猫はムラムラ空間 ◆MuKUnGPXAY 2011/05/27(金) 14:27:18.72
>>86
ペレルマンの仕事は『サーストンの幾何学化予想の肯定的解決』であり、
そのうちの『3次元ポアンカレ予想の肯定的解決の部分』だけは少なく
とも正しいという判断で受賞という事になったと私は理解しています。
だから今ココで問題にしているのはマイケル・フリードマンによる昔の
『4次元ポアンカレ予想の「解決」』に関する主張です。

つまり:
★★★『コンパクト閉な多様体であって1−連結であるものは標準4次元球面と同相か?』★★★
という問いに対して、「その様なモノは標準4次元球面と位相同相」と
いう結論が得られはしたが、でも微分同相までは未だ証明が出来ていな
い、という状況だと私は理解しています。

そういう意味でエキゾチック4次元球面とか、或いは「微分同相写像は
全部で幾つアルのか」とかは基本的な問題意識だと考えます。

猫
0091猫はムラムラ空間 ◆MuKUnGPXAY 2011/05/27(金) 14:35:33.39
訂正:

多様体 → 4次元(スムースな)多様体

猫
0092GiantKingKong2011/05/27(金) 15:04:56.41
うひょ〜〜。
またまた久々の登場だぞ。

訂正:

多様体 → 4次元(ムラムラな)多様体

猫

以上。
0093132人目の素数さん2011/05/27(金) 15:54:58.06
むらむら。。。。
0094132人目の素数さん2011/05/27(金) 16:03:43.53
ほむらちゃん……
0095KingOfKings ◆VCgpa0Tdh2 2011/05/27(金) 16:44:42.11
私を呼んだか?
0096132人目の素数さん2011/05/27(金) 17:34:21.90
呼んでません
0097132人目の素数さん2011/05/27(金) 17:38:39.47
複素多様体内の解析集合の研究とかされてるの?
0098132人目の素数さん2011/05/27(金) 17:55:32.22
きんぐか?
0099132人目の素数さん2011/05/27(金) 20:46:24.27
違う
0100132人目の素数さん2011/05/27(金) 23:33:44.26
>>91
スムースってなんやねん
smoothのthはスじゃなくてズやぞ
辞書ひいてみ
0101貼らない猫 ◆MuKUnGPXAY 2011/05/27(金) 23:44:05.15
>>100
気にナルのであれば自分で引いて下さい。ワシはアンタみたいな馬鹿には
取り合わないので。

猫
0102132人目の素数さん2011/05/27(金) 23:53:56.26
>>101
自分でひけ
スムースは誤用でスムーズが正しいわボケ
0103132人目の素数さん2011/05/27(金) 23:54:32.61
お前にはどうでもいい事ですよ?
0104貼らない猫 ◆MuKUnGPXAY 2011/05/27(金) 23:55:36.14
>>102
お断りや。オマエの見解はオマエの勝手や、クズ。

猫
0105132人目の素数さん2011/05/27(金) 23:57:44.45
何を猫は悔し紛れに吠えてるのでしょう?
弱いですね。2chの天皇という感じですね。
0106132人目の素数さん2011/05/27(金) 23:58:27.59
>>104
屑はお前
誤用を広めるなボケ
0107猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/27(金) 23:59:00.91
>>105
そんな事は別にどうでもエエのは貴方も知ってますよね。私の目的は唯一つ
なのでね。

猫
0108猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/28(土) 00:00:03.47
>>106
ワシが屑なんはアンタも知っての通りや。そやし気にスンナや。

猫
0109132人目の素数さん2011/05/28(土) 00:01:19.79
発音記号:smúːð とかくからスじゃなくてズなんだわ、哀れだなお前
smoothのthはθと発音しない要注意語句なのに、まあ馬鹿には
わからないか…
0110132人目の素数さん2011/05/28(土) 00:02:14.88
そうですか。
自覚しているのであればよろしい。
私は盗人と減らず口が殴打したいほど嫌いなので。
0111猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/28(土) 00:02:27.27
>>109
オウ、サヨカ。ワシは馬鹿やから判らへんのやナ。

猫
0112132人目の素数さん2011/05/28(土) 00:02:56.68
>>111
では消えなさい
0113132人目の素数さん2011/05/28(土) 00:03:39.28
>>79から良いスレの流れになったのに
自分の間違いを認めない馬鹿のせいでw
0114猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/28(土) 00:04:00.64
>>110
まあこうやって「スレが擦り減って行く」という訳ですナ。

猫
0115132人目の素数さん2011/05/28(土) 00:04:57.18
そういえばdoubtのスペルも書けずに、doughtとか書いてたなあの馬鹿
こいつ義務教育からやり直させたほうがいいぞ
0116猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/28(土) 00:05:16.27
>>112
『ワシが絶対に消えない』のはアンタも知っての通りや。

猫
0117猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/28(土) 00:06:25.73
>>115
ワシが義務教育をやり直すのは2ちゃんを撲滅してからや。

猫
0118132人目の素数さん2011/05/28(土) 00:07:19.66
>>114
まずあなたが擦り減って消えなさい。
模範も示さない口だけの人間は、何処に行っても
唾棄すべき人物としか見られません。
0119べ@賛同判定委員会委員長2011/05/28(土) 00:09:16.90
俺、オックスフォード大学への留学経験あるけど、smoothは
カタカナでいうと「スムーズ」だぜ。スムースは違う…
>>109が正解。糞馬鹿な日本人がsmoothの場合のthをθの発音をするから
誤用が広まっているんだな。

>>117
このボケが。
>>118
賛同致します。
0120猫は哀れなピエロ ◆MuKUnGPXAY 2011/05/28(土) 00:13:15.98
>>118
私は2ちゃんの数学板を徹底して擦り減らす事で多くを学んでいます。
だから私が自分を擦り減らす事はアリマセン。何時も私にタップリと栄
養補給をして下さる2ちゃんの皆さんにはとても感謝しています。

猫
0121132人目の素数さん2011/05/28(土) 00:20:46.36
感謝など口だけのハッタリですね。
0122べ@賛同判定委員会委員長2011/05/28(土) 00:22:33.49
>>120
賛同しません。

>>121
賛同します。
0123猫はハッタリ屋 ◆MuKUnGPXAY 2011/05/28(土) 00:24:23.52
猫
0124猫は貼ったり屋 ◆MuKUnGPXAY 2011/05/28(土) 00:25:44.94
>>122
賛同しません。

猫
0125132人目の素数さん2011/05/28(土) 00:28:51.57
猫
0126132人目の素数さん2011/05/28(土) 00:29:30.88
お前ら多様体の話しろ
0127猫は貼ったり屋 ◆MuKUnGPXAY 2011/05/28(土) 00:30:54.87
>>126
とても賛同します。

猫
0128132人目の素数さん2011/05/28(土) 00:31:11.61
スムース多様体って何?
0129猫は貼ったり屋 ◆MuKUnGPXAY 2011/05/28(土) 00:37:42.77
>>128
ソレは『オックスフォードへ留学経験がアル何とか委員長』に尋ねたら
宜しいかと思われます。ツマラナイ私見で申し訳アリマセンが。

猫
0130べ@賛同判定委員会委員長2011/05/28(土) 00:40:12.18
>>128
賛同します。

>>129
賛同しません。
0131猫は貼ったり屋 ◆MuKUnGPXAY 2011/05/28(土) 00:51:37.63
スムー『ず』な委員長。

猫
0132132人目の素数さん2011/05/28(土) 01:17:36.18
ルーズな猫。
0133猫と戦うスムー『ず』な委員長 ◆MuKUnGPXAY 2011/05/28(土) 01:20:46.48
>>132
賛同します。

猫
0134132人目の素数さん2011/05/28(土) 02:07:22.95
ドナルド・クヌーズ
0135猫と戦うスムー『ず』な委員長 ◆MuKUnGPXAY 2011/05/28(土) 21:09:59.67
>>134
賛同しません。

猫
0136132人目の素数さん2011/05/28(土) 23:30:55.78
ラプラシアンのスペクトルを調べるような感じで
多様体にどんな微分構造が入るか解析的に調べられんか
0137132人目の素数さん2011/05/28(土) 23:36:23.31
それは砂田先生の仕事をなぞってってこと?
無理だと思うよ〜
0138132人目の素数さん2011/05/29(日) 00:19:02.71
変な書き込みが増えたな。
0139猫と戦うスムー『ず』な委員長 ◆MuKUnGPXAY 2011/05/29(日) 00:23:41.08
>>138
自分の事を記述スルのは無益や。

猫
0140132人目の素数さん2011/05/29(日) 00:28:06.39
連続関数の芽のなす層って細層に分解できる?
0141132人目の素数さん2011/05/29(日) 00:30:23.24
細層に埋め込める。
0142132人目の素数さん2011/05/29(日) 00:31:51.22
ありがとう
0143132人目の素数さん2011/05/29(日) 00:35:00.65
時空の部分空間論ってどの程度研究されてるんだろう?
やっぱ数学サイドかな?
0144132人目の素数さん2011/05/29(日) 00:49:05.04
ローレンツ多様体とか、スカラー曲率が一定
の空間の研究とかならあるな。
佐々木多様体?もそうかな。
0145132人目の素数さん2011/05/29(日) 00:51:51.38
>>144
情報ありがとう
0146132人目の素数さん2011/05/29(日) 12:48:17.22
シンプレクティック多様体 〜 ケーラー多様体
接触多様体 〜 佐々木多様体
0147132人目の素数さん2011/05/30(月) 22:57:12.10
ケーラーポテンシャルの満たすべき方程式ってないんですか?
0148132人目の素数さん2011/06/01(水) 01:09:22.93
非コンパクトケーラー多様体の研究ってどの程度進んでる?
0149132人目の素数さん2011/06/01(水) 04:23:58.02
猫は?
0150132人目の素数さん2011/06/01(水) 12:49:11.36
猫死
0151132人目の素数さん2011/06/01(水) 13:21:40.26
今朝、猫の死体を見つけた。車にはねられたのか、目玉飛び出て内臓が露出してた。
0152132人目の素数さん2011/06/01(水) 18:31:00.78
数学板のレベルって格段に落ちたね。
昔の過去ログとか見てるとよくわかる。
これもゆとりの影響なのか?
0153132人目の素数さん2011/06/01(水) 18:39:54.48
いや、猫やkingらの功績だろ
そして、2010年9月のスレ消滅で追い討ち
0154132人目の素数さん2011/06/01(水) 18:42:00.21
最近面白そうな話題がないのが大きい
0155132人目の素数さん2011/06/01(水) 18:45:04.95
話題があってもNHKの嘘だらけインチキスペシャルみたいなのだけは勘弁。
0156132人目の素数さん2011/06/01(水) 19:21:43.52
正則断面曲率がどこでも正になるようなケーラー構造が入り得るコンパクト複素多様体の条件は
分かっているのか


0157132人目の素数さん2011/06/01(水) 19:31:36.04
>>156
正則双断面曲率が正になるようなケーラー構造が入りうる
コンパクト複素多様体が決定されていることを知っての
(多分単なる思いつきの)問いかけであろうか
0158132人目の素数さん2011/06/01(水) 19:37:40.70
単なる思い付き
0159132人目の素数さん2011/06/02(木) 00:19:08.78
ガウスボンネの定理とかリーマンロッホの定理なんかもそうだけど、なんでベッチ数とかの
交代和をとると深い結果が得られるのだろう?
0160132人目の素数さん2011/06/02(木) 00:30:24.78
それは不思議だな。ひとつには不変量が定義されたら
グロタンディーク群上まで拡張したい!という問題意識があるけど、
でもだからと言って、ベルヌーイ数が色々な所で
何で出てくるのかは説明できない。
0161132人目の素数さん2011/06/02(木) 01:14:20.07
なにいってだこいつ
0162132人目の素数さん2011/06/02(木) 18:05:24.53
(ケーラー曲面の)一般型代数曲面はどうなっとるん?
0163132人目の素数さん2011/06/02(木) 22:06:35.97
ガスライティング
0164132人目の素数さん2011/06/05(日) 17:16:25.85
コンパクトエルミート多様体で、リーマン多様体と見たときの正規座標が正則になるようなものってたとえばどんなもがある?
0165あんでぃは爺 ◆AdkZFxa49I 2011/06/08(水) 22:26:23.68
あんでぃ
0166132人目の素数さん2011/06/08(水) 22:27:21.11
なにいってだこいつ なにいってだこいつ
0167132人目の素数さん2011/06/08(水) 22:58:17.27
パンティいって いつ なにパンティ
0168132人目の素数さん2011/06/08(水) 23:07:08.71
パンスト
0169132人目の素数さん2011/06/08(水) 23:57:38.05
エルミート多様体のホモトピー群は何か
特別な構造があるのか?
0170132人目の素数さん2011/06/08(水) 23:59:50.97
うるせえ
0171132人目の素数さん2011/06/09(木) 01:00:40.72
エルミート多様体上に正則ベクトル場が存在するのは自明?
0172132人目の素数さん2011/06/09(木) 01:01:59.31
0切断を除いて
0173132人目の素数さん2011/06/09(木) 17:43:46.48
punctured Riemann surface上に定数でない正則関数は存在しますか?
0174あんでぃは弱虫 ◆AdkZFxa49I 2011/06/09(木) 17:52:42.59
あんでぃ
0175132人目の素数さん2011/06/10(金) 18:23:46.15
punctured Riemann surface上に定数でない有界正則関数は存在しますか?
0176132人目の素数さん2011/06/11(土) 17:51:30.02
開リーマン面ってシュタインだっけ?
0177132人目の素数さん2011/06/13(月) 17:58:57.03
>>176
シュタイン
0178132人目の素数さん2011/06/13(月) 21:27:33.84
ベーンケ・シュタインの定理
0179132人目の素数さん2011/06/14(火) 18:09:56.68
多様体の可算な閉部分集合は孤立点を持つことを示せ
ベールのカテゴリー定理を使うらしいのですがよくわかりません
0180132人目の素数さん2011/06/14(火) 19:19:06.73
そんなんほっといて先へすすめ
0181132人目の素数さん2011/06/14(火) 19:38:42.45
>>178
ベーンケシュタインの定理の元には空手踊りの予想ってのがあったらしいが、
こんな誰でも思いつくような予想に自分の名前がつくなんてラッキーだな
0182132人目の素数さん2011/06/15(水) 00:40:01.70
コンパクト複素多様体上の正則線束の正則断面がなす集合って有限次元ですか?
0183132人目の素数さん2011/06/15(水) 00:43:53.67
有限だよ。
それは固有写像定理からの帰結です。
だから次元の交代和がとれる。
0184132人目の素数さん2011/06/15(水) 00:45:03.80
>>183
即レスありがとう。
助かったし勉強にもなりました。
0185132人目の素数さん2011/06/15(水) 01:00:47.41
シュタイン空間の前にコンパクト複素多様体の
基礎的な勉強をした方が理解がしやすいと思う。
コンパクトだからこそ、コホモロジーも使えるし
色々と道具も揃っている。
0186132人目の素数さん2011/06/15(水) 01:06:25.02
>>185
アドバイスありがとう。
学生じゃないんで情報源が限られてるため参考になります。
0187132人目の素数さん2011/06/16(木) 13:15:29.15
>>185
複素平面や円板上の関数の話と
閉リーマン面上の関数の話を比べると
どっちが難しいだろうか
グラウエルト・レンメルトのシュタイン空間論は
閉リーマン面の話で終わっている
0188132人目の素数さん2011/06/18(土) 11:41:47.19
なるほど
確かにBirkhoff-Groothendieckの定理で終わっている。
これには証明もついているようだ
0189あんでぃは「無」 ◆AdkZFxa49I 2011/06/18(土) 16:01:10.14
へえ。

あんでぃ
0190132人目の素数さん2011/06/18(土) 17:22:43.83
グロタンってこんなところでも仕事してたんだね
0191132人目の素数さん2011/06/18(土) 19:35:40.46
>>190
最初の仕事は核型空間論
0192132人目の素数さん2011/06/20(月) 12:34:12.31
>>190
何だか「こんな日の当たらない所でも」という
ニュアンスが感じられるのだが
0193132人目の素数さん2011/06/20(月) 17:08:43.58
大学1年生ですが多様体とはどのようなものですか
0194132人目の素数さん2011/06/20(月) 18:06:22.14
松島読め
0195132人目の素数さん2011/06/21(火) 10:23:04.51
>>193
まず
Mannigfaltigkeit
というドイツ語を覚えよう
0196132人目の素数さん2011/06/22(水) 20:59:03.09
小平の消滅定理が成り立たない、コンパクト複素多様体の例ってどんなのがある?
0197132人目の素数さん2011/06/23(木) 09:23:36.44
>>196
小平の消滅定理の条件「正直線束が存在する」が満たされない例なら
掃いて捨てるほどある。
0198132人目の素数さん2011/06/23(木) 11:15:25.64
>>197
ごめん。
正則線束が負の場合でおねがい。
0199132人目の素数さん2011/06/23(木) 11:16:12.13
なんたる知ったか
0200132人目の素数さん2011/06/23(木) 15:12:59.22
嘘吐線束
0201132人目の素数さん2011/06/23(木) 16:57:23.27
>>198
負直線束の存在と正直線束の存在は同値
あまりにマジレスであほらしいけど
0202132人目の素数さん2011/06/23(木) 17:21:48.10
犬
0203132人目の素数さん2011/06/23(木) 17:29:24.50
>>201
負直線束が存在したらの話
0204あんでぃはストーカー ◆AdkZFxa49I 2011/06/23(木) 17:29:28.98
あんでぃ
0205132人目の素数さん2011/06/24(金) 13:40:50.61
>>203
>>負直線束が存在したらの話
「負直線束が存在したら負直線束の存在と正直線束の存在は同値」
なんて、どんな意味があるわけ?
わけが分からん。
0206132人目の素数さん2011/06/24(金) 13:55:28.98
負直線束が存在するコンパクト複素多様体で小平の消滅定理が成り立たない例はあるかってことじゃね?
0207132人目の素数さん2011/06/24(金) 18:10:29.17
>>205
何が聞きたかったのかというと、小平の消滅定理を証明するためには
コンパクト複素多様体はケーラーである必要はあるかってこと。
俺の読んでる本では、消滅定理をケーラーを仮定して証明してたから。
それとも正直線束が存在すれば、その曲率形式からケーラー計量を定義できる?
0208132人目の素数さん2011/06/24(金) 18:22:45.57
>>207
グリハリを一からやり直しだな・・・
0209132人目の素数さん2011/06/24(金) 18:25:45.88
もってない
0210132人目の素数さん2011/06/24(金) 18:44:47.64
バギャヤロー!
0211あんでぃは規制される ◆AdkZFxa49I 2011/06/24(金) 18:48:15.04
バギャヤロー。
図星です。

あんでぃ
0212132人目の素数さん2011/06/24(金) 19:07:28.86
>>210
だって高いんだもん。
学部生がホイホイ買える値段じゃない。
初心者に読めるかどうかわからないし。
0213132人目の素数さん2011/06/24(金) 19:22:09.46
教科書厨は崩れ。
何年か前まではよくいたけどね。
ほとんど大学を去ったんだろう。
生き残りがいたということか。
0214132人目の素数さん2011/06/25(土) 11:09:29.90
>>207
正直線束をもてばケーラー計量が入ることは自明
だったらケーラーを仮定しなくてもいいじゃないかという疑問は
もっともだが
ケーラー多様体上の消滅定理はもっといろいろあり得るので
そのうちの1つとして小平消滅定理を述べたいとすれば
こんな形になる。
ようするに後のことも考えた述べ方なのだよ。
0215132人目の素数さん2011/06/25(土) 11:11:44.70
>>214
サンクス!
やっともやもやが晴れた。
色々誤解を招くレスしてごめん。
0216132人目の素数さん2011/06/25(土) 11:20:37.40
>>215
You are very welcome.
0217132人目の素数さん2011/06/29(水) 11:01:36.41
Grothendieckの補題とDolbeault-Grothendieckの補題の
関係について教えてください
0218馬 ◆i64728vEjE 2011/07/09(土) 21:04:26.22
ぱから。
0219132人目の素数さん2011/07/09(土) 21:53:32.87
>>217
グラウエルトのシュタイン空間論読め
0220132人目の素数さん2011/08/19(金) 19:29:23.10
リプシッツ多様体とか考えれば多面体を微分多様体のように考えられていいような気がしないでもない
0221132人目の素数さん2011/08/19(金) 19:47:06.27
多面体は微分可能多様体だろ
0222あぼーんNGNG
あぼーん
0223猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 03:48:26.45
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?
虚偽院生のせいでレベルが地に落ちた数学科大学院はどうするの?

猫
0224132人目の素数さん2011/08/20(土) 09:16:33.75
芳雄に謝れ
0225猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 16:03:40.61
芳雄『が』謝れ。

猫
0226あぼーんNGNG
あぼーん
0227あぼーんNGNG
あぼーん
0228132人目の素数さん2011/08/20(土) 16:23:39.51
>>227
無駄とは言い切れない。なぜなら虚偽申請したやつ(藤原一宏)や
論文10年書いてないのに科研費の審査員をやってるやつ(宇沢達)や
論文10年書いてないのに科研費もらってるやつ(伊藤由佳理)の
給料の一部は彼らの入学金やら授業料から出ているのだから。
ちなみに、猫さんが痴漢する前の給料についても同様のことが言えます。
0229検便のナウシカ ◆UVkh7uHFoI 2011/08/20(土) 17:36:06.59
数学は難しいよな。
一生を通して仕事が出来るといいんだけど、中々そうはいかないみたい。
早熟型は若いころいい仕事するけど、それ以後続かんからな。
大器晩成型は数学者の職に就くのは難しいし。
ウィッテンなんて今でもいい仕事してるけどどうなってるんだろう?
0230猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 19:34:31.88
>>228
無駄を省くもうひとつの方法は:
★★★『受験料を高くして虚偽院生候補から
            受験料だけを巻き上げて試験で落とす』★★★
という遣り方ですね。そうすれば馬鹿が優秀な人を支える事が出来ます。
そうすれば『馬鹿でも学問に貢献したい』という貴方の願いを叶える事
が出来ます。

猫
0231132人目の素数さん2011/08/20(土) 20:24:51.54
芳雄にはやく謝れ

お前が完全に悪いんだ

芳雄は天才なんで
0232猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 20:43:14.34
芳雄『が』はやく謝れ

ヤツが完全に悪いんだ

ヤツは低脳なんで

猫
0233132人目の素数さん2011/08/20(土) 20:45:45.26
1 芳雄>弘文 哲也>達 2%
2 芳雄<弘文 哲也>達 15%
3 芳雄>弘文 哲也<達 7%
4 芳雄<弘文 哲也<達 46%
5 芳雄≒弘文 哲也≒達 30%

どや?

0234猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 20:47:20.83
>>231
>芳雄は天才なんで
ソレは何故でしょうか? 客観的な証拠を以てご説明願います。お返事を
お待ちします。

猫
0235猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 20:50:34.12
>>233
★★★ 弘文>>>>>芳雄 達>>>>>哲也 ★★★

猫
0236132人目の素数さん2011/08/20(土) 20:53:21.38
>>235
同意します
0237猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/20(土) 20:55:24.58
>>236
同意しなくてもそんな事は当たり前です。

猫
0238132人目の素数さん2011/08/20(土) 21:06:03.51
>>237
同意します
0239132人目の素数さん2011/08/20(土) 21:06:47.42
★★★ 芳雄>>>>>哲也 ★★★
0240132人目の素数さん2011/08/20(土) 21:11:52.09
>>239
激しく同意します
0241132人目の素数さん2011/08/20(土) 22:08:10.27
一流と三流家、二流と二流家
この勝負は互角ですな
0242132人目の素数さん2011/08/21(日) 02:00:24.34
実解析多様体の研究ってあんま聞いたことないけど、どうなってんの?
0243猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/21(日) 02:47:51.00
>>239
ソレは『証明を必要とスル命題』ですね。なので証明をお願いしマスダ。

猫
0244132人目の素数さん2011/08/21(日) 13:25:04.27
>>243
自明です。証明は永田「可換体論」を読みなさい
0245132人目の素数さん2011/08/21(日) 19:28:08.69
>>242
塩田先生がその分野では国際的に有名だが
国内では無名に等しい
かな?
0246検便のナウシカ ◆UVkh7uHFoI 2011/08/21(日) 19:34:42.97
>>245
ありがとう。
酉つけるの忘れてた。
0247猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/22(月) 05:46:53.65
>>239
ソレは『証明を必要とスル命題』ですね。なので証明をお願いしマスダ。

猫
0248検便のナウシカ ◆UVkh7uHFoI 2011/08/22(月) 17:55:51.46
ペレルマンの論文落としたんだけど、なんか読む気しない
0249132人目の素数さん2011/08/22(月) 19:58:33.93
そうだよな
俺も最近出たリッチフロー積読になってるし
ペレルマンはテレルマンなんちて///
0250検便のナウシカ ◆UVkh7uHFoI 2011/08/22(月) 21:35:17.00
リッチフローはなんかもうやりつくされていて、やることがないっていうイメージがある。
全然知らないんだけどね。
0251132人目の素数さん2011/08/22(月) 23:32:01.87
その辺りの見極めは難しいが、
ハミルトンも離れた後に進歩したように
見込みはあるかもしれない。
0252132人目の素数さん2011/08/23(火) 10:45:40.46
>>250
つまり、「何の役に立つかもどんな結果が出て来そうかも分からないが
こつこつと成果を積み上げることだけなら誰でもできそうだ」というイメージが
リッチフローには全然ないということだね。
0253検便のナウシカ ◆UVkh7uHFoI 2011/08/23(火) 17:26:54.31
あくまでもイメージだけどね。
リッチフローみたいなのって幾何学者は好きそうだから、すぐにやりつくされて何もなくなる
っていうイメージがある。
0254132人目の素数さん2011/08/23(火) 20:14:26.51
並の幾何学者たちは
リッチフローに関しては
やれるところはペレルマンが全部やってしまって
あとの仕事は残務整理だと思っているだろうね
0255猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/23(火) 20:31:53.86
微分幾何学や力学系を用いて位相幾何学の命題を証明するという考え方
が3次元ポアンカレよりも更に広い世界に対して貢献がアルと考える方
がこれからの数学は遥かに豊かにナルと期待するのは自然な事ですね。

猫
0256猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/23(火) 21:39:15.28
加えてポアンカレ関連で残る最後の予想である『4次元ポアンカレの微
分同相版』に関してもペレルマン的な考え方がもし何らかのヒントにな
れば、ソレはとても素晴らしい事ですね。但しその場合も「サーストン
の分類表」みたいなモノの存在が先に必要でアルのかも知れませんね。
位相幾何学の新しい展開が新しい方向性を生む事が期待されます。

猫

0257検便のナウシカ ◆UVkh7uHFoI 2011/08/23(火) 21:52:39.51
4次元の場合ってサーストン流の分類表って作れるの?
0258猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/23(火) 22:59:04.73
>>257
もしそういう事が出来たらソレはとても素晴らしいと思いますね。です
が例えば複素二次元(コレで実四次元)というだけでもかなり厄介な筈
で(或いはS^4みたいにコンパクトであって複素構造を持たないモノの
特徴付けとか)、だからドナルドソン不変量とかサイバーグ・ウィッテ
ン不変量とかを考える訳でしょうが、私みたいなド素人から見ると計算
可能性だけでも極めて大変な事になる訳ですよね。またモジュライを見
てもリーマン面ならば「まあまあ」という完成度であっても、でもK3
とかは極めて大変そうですよね。加えて実例がきちんと出尽くした感じ
がアル様にも見えません。だからサーストンの表みたいに対称空間とか
等質空間を組み合わせればその期待される表の構成要素の全部がリスト
アップ出来るみたいな都合の良い話が組み立てられるまでに数学は未だ
に進歩して居ないみたいに私には感じられますね。

猫
0259検便のナウシカ ◆UVkh7uHFoI 2011/08/24(水) 00:17:31.84
ホモロジー群で区別できない4次元多様体ってたとえばどんなのがあるの?
0260132人目の素数さん2011/08/24(水) 00:20:27.23
非可換にそういう豊かな話って全く聞かないよね。
0261132人目の素数さん2011/08/24(水) 00:26:12.30
そう言えばThurstonのThree-Dimensional Geometry and Topologyの第2巻はもう出版される可能性はないのでしょうか?
第1巻の出版は97年だから随分と前ですよね。(その翻訳も培風館から出てたと思いますが、そっちはとっくに品切れ放置プレイ状態か絶版か)
0262猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 12:41:17.55
>>259
ホモロジー3球面を使えば構成出来そうな気がしますね。考えてみて下さ
いまし。単純な直積で大丈夫そうですけど。(但しトージョンに注意。)

猫
0263132人目の素数さん2011/08/24(水) 12:46:08.57
>>262
間違っている
0264猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 12:57:08.39
>>263
そうですか。では『どう間違っているのか』を教えて下さい。

猫
0265猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 13:02:40.26
>>259
今思い付きましたが、キャッソンハンドルというかフリードマンの4球面
というのがアリマスよね。アレは標準4球面とはホメオですが、でも微分
同相は未証明ですから。但し『微分同相ではないという証明』が存在スル
訳ではアリマセンけど。

猫
0266132人目の素数さん2011/08/24(水) 14:02:53.85
>>265
全然違う
0267猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 14:22:16.56
>>266
そうですか。では『何処がどう全然違うのか』を教えて下さい。

猫
0268132人目の素数さん2011/08/24(水) 16:47:43.31
>>267
「違う」というのは
テクニカルなことではなく
多分、ポアンカレのいう「調和の精神」に
欠けたものがあるという意味だと思うよ
0269猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 16:58:45.98
>>268
ああ、そうですか。ならばその話は私には無関係ですね。私はテクニカル
な事にしか興味が無いので。私は精神なんて一切気にしないので。

猫
0270132人目の素数さん2011/08/24(水) 17:04:12.78
数学に対する考え方は
ポアンカレ以外にもいろいろありえますね
0271猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 17:10:10.92
ソレは当然で、ポアンカレだけが数学ではないでしょう。

猫
0272132人目の素数さん2011/08/24(水) 17:53:45.97
芳雄ほど数学に精通している人間はいないだろう

あのグロタンディークでさえ この問題を芳雄はどう思うだろうか

と考えるほどだ

ある日 某大数学者が数ヶ月悩んでいた未解決問題を

芳雄は一瞥して解いてしまった これぞ芳雄である
0273検便のナウシカ ◆UVkh7uHFoI 2011/08/24(水) 17:55:03.53
>>265
レス、サンクス。
俺はまだお勉強の段階なのでいろいろ専門用語を出してもらうと興味をそそられます。

サイバーグウィッテン方程式ってのはその後活発な研究対象になってるんですかね?
もう発見されてからずいぶん経つけど。
ヤンミルズ方程式と同値だとも聞いたことあるんだけど、どうなんですかね?
0274猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 18:02:27.17
芳雄ほど学問を馬鹿にしている人間はいないだろう

あの河原町のジュリーでさえ この白痴は芳雄よりもマシだ

と考えるほどだ

ある日 某馬鹿者が数ヶ月悩んでいたしょーもない問題を

芳雄は何年考えても意味さえ理解が出来なかった これぞ屑芳雄である

猫
0275猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 18:08:43.15
>>273
私の認識では:
★★★『サイバーグ・ウィッテン理論から得られる不変量は
             ドナルドソン不変量と同値(同じ不変量)』★★★
というモノですが、でもソレは『物理としては定理だが数学としては定
理ではない』というモノです。ですが私は専門家ではアリマセンし、加
えてその後の進展もアルと思うので、詳しい事は自分で調べるか或いは
専門家に問い合わせて下さい。

猫
0276132人目の素数さん2011/08/24(水) 18:27:04.25
ああ生活保護もらいながら北海道の珍味、大自然を
堪能する生活がしたいぞ!
0277132人目の素数さん2011/08/24(水) 18:43:21.20
>>271
師匠がポアンカレ賞をもらったのだから
すこしはポアンカレに遠慮したらどうか
0278猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 18:45:56.82
>>277
お断りします。

猫
0279検便のナウシカ ◆UVkh7uHFoI 2011/08/24(水) 19:29:11.54
>>275
どうもありがとう。
学生じゃないんでネットしか情報源がないのが痛い。
コツコツ調べてみるよ。
今はアーカイブとかもあるしね。
0280猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 19:33:24.18
>>279
さっきネットで検索を掛けただけでも幾つかの文献は出て来ました。だか
らソコからでもそれなりの情報が取れると思います。勿論アーカイブを使
うのが一番簡単でしょうけど。

猫
0281132人目の素数さん2011/08/24(水) 22:26:22.16
>>280
一般人に見れなくて
研究関係者にだけ閲覧できるデータで
重要なものって結構ありますか?
私も趣味でやってるんですが。
0282猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 22:37:47.39
>>281
さあ、どうなんですかね。例えばマサイですが、でもコレはお金さえ払
えば個人でも契約可能なんじゃないですかね。人と議論をしていて私も
その関係で時々調べ物をしますが、でも必要な情報は概ねは出て来てい
るのでは、という印象です。非常に古い文献は出ないのかも知れません
けど。でもそういう時でもその存在さえ確認出来れば何とかなりますか
ら。そもそも研究に関しては全ての情報は一般公開されるのが然るべき
であり、何かを隠すのは然程意味がないと思いますね。まさか軍事情報
でもないので。

猫

0283132人目の素数さん2011/08/24(水) 22:40:01.38
>>282
その考え方は間違っている
0284猫vs虚偽院生 ◆MuKUnGPXAY 2011/08/24(水) 22:43:05.50
>>283
そうですか。では『何処がどう間違っているのか』を正確に教えて下さい。

猫
0285132人目の素数さん2011/09/17(土) 09:56:41.67
「多様体の基礎」を読んでるんだけど
どこが面白いのかさっぱりわからん・・・
0286東大生2011/09/17(土) 10:01:57.36
おまえのアタマはそれだけバカだということだよw
数学なんて勉強しても無駄w
0287132人目の素数さん2011/09/17(土) 10:04:08.76
>>286
ちょっとどこが面白いのか、解説してくれません?
愉快な定理とか
0288東大生2011/09/17(土) 10:09:17.66
>>286を読みなさい
おまえごときは数学書を読むのも無駄w
解説してもらうのも無駄w
数学と関わりを持たずに生きなさいw
0289132人目の素数さん2011/09/17(土) 10:11:52.45
>>288
具体的な例を挙げられないので
ただの煽りと判断いたしました。
0290132人目の素数さん2011/09/17(土) 11:50:45.89
また東大生の中身のないカキコか………
0291検便のナウシカ ◆UVkh7uHFoI 2011/09/17(土) 11:51:53.23
>>285
あの本は特に面白くもなんともないよ。
多様体の定義が載ってるだけだから。
あの本がある程度理解できたら、森田の微分形式の幾何学へ進むといい。
ドラムの定理やら調和積分論やらベクトル束の特性類やら、考えることが豊富にある内容が
紹介されている。
0292猫vs運営 ◆MuKUnGPXAY 2011/09/17(土) 12:33:31.14
>>286
>>288
素晴らしい東大生サンへ、

その貴方様の比類なき知性と教養で『現代数学の意義とその将来の展望』
をこの場にて語ってくださいまし。我々下々が貴方様の豊富な知識と深
い理解をココで示す事に拠って貴方様の知性に触れる機会を持たせて下
さいませ。貴方様の様な高い知性には滅多にはお目に掛れませんので。

猫
0293猫vs運営 ◆MuKUnGPXAY 2011/09/17(土) 12:41:50.00
>>290
でもそのお方は『東大生サマ』なので、従って必ずしや:
★★★『何らかの素晴らしい内容を伴っていると考えるのが極めて自然』★★★
ですね。だから『東大生サマからの再書き込み』を期待して皆で礼を尽
くしてお待ちスルのが宜しいかとは思いますが。

猫
0294猫vs運営 ◆MuKUnGPXAY 2011/09/17(土) 17:39:14.82
>>286
>>288
お東大生サンや、

お早くお出ましになっておくんなさいませや。お待ちしとりますぅ〜

猫ォ〜〜〜ん
0295132人目の素数さん2011/09/18(日) 11:18:48.63
>>291
どうもありがとうございます m(_ _)m
紹介してくれた本や他の入門書にも
当たってみます
0296132人目の素数さん2011/09/20(火) 11:57:24.58
>>286
291のような書き込みができなかったり自転車のサドルを
ブロッコリーに置き換えて喜んでいたりするあたり
東大生のレベルも本当に低下したなと思わされる。
0297132人目の素数さん2011/10/14(金) 06:51:47.58
多様体の手術ってどうやるの?
0298132人目の素数さん2011/10/14(金) 08:53:09.24
296
馬鹿発見
それは日本医科大だからな
頭悪いんだなお前
0299132人目の素数さん2011/10/15(土) 07:42:33.43
サドルとブロッコリーはトポロジー的には同じですか?
0300132人目の素数さん2011/10/15(土) 11:59:55.41
いいえ
0301132人目の素数さん2011/10/15(土) 16:00:44.49
負曲率の曲面は鞍型のものをさすと言っても
鞍型とは何かをイメージしにくい時代だ
0302132人目の素数さん2011/10/19(水) 16:30:33.56
本当に分かりません。

k次元C^r級多様体Mのある局所径数をf、g、
u∊D_f、v∊D_g、x_i=u_i∘f^-1、y_i=y_i∘g^-1、pはMの点とします。

(∂u_l/∂v_j)(v)=(∂x_l/∂y_j)(p)

これが分かりません、教えて下さい
0303132人目の素数さん2011/10/19(水) 19:23:07.19
本当に分かりません。

6次元球面 S^6 の(1,1)テンソル場Jで、
J^2 = -id
になるものが可積。

これが分かりません、教えてください
0304心穏やかな猫 ◆MuKUnGPXAY 2011/10/19(水) 19:36:13.23
>>303
S^6は概複素構造を持つのは知られてるけど、でも複素構造を持つかど
うかはオープンですよね。概複素構造Jが可積分(i.e. N_J=0)だった
ら複素多様体になる筈なので。
http://en.wikipedia.org/wiki/Almost_complex_manifold#Integrable_almost_complex_structures

猫
0305β2011/10/19(水) 19:45:00.00
馬鹿が得意げに回答するとか恥ずかしく無いのかな
0306132人目の素数さん2011/10/20(木) 06:51:29.53
化石ってタンジェントがオリエンタブルってことだよ
0307ケケケ猫 ◆MuKUnGPXAY 2011/10/20(木) 15:07:19.54
>>306
ソレは多様体のorientabilityですよ。そもそも可積分を問うのはJに対し
てであり、そのJはT(M)に対する付帯構造なので、従ってT(M)に対してだ
けで可積分性を語るのは無意味。

猫
0308132人目の素数さん2011/10/20(木) 15:17:20.91
ねこ
0309132人目の素数さん2011/10/25(火) 11:07:14.10
猫さんはやっぱすごい
0310132人目の素数さん2011/10/29(土) 19:49:43.58
S^6上の知られている概複素構造をpunctured S^6上で可積なものに
連続変形するとき、そのpunctureの周りの挙動は凄まじいものになるであろう。
0311132人目の素数さん2011/11/19(土) 16:35:00.08
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250〜700台数中国工作員3〜7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年5月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
0312132人目の素数さん2011/11/19(土) 16:36:05.59
魂は幾何学

誰か(アメリカ)気づいた
ソウルコピー機器
無差別で猥褻、日本は危険知ったかブッタの日本人
失敗作


テロ資料を忘れずに
0313132人目の素数さん2011/11/30(水) 09:58:59.98
>>310
それを実際に見ることができたら
被引用度数が100以上の論文が書けるだろうね
0314132人目の素数さん2012/01/28(土) 23:24:27.54
age
0315あぼーんNGNG
あぼーん
0316あぼーんNGNG
あぼーん
0317あぼーんNGNG
あぼーん
0318あぼーんNGNG
あぼーん
0319あぼーんNGNG
あぼーん
0320あぼーんNGNG
あぼーん
0321あぼーんNGNG
あぼーん
0322あぼーんNGNG
あぼーん
0323あぼーんNGNG
あぼーん
0324あぼーんNGNG
あぼーん
0325あぼーんNGNG
あぼーん
0326あぼーんNGNG
あぼーん
0327検便のナウシカ ◆UVkh7uHFoI 2012/03/27(火) 01:15:58.16
サーストンはある時期にまったく数学的アイデアが出なくなったと言ってたけど、そういうのって悲しいよね。
特に過去に大きな栄光がある人にとって。
有限単純群のジャンコーは人生は長すぎると言ってたそうだ。
数学は一般的に30前半までだとはよく聞くけど。
0328132人目の素数さん2012/03/27(火) 01:19:18.17
>>327
30前半で、ろくな業績も職もないポスドク達を敵に回したなwww
0329猫vs運営 ◆MuKUnGPXAY 2012/03/27(火) 05:22:46.61
>>328
ろくな業績が無ければポスドクだろうと何だろうと撲滅されるのは当たり前だ。
何を寝惚けた事を言ってるんだ。馬鹿野郎。

猫
0330132人目の素数さん2012/03/27(火) 05:26:28.75
>数学は一般的に30前半までだとはよく聞くけど。

フィールズのせいで強制的にそうなってるとは考えないの?
0331132人目の素数さん2012/03/27(火) 06:36:49.51
>>329
正論
野球で圧縮、金属バット導入についてみたいな話ばかり
と言うと、焼きヲタ氏ねくらいしか反論できないんだよなwwwww
0332猫vs運営 ◆MuKUnGPXAY 2012/03/27(火) 07:24:57.99
>>331
そんなモン、正論もヘッタクレもないでしょ。つまりね:
★★★『ろくな業績が無い人なんてマトモな扱いを受ける権利が無い。』★★★
んですよ。ソレを『弱者だとか言って保護しなければイケナイ』とかそ
ういう馬鹿な事を言うから、だから皆が楽をしてサボろうという風にな
ってしまい、その結果として国が崩れてしまうんですよ。まあ:
★★★『頑張ってきちんとしたモノを残した人をエンカレッジ
       しなかったら、誰も努力をしなくなって馬鹿ばかりになる』★★★
というごく単純な話ですよ。

昔の共産主義が失敗した原因と全く一緒ですよ。だから皆で仲良くとか
平等とか言うのは大きな誤りであり、『ダメな人はきちんとパニッシュ』
しなければ制度は機能しないんですよ。

だから>>328みたいな馬鹿がこんな屑みたいな掲示板で何を言っても無駄。
そういう馬鹿(な考え方)は徹底して潰さないとダメ。無能な人が追放
されるのは当たり前。またそうでなければならない。

猫
0333猫vs運営 ◆MuKUnGPXAY 2012/03/27(火) 07:53:49.42
>>328
アンタみたいな頭が腐った野郎がそういう下らない事を書き込むから私が
この掲示板を焼き払ってるんだよ。この糞野郎め。

猫
0334あぼーんNGNG
あぼーん
0335132人目の素数さん2012/03/27(火) 11:54:42.50
まあまあそう興奮しないで
0336あぼーんNGNG
あぼーん
0337132人目の素数さん2012/04/26(木) 22:40:48.71
manifold
0338あぼーんNGNG
あぼーん
0339あぼーんNGNG
あぼーん
0340132人目の素数さん2012/05/13(日) 21:03:31.74
koge
0341あぼーんNGNG
あぼーん
0342あぼーんNGNG
あぼーん
0343あぼーんNGNG
あぼーん
0344あぼーんNGNG
あぼーん
0345あぼーんNGNG
あぼーん
0346あぼーんNGNG
あぼーん
0347あぼーんNGNG
あぼーん
0348あぼーんNGNG
あぼーん
0349あぼーんNGNG
あぼーん
0350あぼーんNGNG
あぼーん
0351あぼーんNGNG
あぼーん
0352あぼーんNGNG
あぼーん
0353132人目の素数さん2012/09/26(水) 14:31:04.84
ものとものの間の関係の存在を保証する
空間的なキャパシティーとしての視点から
多様体を論じた本はありますか
0354132人目の素数さん2012/09/26(水) 17:22:17.69
意味がわからない。
けど多分ない。
0355132人目の素数さん2012/09/26(水) 19:09:22.71
自分で造れ
0356132人目の素数さん2012/09/26(水) 22:56:30.78
俺、9次元多様体に引越ししたい。
でも業者からはそこに荷物は
運べないと断られた。
0357132人目の素数さん2012/09/27(木) 15:28:42.85
オレは2次元希望
0358あぼーんNGNG
あぼーん
0359132人目の素数さん2012/10/03(水) 12:56:41.10
宇宙際にはどうやったら引っ越せるか
誰か教えて
0360132人目の素数さん2012/10/03(水) 13:08:31.81
まず服を脱ぎます
0361あぼーんNGNG
あぼーん
0362132人目の素数さん2012/10/15(月) 20:04:17.12
3次元で暮らすもの正直飽きた。
この世界はつまらんから、
アセンション希望
0363132人目の素数さん2012/10/16(火) 11:42:07.96
サーストンが8月に亡くなったそうだね
0364132人目の素数さん2012/10/16(火) 21:23:55.71
来月号の数セミに追悼記事が出るはず
0365132人目の素数さん2012/10/19(金) 15:32:15.13
小林先生の特集号も出るぞ
0366あぼーんNGNG
あぼーん
0367132人目の素数さん2012/10/19(金) 22:32:44.92
原稿依頼が来そうだから準備しておこう
0368あぼーんNGNG
あぼーん
0369132人目の素数さん2012/10/23(火) 02:21:31.23
>>367
プロ気取り乙
0370333人目の描 ◆ghclfYsc82 2012/10/23(火) 02:22:33.98
>>369
馬鹿気取り乙

ケケケ描
0371333人目の描 ◆ghclfYsc82 2012/10/23(火) 02:33:02.71
>>369
低脳気取りの阿呆は挽き肉にして家畜のエサとして抹殺や。役に立たへん
無意味な存在は徹底的に叩かれて粉砕される。

描
0372333人目の描 ◆ghclfYsc82 2012/10/23(火) 13:32:52.64
描

>192 名前:132人目の素数さん :2012/10/23(火) 11:55:56.36
> >>187
> その運営と予算獲得に『すら』関心を示さずに
> 女性の股間にだけ関心を持った猫先生は
> 『研究のアクティビティ』とは無縁だったね。
> 『女性のティクビ』は好きだったんだろうけど。
>
0373あぼーんNGNG
あぼーん
0374あぼーんNGNG
あぼーん
0375あぼーんNGNG
あぼーん
0376あぼーんNGNG
あぼーん
0377検便のナウシカ ◆UVkh7uHFoI 2013/05/18(土) 19:58:12.65
コンパクトSpin(7)多様体の分類って完成しているのでしょうか。
0378検便のナウシカ ◆UVkh7uHFoI 2013/05/18(土) 20:00:11.57
>>6
完備ケーラー多様体の調和積分論ってのがあるけど。
ものそごい亀レスだけど。
0379あぼーんNGNG
あぼーん
0380132人目の素数さん2013/05/19(日) 10:43:13.09
>>6
それをモーレイがやったのを
ヘルマンダーたちが真似をした
0381132人目の素数さん2013/12/14(土) 14:53:03.94
松島与三 多様体入門 p.58 の例題の
〜 N' がM' の正規部分多様体なら 〜
の箇所なんですが、これは必要条件なんでしょうか?
正規でない場合に成り立たなくなる例があれば教えてください。
0382132人目の素数さん2013/12/21(土) 08:50:03.39
γ:(-π/2,3π/2)→R γ(t)=(sin 2t, cos t)とおくと
S=ImγはR^2のimmersed submanifold

G:R→R^2をG(t)=(sin 2t, cos t) とすればもちろんC^∞だが,
値域の制限G:R→Sは連続ですらない
03833812013/12/22(日) 18:46:01.07
ありがとうございます、やっと納得出来ました。
この例は分かり易いです。
03843812013/12/22(日) 19:29:08.82
追加で質問、
この Φ: M → M' の制限写像
Φ|N: N → N'
が単射の場合での反例はあるでしょうか? (もちろん松島本には単射条件はありません)
0385132人目の素数さん2014/01/14(火) 15:39:03.50
質問です。松本の多様体の基礎ですが、演習4.2について
解答では「fのr階偏導関数は連続である。よって、、、」となっていますが、
f自体の連続性については言わなくて良いのでしょうか?
よろしくお願いします。
0386132人目の素数さん2014/01/14(火) 15:51:28.19
俺は別に困らないし、良いんじゃないの?
0387132人目の素数さん2014/01/14(火) 18:59:16.92
C^1ならば全微分可能で連続
0388132人目の素数さん2014/01/14(火) 23:37:49.50
そうだね、r>=1
0389132人目の素数さん2014/01/15(水) 02:51:43.34
r=0がfそのものと考えては?
0390132人目の素数さん2014/01/15(水) 11:24:38.94
レスありがとうございます。説明不足ですみません。
きちんと問題を書くと、「R^mの開集合U上の関数fがC^r級(r>=1)であるための必要充分条件は
m個の偏導関数 df/dx_i (偏微分の意味)がC^r-1級関数であることである。」なんですが
偏導関数がC^r-1級であることは明らかでその逆を言う時に、
f自体の連続性について言わなくて良いのか?といったことが知りたいです。
お手数をお掛けします。
0391132人目の素数さん2014/01/15(水) 12:24:13.91
自分で証明しろ
∂くらい書け
0392132人目の素数さん2014/01/15(水) 12:36:23.61
レスありがとうございます
やはり言えるのですか
もう少し頑張ってみます
あと偏微分の出し方を教えて下さい
0393132人目の素数さん2014/01/15(水) 12:55:12.72
数学記号
ttp://mathmathmath.dotera.net/
0394132人目の素数さん2014/01/15(水) 17:25:02.76
定義4.�Yを踏まえて暗黙
0395132人目の素数さん2014/01/15(水) 18:06:16.52
記号教えていただきありがとうございました。

その定義によりますと、f自体も連続でなければならないと思うのですが、それを仮定しているということでしょうか?
それとも証明出来るのでしょうか?
そこが分からないのです。泣きたいです。
0396132人目の素数さん2014/01/15(水) 18:32:04.42
∂[xi]f(x)と書くからには∂[xi]fがなんらかの意味で存在しないといけない
このレベルではf(x)は各点で微分可能と理解すべし
0397132人目の素数さん2014/01/15(水) 19:39:02.02
ありがとうございます。やはり僕には解析の知識が足りてないようです。
偏微分可能と全微分可能は違いますよね?
各点でつまりU上で偏微分可能であれば、fが連続であると言えるのでしょうか?
何度もすみません。
0398132人目の素数さん2014/01/15(水) 19:44:25.10
言えない
0399132人目の素数さん2014/01/15(水) 19:59:22.84
一体どうすればいいんですか、、、
もう泣きたいです。
お願いします。もう少しだけ丁寧にお願いします。
0400132人目の素数さん2014/01/15(水) 20:03:30.59
f:RR->R, f(x,y)=0 (xy=0), =1 (else) とか
足りないというより、壊滅的だと思う
0401132人目の素数さん2014/01/15(水) 20:16:34.50
もう夜中やし黙れ!テラまどろっこしい
0402132人目の素数さん2014/01/15(水) 20:17:46.87
爺さん随分と早寝だな
0403132人目の素数さん2014/01/15(水) 20:30:16.14
>>400
それx軸上(原点除く)ではy方向に偏微分不可能じゃね?
0404132人目の素数さん2014/01/15(水) 22:04:49.57
>>397
>>387を読んで理解できないんだったら杉浦からやり直しだな
0405132人目の素数さん2014/01/15(水) 23:52:01.73
>>399
こんなとこでひっかかるのなら諦めろ
0406132人目の素数さん2014/01/16(木) 00:15:35.20
微分幾何学について語ろうかと思ったけど寝る
0407132人目の素数さん2014/01/16(木) 01:19:30.82
多様体は殆どの場合C∞だ。適当に流せ。
0408132人目の素数さん2014/01/16(木) 01:22:57.66
C^700級の多様体を作れとかは名問題?
0409132人目の素数さん2014/01/16(木) 01:35:15.99
C^1級ならばC^むげん級だ
0410132人目の素数さん2014/01/16(木) 10:41:45.31
皆様ありがとうございました。
きちんと解析を勉強したいと思います。
私は諦めません。
0411132人目の素数さん2014/01/16(木) 11:27:22.41
coming soon
0412132人目の素数さん2014/01/16(木) 13:03:42.05
運営乙
0413132人目の素数さん2014/01/17(金) 05:10:23.65
初学者が背伸びして多様体なんぞと意気込むとこうなる
結局は微積と線形代数の繰り返し無限ループへとはまる
0414132人目の素数さん2014/01/17(金) 21:18:33.65
おっしゃる通りです。
しかし夢を見たっていいじゃないですか。
やりましょうよ。みんなで数学を。
江戸時代みたく、イチ庶民が数学を楽しむ時代を取り戻しましょうよ。
そのためには、初学者を優しく導くことが大切ではないでしょうか?
誰もが最初は初学者です。
だからね、ホント冷たくあしらうのは辞めて下さい。
私は決して諦めない。
0415132人目の素数さん2014/01/17(金) 22:46:27.60
こんなレスするようでは失敗する確率は80%、間違いない
0416132人目の素数さん2014/01/18(土) 00:01:30.42
>>414
まず目標を書け、じゃないと大切な時間を浪費するだけだ
繰り返しになるがそれが物理なら写像はすべて滑らかだと思ってよい
0417132人目の素数さん2014/01/18(土) 05:42:51.63
目標はSW理論です
モノポール方程式はYMより線形性が高いので統制しやすいと聞きました
0418132人目の素数さん2014/01/18(土) 13:15:07.12
諦めずに前進を続けていればきっと目標に到達できる
0419132人目の素数さん2014/01/18(土) 13:47:14.38
人生勇気が必要だ
くじけりゃ誰かが先に行く
あとから来たのに追い越され
泣くのがいやならさあ歩け
0420132人目の素数さん2014/01/18(土) 14:27:18.01
うるせえ!
0421132人目の素数さん2014/01/18(土) 17:52:51.78
なにか耳の痛くなるようなことでも言ったか?
0422132人目の素数さん2014/01/18(土) 18:22:25.15
水戸黄門終わっちゃったな
0423132人目の素数さん2014/01/20(月) 02:44:08.20
確かに目標はあまりありませんね
ポールエルデシュの伝記を読んで数学をやるしかないと思ったのです、、、
ところでここにいる皆さんは大学で数学を学ばれたのでしょうか?
0424132人目の素数さん2014/01/23(木) 01:37:20.99
大学でも
0425132人目の素数さん2014/03/23(日) 11:01:33.69
保守
0426132人目の素数さん2014/05/04(日) 16:58:01.93
松島与三 多様体入門 p.46 の補題1の証明で
「〜の行列式は0でないとしても一般性を失わない.」(下から5行目)
とあるのですが、A={ {0, 5}, {5, 0} } のような対称行列式が出てきただけで
この証明方針は破綻するように思うのですが、一般性を失わないような修正方法があれば教えてください。
0427132人目の素数さん2014/05/04(日) 18:12:44.86
何言ってんだおめえ
04284262014/05/04(日) 19:23:38.75
>>427
うるせーよボケ、引っ込んでろカス
0429132人目の素数さん2014/05/04(日) 19:49:42.69
回答は松島を持ってる方にかぎらさせていただきます。
0430132人目の素数さん2014/05/04(日) 20:00:54.79
俺持ってるから回答
死ね
04314262014/05/04(日) 20:04:24.45
428, 429 は私の書き込みではありません・・・
0432132人目の素数さん2014/05/04(日) 20:06:51.36
Aの行列式はいくつ?
0433132人目の素数さん2014/05/04(日) 20:16:31.12
そういう問題じゃない
04344262014/05/04(日) 20:45:22.52
補題の内容だけ示します。
A(u)は 各成分が u=(0,0,...,0) 近傍Uで定義されたC^∞級関数となっている n次対称行列で detA(u) ≠ 0 (u∈U)
このとき n次正則行列 T(u) が存在して
0近傍 V ⊂ U で T(u) の成分はC^∞級関数であり
transpose(T(u)) A(u) T(u) = diagonal{ ε1,ε2,...,εn }
εi = ±1
が成り立つ.

松島による証明は T(u)の構成方法を示してやるよ、という方針なのですが
A(0)=(a(0){i,j})の1行目を除いた (n-1,n)型行列の階数は n-1 であるから
「 A'(0) = (a(0){i,j}) (i,j≧2) の行列式は 0 でないとしても一般性を失わない」の箇所が間違っている思われ、
A={ {0, 5}, {5, 0} } はその方針では構成できないでしょう?という具体例のつもりです。

各点u での対角化までは線形代数の初歩かと思うのですが
T(u)の成分がC^∞級関数である事は、別路線での自力証明が思いつきませんでした。
例えば固有値がC^∞級関数となる事を示さないといけないのだろうか?とか・・・
0435132人目の素数さん2014/05/04(日) 21:25:03.25
松島が正しくて、お前の理解が足りないだけ
0436132人目の素数さん2014/05/04(日) 21:34:08.71
>>426
君の例示したAのどこがまずいか説明しなさい
04374262014/05/05(月) 11:09:20.00
一晩考えて回避方法が分かりました。
松島による解法は基本的には固有ベクトルを求めていくタイプのものではないのですが
例外的に途中で2次対称行列の固有ベクトルの組を求めないと苦しそうな箇所が出現する場合があります。
例示したAもそうです。それほど難しい処理ではないのですが元の証明部分よりは複雑です。

> 固有値がC^∞級関数となる事を示さないといけないのだろうか?
これは確かにそうだったのですが3次方程式以上を考慮する必要はないので助かりました。

松島は正しいにしても彼の「一般性を失わない」の範囲は広すぎる、
ちょっと抜けが大きいように思いました。
0438132人目の素数さん2014/05/05(月) 12:13:05.20
一晩考えた言い訳がそれか
0439132人目の素数さん2014/05/05(月) 12:29:50.72
よくわからんな、わかってないのだろうというのは伝わってくるが。
0440132人目の素数さん2014/05/05(月) 13:05:39.39
線型代数くらい齧っておかないとこうなるぞ、という症例
04414262014/05/05(月) 13:37:53.31
一応補足しておくと、「固有ベクトルの組を求める」事が 苦しい/難しい のではなく
「0点近傍で」その問題に帰着させても構わない事の保証を得るにはちょっと考える必要があったという話です。
元の証明は問題の次元を1つづつ降下させていく方法でしたが、この場合は一度に2つ降下する事になります。

「線型代数を齧った」だけの人が、問題を一見しただけだと A(u)に対する固有ベクトルの組を並べればいいだろ、
成分が連続的に変わればその固有ベクトルも連続的に変化するだろ、たぶん。
で証明も追わずに終了とやりそうですが、C^∞級を示すにはそう単純にはいかないのです。
0442132人目の素数さん2014/05/05(月) 15:48:05.88
>「線型代数を齧った」だけの人
いやーまいったな(笑)
0443132人目の素数さん2014/05/05(月) 17:01:29.74
とんでもさんにはよくある見解ですがな
0444132人目の素数さん2014/05/05(月) 17:09:06.03
トンデモっていうほどじゃないだろ
0445132人目の素数さん2014/05/05(月) 17:59:00.11
可能性は秘めていますな。
0446132人目の素数さん2014/05/05(月) 18:47:39.59
基底を適当に取り替えればいい、って話でしょ?
基底変換しても対称行列は対称行列のままだし。
0447132人目の素数さん2014/05/05(月) 21:16:33.04
要はそういう事ですね。
松島多様体はその箇所以外にも大きな論理ギャップがあちこちにあるので
独学者にはちょっとキツい本だと思います。

他にもこういうのがあります。
http://ameblo.jp/kazuaha63/entry-11450801243.html
>接ベクトルの理解できないところが翻訳バージョンで加筆されていたのを見て、「あー、やっぱり」などと...

おそらく2次のテイラー展開で打ち切って証明すればOKだろな箇所の事だと思いますが
自分もテキトーな証明だなあって思いながら他で自力で補った記憶があります。
0448132人目の素数さん2014/05/05(月) 21:35:31.43
行間が広いのは言われなくても分かるが、それがちっとも伝わってこない
0449132人目の素数さん2014/05/05(月) 23:05:16.62
>>447
>>446でいいのにどこに大きなギャップがあるの?
基底変換は各点ごとじゃなくてある近傍で一定でいいし。
0450132人目の素数さん2014/05/05(月) 23:30:37.11
松島だって >>446 のように書いていればギャップとは思わない。ちょっと曖昧かなとは思うけど。
細かい手順で目的の行列の構成方法を示しているものの
記述されていない場合の取り扱いの方が手間がかかるのは、そりゃギャップと言ってもいいでしょう。
どこが「一般性を失わない」ですか?・・・って。
細かく説明しなくても、手を動かしながら松島本を読んだ人は分かると思う。
0451132人目の素数さん2014/05/05(月) 23:40:44.79
>>449
> 基底変換は各点ごとじゃなくてある近傍で一定でいいし。

元の行列成分が変化するのに、変換行列が一定ではよくないよ。
変換で対称行列のままなのは良いとしても、
対角行列からずれていく、対角成分が ±1 からずれていく。どうすんのって。
まあ適当に変化する変換行列だって作れるだろうよってのはそれほど自明じゃない。
0452132人目の素数さん2014/05/05(月) 23:50:03.13
与三とエッチしたい
0453132人目の素数さん2014/05/06(火) 10:38:00.52
こういうのを「理論のギャップ」とは表現しませんな。
0454132人目の素数さん2014/05/08(木) 22:28:30.95
多様体の定義にハウスドルフ性が入っているのはなぜですか?
0455132人目の素数さん2014/05/08(木) 22:32:32.64
FAQのような
0456132人目の素数さん2014/05/08(木) 23:21:58.43
>>454
多様体とは解析を行う舞台となる場所。
そしてうまく解析が行えるためには、その位相が粗すぎず、かつ細かすぎないことが必要で、
粗すぎないという仮定がハウスドルフ性、細かすぎないことの仮定が第二可算公理。
これらの仮定があることで、局所的な関数や計量などを多様体全体に貼り合わせるときに基本的な一の分割が行える。
0457132人目の素数さん2014/05/08(木) 23:56:53.61
>>453
「ユークリッド空間に局所的に同相なんだったらハウスドルフ性は明らかじゃないか?」
という疑問だったら、層の概念を使うと、局所的にユークリッド空間と同相なのにハウスドルフ性が成り立たない例が作れる。
病的な例なので深く考えない方がよい。
0458132人目の素数さん2014/05/09(金) 00:15:26.91
そうかー
04594572014/05/09(金) 00:24:42.52
>>454だった
0460132人目の素数さん2014/05/09(金) 00:55:16.75
病的といっても、実数上の連続関数の層がすでにハウスドルフではない。
0461132人目の素数さん2014/05/09(金) 01:03:42.58
ザリスキー位相も病的
0462132人目の素数さん2014/05/09(金) 01:14:46.45
>>461
局所的にユークリッド空間と同相じゃないし
0463132人目の素数さん2014/05/09(金) 09:00:47.99
>>454
知恵遅れの解答
ttp://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1173661351
0464132人目の素数さん2014/05/09(金) 15:29:57.31
>>454
過去ログ、15が質問で542が解答
http://www.logsoku.com/r/math/1086293977/
遅いので注意
0465132人目の素数さん2014/05/09(金) 15:34:10.69
ついで

過去ログ part2
http://read2ch.net/math/1166145581/
04664542014/05/11(日) 22:54:02.31
danke schoen
■ このスレッドは過去ログ倉庫に格納されています