22/07/29 22:10:06.10 nApN5BOK.net
>>944
問題文の原文を見せて欲しい
「一般には成り立たない」なのか「どんな場合にも成り立たない」なのかハッキリしていない
980:１３２人目の素数さん
22/07/29 22:53:15.95 8fr3lszP.net
>>945
Hatcherの代数トポロジーのp.205(pdfではp.214)
URLﾘﾝｸ(pi.math.cornell.edu)
の問題7です
コホモロジーの公理はp.202にあり
連結準同型以外の部分の写像は関手hで誘導したhomと指定されてる状況です
981:１３２人目の素数さん
22/07/29 22:55:40.11 8fr3lszP.net
>>945
あと示すのは一般には成り立たないの方かと思います
ねじれのない空間の場合にはそのまま特異コホモロジーの完全列になるので
982:１３２人目の素数さん
22/07/30 00:01:41.80 uNuHzJ9q.net
なら探してみるのはホモロジー群がねじれ群でHom(-,ℤ)作用させて消えてしまう項がある話でしょ
例えばℝ͏
983:3;²をメビウスバンドMと円盤D²に分ける ただしM∩D = S¹は円周 Mayer–Vietoris列 → H₁(S¹) → H₁(M)⊕H₁(D²) → H₁(ℝℙ²) → H₀(S¹) → H₀(M)⊕H₀(D²) → H₀(ℝℙ²) は長完全列 → 0→ 0 ⊕ 0 → 0 → ℤ → ℤ ⊕ 0 → ℤ/2ℤ → ℤ → ℤ ⊕ ℤ → ℤ 誘導するけどコレにHom(-,ℤ)を作用させると ← 0← 0 ⊕ 0 ← 0 ← ℤ ← ℤ ⊕ 0 ← 0 ← ℤ ←ℤ ⊕ ℤ ←ℤ というchainができるけど2段目のℤ ← ℤ ⊕ 0は2倍写像で全射では無い、しかし上の段は全部0なので完全列になってない
984:１３２人目の素数さん
22/08/01 06:12:22.16 dHWXTxuI.net
複素関数e^zは一価関数なのに
a≠eのa^zは多価関数ってなぜ？
たとえば1^i=e^(2nπii)=e^(-2nπ)
eもloge=1+2nπiなのだから
e^i=e^(-2nπ+i)=e^(-2nπ)(cos1+isin1)なのでは？
985:１３２人目の素数さん
22/08/01 08:07:18 wqMjLP/J.net
>>949
> eもloge=1+2nπiなのだから
ここ
986:１３２人目の素数さん
22/08/01 09:52:33.50 RAnwIYmq.net
>>950
?
987:１３２人目の素数さん
22/08/01 12:00:18.56 0c3xP5Im.net
e^zの定義はe^{zloge}ではなかったと思う
988:１３２人目の素数さん
22/08/01 16:32:43.05 Gz24ryfT.net
多変数の広義積分のところを読んでいるのですが，おそらく n=1 の場合を考えると，1変数の
微分積分でのよくある広義積分の定義と一致すると思います．
多変数の広義積分のやり方のほうが分かりやすいと思います．
1変数の場合も多変数に通用するやり方で広義積分を論じている本はありますか？
989:１３２人目の素数さん
22/08/01 16:37:24.46 ni+squ1I.net
>>953
ちょっと質問の意味が分かりにくい
990:１３２人目の素数さん
22/08/01 18:40:08.60 Gz24ryfT.net
今，読んでいる本で，非負連続関数に対する広義積分の定義が以下です：
A を R^n の開集合とする．
f を A 上の非負連続関数とする．
∫_A f を sup {∫_D f | D ⊂ A はコンパクトな体積確定集合} と定義する．
D に有界という条件を課すのは有界な集合上でしか普通の積分は定義していないので，当たり前です．
D に閉集合という条件を課すのはなぜでしょうか？
991:１３２人目の素数さん
22/08/01 18:49:19.99 XaA77f47.net
>>955
具体例で考えてみよう
特にn=1のときを
992:１３２人目の素数さん
22/08/01 18:55:38.08 hzbZ4qDF.net
>>953
一致しません。
sin x/xとか高次元の定義で広義積分可能かどうか判定してみれば？
993:１３２人目の素数さん
22/08/01 23:13:44.13 dHWXTxuI.net
>>952
a^zの定義と違うんならe^zと書くべきでないと思う
exp(z)が妥当でないかしら
994:１３２人目の素数さん
22/08/02 01:43:59.32 RH9zMX6s.net
なかやまきんに君が吉本退社〝バブル〟告白
ユーチューブ収入は７０００万円
きんに君は「世界でも活躍できるようになりたい。その夢をかなえたくて
退所した」と説明。「アメリカの筋肉情報って、めちゃめちゃ面白い。
スーパーのプロテインのゾーンもめちゃめちゃある。壁一面ドーン！と。
めちゃめちゃ面白くないですか？」と目を輝かせ、今後は筋肉知識を広げ、
新たな情報を配信していきたいと語った。
すでに「結構、メールとかも頂いて。ＣＭ依頼とか、筋肉系なので
食品とか」と、仕事依頼は来ていることも明かした。
退所発表後の反響については「驚くことに大変反響いただきまして、
ＣＭ依頼とかイメージキャラクターの依頼が７～８件来てるんです。
この２、３日で」とバブル到来〟をにおわせた。さらに年収は？と
聞かれると「めちゃくちゃ貯金、あります！貯金の金は筋肉の筋！」
と鍛えた体があると訴え、スタッフを笑わせていた。
995:１３２人目の素数さん
22/08/02 08:45:53.27 XdN9uWcE.net
>>958
eとaは意味が違うのでOK
996:１３２人目の素数さん
22/08/02 20:21:12 9uFfoMVa.net
>>960
は？
同じ複素数ですが？
997:１３２人目の素数さん
22/08/02 21:10:36.68 XdN9uWcE.net
でも意味が違う
998:１３２人目の素数さん
22/08/02 21:12:57.58 9uFfoMVa.net
>>962
説明して
999:１３２人目の素数さん
22/08/02 21:13:25.31 9uFfoMVa.net
なぜa=eだけ特別扱いする理由があるのか
1000:１３２人目の素数さん
22/08/02 21:18:20.38 XdN9uWcE.net
e^zはeの一つの定義を特殊値とする
べき級数として定義する。
例えばRudinの本はこのやり方を採用している。
本来はWeierstrass流であり、円周率もe^{iz}+1の
最小の正の零点として定義する。
1001:１３２人目の素数さん
22/08/03 00:28:42.85 jPCE0p4O.net
>>949
単にぴったり一致するからじゃないの？
1002:１３２人目の素数さん
22/08/03 00:52:20.36 xa6kyHcD.net
まぁe^zを多価関数とみなしたい場合が出てきたらその旨明記して使えばいいんじゃやいの？
単にそうすべき場面がほとんどないから使われないだけでしょ？
1003:１３２人目の素数さん
22/08/03 03:26:30.86 miPVTGIx.net
>>966
なら1^z=1とすればピッタリね
1004:１３２人目の素数さん
22/08/03 16:35:15.31 AGcJG1sk.net
>>単にぴったり一致するからじゃないの？
>>なら1^z=1とすればピッタリね
「ぴったり」と「ピッタリ」は
かなり意味が違うようだね
1005:１３２人目の素数さん
22/08/03 20:05:51.19 miPVTGIx.net
>>969
同じだケド？
1006:１３２人目の素数さん
22/08/03 20:48:46.25 22Dgj5ca.net
>>970
そう断言できるのは
966と968が自演であることの証拠と考えてよいか？
1007:１３２人目の素数さん
22/08/03 21:09:27.41 Lp+R2g1e.net
つまり966=969=968
1008:１３２人目の素数さん
22/08/03 21:48:50.80 miPVTGIx.net
>>971
はぁ
自演の必要ってあるのかｗ
1009:１３２人目の素数さん
22/08/03 21:52:56.22 miPVTGIx.net
>>969,971
e^zが一般の複素数aについてのa^zの定義と異なるのは
「ピッタリ一致するから」と>>966が書いていたから
それは実数関数と「ピッタリ一致する」という意味だと解釈
つまり1^z=1が実数関数1^xの解析接続として「ピッタリ一致」しているわけ
1010:１３２人目の素数さん
22/08/03 21:56:18.06 22Dgj5ca.net
>>974
そう解釈しているなら全く問題ない。
1011:１３２人目の素数さん
22/08/03 22:28:59.17 miPVTGIx.net
>>975
しかし複素函数の1^zは1ではなくて多価関数
1^z=1とすると間違いとされる
e^zとは書くべきでなくΣz^n/n!=exp(z)と書くべき
そしてe^zも多価関数を表すとするべき
工学でも物理でもe^xもあまり使わない
exp(x)が妥当だということが数学以外でのコンセンサス
1012:１３２人目の素数さん
22/08/03 22:57:46 22Dgj5ca.net
>>976
工学や物理学の都合もあるだろうが
数学者たちの感情を満足させるためには
EulerやWeierstrassらの記号法を残しておかねばならない
1013:１３２人目の素数さん
22/08/04 01:39:47 JNkykMa9.net
数学での複素表記 a+bi i:虚数単位
電気電子工学での複素表記 a+jb j:虚数単位 i:交流電流
1014:１３２人目の素数さん
22/08/04 02:13:18.03 2zMvcFob.net
>>976
どこから来てる自信か知らんが数学の話で工学や物理の人間が数学畑の人間に“こうすべき”などという言葉がはけるのがアンポンタン
1015:１３２人目の素数さん
22/08/04 06:19:38.37 oiFZFGDw.net
数理のウィングが狭くてみみっちい
1016:１３２人目の素数さん
22/08/04 08:08:51.12 iJDYaUtB.net
>>955,957
�
1017:りがとうございました．
1018:１３２人目の素数さん
22/08/04 09:13:47 cn+b/DZH.net
電気電子工学ではΩをオームと読む
1019:１３２人目の素数さん
22/08/04 10:08:54.00 6TVllEjA.net
そりゃ人名のOhmが元だし工学に限らず抵抗の単位をオメガなんて読むやつなんておらん
記号Ωを使った理由は知らんが
1020:１３２人目の素数さん
22/08/04 12:33:09.92 iJDYaUtB.net
松坂和夫著『解析入門下』
A を有界集合とする．
K_A を A の定義関数とする．
A ⊂ I なる区間 I をとるとき， K_A の I における上積分および下積分の値は， I によらず A によって一意的に定まる．
という内容の補題があります．
その証明のはじめの部分ですが，
「
I, J をともに A を含む区間とする．はじめに I ⊂ J である場合を考える．
その場合，上の右の図のように J を網状分割すれば， I 以外の長方形の部分では K_A = 0 であるから，
上積分，下積分はともに 0 に等しい．
」
などと書いています．
I の境界と A の共通部分が空集合でない場合には，松坂さんの論法は成り立ちません．
デリケートな議論をしているのに，なぜこんなにも不注意なのか全く理解できません．
1021:１３２人目の素数さん
22/08/04 12:47:12.51 iJDYaUtB.net
その後，
I, J をともに含む区間 K を作り，↑の結果を適用して，
K_A の I 上の上下積分と J 上の上下積分は等しいことを証明しています．
K はいくらでも大きな区間をとってもいいので，
I をその内部に含む J を考え， I を少し大きくした I' ⊂ J を考えて，
K_A の I 上の上下積分と I' 上の上下積分が等しいことを示せばいいですね．
I' を限りなく小さくすれば， K_A の I 上の上積分と I' 上の上積分の差はいくらでも小さく
なるのでこれらは等しいことが分かります．
1022:１３２人目の素数さん
22/08/04 12:48:46.06 iJDYaUtB.net
訂正します：
その後，
I, J をともに含む区間 K を作り，↑の結果を適用して，
K_A の I 上の上下積分と J 上の上下積分は等しいことを証明しています．
K はいくらでも大きな区間をとってもいいので，
I をその内部に含む J を考え， I を少し大きくした I' ⊂ J を考えて，
K_A の I 上の上下積分と I' 上の上下積分が等しいことを示せばいいですね．
I' を I に限りなく近づければ， K_A の I 上の上積分と I' 上の上積分の差はいくらでも小さく
なるのでこれらは等しいことが分かります．
1023:１３２人目の素数さん
22/08/04 13:05:17.14 ceKYIdZQ.net
また統失手帳持ちのアホか
1024:１３２人目の素数さん
22/08/04 13:14:51.48 iJDYaUtB.net
松坂和夫さんの『解析入門』シリーズは，全体としての統一感がないですよね．
一人の著者が書いた本とはとても思えません．
Walter Rudinの本と酷似している部分は既に確認済みです．
1025:１３２人目の素数さん
22/08/04 21:33:57.86 d/omH9Ei.net
>>979
いや
数学だけが過去に固執している
exp(z)を使うのがベスト
同様にして
1+2+3+…=ζ(-1)=-1/12
とか部外者を煙に巻くのもいかがなものかね
1026:１３２人目の素数さん
22/08/04 21:44:45.24 RodH6OOt.net
>>989
そういうアンポンタンな通俗の読み物ばっかり読んでキッチリした数学書読んでないからそんなアホなことがほざけるんだよバーカ
1027:１３２人目の素数さん
22/08/04 22:02:16.08 d/omH9Ei.net
>>990
おやおや
ζ関数はs>0であるときのζ(s)=1+2^(-s)+3^(-s)+…を解析接続することでζ(-1)の値を考えることができるようになるわけだが
それは1+2+3+…であるわけではない
あくまでs>0でのζ(s)を解析接続した複素函数のs=-1のときの値ζ(-1)にすぎない
1028:１３２人目の素数さん
22/08/04 22:14:02.10 ekAfvRNC.net
だな
1029:１３２人目の素数さん
22/08/04 22:18:59.53 RodH6OOt.net
だからそれが素人相手の通俗本だってんだよバーカ
1030:１３２人目の素数さん
22/08/04 22:39:45.38 d/omH9Ei.net
>>993
>素人相手の通俗本
だからそれを止めろっていっているのがワカラン金
1+2+3+…=-1/12
がまさにそれだ
止めるべき
1031:１３２人目の素数さん
22/08/04 22:41:20.73 T2kTsJyE.net
＞それは1+2+3+…であるわけではない
＞あくまでs>0でのζ(s)を解析接続した複素函数のs=-1のときの値ζ(-1)にすぎない
物理出身なら、アーベル総和法とかボレル総和法くらい知ってそうなもんだけど、
この人は総和法の概念を1つも知らないのかな。
まあ、アーベル総和法だと AΣ[n＝1～�
1032:Ⅹ n ＝＋∞ で、 ボレル総和法だと BΣ[n＝1～∞] n ＝＋∞ で、 結局は －1/12 なんて出てこないので例としては不適切だが、 ζ関数の解析接続で発散しない値が割り当て可能なら「ζ総和法」とでも名付けて 新しい総和法にすればいいだけ。それを例えば ζΣ[n＝1～∞] a_n と表記すれば、 ζΣ[n＝1～∞] n ＝－1/12 が厳密に成り立つわけで、このことにインチキな要素は1つもない。 Σ[n＝1～∞] n ＝ －1/12 と書いちゃったらインチキだけどね。
1033:１３２人目の素数さん
22/08/04 22:42:24.09 ekAfvRNC.net
>>993
がコンテキストを理解してないと思われ
1034:１３２人目の素数さん
22/08/04 22:53:03.82 RodH6OOt.net
アホか
書いてるレベルでせいぜい学部でもがいてるレベルのアンポンタンやとすぐわかるわ
そしてその程度のカスみたいな力しかないくせにその認識すらなく数学界に一言苦言申し上げるアフォ
高木とかセタとかとギロチ50歩100歩
1035:１３２人目の素数さん
22/08/04 22:55:56.38 SC4qu/ys.net
>>997
有効な反論がなくてワロタwww
オマエ知能低いだろ
1036:１３２人目の素数さん
22/08/04 22:57:15.92 ekAfvRNC.net
>>998
だな
1037:１３２人目の素数さん
22/08/04 22:57:43.66 SC4qu/ys.net
>>997
イライラwww
1038:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 98日 1時間 44分 37秒
1039:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています