全てのn>mに対してn次球面のm次ホモトピー群が計算されるまで
(もしくはアルゴリズムが見つかるまで)このスレを生き延びさせといて下さい。
2 :
132人目の素数さん:04/01/16 13:52
かわいそうなので2ゲットさせていただきます
3 :
132人目の素数さん:04/01/16 13:53
4
5 :
132人目の素数さん:04/01/16 13:56
>>3と
>>5は駄レスなわけだが、
これはつまり駄レスはやっぱり必要ってことじゃなかろうか。
7 :
132人目の素数さん:04/01/16 13:59
8 :
132人目の素数さん:04/01/16 14:00
9 :
132人目の素数さん:04/01/16 14:00
10 :
132人目の素数さん:04/01/16 14:01
11 :
132人目の素数さん:04/01/16 14:02
12 :
132人目の素数さん:04/01/16 14:03
13 :
132人目の素数さん:04/01/16 14:04
14 :
132人目の素数さん:04/01/16 14:05
無限ループの予感
15 :
132人目の素数さん:04/01/16 14:05
16 :
132人目の素数さん:04/01/16 14:05
17 :
132人目の素数さん:04/01/16 14:06
18 :
132人目の素数さん:04/01/16 14:07
19 :
132人目の素数さん:04/01/16 14:08
最強糞スレの予感
20 :
132人目の素数さん:04/01/16 14:09
21 :
132人目の素数さん:04/01/16 14:09
22 :
132人目の素数さん:04/01/16 14:10
23 :
132人目の素数さん:04/01/16 14:11
24 :
132人目の素数さん:04/01/16 14:13
25 :
132人目の素数さん:04/01/16 14:14
検便のナウシカ
26 :
132人目の素数さん:04/01/16 14:15
1/16 タイトル:SerreのmodC理論
発表者:長尾 健太郎 君
内容: SerreのmodC理論を使って球面のホモトピー群の有限性を証明し
ます. modC理論は,本質的にはファイバー束の (コ)ホモロジースペ
クトル系列の応用です. (コ)ホモロジースペクトル系列を認めてし
まえば, 代数的な議論によって球面のホモトピー群の有限性を証明で
きます. 今のところ,(コ)ホモロジースペクトル系列については 最
低限必要な事実をまとめ説明し,完全な証明は与えずに用いる予定です.
予備知識はホモトピー論の基礎です
27 :
132人目の素数さん:04/01/16 14:15
28 :
132人目の素数さん:04/01/16 14:17
29 :
132人目の素数さん:04/01/16 14:26
30 :
132人目の素数さん:04/01/16 14:27
31 :
132人目の素数さん:04/01/16 14:28
フー(Sze-Tsen Hu(胡世木貞), 1914-. ) トポロジスト,特にホモトピー論. 日本語の本には『ホモトピー論』(三村護訳,現代数学社,1994)がある.
32 :
132人目の素数さん:04/01/16 14:30
33 :
132人目の素数さん:04/01/16 14:31
34 :
132人目の素数さん:04/01/16 14:32
>>26-33 なんでホモトピーで検索して出てきたのを片っ端から貼るようなことをやってんの?
どこまで計算されてますかね
36 :
132人目の素数さん:04/01/16 14:51
37 :
132人目の素数さん:04/01/16 14:51
このウンコやろー!
38 :
132人目の素数さん:04/01/16 14:52
39 :
132人目の素数さん:04/01/16 14:53
>>38は駄レスなわけだが、
これはつまり駄レスはやっぱり必要ってことじゃなかろうか。
40 :
132人目の素数さん:04/01/16 14:54
41 :
132人目の素数さん:04/01/16 14:55
42 :
132人目の素数さん:04/01/16 14:56
43 :
132人目の素数さん:04/01/16 14:57
44 :
132人目の素数さん:04/01/16 14:57
45 :
132人目の素数さん:04/01/16 15:04
46 :
132人目の素数さん:04/01/16 15:09
ホモトピー群ってなんですか(?ー?)
47 :
132人目の素数さん:04/01/16 15:10
48 :
132人目の素数さん:04/01/16 15:13
49 :
132人目の素数さん:04/01/16 15:16
ホモロジー群とホモトピー群って関係あるの????
驚愕の真相、マジ求む!
50 :
132人目の素数さん:04/01/16 15:23
荒らしかた教えてください。
51 :
132人目の素数さん:04/01/16 15:34
52 :
132人目の素数さん:04/01/16 15:41
探したがどこまで計算されているかは、日本語ではなかった。
専門家に聞くのが早いが英語で検索って手はある。
昼にしては流れが速い。
54 :
132人目の素数さん:04/01/16 15:59
>>54 「でも」と云うべきなのか。
5レス/時 ぐらいなら内容もついてくることもあるが、
10レス/時 とかを超えると、どんどん内容が薄くなっていくような。
どこまで計算されてますかね
57 :
132人目の素数さん:04/01/16 16:09
>>54 このスレの登場人物は2,3人ってとこかな。
58 :
132人目の素数さん:04/01/16 16:12
このウンコやろー!
59 :
132人目の素数さん:04/01/16 17:17
....このスレ終わったな。
まだ何の話題も始まってないような気が。
61 :
132人目の素数さん:04/01/16 17:35
ごみレスばっか・・・・
>>63 つまり
「全てのn>mに対してn次球面のm次ホモトピー群が計算されるまで 」
がスレ主の仕事で
「このスレを生き延びさせといて下さい。」
が俺たちの仕事。
>>1参照
ホモトピー群の計算の歴史をまとめてくれよ誰か
66 :
132人目の素数さん:04/01/18 00:51
駄レス不要
どこまで計算されてますかね
68 :
132人目の素数さん:04/01/23 00:24
ホモとピー
69 :
132人目の素数さん:04/01/23 09:25
70 :
132人目の素数さん:04/01/23 15:17
Eilenberg-MacLaneスペクトラムに関するホモトピー群=ホモロジー群
72 :
132人目の素数さん:04/01/23 22:43
>>71 もう少し説明してくれないと、ヌレにはわからん。
73 :
132人目の素数さん:04/01/23 22:47
>>70 それは1次元のホモロジー群に対しては成り立つけど、
2次元以上だと成り立たないんじゃない?
74 :
132人目の素数さん:04/01/24 00:07
>>73 そうだね。
そもそも高次ホモトピーって可換だし。
下のホモトピー群が消えてれば、ホモロジーと同型ってのがフルヴィッツの定理。
>>70 基本群の可換化がホモロジー群なら正しい。これもフルヴィッツって呼ばれる。
>>72 一般コホモロジー(紀伊国屋)
一般コホモロジー(岩波、現代数学の展開)
あたりをどうぞ。Ωスペクトラムってやつです。
ホモトピカルに(コ)ホモロジーを捕らえられるって事が言いたかった。
>>75 質問者の意図からは、的外れな回答だけどね。
だいたい、ホモトピー群がどこまで計算されたか?なんてくだらない質問すんなよ。
どこまで計算したって、「計算出来ました」ってだけじゃ数学的には無意味だろ?
>>77 ホモトピー群の計算がどんだけ大変かわかってないんじゃない?
79 :
132人目の素数さん:04/01/24 10:01
80 :
132人目の素数さん:04/01/24 11:33
>>75 XのコホモロジーはK(π,n)達への写像のホモトピーで近似していけるっていう理解でよいですか?
あとΩスペクトラムってオメガ・スペクトラムって読みでOKですか?
何となくループ・スペクトルとも読みたくなってくるんですが。
81 :
132人目の素数さん:04/01/24 12:29
>71の意味を説明しとくと
A係数Eilenberg-MacLaneスペクトラムHAがあると
H_*(X;A)=π_*(X∧HA),H^*(X;A)=[X,HA]_{-*}
という関係がある。
H^*(X;A)=[X,HA]_{-*}の定義は>80の言ってる様に
[X,HA]_n=[X,K(A,n)]の意味でよい。
Ωスペクトラムはオメガ・スペクトラムでいいんじゃないかな?
82 :
132人目の素数さん:04/01/24 12:32
>77
球面のホモトピー群に関連した未解決問題として、
Kervaire invariant問題ってのがある。
たしか素数3に関する物があとは残ってるんじゃなかったかな?
83 :
132人目の素数さん:04/01/24 12:42
ホモトピー群の計算方法として有名所としては、
これ以前にレスが出てる本に載ってるが
Killing method
簡単に言うと球面をEilenberg-MacLane空間を利用してファイバー列に分解(Postnikov分解)して
Serreスペクトル系列、フレヴィッツの定理を併用して
Eilenberg-MacLane空間のコホモロジーから順に球面のホモトピー群を計算していく方法がある。
また、Adamsスペクトル系列ってのもあって
これはHZ/pホモロジー論の代数構造から、
スペクトル系列(のE_2)項が計算でき
これを計算する方法がある。
Adamsスペクトル系列は一般ホモロジーについて一般化する事ができ
Brown-PetersonホモロジーBPに関するスペクトル系列
(Adams-Novikovスペクトル系列)もよく使われる。
まぁ、Adamsスペクトル系列は、正確には"安定"ホモトピー群に収束しますが。
84 :
132人目の素数さん:04/01/24 12:57
>77,>78
>77はホモトピー群を計算意義について述べてるのであって、
計算の難しさについて言ってる訳では無いと思うぞ。
球面のホモトピー群が分ったとして、
そこから何が分るか(応用できるか)については
多くの代数的位相幾何学者は答えられないのではないだろうか・・・(私を含めて)
近年の代数的位相幾何学は、本来のトポロジーとは離れていき
形式的議論に成ってきている傾向が強いと思う。
そういう方向性を否定する訳では無いが、
他分野との関わりが薄くなりつつあるのは、
今日の代数的位相幾何学が低迷してる原因の1つだと思う。
>>84 だから、Hopkinsあたりが必死で(フィールズ賞ねらいもありで?)
ああいう方向性にいこうとしてたんでしょ?voevodskyが示したように
代数的トポロジーはメソッドとして広く有効であるみたいだし、
>>他分野との関わりが薄くなりつつある
というのは、ちょっと言い過ぎ。
それとも、そういう流れを知らないで言っているのかな?
86 :
132人目の素数さん:04/01/24 13:09
ついでに、ホモトピー群に関連する(問題設定自体は簡単な)未解決問題を上げておくと
generating hypothesis
有限複体(orスペクトラム)間の写像
f:X→Yがπ_*(f)=0なら、fは定置写像にホモトピックか?
ちなみに、これは無限複体の場合は成立しないのは明らかである。
例えばファントム写像fは任意の一般ホモロジーでh_*(f)=0だから
特別な場合としてπ_*(f)=0
となるし、
phantomでない例でも
Sq^1:ΣHZ/2→HZ/2 (mod 2 コホモロジーのSteenrod作用素Sq^1のスペクトラム間の写像としての表現)
π_*(Sq^1):π_{*-1}(HZ/2)→π_*(HZ/2)
は明らかに0写像だからな。
この問題は、有限複体の性質に関連してて面白いと思う。
まぁ、私には解決の糸口はさっぱりですが・・・
88 :
132人目の素数さん:04/01/24 13:21
>85>87
Milnor予想の解決がありましたね。
>84の後半は言い過ぎだったと思います。
失礼しました。
>>88 まあ、84で言いたかったことも一応擁護しておくと、
>>今日の代数的位相幾何学が低迷してる
ということは、少なくとも日本においては紛れもない事実。
しかし、その原因は代数的トポロジーの学問的性格とは何ら
関係がないと思う。
>>81 おお!
H_*(X;A)=π_*(X∧HA)
で(一般)ホモロジーも得られるんだ!知らなかった。
コホモロジーは結構本でみかけるけど、ホモロジーって見かけない気がするけど。
どうしてなんだろう。単にヌレの勉強不足かな。
91 :
132人目の素数さん:04/01/24 13:53
>90
コホモロジー論はカップ積やコホモロジー作用素などの
有効な構造があるのに対して、
ホモロジーだとそういう構造が少ないからじゃないかなぁ。
ホモロジーでも、Adamsスペクトル系列を考える場合だと余加群構造が重要だけど、
コホモロジーに比べると、利用される場合が少ないという印象は受けますね。
92 :
132人目の素数さん:04/01/24 13:57
>>91 なるほど、やはり積構造などは空間を理解するのに大切なんでつね。
93 :
132人目の素数さん:04/01/26 20:25
ホモトピー群age
94 :
132人目の素数さん:04/01/26 20:54
有理ホモトピーとかどうよ。Sullivanだっけ。
686
96 :
132人目の素数さん:04/02/16 08:49
どこまで計算されてますかね
97 :
132人目の素数さん:04/02/16 17:58
>94
有理ホモトピーはどうなんでしょうね。
安定ホモトピー論でのクロマティック局所化を
空間の理論に応用するというのは、されてましたっけ?
0−クロマティック=有理化
1-クロマティック=K理論
∞-クロマティック=id
だから中間という意味ではそこそこ意味がありそうですが・・・
まぁ、クロマティック2nd Levelが今注目を浴びていると言えば浴びてますけどね。
>96
どうなんでしょうね?
球面のホモトピー群に関しては、
戸田先生の方法がメインだと思いますが、あまり知らないなぁ
球面の安定ホモトピー群はラベネルが
50次元ぐらいまで計算してるんじゃなかったかなぁ?
793
99 :
132人目の素数さん:04/03/20 22:48
━―━―━―━―━―━―━―━―━[JR山崎駅(^^)]━―━―━―━―━―━―━―━―━―
160
101 :
132人目の素数さん:04/04/09 08:41
計算機を使えば、どんどん自動的に計算してくれるんじゃないのかな?
いや、だからアルゴリズムが(ry
103 :
132人目の素数さん:04/04/10 01:45
単体分割を与えれば、ホモロジー群やホモトピー群も、皆求まるというのじゃ
なかったの?
104 :
132人目の素数さん:04/04/24 19:09
単体分割はどう与えるの?
685
156
107 :
132人目の素数さん:04/05/12 22:26
>>104 ホモロジー群は求まるがホモトピー群は別。
2次元球面の単体分割とホモロジーの計算は学部で習うが、
ホモトピー群は未だに完全にはわかっていない。
348
age
110 :
132人目の素数さん:04/06/03 01:49
2次元の球面って X^2+Y^2+Z^2=1のことだよね?
それの上の1点 x_0を基点とするホモトピー群って
自明な群でしょ?
111 :
132人目の素数さん:04/06/03 02:06
ホモトピー群には,次元があってね,2次元の球面の1次元
ホモトピー群は自明だけど,2次元ホモトピー群はZになる.
3次元もZになるんだけど,100次元ホモトピー群は多分
だれにも分からないだろうね.
112 :
132人目の素数さん:04/06/03 04:46
以下は俺が圏論スレに書いたもののコピペ。
---------------------------------------------------------
C をcategory とする。 C のobject G がC-group であるとは
任意の object T に対して h_G(T) = Hom(T, G) が群になり、
T → T' に対して h_G(T') → h_G(T) が群の準同型となる
ことである。C を基点つき位相空間と基点を保つ連続写像の
ホモトピー類を射とする圏としたとき C-group をH-space
という。基点のある空間 (Y, *) に対して
(S^1, *) から (Y, *) への連続写像の全体 Ω(Y) に
compact-open位相をいれたものは H-space の例である。
ここでS^1 は単位円である。
Ω(Y)は基点のある位相空間と基点を保つ連続写像のなす圏 Top_*
からそれ自身へのfunctorであるがこれはadjointを持つ。
つまり任意の X に対して Hom(S(X)、Y) = Hom(X, Ω(Y))
となるS(X) が存在する。よってS(X)から Y への基点を保つ
連続写像のホモトピー類は群になる。X がn次元球面のときは
これは(n+1)-次元ホモトピー群そのものである。
---------------------------------------------------------
S(X)とはXの被約懸垂(reduced suspension)と呼ばれるもので
X×Iにおいて X×0 と X×1 と*×Iを同一視したもの。
ここで I は単位区間 [0, 1]。
Xが球面S^nのときはS(S^n)はS^(n+1)と同相になる。
113 :
132人目の素数さん:04/06/10 17:28
496
114 :
132人目の素数さん:04/06/18 03:59
434
115 :
132人目の素数さん:04/06/27 12:28
337
116 :
132人目の素数さん:04/06/29 12:33
単連結な有限単体複体のホモトピー群を計算するアルゴリズムは示されている。
(単連結でなければ2次元以上のホモトピー群は可換といえども
有限生成とは限らないので、何を出力すべきかが分らない。)
しかし実用的計算に耐えるアルゴリズムは知られていない。
117 :
132人目の素数さん:04/06/29 20:44
>>116 本当? 適当な論文を教えてもらえると嬉しい。
>>117 随分以前の Ann/of Math に書いてあった。
著者名等詳細忘れた。
119 :
132人目の素数さん:04/07/01 18:19
球面写像は何処まで調和写像で実現されているか?
(微分幾何学とのダブルポスト。
>>94>>97 有理ホモトピーは、安定ホモトピーでは殆ど意味がない。
非安定でこそ考えて意味がある。
サリバンーモルガンーキレンー(後忘れた)の
ケーラー多様体の有理ホモトピー型の定理など。
121 :
132人目の素数さん:04/07/08 07:49
122 :
132人目の素数さん:04/07/11 00:16
>>120 Deligne-Griffiths-Morgan-Sullivan,
Real homotopy theory of Kahler manifolds,
Inventiones Math. 29 (1975) 245-274.
123 :
132人目の素数さん:04/07/12 07:39
>>122 間違えた。 Deligne だった。失礼 1
124 :
132人目の素数さん:04/07/23 07:49
age
125 :
132人目の素数さん:04/07/26 23:50
最近この分野では
フランス学派の発表が多いようだが・・・・
(多いからといってよいとは限らないが)
126 :
132人目の素数さん:04/07/28 05:07
複素解析葉層の分類空間のホモトピーはBottなどが研究していたが
現在どこまで分かっているのか?
127 :
132人目の素数さん:04/08/05 22:22
(コンパクト)リー群のホモトピー群はどこまで?
128 :
132人目の素数さん:04/08/10 06:24
等質空間のホモトピーは?
129 :
132人目の素数さん:04/08/16 15:03
ナンデモ良いからホモトピー群計算してみて
130 :
132人目の素数さん:04/08/17 19:56
単連結な一般型代数曲面のホモトピー群は?
131 :
132人目の素数さん:04/08/24 09:48
160
132 :
132人目の素数さん:04/08/24 10:48
133 :
132人目の素数さん:04/08/31 16:54
208
134 :
132人目の素数さん:04/09/01 12:37
135 :
132人目の素数さん:04/09/07 14:29
215
136 :
132人目の素数さん:04/09/12 08:25:18
912
137 :
132人目の素数さん:04/09/12 10:23:08
コボルディズム群はどう言う空間のホモトピー群になるか知っているかね。
君たち。
138 :
132人目の素数さん:04/09/17 19:13:20
898
140 :
132人目の素数さん:04/09/17 19:31:53
>>139 Thom 空間 MSO, MO (のホモトピー群)。但し1次元以上に於いて。
141 :
132人目の素数さん:04/09/17 19:45:40
コホモトピーって(ホモトピーが求まったあと最後に埋まる升目とかでなくて)
重要な意味ってあるの?
( ・∀・)つ〃∩ ヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェーヘェー
143 :
132人目の素数さん:04/09/17 20:45:07
144 :
132人目の素数さん:04/09/23 01:55:40
610
>143
殆ど、想像通りで、
π^n(X)=[X,S^n]
π_nとは違って、群になったり成らなかったりするひねくれ物。
あんまりコホモトピー群の性質はしらないなぁ。
146 :
132人目の素数さん:04/09/25 14:39:33
>143
殆ど、想像通りで、
想像と全然違っていたな。
147 :
132人目の素数さん:04/09/25 14:41:36
しかしエロい名前の数学だな、世間でなんと言われている
ことであろう。
ホモロジスト、やらないか
149 :
132人目の素数さん:04/09/30 10:35:49
623
150 :
132人目の素数さん:04/10/05 20:19:30
640
151 :
132人目の素数さん:04/10/11 04:29:41
358
あぼーん
153 :
LettersOfLiberty ◆rCz1Zr6hLw :04/10/11 12:21:48
Re:>152 お前何考えてんだよ?
あぼーん
155 :
LettersOfLiberty ◆rCz1Zr6hLw :04/10/11 12:40:34
Re:>154 お前は他にすること無いのか?
249
157 :
132人目の素数さん:04/10/22 17:58:55
代数的 K 理論などともあいまって、相当計算されている。
K_3 (Z) はご存知だろうな。
159 :
132人目の素数さん:04/10/30 19:31:27
104
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
管理者不在スレッド削除要請 管理者不在スレッド削除要請 管理者不在スレッド削除要請
(省略されました・・全てを読むにはここを押してください)
 ̄ ̄
161 :
working woman:04/11/01 23:24:25
>>158 そんなのとご存じないのかしらん。
Bass じゃ無い事だけは確かよ。
162 :
king499:04/11/01 23:27:29
workingさん使ってください。
|二二二二二二二二二二二二二
| | | | |
| | | | |
| | | | |
| | 人 | |
| | .( ) | |
.//|  ̄ | |
// .| | |
// .| | |
// .| | |
_______//___.|___________|__|_________
\ . ̄~~| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄'~| ̄ /
| |\ ____|__________|__ | |
| | \ | | / | |
(省略されました・・全てを読むにはここを押してください)
163 :
132人目の素数さん:04/11/01 23:29:56
π_100(s^2)
164 :
132人目の素数さん:04/11/01 23:33:26
/⌒ヽ, ,/⌒丶、 ,-
`,ヾ / ,;;iiiiiiiiiii;、 \ _ノソ´
iカ / ,;;´ ;lllllllllllllii、 \ iカ
iサ' ,;´ ,;;llllllllllllllllllllii、 fサ
!カ、._ ,=ゞiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiii!! __fカヘ.
/ `ヾサ;三ミミミミミご彡彡彡ミヾサ`´ 'i、
i' ,._Ξミミミミミミき彡/////ii_ |
| ;カ≡|ヾヾヾミミミミミぶ、//巛iリ≡カi |
| iサ |l lヾヾシヾミミミミり|ii//三iリ `サi |
| ,カ ,カll|l l lヾリリリリリ川川|爪ミミiリllカ、カi |
| ;iサ,サ |l l l リリ川川川川|爪ミミiiリ サi サi |
| iカ ;カ, |l l リリリリ川川川川l爪ミミilリ ,カi カi |
| iサ ;サ, |リ リリ川川川川川l爪ミミiリ ,サi サi |
| iサ ;iカ, | リ彡彡川川川川|爪ミミiリ ,カi :サ、 |
,i厂 iサ, |彡彡彡彡ノ|川川|爪ミミリ ,サi `ヘ、
,√ ,:カ, |彡彡彡彡ノ川川|ゞミミミリ ,カi `ヾ
´ ;サ, |彡彡彡彡川川リゞミミリ ,サi
;カ, |彡彡彡彡リリリミミミシ ,カi
,;サ, |彡彡ノリリリリミミミシ ,サi
;メ'´ i彡ノリリリリリゞミミシ `ヘ、
;メ ヾリリリリノ巛ゞシ `ヘ、
;メ ``十≡=十´ `ヘ、
┃ ┃
| |
/ \
/ \
/ \
165 :
working woman:04/11/01 23:38:37
π_100(s^2) = π_100(s^3)
166 :
working woman:04/11/01 23:40:50
>>165 そのくらい後存知だわよね。
それに π_100(s^3) なら、セールスペクトル系列を用いてある程度計算できることも。
167 :
132人目の素数さん:04/11/06 15:31:57
630
168 :
132人目の素数さん:04/11/12 13:54:17
519
169 :
132人目の素数さん:04/11/12 15:04:00
630までだったのが、519になったのは
計算が間違っていたと言う事か?
170 :
132人目の素数さん:04/11/14 17:15:38
そうです。
171 :
132人目の素数さん:04/11/19 07:24:03
998
172 :
132人目の素数さん:04/11/24 17:53:21
428
173 :
132人目の素数さん:04/12/01 22:29:37
564
174 :
132人目の素数さん:04/12/09 00:29:29
671
175 :
132人目の素数さん:04/12/16 12:03:36
636
176 :
132人目の素数さん:04/12/22 01:02:02
意外と計算されているのが古典群
等質空間のホモトピーは?
178 :
132人目の素数さん:04/12/28 13:13:34
179 :
132人目の素数さん:05/01/01 07:44:24
226
360
181 :
132人目の素数さん:05/02/21 06:08:13
411
182 :
132人目の素数さん:05/03/02 12:52:30
704
183 :
132人目の素数さん:05/03/13 00:01:13
274
184 :
132人目の素数さん:2005/03/23(水) 13:21:12
343
185 :
132人目の素数さん:皇紀2665/04/01(金) 13:54:18
あぼーんあぼーんあぼーんあぼーんあぼーん
186 :
132人目の素数さん:2005/04/17(日) 17:32:46
395
187 :
132人目の素数さん:2005/05/05(木) 11:06:22
766
188 :
132人目の素数さん:2005/05/05(木) 11:10:35
ホモォ?
189 :
132人目の素数さん:2005/05/05(木) 15:45:41
ホモのユートピア、そこは二丁目。
190 :
132人目の素数さん:2005/05/24(火) 07:13:58
982
191 :
808017424794512875886459904961710757005754368000000000:2005/05/24(火) 07:18:23
コルモゴロフ複雑性
192 :
132人目の素数さん:2005/06/21(火) 07:54:25
311
193 :
132人目の素数さん:2005/07/24(日) 01:53:37
749
194 :
132人目の素数さん:2005/07/25(月) 23:02:15
日本人で基本群を研究してる人っている?
オトモダチになりたいです。
195 :
Euclid.Anal.Expert ◆wRpISOr80k :2005/07/25(月) 23:04:33
俺ホモとぴ、ほもろじすき
日本では進んでねーよな
日本は集合論とかは強いみたいだけど幾何学にぜんぜん弱いじゃん
196 :
196:2005/07/25(月) 23:10:21
√(196) = 14
198 :
132人目の素数さん:2005/07/28(木) 18:12:49
199 :
132人目の素数さん:2005/07/30(土) 00:59:36
200-1
「研究」してる人は少ないかもね。
殆ど解明されてる物だからね。
「道具」として利用してる人だと殆どの人が該当する。
201 :
132人目の素数さん:2005/07/31(日) 17:37:08
200まで
>>200 じゃ、チミはほもとぴー群の計算の何を知ってるというのかね?
理解しているアルゴリズムを言ってみそ。
203 :
132人目の素数さん:2005/09/05(月) 18:16:43
age
204 :
132人目の素数さん:2005/09/06(火) 13:39:24
有限群にならないから、計算機による計算は無力?
205 :
132人目の素数さん:2005/09/06(火) 13:52:10
計算は可能なのかな?ホモトピー群を全て計算するのは。
答えが具体的にどの様な方法で解けるかは別にしてさ。
そして、全てに解はあると云う事は示されるの?
206 :
132人目の素数さん:2005/09/07(水) 18:23:45
Lecture on Hardy function by Arthur Whitmann.
koreyome!! soshiteshizuiinifurero!!!!!!
>202
Killing method
Adams SS
アルゴリズムとしてあるのは、このぐらいじゃ?
で、これらは30年ぐらい昔の話
だkらこそ、研究してる人は少ないといったのだが。
208 :
132人目の素数さん:2005/09/16(金) 02:58:59
age
> 207
「ホモろじー群が分かったらホモとピー群は計算出来る」っちゅう理屈ぢゃな。
しかしそれは実用に耐えるアルゴリズムではないわな。
> 205
「ホモとピー群を全て計算」??
「全てに解はある」??
・・・うーん、謎の質問ぢゃ・・・
お主は、代数トポロジーより何よりも、まず数学を最初からやり直しぢゃ!
210 :
132人目の素数さん:2005/09/23(金) 21:04:01
age
>>210 上げんでも宜しい。
だいたい、この「どこまで計算されてますかね?」という(おそらくわざとだと思うが)
下らない問題設定をする奴の気が知れない。どこまででもいーでしょ?くっだらない。
ホモトピー群は「どこまで計算されたか?」が問題ではなく、「計算を容易にするための方法の開発」が重要なのだよ。
したがって、偉い順番に並べると
ホモトピー群を定義した奴(Whitehead等)>>>計算アルゴリズムを確立した奴(Adams等)>>>>>>>>>>人が開発した方法を使って計算するだけの奴(名指しは自粛)
のようになる。
212 :
132人目の素数さん:2005/09/27(火) 21:08:33 0
Toda は Toda bracket を創始した。
455
214 :
132人目の素数さん:2005/10/12(水) 15:27:25
age
215 :
132人目の素数さん:2005/10/15(土) 13:50:32
>>212 戸田宏先生は偉いよね。一番弟子の西田吾郎先生も立派な業績を残されているみたいだし。
216 :
132人目の素数さん:2005/11/01(火) 10:26:15
>みたい?
217 :
132人目の素数さん:2005/11/01(火) 11:06:51
>>Toda bracket
Toda Morikazu?!
814
たき
220 :
132人目の素数さん:2005/12/21(水) 14:43:22
age
998
二年二時間。
223 :
132人目の素数さん:2006/01/20(金) 18:45:02
age
king
225 :
GiantLeaves ◆6fN.Sojv5w :2006/01/24(火) 22:59:13
226 :
132人目の素数さん:2006/01/27(金) 20:10:56
空気嫁てないかもしれんが、一応つっこんどく。
>>1 の答えは「常に 0 」でないか?
228 :
132人目の素数さん:2006/01/28(土) 02:11:29
スマソ。スレ初心者で
>>211 を読む前に >226 書いてしまった。
みんな若って二年間放置だったのね。申し訳ないす。
ところでマジ質問なんですが、例えば \pi_2(X) が nontrivial だったら、
かならず \pi_3(X) は消えないですよね?(Hopf 写像 S^3→S^2)
こういう「低い次数のホモトピーからの効果」を消した「本質的に
三次元のホモトピー」についてはなにか知られているんでしょうか?
229 :
132人目の素数さん:2006/01/29(日) 01:38:40
230 :
132人目の素数さん:2006/01/29(日) 01:55:13
>>229 \pi_2 が消えてなかったら \pi_3 も消えない、とか思ってた俺はアホデス。
K(Z, 2) があるじゃないか、、、。
ほんとうにありがとうございました。
773
>228 の後半部分について
> こういう「低い次数のホモトピーからの効果」を消した「本質的に
> 三次元のホモトピー」についてはなにか知られているんでしょうか?
アイレンバーグーマクレーン空間による空間の分解(ポスコニコフ分解)や
ホモトピー群の計算に利用する方法(Killing method)
というものがある。
233 :
132人目の素数さん:2006/02/11(土) 21:54:04
age
330
>Killing method?
殺人方法?
穏やかじゃないな
237 :
132人目の素数さん:2006/03/32(土) 14:34:55
やりかた
238 :
中川秀泰:2006/04/12(水) 22:39:50
kingのやりかた
239 :
GiantLeaves ◆6fN.Sojv5w :2006/04/12(水) 22:51:26
241 :
132人目の素数さん:2006/04/27(木) 23:54:40
ll
119
735
232
king
246 :
KingOfUniverse ◆667la1PjK2 :2006/07/09(日) 17:15:44
247 :
132人目の素数さん:2006/07/09(日) 20:50:53
>211
>偉い順番に並べると
> ホモトピー群を定義した奴(Whitehead等)>>>計算アルゴリズムを確立した奴(Adams等)>>>>>>>>>>人が開発した方法を使って計算するだけの奴(名指しは自粛)
>のようになる。
それ、K大学のK氏に対して面と向かって言ってみな。
248 :
132人目の素数さん:2006/07/09(日) 21:23:02
>>>>(超えられない壁)>>>>河野
249 :
通りすがり:2006/07/09(日) 21:33:56
計算アルゴリズムにこだわるって事は、その程度の数学なのか、
それともアルゴリズムに固執してる奴が、一人低レベルなのか・・・
250 :
KingOfUniverse ◆667lnVUqRY :2006/07/09(日) 21:42:22
251 :
132人目の素数さん:2006/07/09(日) 21:59:26
正直、球面の非安定ホモトピー群はどの程度計算されているのか知りたい気はする。
252 :
132人目の素数さん:2006/07/10(月) 14:22:00
>211,248
そうか。
河野明もマスターの頃は、「トポロジーやってて奴を知らなければモグリだ」と言われる位冴えてたよ。
それに例えば小松彦三郎の事なんかそれこそ「人が開発した方法を使って計算するだけの奴」といって馬鹿にしてたんだが。
うまくすればRavenelやStrciklandに対抗できる位になってた筈なのに、何処で如何間違っちゃったのかな?
253 :
KingOfUniverse ◆667la1PjK2 :2006/07/12(水) 11:49:35
talk:
>>250 ところで、人の脳を読む能力を悪用する奴を潰せ。
254 :
132人目の素数さん:2006/07/12(水) 12:38:02
>>252 文意がつかみにくい。
河野は今は冴えてないといいたいのか?また誰がマスターのころだよ?
小松のことをバカにしてたのはだれ?おまえ?それとも河野?
それに小松彦三郎はトポロジストじゃないだろ?
255 :
132人目の素数さん:2006/07/12(水) 13:56:36
>254
はトーシロか?
256 :
132人目の素数さん:2006/07/12(水) 16:08:19
257 :
132人目の素数さん:2006/07/12(水) 16:14:52
うん
258 :
132人目の素数さん:2006/07/12(水) 16:16:05
やっぱし
259 :
132人目の素数さん:2006/07/12(水) 16:58:26
>255 名前:132人目の素数さん :2006/07/12(水) 13:56:36
> >254
> はトーシロか?
いや、河野の関係者でもないのにファビョってるチョーセン人かも。
260 :
132人目の素数さん:2006/07/12(水) 17:00:02
差別的発言球団!
261 :
132人目の素数さん:2006/07/12(水) 17:00:55
>河野の関係者
なんだそりゃ?
なんの一味だ?
そもそも254はファビョってるのか?
どっちかつーと実名出して粘着してる奴の方が・・・
263 :
132人目の素数さん:2006/07/12(水) 17:08:36
で結局河野明はどうなったんだその後
264 :
132人目の素数さん:2006/07/12(水) 17:10:22
>263 名前:132人目の素数さん :2006/07/12(水) 17:08:36
> で結局河野明はどうなったんだその後
京都の教授じゃなかったっけ?
265 :
132人目の素数さん:2006/07/12(水) 17:18:38
今じゃ誰も知らない
266 :
132人目の素数さん:2006/07/12(水) 17:36:23
>262 :132人目の素数さん :2006/07/12(水) 17:08:19
> どっちかつーと実名出して粘着してる奴の方が・・・
211(=248?)に聞いてみようよ。
267 :
132人目の素数さん:2006/07/12(水) 17:42:50
>何処で如何間違っちゃったのかな?
誰がまちがったの?
268 :
132人目の素数さん:2006/07/12(水) 17:45:45
>267 名前:132人目の素数さん :2006/07/12(水) 17:42:50
> 誰がまちがったの?
211(=248?)によると河野のようだが。
269 :
132人目の素数さん:2006/07/12(水) 18:02:49
そうか
270 :
132人目の素数さん:2006/07/12(水) 18:03:50
でもトポロジーなんてやってて
間違ってない奴なんていないだろ
271 :
132人目の素数さん:2006/07/12(水) 21:35:07
272 :
132人目の素数さん:2006/07/13(木) 13:34:44
そんなやつしらんな
だいたいほもとぴーなんてなんかの
やくにたつのか?
273 :
132人目の素数さん:2006/07/13(木) 16:03:41
>なんかのやくにたつのか?
イタイな
274 :
132人目の素数さん:2006/07/13(木) 17:41:57
ちょと高級なゲームにすぎないだろ
ホモトピー群の計算なんて
それ計算したら偏微分方程式かなんか解けるの?
275 :
132人目の素数さん:2006/07/13(木) 17:44:19
>>274 あんたは、なにかに応用されない数学は認めないのか?
276 :
132人目の素数さん:2006/07/13(木) 17:46:18
ははは
277 :
132人目の素数さん:2006/07/14(金) 14:32:27
>>275 数学の内部でいいからどんな応用があるの?
278 :
132人目の素数さん:2006/07/15(土) 01:32:12
>>274 ちょと低級なゲームにすぎないだろ
偏微分方程式の計算なんて
それ計算したらホモトピー群かなんか解けるの?
279 :
132人目の素数さん:2006/07/15(土) 08:38:43
キングコングの歌
ウッホ ウホウホ ウッホッホ ウッホ ウホウホ ウッホッホ
大きな山をひとまたぎ キングコングがやってくる
こわくなんかないんだよ キングコングは友達さ
火山も 津波も 恐竜も キングコングにゃかなわない
戦えキングコング ぼくらの王者
ウッホ ウホウホ ウッホッホ ウッホ ウホウホ ウッホッホ
頭を雲の上に出し キングコングがやってくる
逃げなくっていいんだよ キングコングは友達さ
嵐も 地震も 怪獣も キングコングにゃかなわない
戦えキングコング 世界の王者
280 :
KingOfUniverse ◆667la1PjK2 :2006/07/15(土) 13:47:53
今ホモトピー群なんかやってる若い奴はいるの?
282 :
132人目の素数さん:2006/07/18(火) 14:06:02
>>278 あったまわるいかきかえ
おまえにはほもとぴーはむいてないわ
283 :
132人目の素数さん:2006/07/18(火) 18:42:26
>>282 トポロジーやってると笑いのセンスが
麻痺するんだ。ついでに数学のセンスも
なくなる。
284 :
132人目の素数さん:2006/07/26(水) 16:14:59
ホモトピーか
昔はやったな
921
200
866
288 :
132人目の素数さん:2006/11/05(日) 14:23:20
646
290 :
132人目の素数さん:2006/12/08(金) 14:57:24
>>1 n<m のまちがいでは?
n>m だったら一点です。
M<n+60 くらいまでは計算されてるようです。
191
三年十二時間。
kage
195