代数学・幾何学・解析学スレッド

1 名前：１３２人目の素数さん mailto:sage [2010/09/09(木) 23:01:34 .net] 板が飛んだから 代数学と幾何学と解析学の話題をここでしよう 348 名前：１３２人目の素数さん mailto:sage [2010/12/23(木) 18:47:26 .net] 要点掻い摘んで話せ 349 名前：１３２人目の素数さん mailto:sage [2010/12/23(木) 18:55:03 .net] >>341 要は或る解空間Aの(a,±b)のような基底が他の或る解空間Bに属する場合と 全くそうでない場合とを考える。 最初に前者の場合を考えて、後者の場合をまとめると 解空間が有限個存在することを示して 解空間全体の交わりに属する解は無限個存在することをいい、 解空間全体の交わりと1つの解空間との間には全単射が存在する ことをいって、矛盾を導く。 350 名前：１３２人目の素数さん mailto:sage [2010/12/23(木) 19:00:48 .net] なにがポイントなのかをはっきりさせながら、通しでたのむ。 351 名前：１３２人目の素数さん mailto:sage [2010/12/23(木) 22:00:10 .net] >>343 一応、あらましを書くと次のようになる。 Pell方程式の1つの一般解を構成するその解(a,±b)を基底と呼ぶ。 そして、基底(a,±b)によって構成される一般解を(a,±b)の解空間と呼ぶ。 最初に1つ基底(a,±b)を固定して定まるその解空間S^1： A^n(a,b)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b) の他に解空間とそれを構成する基底が存在したと仮定する。 基底全体をX、解空間全体をYとする。 Case1)或る基底(c,±d)∈Xがその解空間S^2∈Yとは異なる或る解空間S^3∈Yに属する場合。 (c,±d)、S^2、S^3はそれぞれ(a,±b)、S^1、S^2で置き換えても一般性を失わない。 そして基底(c,±d)の解空間S^2： B^n(c,d)、n∈Nは任意、B(c,-d)=(1,0)、(c,-d)、 を構成し、(a,b)に対して或るm∈Nが存在して(a,b)=B^m(c,d)が成り立ち、S^1が A^nB^m(c,d)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b)、 と表わされることをいう。そして正方行列B∈GL(2;R)に対して或るk∈Nが存在して(a,-b)=B^k(c,d)、 即ち、B^k∈GL(2;R)は正則で、(c,d)=B^{-k}(a,-b)、従ってS^1は A^nB^{m-k}(a,-b)、n∈Nは任意、A(a,-b)=(1,0)、(c,-d) の形で表わされる。 一方、(a,-b)及び(c,d)に対して或るi∈Nが存在して(a,-b)=B^i(c,d)が成り立つから、S^1は A^nB^{m-k+i}(c,d)、n∈Nは任意、A(a,-b)=(1,0)、(c,-d) 及び A^n(a,b)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b) の形で表わされる。故に(a,±b)、（c,±d）∈S^1であって、必然的にm-k+i=0となり、S^1は A^n(c,d)、n∈Nは任意、A(a,-b)=(1,0)、(c,-d) で表わさせる。よって、基底(c,±d)によって解空間S^1つまり B^n(c,d)、n∈Nは任意、B(c,-d)=(1,0)、(c,-d) が生成されることになるが、これはS^2に等しいからS^1≠S^2に反し矛盾。 352 名前：１３２人目の素数さん mailto:sage [2010/12/23(木) 22:01:26 .net] >>344の続き： Case2)任意の基底(c,±d)∈Xがそれによって構成される解空間S^2∈Y とは異なるどの解空間S^3∈Yにも属さない場合。 このときは、Case1の結果に注意すると、すべての1つの解空間Aについて、 Aを包含するような解空間は存在しないと仮定してよい。 そして解空間が有限個存在することを示して 解空間全体の交わりに属する解は無限個存在することをいい、 解空間全体の交わりと1つの解空間との間には全単射が存在する ことをいって、矛盾を導く。 Case1、2からいずれの場合も矛盾する。 故にS^1の他に解空間は存在しない。 353 名前：１３２人目の素数さん mailto:sage [2010/12/24(金) 03:26:29 .net] 掻い摘んで話せ 354 名前：１３２人目の素数さん [2010/12/24(金) 20:09:06 .net] >>334 >つまり(a,b)=A{-1}B(c,d)は成り立つ。 >ここでA{-1}BをB(本当はCでも何でもいい)で置き換えれば >(a,b)=B(c,d)が得られる。 >これはいわんとした主張(a,b)=B^m(c,d)に一致する。 この部分なんですが、A{-1}Bを任意の行列で置換できる理由がわからないのですが A,Bにはそれぞれ条件があるのでA{-1}Bにも一定の条件が必要なように思うのですが 355 名前：１３２人目の素数さん mailto:sage [2010/12/24(金) 20:17:12 .net] >>347 それは「任意の行列で置換」しているのではなく、文字を（必要なだけ議論を遡って）修正する という意味でしょ？ 356 名前：１３２人目の素数さん [2010/12/24(金) 23:34:46 .net] >>348 文字を修正というと、A{-1}BがBのべき乗で表現できるということでしょうか すみません、よくわかっていなそうです 357 名前：１３２人目の素数さん mailto:sage [2010/12/25(土) 00:31:43 .net] >>349 A^(-1)B ってのはある行列なんだからそいつにCと名前をつけることはできるわけだ。 でも、ほんとはCじゃなくてBって書きたい（そういう主張に帰着できるというのがそもそもいいたいことだった）から A^(-1)B の B は名前をミスった、これは最初から別の名前だったことにしようということ。 たとえばBじゃなくDという名前にしようか、そうすると > ほんとは A^(-1)B のことを CじゃなくてBって書きたい っていう部分は 「A^(-1)D のことを Bって書きたい」っていう極自然な主張になるだろ。 358 名前：１３２人目の素数さん [2010/12/25(土) 01:39:37 .net] >>350 多分そこの置き換え部分はわかったと思います 自力で簡単に示してみようと思います まず二つの解(a,b)≠(c,d)を用意し A(a,-b)=(1,0)�@ and A(1,0)=(a,b) B(c,-d)=(1,0)�A and B(1,0)=(c,d) をそれぞれ満たす行列A,Bならば�@�Aより A(a,-b)=B(c,-d) ある行列を左から掛けて A(a,b)=B(c,d) を得る、Aは正則行列だから (a,b)=A^(-1)B(c,d) ここでA^(-1)BをCとおくと (a,b)=C(c,d) ここで C(c,-d)=(1,0) and C(1,0)=(c,d)　を満たすような(c,d)は当然存在するから (a,b)=C(c,d),C(c,-d)=(1,0) and C(1,0)=(c,d)　を満たすCの存在が示された ∃n∈N C=D^n　とすれぱ ∃n∈N (a,b)=D^n(c,d)　を得る すっごくくどい気がしますがこれであってますか？ 359 名前：１３２人目の素数さん mailto:sage [2010/12/25(土) 01:49:41 .net] > ∃n∈N C=D^n　とすれぱ > ∃n∈N (a,b)=D^n(c,d)　を得る 馬鹿馬鹿しいことなんだが、(a,b)=C(c,d) の時点で既に単にn=1として 所期の主張が示されてるんだから、お前がクドいだけだと思うぞ。 360 名前：１３２人目の素数さん [2010/12/25(土) 02:04:39 .net] >>352 あ、そうですね必死になって変形していたので 気づかなかった… ちょっと議題から外れますが 双曲回転行列なるものは一体何を示しているのでしょうか [coshθ -sinhθ] [sinhθ coshθ] たぶんこの形であろうと類推しています このペル方程式の行列と少なからず関係があるらしく 調べたのですがなかなか見つかりません もし知っていたらお願いします 361 名前：１３２人目の素数さん mailto:sage [2010/12/25(土) 02:25:11 .net] ユークリッド空間におけるユークリッド的な回転の、双曲空間における対応物 じゃねーの？ 362 名前：１３２人目の素数さん [2010/12/25(土) 02:34:40 .net] >>354 双曲空間というものがあるとは…知りませんでした 素人の憶測でしかないですが ペル方程式を双曲平面？でみると何かわかりそうですね （直線なんかに変換されそうな気もしますが） 363 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 03:27:05 .net] >>344と>>345を少し訂正： Pell方程式の1つの一般解を構成するその解(a,±b)を基底と呼ぶ。 そして、基底(a,±b)によって構成される一般解 A^n(a,b)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b)　　＊ を(a,±b)の解空間と呼ぶ。 そして、(a,±b)の解空間における＊のAを(a,±b)の解空間の解行列と呼ぶ。 最初に1つ基底(a,±b)を固定して定まるその解空間S^1： A^n(a,b)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b) の他に解空間とそれを構成する基底が存在したと仮定する。 基底全体をX、解空間全体をYとする。 Case1)或る基底(c,±d)∈Xがその解空間S^2∈Yとは異なる或る解空間S^3∈Yに属する場合。 (c,±d)、S^2、S^3はそれぞれ(a,±b)、S^1、S^2で置き換えても一般性を失わない。 そして基底(c,±d)の解空間S^2つまり B^n(c,d)、n∈Nは任意、B(c,-d)=(1,0)、(c,-d)、 を構成し、(a,b)に対して或るm∈Nが存在して(a,b)=B^m(c,d)が成り立って、S^1が A^nB^m(c,d)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b)、 と表わされることをいう。そして解行列B∈GL(2;R)に対して或るk∈Nが存在して(a,-b)=B^k(c,d)、が成り立ち、 (a,-b)≠(c,d)からB^k∈GL(2;R)は正則で、(c,d)=B^{-k}(a,-b)、従ってS^1は A^nB^{m-k}(a,-b)、n∈Nは任意、A(a,-b)=(1,0)、(c,-d) の形で表わされる。 一方、(a,-b)及び(c,d)に対して或るi∈Nが存在して(a,-b)=B^i(c,d)が成り立つから、S^1は A^nB^{m-k+i}(c,d)、n∈Nは任意、A(a,-b)=(1,0)、(c,-d) 及び A^n(a,b)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b) の形で表わされる。従って(a,±b)、（c,±d）∈S^1であって、必然的にm-k+i=0となり、S^1は A^n(c,d)、n∈Nは任意、A(a,-b)=(1,0)、(c,-d) で表わさせる。よって、基底(c,±d)によって解空間S^1つまり B^n(c,d)、n∈Nは任意、B(c,-d)=(1,0)、(c,-d) が生成されることになるが、これはS^2に等しいからS^1≠S^2に反し矛盾。 364 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 03:28:35 .net] Case2)任意の基底(c,±d)∈Xがそれによって構成される解空間S^2∈Yとは異なるどの解空間S^3∈Yにも属さない場合。 このときは、Case1の結果に注意すると、すべての1つの解空間Aについて、 Aを包含するような解空間は存在しないと仮定してよい。 そして基底(c,±d)の解空間S^2 B^n(c,d)、n∈Nは任意、B(c,-d)=(1,0)、(c,-d) を構成し、A(a,-b)=B(c,-d)から(a,-b)=A^{-1}B(c,-d)であって、S^1が A^n*A^{-1}B(c,-d)、n∈Nは任意、A(a,-b)=(1,0)、(a,-b)、 と表わされることをいう。Aは解空間S^1の解行列だから、 A^{-1}B(c,-d)=(a,b)であって、A(a,b)=B(c,-d)=(1,0)=A(a,-b)、 即ちA(a,b)=A(a,-b)から(a,b)=(a,-b)を示して矛盾を導く。 Case1、2からいずれの場合も矛盾する。 故にS^1の他に解空間は存在しない。 365 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 03:48:01 .net] >>346 要約すれば、もとの解空間S^1の他に解空間S^2が存在したとしてそれを構成し、 或る基底(c,±d)∈Xがその解空間S^2∈Yとは異なる或る解空間S^3∈Yに属する場合 と 任意の基底(c,±d)∈Xがそれによって構成される解空間S^2∈Yとは異なるどの解空間S^3∈Yにも属さない場合 とで場合分けしてそれぞれ矛盾を導くとなる。 前者を要約すると、S^2とS^3の基底に着目して、S^3の解行列を考えてつつS^2=S^3を導いてS^2≠S^3に反することをいい矛盾を導く。 後者を要約すると、S^1の基底に 366 名前：ついて(a,b)=(a,-b)を示して矛盾を導く。 重要なのは前者の方だ。 >>356や>>357でもかなり大雑把だ。 [] [ここ壊れてます] 367 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 03:52:21 .net] 大雑把は求めていない。要点を的確に要約したサマリを出せ。 368 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 04:02:53 .net] >>359 要点といわれてもね〜。 もとの解空間とは異なる解空間が存在したとしてそれを構成し、 或る基底がその解空間とは異なる或る解空間に属する場合 と 任意の基底がその解空間とは異なるどの解空間にも属さない場合 とで場合分けしてそれぞれ矛盾を導くとなる。 369 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 04:12:18 .net] >>359 要点をしいていえば、 一般線型群GL(2;R)の群の性質を用いると もとの解空間とは異なる解空間が存在したとしてそれを構成し、 或る基底がその解空間とは異なる或る解空間に属する場合 と 任意の基底がその解空間とは異なるどの解空間にも属さない場合 とで場合分けすればそれぞれ矛盾が導けて一意性が示せる となるか。 まあ、重要なのはGL(2;R)が行列の積について群をなすことだ。 370 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 04:29:06 .net] >>359 >大雑把は求めていない。要点を的確に要約したサマリを出せ。 そういえば、この文自体が矛盾しているなw 要点を的確に要約すると大雑把なものになるぞ。 371 名前：１３２人目の素数さん [2010/12/27(月) 16:06:43 .net] >>361 初歩的な質問で申し訳ないですが、一般線型群GL(2,R)ってのは 実数全体の集合Rの要素を並べた二次正方行列のことですよね？ 372 名前：１３２人目の素数さん mailto:sage [2010/12/27(月) 16:17:15 .net] 要約したら大雑把になるってのは要約ベタっていうんだ。 373 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 00:58:04 .net] >>363 そうだ。 それらは２行の縦ベクトル全体に左から群作用を引き起こすから変換群でもある。 374 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:03:03 .net] >>364 じゃあ、君が上手に要約してくれたまえ 375 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:06:17 .net] >>364 国語のお勉強じゃあるまいし、要約が下手かどうかなどどうでもよい。 そもそも、例え要約しても>>361などでは済まない長さになるだろう。 376 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:10:17 .net] 確かにそうだ。 数行の短い長さでウマく的確には要約出来ない。 377 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:31:23 .net] >>363 ちょっとちがう。 378 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:33:20 .net] >>367 >>362の主張を否定することになるのだから、どうでもよくはない。 そも、長さの問題でもない。 379 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:45:38 .net] >>369 よく読んだら違ってたな。 >>363 一般線型群GL(2,R)ってのは その行列式が0ではないような、実数を成分に持つ二次正方行列全体だ。 しかし、いずれにしろ、これは２行の縦ベクトル全体に 左から群作用を引き起こすから変換群でもある。 そしてリー群、従って位相群でもある。 380 名前：１３２人目の素数さん mailto:sage [2010/12/28(火) 01:58:04 .net] >>370 新しく言葉を導入して示した訳で、むしろこちらが要約するのに困っている。 要約しろといわれても、すぐには出来ない。 381 名前：１３２人目の素数さん mailto:sage [2010/12/29(水) 17:57:41 .net] >>296>>298 ホントに存在しない？ 382 名前：１３２人目の素数さん [2011/01/03(月) 15:01:50 .net] 代数学＝方程式 幾何学＝図形 解析学＝函数 のことだろ？ 383 名前：ノニ [2011/01/03(月) 17:14:07 .net] >>374 それは起源にすぎない。 代数学も方程式に限らないわけだし。 384 名前：猫は作業 ◆MuKUnGPXAY mailto:age [2011/01/04(火) 14:33:34 .net] ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■ このスレは他板・他スレ運営妨害の非常に悪質糞スレの為に ■■■■■■ ■■■■■■■反感を買って終了しました。 皆様のご愛顧有難う御座いました■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ ■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■ 猫 385 名前：１３２人目の素数さん： [2011/01/10(月) 11:09:45 .net] 汎方程式というのを見かけたのですが これは陰関数と同意味なのでしょうか? 386 名前：１３２人目の素数さん： [2011/01/12(水) 02:01:55 .net] 汎方程式というのを見かけたのですが これは陰関数と同意味なのでしょうか? 387 名前：１３２人目の素数さん [2011/01/12(水) 02:36:23 .net] >>374 そもそも代数幾何や解析幾何がある時点で ３つに完全に区切って考えるのがnonsenseであることは明らか。 388 名前：１３２人目の素数さん [2011/01/12(水) 21:23:48 .net] 高校数学でとまっているものです。 ガロアの素人向けの本を読んでいますが、、 「KのF上の自己同型」の意味を教えて下さい。 いろいろ、検索して、「体Kの自己同型」の意味は（たぶん） 理解できましたが、「F上の」の意味がはっきり分かりません。 体Kの自己同型のうち、� 389 名前：ﾌFの自己同型となるもののことでしょうか。 [] [ここ壊れてます] 390 名前：１３２人目の素数さん mailto:sage [2011/01/12(水) 22:32:13 .net] KのF上の（単位的環）自己同型 ＝Kの（単位的環）自己同型でF上自明なもの ＝Kの（単位的環）自己同型でFの元を固定するもの ＝Kの（単位的環）自己同型でそのＦへの制限がF上の恒等写像となるもの 拡大K/Fの自己同型とも言うね。 > 体Kの自己同型のうち、体Fの自己同型となるもののこと そりゃ全部そうだろ 391 名前：ノニ mailto:sage [2011/01/12(水) 22:45:04 .net] KのF上自己同型、もしくはKのF-自己同型とは、 「K/FからK/Fへの自己同型写像」 で、なおかつ 「Kの部分体であるFの元は、必ずそのままFに移すような写像」 のことですね。 f:K/F→K/F ∀a∊F；f(a)=a∊F 392 名前：１３２人目の素数さん mailto:sage [2011/01/12(水) 23:06:14 .net] >>381,>>382 多謝！はっきり分かりました。 たった、３文字にこれだけの意味があったとは・・・。 393 名前：１３２人目の素数さん mailto:sage [2011/01/21(金) 22:06:28 .net] やぎしたひろき 建部賞 柳下浩紀 394 名前：１３２人目の素数さん mailto:sage [2011/01/28(金) 07:42:31 .net] 質問です Gが位相群で（T１）を満たすときGは（T2）であることを示せ 助けてください 395 名前：１３２人目の素数さん mailto:sage [2011/01/28(金) 10:28:14 .net] >>385 反転するだけ 396 名前：１３２人目の素数さん [2011/02/18(金) 19:50:23 .net] ベッセル関数J(x)の積分ってできますか? 具体的には ∫[0,∞]J^2(x)xdx こういう形の積分です あとlim(x→∞)J(x)=0になるのでしょうか? 397 名前：１３２人目の素数さん [2011/02/18(金) 22:32:01 .net] Re[n]>-1/2 -> (log4-2Polygamma(0,1/2+n))/(2pi) None 398 名前：１３２人目の素数さん mailto:sage [2011/02/23(水) 21:10:52.72 .net] 回転放物面を任意の平面で斜めに切った断面って円ですよね？ x^2+y^2-r^2*z=0 a*x+b*y+z+c=0 zを消去して (x+a*r^2/2)^2 + (y+b*r^2/2)^2 + (c*r^2-(a*r^2/2)^2-(b*r^2/2)^2)=0 (c*r^2-...)が負なら円であってますね？ 399 名前：１３２人目の素数さん mailto:sage [2011/02/24(木) 02:17:28.03 .net] はい。 400 名前：１３２人目の素数さん mailto:sage [2011/02/25(金) 22:44:00.64 .net] ttp://www.geocities.jp/uchu_tako/newpage2.html 超微積分 （Super Calculus）　って何なの 401 名前：１３２人目の素数さん mailto:sage [2011/02/25(金) 23:34:21.06 .net] Liemannって誰っていう 402 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 15:00:15.01 .net] グレブナー基底って指数対数の関数に対しては使えないの？ もし使えないなら指数対数を含む多項式のゼロ点を求めるにはどうしたらよい？ 403 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 17:24:16.32 .net] > 指数対数を含む多項式 をどういう意味で言ってるのかが問題だなあ…… 404 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 18:10:54.37 .net] たとえば f=a^x と g=x+d （aとdは適当な定数） の交点をグレブナー基底を使って求めるみたいな 実際にはもっと複雑で適当な変数変換が難しい関数を扱いたいんだけど 405 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 19:04:55.07 .net] >>395 ならもうそれは多項式ではないので、グレブナ基底自体そのままでは考えることも 406 名前：出来ない。 [] [ここ壊れてます] 407 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 19:08:04.59 .net] なんつーか、「多項式」の定義もわかって無いという一番残念な答えでガッカリだわｗｗ ちなみに、多項式環の不定元に指数函数や対数函数を代入したもの というのを考えている人だったときには、指数函数や対数函数と思わずに そのまま不定元として扱えばいいんじゃないかと答えるつもりだった。 あるいは係数に指数・対数が入っているだけの多項式なら 普通に多項式環で考えればいいじゃんと行っていただろう。 408 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 21:40:21.77 .net] 多項式の意味を誤用したのは申し訳ない 聞きたかったのは指数対数関数を含む連立方程式のゼロ点を効率的に求めるグレブナー基底みたいな方法はありますか？ってことなんだけど 409 名前：１３２人目の素数さん mailto:sage [2011/02/26(土) 23:02:29.71 .net] 指数対数の形に拘らず級数展開して形式巾級数環のグレブナ（広中）基底を 計算するというスタンスなら何かできるかもしれない。 よい計算アルゴリズムがあるのかとかまでは知らない。 410 名前：１３２人目の素数さん [2011/03/10(木) 08:08:48.75 .net] 質問です。連立一次方程式をクォータニオンを使って解くメリットがわかりません。 どういうメリットがあるんでしょうか・・・ 411 名前：１３２人目の素数さん [2011/03/10(木) 10:38:19.31 .net] ガロア理論の質問なんだですけど、正規拡大体の定義について分からないことがあります。　 E.アルティンが書いた本によると、｢体Kの拡大体Eがあり、KがEの自己同型写像のつくるある有限群Gの不変体になっているとき、EはKの正規拡大体という｣となっています。　 一方、他の本では、｢EをKの有限次拡大体とする。Kの任意の元xの既約多項式のすべての根がEの元のとき、EをKの正規拡大体という｣となっています。　 この2つの定義は一致するのですか？ 412 名前：１３２人目の素数さん mailto:sage [2011/03/10(木) 13:17:45.55 .net] >>401 自己同型から成る群の作用で不変てことは、 上の体にするために下の体につけ加えた元（＝最小多項式の根）が どれも外へ出ないということだから一致してる。 納得できないなら、まずEをKの代数閉包まで伸ばして考えても同値だ というような命題が大抵の本にはあるはずだから探してみるといい。 たぶん参考に成る。 413 名前：１３２人目の素数さん mailto:sage [2011/03/10(木) 18:49:14.26 .net] アルティンの本ってそんな定義だったっけ？と見直してみたら 確かにそう書いてある。そして正規拡大の定義の直後に 分離拡大であることを証明している。 アルティンの定義は、他の本だと「有限次の分離かつ正規拡大」 （＝有限次ガロワ拡大）に当たるので注意。アルティンがなぜ ガロワ拡大という言葉を使わなかったのかはわからんなぁ 414 名前：１３２人目の素数さん mailto:sage [2011/03/10(木) 19:01:45.30 .net] 確かこのことについて 代数方程式とガロア理論とかいう本に詳しく書いてあったような気がする。 415 名前：１３２人目の素数さん [2011/03/10(木) 21:25:05.59 .net] >>402-404 ありがとうございます。大変参考になりました。 416 名前：１３２人目の素数さん [2011/04/06(水) 14:47:00.93 .net] 位相幾何学と微分幾何学、どちらが偉いですか？ 417 名前：１３２人目の素数さん mailto:sage [2011/04/07(木) 21:54:13.80 .net] 初等幾何学が一番偉いです 418 名前：１３２人目の素数さん mailto:sage [2011/04/22(金) 14:32:52.53 .net] 高木貞次の代数学講義の一章が途中から全然意味が分からないくなるのですけど 分かるようになる本おしえてください。 419 名前：１３２人目の素数さん mailto:sage [2011/04/22(金) 16:12:15.30 .net] 追伸、幾何学のようなやつが分かりません。 420 名前：１３２人目の素数さん [2011/04/23(土) 14:24:25.01 .net] 後期の解析(多変数微積)単位落とした・・・・ まじで多変数関数の微分だら、ベクトル解析だら訳分からなさ杉。 陰数関数定理やら、もう本当に意味不明。 前期も解析(微積)落としたし・・ やっぱり解析の単位って難しいんでしょうか� 421 名前：H [] [ここ壊れてます] 422 名前：１３２人目の素数さん mailto:sage [2011/04/23(土) 14:27:32.89 .net] >>410 おまえにとってはなｗ 423 名前：１３２人目の素数さん mailto:sage [2011/04/23(土) 21:31:55.65 .net] お前が言うならそうなんだろう お前の中ではな 424 名前：１３２人目の素数さん mailto:sage [2011/04/23(土) 21:40:59.92 .net] 岡本さんのパンルヴェ方程式って意味不明なんだけど 425 名前：１３２人目の素数さん mailto:sage [2011/04/23(土) 21:51:27.05 .net] 正[N]角形、正[N+1]角形、正[N+2]角形 ただし、N≧3の整数であり、1辺の長さは1である この3つの図形の面積の和が無理数になるとき、その最小のNを求めよ 未だ誰も解けず 426 名前：１３２人目の素数さん mailto:sage [2011/04/23(土) 22:30:30.80 .net] 普通にN=1だろ 面積がq√3＋r（二重根号） （ただしq、rは有理数）になるから、これが有理数だと仮定して矛盾を導けばいい 427 名前：１３２人目の素数さん mailto:sage [2011/04/23(土) 23:12:26.49 .net] >>415 問題嫁 428 名前：１３２人目の素数さん mailto:sage [2011/04/24(日) 08:10:49.20 .net] ごめんN=3の間違いだ 一番最初のケースだから筆が滑った 一辺1の正三角形の面積が√3/4、正四角系が1、 正五角形が√(25+10√5)/4（要計算）なので、面積の和は S=[√3+√(25+10√5)]/4+1 これが無理数であることを示せばいい。要は[ ]の中が有理数だと仮定して矛盾を導く。 適当に移行したり二乗したりしてれば矛盾が出て来る。 429 名前：１３２人目の素数さん mailto:sage [2011/04/24(日) 12:06:57.65 .net] >>417 正解です 430 名前：１３２人目の素数さん mailto:sage [2011/04/30(土) 19:33:56.84 .net] 単位とるのが難しいというのは ４回休んだら即不可な授業のことをいうのだ 431 名前：１３２人目の素数さん mailto:sage [2011/05/01(日) 16:23:22.86 .net] 〔問題〕 f(x) は [a,b] で非負の函数、g(y) は [c,d] で非負の函数とする。 またX(x) はxの函数、Y(y) はyの函数とする。 積分範囲を a≦x≦b, c≦y≦d とするとき 　∫f(x)|cos(X)|dx･∫g(y)|cos(Y)|dy + ∫f(x)|sin(X)|dx･∫g(y)|sin(Y)|dy 　　　≦ ∫|f(x)|dx･∫|g(y)|dy, を示せ。(ﾌﾞﾘｼﾞｯﾀ) ｷｬｽﾌｨｰ - 高校数学 - ∫積分∫ -047〜049 432 名前：ID:8/lKNVnj [2011/05/07(土) 02:18:10.82 .net] >>420 X(x), Y(y) を修正して X, Y の |cos( )|, |sin( )| は変わらず cos( ), sin( ) ≧ 0 となるようにすると ∫∫ f(x)g(y) cos(X−Y) dx dy ≦ ∫∫ f(x)g(y) dx dy 433 名前：１３２人目の素数さん [2011/05/11(水) 12:24:07.08 .net] 67tasu r 43 434 名前：１３２人目の素数さん [2011/05/14(土) 08:10:53.84 .net] どっかでみたもんだい 環Rの全ての元xに対して x^3=x が成り立つなら Rは可換である事を証明せよ、ってのが分からない 435 名前：１３２人目の素数さん mailto:sage [2011/05/14(土) 12:01:57.48 .net] x≠0のとき、x(x^2-1)＝0 だから R＝{0,1,-1}になる。 436 名前：１３２人目の素数さん mailto:sage [2011/05/14(土) 12:08:54.58 .net] >>424 え? 437 名前：あんでぃ ◆knJY2tdb7HPk mailto:sage [2011/05/14(土) 12:52:51.98 .net] >>424 え 438 名前：１３２人目の素数さん mailto:sage [2011/05/14(土) 12:53:55.74 .net] >>424 お？ 439 名前：１３２人目の素数さん [2011/05/14(土) 13:51:43.91 .net] >>423 x^2=x じゃないの？？ 440 名前：１３２人目の素数さん [2011/05/15(日) 11:41:46.84 .net] >>424 そのＲは環になってると思う。加法についてはそうだし、可換だからおｋ。 乗法についてもそうだが、更に可換だからこれは可換環。 更にイデアルは0だけ。空集合ではない。 と、乗法で「可換」と言えるのは、Ｒは整数環の部分環になっていると言うことだ。 多分ね。 と勝手に考察した 441 名前：１３２人目の素数さん [2011/05/15(日) 12:46:26.35 .net] そうか、二項演算はＲ×Ｒ→Ｒだから、加法については群になってないね。 1+1＝？だし。-1も同様。乗法については可換群になってるのか。 と言うことは、環ではないということか。 逆元は自分自身で、単位元は1。そしてゼロはそれだけだと自明な群、 ±1を含めると、ker(*)になっている。イデアルではない。なぜなら環ではないから。 442 名前：１３２人目の素数さん [2011/05/15(日) 14:42:01.45 .net] と言うことはやはり>>428の言うとおり、ｘ＾2+（-1）＝0じゃないの？となる。 443 名前：１３２人目の素数さん mailto:sage [2011/05/16(月) 06:10:24.61 .net] 群Gの全ての元xに対して x^2=x が成り立つなら Gは可換である事を証明せよ、ってのならよくある問題 444 名前：１３２人目の素数さん mailto:sage [2011/05/16(月) 06:22:00.99 .net] それってG={e}になるだけちゃうんか 445 名前：１３２人目の素数さん mailto:sage [2011/05/16(月) 06:24:29.38 .net] ごめんx^2=1だった 446 名前：１３２人目の素数さん [2011/05/16(月) 07:04:36.26 .net] x^2=x で良いんだよ。 ブール環のことでしょ？ 447 名前：１３２人目の素数さん mailto:sage [2011/05/16(月) 07:27:31.56 .net] 群Gの全ての元xに対して x^2=1 が成り立つならGは可換である 単位元を持つ環Rの全ての元xに対して x^2=x が成り立つならRは可換で 全ての元xに対し2x=0となる 448 名前：１３２人目の素数さん mailto:sage [2011/05/16(月) 09:07:15.99 .net] >>424 零因子はどこへ？ 449 名前：１３２人目の素数さん mailto:sage [2011/05/16(月) 20:12:18.43 .net] そんなものは環の外へ飛んでいきました 450 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 20:24:25.80 .net] >>436 >単位元を持つ環Rの全ての元xに対して x^2=x が成り立つならRは可換で 単位元の無い環だとどんな反例あるのか教えてください 451 名前：１３２人目の素数さん [2011/05/17(火) 22:22:34.26 .net] 436じゃないが例えば、 単位元がない環では任意の2元について、 ab≠aが成り立つ。 a^2＝aが任意の元で成り立つと仮定。 (a＋b)^2＝(a＋b)から ab＋ba＝0だが、 ab≠aより、 a＋ba≠0 このときa＋b＝0ならば、 b＝-aなので 0≠a＋ba＝a＋(-a)a＝a-a^2＝a-a＝0で矛盾。 つまりa^2＝aが任意の元で成り立つという命題が成り立たない。 452 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 22:32:40.16 .net] は？ 453 名前：１３２人目の素数さん [2011/05/17(火) 22:32:49.31 .net] 訂正。 任意の2元について、ab≠aが成り立つ。 a^2＝aが任意の元で成り立つとき、 bがaの加法に関する逆元ならb＝-aで、 a(-a)＝-a^2＝-a≠aからa≠0。 (a＋b)^2＝(a＋b)からab＋ba＝0だが。 a＋b≠0であるため、a＝-aが示せず、 可換環が示せない。 454 名前：１３２人目の素数さん [2011/05/17(火) 23:02:17.41 .net] >>441 僕が>>440を書きました。 また、>>424も僕が書きました。 他の僕の書き込みとして、 '('と')'と'→'を使った論理式の総数が、 論理式の長さをn、命題変数の種類をmとしたときに、 何通り作られるのかという話題に関するものがあります。 455 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:08:23.02 .net] つまり何の役にも立たんレスだ、と。 456 名前：１３２人目の素数さん [2011/05/17(火) 23:10:22.09 .net] >>444 いえ、一方で>>443のレスも私です＾＾。 457 名前：１３２人目の素数さん [2011/05/17(火) 23:11:00.27 .net] >>444 アンカーミス >>443ではなく>>442でした＾＾；。 458 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:12:24.99 .net] いや、このスレ全部俺の自演乙 459 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:16:18.80 .net] >>446 つまり何の役にも立たんレスだ、ということですね。わかります。 460 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:16:58.64 .net] >>443 だから、とりあえず零因子がどこへ行ったのか教えてよ。 461 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:26:36.40 .net] ＞任意の2元について、ab≠aが成り立つ これどうやって証明するの？ 462 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:34:27.69 .net] 零因子なんて考えて何の意味があるの。 463 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:37:21.33 .net] ひょっとして、 ab＝a と仮定すると b＝1 となって、単位元を持たないことに矛盾するから とでも言いたいのではなかろうな 464 名前：１３２人目の素数さん [2011/05/17(火) 23:45:33.72 .net] それだとa≠0を仮定しないとならない。 465 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:50:39.19 .net] 整数を成分とする2x2行列全体のうち、第2列が偶数になるもの全体を考えると、 単位元を持たない非可換の部分環になる、 a 2b c 2d　　←こんなもの全体 ここでXとして 1 0 0 0 Yとして 1 0 c 2d とすると, c dが何でも　XY=Xだな。 466 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:52:21.48 .net] 第3行の成分がすべて0の3x3行列の成す環は単位元を持たない Aを左上の2x2部分は任意、他は0の行列 Bを左上の2x2部分は単位行列、他は0の行列 こうすればAB=Aが成り立つ 467 名前：１３２人目の素数さん mailto:sage [2011/05/17(火) 23:55:51.76 .net] おお、よく思いつくもんだな… 468 名前：１３２人目の素数さん mailto:sage [2011/05/18(水) 00:14:02.76 .net] >>451 少なくとももとの問題の解答に使うという意味はあるね。 469 名前：１３２人目の素数さん [2011/05/24(火) 13:54:16.04 .net] 東京神奈川埼玉千葉茨城栃木群馬山梨緑 470 名前：のカーテン：ゴーヤなどツル性植物 で日よけ　エアコン使用抑える効果期待も　／山梨 毎日新聞 5月24日(火)12時47分配信 　福島第１原発の事故を受けて節電の必要性が高まる中、窓の外側をゴーヤ やアサガオなどツル性の植物で覆って日よけにする「緑のカーテン」が、県 内でも注目を集めている。うまく育てれば室温を下げる効果があるため、電 力消費量が多いエアコンの使用を抑える効果が期待されている。【岡田悟】 　山梨環境カウンセラー協会の城野仁志事務局長によると、緑のカーテンは 約１０年前に東京都内で始まり、ＮＰＯ法人「緑のカーテン応援団」（東京 都）の活動を通じて全国に広がった。 　植物の葉は主に裏側から水蒸気を発する。この「蒸散」の働きにより、葉 の表面温度が４０度の時でも、裏側は２９度程度になる。このように、葉自 [] [ここ壊れてます] 471 名前：１３２人目の素数さん mailto:sage [2011/05/29(日) 17:54:31.23 .net] 杉浦解析�TのP169の１，２行目について質問 Ｒ＝supＡがＲ∈Ａの場合だってあると思う だったら２行目一番右の ｜ｚo−a｜<Ｒ は ｜ｚo−a｜≦Ｒ ではなろうか？ 472 名前：１３２人目の素数さん mailto:sage [2011/05/29(日) 18:08:37.28 .net] ちなみに ｜ｚ−a｜<｜ｚo−a｜≦Ｒ すなわち ｜ｚ−a｜<Ｒ ⇒…⇒…⇒ ｚ において絶対収束する から修正（？）しても証明には影響しないかと思われます 473 名前：１３２人目の素数さん mailto:sage [2011/05/29(日) 19:05:11.25 .net] ていうか<Rを削除すればいいよ 474 名前：１３２人目の素数さん mailto:sage [2011/05/29(日) 20:08:28.24 .net] ３行目冒頭の 「ｚo∈Ｓが存在する」 の理由になるんだろうから 削除するのは都合わるくなーい？ 475 名前：１３２人目の素数さん mailto:sage [2011/05/29(日) 21:12:37.61 .net] わるくなーい。 476 名前：１３２人目の素数さん mailto:sage [2011/05/29(日) 21:37:38.95 .net] sakuzyo ha akimahen 477 名前：１３２人目の素数さん mailto:sage [2011/05/30(月) 09:56:37.69 .net] 「≦Ｒ」が正しいように思われる P170例４下にあるとおり 「収束円周上では整級数は収束することも発散することもある」 収束する場合とは >>459「Ｒ＝supＡがＲ∈Ａの場合」 です なお、証明の文脈上、削除はできません 478 名前：１３２人目の素数さん mailto:sage [2011/05/30(月) 11:33:03.10 .net] いや削除できるし 479 名前：１３２人目の素数さん mailto:sage [2011/05/30(月) 12:01:24.20 .net] 修正液で削除できる 480 名前：１３２人目の素数さん mailto:sage [2011/05/30(月) 13:02:39.92 .net] Aが有界でないときは<Rと書いた方がいいので、≦Rと書くのも味が悪い よって削除が適当 481 名前：１３２人目の素数さん mailto:sage [2011/05/30(月) 14:12:13.48 .net] Aが稠密か稠密でないかを抜きにしてるので 残したほうがずっと簡単かと思いましたが そういうスマートさも必要ですね 482 名前：１３２人目の素数さん mailto:sage [2011/05/31(火) 20:08:55.19 .net] 記号Rに対しては 前ページにあるようにR≦+∞と指示してもいいけど 実数に対してはP19（3．3）にならわんといかんね 483 名前：１３２人目の素数さん mailto:sage [2011/06/10(金) 21:42:36.56 .net] 杉浦解析�TのP173の証明１行目、収束半径がF(z)とf(z)で一致する説明が よく分かりま千円 定理2.4は 「一方の整級数を微分したら他方になるから同じ収束半径を持つ」 という証明ではなかったゆえ 私の考え休むにニタリ 今回は定理2.4の証明を真似しつつ 証明の往路で ｜z−a｜＜R'より｜z−a｜は有界 したがってある自然数n0が存在して n≧n0であるすべてのnに対し ｜z−a｜＜n＋1 証明の復路で P169定理2.2より \[ \sum_{ 484 名前：n \geq 0} (n+1)$(z-a)^n$ \] の収束半径は1 など一部しながら済ませんぬ この本ではときおり P83命題1.2の証明がP120，5行目（5.3）によっているがごとく 後になってから意味がとおることあり ここのより良い読み方あれば自慢しつつ示せれ [] [ここ壊れてます] 485 名前：あんでぃは存在 ◆AdkZFxa49I [2011/06/10(金) 22:13:31.41 .net] 頑張ってください。 あんでぃ 486 名前：１３２人目の素数さん mailto:sage [2011/06/11(土) 00:40:06.24 .net] おまえら万年コントの糞コテや 読みもしない分からんチンは お呼びじゃないんであげんでいいよ 487 名前：あんでぃは存在 ◆AdkZFxa49I [2011/06/11(土) 09:44:03.50 .net] そうですカ。 あんでぃ 488 名前：１３２人目の素数さん mailto:sage [2011/06/14(火) 13:52:08.20 .net] みんな、ダルブーの定理、自分で証明できるんですか？ ダルブーの定理を仮定すれば、「リーマン可積分条件⇔上積分＝下積分」も導かれるのは何でもないことですが… 489 名前：１３２人目の素数さん mailto:sage [2011/06/14(火) 14:16:58.40 .net] 何も見ないで証明全部書けって言われると大変だが、 何やってるか、やろうとしてるか、証明読めばだいたい わかるだろ。不自然なことは何一つやってない。 たぶん、あなたはεδ論法が「本当には」わかってない。 直接は関係ないが、一様連続とかも「わかってない」のだろうな。 490 名前：１３２人目の素数さん mailto:sage [2011/06/14(火) 20:18:23.04 .net] 駄話には 待ってましたと受け答えにも 花が咲き ネタが無いなら書き込むな 491 名前：１３２人目の素数さん mailto:sage [2011/06/14(火) 20:19:11.76 .net] オマエガナー 492 名前：１３２人目の素数さん mailto:sage [2011/06/19(日) 23:32:54.99 .net] リーマン積分の定理か ふつーの定理だな 493 名前：１３２人目の素数さん mailto:sage [2011/06/21(火) 01:54:52.80 .net] 非可換環の場合でも極大イデアルは両側イデアルになるの？ 今日1日中考えてたけどわからなかった・・・ 494 名前：１３２人目の素数さん mailto:sage [2011/06/21(火) 05:39:48.13 .net] のー。 495 名前：あんでぃはストーカー ◆AdkZFxa49I [2011/06/23(木) 19:45:43.63 .net] あんでぃ 496 名前：猫 ◆MuKUnGPXAY mailto:age [2011/06/23(木) 21:16:29.98 .net] 猫 497 名前：あんでぃはストーカー ◆AdkZFxa49I [2011/06/23(木) 21:20:59.34 .net] あんでぃ 498 名前：１３２人目の素数さん [2011/07/01(金) 09:18:17.46 .net] 私も微積の試験勉強するよ、と思ったらいきない分からんｗｗ！ 杉浦の解析入門の第２章　命題１．３　３）の証明で 「定理�T．６．６と命題１．２により」ってあるけど 命題１．２は何のためにことわってるのか そのココロの部分が解らん １）の証明で使ってないし 要らんの違うのん？ どうか頭悪い私に教えてくだしい！ 499 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 10:09:14.37 .net] Yahoo!知恵袋(やふーちえぶくろ)と間違(まちが)えて2ちゃんねるに来(き)ちゃったのかな？ Yahoo!知恵袋(やふーちえぶくろ)はこっちだよ？ chiebukuro.yahoo.co.jp/ 500 名前：１３２人目の素数さん [2011/07/01(金) 10:23:55.65 .net] ＞2ちゃんねるに来(き)ちゃったのかな？ 2ちゃんねるのプロの方ですかｗｗｗ？ Yahoo!知恵袋じゃさすがにムリだろ （煽りのレベルとしてもなｗｗｗ） 答えれる人は他にいるだろうから 本持ってなくて参照できない 石村マスターの>>486は こんなとこでお門違いにガンバンなくてもイイゾ 501 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 11:10:07.51 .net] あ？石村マスターなめんなよカス ついでにマセマも読んでるから最強だぜ俺 502 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 14:26:28.82 .net] (f(t+h)-f(t))=f'(t)+δ(h) <== 命題１．２ f'(t)g(t+h)+f(t)g'(t)+δ(h) (g(t+h)+f(t)) -->f'g+fg' 定理I.6.6 503 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 14:26:52.36 .net] (f(t+h)-f(t))=f'(t)+δ(h) <== 命題１．２ f'(t)g(t+h)+f(t)g'(t)+δ(h) (g(t+h)+f(t)) -->f'g+fg' 定理I.6.6 504 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 20:52:19.59 .net] ｔで微分可能とされる g について 命題１．２のおかげで右辺の g(t+h) を 　g(t+h) --> g(t) 　(ｈ → 0 ) とできるんだよ 関連はP55の命題6.5のa）な >>489-490 （まじ頭大丈夫か？） お前らの書き込み見てると 最初は馬鹿にして笑ってられたけど 最近はむしろ不安になることが多いわ 505 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 21:17:27.81 .net] (ｸｽｸｽｸｽ 506 名前：１３２人目の素数さん mailto:え [2011/07/01(金) 21:18:52.37 .net] くすくすくす 507 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 22:57:53.97 .net] >>491　のような馬鹿は無視 508 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 23:06:15.52 .net] んで、専門書読めない>>494みたいなカスばっかが スレに残っちゃうｗｗｗ 509 名前：１３２人目の素数さん [2011/07/01(金) 23:19:24.98 .net] >>489 ＞(f(t+h)-f(t))=f'(t)+δ(h) <== 命題１．２ 　　　　　　　　　　　　　　　　　　　　　↑ 　　　　　　　　　　　　　この論理くっそワロ多ｗｗ　 しかも「大事なこと（？）だから２度書いた」のか？ ｵﾏｴﾉ数学力､ｽｹﾞｰﾅｱw 510 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 23:20:29.84 .net] (ｸｽｸｽ 511 名前：１３２人目の素数さん mailto:really? [2011/07/01(金) 23:39:29.99 .net] (f(t+h)-f(t))/h=f'(t)+δ(h) <== 命題１．２ のミスタイプじゃないの これぐらい　補って呼んでやれよ　低脳くん 512 名前：１３２人目の素数さん mailto:really? [2011/07/01(金) 23:42:25.23 .net] バカは無視したほうがいいよ f'(t)g(t+h)+f(t)g'(t)+δ(h)＿１ g(t+h)+δ(h)＿１f(t) -->f'g+fg' 定理I.6.6 と書いたほうがいいけど　まあ　面倒だよな 513 名前：１３２人目の素数さん mailto:sage [2011/07/02(土) 00:01:28.13 .net] >>498 ヲイヲイ、どうやらまとめて真性らしいな んなことは察しはついてるが これはそういう話じゃないんだがな 条件でｇはｔで当たり前に微分可能なんだぜ ┐(´ｰ｀)┌ ｵﾏｴﾗﾆﾊﾏｲｯﾀﾈ♪ 514 名前：１３２人目の素数さん mailto:sage [2011/07/02(土) 00:19:43.37 .net] (ｸｽｸｽ 515 名前：１３２人目の素数さん mailto:sage [2011/07/02(土) 00:20:13.19 .net] ちょｗ、ちょっと気になることがｗｗ >>499 おまえ、まさか、命題１．２の証明中にある その微分必要十分性の表記法を参考にするのが >>485にある ＞命題１．２は何のためにことわってるのか の答えだという主張なわけ？？？ もしそうなら今すぐ数学やめろ、カス 516 名前：１３２人目の素数さん mailto:sage [2011/07/02(土) 00:28:53.89 .net] (ｸｽｸｽｸｽｸｽｸｽｸｽｸｽｸｽｸｽ 517 名前：１３２人目の素数さん mailto:really? [2011/07/02(土) 00:34:13.47 .net] 杉浦氏の本の進み具合によるんだ。　この程度で　だれも　お前の意見は必要ない。 518 名前：１３２人目の素数さん mailto:はは」 [2011/07/02(土) 00:42:31.24 .net] >>502　は梅毒末期の痴呆ににているね　うつるかもおよ 519 名前：１３２人目の素数さん mailto:sage [2011/07/02(土) 07:39:53.37 .net] ＞進み具合によるんだ。 ﾎﾟｶ--ﾝ 数学を装った別の何かを強烈に見せつけられて 誇られてる気分だ それはそれでまぁご自由に、としかいえないわ お前にしたら、きっと、１２０ページの５．３に 何が何でも落とし込みたくって頑張ったんだろうけど ずいぶんな「進み具合」だよ… 少なくともウソを書き込んで馬鹿を 騙そうとしてる様子じゃないんで、もういいわ あんまり人にその「数学」吹聴しない方が いいかも知れんぞ、ぐらいしかいってあげれない じゃな 520 名前：１３２人目の素数さん mailto:sage [2011/07/02(土) 20:58:54.00 .net] (ｸｽｸｽｸｽｸｽ 521 名前：１３２人目の素数さん [2011/07/13(水) 21:02:38.15 .net] 少し前に雑談スレでも出ていたが、 線形代数の解説本に「単体（simplex)」の解説が 載っているのが少ないよな。 「単体（simplex)」は分野的には確かに線形代数の分野だと思う。 522 名前：１３２人目の素数さん mailto:sage [2011/07/13(水) 21:23:04.16 .net] >>508 そうか？　アフィン空間で一般の位置にある点の凸包と見るよりは トポロジカルに考えて組み合わせ論で扱うほうが自然に思うけどな俺は。 523 名前：１３２人目の素数さん [2011/07/23(土) 23:26:31.51 .net] あげ 524 名前：１３２人目の素数さん [2011/07/27(水) 13:50:30.82 .net] L^2[0,∞)の基底とか面倒くせーな 525 名前：１３２人目の素数さん [2011/08/01(月) 16:54:42.25 .net] A_m(x)=1(2mπ≦x<2(m+1)π) A_m(x)=0(x<2mπ 526 名前：or 2(m+1)π≦x) f_nm(x)=A_m(x)*exp(inx)/√(2π) とおけば{f_nm}_(n,m∈Z)がL^2(R)の正規直交系になりそうなのに なんでHermite多項式とか使ってL^2(R)の正規直交系考えるんだ [] [ここ壊れてます] 527 名前：１３２人目の素数さん mailto:sage [2011/08/01(月) 19:51:21.19 .net] >>512 正規直交系を考えたいんじゃなくて正規直交系でもある固有関数系を考えたいんだよ スペクトル分解定理を勉強しろ 528 名前：１３２人目の素数さん mailto:sage [2011/08/13(土) 20:37:39.08 .net] 変分を物理なんかで実用的に扱いたい時のおすすめの定義を教えてくれ ちゃんとした定義がなかなかなくて困ってる… それと、微分の定義からの類推で δf/δy = lim[δy→0] (f(y+δy)-f(δy))/δy と定義したい時ってどんな概念が必要になるかが知りたいんだが 529 名前：１３２人目の素数さん [2011/08/19(金) 19:03:55.85 .net] 物理で実用的に扱いたい時の定義ってのは物理板で聞いた方がいいんじゃ… en.wikipedia.org/wiki/Fr%C3%A9chet_derivative en.wikipedia.org/wiki/G%C3%A2teaux_derivative 変分＝汎関数微分と考えるならば数学にはFrechet微分とGateaux微分の2つの微分がある Frechet微分可能ならGateaux微分可能だけどどっちの微分が考えられること多いんだっけな >δf/δy = lim[δy→0] (f(y+δy)-f(δy))/δy これ、分母が関数だと割り算出来ないから分母を実数とかにしなきゃいけない訳だけど Frechet微分ではノルム ||・|| を使ってδyの代わりに分母を ||δy|| にしている 極限は lim[δy→0] の代わりに lim[||δy||→0] にしている だからFrechet微分ではノルムと極限の考えられるBanach空間という概念が必要になる Gateaux微分ではδyの代わりに τ*δy を考えて分母は δy の代わりに実数 τ にしている 極限を lim[δy→0] の代わりに lim[τ→0] にしている だからGateaux微分では極限だけ考えればいいからBanach空間じゃなくて 位相線形空間であればいいみたいだ…まぁ普通はBanach空間という概念を持ち出せばいいけど ただ実用的に扱うにはこんな定義のリンクだけじゃなくて物理の具体的な問題に対して どう汎関数を与えるかとかも説明しなきゃ駄目だからこの説明じゃ全然足りないね… 530 名前：１３２人目の素数さん mailto:sage [2011/08/20(土) 06:57:10.52 .net] >>514 解析力学の初期は変分法の勉強そののも 最小作用の原理とか、オイラーラグランジュ方程式とか、この辺で、変分法の考え方は身に付くと思うが 531 名前：１３２人目の素数さん [2011/08/25(木) 13:51:27.60 .net] limn→∞∫1/ne＾-xcosxlog(x+n)dx 積分区間は0から∞ わかりますか？ ルベーグ積分の本って具体例少ない… 532 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 15:44:44.92 .net] lim[n→∞]∫[0〜∞](cosx/e^x)(log(x+n)/n)dx なら |(cosx/e^x)(log(x+n)/n)| ≦ x/e^x で x/e^x が [0,∞] 上で可積分だから lim[n→∞]∫[0〜∞](cosx/e^x)(log(x+n)/n)dx =∫[0〜∞](cosx/e^x) * {lim[n→∞] (log(x+n)/n)} dx =∫[0〜∞](cosx/e^x) * 0 dx =0 533 名前：１３２人目の素数さん mailto:sage [2011/08/26(金) 15:46:29.56 .net] |(cosx/e^x)(log(x+n)/n)| ≦ (ax+b)/e^x で (ax+b)/e^x が [0,∞] 上で可積分だから の間違いだった a,bは適当な定数 534 名前：１３２人目の素数さん [2011/08/31(水) 14:44:05.36 .net] f(x)=exp(-x^2)*∫[t:0→x]exp(t^2)dtとおくとき f(x)をxが大きいときにf(x)=o((1/x)^n)+Σ[k:0→n]a_k*(1/x)^kと展開出来ますか？ 出来るならその時の係数a_0〜a_nを教えて下さい 535 名前：１３２人目の素数さん mailto:sage [2011/09/04(日) 14:02:44.59 .net] >>520 f(x) = exp(-x^2) * ∫[t=0〜x] exp(t^2) dt 変数変換を使うと s = x^2-tx　　ds = -xdt　　t = x-(s/x)　　t^2-x^2 = (s^2/x^2) - 2s f(x) = (1/x) * ∫[s=0〜x^2] exp(-2s)exp(s^2/x^2) ds Taylor の定理を使うと (y = s^2 / x^2　　Rn : [0,1]→R) exp(y) = (Rn(y)y^n)/n! + Σ[k=0〜n-1] (y^k) / k!　　1≦Rn(y)≦e (y=0〜1) 536 名前：関数 g[k](s) と数列 a[k] と関数 p(x) を以下のように定義する g[k](s) = s^(2k) * exp(-2s) / k!　　　a[k]=∫[s=0〜∞] g[k](s) ds p(x) = Σ[k=0〜n-1] x^(-1-2k) * (∫[s=0〜∞] g[k](s) ds) = Σ[k] a[k] * x^(-1-2k) f(x) = Σ[k=0〜n-1] x^(-1-2k) * (∫[s=0〜x^2] g[k](s) ds) 　　　 + x^(-1-2n) * ∫[s=0〜x^2] Rn(s^2/x^2) * g[n](s) ds k=0〜n に対して x が十分大きければ g[k](s) ≦ exp(-s) * (x^(2k) * exp(-x) / k!) よって x が十分大きい所で以下の不等式が成り立つ x^(2n) * |p(x)-f(x)| ≦ Σ[k=0〜n-1] ( x^(2(n-k)-1) * ∫[s=x^2〜∞] g[k](s) ds ) + (1/x) * ∫[s=0〜x^2] Rn(s^2/x^2) * g[n](s) ds ≦ Σ[k=0〜n-1] ( x^(2n-1) * exp(-x) * (1/k!) *∫[s=x^2〜∞] exp(-s) ds ) + (e/x) * ∫[s=0〜∞] g[n](s) ds = Σ[k=0〜n-1] ( x^(2n-1) * exp(-x-x^2) * (1/k!) ) + a[n] * (e/x) 最後の辺は 0 に収束するので lim[x→∞] (p(x)-f(x)) / x^(-2n) = 0 ∫[s=0〜∞] s^n * exp(-2s) ds = (n/2) * ∫[0〜∞] s^(n-1) * exp(-2s) ds → ∫[s=0〜∞] s^n * exp(-2s) ds = n! / 2^(n+1) 部分積分を繰り返せば上記の結果が得られ以下のように展開出来る a[k] = (1/k!) * ∫[s=0〜∞] s^(2k) * exp(-2s) ds = (2k)! / (k! * 2^(2k+1)) p(x) = Σ[k=0〜n-1] a[k] * x^(-1-2k) f(x) = p(x) + o(1/x^(2n)) [] [ここ壊れてます] 537 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 01:39:08.26 .net] 笠原先生の微分積分学で、ε-δを表現するのに f(Uδ(x0)-{x0})⊂Uε(a) みたいなのが良く使われてるんだけど、 f(Uδ(x0)-{x0}) って何だ？関数fを元x0を除いたx0のε近傍で考えるってこと？ 538 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 02:22:23.46 .net] 0<|x-x_0|<δ ⇒ |f(x)-a|<ε　を簡潔に表現しただけ 539 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 02:27:06.33 .net] 0<|x-x_0|<δ見て気付いた。 やっぱり点x_0は除いたδ近傍ってことで良かったんですね。 サンクスコクスコ 540 名前：１３２人目の素数さん [2011/09/10(土) 20:54:29.17 .net] 微分積分で極値を求めるときとかに 座標変換で係数行列（ヘッセ行列？とかいうの）を対角化してわかりやすくするらしいんだけど （(x,y)・Ａ・t(x,y)： Aは2次の正方行列 →　(u,v)・T^*AT・t(u,v) ,ax^2+2bxy+cy^2+d →　αu^2+βv^2 + d(α、βはＡの固有値）) 右の式の→が＝になって変換後の式の極値の正負が（極小、極大が）変換前の極値の正負と一致するらしいんだけど なんでそうなるのか頭いいやつ教えてくらさい 541 名前：１３２人目の素数さん [2011/09/10(土) 21:02:11.53 .net] 出来ればぱーにもわかるように書いて 542 名前：１３２人目の素数さん [2011/09/10(土) 21:03:52.55 .net] りんごとみかんでわかりやすくお願いします 543 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 21:11:34.57 .net] シルベスターの慣性法則です 544 名前：１３２人目の素数さん [2011/09/10(土) 21:26:08.73 .net] >>528 詳しくお願いします 545 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 21:34:43.13 .net] 臨界点が極大か極小かそうでないかは（２次のときは）ヘッセ行列の符号で決まる ヘッセ行列は対称行列 対称行列の符号は合同関係で不変（シルベスターの慣性法則） 対称行列は直交行列で対角化出来る、つまり対角行列と合同 よってヘッセ行列の符号は対角化しても変わらず、対角化で臨界点の極値の判定が可能 実際には対角化までやらずに固有値を求めるだけでよい 546 名前：１３２人目の素数さん [2011/09/10(土) 21:50:48.20 .net] 何で、慣性法則という名前が付いてるんだろうね？ 547 名前：１３２人目の素数さん [2011/09/10(土) 21:55:36.40 .net] >>530 行列を掛けても変わらないって事ですか？（符号が） 548 名前：１３２人目の素数さん [2011/09/10(土) 21:56:47.91 .net] 対角化したのが特別じゃなくてええと線形変換させたものも符号が変わらないって事ですか？ 549 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 22:11:09.71 .net] ああ？しばくぞ？ 550 名前：１３２人目の素数さん [2011/09/10(土) 22:32:15.40 .net] 間違えた えっと正則行列による線形変換です 551 名前：１３２人目の素数さん [2011/09/10(土) 22:51:14.55 .net] すんません>>530わかりますた・・・ シルベスターの慣性則がまだがわからないけど・・・ 552 名前：１３２人目の素数さん [2011/09/10(土) 22:53:52.43 .net] 標準化して係数が固有値になって固有値が全て＞０なら変形する前の式の符号も＞０ らしいのかな・・・うんあ 553 名前：ー [] [ここ壊れてます] 554 名前：１３２人目の素数さん [2011/09/10(土) 23:13:19.58 .net] >>530さんの言ってる事今やっとわかりますた・・・ tＴATの符号がＡ（対称行列）の符号と変わらないからそういうことってことですね うんあーやっとわかったすっきりした・・・ 555 名前：１３２人目の素数さん mailto:sage [2011/09/10(土) 23:27:22.93 .net] 環Rが単位元を持ち全ての元xに対してx^3=xとなるならRは可換である これの証明は結局どうなったんだ 556 名前：１３２人目の素数さん mailto:sage [2011/09/11(日) 17:12:48.97 .net] 証明不可能命題のためみんな諦めました 557 名前：１３２人目の素数さん mailto:sage [2011/09/11(日) 18:56:09.06 .net] 解析概論P211下から5行目について 　log(ix-(1-x^2)^(1/2))=log(i sin(π-θ)+cos(π-θ)) 　　　　　　　　　　　　=log(e^((π-θ)i)) 　　　　　　　　　　　　=(π-θ)i であるから 　arg(ix-(1-x^2)^(1/2))=π-θ になると思われます。しかしθは 　-π/2≦θ≦π/2 であるからπ-θは 　π/2≦π-θ≦(3/2)π となりlogの主値 　-π<θ≦π は取りません。 したがって本文下から5行目の 　-i Log(ix-(1-x^2)^(1/2)) は「Log」ではなく「log」表記になると思われる のですが、どうでしょうか？ 558 名前：１３２人目の素数さん [2011/09/12(月) 00:06:53.01 .net] 訂正 　　＞となりlogの主値 　　＞ 　　＞　-π<θ≦π 　　＞ 　　＞は取りません。 は、わたくしの誤記です 　　＞となり、この場合のlogの主値である 　　＞ 　　＞　-π<π-θ≦π 　　＞ 　　＞は取りません。 が、こちらの云わんとするところです それでは御教授お願いします 559 名前：１３２人目の素数さん mailto:sage [2011/09/14(水) 21:10:24.89 .net] もうこの辺のことは判りましたので 教授頂かなくて結構です 560 名前：１３２人目の素数さん mailto:sage [2011/09/16(金) 19:13:11.57 .net] あらそう 561 名前：１３２人目の素数さん [2011/10/29(土) 10:20:45.00 .net] "TBA"って何の略だ 562 名前：１３２人目の素数さん [2011/10/29(土) 10:45:09.25 .net] to be announced 563 名前：猫はゾンビ ◆MuKUnGPXAY mailto:age [2011/10/29(土) 11:46:54.66 .net] To Bakana Ahodomo. 猫 564 名前：１３２人目の素数さん mailto:sage [2011/10/29(土) 12:39:58.79 .net] 哲っちゃんすべってるよ！ 565 名前：１３２人目の素数さん mailto:sage [2011/10/29(土) 18:51:37.49 .net] Tetsuya ha Baka Aho 566 名前：１３２人目の素数さん [2011/10/29(土) 19:36:08.14 .net] too bad appeal 567 名前：１３２人目の素数さん mailto:sage [2011/11/14(月) 21:38:54.10 .net] >>540 kwsk 568 名前：１３２人目の素数さん [2011/11/19(土) 09:04:51.71 .net] 電波テロ装置の戦争(始) エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している オウム信者が地方で現在も潜伏している それは新興宗教を配下としている公安の仕事だ 発案で盗聴器を開発したら霊魂が寄って呼ぶ来た <電波憑依> スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科 <コードレス盗聴> 2004既に国民20%被害250〜700台数中国工作員3〜7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠> 今年５月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部> キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索 569 名前：１３２人目の素数さん [2011/11/19(土) 09:06:05.43 .net] 魂は幾何学 誰か(アメリカ)気づいた ソウルコピー機器 無差別で猥褻、日本は危険知ったかブッタの日本人 失敗作 570 名前：名無しさん＠恐縮です [2011/11/20(日) 04:10:27.87 .net] π^2 / sin^2(π z) = Σ_{m ∈ Z} 1/(z - m)^2　 (πは円周率、z は複素数、Z は整数全体) これはどうやって導くんですか？ 571 名前：１３２人目の素数さん mailto:sage [2011/11/20(日) 05:06:41.66 .net] アールフォルスに書いてあるやろ 572 名前：猫は一匹１８０円 ◆MuKUnGPXAY mailto:age [2011/11/20(日) 12:09:27.03 .net] ホイテカ・ワトソンにも書いてあるんじゃないでしょうか。 猫 573 名前：名無しさん＠恐縮です [2011/11/20(日) 23:14:55.27 .net] 手元には高木貞治くらいしかありません テイラー展開とかで出るんですか？ 574 名前：猫は一匹１８０円 ◆MuKUnGPXAY mailto:age [2011/11/20(日) 23:21:46.24 .net] >>557 ソレはちょっと無理っぽいと思いますが、でも私には判りません。先ずは 自分でその方法でやってみて下さい。 猫 575 名前：１３２人目の素数さん mailto:sage [2011/11/21(月) 00:21:56.10 .net] ええか、左辺と右辺の差は周期が1の整関数や そやから|Im z|→∞のとき0になることを言えばリュービルの定理から 等式が出てくるんや これはアールフォルス先生のやり方や cotの部分分数展開からcosecの部分分数展開を導いて項別微分しても ええけど、その場合にはcotの部分分数展開をこの事実を用いずに 証明せなあかんぞ 手元にある複素関数論ちゅう本には留数定理を使ったやり方が 演習問題として書いてあるけど、これはおすすめできへんな 576 名前：猫は一匹１８０円 ◆MuKUnGPXAY mailto:age [2011/11/21(月) 01:58:17.91 .net] >>559 ああ、そうですか。でもその留数定理を用いる証明というのはどんな感 じなんですかね？ 猫 577 名前：１３２人目の素数さん mailto:sage [2011/11/21(月) 05:41:16.14 .net] f(w)は1位の極a_1,a_2,・・・を除いて正則、|w|→∞のときwf(w)→0をみたす (ただし各a_kは整数ではない) とするとき、留数定理を用いて等式 Σ[n=-∞,∞]f(n) +πΣ_k Res(f,a_k) cot πa_k=0 を示す (原点中心一辺がRの正方形の周上でf(w)・πcot πwの積分を考えR→∞) f(w)={sin 2π(z-w)}/(z-w)^2 (z∈C-Z) としてこれを用いればよろしい 578 名前：１３２人目の素数さん mailto:sage [2011/11/21(月) 08:58:07.50 .net] 1/(sin x)^2 の部分分数分解についての簡単な証明が載っている↓ (Josef Hofbauer) ttp://thales.doa.fmph.uniba.sk/sleziak/vyuka/2010/semtc/02pi26/2695334.pdf 前半では Σ[n＝1〜∞](1/n^2)＝(π^2)/6 を物凄く簡単に証明している。 この計算法の他の使い道として、後半で部分分数分解が挙げられている。 凄く簡単な計算法なので、最初のページから全部読まれることを勧める。 579 名前：名無しさん＠恐縮です [2011/11/23(水) 01:45:52.48 .net] >>562 ありがとうございます。 読んでみます。 580 名前：名無しさん＠恐縮です [2011/12/03(土) 15:41:09.41 .net] >>562 読みました。 面白かったです。 ζ(2)の計算はsinの展開が本質ですね。 教えて頂いた式は楕円曲線の論文を読むのに 必要なものでした。 どうもありがとうございました。 581 名前：１３２人目の素数さん [2011/12/05(月) 07:06:39.67 .net] >>562 驚愕 まさか俺すら余裕で分かるとは・・・ 582 名前：１３２人目の素数さん [2011/12/07(水) 23:26:06.79 .net] p 次の有限体の拡大 F_p(a)/F_p において x^p - x = a^{p-1} は解を持たないと思うんですが、良い証明とかありますか？ 583 名前：１３２人目の素数さん mailto:sage [2011/12/08(木) 03:49:27.56 .net] Hilbertの定理90を使え 584 名前：１３２人目の素数さん [2011/12/08(木) 14:36:41.32 .net] >>562 1=(8/π^2)Σ[k=0,∞]1/(2k+1)^2 からΣ[n=1,∞]1/n^2=π^2/6が導けるのはどうしてですか？ あと、 (2/4^n)Σ[k=0,2^(n-1)-1]1/(sin((2k+1)π/2^(n+1)))^2 を項別にn→∞していいのはどうして？ 585 名前：１３２人目の素数さん mailto:sage [2011/12/08(木) 15:31:24.53 .net] >>568 収束を認めれば、偶奇でわけろ。 586 名前：kyrie ◆Debha1lQgc mailto:sage [2011/12/08(木) 17:35:58.54 .net] 哲学板から来ました。あっちでは有名なコテです。 みなさんレベルが高いですね。あるいは、みなさんの間のレベルの 激しい差異が、低い僕には計りかねてるだけでしょうが。 　初歩的な質問をお許しください。 リーマンの、幾何学の基礎をなす仮説についてを読んでいるのですが、 　線素の始点から等距離にある点の全体が作る(n-1）次の多様体の表現において、 その表現にはそれらの多様体を区別する場所の連続関数を求めればよい、とあります。 この関数は始点から全ての方向に向かって常に増大するか又は減少するかなのですが、 ここでは増大するものと仮定する、とあります。 　したがって始点において極小となるのですが、ここで質問があります。 リーマンは「故にその一次及び二次微分係数が存在すれば、一次微分は零となり 二次微分は負にならぬが、更にそれが常に整数であると仮定する」といってますが 一次微分とはgradのことですか？二次微分とはラプラシアンのことですか？ 直観的には原点から単調増加する曲線が様々に伸びてる感じでしょうか。 587 名前：１３２人目の素数さん mailto:sage [2011/12/08(木) 17:40:42.50 .net] 長文の時点で「わかってねーだろ」 588 名前：１３２人目の素数さん mailto:sage [2011/12/08(木) 18:26:03.51 .net] >>568 ＞1=(8/π^2)Σ[k=0,∞]1/(2k+1)^2 ＞からΣ[n=1,∞]1/n^2=π^2/6が導けるのはどうしてですか？ Σ[n=1,∞]1/n^2 を偶数項と奇数項に分けると見えてくる。 ＞あと、(2/4^n)Σ[k=0,2^(n-1)-1]1/(sin((2k+1)π/2^(n+1)))^2 ＞を項別にn→∞していいのはどうして？ この級数に限っては、そのような操作が可能である。 このことについて、>>562 では2通りの方法で証明されているのだが、 お前は一体、何を読んでいたのだ？ 589 名前：１３２人目の素数さん [2011/12/08(木) 22:53:32.15 .net] >>566 Hilbert90と同じ事だが、 a^{p-1}トレースを計算して 0にならなければ既約多項式となる。 590 名前：１３２人目の素数さん [2011/12/10(土) 16:20:53.22 .net] >>573 ありがとうございます。 Tr_{F_p(a)/F_p}(a^{p-1}) が 0 であることと ある F_p(a) の元 y が存在して a^{p-1} = y - σ(y) が存在すること が同値ですよね。 但し Gal(F_p(a)/F_p)=<σ> です。 これは x^p - x = a^{p-1} が F_p(a) に根を持つことと同値 になるんですか？ 591 名前：１３２人目の素数さん mailto:sage [2011/12/10(土) 23:17:42.48 .net] Gal(F_p(a)/F_p)の生成元がわからんとは言わせんぞ 592 名前：１３２人目の素数さん [2011/12/11(日) 20:12:13.04 .net] 何でこんなところまで下げるのか？ 593 名前：１３２人目の素数さん mailto:sage [2011/12/20(火) 12:37:20.60 .net] ごめんなさい、微分幾何学の平行移動についての質問です。 X3は法線ベクトルで、aijは第二基本形式なのですが、 Xij・X3＝aijとなるのはどうしてですか？ そもそもベクトルXijを接ベクトルX1とX2と法線ベクトルX3の一次結合で表された式から、 この式が導かれるのでしょうか。 594 名前：１３２人目の素数さん mailto:sage [2011/12/21(水) 01:24:07.09 .net] Xijってなんや 595 名前：577 mailto:sage [2011/12/22(木) 18:10:35.75 .net] >>578 二つの添え字を持ったベクトル場です。 596 名前：１３２人目の素数さん mailto:sage [2011/12/22(木) 22:14:56.63 .net] もっと詳しく説明せえや 597 名前：１３２人目の素数さん [2012/01/04(水) 02:02:41.70 .net] >>575 遅くなって済みません なぜか書き込みが出来ませんでした 解決しました。 ありがとうございます。 598 名前：１３２人目の素数さん [2012/01/06(金) 19:15:12.53 .net] 複素数平面上の領域Ｄの各点で解析的な関数ｆ(ｚ)がある時、Ｄ内の１点ｃを展開中心とするべき級数の収束半径ρは、ｃから最� 599 名前：煖ﾟいｆ(ｚ)の特異点までの距離である。 収束円周{|ｚ-ｃ|＝ρ}上には少なくとも１つの特異点が存在する。 べき級数ｆ(ｚ)＝Σ(n＝0〜∞)ａ_n(ｚ-ｃ)^n (ただし、ｚは複素変数)の係数ａ_nが０または正の実数ならば、ｆ(ｚ)の収束半径をρとすると、ｚ＝ｃ＋ρが特異点である。 という主張が教科書にあるのですが、１番最後の主張の理由を教えて下さい。 [] [ここ壊れてます] 600 名前：１３２人目の素数さん [2012/01/06(金) 22:31:36.82 .net] だってそこが一番絶対値でかくなるじゃん 少なくとも1つあるってんだからそこは確定だよ 601 名前：１３２人目の素数さん mailto:sage [2012/01/06(金) 23:05:42.22 .net] >>582 まだやってんのか 602 名前：１３２人目の素数さん [2012/01/07(土) 07:45:34.34 .net] >>583 遅れてすみません 絶対値とは、どの絶対値でしょうか？ >>584 すみません 603 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 09:24:53.72 .net] >>582 昔のことで細かいことは忘れたが、Viなんとかの定理ってあったな。 604 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 09:35:57.13 .net] >>585 f(z) の絶対値 605 名前：１３２人目の素数さん [2012/01/07(土) 10:01:19.94 .net] >>586 ありがとうございます 名前のつけられた定理なのでしょうか…？ >>587 収束円周上において、ｆ(ｚ)は、ｚ＝ｃ＋ρで最大値をとる、という意味でしょうか？ 606 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 10:47:13.40 .net] >>588 Ｖｉｖａｎｔｉの定理 607 名前：１３２人目の素数さん [2012/01/07(土) 10:49:38.86 .net] >>589 ありがとうございました 調べてみます 608 名前：Kummer ◆SgHZJkrsn08e [2012/01/07(土) 11:09:31.22 .net] Vivantiの定理を一瞬で証明しちゃう>>583が凄い 609 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 11:22:11.97 .net] ＞＞Vivantiの定理 一松　「解析学序説」下巻、旧版 にあるよ （新版にあるかどうかは失念しました） 610 名前：１３２人目の素数さん [2012/01/07(土) 11:35:23.89 .net] >>591 >>592 ありがとうございます 611 名前：１３２人目の素数さん mailto:sage [2012/01/07(土) 11:38:29.74 .net] ほれ pc53.math.ntnu.edu.tw/~yclin/09c/gcx/gcx19.pdf 612 名前：１３２人目の素数さん [2012/01/08(日) 07:50:07.39 .net] 積分を行う時、積分路上に１位の極αがあるとき、積分値はαでの主値積分にαでの留数の半分を加えた値になるそうなのですが、何故ですか？ 613 名前：１３２人目の素数さん [2012/01/08(日) 08:16:29.62 .net] 半円で迂回するからです 614 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 10:44:55.08 .net] >>591 ここ二ちゃんには、穴だらけの解答やヒントを たいして考えもせず投げて、あとでキチンとした答えがでてから、 俺も分かっていただの、ワザとヒントにしておいた後は易しいだの、 後だしジャンケンが実に多いw 615 名前：１３２人目の素数さん [2012/01/08(日) 10:53:19.82 .net] おまえの手口なw 616 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 10:59:24.74 .net] >>597 先に解答しても、無駄なことが多い 617 名前：１３２人目の素数さん [2012/01/08(日) 11:08:26.34 .net] >>596 返信ありがとうございます 半円で迂回すると、何故そうなるのでしょうか…？ 解説お願いします 618 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 11:14:21.72 .net] 教えて君か がんばれ>>596 619 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 11:23:12.02 .net] >>600 一周するとリュウ数になる。 半円は半分だから、リュウ数の半分 620 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 11:36:00.67 .net] ｷｬｰﾘｭｰｽｳ 621 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 11:39:39.94 .net] 龍数とは縁起がいい 622 名前：１３２人目の素数さん [2012/01/08(日) 12:36:51.99 .net] 半円ライインテグラルするからさ。。。計算してちょー 623 名前：１３２人目の素数さん [2012/01/08(日) 12:46:23.16 .net] >>602 ありがとうございます 自分なりに考えてみたのですが、合ってますか…？ 積分路ｃ上の１位の極αの近くでｃをｚ＝φ(ｔ)、α＝φ(ａ)と媒介変数表示します。 この時、γ1をαを迂回するような半円、ｃ1を積分路ｃをφ(ａ-ε)で中断した経路、ｃ2を積分路ｃからφ(ａ＋ε)までの経路を省いた経路とすると ∫_ｃｆ(ｚ)ｄｚ＝lim(ε→0)(∫_ｃ1＋∫_ｃ2＋∫_γ1ｆ(ｚ)ｄｚ) ＝∫_ｃｆ(ｚ)ｄｚ 624 名前：のαでの主値積分＋lim(ε→０)∫_γ1ｆ(ｚ)ｄｚ 更に、γ1と反対側の半円をγ2とすると、留数定理より ∫_γ1＋∫_γ2ｆ(ｚ)ｄｚ＝2πｉRes(ｆ:α) で ∫_γ1＝∫_γ2 だから、結局 ∫_γ1ｆ(ｚ)ｄｚ＝2πｉ(Res(ｆ:α)/2) ゆえに ∫_ｃｆ(ｚ)ｄｚ＝∫_ｃｆ(ｚ)ｄｚの主値積分＋2πｉ(Res(ｆ:α)/2) ですか…？ 留数の半分を加える、とありますが 留数の半分に2πｉをかけた値を加えるということですよね…？ [] [ここ壊れてます] 625 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 12:47:29.60 .net] dz/zをz=e^{i\theta}とおいて、 \thetaを0からpiまで線積分するより、 Pi/2まで線積分するほうが、半分になるでしょう 626 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 13:57:04.18 .net] >>597 質問自体が釣りかもしれない2ちゃんで まともな解答を望むのがアホだろ 627 名前：１３２人目の素数さん mailto:sage [2012/01/08(日) 16:51:16.09 .net] >>608 それもある。 意味なくするーされこともある。 628 名前：１３２人目の素数さん [2012/01/14(土) 04:13:51.56 .net] 代数解析と代数幾何はあるけど、解析幾何も幾何解析も聞かないな 629 名前：１３２人目の素数さん [2012/01/14(土) 06:36:57.33 .net] いやあるよ 630 名前：１３２人目の素数さん mailto:sage [2012/01/14(土) 12:31:33.12 .net] むしろないのは 解析代数と幾何代数か？ 631 名前：１３２人目の素数さん mailto:sage [2012/01/14(土) 20:15:58.86 .net] geometric algebra en.wikipedia.org/wiki/Geometric_algebra 同名のE. Artinの本もある geometric analysis en.wikipedia.org/wiki/Geometric_analysis 解析代数は聞かんね 632 名前：１３２人目の素数さん mailto:sage [2012/01/20(金) 14:40:47.41 .net] うい〜っすﾉｼ ○川君見てる〜？？ 633 名前：１３２人目の素数さん mailto:sage [2012/01/20(金) 14:47:53.02 .net] あ？ 634 名前：１３２人目の素数さん mailto:sage [2012/01/20(金) 15:31:33.68 .net] （≧ω≦） 635 名前：１３２人目の素数さん [2012/01/22(日) 15:20:03.30 .net] manko 636 名前：１３２人目の素数さん [2012/01/23(月) 17:55:04.71 .net] 実数値の関数列ｆ_nに対して、 Σｆ_nが収束して、(ｆ_n)'が連続、Σ(ｆ_n)'が一様収束するならば (Σｆ_n)'＝Σ(ｆ_n)' が成り立つ(つまり項別微分可能) ですが、これは複素数値の関数列に対しても言えますか…？一致の定理で言えるような気がするのですが、どうでしょうか…？ 637 名前：１３２人目の素数さん [2012/01/28(土) 23:01:24.50 .net] 南無妙法蓮華経 638 名前：１３２人目の素数さん mailto:sage [2012/01/29(日) 03:54:33.46 .net] 実の場合と同じ証明でええやろ。 講義ではそんな事の証明なんか省略するで普通。 639 名前：１３２人目の素数さん mailto:sage [2012/01/29(日) 09:14:25.73 .net] せやせや 640 名前：名無しさん mailto:sage [2012/01/31(火) 20:29:25.16 ID:???.net] >>618 a,b ∈ Cに対して max(|Re(a)-Re(b)|,|Im(a)-Im(b)|) ≦ | a-b | |a - b| ≦ |Re(a)-Re(b)|+|Im(a)-Im(b)| だから証明不要？ 641 名前：名無しさん mailto:sage [2012/01/31(火) 21:56:04.99 ID:???.net] e? 642 名前：１３２人目の素数さん [2012/02/05(日) 14:46:55.88 .net] 領域Ｄ上で関数項の級数Σｆ_n(ｘ)が一様収束している時、ワイエルシュトラスの二重級数定理より (Σｆ_n(ｘ))'＝Σｆ_n'(ｘ) がなり立ってΣｆ_n'(ｘ)が一様収束する みたいなのですが、 Σｆ_n'(ｘ)が一様収束するから、さらに (Σｆ_n'(ｘ))'＝Σｆ_n''(ｘ)が成り立って、Σｆ_n''(ｘ)も一様収束するということ もワイエルシュトラスの二重級数定理から言えるのでしょうか？ 643 名前：１３２人目の素数さん mailto:uage [2012/02/05(日) 14:54:18.50 .net] 質問すれでやれ 644 名前：１３２人目の素数さん [2012/02/05(日) 15:57:00.07 .net] >>625 すみませんでした 645 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 646 名前：１３２人目の素数さん mailto:age [2012/02/10(金) 03:27:18.75 .net] 代数、幾何、解析なんて何かの便宜上のもの 図書を並べるための分類とか以外に意味はない 647 名前：１３２人目の素数さん mailto:sage [2012/02/13(月) 12:30:56.95 .net] 「とか」は例示が例示されていないものの代表であることの言及 「以外に」は例示されていないものに対する言及 648 名前：１３２人目の素数さん mailto:sage [2012/02/15(水) 03:49:30.13 .net] 雪江明彦さんの代数学の本(三部作のやつ)ってどうなの？ 一巻を見た感じ分かりやすいけど抜けてる内容とかってやっぱりある？ 一巻に組成列＆ジョルダン・ヘルダーの定理とポントリャーギン双対性が書いてないのは把握してるからそれ以外で頼むよ。 649 名前：１３２人目の素数さん mailto:sage [2012/02/15(水) 16:25:14.84 .net] ユークリッド整域って整数環と体上の一変数多項式環と複素整数環以外にあるの？ 650 名前：１３２人目の素数さん mailto:age [2012/02/22(水) 02:24:40.02 .net] 体上のニ変数多項式環とか 651 名前：１３２人目の素数さん [2012/02/22(水) 02:29:16.85 .net] >>631 体上の一変数べき級数環。 付置環。 652 名前：１３２人目の素数さん mailto:sage [2012/02/22(水) 21:26:14.91 .net] >>630 抜けてるのは適宜補えばいいんでない？ いい本とは聞いたが俺は持ってないし買う気もない 653 名前：１３２人目の素数さん mailto:sage [2012/02/23(木) 09:54:02.32 .net] >>634 ありがとう。気が楽になったよ。 654 名前：１３２人目の素数さん [2012/02/24(金) 03:53:17.37 .net] 抽象代数の教科書って何がいいの？ 655 名前：１３２人目の素数さん [2012/02/24(金) 03:59:01.46 .net] >>636 Hungerford 656 名前：１３２人目の素数さん [2012/02/24(金) 04:48:24.10 .net] >>636 lang 657 名前：１３２人目の素数さん [2012/02/24(金) 04:53:05.42 .net] >>636 Artin 658 名前：１３２人目の素数さん [2012/02/24(金) 05:20:22.13 .net] 日本語の代数の本は薄いな。 雪江先生のやつは良いが。 659 名前：１３２人目の素数さん [2012/02/24(金) 07:13:55.82 .net] >>640 その本は知りませんでした 目次とページ数みた限りではなかなか良さそうですね 660 名前：１３２人目の素数さん [2012/02/24(金) 16:04:35.98 .net] 代数学の本について。 「桂」と「雪江」ならどちらの方がいいのでしょうか？ 661 名前：１３２人目の素数さん [2012/02/24(金) 17:06:47.26 .net] 自分で決めろ 662 名前：１３２人目の素数さん mailto:sage [2012/02/24(金) 18:00:50.12 .net] なぜ、大数学者が書いた本は敬遠するのだろうね？ みんながあまり読まない本や新刊を読むのがいいと、 根拠もなく思っているふしがあるようだ。 663 名前：１３２人目の素数さん [2012/02/24(金) 23:09:50.85 .net] >>642 雪江さん良いよ。分かりやすい。 同時並行で堀田さんも読むと面白い(最初の方で加群とかに触れる) 桂は・・・知らない。 >>644 アルチンのAlgebraとか？ 洋書読むのしんどいよ？ 664 名前：１３２人目の素数さん mailto:sage [2012/02/24(金) 23:24:44.68 .net] 独習なら宮西雅宜のもいい なんと練習問題の解答が馬鹿丁寧ｗｗｗなのに程度は全然低くない やや本文の行間が空いてる気がするが 665 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 666 名前：１３２人目の素数さん [2012/02/25(土) 01:01:21.84 .net] >>644 ＞大数学者が書いた本 たとえば？ 667 名前：１３２人目の素数さん mailto:sage [2012/02/25(土) 04:29:19.27 .net] uni.2ch.net/test/read.cgi/sci/1328938319/ 668 名前：１３２人目の素数さん [2012/02/25(土) 11:13:35.50 .net] >>644 私も、その「大数学者が書いた本」とやらを知りたいです。（代数分野に限らず） 669 名前：１３２人目の素数さん [2012/02/25(土) 19:59:22.49 .net] >>644 大数学者の書いた本を読んでみたいので教えてください 670 名前：１３２人目の素数さん [2012/02/25(土) 21:14:55.08 .net] 　 　　┌―――――─┐/　　　　　　　　　　　　　　 　 　 　 ヽ 　　　　|　 [二二二二]　 ﾄ, 　 /　　　/　　　　　　　　　　　　　　 ヽ 　　　　|　＿＿＿＿＿　 | l　/　 /　/ |　　｜　|　　|　　　　　　　　', 　　　　|　||　　ﾊ,,ﾊ　　||　l| |/　 ./　/　l　 /∧　|　　ﾄ､ 　|　 l　 |l 　 | 　　　　|　||　（ ﾟωﾟ )　||　l| |　 ./ _/_l_/l-/､|　| .ﾄl l__|__l　|　 l　 ||　|｜ 　　　　|　||／　　 　＼||　l| |　/ ´/　|/ |,ﾊ .|　l .| | l .|　|｀lヽ |　 ||　|｜ 　　　　|　|| 　） 　 ﾉ＼||　l| |　|　/　_lj__ 　ヽ!　| | ｌハl　| 八ヽ　 ||ヽj/> 　　 r‐.|　|| （＿⌒ヽ　.||　l|ﾊ　! /Ｖ´￣｀ヾ　　 V　,..=＝､､ V|　 lｊ/ / ＼ 　　 l　.|　||　ヽ　ﾍ　}　||　l| /l |/　／/／/　　　　　　　　ヽ>.l　 /Vヽ::ヽ ヽ 　　｜ L lｌ＿ ﾉノ ｀J　ｌl＿|ヽ|/ |　　　　　　　'　　 "/／/　/| ./ /　 ヽ:::ヽ ヽ　　お断りします 　　｜｜　|　　　　　　　| .|　| | |、　　　 /｀ー‐ .､ 　　　　/ Vlノ　　　 ヽ:::ヽ ヽ 　　｜｜|￣l￣￣￣￣l￣l　| | | ＼　　 l　　　　ﾉ　　　／| | |　　　　　 ヽ::::ヽ ヽ 　　 l/⌒'､￣￣￣￣￣￣|Ｙ 671 名前：⌒ｊl＿_/ヽ､ヽ＿_ノ　 , イ　　| | |　　　　　　 ヽ:::ヽ ヽ 　　 |　　　＼[二二二] 　 l |　 |l　 /|　＼ー--‐´//ｌ＼＿| l/⌒ヽ　　　　　ヽ::::ヽヽ 　　 /＼ 丶_ｊl＿＿＿＿　l |　 || .〈　ヽ、 ｀ー―´　 | 　 　|/　　　ヽ　　　　　ヽ::::ヽヽ 　　,|　　ヽ丁| |r―‐┐|｜| |　 |ｊ　 ヽ　 ＼　　 イ　/　　 　 　 　 　 ヽ　　　　　ヽ::::ヽヽ 　 / ＼ヽ、ヽ| |ｌ　○ |｜! | |　 l　　 ヽ　　　 　 　 /　 　 　! |　　　　　',　　 　 　 ヽ:::ヽヽ 　 ヽ　 ｀ ー'´└―‐┘|_|_|｜　 ',　　　ヽ　 　 　 /　　　　 |/　 　 　 　 ）　　　　　 ヽ::::ヽヽ 　　ﾄ｀ ､＿〉＿_丁＿丁＿| |　　 |　　　　ヽ　　 /　　 　 　.|　　　　　 ./l　　　　　　　ヽ:::ヽヽ 　　|　＼| | |　　||　　||　　|｜ 　 ｊ　　 　 　 ヽ /　 　 　 　 |　､　 ,/　ハ〉　　　　　　　 ヽ::: [] [ここ壊れてます] 672 名前：１３２人目の素数さん [2012/02/25(土) 21:16:24.42 .net] >>644 代数学だけに大数学者ってかｗｗｗｗｗｗｗｗｗｗ 673 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 00:40:03.20 .net] 代数学＝代数的整数論＋代数幾何じゃんｗ 674 名前：１３２人目の素数さん [2012/02/28(火) 12:32:22.46 .net] 位相群とかいうのと連続群って違うの？ 675 名前：１３２人目の素数さん [2012/02/28(火) 14:13:05.65 .net] >>651 ポントリャーギンとか 676 名前：１３２人目の素数さん [2012/02/28(火) 14:51:58.28 .net] >>656 なるほど ポントリャーギンの常微分方程式は良書ですね 677 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 14:59:55.60 .net] 雪江先生の代数学1の参考書のところに、「永田の『可換体論』が最初に読んだ代数学の本」と書いてあったので、俺もこれを読もうっと 678 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 15:10:54.54 .net] 最初に難しい本を読んでそれから優しいほうに降りていくのがいいよね 679 名前：１３２人目の素数さん [2012/02/28(火) 16:14:39.30 .net] 難しい本を眺めてちょっと非日常のモードになってから 身の丈にあった本にとりかかる要領だ 680 名前：１３２人目の素数さん [2012/02/28(火) 18:49:46.27 .net] あなたの隣の集団ストーカー 駅改札や駅周辺で、人の流れを見張っているのが犯人です。 犯人はナマポ、税金で朝からパチンコしてる在日と部落です。 通勤、通学者を馬鹿にしながらターゲットを見張っています。 エア待ち合わせ、エア電話、エアマスクが得意です。 681 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 20:32:24.32 .net] 数学は一つだとか言うけど 解析学のかなりの部分と、代数や幾何は 現状ではあまり関連は深くないよね 682 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 20:41:19.76 .net] 数と図形を無理やりくっつけて一つになろう日本ってやってるのが数学だよね 683 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 21:02:07.57 .net] >>662 そのかなりの部分は数学と思われていないふしが 684 名前：１３２人目の素数さん mailto:sage [2012/02/28(火) 21:08:12.93 .net] >>662 むしろ研究の対象になってるような分野の殆どが解析なのか代数なのか幾何なのか 分けることが不可能なほど交じり合ってるくらい関連深いと思うんだが。 685 名前：１３２人目の素数さん [2012/02/29(水) 01:47:13.14 .net] >>655 だれか教えてくれ、頼む。 686 名前：１３２人目の素数さん [2012/02/29(水) 01:52:09.16 .net] >>666 同じでおｋ 噛みついてくる奴がいたら、おまいに全て任せたんでよろしこ 687 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 688 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 689 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 690 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 691 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 692 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 693 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 694 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 695 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 696 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 697 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 698 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 699 名前：１３２人目の素数さん [2012/03/31(土) 23:23:00.10 .net] >>423 ja.wikipedia.org/wiki/%E7%92%B0_(%E6%95%B0%E5%AD%A6) >「R の任意の元 r に対し、整数 n (> 1) が存在して r^n = r を満たすならば R は可換である[9]」 700 名前：猫vs運営 ◆MuKUnGPXAY mailto:age [2012/04/01(日) 12:05:29.56 .net] 猫 701 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:07:50.32 .net] 高木貞治の代数学講義　P147　 [問題１]　五次方程式 x^5 + px + q = 0 の判� 702 名前：ﾊ式を求めること． [解]　判別式 D は (p^m)(q^n) のような項から成り立って，重さは 20 である． p，q の重さがそれぞれ 4，5 であるから 4m + 5n = 20 ．　 したがって m = 5 ，n = 0 または　m = 0 ，n = 4 ．　 ゆえに D = λ(p~5) + μ(q^4) ，λ，μは数字係数である． いま p = 0 ，q = -1 とすれば， f(x) = x^5 - 1 ， f '(x) = 5 (x^4) ．　 したがって D = 5^5 ．　ゆえに μ = 5^5 ．　 次にまた p = -1 ， q = 0 とすれば， f(x) = x^5 - x ． 根は 0 のほか ±1， ±i である． ゆえに D = (( -1 ，-i ， +1 ， +i )^2) D ' で， D ' は x^4 - 1 = 0 の判別式である． それは -(4^4) に等しい．　すなわち D = -λ = -(4^4) ゆえに λ = 4^4 ． よって D = (4^4) (p^5) + (5^5) (q^4) ． [] [ここ壊れてます] 703 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:08:17.59 .net] 以下は私の考え方 ＞判別式 D は (p^m)(q^n) のような項から成り立って，重さは 20 である． ＞p，q の重さがそれぞれ 4，5 であるから 4m + 5n = 20 ．　 この文の意味するところは以下のとおり． 整式Pを次のように定める． 　P = (x1 - x2) (x1 - x3) (x1 - x4) (x1 - x5) 　　　　　　　　(x2 - x3) (x2 - x4) (x2 - x5) 　　　　　　　　　　　　　(x3 - x5) (x3 - x5) 　　　　　　　　　　　　　　　　　　(x4 - x5) すると P^2 は対称式であるから 　D = (a0)^(2(n-1)) P^2 ,（n = 5 , a0 は整係数） もまた5個の変数 x1 , x2 , x3 , x4 , x5 に関する対称式である. 704 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:08:42.12 .net] したがって P140 の[定理5.1]により次のことがいえる >>　x1 , x2 , x3 , x4 , x5 を 五次方程式 >>　f(x) = a0・x^5 + a1・x^4 + a2・x^3 + a3・x^2 + a4・x + a5 = 0 >> の根とおけば, 対称式 D = (a0)^(2(n-1)) P^2 ,（ n = 5）は >>　(a0)^(e1) D(x1 , x2 , x3 , x4 , x5) = G(a0 , a1 , a2 , a3 , a4 , a5) >>　のように a0 , a1 , a2 , a3 , a4 , a5 に関する整函数として表せる. >>　対称式D をf(x) の判別式D という. >>　a1 , a2 , a3 , a4 , a5 は五次方程式の整係数であるが >>　各々 x1 , x2 , x3 , x4 , x5 の基本対称式を意味している. >>　左辺の e1 は判別式D において一つの変数についている指数のうち >>　最も大きいものを表している. ここでは e1 = 8 となる. >>　右辺G は a0 , a1 , a2 , a3 , a4 , a5 に関して e1(= 8)次の斉次式となる. >>　整式D は x1 , x2 , x3 , x4 , x5 に関して斉次式であるから[定理5.1(4)]により >>　G は a0 , a1 , a2 , a3 , a4 , a5 に関して斉重で,その重さは D の次数に等しい. >>　D の次数は対称式 P^2 の項の型が >>　x1^(2(5-1))・x2^(2(5-2))・x3^(2(5-3))・x4^(2(5-4))・x5^0 >>　により >>　(e1 ， e2 ， e3 ， e4 ， e5) = (8 ， 6 ， 4 ， 2 ， 0) >>　として得られるから 8 + 6 + 4 + 2 = 20 として求まる． 以上を[問題1]の五次方程式 x^5 + px + q = 0 にあてはめて考える a0 = 1, a1 = a2 = a3 = 0, a4 = p, a5 = q であるから D(x1 , x2 , x3 , x4 , x5) = G(1 , 0 , 0 , 0 , p , q) のように判別式D は整式G で表せる. 705 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:09:07.33 .net] そして, 整式G は(1^k)(p^m)(q^n)に関する e1(= 8)次の斉次式であるから 「判別式 D は (p^m)(q^n) のような項から成り立って」いる. a0 = 1，a4 = p，a5 = q であるから「p，q の重さがそれぞれ 4，5 」である. G は1，p，q に関して斉重で，その重さは D の次数20に等しいから 0・k + 4・m + 5・n = 20 であり「4m + 5n = 20」である． このことから[解答]2〜3行目， ＞「したがって m = 5 ，n = 0 または　m = 0 ，n = 4 ．」 ＞「ゆえに D = λ(p~5) + μ(q^4) ，λ，μは数字係数である．」 がいえる. 706 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:10:12.75 .net] ＞いま p = 0 ，q = -1 とすれば， f(x) = x^5 - 1 ， f '(x) = 5 (x^4) ．　 ＞したがって D = 5^5 ．　ゆえに μ = 5^5 ． この文の意味するところは次のとおり． p = 0 ，q = -1 であるから D = λ(p^5) + μ(q^4) = μ さらに[問題１]の直前の本文にあるように判別式D は 　D = ((-1)^(n(n-1)/2))・(a0^(n-2))・f '(x1)・f '(x2) … f '(xn) とも表せ，いま五次式だから n=5 ，a0 = 1 .　よって 　D = μ = 5 (x1^4)・5 (x2^4)・5 (x3^4)・5 (x4^4)・5 (x5^4) 　　　　 = 5^5・(x1^4)・(x2^4)・(x3^4)・(x4^4)・(x5^4) 　　　　　　　　~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 　　　　　　　　　　　　　　　↑ 　　　　　　　　f(x) = x^5 - 1 の根の一つは確かに 1 ゆえ 　　　　　　　　それを x1 とおけば (x1^4) = 1^4 = 1 だが， 　　　　　　　　(x2^4)・(x3^4)・(x4^4)・(x5^4) 707 名前：については 　　　　　　　　どこにいったのか？？？？ このへんから分りません. [] [ここ壊れてます] 708 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:10:40.50 .net] ＞次にまた p = -1 ， q = 0 とすれば， f(x) = x^5 - x ． 根は 0 のほか ±1， ±i である． わかる. ＞ゆえに D = (( -1 ，-i ， +1 ， +i )^2) D ' で， D ' は x^4 - 1 = 0 の判別式である． ＞それは -(4^4) に等しい．　すなわち D = -λ = -(4^4) ゆえに λ = 4^4 ． わからん．とくに D = (( -1 ，-i ， +1 ， +i )^2) D ' 　　　　　　　　　　　~~~~~~~~~~~~~~~~~~~~~~~~~ 　　　　　　　　　　　　　　　　　↑ 　　　　　　　　　　この表記がどこからきてるのか分らん． [解答]の下５行，さっぱりわからん． 709 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 08:13:01.95 .net] いまから仕事に出かけます． だれか考えておいてください． 夜19時以降に帰ります． 710 名前： ◆BhMath2chk mailto:sage [2012/04/06(金) 08:30:00.40 .net] >>686 根の積は１。 >>687 根の差の二乗を０を含むものと含まないものに分けた。 711 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 08:54:35.68 .net] 即レスありがとう！ 昨晩は寝落ちしてしまい，お礼をいえず申し訳ありませんでした． 即理解といきません．>>689の意味を今夜考えてみます． 昼間，会社の仕事関係でとる資格本を買いにいくついでに 雪江氏の最近評判になっている群環体本も覗いてきます． 712 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 18:07:47.25 .net] >>689の意味、おそらく理解できました．どうもありがとう． 代数学講義P147 [問題1] [解答] 5〜6行目 ＞D = (( -1 ，-i ， +1 ， +i )^2) D ' とあるのはどうやら D = (　( （-1）・（-i） ・（+1）・（+i） )^2　) D ' のミスプリですね． （こういうところは助言として指摘して欲しい．その一方で “私の問題”の領分を残してくれてる“素っ気無さ”に感謝．） >>689の ＞根の積は１。 ですが，これは ＞ f(x) = x^5 - 1 ， f '(x) = 5 (x^4) あたりから即座に分ることなのでしょうか？ （たとえば x^3 - 1 = 0 の根の積は 1 ですが， x^2 - 1 = 0 ，x^4 - 1 = 0 の根の積は -1 です． これは遠慮なく全て教えて欲しいｗ） 713 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 21:26:25.72 .net] 「根の積」の根をどういう意味で使っている？ 714 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 21:53:19.40 .net] ＞函数の根 ＞函数 f の「根」とは、x を f で写した結果が 0 となるような値 x のことである。 ja.wikipedia.org/wiki/%E5%87%BD%E6%95%B0%E3%81%AE%E6%A0%B9 ていどの素朴な意味で使っています． f(x) = x^5 - 1 = 0 であるから函数 f の根を x1， x2， x3， x4， x5 とおくと 　x1^5 = 1， x2^5 = 1， x3^5 = 1， x4^5 = 1， x5^5 = 1 したがって 　(x1・x2・x3・x4・x5)^5 = (x1・x2・x3・x4・x5)^4 ･ (x1・x2・x3・x4・x5) = 1 これから 　(x1・x2・x3・x4・x5)^4 = 1 かつ (x1・x2・x3・x4・x5) = 1 を得る．ということでしょうか？ 715 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 22:04:39.61 .net] >>693 それならf(x)を素朴に因数分解したのものを考え、 改めてそれを展開したものの定数項と最初のf(x)の定数項とを考えれば 根の積は求まるね。 716 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 22:13:11.05 .net] どうもありがとう．　ほんとそうですねｗ 717 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 22:21:00.51 .net] 仕事の合間，資格試験勉強の合間の探求なので 効率は悪いですが，定期的に質問伺いにくると思います． 「まだそこか，お前ちっとも進んでないなｗ」 などといわないでお相手願います． 明日も早いのでこれで失礼します． 718 名前：１３２人目の素数さん mailto:sage [2012/04/09(月) 02:33:41.82 .net] 根と係数の関係がそこにも書いてあるのに何故知らないのか 719 名前：１３２人目の素数さん mailto:sage [2012/04/09(月) 21:50:32.30 .net] 後知恵 720 名前：１３２人目の素数さん [2012/04/10(火) 01:54:48.84 .net] 3年の代数の教科書が 松坂「代数系入門」か、森田「代数概論」 のどちらかを買っとけ、らしいんだが、どっちのほうがいいと思われます？ 721 名前：１３２人目の素数さん [2012/04/10(火) 02:23:25.22 .net] 雪江 722 名前：１３２人目の素数さん [2012/04/10(火) 02:36:14.33 .net] 永尾 723 名前：１３２人目の素数さん mailto:sage [2012/04/10(火) 02:42:30.08 .net] 桂 724 名前：１３２人目の素数さん mailto:sage [2012/04/10(火) 03:19:38.64 .net] Lang 725 名前：１３２人目の素数さん mailto:sage [2012/04/10(火) 03:29:52.57 .net] 服部の現代代数学では 726 名前：ダメなの？ 記述が簡素だから今の子は読めないのかな？ [] [ここ壊れてます] 727 名前：１３２人目の素数さん mailto:age [2012/04/10(火) 07:13:34.36 .net] 悩むくらいなら松坂一択 物足りなくなったら、その時考えれば良い つか、凄いニ択だなｗ 728 名前：１３２人目の素数さん mailto:sage [2012/04/10(火) 20:53:00.75 .net] あれを一冊目の教科書として読むのは昔から無理だと思うよ >>699の二冊は難易度がかなり違うから自分の能力と相談すれば自ずから決まると思うよ 普通の大学だと、学年の上から十人くらいに入らないならまずは松坂から読んだ方が無難だと思う 729 名前：１３２人目の素数さん mailto:sage [2012/04/10(火) 20:53:23.07 .net] 「あれ」ってのは服部の現代代数学のことです 730 名前：１３２人目の素数さん mailto:sage [2012/04/24(火) 20:34:59.91 .net] 巡回群の定義がよくわからん： 二つの巡回群の直積が巡回群になる条件は二つの生成元の位数が互いに素である。 731 名前：gjdatmkpkm' [2012/04/24(火) 21:46:23.47 .net] 誰か、Σn.k=1 1/n^2の極限を証明してくれwww 高校では、発散するって習ったが、解析学の範囲で回答してくださいな♪ 732 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 733 名前：１３２人目の素数さん mailto:sage [2012/04/24(火) 23:14:06.59 .net] >>708 生成元の最小個数が1である群 734 名前：１３２人目の素数さん mailto:sage [2012/04/24(火) 23:28:53.75 .net] >>711 Gが一つの元ので生成される となっているが、 巡回群の直積は位数に共通因数があっても位数の最小公倍数で生成される と思うが。 735 名前：１３２人目の素数さん mailto:sage [2012/04/24(火) 23:41:26.45 .net] 巡回群の直積は巡回群であるとは限らない。 736 名前：１３２人目の素数さん mailto:sage [2012/04/24(火) 23:43:14.24 .net] Z/(2Z)×Z/(2Z) を考えよ。 737 名前：１３２人目の素数さん mailto:sage [2012/04/25(水) 11:41:49.13 .net] >>713 具体的に >>714 (0 1)(0 0)=(0 1)=1 (0 1)(1 0)=(1 1)=0 等々だよね 738 名前：１３２人目の素数さん mailto:sage [2012/04/25(水) 14:28:29.34 .net] >>709 式がイミフ 739 名前：gjdatmkpkm' [2012/04/25(水) 15:20:59.59 .net] >716 ごめんw Σの上がn,下がk=1で式は1/n^3 極限求めて、収束することを 証明してほしい… 740 名前：gjdatmkpkm' [2012/04/25(水) 15:34:12.44 .net] >716 ごめんw Σの上がn,下がk=1で式は1/n^3 極限求めて、収束することを 証明してほしい… 741 名前：１３２人目の素数さん mailto:sage [2012/04/25(水) 15:46:24.22 .net] >>718 Σn.k=1 1/n^3 = n×1/n^3 = 1/n^2 → 0 742 名前：gjdatmkpkm' [2012/04/25(水) 16:00:35.00 .net] >719 また、間違えましたw 式は1/k^3です… 743 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 744 名前：１３２人目の素数さん mailto:sage [2012/04/25(水) 21:17:39.46 .net] まずきちんと数学の文章を書けるようになった方が良いと思うよ それに高校では発散すると習ったと書いたり 収束することを証明してほしいと書いたり、混乱して理解してるんじゃないか 745 名前：gjdatmkpkm' [2012/04/25(水) 23:08:03.94 .net] >722 いや、混乱してるんじゃなくて、 全くわかってないのですm(_ _)m でも、宿題なので… お願いしますm(_ _)m 746 名前：１３２人目の素数さん mailto:sage [2012/04/25(水) 23:12:54.89 .net] >>723 努力せよ、さらば道はひらかれん 異人 747 名前：１３２人目の素数さん mailto:sage [2012/04/25(水) 23:57:51.49 .net] >>715 =1 =0 って何？ 748 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 749 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 03:58:49.13 .net] >>725 Z[2]XZ[2]をZ[2]の部分群として見た 750 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 21:33:13.30 .net] はい〜？ 751 名前：１３２人目の素数さん mailto:sage [2012/04/26(木) 22:27:51.81 .net] 最後の等号は無視でもいいですけど、右京さん 752 名前：１３２人目の素数さん [2012/04/27(金) 00:28:51.75 .net] いえね、うちのかみさんが言うんですよ >>727はどうみても変だ、多分直積が判ってない、って。で、 有限集合が自分自身と自分自身との直積を部分集合として含む、なんてことがあるんだろうか？ 元の数を数えたらあり得ないことはバカでもわかるんじゃないの、なんて言うんですよ。 ま、昔からうちのかみさんは口が悪いから、気にしちゃいけませんよ。 753 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:31:58.42 .net] 群の直積分解を知らないんだ それからもうひとつ、巡回群が… 754 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:42:56.41 .net] おや？また何かご意見でも？ 755 名前：１３２人目の素数さん mailto:sage [2012/04/27(金) 00:59:35.25 .net] ぷッ。いや、失礼。 756 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 757 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 758 名前：１３２人目の素数さん mailto:sage [2012/04/30(月) 21:08:57.98 .net] IQ148のアウディのパズル、解けたか？ 759 名前：１３２人目の素数さん [2012/05/02(水) 18:46:47.05 .net] 応答が指数カーブになるようなフィルタってあるんでしょうか？ 普通のローパスなら対数カーブになってしまうところを指数カーブにしたいのです。 760 名前：１３２人目の素数さん mailto:sage [2012/05/02(水) 20:21:41.18 .net] >>737 電気・電子板だろjk 761 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 762 名前：１３２人目の素数さん [2012/05/15(火) 01:32:41.47 .net] フィボナッチ数列a_1=1 a_2=1 a_3=2 a_4=3 ... に対して Σ[i=1,∞]1/a_i が無理数になることの証明を教えてください 763 名前：１３２人目の素数さん mailto:sage [2012/05/15(火) 19:42:31.95 .net] 塩川さんの本に載ってるよ 764 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 765 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 766 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 767 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 768 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 769 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 770 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 771 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 772 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 773 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 774 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 775 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 776 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 777 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 778 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 779 名前：１３２人目の素数さん [2012/07/10(火) 17:34:26.03 .net] ボロノイ図で、周囲の計算に使った点って、最大値は決まっているのでしょうか？ ボロノイ図を描きながら、周囲点を把握できたら完璧なのですが。 780 名前：１３２人目の素数さん mailto:sage [2012/07/10(火) 19:05:05.99 .net] 最大値って何？ 781 名前：757 [2012/07/11(水) 08:48:34.00 .net] ボロノイの各点が千くらいあります。 ある点に輪郭線を描くときに関係した点を把握したいのです。 その関係した点の最大値はあるのでしょうか？ もしかしたら無いのかな。 そうなら、簡単に関係した点をサーチするロジックが知りたいです。 782 名前：757 [2012/07/11(水) 11:00:48.60 .net] 文章変でした。 ボロノイで、ある点の近隣点なのか違うのか、判定するロジックが知りたいです。 783 名前：757 [2012/07/11(水) 11:34:38.73 .net] 連投すみませんorz ある点に対して、最近点との線を引いてしまうと、 その後、ある二次曲線に入る点は捨てても良い、 みたいな判定ができるのでしょうか？ おぼろげに図形を想像できても、細部が良く分かりません。 784 名前：757 [2012/07/11(水) 16:12:36.90 .net] やっぱり全ポイント計算しないとダメなんでしょうか？ ２次曲線計算するっていうのもコストかかりそう。。。 785 名前：１３２人目の素数さん mailto:sage [2012/07/16(月) 18:16:18.28 .net] 面白そうなこと勉強してるね 私にとっての「ボロノイ図」は 杉原厚吉という人の大昔の連載のコピーと 伊理先生の超大昔の論文コピーを いまだに本棚に飾る程度のノスタルジックな ワードでしかなく、もはや御力になれないけれど 2012年にボロノイ図が どんなテーマの溯上にのせられているのか 興味があります 昔は計算量や破綻のない実際の作図が つまり「ボロノイ図」そんものが研究の対象とされていました 786 名前：馬鹿を焼く描写 ◆ghclfYsc82 mailto:age [2012/07/16(月) 20:57:24.94 .net] 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然 なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語 道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。 無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ を国家が意図して保護しなければならない。そうする事が国家が生き残 る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保 護しては絶対にならない。 787 名前： 描 >みんなで優秀な人間の足を引っ張って沈もうよ。 >そうすれば自分だけが馬鹿で惨めな思いをしなくて >すむから楽チン。 >一億総白痴可で横並びになれば怖くは無い > [] [ここ壊れてます] 788 名前：１３２人目の素数さん mailto:sage [2012/08/08(水) 20:39:36.95 .net] 杉浦解析入門�Tの49ページ，例8 　Cn = (n+1)・Z^n とおいて、前頁(5.1)のように 　Cn = (n+1)・Z^n = Σak・bn-k　 と書き換えたいんだけどさっぱりわからん 無限級数Σak も 無限級数Σbn-k も どっちも1/(1-z) に収束するんだろうな…ぐらいに踏んでるんだけど 789 名前：１３２人目の素数さん [2012/08/09(木) 00:58:01.56 .net] age 790 名前：baka描 ◆ghclfYsc82 mailto:age [2012/08/09(木) 01:04:43.47 .net] 描 >14 名前：１３２人目の素数さん ：2012/08/07(火) 17:39:00.96 > >>13 > 旧コテ猫あらため描つまりお前自身の事だろ、増田哲也に限り無く近い人間｡ > 筑波大学で痴漢と言えば増田哲也だから連続性も明らかになってるから > わざわざ限り無く近い人間なんて呼び方しなくていいんだけどな > 791 名前：１３２人目の素数さん mailto:sage [2012/09/15(土) 07:58:40.58 .net] >>765 a_n=b_n=z^nとし、c_nを(5,1)のように定義すればa_k*b_(n-k)=z^nゆえc_n=(n+1)z^nとなる 792 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 793 名前：１３２人目の素数さん mailto:sage [2012/10/11(木) 22:52:54.83 .net] >>768 書き込み自体を忘れてたｗ ご親切ありがとうどざいます 794 名前：１３２人目の素数さん mailto:sage [2012/10/12(金) 19:41:24.29 .net] ×どざいます ○ございます 今日ちゃんと正確にチェックできました 795 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 796 名前：１３２人目の素数さん [2012/10/16(火) 22:36:13.24 .net] あるM>0が与えられた時、 ・u(t)=(x(t),y(t)), x,y∈C^2(R) ・∀t |u'(t)|=1 , ∀t |u''(t)|≦M ・u(0)=u(T)=(0,0) , T > 0 となるu,x,y,Tが存在するようなTの集合をS(M)としたとき inf S(M) を達成するようなuは円軌道を描きそうな気がしますが どうすればそれを証明出来るでしょうか 797 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 798 名前：１３２人目の素数さん [2012/10/19(金) 00:14:22.25 .net] >>773 制御理論の盲目の数学者（名前なんだっけな…）の定理を使えば何とかなるんじゃね？ 799 名前：１３２人目の素数さん [2012/10/19(金) 00:14:56.29 .net] 盲目の数学者、ポントリャーギン 800 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 801 名前：１３２人目の素数さん mailto:sage [2012/10/24(水) 18:06:15.15 .net] 数理科学、（今月も）図書館でチラ見してきたけど（今月も）さっぱり分からない この雑誌はベクトル解析大好き物理屋さんにお任せだな 802 名前：１３２人目の素数さん mailto:sage [2012/10/24(水) 18:32:54.57 .net] 今月は今ひとつだったが、先月の特集：「超弦理論の数理」は名作。 8月号　特集：「導来圏をめぐって」も力作。 803 名前：１３２人目の素数さん [2012/11/13(火) 20:35:27.92 .net] 一時期カタストロフィー理論なんてのが持て囃されてた気がするが あれは特異点を分類する分野をカタストロフィー理論と呼んでただけなのかな 804 名前：１３２人目の素数さん [2012/11/14(水) 22:16:09.85 .net] 地震予知に応用できると思った馬鹿もいたりして 805 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 806 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 807 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 808 名前：１３２人目の素数さん [2013/01/17(木) 12:08:31.51 .net] >>778~780 昔の数理科学はよかった 1973年の４月号の特集は「形態」 809 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 810 名前：１３２人目の素数さん [2013/01/17(木) 12:54:14.00 .net] >>780 1973年4月号を見よ 811 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 812 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 813 名前：１３２人目の素数さん [2013/01/20(日) 18:25:52.56 .net] 昔の多様体特集の座談では小平先生が 接触構造論を示唆していた 814 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine.co.jp [2013/01/20(日) 18:29:53.86 .net] 　テメ〜ら、いいかげんにしねえと、� 815 名前：uッ殺すぞ！ 　２０代と６０代の、ニート・無職の、知的障害の、女性恐怖症の、頭デッカチの虚弱児・ひ弱の、ゴミ・クズ・カス・無能・虫けらのクソガキども！ 　死ね！！！！！！！！！！！！！！！！！！！！！！ [] [ここ壊れてます] 816 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 817 名前：１３２人目の素数さん [2013/01/20(日) 19:49:57.11 .net] -- 第8回代数・解析・幾何学セミナー -- 日時: 2013年2月18日(月)10:00 〜 21日(木)13:00 場所: 鹿児島大学理学部１号館 講演予定者（敬称略）：大川新之介（阪大）岡　睦雄（東京理科大）小野　薫（京大数理研） 栗林勝彦（信州大）諏訪立雄（北大）Jörg Schürmann (Univ. Münster)高山茂晴（東大） 田島慎一（筑波大）楯　辰哉（名古屋大）田丸博士（広島大）坪井　俊（東大） 中島　啓（京大数理研）花村昌樹（東北大）深澤　知（山形大）Laurentiu Maxim (Univ. Wisconsin-Madison) 松村慎一（鹿児島大理）源泰幸（名古屋大）毛利　出（静岡大学）山内卓也（鹿児島大教育） 山田裕史（岡山大学） 818 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 819 名前：１３２人目の素数さん [2013/01/21(月) 10:06:41.22 .net] February 18 (Monday) 10:00〜10:50 ： Tatsuya Tate (Nagoya University) “One-dimensional quantum walks” 11:00〜11:50：Takuya Yamauchi (Kagoshima University, Faculty of Education/Un iversity of Toronto) “Arithmetic Calabi-Yau families associated to generalized hypergeometric local systems and its applications” 13:30〜14:20 ：Shigeharu Takayama (University of Tokyo) “On complex geometry of pluricanonical and adjoint bundles” 14:30〜15:20 ：Shinnosuke Okawa (Osaka University) “Semi-orthogonal decompositions of derived category of coherent sheaves” 15:40〜16:30 ：Hirofumi Yamada (Okayama University) “A peripheral combinatorics of partitions” 16:40〜17:30 ：Hiraku Nakajima (RIMS) “Instantons and W-algebras” 820 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 821 名前：１３２人目の素数さん [2013/01/22(火) 11:57:00.10 .net] February 19 (Tuesday) 10:00〜10:50 ：Mutsuo Oka (Tokyo University of Science) “Intersection theory on mixed curves” 11:00〜11:50 ：J¨org Sch¨urmann (University of M¨unster) “Generating series for (equivariant) characteristic classes of (external and) symmetric products” 13:30〜14:20 ：Masaki Hanamura (Tohoku University) “Quasi DG categories and the triangulated category of mixed motives over a base” 14:30〜15:20 ：Izuru Mori (Shizuoka University) “Points of a quantum plane” 15:40〜16:30 ：Katsuhiko Kuribayashi (Shinshu University) “Derived string topology” 16:40〜17:30 ：Tatsuo Suwa (Hokkaido University) “Degeneracy loci problem via localization 822 名前：” 18:30〜　Dinner Party [] [ここ壊れてます] 823 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 824 名前：１３２人目の素数さん [2013/01/22(火) 20:15:31.73 .net] February 20 (Wednesday) 10:30〜11:20 ：Kaoru Ono (RIMS) “Non-displaceable Lagrangian submanifolds” 13:30〜14:20 ：Hiroshi Tamaru (! Hiroshima University) “Left-invariant metrics on Lie groups and submanifold geometry” 14:30〜15:20 ：Satoru Fukasawa (Yamagata University) “Galois points for a plane curve in arbitrary characteristic” 15:40〜16:30 ：Hiroyuki Minamoto (Nagoya University) “Derived bi-duality via homotopy limit” 16:40〜17:30 ：Shinichi Tajima (Tsukuba University) “Local cohomology, Newton filtrations and Tjurina numbers” 825 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 826 名前：１３２人目の素数さん [2013/01/23(水) 13:08:33.29 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 827 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 828 名前：１３２人目の素数さん [2013/01/24(木) 10:58:38.48 .net] February 18 (Monday) 10:00〜10:50 ： Tatsuya Tate (Nagoya University) “One-dimensional quantum walks” 11:00〜11:50：Takuya Yamauchi (Kagoshima University, Faculty of Education/University of Toronto) “Arithmetic Calabi-Yau families associated to generalized hypergeometric local systems and its applications” 13:30〜14:20 ：Shigeharu Takayama (University of Tokyo) “On complex geometry of pluricanonical and adjoint bundles” 14:30〜15:20 ：Shinnosuke Okawa (Osaka University) “Semi-orthogonal decompositions of derived category of coherent sheaves” 15:40〜16:30 ：Hirofumi Yamada (Okay! a ma University) “A peripheral combinatorics of partitions” 16:40〜17:30 ：Hiraku Nakajima (RIMS) “Instantons and W-algebras” 829 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 830 名前：１３２人目の素数さん [2013/01/24(木) 16:39:50.54 .net] February 19 (Tuesday) 10:00〜10:50 ：Mutsuo Oka (Tokyo University of Science) “Intersection theory on mixed curves” 11:00〜11:50 ：J¨org Sch¨urmann (University of M¨unster) “Generating series for (equivariant) characteristic classes of (external and) symmetric products” 13:30〜14:20 ：Masaki Hanamura (Tohoku University) “Quasi DG categories and the triangulated category of mixed motives over a base” 14:30〜15:20 ：Izuru Mori (Shizuoka University) “Points of a quantum plane” 15:40〜16:30 ：Katsuhiko Kuribayashi (Shinshu University) “Derived string topology” 16:40〜17:30 ：Tatsuo Suwa (Hokkaido University) “Degeneracy loci problem via localization” 18:30〜　Dinner Party 831 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 832 名前：１３２人目の素数さん [2013/01/25(金) 11:53:04.25 .net] February 20 (Wednesday) 10:30〜11:20 ：Kaoru Ono (RIMS) “Non-displaceable Lagrangian submanifolds” 13:30〜14:20 ：Hiroshi Tamaru (! Hiroshima University) “Left-invariant metrics on Lie groups and submanifold geometry” 14:30〜15:20 ：Satoru Fukasawa (Yamagata University) “Galois points for a plane curve in arbitrary characteristic” 15:40〜16:30 ：Hiroyuki Minamoto (Nagoya University) “Derived bi-duality via homotopy limit” 16:40〜17:30 ：Shinichi Tajima (Tsukuba University) “Local cohomology, Newton filtrations and Tjurina numbers” 833 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 834 名前：１３２人目の素数さん [2013/01/25(金) 11:59:36.70 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 835 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 836 名前：１３２人目の素数さん [2013/01/25(金) 18:04:57.23 .net] February 18 (Monday) 10:00〜10:50 ： Tatsuya Tate (Nagoya University) “One-dimensional quantum walks” 11:00〜11:50：Takuya Yamauchi (Kagoshima University, Faculty of Education/University of Toronto) “Arithmetic Calabi-Yau families associated to generalized hypergeometric local systems and its applications” 13:30〜14:20 ：Shigeharu Takayama (University of Tokyo) “On complex geometry of pluricanonical and adjoint bundles” 14:30〜15:20 ：Shinnosuke Okawa (Osaka University) “Semi-orthogonal decompositions of derived category of coherent sheaves” 15:40〜16:30 ：Hirofumi Yamada (Okay! a ma University) “A peripheral combinatorics of partitions” 16:40〜17:30 ：Hiraku Nakajima (RIMS) “Instantons and W-algebras” 837 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 838 名前：１３２人目の素数さん [2013/01/26(土) 11:40:08.44 .net] February 19 (Tuesday) 10:00〜10:50 ：Mutsuo Oka (Tokyo University of Science) “Intersection theory on mixed curves” 11:00〜11:50 ：J¨org Sch¨urmann (University of M¨unster) “Generating series for (equivariant) characteristic classes of (external and) symmetric products” 13:30〜14:20 ：Masaki Hanamura (Tohoku University) “Quasi DG categories and the triangulated category of mixed motives over a base” 14:30〜15:20 ：Izuru Mori (Shizuoka University) “Points of a quantum plane” 15:40〜16:30 ：Katsuhiko Kuribayashi (Shinshu University) “Derived string topology” 16:40〜17:30 ：Tatsuo Suwa (Hokkaido University) “Degeneracy loci problem via localization” 18:30〜　Dinner Party 839 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 840 名前：１３２人目の素数さん [2013/01/26(土) 11:59:35.83 .net] February 20 (Wednesday) 10:30〜11:20 ：Kaoru Ono (RIMS) “Non-displaceable Lagrangian submanifolds” 13:30〜14:20 ：Hiroshi Tamaru (! Hiroshima University) “Left-invariant metrics on Lie groups and submanifold geometry” 14:30〜15:20 ：Satoru Fukasawa (Yamagata University) “Galois points for a plane curve in arbitrary characteristic” 15:40〜16:30 ：Hiroyuki Minamoto (Nagoya University) “Derived bi-duality via homotopy limit” 16:40〜17:30 ：Shinichi Tajima (Tsukuba University) “Local cohomology, Newton filtrations and Tjurina numbers” 841 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 842 名前：１３２人目の素数さん [2013/01/27(日) 11:23:37.33 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 843 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 844 名前：１３２人目の素数さん [2013/01/27(日) 19:41:08.95 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 845 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 846 名前：１３２人目の素数さん [2013/01/30(水) 20:25:54.89 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 847 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 848 名前：１３２人目の素数さん [2013/01/31(木) 13:14:11.18 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 849 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 850 名前：１３２人目の素数さん [2013/02/05(火) 11:08:30.74 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 851 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 852 名前：１３２人目の素数さん [2013/02/08(金) 00:11:38.88 .net] 発想の異なる色んな証明法のある命題には 数学のどんな局面が現れているんだろ？ 853 名前：１３２人目の素数さん [2013/02/08(金) 13:36:04.60 .net] 地政学上の問題と思われる 854 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 855 名前：１３２人目の素数さん mailto:sage [2013/02/08(金) 20:06:54.00 .net] 「正しけりゃなんでもいい」という なかばなげやりな局面 856 名前：１３２人目の素数さん [2013/02/16(土) 03:01:23.76 .net] K(新記号)=3.87/4.83 @=nK=ZK "KIRISE Invariable." 1=0.801242236024845 TWO arithmetic operations. "Fade in/out" 857 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 858 名前：１３２人目の素数さん [2013/02/18(月) 14:13:27.17 .net] February 21 (Thursday) 9:30〜10:20 ：Laurentiu Maxim (University of Wisconsin - Madison) “Intersection spaces, perverse sheaves and type IIB string theory” 10:30〜11:20 ：Shin-ichi Matsumura (Kagoshima University, Faculty of Science) “Asymptotic cohomology vanishing and a converse to the Andreotti-Grauert vanishing theorem on surfaces” 11:30〜12:20 ：Taka! s hi Tsuboi (University of Tokyo) “Commutator width of diffeomorphism groups” 859 名前：１３２人目の素数さん [2013/04/10(水) 00:58:54.77 .net] f∈C([0,∞))が ∫_[0,∞) |f| = ∞ を満たすなら ∫_[0,x] f(t)*t^n dt がx→∞で収束しないような n∈{0,1,2,...} が必ず存在しますか？ 860 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 861 名前：１３２人目の素数さん mailto:sage [2013/04/10(水) 16:49:33.96 .net] >>834 そうとは限らない。f(x)＝sin(e^x) (x≧0) が反例。 862 名前：１３２人目の素数さん mailto:sage [2013/04/12(金) 03:13:18.27 .net] >>836 x→∞でf(x)を超高速で振動させればいい訳ですか 有難うございました 863 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 864 名前：１３２人目の素数さん mailto:sage [2013/10/21(月) 18:38:05.32 .net] 解析学ムズカシイ 865 名前：１３２人目の素数さん [2013/10/26(土) 01:53:56.29 .net] なんで曲面上の関数は微分できないんだ 点の近傍が曲面に含まれていないからできないんだったら 曲面上に相対位相を入れたらいいんじゃないのか でも座標がないから微分できないのか だから曲面を２変数でパラメーターつけて 領域上の関数として微分を考える 座標の入れ方はいろいろある 866 名前：１３２人目の素数さん mailto:sage [2013/10/26(土) 02:07:48.85 .net] できない、というか意味のある微分を考えるのがめんどい。 867 名前：１３２人目の素数さん mailto:sage [2013/10/26(土) 02:41:32.94 .net] 多様体上での微分は普通にあるが 868 名前：１３２人目の素数さん mailto:sage [2013/12/25(水) 19:43:53.45 .net] 「恒等写像」は開集合の逆像が常に開集合になるので 常に連続写像だと思っていたのですが、念のためにググルと zen.shinshu-u.ac.jp/modules/0067000012/main/answers12.html の問題 3.とか www.is.titech.ac.jp/~sadayosi/course/setII13/section2.3.pdf の2枚目冒頭の10．例 とか出てきて、そうでもないような様子… 学部レベルの位相入門は済ませたつもりだったんですが うまくイメージできずに消沈しています 「R上の恒等写像は連続」と記述する分には問題ないのでしょうか？ それとあと、R上の空集合についてですが 空集合は上界、下界ともに空集合でないことから『「有界」な閉集合』として扱っても 問題ないでしょうか？ 869 名前：１３２人目の素数さん mailto:sage [2013/12/26(木) 01:33:09.45 .net] 連続写像と同相写像の違いを理解しましょう 870 名前：１３２人目の素数さん mailto:sage [2013/12/26(木) 17:23:58.32 .net] 解りました 871 名前：１３２人目の素数さん mailto:sage [2013/12/26(木) 21:58:17.39 .net] というかRに離散距離を入れた空間は Rと濃度が等しいだけで、 既にもうRとは全然違う空間だから恒等写像じゃない 872 名前：１３２人目の素数さん [2014/01/03(金) 23:52:49.67 .net] 解りませんでした 873 名前：１３２人目の素数さん [2014/01/04(土) 12:57:27.01 .net] 滋賀 横浜湖 沖縄 栃木 有楽町 874 名前：１３２人目の素数さん [2014/01/04(土) 15:16:51.96 .net] ルベーグ積分がよくわからん。誰か教えて？ 875 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 15:19:42.71 .net] 積分をy軸方向に平行に切って足し合わせる 876 名前：１３２人目の素数さん [2014/01/04(土) 15:35:18.68 .net] 値域から切るのは分かるけど、なぜ値域から切れば不連続な関数も積分できるのかがわからんのです。 877 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 15:42:23.59 .net] たぶんね、Aがわかったけど、BからZまで分からないてゆうことだと思うよ 878 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 17:31:45.12 .net] ＞ルベーグ積分がよくわからん。 このひとは集合位相がわからんはず 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　「ルベーグ積分が〜」には笑っちゃう 879 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 20:58:07.30 .net] なるほど、集合位相を勉強すればいいのか。 リーマンは縦に切るけど、ルベーグは横と縦に切って足し合わせるってことか？！ 880 名前：１３２人目の素数さん [2014/01/04(土) 21:15:55.33 .net] Ａもわかってなかったが正解でした 881 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 21:47:19.73 .net] 高校 882 名前：数学の微分積分学の接線の方程式がわかりません誰か簡単に教えてください。 [] [ここ壊れてます] 883 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 21:48:33.25 .net] 誰か呼んでるぞ 884 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 21:54:10.52 .net] >>855 横で切って縦に足し合わせるのかな？ 885 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 21:57:08.59 .net] まずこれを簡単に知らなければ、本当に間に合わなくなるから…接線の方程式を知らないといけないんです。 これができないと測地線なんてとてもできないからです。 886 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 21:59:10.92 .net] なるほど大変だね 887 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 22:08:51.93 .net] 接線の方程式を早く簡単に教えてください。 高校までの参考書や教科書はもうないです。 あるのは、線形代数学と解析学、多様体論、一般相対性理論の本しかありません。 ここまで準備してきたんで、僕は相対性理論を勉強しないと間に合わないからです。 888 名前：１３２人目の素数さん [2014/01/04(土) 22:10:06.54 .net] あんまり美味そうな餌じゃないな 889 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 22:28:13.61 .net] ルベーグ積分分かった〜♪ これでどんなジグザグな関数でも積分できる〜 ありがとうー 890 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 22:58:51.03 .net] 写像ってなんですか？ 早く教えてください。 そもそも、関数とは一つの解析的な式である。ってどういう意味ですか？ 早く教えてください。 891 名前：１３２人目の素数さん mailto:sage [2014/01/04(土) 23:22:24.49 .net] コーシーかな 892 名前：１３２人目の素数さん mailto:sage [2014/01/05(日) 11:33:08.91 .net] >>861 間に合わないってなにに？ いいじゃん間に合わなくても。のんびり行くがいいさ。 893 名前：１３２人目の素数さん mailto:sage [2014/01/05(日) 18:28:51.68 .net] バナッハ空間って必要ですか？ベクトル空間じゃだめですか？ 894 名前：１３２人目の素数さん mailto:sage [2014/01/05(日) 19:59:39.44 .net] だめです 895 名前：１３２人目の素数さん mailto:sage [2014/01/05(日) 20:27:23.32 .net] 完備な空間は好きですか？ 896 名前：１３２人目の素数さん [2014/01/05(日) 20:33:27.88 .net] ヒルベルト空間とバナハ空間ではどちらが偉いですか？ 897 名前：１３２人目の素数さん mailto:sage [2014/01/05(日) 21:13:52.37 .net] ヒルベルト空間のほうがエライです。 あとフレシェー空間とかもエライです、 他にも樽型空間（ビール飲み過ぎオッチャン）とか 核型空間とか、オモロい奴や、怖いけど役立つ連中がいます。 898 名前：１３２人目の素数さん [2014/01/05(日) 21:57:06.99 .net] なるほど、いろんな奴がいるんですね。 最近、ユークリッドやベクトル空間にもの足りなさを感じて来たので、 次はヒルベルト空間と付き合おうと思うんですけど、どう思いますか？ もし他にも良い子がいたら、知りたいです。 899 名前：１３２人目の素数さん [2014/01/05(日) 21:59:26.18 .net] バナッハちゃん飾り気がなくていい子だよ 900 名前：１３２人目の素数さん [2014/01/06(月) 09:18:48.57 .net] 今、バナッハちゃんと付き合ってます。 バナッハちゃんが私のどこが好きなの？って聞いてきます。 何て答えてあげたら良いですか？ 901 名前：１３２人目の素数さん mailto:sage [2014/01/06(月) 22:33:38.70 .net] 勉強しろ、ボケ 902 名前：１３２人目の素数さん mailto:sage [2014/01/07(火) 19:10:22.47 .net] 付き合ってるんだったら、自分が好きなところを言えばいい。 それがわからないようなら付き合う資格なし！ 903 名前：１３２人目の素数さん mailto:sage [2014/01/23(木) 16:18:37.26 .net] NをGの正規部分群、PをGの一つのｐシロー群とすると、 NP／NはG／Nのｐシロー群であることを示せ。 代数学スレにも書いたのですが、解答もらえなかったので、こっちにも書きました。 本当に困ってるんで、助けてください 904 名前：１３２人目の素数さん mailto:sage [2014/01/23(木) 17:55:23.31 .net] レポートの質問ばっかり、はー 905 名前：１３２人目の素数さん mailto:sage [2014/01/23(木) 22:18:45.97 .net] まあ、数学好きはこういうところから生まれてくるんじゃないかな 俺には解答がわからないけど 906 名前：１３２人目の素数さん mailto:sage [2014/01/23(木) 23:53:13.23 .net] >本当に困ってるんで、助けてください 惚けたかー 907 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 01:32:40.53 .net] 補完数直線 R∪｛+∞，-∞｝ に対し、φの上界の集合が R∪｛+∞，-∞｝であることを上手く説明できずに困っています -------------------------------------------------- ∀a∈R∪｛+∞，-∞｝ a not∈φ なんだから 大小比較　a≦b 　（a∈φ ，　b∈R∪｛+∞，-∞｝） なんてそもそも出来ないはずなのに なんでそうなるのですか！？ 908 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 02:42:37.37 .net] ・xがφの上界である、ということを∀∃を使って書いてみる ・「任意の P(x) を満たす x に対して Q(x) である」 ⇔「∀x P(x) ⇒Q(x)」⇔「∀x not Q(x) ⇒ not P(x)」 はP(x)を満たす x が存在しなければ真になる 909 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 11:56:28.37 .net] 「補完数直線 R∪｛+∞，-∞｝ に対し、φの上界の集合が R∪｛+∞，-∞｝である」 は、⊂に基づく順序構造をとったとき、 全体集合の上界は全体集合自身であること、 そして、全体集合の下界はφであること、からくるものではないしょうか？ ところで浅学な私は証明作業で ∀x∃y[P(x,y)⇒Q(y)] といった述語命題の対偶表現がつい欲しくなったりします. [∀x∃yP(x,y)]⇒[∃yQ(y)] といった論証の形式にあるものなら私もその対偶も取れるのですが 一つの述語の対偶表現ってどうやってとるのかな？と毎回一瞬悩みとどまり 回避策で逃げをうっています. このへんって、マジどうなんでしょうか？　（^_^； 910 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 13:19:37.36 .net] >>882 ・xがφの上界である、ということを∀∃を使って書いてみる 　　「(∀a∈φa≦x)⇒(xはφの上界という性質をもつ)」 これにより「R∪{+∞，-∞｝がφの上界の集合である」は ・　「∀x∈R∪{+∞，-∞｝[(∀a∈φa≦x)⇒(xはφの上界という性質をもつ)]」 で表されることが分かる ところがR∪{+∞，-∞}のどのようなxについても(∀a∈φa≦x)を真たらしめるxは存在しない. したがってこの命題全文はxによらず（モデルのとり方によらず）常に真である. 「R∪{+∞，-∞｝がφの上界の集合である」は真である. ということでしょうか？ ”　　　⇔ 　　「∀x∈R∪{+∞，-∞｝[(xはφの上界という性質をもたない)⇒not(∀a∈φa≦x)]」 ” がモデルのとり方によらず本当に同値になってるのかどうか考えようと思ったところで時間オーバー ちょっとバイトにっていってきます ∀a∈φa≦xが真にも偽にもならない（否定をとっても真にならない？）のが扱い困る 911 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 13:51:31.90 .net] 反変ベクトルとはなんですか？ 共変ベクトルとはなにが違うんですか？ 912 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 13:52:39.61 .net] 早く教えてください 913 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 18:59:31.34 .net] >>883 > 「補完数直線 R∪｛+∞，-∞｝ に対し、φの上界の集合が R∪｛+∞，-∞｝である」 > は、⊂に基づく順序構造をとったとき、 > 全体集合の上界は全体集合自身であること、 > そして、全体集合の下界はφであること、からくるものではないしょうか？ よく考えたら、これは違いましたね. 集合Ａの上界の集合をup（Ａ）で表すと ⊂に基づく順序構造をとったφの上界の集合up(φ)は up(φ)={R∪｛+∞，-∞｝} ですから.　クラスが違ってしまいます. 杉浦�TのP362が出所なんですが 「up(φ) = up({-∞}) = R∪｛+∞，-∞｝」 とあるのでクラスが違うと等号が成り立たないのです. 914 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 19:10:46.73 .net] ∀x∃y[P(x,y)⇒Q(y)] の対偶は ∀x∃y[¬Q(y)⇒¬P(x,y)] でいいかな？ ∀x∃y[P(x,y)⇒Q(y)] が真である、とは ∀x∃yの束縛のしかたによる変数x，yのどのような組み合わせにおいても （すなわちモデルのとり方によらずに） P(x,y)⇒Q(y)が常に真であることであった. そしてこのとき ∀x∃y[¬Q(y)⇒¬P(x,y)] もまたモデルのとり方によらず真となる …ですよね？ （違うか？） だから >>884の下の方の ＞”　　　⇔ ＞　　「∀x∈R∪{+∞，-∞｝[(xはφの上界という性質をもたない)⇒not(∀a∈φa≦x)]」 ＞” も、そのままいけるのか？ 915 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 19:14:34.67 .net] でも全然分かった気がしない.です　help 916 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 19:19:36.61 .net] 記号’⇒’は論理記号でなく日本語のカテゴリだから 精密を期すれば ＞∀x∃y[P(x,y)⇒Q(y)] でなくて ∀x∃y[P(x,y)→Q(y)] ＞∀x∃y[¬Q(y)⇒¬P(x,y)] でなくて ∀x∃y[¬Q(y)→¬P(x,y)] か…？ 917 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 19:33:37.94 .net] ・xがφの上界である、ということを∀∃を使って書いてみる 　　(xはφの上界という性質をもつ) :⇔ (∀a∈φa≦x) これにより 　　(R∪{+∞，-∞｝がφの上界の集合である) :⇔ ∀x∈R∪{+∞，-∞}(∀a∈φa≦x) ところがR∪{+∞，-∞}のどのようなxについても(∀a∈φa≦x)を真たらしめるxは存在しない. したがって ∀x∈R∪{+∞，-∞｝(∀a∈φa≦x) はxによらず（モデルのとり方によらず）常に偽である. 以上より「R∪{+∞，-∞}がφの上界の集合である」は偽である. あーあ あーーーあ（涙） 918 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 21:18:10.74 .net] >>880 ⇒と→のどっちを含意を表す記号として採用するかなんてどうでも良い 最初にどう決めるかによる 論理学の伝統的な本では⊃と表� 919 名前：Lしてたりする [] [ここ壊れてます] 920 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 21:23:19.00 .net] こんばんわ そうなんですけどメタ記号の⇒も同時に表われてるので改めました 921 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 21:24:44.63 .net] 述語の対偶律の記述って、あれであってますか？ 922 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 21:25:08.24 .net] というか微分積分の勉強のときに使う「ならば」に メタとかオブジェクトとかそういうきちんとした区別は無いよ 923 名前：１３２人目の素数さん mailto:sage [2014/01/28(火) 23:51:20.50 .net] >>892 とりあえず頭は悪いな 924 名前：１３２人目の素数さん [2014/04/16(水) 11:27:05.92 .net] >> 211 松坂「解析入門２」（岩波）のp.85にあるよ。 925 名前：あぼーん mailto:あぼーん [あぼーん] あぼーん 926 名前：１３２人目の素数さん mailto:sage [2014/04/16(水) 22:00:06.71 .net] ユークリッド幾何学と代数学を学べる書籍でおすすめありますか？ 927 名前：１３２人目の素数さん mailto:sage [2014/04/16(水) 22:05:21.31 .net] レベルが違うんでないかい 928 名前：１３２人目の素数さん mailto:sage [2014/04/26(土) 13:16:54.42 .net] ＞ユークリッド幾何学と代数学を学べる書籍 多面体の幾何学みたいなものを考えているのか？ 929 名前：１３２人目の素数さん mailto:sage [2014/05/04(日) 23:01:18.02 .net] ナラニエンガーの定理の英語の綴りを教えて下さい 930 名前：１３２人目の素数さん mailto:sage [2014/05/05(月) 08:51:02.79 .net] 楢煮縁我 931 名前：１３２人目の素数さん mailto:sage [2014/05/09(金) 18:46:52.84 .net] >>901 多様体ですね 932 名前：１３２人目の素数さん [2014/05/20(火) 16:51:37.94 .net] 保守 933 名前：１３２人目の素数さん [2014/07/04(金) 21:14:08.95 .net] 代数 934 名前：１３２人目の素数さん [2014/07/12(土) 22:34:27.18 .net] Naraniengerじゃダメなん？ 935 名前：１３２人目の素数さん [2014/09/01(月) 06:59:59.15 .net] f(x)=0 n角形 f'(x)=0 n-1角形 936 名前：１３２人目の素数さん mailto:sage [2014/09/10(水) 14:57:08.51 .net] 「幾何解析学」ってどこに入るんだ？ ttp://jasmine.media.osaka-cu.ac.jp/ndc_navi/?class=413 937 名前：１３２人目の素数さん mailto:sage [2014/09/11(木) 22:48:21.75 .net] 微分幾何じゃない？ 938 名前：１３２人目の素数さん mailto:sage [2014/09/16(火) 09:27:28.12 .net] >>910 　ありがとう。それで行くよ。 939 名前：○○○○ [2014/09/17(水) 23:07:07.45 .net] 松坂和夫『代数系入門』っていい本なの？絶賛する人もいるけど解説が不親切だという人もいる。 940 名前：１３２人目の素数さん [2014/09/18(木) 10:53:56.74 .net] いい本だよ、ただし行間があるし問題もすぐに解けない 雪見読んだら 941 名前：１３２人目の素数さん [2014/09/18(木) 10:54:26.77 .net] 大福？ 942 名前：１３２人目の素数さん [2014/09/18(木) 12:53:16.24 .net] 面白かったか、雪江だ 943 名前：１３２人目の素数さん [2014/09/18(木) 12:54:29.44 .net] まさかとは思うが、面白いと思って書いたのか？ 944 名前：１３２人目の素数さん mailto:sage [2014/09/18(木) 16:33:51.49 .net] >>914=917だとしたら、コイツは意味わからんな ギャグかましたのは>>914の方なのに 945 名前：１３２人目の素数さん [2014/09/18(木) 16:44:54.93 .net] 運営乙 946 名前：１３２人目の素数さん mailto:sage [2014/09/18(木) 17:47:29.71 .net] こまけーとはいんだよ 947 名前：１３２人目の素数さん mailto:sage [2014/11/25(火) 08:36:08.51 .net] >>915 すげぇ面白かったよ。 948 名前：１３２人目の素数さん mailto:sage [2015/03/30(月) 17:45:57.17 ID:6+VwaBQJ.net] 手間かけさすなよ 949 名前：１３２人目の素数さん [2015/05/19(火) 21:28:55.20 ID:D4zzawHp.net] 雪江に誤答の例がのってたw 950 名前：１３２人目の素数さん mailto:sage [2015/05/26(火) 18:41:11.62 ID:VrCAGtMt.net] 雪江　代数学�U　講義ビデオ　ガロア理論（著書の代数学２相当） https://www.youtube.com/watch?v=pZMusy4HJjI&feature=youtu.be ocw.kyoto-u.ac.jp/ja/06-faculty-of-science-jp/10 951 名前：１３２人目の素数さん mailto:sage [2015/06/24(水) 01:21:40.71 ID:cBfmyh1M.net] >>923 京大様の授業無料で見れるなんて良い時代だなぁ 受験もそうだけどもう予備校って落ちこぼれ専用だよね 952 名前：P? [2015/07/18(土) 16:27:16.79 ID:4xs6XVB0D] >>923 SGE 953 名前：EEEEEEEEEEwwwwww [] [ここ壊れてます] 954 名前：１３２人目の素数さん [2015/07/21(火) 14:55:19.17 ID:L/j+qntv.net] t=0の時に二次元平面上の長さ1の正n角形の頂点A1〜An上に動点x[1]〜x[n]があるとして x[k]は常にx[k+1]のある方向へ(x[n]はx[1]へ)それぞれ速度1で動くとします 時刻tの時にx[1]〜x[n]の凸包で出来る図形をX[t]とすると x[1]〜x[n]が1点に集まるまでX[t]はX[0]と相似である正n角形になります 三次元空間上に動点x[1],...,x[n]があって上と同じようにx[k]がx[k+1]に向かって動くとします この時に上と同じ様にX[t]を定義したとしてx[1]〜x[n]が一点に集まるまで X[t]がX[0]と相似な図形になるためにはx[1]〜x[n]が正n角形上に配置されている必要があるのでしょうか 955 名前：１３２人目の素数さん mailto:sage [2015/07/21(火) 15:36:52.91 ID:pBi48pEm.net] >>924 上位の受験競争のための予備校はとっくにオワコン、せいぜいニッチ商売 落ちこぼれ対策塾はゆとり教育のおかげで市場を伸した 「ゆとり」って、安上がりの教育産業振興が目的だったかもね 東大京大医学部向け予備校だと新規参入が難しい 956 名前：１３２人目の素数さん mailto:sage [2015/07/21(火) 16:43:13.80 ID:JQAQKhUx.net] 受験産業の話をする馬鹿 957 名前：佐藤光@新潟市江南区西町2-2-12 [2015/07/22(水) 12:32:38.46 ID:Sta1ERao.net] Illiteracibility 958 名前：佐藤光@新潟市江南区西町2-2-12 [2015/07/24(金) 17:10:01.27 ID:NwGPVVgG.net] 幅は列の要素では無い 959 名前：１３２人目の素数さん mailto:sage [2015/07/24(金) 17:25:05.68 ID:H2Iwd9gh.net] 厨房が反応ｗｗｗ 960 名前：１３２人目の素数さん mailto:sage [2015/07/27(月) 12:56:45.92 ID:kx8GLlGh.net] 何が面白いんだ？ 961 名前：１３２人目の素数さん [2015/10/30(金) 20:06:37.73 ID:DvPtrRcu.net] 天才のお前らでもFXのテクニカル分析を完璧にはできないだろうなw お前らもFXやってみろ、意外と儲かったぞw FXやるならxmがおすすめ ur0.link/oTBq 【xmのメリット】 　・レバレッジ888倍でできる レバレッジ888倍だとドル円１枚1500円ぐらいで売買できる １枚売買すると１円の変動で１万円の損益になる 　・1000通貨単位から売買できる 1000通貨単位＝0.1枚＝変動幅1円で1000円の損益になる 　・ゼロカット保証 株や為替には追証と言うルールがあり、突然の急激な変動時に口座残高がマイナスになってしまうことがある。 口座残高がマイナスになると追証＝借金が発生し、その借金を期日までに支払わなければならなくなる。 しかし、xmではその追証ルールをなくし、万が一、口座残高がマイナスになっても借金をチャラにしてくれる。 　・口座開設ボーナス 現在口座開設をすると3000円が取引口座に反映される、その3000円でトレードができる。 もちろん利益は出金できる 　・入金ボーナス 100%ボーナス、50%ボーナス、20%ボーナスがある。 100%ボーナス期間に5万円入金すると、ボーナス5万円が貰えるので、10万円の取引ができる。 　・取引ボーナス 取引するたびにボーナスが貰える。 １枚取引すると80円のボーナスが付与される 　・最低入金金額か500円 500円から入金できるので、暇潰し、遊び、練習でFXができる 　・口座開設が簡単 ５分ぐらいで口座開設ができる 【デメリット】 　・出金に時間がかかる 出金依頼をしてから着金まで約１週間はかかる 962 名前：１３２人目の素数さん mailto:sage [2015/10/31(土) 13:43:15. ] [ここ壊れてます] 963 名前：78 ID:0MZW+csg.net mailto: この宣伝て意味あるの？ [] [ここ壊れてます] 964 名前：１３２人目の素数さん [2016/01/07(木) 11:04:45.39 ID:uQFoPq/U.net] 「テクニカル分析を完璧にはできないだろうな」 この一文でテクニカルの使い方を分かってないと宣言してるも同然 当然意味はない 965 名前：１３２人目の素数さん mailto:sage [2016/05/04(水) 21:38:35.06 ID:hqKc0GUs.net] 漠然とした質問ですいません 二次元は正多角形 三次元は正多面体 どちらもすべての頂点から等しい距離に中心点が存在しますが 四次元の正多胞体（超立方体など）にもそういった点は存在するのでしょうか？ 966 名前：１３２人目の素数さん [2016/05/13(金) 09:56:51.65 ID:BZ3Sjsa+.net] 数学科の教員を募集してるぞ 上位私大（関関同立と同等）で名古屋大ギリ落ちも結構いるから、学生の質もまあまあ 人気も規模も中部地区随一で、三菱グループやトヨタグループがバックについてて資本もでかい こんなチャンス、めったにないと思うぞ 名城大学　教員公募について 数理情報分野　教授または准教授（確率論、統計数学、数理ファイナンスなど） www.meijo-u.ac.jp/about/employ/mathematics1.html 計算機を援用した数学　准教授または助教（分野は問わない） www.meijo-u.ac.jp/about/employ/mathematics2.html 数理情報分野　助教（確率論、統計数学、数理ファイナンスなど） www.meijo-u.ac.jp/about/employ/mathematics3.html 代数学分野　准教授または助教 www.meijo-u.ac.jp/about/employ/mathematics4.html 967 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/13(金) 15:39:16.25 ID:ozV2s34P.net] ￥ >23 名前：１３２人目の素数さん ：2016/05/13(金) 15:33:17.81 ID:KGFIjXxE > あほ痴漢野郎、仁さんを舐めすぎ！ > 仁さんは本気だしたら春季賞レベルだよ > おまえなんか片手でひょいだよ > 早く泣いて逃げた方がいいよ！ > 968 名前：１３２人目の素数さん mailto:sage [2016/08/06(土) 11:30:07.48 ID:uJicd49dU] >>936 当然 969 名前：１３２人目の素数さん [2016/10/20(木) 23:06:44.42 ID:3Lq5XESZ.net] NHK教育を見て51248倍賢く手作り(c)2ch.net nhk2.2ch.net/test/read.cgi/liveetv/1476964092/ ベノワ　マンデルブロ フラクタルと凸凹 970 名前：１３２人目の素数さん mailto:sage [2016/10/20(木) 23:14:52.02 ID:AcIvPzVN.net] https://www54.atwiki.jp/anti2ch/pages/19.html 971 名前：１３２人目の素数さん [2016/10/21(金) 20:38:07.10 ID:FAKZkv3r.net] >>936 どう考えてもあるでしょう 972 名前：￥ ◆2VB8wsVUoo mailto:age [2016/10/21(金) 20:40:48.27 ID:bLSYGql/.net] ￥ >673 名前：１３２人目の素数さん ：2016/10/20(木) 08:48:57.82 ID:1+lfflhP > 阪大ごときで研究者目指したらアカンやろw > >674 名前：￥ ◆2VB8wsVUoo ：2016/10/20(木) 08:53:56.11 ID:4i85UFaq > ホウ、なるほどナ。 > > ￥ > >675 名前：￥ ◆2VB8wsVUoo ：2016/10/20(木) 09:21:36.53 ID:4i85UFaq > そやし東大と京大以外の大学院は全部閉鎖せんとアカンわ。無駄やさかいナ。 > > ￥ > >676 名前：￥ ◆2VB8wsVUoo ：2016/10/20(木) 09:28:07.86 ID:4i85UFaq > ほんで宮廷以外の数学科かて全部閉鎖せんとアカンわ。馬鹿板人みたいな > 低能ゾンビばっかし居っても税金の無駄にナルだけで役に立たへんしナ。 > > ￥ > 973 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:42:43.33 ID:bLSYGql/.net] ￥ 974 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:42:59.99 ID:bLSYGql/.net] ￥ 975 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:43:16.19 ID:bLSYGql/.net] ￥ 976 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:43:31.24 ID:bLSYGql/.net] ￥ 977 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:43:47.96 ID:bLSYGql/.net] ￥ 978 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:44:03.28 ID:bLSYGql/.net] ￥ 979 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:44:18.02 ID:bLSYGql/.net] ￥ 980 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:44:34.42 ID:bLSYGql/.net] ￥ 981 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:45:02.98 ID:bLSYGql/.net] ￥ 982 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/21(金) 20:45:22.80 ID:bLSYGql/.net] ￥ 983 名前：１３２人目の素数さん mailto:sage [2016/10/22(土) 00:05:52.66 ID:LVKrnhTd.net] 荒らしが必死 984 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/10/22(土) 03:15:25.07 ID:dMde0TVU.net] ￥ 985 名前：月山流星 ◆eRAv36gioo mailto:sage [2016/11/09(水) 09:40:37.40 ID:Y6O6cEBy.net] ある数の集合からなる数列について、出現する数が「完全にランダム」であるという事は、 それが「超越数」を含めたどんな「関係性より導かれる（現れる）無理数」、 及びそれら無理数を用いて表現されるあらゆる数の並びとも完全には一致しないという事である。 超越数を含む「関係性より導かれる無理数」の各桁の数は、一見してランダムに見えるがそれを求める事が出来るように、 「関係性」より導かれる定義、法則によって決定される。 「完全にランダム」であるという事は、全ての「関係性より導かれる無理数」を決定している既知の物も「未知の物」も含む、 「全ての」関係性より無理数を導く定義、法則から「逸脱している」という事である。 だが、無理数自体の数が無限とは言え、「そんな数」が、本当にこの世界に存在しているのだろうか？ 極小の量子の物理量は「不完全性定理」により、確率による偏りこそあれど「完全にランダム」に決定され、 それを決定する「隠れた変数」「隠れた関係性」などは存在していないという。 円周率にしてもネイピア数にしても、その数字の羅列が意味を持つ事を我々が知る事が出来たのは、 「関係性」から導いた定義、法則からその数字の羅列を導いたからであり、 一見ランダムなその数字の羅列のみからではその意味を見出す事など出来はしなかっただろう。 我々が「自由」であると思い込んでいる我々の「意識」「心」もまた、 その実、外的な刺激や内的な情報処理や状態によって決定されている。 本当に「隠れた関係性」は、存在していないのだろうか？ 不確定性原理の影響を強く受ける光子はしかし、 「光子の逆説」として知られているような、未来を知っている、或いは未来が決定されているかのような不可思議な現象を起こす事が知られている。 986 名前：１３２人目の素数さん mailto:sage [2016/11/09(水) 13:10:12.27 ID:LFkbmQDZ.net] スレ違いだったらすいません。 複素線積分について勉強中なのですが 今ひとつ理解できません。 というのも線積分が何を求めているか 具体的に分からないです...。 高校の教科書みたいにイラストで 誰か説明してくれませんか？ 987 名前：１３２人目の素数さん [2016/12/07(水) 13:29:06.86 ID:yDW6wKWF.net] 以下の問題に対する解答をお願いします。 α ∈ R β > 0 とする。 ∫ x^α / sqrt(1 - x^β) dx from x = 0 to x = 1 がいつ収束するか？ 988 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:04.63 ID:1OWUkAqJ.net] ￥ 989 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:22.26 ID:1OWUkAqJ.net] ￥ 990 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:38.22 ID:1OWUkAqJ.net] ￥ 991 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:39:53.62 ID:1OWUkAqJ.net] ￥ 992 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:40:12.30 ID:1OWUkAqJ.net] ￥ 993 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:40:30.11 ID:1OWUkAqJ.net] ￥ 994 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:40:46.75 ID:1OWUkAqJ.net] ￥ 995 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:41:02.15 ID:1OWUkAqJ.net] ￥ 996 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:41:18.49 ID:1OWUkAqJ.net] ￥ 997 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/07(水) 13:41:37.74 ID:1OWUkAqJ.net] ￥ 998 名前：１３２人目の素数さん mailto:sage [2016/12/08(木) 13:11:19.28 ID:0TQC9B3y.net] 荒らしが必死 999 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/12/08(木) 13:25:42.03 ID:Sxrxk1aF.net] ￥ 1000 名前：１３２人目の素数さん mailto:sage [2016/12/09(金) 13:23:52.64 ID:0R13xCZ/.net] 荒らしが悲惨 1001 名前：１３２人目の素数さん [2016/12/11(日) 18:13:53.13 ID:QFAk1SuW.net] ベータ関数って何の役に立つんですか？ 1002 名前：１３２人目の素数さん [2016/12/11(日) 21:33:58.27 ID:QFAk1SuW.net] 広義積分＋置換積分が混じり合っている場合にはどう考えればいいのでしょうか？ 普通の積分が置換することにより広義積分になったり、 広義積分が普通の積分になったり。 1003 名前：１３２人目の素数さん mailto:sage [2016/12/11(日) 21:54:05.60 ID:ntZzeIvY.net] ここ数日荒らしはお休み 1004 名前：１３２人目の素数さん mailto:sage [2016/12/12(月) 14:50:48.75 ID:6+csIu+x.net] >>973 実例あるんか 1005 名前：１３２人目の素数さん [2016/12/14(水) 13:05:56.99 ID:vRgt/y3s.net] C^ 1006 名前：k級の定義について質問です。 関数fのk階までの偏導関数がすべて存在して連続であるとき、fはC^k級であるという。 これがC^k級の定義ですが、 関数fのk階の偏導関数がすべて存在してそれらのk階の偏導関数がすべて連続であるとき、fはC^k級であるという。 ではダメなんでしょうか？ [] [ここ壊れてます] 1007 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 13:14:40.22 ID:Y4hALjBW.net] いみふ 1008 名前：１３２人目の素数さん [2016/12/14(水) 13:37:30.48 ID:vRgt/y3s.net] 例えば、 C^2級という場合、定義によれば、 fx, fy, fxx, fxy, fyx, fyy がすべて存在して連続であることになります。 でも、 fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし、 fx, fyが連続であることも導かれるように思います。ですので、定義に無駄が あるように思います。 1009 名前：１３２人目の素数さん [2016/12/14(水) 13:51:17.72 ID:vRgt/y3s.net] ある本に、C^∞級の定義として、 fがすべてのr=1,2,3,…に対してr次の偏導関数を有するならば、fはC^∞級であるという。 と書かれています。r次の偏導関数の連続性は仮定されていません。これは問題ないの でしょうか？ 1010 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 13:59:50.66 ID:Y4hALjBW.net] >fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし 暗黙の内に存在を仮定している 1011 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 14:08:25.41 ID:GdpNvdBL.net] 定義の中だけでcloseしなきゃね 1012 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 14:55:26.96 ID:Y4hALjBW.net] 一階微分が定義されるとき二階の微分を考えるんだろう、数学に向いてなさげ 1013 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 14:57:32.91 ID:8w7LjWrM.net] >>982 君も早とちりを治した方がいい 1014 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:07:41.47 ID:Y4hALjBW.net] >>983 なぜ 1015 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:09:35.24 ID:8w7LjWrM.net] >>984 fxx, fxy, fyx, fyy がすべて存在して連続であれば、fx, fyは当然存在しますし、 ★★★fx, fyが連続であることも導かれる★★★ ように思います。ですので、定義に無駄が あるように思います。 1016 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:16:58.12 ID:Y4hALjBW.net] >>985 だからfxyが存在して連続であるの定義を述べてみろよ 1017 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:21:15.44 ID:Y4hALjBW.net] >>983 自己紹介か、納得 1018 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:21:55.32 ID:8w7LjWrM.net] >>986 もしかして、fxやfyが2変数関数でることを見落として、1変数関数の場合と同じように fxの導関数が存在するならfxは連続である と勘違いしてないか？ fx, fyが連続であるとは、（一方の変数を固定するのではなく）2変数関数として連続という意味だぞ 1019 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:22:27.31 ID:Y4hALjBW.net] 定義もろくに分からんやつが定義に拘る、アホだろ 1020 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:23:22.43 ID:Y4hALjBW.net] >>988 なんでもいいから定義を述べてみろよ馬鹿 1021 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:24:10.59 ID:8w7LjWrM.net] ま、結果的に定義には無駄があるんだけどな 「一階微分が定義されるとき二階の微分を考えるので暗黙の内に存在を仮定している」というのは完全な誤解 1022 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:26:14.62 ID:Y4hALjBW.net] 定義がわからなのになぜ定義に拘る、日本語から勉強しなおせアホ、脳みそ空か 1023 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:27:24.66 ID:Y4hALjBW.net] 微分の定義がわかりませーん（笑） 1024 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:29:44.03 ID:Y4hALjBW.net] それは微分できることです（笑笑笑） 1025 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:29:56.41 ID:8w7LjWrM.net] わかってないのは君の方だよ 「一方の変数を固定する」の意味はわかるか？ 偏導関数は一方の変数を固定したときの話 連続かどうかは2変数関数と見たときの話 これで定義は明確だろう 君はこれがわかっていなくて、「偏導関数の存在を仮定するなら当然、元の関数は連続だ」と信じているんだよ 1026 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:30:22.54 ID:Y4hALjBW.net] 微分の定義がわかりませーん（笑） 1027 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:31:36.11 ID:8w7LjWrM.net] ちなみに 「偏導関数の存在を仮定するなら当然、元の関数は連続だ」 には反例がある ググればすぐ見つかるだろう 1028 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:32:12.20 ID:Y4hALjBW.net] 微分の定義が分からないのに二階微分を考えるのでしょうか、アホだからです 1029 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:34:11.39 ID:Y4hALjBW.net] それ君はアホだよ　アホを治したまえ（笑） 1030 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:35:05.38 ID:Y4hALjBW.net] さらばアホよ 1031 名前：１３２人目の素数さん mailto:sage [2016/12/14(水) 15:36:39.32 ID:8w7LjWrM.net] この遣り取り、コピペにするね 1032 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef