1 名前:132人目の素数さん [2021/09/19(日) 18:46:36.69 ID:1ouGePld.net] ※前スレ https://rio2016.5ch.net/test/read.cgi/math/1615604800/
792 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:32:32.22 ID:MXUVHCPv.net] >>771 結局、読んだこともなければ、証明も理解してないんだな 教育的配慮? は?? お前小平の本自体読んだこと無いセリフだな 小平三部作は高校卒業から論文読めるまでの高度な内容をセルフコンテインドで、かつ、初等的な切り口で解説してるんだよ 知らんのに何口出ししてんだよww
793 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:37:41.95 ID:NFzilZg4.net] 小平本の証明を知らないと理解したことにならないのかwwwww
794 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:39:39.69 ID:QSnsPEhH.net] >>774 読んだことないから聞いてんのに もうとっくに理解した証明別の本の著者がどう書いてるか何て基本興味ないんだよ ましてやコーシーの積分定理如きの初歩の初歩で しかしあえてそんな20ページを超える難解なルート選ぶのはそれなりに意味があるのかなと思ったけど、まぁもう出てきそうにないしいいよ 頑張ってその証明突破してね 他の本ではもっとサラッと流してるけど、あえてそういうルート選んでるならそこには小平先生のこだわりがあるんやろ そもそも「この本の証明はむずいからここだけ別本で」とかやってると力つかんからな
795 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:46:51.65 ID:MXUVHCPv.net] >>776 はい、>>761 ,763に矛盾するレスおつwwwwwww アホやこいつw っつーか、興味ないなら最初から入ってくんなよw >>難解なルート、小平のこだわり だから、小平の本は初等的な切り口ってさっき言っただろ、アホww 人の話聞けよwww
796 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:48:48.18 ID:QSnsPEhH.net] >>777 つまりは君はその“初等的な切り口”でつっかえて四苦八苦してるパープーというわけですな
797 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:54:04.87 ID:MXUVHCPv.net] >>778 ワロタwwww ↑このアホ>>752 すら読んでねぇんじゃねぇの?w アホがピキってレス返すから低能晒し続けてるww
798 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:55:29.27 ID:C70j/s00.net] >>770 ていうか、グリーンの定理の証明だね 例えば難波の「複素関数 三幕劇」では 定理のみで証明は微積分の本を見られたしと あっさり省略されてた
799 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:55:37.96 ID:QSnsPEhH.net] >>779 低脳は辛いなぁ
800 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:58:05.52 ID:MXUVHCPv.net] >>780 知らんけど、入門書とかでは初学者にとって厄介な定理は避けられがち 集合論でもZornの補題は結果だけ載せてる本もちらほらある
801 名前:132人目の素数さん mailto:sage [2021/11/23(火) 09:58:31.32 ID:QSnsPEhH.net] >>780 でも微妙な話しだよな 確かにグリーンの定理を使わないってのは言葉尻だけ聞けば魅力だけど、現実問題グリーンの定理は微分幾何やる時の基礎になる話だから結局数学全体見回したら避けては通れない ならグリーンの定理を全く使わないでコーシーの積分定理証明すると同じ事2回やることになる まぁいい復習にはなるけどな
802 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:00:06.71 ID:8thyu8TP.net] おまいら落ち着け
803 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:03:03.69 ID:C70j/s00.net] >>783 いや、グリーンの定理を証明する場合必要になるから 結局真面目に一から証明する「厳密主義」の立場に立つなら どこかでやる必要がある ただ、無制限な「厳密主義」の立場が、常に有意義かといわれれば 正直いってそんなことないけどね 人生の時間は有限だから
804 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:05:59.48 ID:8thyu8TP.net] 三角形分割可能性とかそういう話だろ、知らんけど
805 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:09:04.36 ID:C70j/s00.net] >>782 整列定理とかZornの補題の証明は、例えば、 松坂和夫の「集合・位相入門」に書かれているけど、 集合論専攻のフッチーノ氏によると、いろいろ問題があるらしい ま、そんなこというなら、あんたが日本語でいい教科書かけよ っていいたい気持ちはあるけど (松坂氏は代数学が専門で、Zornの補題をよく使うから その証明を頑張って載せたんだとおもうが、先駆者は そうやって後からきた専門家に踏みつぶされるものらしい)
806 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:14:28.93 ID:8thyu8TP.net] >>770 言い換えに過ぎないだろ、アホか
807 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:17:45.55 ID:8thyu8TP.net] >>787 松坂は素朴な定義しかしていない、それだけの話だろ
808 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:23:57.96 ID:C70j/s00.net] >>789 そんなことはないけど 松坂の本、読んだことない?
809 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:24:56.31 ID:8thyu8TP.net] >>790 集合とはなんだ?
810 名前:132人目の素数さん mailto:sage [2021/11/23(火) 10:36:08.82 ID:C70j/s00.net] >>791 ああ、公理の話をして
811 名前:驕H フッチーノ氏も書いてるけど、通常の数学で使う集合論なら フレンケルの置換公理とか使わないもっと弱い集合論でOK 整列定理もツォルンの補題もそのレベルの話 まあ、フッチーノ氏がいいたいのは 「おれなら、もっといい証明かける」 ってことらしいから 「それなら、あんたが教科書かけよ」 というのがオチなんだけどね (注:フッチーノ氏がいうのは本当のことだと思うけど やっぱりそれは教科書として出版することで 「証明」されると思うけどどうよ?) [] [ここ壊れてます]
812 名前:132人目の素数さん mailto:sage [2021/11/23(火) 11:16:28.58 ID:mkRpaoRQ.net] >>792 もちろん置換公理外して代わりになる弱い別の公理入れなきゃしょうがないけど、その“代わりの公理”がなんなのかわからん事にはコメントしょうもない
813 名前:132人目の素数さん mailto:sage [2021/11/23(火) 11:22:11.73 ID:QSnsPEhH.net] >>785 もちろんグリーンの公式は厳密に証明できんとダメやろ 一から百まで自分が論文で使う定理の証明理解できてる必要はないけど流石にグリーンの公式如きの話で「使えればいい、証明は眺めとけ」なんて通用しない しかしグリーンの公式の証明でも20ページもいかんと思うんだけどなぁ
814 名前:132人目の素数さん mailto:sage [2021/11/23(火) 11:40:28.54 ID:8thyu8TP.net] >>792 どうでもいいわ
815 名前:132人目の素数さん [2021/11/23(火) 11:57:55.31 ID:BmHjxb18.net] そもそもこの話で盛り上げようと思うのが無理
816 名前:132人目の素数さん mailto:sage [2021/11/23(火) 12:05:38.53 ID:8thyu8TP.net] 馬鹿ビッパーだろ
817 名前:132人目の素数さん [2021/11/23(火) 12:17:09.75 ID:12Oamdgh.net] 小平の「私はこんな風に数学をやっています」というエキシビションだろう。
818 名前:132人目の素数さん mailto:sage [2021/11/23(火) 12:29:36.07 ID:8thyu8TP.net] バトル
819 名前:132人目の素数さん mailto:sage [2021/11/23(火) 13:07:46.22 ID:C70j/s00.net] てゆーか、だれも小平の複素解析持ってないんだ 所詮その程度の本なんだろうけどさ
820 名前:132人目の素数さん mailto:sage [2021/11/23(火) 13:15:21.41 ID:cJqwaiEn.net] ある本に以下の記述があります。 「このような分割の存在は小平先生の『複素解析』の第2章でくわしく証明されている。具体的に与えられた個々のγに対しては直感的に 明らかに見えても、一般的な設定で厳密に証明しようとすると現れる困難さと、それが見事に克服される様子を見るためにも一読してほしい。」
821 名前:132人目の素数さん mailto:sage [2021/11/23(火) 13:30:20.88 ID:C70j/s00.net] >>801 タイトル書いてよ
822 名前:132人目の素数さん mailto:sage [2021/11/23(火) 13:52:17.64 ID:mkRpaoRQ.net] ひとつだけ心当たりあるとすればもしかしてジョルダン閉曲線で囲まれた閉領域は閉円盤と同相というJordan Caratheodryの定理をこの段階で証明しようとしてる可能性はあるかなと 辻先生の教科書とかだと正則関数の基本的な定理(コーシーの定理とかも含めて)後の方の章で証明してるけど少なくとも閉曲線定理は関数論使わないで初等的に証明するルートがあるのでそれやってるのかもしれん 定理のステートメント誰も書かんからわからんけどな まぁもういいや
823 名前:132人目の素数さん [2021/11/23(火) 14:25:43.52 ID:7nmaQwyR.net] みんな「もういいや」で済んでいるのが現代数学
824 名前:132人目の素数さん mailto:sage [2021/11/23(火) 14:26:51.38 ID:8thyu8TP.net] はいはい、雑談に戻ってw
825 名前:132人目の素数さん mailto:sage [2021/11/23(火) 15:39:46.84 ID:CoviqcHo.net] 突然草生やして切り返すのって30代が多いのかな 数学のための論理学スレもこのタイプ
826 名前:132人目の素数さん mailto:sage [2021/11/23(火) 16:33:00.44 ID:8thyu8TP.net] 大変だねw
827 名前:132人目の素数さん mailto:sage [2021/11/23(火) 16:54:29.42 ID:IwLZ/CqG.net] 多様体でストークスの定理の時に1の分割使ってちゃんとやるからスルーする方が楽
828 名前:132人目の素数さん [2021/11/23(火) 17:47:34.28 ID:7nmaQwyR.net] 今の人たちはグルサの証明を読んで 感動するということがないのが 可哀想といえば可哀想
829 名前:132人目の素数さん mailto:sage [2021/11/23(火) 19:18:28.74 ID:FV5a11HN.net] >>776 >>794 独学で小平複素解析をやってるの? 証明をすっ飛ばすバカが増えてるのに動機が感心ですね
830 名前: 流れを嚙み砕いて整理したノートをろだに上げればいいのかな? [] [ここ壊れてます]
831 名前:132人目の素数さん mailto:sage [2021/11/23(火) 19:23:15.12 ID:QSnsPEhH.net] >>810 イヤ、オレは小平先生の本持ってないよ 挑戦してるのは ID:MXCVHCPv どうぞそちらとお話し下さいませ 私は興味失いました
832 名前:132人目の素数さん mailto:sage [2021/11/23(火) 21:14:22.25 ID:MXUVHCPv.net] >>810 お?一応読みたいっていうか、見るだけは見るぞ?
833 名前:132人目の素数さん mailto:sage [2021/11/23(火) 21:17:43.21 ID:8thyu8TP.net] 複素多様体を読むときに得する?
834 名前:132人目の素数さん mailto:sage [2021/11/23(火) 21:52:11.94 ID:MXUVHCPv.net] 小平の三部作は語り口がメッチャ平易で理解自体は確かにしやすい でも、文章構成のレイアウト自体は全くと言っていいほど練られてないから、パット見てパッと把握するってのが全く出来ないタイプ 小平の頭の中のものを全部書き出して、最低限の文章構成にだけしたっていう感じ。 だから、読む時は最初からずー−っと読んでいかなきゃならない感じ
835 名前:132人目の素数さん mailto:sage [2021/11/23(火) 21:56:35.84 ID:8thyu8TP.net] ありがとう
836 名前:132人目の素数さん mailto:sage [2021/11/24(水) 10:28:39.17 ID:QtStfstJ.net] 「コーシーの積分定理」を証明するルート [A] Jordan curve theorem ジョルダン閉曲線 1. グリーンの定理(Green 1828, Cauchy 1846)とコーシー・リーマンの関係式(Riemann 1851)を用いる。 [[注意]] グリーンの定理は2次元と3次元でのみ成立する。 2. 連続性の過程を外す(Cauchy–Goursat theorem) [B] ジョルダン閉領域 3. 細胞分割の定理(小平) [C] Jordan–Schoenflies theorem(高次元拡張, Schoenflies problem) 4. Brown 1960 5. Mazur 1959(Morse 1960)
837 名前:132人目の素数さん mailto:sage [2021/11/24(水) 10:43:05.80 ID:wSmLe3hd.net] >>816 へぇ〜、で、それら5条件が何らかの条件下で同値になったりして?
838 名前:132人目の素数さん mailto:sage [2021/11/24(水) 10:45:41.07 ID:r6dT+Ipz.net] >>816 ほう
839 名前:132人目の素数さん [2021/11/24(水) 13:51:41.30 ID:qo2nkaQr.net] 齋藤正彦著『線型代数入門』のp.136に以下の記述があります。 「 実線形空間の線型変換 T の場合、任意の基底に関する T の行列を A とすれば、 A は実行列であり、実数 α が T の固有値であるということは、 実係数の斉次一次方程式 (α*E - A) * x = 0 が、自明でない実解を持つということである。第2章§2注意2(p.58)により、これは α が実特性根 であるということと同値である。証明終。 」 第2章§2注意2(p.58)とは、 A を実行列としたとき、 A * x = 0 の解は複素ベクトルにはならず、実ベクトルになるというものです。 上の齋藤さんの記述の「第2章§2注意2(p.58)により、これは α が実特性根であるということと同値である。」って必要ですか? 当たり前のことですよね? 第2章§2注意2(p.58)というのはなぜ書いたのかが分かりません。非常に自明なことです。
840 名前:132人目の素数さん [2021/11/24(水) 13:55:49.56 ID:qo2nkaQr.net] A * x = 0 の解は、 A の成分と四則演算のみを使って表わされるから自明なことです。
841 名前:132人目の素数さん [2021/11/24(水) 19:16:35.15 ID:V7507mjy.net] >>754 やっとステートメントを確認したよ このくらい全文書いてやればいいのに 何もったいぶってんだろうな ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 小平邦彦「複素解析 T」 第2章 Cauchyの定理 §2.2 細胞分割 p87 定理2.1 有界閉領域[D]の境界がどの二つも共通点を持たない 有限個の区分的に滑らかなJordan閉曲線からなっているならば [D]は細胞分割可能である。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
842 名前:132人目の素数さん mailto:sage [2021/11/24(水) 19:20:06.90 ID:V7507mjy.net] >>821 定理2.1の証明は (T)[D]の境界がただ一つの滑らかなJordan閉曲線Cからなる場合 (p87-98) (U)[D]の境界がただ一つの区分的に滑らかなJordan閉曲線Cからなる場合 (p98-106) (V)[D]の境界がどの二つも共通点を持たない 有限個の区分的に滑らかなJordan閉曲線からなる場合 (p106の最終4行分) からなるが、(V)は(T)(U)の全く局所的な考察からなる証明より明らか となってるので実質的には(T)(U)だけ
843 名前:132人目の素数さん mailto:sage [2021/11/24(水) 20:55:54.32 ID:f0SFCSoY.net] >>822 細胞分割の定義は? ググっても出てこないから小平先生のその本だけで通用する造語じゃない?
844 名前:132人目の素数さん mailto:sage [2021/11/24(水) 20:59:12.46 ID:f0SFCSoY.net] あ、イヤCW複体の意味でのcell decompositionかな?
845 名前:132人目の素数さん mailto:sage [2021/11/24(水) 21:12:41.25 ID:wSmLe3hd.net] >>821 ,823 無駄無駄 どうせそんな労力をここの奴らに払った所で、教えて君が相手の善意に頼るだけで何の解決の見込みもないから。 だから俺は書かなかったんだよ 善意の労力が無駄になるアホらしさ
846 名前:132人目の素数さん [2021/11/24(水) 21:49:53.92 ID:qo2nkaQr.net] 齋藤正彦著『線型代数入門』ですが、p.136の[1.4]について、 「 これと[1.2]あるいは[1.2]'とを合せ考えれば、つぎの定理が得られる。 」 と書いてありますが、飛躍が多すぎます。
847 名前:132人目の素数さん mailto:sage [2021/11/24(水) 21:52:25.96 ID:Cl2WUGcg.net] セルじゃうまく積分できないから凸セルなりなんなりの仮定を付けてるはず
848 名前:132人目の素数さん mailto:sage [2021/11/24(水) 23:32:08.28 ID:oL+hSP4F.net] 小松、中岡「位相幾何学1」 これって「位相幾何学2」は出てますか? 予告にはあるけど見たことないから。お願いします。
849 名前:132人目の素数さん mailto:sage [2021/11/24(水) 23:34:50.56 ID:Cl2WUGcg.net] >>828 出てない
850 名前:132人目の素数さん mailto:sage [2021/11/24(水) 23:38:48.87 ID:sbDu1mMa.net] >>829 俺も
851 名前:132人目の素数さん mailto:sage [2021/11/24(水) 23:50:21.03 ID:oL+hSP4F.net] >>829 早速どうもありがとう。
852 名前:132人目の素数さん mailto:sage [2021/11/25(木) 00:35:07.54 ID:dblCQj5h.net] いえいえ(>_<)
853 名前:132人目の素数さん mailto:sage [2021/11/25(木) 03:52:53.27 ID:fo4CvcYX.net] >>824 正解。これはその本だけで通用する造語ではありません。 セル分割、細胞分割(Cellular decomposition) ttps://en.wikipedia.org/wiki/Cellular_decomposition 胞複体、CW複体 ttps://ja.wikipedia.org/wiki/CW%E8%A4%87%E4%BD%93 >>816 [B][C]は多様体での議論になっていて、[B]小平はワイル「リーマン面」よりも現代的な方法を選んでいる。 リーマン面を1次元複素多様体として歴史上最初に定義したのが上記ワイル本です。
854 名前:132人目の素数さん mailto:sage [2021/11/25(木) 06:12:15.87 ID:sLIgcZfQ.net] >>825 たった3行のステートメント書くことのどこが「労力」なんだろう? 文字数数えたら、100文字もなかったぞ
855 名前:132人目の素数さん mailto:sage [2021/11/25(木) 06:19:31.67 ID:LoVE2yKX.net] >>834 お前らみたいなしょーもない奴ら相手に一々テキスト参照しながら文章を書くのが面倒なわけで、 50文字でも労力なんだよ
856 名前:132人目の素数さん mailto:sage [2021/11/25(木) 09:13:56.40 ID:085nmFs+.net] 一般のCWセルの意味なら分割するまでもなく単連結領域がそのままセルになってるから そもそも細胞分割なんて日本語はセル分割の訳語として普通は使わないし 単にセル分割って言えば一点の和とすれば可能なのは明らかなんだからそんな意味で使うわけがない
857 名前:132人目の素数さん mailto:sage [2021/11/25(木) 09:41:57.37 ID:nRiYrSrd.net] ちゃんと数式を書くのは手書きと違って大変
858 名前:132人目の素数さん mailto:sage [2021/11/25(木) 09:44:22.98 ID:zlRZGCE5.net] >>836 そ
859 名前:うなんだよ そこがちょっと疑問 前の方に書いたJordan-Caratheodoryの定理は CがCP1の単純閉曲線ならCP1\Cはちょうど2つの連結成分U1U2を持ち(ここまでかJodanの定理)さらにUi∪Cは閉円盤と位相同相になる まで言える コレが言えてしまえばCから一点Pを選んで C ∪ U1 .= P ∪ (C\P) ∪ U1 がCW分割になる 今物が手元にないからハッキリしないけどJordan-Caratheodoryは初等的に証明するルートがあったはずでそれやってるのかもしれない 集合論的位相幾何学って本に載ってて衝動買いしてしまった記憶がある すげぇ古い本 もしかしたらこの本が書かれた当時とか小平先生が本執筆された前後の時代ではやってたのかもしれないな 誰の証明だったか忘れたけど確かアレキサンダーの補題とかなんとか使うんだったような記憶がある [] [ここ壊れてます]
860 名前:132人目の素数さん mailto:sage [2021/11/25(木) 10:01:24.08 ID:1xkUz6JB.net] >>591 ACを前提にしないと、数多くのの定理が証明出来ない。 このことから、ACに気遣う事が殆どなくなった。
861 名前:132人目の素数さん [2021/11/25(木) 10:03:05.24 ID:SCk3DyJw.net] 齋藤正彦著『線型代数入門』ですが、p.136の[1.4]の後に、 「 とくに A が実行列で、その特性根がすべて実数ならば、 P は実正則行列に取れる。 」 などと書かれています。 P は実正則行列に取れるなどと書いていますが、必然的に実行列になりますよね。
862 名前:132人目の素数さん [2021/11/25(木) 10:04:34.75 ID:SCk3DyJw.net] 逆に、 P は複素正則行列には取れないですよね。 この本の中でも、第5章の出来が特に悪いように思います。
863 名前:132人目の素数さん [2021/11/25(木) 10:09:19.23 ID:SCk3DyJw.net] 齋藤正彦著『線型代数入門』ですが、どこがいいのか分かりません。 決して完成度の高い本ではないと思います。 佐武一郎著『線型代数学』はいい本だと思いますし、完成度も高いと思います。 脚注を読むと著者の細かいことまで色々と考えていることが分かります。 そして、一番いい線形代数の本はやはりSheldon Axlerの『Linear Algebra Done Right 3rd Edition』だと思います。 すっきりしていて非常に明快な本です。
864 名前:132人目の素数さん mailto:sage [2021/11/25(木) 10:19:33.84 ID:OvhRzUaO.net] なんで大学一年でなんとなく勉強する本にそんな無駄なこだわりを持つんです? もっと新しいことに挑戦したほうがずっと生産的ですよ
865 名前:132人目の素数さん mailto:sage [2021/11/25(木) 10:22:08.61 ID:nRiYrSrd.net] アスペだから
866 名前:132人目の素数さん mailto:sage [2021/11/25(木) 10:30:09.36 ID:nRiYrSrd.net] 荒らしに「正しい事」を説く
867 名前:132人目の素数さん mailto:sage [2021/11/25(木) 15:11:30.93 ID:fo4CvcYX.net] >>836 ID:085nmFs+ >>838 ID:zlRZGCE5 おまえら、本当に、いい加減にしてほしいな。反論するなら一度は小平本を読んでこいよ。いったい何日めだよ。 きちんと読まないなら誰がみても>>825 >>835 の言い分の方が正しいじゃないか。ここは学問板なんだぜ。アスペと同じで迷惑なんだよ。
868 名前:132人目の素数さん mailto:sage [2021/11/25(木) 15:18:17.81 ID:cS0IeEa7.net] >>846 反論? 反論なんかしてないよ そもそも反論しようにもステートメントも正確にわからんし そして今まで上がった情報見て上がってきたステートメント見る限りわざわざ本取り寄せて読むほどのものでもなさそうだし 「オレこんな難しい本読んでんだぜ?すごいだろ?」止まりの話やろ どうせこんなレベルで行き詰まってるやつ後2、3年で消えて無くなるしな
869 名前:132人目の素数さん mailto:sage [2021/11/25(木) 16:36:46.37 ID:fo4CvcYX.net] 読むほどのものでもなさそうなんて捨て台詞を吐いている不勉強なクズ。 毎年、そんなのが数多く自殺して、その結果、2、3年で消えて無くなるんだよ。 おまえのような人間がな。m9(^Д^) >>847
870 名前:132人目の素数さん mailto:sage [2021/11/25(木) 16:41:28.99 ID:cS0IeEa7.net] >>848
871 名前:S配なさんな オレもう食えてるから 就職頑張ってね〜 [] [ここ壊れてます]
872 名前:132人目の素数さん mailto:sage [2021/11/25(木) 16:45:37.71 ID:fo4CvcYX.net] ただの無学な荒らしかよ。社会人なら荒らしに来るな。常識がなさすぎるわ。
873 名前:132人目の素数さん mailto:sage [2021/11/25(木) 16:50:39.34 ID:085nmFs+.net] 自分のアホな発言を指摘されたからって発狂するのは見苦しいぞ
874 名前:132人目の素数さん mailto:sage [2021/11/25(木) 16:56:25.53 ID:fo4CvcYX.net] IDコロコロ自作自演して滑稽だな、無学な荒らし。勤務時間なら真面目に労働してろよ。 m9(^Д^) プギャー
875 名前:132人目の素数さん mailto:sage [2021/11/25(木) 16:57:31.07 ID:cS0IeEa7.net] 無学なアラシw お前その無学な荒らしの話なんもわかってないやろ? cw-complexもJordan-Caratheodoryの定理も聞いたことないんやろ? 上の方で出てきた位相幾何学の大家Alexander知ってる? Alexander trickって言われて何のことかわかる? この話に関わる面白いテクニックやけど? まぁ頑張ってその本読破してくださいな 学生時代のいい思い出作りにはなるでしょ
876 名前:132人目の素数さん mailto:sage [2021/11/25(木) 19:18:07.43 ID:sLIgcZfQ.net] >>823 まず 細胞の定義 §2.2 細胞分割 a)細胞 Γを矩形K={(t,s)|a≦t≦b,0≦s≦1}から複素平面Cへの連続写像とし Kにおいて偏導関数Γt(t,s),Γs(t,s),Γts(t、s)=Γst(t,s)が存在して 連続であるとする(p80) 矩形Kの内部を E={(t,s)|a<t<b,0<s<1} 辺を L1={(t,0)|a≦t≦b} L2={(b,s)|0≦s≦1} L3={(t,1)|a≦t≦b} L4={(a,s)|0≦s≦1} とする(p82) (p83) 定義2.4 Γが次の条件(i)-(iv)を満たすとき、 Γ(K)を滑らかな細胞、あるいは単に細胞という (i)Γ(K)は閉領域、Γ(E)はその開核、すなわちΓ(K)の内点全体の集合であって Γ(K)の境界は区分的に滑らかなJordan閉曲線である (ii)各Γ(Lk)は1点であるか滑らかなJordan曲線であるかのいずれかである (iii)KからΓ(Lk)が一点となる辺Lkを全て除いた集合をK''とすれば、 K''上では写像Γ;K''→Γ(K'')は1対1であって、各点(t,s)∈K''において ImΓs(t,s)~Γt(t、s)>0 (iv)sを固定したとき、tの関数Γ(t,s)が定数である場合を除けば、 a≦t≦bのときつねにΓt(t,s)≠0 同様に tを固定したとき、sの関数Γ(t,s)が定数である場合を除けば、 a≦t≦bのときつねにΓs(t,s)≠0である
877 名前:132人目の素数さん mailto:sage [2021/11/25(木) 19:50:41.83 ID:sLIgcZfQ.net] >>854 そして細胞分割の定義 §2.2 細胞分割 b)細胞分割 (p86) [D]を複素平面C上の有界閉領域、Dをその開核とする 定義2.5 [D]をどの二つも内点を共有しない 有限個の細胞Γλ(Kλ),λ=1,・・,μの合併集合として [D]=Γ1(K1)∪・・・∪Γμ(Kμ)と表して、 Γλ(Kλ)とΓν(Kν),λ=νが共通点をもつならば Γλ(Kλ)∩Γν(Kν)は1点であるかまたは 滑らかなJordan曲線|Cλν|であるようにできるとき [D]は細胞分割可能であるといい 細胞の集合{Γ1(K1),・・・,Γμ(Kμ)}を[D]の細胞分割という
878 名前:132人目の素数さん mailto:sage [2021/11/25(木) 21:56:50.67 ID:ZO8Klj1m.net] graph minor theorem とか 有限単純群の分類定理の簡単で短い証明を教えてくれ
879 名前:132人目の素数さん mailto:sage [2021/11/26(金) 04:44:31.38 ID:Ab/o4WEg.net] >>854 ,855 長い長い書き写しご苦労さん^^ >>823 みたいなただ単に聞きたいだけのクズ相手に善意でそんな事して、メリットあった?(笑) だから言っただろ??>>825 ,835ってwww 相手のレスから、答える価値のあるレスかどうかを見極めろwwwwww
880 名前:132人目の素数さん [2021/11/26(金) 06:06:15.50 ID:MIEcZKKO.net] >>857 書き写すだけなら考える労力ないからいいんじゃね? ところで君、>>752 だろ? 証明読むとき、君は一切書き写さないの? それじゃ、わかるわけないよな そんなサボった読み方して 結局中身全然理解できないんじゃ メリットないじゃん そう思わん? 相手なんか関係ないんだよ 自分だけのために必要な汗をかきなよ
881 名前:132人目の素数さん [2021/11/26(金) 06:13:33.58 ID:MIEcZKKO.net] >>858 ところで、なんで細胞分割するかといえば [D]におけるCauchyの定理を証明するのに [D]の境界上での積分を、 細胞分割した各細胞の境界上での積分の和に分解し、 細胞でCauchyの定理が成り立つから、 [D]でも成り立つ、という論法を用いるため わかってる? 2021/11/22(月) ID:CvOg8nhD
882 名前:132人目の素数さん mailto:sage [2021/11/26(金) 06:33:02.69 ID:Ab/o4WEg.net] >>859 懐かし〜〜、隣り合う細胞同士では逆向きの曲線によって積分がキャンセルされてゼロになるっていう議論 幾度となく聞いてきた覚えがあるわ
883 名前:132人目の素数さん [2021/11/26(金) 08:06:32.12 ID:MIEcZKKO.net] >>860 確かに、 「隣り合う細胞同士では逆向きの曲線によって 積分がキャンセルされてゼロになる」 しかし、それはそうなるように細胞分割できて初めて成立する それを保証するのが、>>821 の定理2.1 分かってる? 2021/11/22(月) ID:CvOg8nhD こと 今日のID:Ab/o4WEg
884 名前:132人目の素数さん mailto:sage [2021/11/26(金) 09:09:31.62 ID:Ab/o4WEg.net] >>861 は?分かってなきゃ>>860 みたいなレスできねぇだろうが 何言ってんだお前?
885 名前:132人目の素数さん mailto:sage [2021/11/26(金) 09:23:25.39 ID:ocF/mwSr.net] むしろわかってないから>>860 、としか見えん
886 名前:132人目の素数さん mailto:sage [2021/11/26(金) 09:26:10.58 ID:Ab/o4WEg.net] >>863 だったらお前の国語力がなさすぎる 小学校からやり直しましょう
887 名前:132人目の素数さん mailto:sage [2021/11/26(金) 09:26:54.54 ID:HyIX7gx6.net] ID:Ab/o4WEg が何もわかってないとは言わないが 今のスレの流れで何を問題にしているのかは理解できてないな
888 名前:132人目の素数さん mailto:sage [2021/11/26(金) 09:33:03.54 ID:F2Ojisgt.net] [NGID:ID:Ab/o4WEg]は馬鹿ビッパーだろ
889 名前:132人目の素数さん mailto:sage [2021/11/26(金) 09:38:35.89 ID:Ab/o4WEg.net] >>865 ワロタww んじゃ、何を問題にしてる?
890 名前:132人目の素数さん mailto:sage [2021/11/26(金) 11:36:59.70 ID:MIEcZKKO.net] >>867 >何を問題にしてる? 君 11/22の>>752 で書いてるじゃん 細胞分割可能定理って 領域[D]が細胞に分割可能ってことだよ もしかして自明だと思ってる? こんなことの証明に20pも要する小平邦彦はアタマ悪い、と アタマ悪いのはどっちだろうね?
891 名前:132人目の素数さん mailto:sage [2021/11/26(金) 11:41:17.08 ID:Ab/o4WEg.net] >>868 何かもう相手するのもアホらしいんだが、 俺は自分で>>752を言い出しておきながら、自分で何を問題にしてるかがわからなくなってる って、お前はいいたいわけ?w いや、もうアホらしすぎるw
892 名前:132人目の素数さん mailto:sage [2021/11/26(金) 11:45:30.79 ID:F2Ojisgt.net] >>869 逃げるのかw