22/08/07 10:05:49.46 /nMqmCIG.net
訂正します：
修正案は，「連結」という言葉を登場させずに， I_{ij} が D の内部と外部の和集合に含まれ，
かつ D の外部とも D の内部とも共通点をもつとすると矛盾が起こることを示すことですね．
51:１３２人目の素数さん
22/08/07 10:18:25.15 ze6Uu4YO.net
>>49
誰も本気で読んでいないと思うよ
52:１３２人目の素数さん
22/08/07 11:30:51 tR1Ce6nD.net
>>45
あなたが瑕疵としているところは自明です
53:１３２人目の素数さん
22/08/07 11:53:43 /nMqmCIG.net
>>51
証明してみてください．
54:１３２人目の素数さん
22/08/07 11:55:32 /nMqmCIG.net
これが自明だというのならば，他の命題でもっと自明であるにもかからわず，
真面目に証明しているものがあるのは何なんでしょうか？
まず第一にフェアじゃないですよね．
55:１３２人目の素数さん
22/08/07 11:57:44 tR1Ce6nD.net
>>53
でも自明ですよ？
56:１３２人目の素数さん
22/08/07 12:00:47 /nMqmCIG.net
>>54
証明してみてください．
何行で書けますか？
57:１３２人目の素数さん
22/08/07 12:02:16 /nMqmCIG.net
AIがある命題の証明の難易度を判定するようになったとして，この命題の難易度は
そんなに低くはないと思います．
58:１３２人目の素数さん
22/08/07 12:39:34 tR1Ce6nD.net
>>56
自明です
59:１３２人目の素数さん
22/08/07 14:55:53.26 zI8qU/uO.net
>>57
証明できなくて困っててワロタwww
60:１３２人目の素数さん
22/08/07 18:31:55.96 tR1Ce6nD.net
>>58
煽っても無駄ですよｗ
61:１３２人目の素数さん
22/08/08 08:21:51.01 GFc8Ok0F.net
境界がなめらかな曲面であるような有界な集合は面積確定である．
杉浦光夫の解析入門に↑の命題は載っていますか？
どうもないみたいなんですが，なぜでしょうか？
縦線領域が面積確定であることは書いてあります．
62:１３２人目の素数さん
22/08/08 08:35:02.59 2RZtZsx3.net
特徴的な文章でバレパレなのだが他人のふりして同じようなネタを書き込む所が「キチガイってこういう人間なんだな」って実感させてくれる。
自演の証拠を積み重ねている。
63:１３２人目の素数さん
22/08/08 08:43:48.14 R/0W7Owc.net
>>61
どんな視点で書いているかはわかるので
基地外呼ばわりは失礼かと
64:１３２人目の素数さん
22/08/08 08:53:00.44 2RZtZsx3.net
論点が違う。こいつがキチガイであることは間違いない。
それと本質的に数学の教科書が読めていない。あら探しをしているつもりでも自分が間違うことが多い。
著者も読者も興味の無い所に対して「間違いに気づいちゃった！」とやってるだけの無意味な行為。
65:１３２人目の素数さん
22/08/08 09:17:45.90 R/0W7Owc.net
行為が首尾一貫しているかどうかだけ見ている
価値観の問題ではない
66:１３２人目の素数さん
22/08/08 09:29:18.96 2RZtZsx3.net
首尾一貫しているキチガイ。
これは矛盾はしない。
67:１３２人目の素数さん
22/08/08 09:30:50.46 2RZtZsx3.net
>>64
この馬鹿は反論にならない反論を試みている。
68:１３２人目の素数さん
22/08/08 09:37:21.83 2RZtZsx3.net
キチガイの一貫性
・誤りを指摘されても明確な謝意を表さない礼儀のなさ
・検討不十分で○○著『△△』にケチをつける。そして著者に対する誹謗中傷をする。
69:１３２人目の素数さん
22/08/08 10:43:16.89 GFc8Ok0F.net
James R. Munkres著『Analysis on Manifolds』
境界がなめらかな曲面であるような有界な集合は面積確定である．
Munkresさんの本にも↑この命題が載っていないように見えます．
なぜでしょうか？
70:１３２人目の素数さん
22/08/08 11:41:45.53 2RZtZsx3.net
キチガイの度合いを上げてきたな
「～が載っていないのはなぜですか」ってもはや難癖にもなっていない
71:１３２人目の素数さん
22/08/08 11:49:53.96 GFc8Ok0F.net
野村隆昭著『微分積分学講義』
∫_{0}^{Π/2} cos^3 θ dθ = ∫_{0}^{Π/2} (1 - sin^2 θ) d(sin θ)
= [sin θ - sin^3 θ / 3]_{0}^{Π/2}
=2/3
という計算があります．
「∫_{0}^{Π/2} (1 - sin^2 θ) d(sin θ)」
という書き方は一般的ですか？
72:１３２人目の素数さん
22/08/08 11:51:24.52 GFc8Ok0F.net
sin θ を一つの変数だと見ているようですが，それならば，
∫_{0}^{Π/2} (1 - sin^2 θ) d(sin θ)
ではなく
∫_{0}^{1} (1 - sin^2 θ) d(sin θ)
と書いたほうがいいのではないかという気がします．
このあたり，どうなんでしょうか？
73:１３２人目の素数さん
22/08/08 12:10:20 2RZtZsx3.net
著者からもらったという嘘をつき、その本に対して文句を言い続けるキチガイ
74:１３２人目の素数さん
22/08/08 12:19:59.79 AAANDpCC.net
本当にΠって書いてあるの。
πじゃなくて。
75:１３２人目の素数さん
22/08/08 12:25:25.95 R/0W7Owc.net
>>71
>>sin θ を一つの変数だと見ているようですが
その理由は？
76:１３２人目の素数さん
22/08/08 12:33:27.31 GFc8Ok0F.net
d(sin θ)
と書いてあるので， sin θ は変数だと考えていると思われます．
77:１３２人目の素数さん
22/08/08 12:36:47.85 KnLGoYFf.net
>>71
sin θ を変数と見ているわけではない
ものすごく丁寧に書くなら ∫_{θ=0}^{Π/2} と書くところを、最初の式では動いてるのがθであることは明らかだから略して書いている
等号を挟んでも新たな変数は出てきておらずθが動いていることは明らかであるから同じ記法を続けている
sin θを別の記号に置き換えるのでなければ>>71後者の記法は極めて紛らわしく、避けるのが無難
78:１３２人目の素数さん
22/08/08 12:38:59.58 GFc8Ok0F.net
ありがとうございました．
やはり，
∫_{θ=0}^{θ=π/2} (1 - sin^2 θ) d(sin θ)
よりも
∫_{sin θ=0}^{sin θ=1} (1 - sin^2 θ) d(sin θ)
のほうが合理的だと思います．
79:１３２人目の素数さん
22/08/08 12:48:25.60 KnLGoYFf.net
そこまで書くなら変数変換しろよ…
80:１３２人目の素数さん
22/08/08 12:52:26.44 R3tSKh7z.net
sinθの外微分d(sinθ)=cosθdθだろ
勝手に積分区間変えて合理的とか何言ってんの
81:１３２人目の素数さん
22/08/08 12:54:27.87 R3tSKh7z.net
ああ積分区間変えてるわけではないのか
にしても>>71わかりにくいな
82:１３２人目の素数さん
22/08/08 13:43:13 OroiPUmS.net
つか積分区間の書き方も
分かればいいので
昔から色々
83:１３２人目の素数さん
22/08/08 13:43:38 OroiPUmS.net
つか積分区間の書き方も
分かればいいので
昔から色々
84:１３２人目の素数さん
22/08/08 16:08:51.87 GFc8Ok0F.net
野村隆昭著『微分積分学講義』
「
p.199
定義7.51
非有界集合 D ⊂ R^2 が面積確定であるとは，面積確定な任意の有界閉集合 K に対して，
K ∩ D が面積確定集合であることをいう．
以下， D は面積確定集合とする．
p.199
定義7.52
定数 M > 0 が存在して， D に含まれる面積確定な任意の有界閉集合 K に対して
∫_K f(x) dx ≦ M
となるとき， f は D で広義積分可能であるという．
」
定義7.51では K は D に含まれるとは限らない有界閉集合です．
定義7.52では K は D に含まれる有界閉集合です．
定義7.52において， D が面積確定であるというのは全く使われていません．
以後も， D が面積確定であるという約束が有効に使われることがありません．
これはどう考えればいいのでしょうか？
85:１３２人目の素数さん
22/08/08 16:11:17.44 GFc8Ok0F.net
K は D に含まれる面積確定な任意の有界閉集合であるという条件をかならずつけるので，
D が面積確定であるかどうかは関係なくなっています．
86:１３２人目の素数さん
22/08/08 17:26:50.91 2RZtZsx3.net
著者は5chで営業妨害しまくるキチガイに献本したのか？
だとしたら自業自得だな
(俺は嘘だと思っているが)
87:１３２人目の素数さん
22/08/08 17:42:33.14 GFc8Ok0F.net
>>85
野村隆昭著『微分積分学講義』はいい本だと思います．
級数の話がないなど，内容が絞られていますが，説明は丁寧ですし，面白い例題があります．
88:１３２人目の素数さん
22/08/08 17:52:08.20 GFc8Ok0F.net
>>85
誤りを見つけるたびにメールを送っていました．
その日のうちに返信があり，感謝されました．
誤りを修正した刷が出たときに，献本していただきました．
89:１３２人目の素数さん
22/08/08 17:57:57.31 0YgXPtTO.net
>>87
献本してもらったことは
最初から嘘だと思っていないよ。
野村さんでなくても著者としては当然の反応。
自分の場合は誤りを見つけてくれた人への謝辞を入れた。
90:１３２人目の素数さん
22/08/08 19:07:50.40 2RZtZsx3.net
著者からもらった本と自分で買った本の2冊持っているという設定か笑
それぞれ第何刷なのか？
それと自分で買った記憶のない本をそのまま書棚に入れて後から著者謹呈だと分かるという設定
91:１３２人目の素数さん
22/08/08 19:24:11.62 0YgXPtTO.net
>>89
設定というのは「演出」ということ？
92:１３２人目の素数さん
22/08/08 19:27:53 GFc8Ok0F.net
自分で買った本が最初にありました．
その後，著者から献本された本と2冊になりました．
>それと自分で買った記憶のない本をそのまま書棚に入れて後から著者謹呈だと分かるという設定
これは別の人が書いた話です．
93:１３２人目の素数さん
22/08/08 19:32:42.18 0YgXPtTO.net
>>91
書かなくてもわかっているからそれは余計なダメ押しと
こっちは思うのだが
どうしてもそうは思えずに
念には念を押したくなる性分なので
上のような書き込みとなるわけだね
94:１３２人目の素数さん
22/08/08 20:24:34 2RZtZsx3.net
>>91
>>28のこと。
95:１３２人目の素数さん
22/08/08 20:31:26 2RZtZsx3.net
>>90
設定というのは作り話という意味。
2冊持っている証拠が欲しいところ。
著者謹呈の栞(？)も見たい。
これらは簡単に実証出来ることだね。
96:１３２人目の素数さん
22/08/08 21:07:13.67 R/0W7Owc.net
>>94
そういう話になると
91に付き合うよりもだるい感じだね
97:１３２人目の素数さん
22/08/08 21:08:57.71 x2JqtMkA.net
>>71
>sin θ を一つの変数だと見ているようですが
そうではなく独立変数はあくまでθです
t=sinθのように変数変換することで
dt=dsinθとなり
独立変数はtになります
98:１３２人目の素数さん
22/08/08 21:15:22.29 R/0W7Owc.net
d(sinθ)=cosθdθだから
積分区間はθの変域とすべき
99:１３２人目の素数さん
22/08/08 21:57:36.38 2RZtZsx3.net
>>95
別に何もだるくない。
100:１３２人目の素数さん
22/08/08 23:00:51.55 NUdH60Ne.net
>>98
91につきあえるのだからそうだろうね
101:１３２人目の素数さん
22/08/09 18:19:53.38 cMXHSSif.net
URLﾘﾝｸ(www.wolframalpha.com)
↑このあたりのグラフを見ると， lim_{x → +0} sin(x)/x の値は収束せず，±∞ に振動しながら発散してしまいそうに見えます．
URLﾘﾝｸ(www.wolframalpha.com)
↑このあたりから， y = sin(x)/x の挙動に異変が生じて， lim_{x → +0} sin(x)/x = 1 になっています．
これって不思議じゃないですか？
102:１３２人目の素数さん
22/08/09 18:30:35.91 cMXHSSif.net
あ、不思議じゃないですね。
103:１３２人目の素数さん
22/08/09 21:17:21.72 cMXHSSif.net
URLﾘﾝｸ(reference.wolfram.com)
「この関数を積分領域上で可視化する：」というところの直下の重積分の積分領域ですが，間違っていますよね？
104:１３２人目の素数さん
22/08/09 21:29:08.77 Sbhq7XmB.net
>>101
百回読んで
↓
>>2
105:１３２人目の素数さん
22/08/09 21:51:35.61 S8Z3a/Qq.net
>>102
何が書かれているか読んで理解して
106:１３２人目の素数さん
[ここ壊れてます] .net
なんで計算機がやってる事より自分の理解の方を信用するんやろ
107:１３２人目の素数さん
22/08/10 00:38:13.65 pYPc3m+e.net
>>105
人間が入力したコマンド内の積分領域が間違っているという話です．
108:１３２人目の素数さん
22/08/10 00:45:59.07 pYPc3m+e.net
URLﾘﾝｸ(reference.wolfram.com)
Integrate[Sin[x y], {x, 0, 1}, {y, 0, x}]
Plot3D[Sin[x y], {x, y} \[Element] Triangle[{{0, 0}, {0, 1}, {1, 0}}]]
↑この2つのコマンドのうち1番目のコマンドはある縦線領域の体積を計算するコマンドです．
↑この2つのコマンドのうち2番目のコマンドは1番目のコマンドの縦線領域をプロットすることを意図したコマンドです．
明らかに間違っています．
109:１３２人目の素数さん
22/08/10 01:36:02.05 GzXOEhNU.net
頭悪いくせに人に難癖ばっかり付けてる能無し
ええ加減にせえや
110:１３２人目の素数さん
22/08/10 09:38:42.35 pYPc3m+e.net
∫_{-∞}^{+∞} exp(-x^2) dx
の値ですが，多変数の広義積分の定義を知らなくても，重積分を使って計算できるんですね．
111:１３２人目の素数さん
22/08/10 10:32:15.02 pYPc3m+e.net
極限の定義と変数変換の公式（極座標の場合）とフビニの定理を知っていれば証明できますね．
112:１３２人目の素数さん
22/08/10 15:03:49.21 zeZnTg4f.net
>>107
管理人か運営元かなんかに言いなよ
>>109
それは質問か？
113:１３２人目の素数さん
22/08/10 17:25:59.22 2M7V/K4j.net
>>110
ここはお前の日記帳ではない
新たに自分語りスレを立てろよ
お前は下らないスレを幾つも立てているのでスレ立ては慣れてるよな
114:１３２人目の素数さん
22/08/11 08:51:17.21 aAL6cBRI.net
以下の条件を満たす， f と D の例を挙げてください．
D ⊂ R^n を有界集合とする．
f : D → R を有界な連続関数とする．
f は D で積分可能であるが， D の境界の測度はゼロではない．
115:１３２人目の素数さん
22/08/11 08:57:38.40 aAL6cBRI.net
あ， f = 0 とすればいいですね．
116:１３２人目の素数さん
22/08/11 09:38:07.89 pZLB7RYg.net
>>114
Dが1点の場合
任意の関数は微分可能？
117:１３２人目の素数さん
22/08/11 11:15:57.69 yvt0Fqh4.net
Rの中で稠密だけど離散的な点からなる測度0なDとればいいんじゃね
118:１３２人目の素数さん
22/08/11 15:33:28.02 r7xnAndk.net
>>稠密だけど離散的
数学辞典には
離散的は各点が孤立点であることと
定義してあったような気がする。
119:１３２人目の素数さん
22/08/11 17:02:16.78 r7xnAndk.net
稠密はdenseだが
everywhere denseという言い方もある
120:１３２人目の素数さん
22/08/12 13:39:18.94 FVwPRkdo.net
自由加群の準同型Z^a→Z^bはa＜bの時全射でない事はどのようにしたら言えるのでしょうか
(Z^aは整数Zのa個の直和です)
ベクトル空間なら生成元があったらその一部が基底になる事を使って言えますが
自由加群だとそのような結果は成り立たないので困っています
121:１３２人目の素数さん
22/08/12 13:52:08.24 atCtQJeO.net
その準同型を表す行列が
Q^aからQ^bへの全射準同型になるから。
122:１３２人目の素数さん
22/08/12 13:56:03.22 FVwPRkdo.net
>>120
なるほど
ありがとうございます
123:１３２人目の素数さん
22/08/14 14:59:44.63 VXaKpDF4.net
アフィンスキームがすごいと思える簡単な例を教えてください
124:１３２人目の素数さん
22/08/14 16:37:34.16 VXaKpDF4.net
X=Spec K[x,y]/(xy)は可約なアフィンスキームである。
これは、X=V(x)UV(y)でV(x)がXでなくV(y)もXでないから。
さらに
V(x)同型k[y]、V(y)同型k[x]であ�
125:驍ｱともわかる。←ここがわからないのです。教えてください
126:１３２人目の素数さん
22/08/14 17:12:30.21 L0EaJAAq.net
>>123
全射な環の準同型
k[x,y]/(xy)→(k[x,y]/(xy))/(x)=k[y]
は位相同型V(x)=Spec k[y] を導くみたいな命題が前の方にあるんじゃないか
127:１３２人目の素数さん
22/08/14 17:50:33.42 78BbEZii.net
>>123
>>V(x)同型k[y]、V(y)同型k[x]であることもわかる。
ソースは？
"位相同型V(x)=Spec k[y]"はよいが
128:１３２人目の素数さん
22/08/14 18:00:05.22 VXaKpDF4.net
>>125
間違えましたV(x)=spec k[y]です
これはスキームの何を使って出てきたものなのでしょうか？
どうゆう原理なのかわからないです
129:１３２人目の素数さん
22/08/14 18:08:48.45 VXaKpDF4.net
(x＋(xy))を含むk[x,y]/(xy)の素イデアルとk[x,y]/(xy)/(x+(xy))= k[x,y]/(xy)/(x)/(xy)=k[x,y]/(x)=k[y]の素イデアルが1対1だからという事ですか？
これであっていますか？
130:１３２人目の素数さん
22/08/14 19:10:14.41 78BbEZii.net
それでわかるんではないの？
131:１３２人目の素数さん
22/08/14 20:52:01.88 MhLfXevc.net
V(x)=V(xy)∩V(x) = V(xy,x) =V(x)=spec(k[x,y]/(x))=speck[y]
やろ
132:１３２人目の素数さん
22/08/15 01:25:02.22 pfZerAHe.net
『ベーシック圏論』の1.3 自然変換のところで、例として、有限次元ベクトル空間の圏(FDVECT)における、恒等関手から二重双対関手への自然変換が挙げられています
そこで、
>以上は恒等関手から二重双対関手への自然変換を定める。（中略）。定義1.3.2の言葉を用いるならば、Vについて自然にV≅V^{**}が成り立つ。
>このことは圏論が直感を正確にする場面の一つである。非形式的な意味で、有限次元線形空間とその二重双対の間のこの同型が「自然」あるいは「標準的」であることは圏論を学ぶ前では明白だった。
>(定義するのに恣意的な選択が不要だったから)。
>反対にVとその一重双対V^*の間の同型を指定するには恣意的な基底の変換が選択で、同型は本当に基底の選択に依存する。
という記述があります。
二重双対の場合に自然変換があるということは説明されている一方一重双対の場合の自然変換についての事情は説明されていなくて
「このことは圏論が直感を正確にする場面の一つである。」ということの理屈について理解しかねているのですが、
・Vとその一重双対V^*の間の同型を指定するためには恣意的な基底の選択が必要なことと対応して、Vとその一重双対V^*の間の同型と対応するような自然変換は存在しない
ということなのか、
・Vとその一重双対V^*の間の同型と対応するような自然変換を定めるには、Vとその一重双対V^*の間の同型を指定する際と同様に、恣意的な基底の選択が必要
ということなのかどちらかだと思うのですが、どちらですか？
それとも、どちらとも違う別の意味なんでしょうか？
133:１３２人目の素数さん
22/08/15 02:05:41.89 XWfUZOKj.net
V→V*, f→f ∗はcontravariant
134:１３２人目の素数さん
22/08/15 02:36:26.12 pfZerAHe.net
すみません、
> V→V*, f→f ∗はcontravariant
だから何なのか分かりません
V→V*, f→f ∗はcontravariant だから、二重双対の場合の恒等関手に対応する関手が取れない？ということなのかなとも考えましたが、
それはそれで
>反対にVとその一重双対V^*の間の同型を指定するには恣意的な基底の変換が選択で、同型は本当に基底の選択に依存する。
とはまた別の話なのかなという気がします
135:１３２人目の素数さん
22/08/15 02:40:48.18 JJKKRWh/.net
>>130
そもそも共変関手と反変関手の間に自然変換は定義されないのでは？
無理矢理定義するなら、例えば2倍する自己同型について考えれば自然変換が存在しないことがわかるから前者の方が正しいかな
ここで言ってるのは、
「VとV^{**}の間に定まる同型が自然」みたいな言い方をあまり厳密な意味を考えずに使ったことがあるかもしれないが、これは圏論の言葉を用いればその同型が自然変換を定めると言うことができ、これは厳密に定義された言葉になってる、
ってことだと思う
「反対に」ってのは「恣意的な選択が不要だった」ことに対して言ってるように思うので、>>130で書いてある分を読んだ限りでは少し話が逸れてしまってる印象。
ベシ圏読んだことないから的外れなこと言ってたらすまんが。
136:１３２人目の素数さん
22/08/15 06:05:47.02 pfZerAHe.net
>>133
ありがとうございます、レスをいただいて再度考えました
表現をお借りして言うと、
(1)「VとV^{**}の間に定まる同型が自然」という言い方をしていたものを圏論の言葉を用いて言うと「A」ということができる
(2)「VとV^{*}の間に定まる同型が自然でない」という言い方をしていたものを圏論の言葉を用いて言うと（V^{**}とV^{*}を適宜置き換えた上で）「Aの否定」ということができる
(3)「VとV^{**}の間に定まる同型が自然」ということと「A」ということの関係
(4)「VとV^{*}の間に定まる同型が自然でない」ということと「Aの否定」ということの関係
というあたりが理解できると「このことは圏論が直感を正確にする場面の一つである。」という記述が腑に落ちるのかなと思いました
そのうえで、言葉遣いの問題なのでちょっと屁理屈のようになってしまうのですが、
>「VとV^{**}の間に定まる同型が自然」みたいな言い方をあまり厳密な意味を考えずに使ったことがあるかもしれないが、これは圏論の言葉を用いればその同型が自然変換を定めると言うことができ、これは厳密に定義された言葉になってる、
において、どのような自然変換かを全く指定せず単に「その同型が自然変換を定める」と言ってしまうと、
Vとその一重双対V^*の間の同型により反変関手が定まりますが、この反変関手とそれ自身の間の恒等自然変換は存在するため、
Vとその一重双対V^*の間の同型についても「Vとその一重双対V^*の間の同型が自然変換を定める」と言えてしまい、問題があるように思います
一方、「その同型が自然変換を定める」をより正確に言葉を費やすと「恒等関手とその同型により定まる二重双対関手との間に自然変換が定まる」という感じになるのかなと思いますが、
この場合、対応する上記の（２）としては
「VとV^{*}の間に定まる同型が自然でない」という言い方をしていたものを、圏論の言葉を用いて言うと「恒等関手とその同型により定まる一重双対関手との間に自然変換が定まらない」と言うことができる
ということになると思います
しかしここで「恒等関手とその同型により定まる一重双対関手との間に自然変換が定まらない」のが「共変関手と反変関手の間に自然変換は定義されない」からだとすると、上記の(4)の関係が特に無いように思えてしまいます
137:１３２人目の素数さん
22/08/15 06:15:41.96 hEVJZD6B.net
>>134
>上記の(4)の関係が特に無いように思えてしまいます
どうあれば君にとってあるいは他の人にも「自然」に思えるように定義できるかを説明して
138:１３２人目の素数さん
22/08/15 06:34:05.36 pfZerAHe.net
>>134
どうあれば自然と思えるかは（特に他の人にとっては、という部分は）分かりませんが、
>「このことは圏論が直感を正確にする場面の一つである。」
と言われた場合に、「直感」と「圏論により正確にされたもの」の間に何かしらの関係があると期待するのは自然じゃないでしょうか？
139:１３２人目の素数さん
22/08/15 06:35:09.06 pfZerAHe.net
アンカー間違えました
>>134ではなく>>135宛です
140:１３２人目の素数さん
22/08/15 06:44:28.83 hEVJZD6B.net
>>136
漠然としていてそれでは分からない
自然変換は
2つのファンクターF,Gについて
n(X):F(X)→G(X)
F(f):↓ G(f):↓
n(Y):F(Y)→G(Y)
を可換にするように定義されるnのこと
という具合に示して
141:１３２人目の素数さん
22/08/15 06:50:45.09 pfZerAHe.net
>>138
自然変換とは異なるものを説明しろと言われているので、自然変換と同じようにしめしてと言われても無理です
142:１３２人目の素数さん
22/08/15 07:01:11.87 hEVJZD6B.net
>>139
だから自然変換とは別のモノで君が自然と思えるモノは何かをこういう風に示して
143:１３２人目の素数さん
22/08/15 07:02:43.26 hEVJZD6B.net
君が『自然』と思えるモノを他人に忖度させようとしても無理だってことだよ
まずは自分で
どうあれば『自然』なのかを突き詰めて考えて
数学は主張する学問なんだよ
144:１３２人目の素数さん
22/08/15 07:04:56.49 pfZerAHe.net
>>140
そもそもよく考えると質問の意味が分からなかったですが
人間の手が入ってない原生林とかですか？
145:１３２人目の素数さん
22/08/15 07:06:27.07 pfZerAHe.net
>>141
別に自然と思うどうこうの部分を質問してるわけじゃないので的外れですね
146:１３２人目の素数さん
22/08/15 07:09:14.90 +wzlZBmH.net
>>142
>>143
クズだこいつ
147:１３２人目の素数さん
22/08/15 07:09:19.95 hEVJZD6B.net
>>142
しおもな
どういうことが言えれば君が納得するのかを君自身に示して欲しいのだけど
もっと具体的に
148:１３２人目の素数さん
22/08/15 07:21:14.35 pfZerAHe.net
>>145
上でまとめた通り(1)～(4)について(Aの表現の内容も含めて)分かれば納得します
(3)と(4)については無いという話で終わっていいというならそれで納得します
149:１３２人目の素数さん
22/08/15 07:27:03.88 hEVJZD6B.net
>>146
もっと具体的には言えないのね？
じゃあ
納得するまで自分で考えてねぐらいしか言えない
150:１３２人目の素数さん
22/08/15 07:35:19.12 pfZerAHe.net
>>147
そうですか
頂いた最初の質問から最後のコメントまで、話がかみ合ってなくてすみません
151:１３２人目の素数さん
22/08/15 08:41:55.68 hEVJZD6B.net
>>148
何が疑問で有るのかを自分で把握できることが
疑問の解消の半分だと思うよ
152:１３２人目の素数さん
22/08/15 11:35:44.65 F5fgcE6p.net
>>134
同型V~V*で自然変換を定めることは確かに出来る
ただ、その同型の取り方によって準同型fが移される先が変わるので実用性に欠ける そういう意味で不自然
153:１３２人目の素数さん
22/08/15 11:38:45.36 Ru+MDjLT.net
自然変換はCからDへの関手からCからDへの関手への対応だから
恒等関手がFinVect→FinVectなのに対して(-)^*はFinVect^Op→FinVectなので定義から自然になりえない
確かに歴史的には自然という言葉が先にあって圏論で後から定義されたが、そういう数学史とは切り分けたほうが分かりやすい
154:１３２人目の素数さん
22/08/15 12:02:03.78 +wzlZBmH.net
ID:hEVJZD6B
これ以上荒らしに構うな
155:１３２人目の素数さん
22/08/15 12:07:28.76 hEVJZD6B.net
>>150
>同型V~V*で自然変換を定めることは確かに出来る
どうやって？
156:１３２人目の素数さん
[ここ壊れてます] .net
>>153
それは自明だな
157:１３２人目の素数さん
[ここ壊れてます] .net
>>154
f:V→V:f(x)=2x
はどうするの？これ>>133で指摘されてることだけど
158:１３２人目の素数さん
22/08/15 12:46:16.15 Ru+MDjLT.net
>>151に書いたように定義上自然変換にならない
多分古い和書で「具体例を見てみると基底に依存するから～」なんて説明で学ぶから自然の意味が理解できてないんだろう
159:１３２人目の素数さん
22/08/15 14:15:55.59 7sdu3Qd5.net
「f の下積分 + g の下積分」と「f + g の下積分」の間に何か関係はありますか？
160:１３２人目の素数さん
22/08/15 14:50:34.91 hzRQG4sr.net
ｈｔｔｐｓ：／／ｓ．ｋｏｔａ２．ｎｅｔ／１６６０５４２３４２．ｊｐｇ
↑この（A）の前に付いてる文字は何と呼びますか？
また、これは何語ですか？
161:１３２人目の素数さん
22/08/15 15:29:45.03 UQBJznK4.net
そういえば大文字くん見なくなったね
162:133
[ここ壊れてます] .net
>>134
まずVにV^*を対応させる反変関手（F
163:とする）についてだけど、これはVとV^*から定まるものではないし、それはF^2についても同様だよ。 それに「VとV^{**}の間に定まる同型が自然」ってのは適切な同型が恒等関手IとF^2の間の自然変換を定めるって意味だから、ここでFとFの間の自然変換の話が出てくるのはお門違い。 後、最後のところは共変関手と反変関手の間に自然変換は定義されないのが理由というより、133で書いたように無理矢理定義するとそのような「自然変換」が存在しないという方が理由。 基底を取ることによって定まるVとV^*の間の同型はIとFの間の「自然変換」を定めない、というのが(4)に対する説明のつもりなんだけど、まだ釈然としないかな？
164:１３２人目の素数さん
[ここ壊れてます] .net
Weierstrass_p
165:１３２人目の素数さん
22/08/15 16:49:36.19 sRYR+74l.net
すみません、中学生なんですがこの問題をどうやって解けばいいか教えてください。
数量の比率が1:3:5で単価の比率が3:4:5のA,B,Cの商品を仕入れた。この商品に一定の利益率を見込んで定価をつけたが、A商品は定価どおり販売し、B商品は定価の3分引きで、C商品は定価の1割引でそれぞれを販売したところ、利益総額が2,842,812になった。B商品の売価はいくらであったか。ただし、C商品の仕入数量1,750個であり、A商品の単価は2,700円であった。
●仕入数量がA→350個、B→1050個、C→1,750個
●仕入単価がA→2,700円、B→3,600円、C→4,500円
なことは分かったんですがこのあと、どうやって解けばいいのかがわかりません。
たぶん連立方程式を使うような気がするんですけど、よろしくお願いいたしますm(_ _)m
166:１３２人目の素数さん
22/08/15 16:50:28.00 hzRQG4sr.net
>>161
ありがとうございます、大変スッキリしました。
ちなみに画像のURLが大文字なのは、元々の小文字のままでは投稿できず、大文字にせざるを得なかったからでした。
お手を煩わせてしまい申し訳ございませんでした。
167:１３２人目の素数さん
22/08/15 16:51:19.95 jDgu3upA.net
Fランなら劇難レベルだからスレチじゃないね
168:１３２人目の素数さん
22/08/15 16:59:42.63 sRYR+74l.net
>>164
すみません。
なんとか売れた個数をx,y,zにするとか、利益率が一定なので利益率をxにしたりとか、なんとか総売上原価をだせないかとか考えたんですけど、どうしても分からないです。
169:１３２人目の素数さん
22/08/15 17:21:30.51 7sdu3Qd5.net
A商品の数量 = n
B商品の数量 = 3*n
C商品の数量 = 5*n
A商品の仕入れ単価 = 3*p
B商品の仕入れ単価 = 4*p
c商品の仕入れ単価 = 5*p
A商品の定価 = 3*p*r
B商品の定価 = 4*p*r
C商品の定価 = 5*p*r
とする．
売上 = (3*p*r) * n + (4*p*r*(97/100)) * (3*n) + (5*p*r*(9/10)) * (5*n)
仕入れ価格 = (3*p) * n + (4*p) * (3*n) + (5*p) * (5*n)
5*n = 1750
3*p = 2700
売上 - 仕入れ価格 = 2842812
4*p*r*(97/100) = 4*900*(33/25)*(97/100) = 115236/25
170:１３２人目の素数さん
22/08/15 17:45:48.99 Or5ffb51.net
>>166
ありがとうございます。
分からない数字をきちんと文字にしていけば解けんですね。途中で諦めてた部分がありました。ありがとうございました。
171:１３２人目の素数さん
22/08/16 16:08:35.09 wS0BbanY.net
素因数分解のアルゴリズムを、
「まったく実用にならないほど次数は高いが一応多項式時間のアルゴリズム」という方向で
研究を進める人ってやっぱり少なかったりするんでしょうか
そういう方向でも難しいであろうことが想像ついてたりするのかしないのか
暗号への応用のノイズにかき消されて研究者達の考えの相場がわかりません
172:１３２人目の素数さん
22/08/16 16:16:25.36 Hv7ZXgq2.net
A := {(x, y) | x > 0 かつ y > 0}
f(x, y) := 1/[(x^2 + √x)*(y^2 + √y)]
とする．
f が A 上で積分可能であることを証明せよ．
173:１３２人目の素数さん
22/08/16 16:46:44.54 wS0BbanY.net
暗号が脅かされるほどの実用的なアルゴリズムはおそらくないのでしょう
知りたいのは「実用的ではないが多項式時間」というのが研究されてるかどうかです
174:１３２人目の素数さん
22/08/16 17:11:20.62 Hv7ZXgq2.net
>>169
あ，わかりました．4つの領域に分割すればいいですね．
175:１３２人目の素数さん
22/08/16 19:56:04.75 qq9s6S3s.net
>>168
やはり無理っぽいとみんな思ってるんじゃないの？
全く手の出しようもない
176:１３２人目の素数さん
22/08/17 17:24:49.86 /dGuIdwY.net
Z係数のホモロジー群が全て消える事は，Q係数とZ/p係数(pは全ての素数)で全て消える事と等しいという事の
ホモロジーの普遍係数定理を使った証明を読みました
以下のp.266(PDFではp.275)のCor3A.7
URLﾘﾝｸ(pi.math.cornell.edu)
これを真似してZ係数のホモロジー群が全て消える事と，Q係数とZ/p係数のコホロロジー群が全て消える事が等しいという事実を
コホモロジーの普遍係数定理を用いて示せないかと考えているのですが上手くいきません
(上の主張を使えば事実としては明らかですが代数の演習としてやろうとしています)
方針としては
「アーベル群AがHom(A,Q)=Hom(A,Z/p)=0かつExt(A,Q)=Ext(A,Z/p)=0を満たす時にA=0」
が言えれば良いのですが
完全列0→Z→Q→Q/Z→0を使って
0→Hom(A,Z)→Hom(A,Q)→Hom(A,Q/Z)→…よりHom(A,Z)=0であり
完全列0→Z→Z→Z/p→0を使って
…→Hom(A,Z/p)→Ext(A,Z)→Ext(A,Z)→Ext(A,Z/p)→0よりExt(A,Z)はねじれなし
である事まではわかりましたがこの先で詰まっています
わかる方いたら教えて下さい
177:１３２人目の素数さん
22/08/17 18:59:09.38 +Vfq/k8u.net
夏なのでよろしく。
小室直樹ゼミでやっていた大学数学をフォローしたいんだけど
Google先生とWikipedia先生とコトバンク先生と数学系YouTube
先生とTwitter検索と5chでほぼ独学で勉強できないかな？
高校の白チャートは買って揃えた。
野口悠紀雄の超勉強法のパラシュート学習法とわんこら式学習法で
挑戦してみたいんだけど。
178:１３２人目の素数さん
22/08/17 19:48:43.82 +EXYiubS.net
小室直樹が数学を解説してる本があるからそれを読んだら？
経済数学と統計学に関してはちゃんとしたことを書いてるはず。存在定理の話が面白かった記憶がある。
179:１３２人目の素数さん
22/08/17 21:05:58.78 x5NeuThT.net
「アーベル群AがHom(A,Q)=Hom(A,Z/p)=0かつExt(A,Q)=Ext(A,Z/p)=0を満たす時にA=0」
コレでいいならAがℤ加群ならℚ、ℚ/ℤがinjective cogeneratorである事を利用すれば良い
injective である事は任意の0でないn∈ℤからできるn倍写像の完全列
0 → nℤ → ℤ → ℤ → 0
がHom(-,ℚ), Hom(-,ℚ/ℤ)で完全性が保たれる事からわかる
cogeneratorであることはM≠0を任意のℤ加群とすると部分加群mℤでmがねじれ元ならℤ/pℤへの、ねじれ元でないならℤへの単射が構成できてそこからℚかℚ/ℤへの単射ができて、それをMへ拡張すればいい
180:１３２人目の素数さん
22/08/17 22:24:55.20 jeG3qQEf.net
多重積分の変換則について
∫∫...∫{M’} F(X) dX1.dX2...dXn = ∫∫...∫{M} F(X(x)) det(∂Xi/∂xj) dx1.dx2...dxn
変換: x → X が線形なら "分かる" んですが、これがグニャグニャな曲線変換だと
各地点の体積素片を線形近似で変形させて集めれば、まあそうなるだろう
近似からの差分は極限操作で消えるはず・・・たぶん
この辺りをどの教科書で勉強したかは忘れましたが、こういう雰囲気解説の域を出ていなかったと思います
雑理解なままなのが嫌なので "まともな" 証明が載ってる良い本があれば教えてください
181:１３２人目の素数さん
22/08/17 22:33:37.89 6k++53Ga.net
>>177
James R. Munkres著『Analysis on Manifolds』
182:１３２人目の素数さん
22/08/17 22:45:03.40 cFxZ6HMo.net
>>177
スピヴァックでも可
183:１３２人目の素数さん
22/08/17 22:49:55.32 jeG3qQEf.net
>>178, >>179
ありがとうございます
184:１３２人目の素数さん
22/08/17 22:52:29.39 z9KKjqds.net
>>177
その雰囲気解説で問題ないってことが理解できれば免許皆伝
コツは
小さくしていくのを外から眺めるのでは無く
自分が小さくなっていく＝外部がどんどん大きくなると考えること
接線でも
外部から考えて
曲線と直線が接していると水煮
曲線がどんどん拡大して直線に一致していくと考えるのがよい
185:１３２人目の素数さん
22/08/17 22:58:58.53 z9KKjqds.net
y=f(x)=x^2のx=1での接線は
このグラフを平行移動して
y+1=f(x+1)
y=(x+1)^2-1=x^2+2x
をk倍に拡大すると
y/k=(x/k)^2+2(x/k)
y=x^2/k+2x
のk→∞の極限が
y=2x
なので平行移動させて
y-1=2(x-1)
y=2x-1
と考えるべき
186:１３２人目の素数さん
22/08/17 23:01:05.13 z9KKjqds.net
超準解析で正当化された無限小解析こそが
微積の本質的理解の要諦
187:１３２人目の素数さん
22/08/17 23:08:22.15 /dGuIdwY.net
>>176
ありがとうございます
調べながらなんとか理解できました
cogeneratorなんていう便利な概念があるんですね
188:174
22/08/18 22:46:34.75 MC+cLvDz.net
>>175
レス、ありがとうございます。
数学本を何冊か、出されていますね。
読んでみます。
189:１３２人目の素数さん
22/08/19 09:18:00.18 GyU1h5Bp.net
小室直樹は「ソ連帝国の崩壊」しか読んだことがない
190:１３２人目の素数さん
22/08/20 15:00:44.14 xca8SRyZ.net
James R. Munkres著『Analysis on Manifolds』
広義積分を関数の定義域が開集合の場合のみしか考えていません．
しかも関数は開集合上で連続関数という制限を課しています．
これは一般的ですか？
191:１３２人目の素数さん
22/08/20 15:24:40.60 oAI2fXaz.net
>>187
そういう質問からは眼をそむけたくなる
192:１３２人目の素数さん
22/08/20 15:44:56.99 5veLxh9f.net
一般的じゃなかったらなんなの？
寧ろ違う視点から書かれてるものの方が著者の工夫なり考え方なりが感じられて面白いと思うが
どれもこれも「一般的な書き方」なら複数本読む必要性もないわ
まあ>>187程度で一般的も糞もないけど、制限したなら制限したなりに論理構造が簡単になってたりするんじゃないのかと
193:１３２人目の素数さん
22/08/20 17:07:15.47 xca8SRyZ.net
その後，
A を有界な開集合
f を A 上の有界な連続関数
とすると，
広義積分 ∫_A f は常に存在する．
通常の積分 ∫_A f は存在するとは限らないが，存在すれば，それは広義積分 ∫_A f と一致する．
という定理を証明しています．
194:１３２人目の素数さん
22/08/20 17:09:27.12 xca8SRyZ.net
杉浦光夫さんの本での広義積分の定義はややこしいですね．
Munkresさんの定義は非常に分かりやすいですが，ややこしい杉浦さんの定義の利点は
なんですか？
195:１３２人目の素数さん
22/08/20 17:17:50.21 xca8SRyZ.net
Munkresさんの本を読んでしまうと，杉浦さんの本のようなややこしい本は読みたくなくなります．
196:１３２人目の素数さん
22/08/20 17:43:53.46 3N0IhS5+.net
読まなきゃいいじゃん
197:１３２人目の素数さん
22/08/20 18:02:31.18 MavvhLYT.net
杉浦解析入門Ⅰ、Ⅱを読んで見たら意外に役立つけどな
あそこまでまとめて細かく書いてあるとは思わなかった
198:１３２人目の素数さん
22/08/20 19:18:03.53 BhfDwrrh.net
算数レベルの知識でローラン展開の質問を繰り返すこの男は何が面白いのだろうか。
URLﾘﾝｸ(oshiete.goo.ne.jp)
URLﾘﾝｸ(oshiete.goo.ne.jp)
199:１３２人目の素数さん
22/08/20 22:16:14.68 NgXilJWB.net
>>195
教えて!gooの数学カテって回答者のレベル低すぎない??
ｽﾚﾘﾝｸ(math板)
200:１３２人目の素数さん
22/08/21 11:38:40.66 wpUevH6M.net
Michael Spivakさんって2020年10月に亡くなってたんですね．
物理の本の第2巻はもう出ないですね．
201:１３２人目の素数さん
22/08/21 12:01:08.65 qBfCjWkP.net
Michael David Spivak[1] (25 May 1940 – 1 October 2020)[2][3] was an American mathematician specializing in differential geometry, an expositor of mathematics, and the founder of Publish-or-Perish Press. Spivak was the author of the five-volume A Comprehensive Introduction to Differential Geometry.
202:１３２人目の素数さん
22/08/21 17:57:21.46 wpUevH6M.net
Partitions of Unityって，作るまでの過程が泥臭すぎますね．
203:１３２人目の素数さん
22/08/21 18:00:14.96 qBfCjWkP.net
exp(-1/x^2)が泥臭い？
204:１３２人目の素数さん
22/08/21 23:17:46.78 0wJrwbEm.net
マンコクレッテ 本気なの 開集合できめるのあ？
205:１３２人目の素数さん
22/08/22 11:14:53.68 kskCSCM4.net
足立正久というトポロジーの先生は
マンクレスと読んでらした
206:１３２人目の素数さん
22/08/22 11:45:35.01 GNwZVh4P.net
URLﾘﾝｸ(www.youtube.com)
207:１３２人目の素数さん
22/08/22 14:06:03.84 GNwZVh4P.net
加藤文元著『ガロア理論12講』
ガウスの補題の証明が面白いのですが，その証明が載っている本を教えてください．
ガウスの補題を証明に使う補題（補題2.4.1）：
G(x), H(x) ∈ Z[x] として， F(x) = G(x) * H(x) とする．素数 p が F(x) のすべての係数を割り切るならば，
p は G(x) のすべての係数を割り切るか，あるいは H(x) のすべての係数を割り切る．
ガウスの補題：
f(x) ∈ Z[x] が Q 上可約であるとする．このとき，定数でない Z[x] の元 g(x), h(x) で，
f(x) = g(x) * h(x) を満たすようなものが存在する．
b*g(x) ∈ Z[x] となるような正の b ∈ Z が存在する．
c*h(x) ∈ Z[x] となるような正の c ∈ Z が存在する．
a := b*c とおく．
G(x) := b*g(x) とおく．
H(x) := c*h(x) とおく．
a*f(x) = G(x) * H(X) が成り立つ．
a = 1 ならば，ガウスの補題が成り立つ．
a > 1 ならば， p1 | a となる素数 p1 が存在する．
a = p1 * a1 とする．
補題2.4.1により，「G(x) の係数はすべて p1 で割り切れる」または「H(x) の係数はすべて p1 で割り切れる」
のうち少なくとも一方が成り立つ．
前者が成り立つならば，G(x) := G(x)/p1 とする．
後者が成り立つならば，H(x) := H(x)/p1 とする．
a1*f(x) = G(x)*H(X) が成り立つ．
a1 = 1 ならばガウスの補題が成り立つ．
a1 > 1 ならば， p2 | a1 となる素数 p2 が存在する．
a1 = p2 * a2 とする．
補題2.4.1により，「G(x) の係数はすべて p2 で割り切れる」または「H(x) の係数はすべて p2 で割り切れる」
のうち少なくとも一方が成り立つ．
前者が成り立つならば，G(x) := G(x)/p2 とする．
後者が成り立つならば，H(x) := H(x)/p2 とする．
a2*f(x) = G(x)*H(X) が成り立つ．
a2 = 1 ならばガウスの補題が成り立つ．
a2 > 1 ならば，…
a > a1 > a2 > … だからいつかは a_l = 1 となる．
そのとき，
a_l*f(x) = f(x) = G(x) * H(x) が成り立つ．
208:１３２人目の素数さん
22/08/22 16:23:02.95 GNwZVh4P.net
加藤文元著『ガロア理論12講』
体の自己同型の定義ですが，
φ(a + b) = φ(a) + φ(b)
φ(a * b) = φ(a) * φ(b)
φ(1) = 1
を満たす全単射として定義されています．
φ(1) = 1
は導けるので無駄な条件ですよ�
209:ﾋ．
210:１３２人目の素数さん
22/08/22 19:14:26.98 ss8R5LzM.net
φ(1)=φ(1*1)=φ(1)*φ(1)
体は乗法逆元φ(1)^-1が存在するので両辺かけて
1=φ(1)
確かに冗長だな
導けることを書いたほうが勉強にはなる
211:１３２人目の素数さん
22/08/23 00:23:11.39 OPVVYtNN.net
0への定数写像除外してるんやろ
212:１３２人目の素数さん
22/08/23 05:04:32.54 O5evywXI.net
1あり環としての準同型、かつ全単射
って言ってるんじゃないの
213:１３２人目の素数さん
[ここ壊れてます] .net
スキーム(X,Ox)でOx(X)←はどんな環ですか。よくわかりません。
214:１３２人目の素数さん
22/08/23 17:56:56.50 gxhpVvUh.net
X=SpecAのときはOX(D(f))≡Afで、
X=X-φ=X-V(1)=D(1)
OX(X)≡A1=A
215:１３２人目の素数さん
22/08/23 18:37:28.38 nnwDCmiT.net
アフィンスキームじゃないスキーム(X,Ox)の時はOx(X)はどんな環ですか？
216:１３２人目の素数さん
22/08/23 19:00:58.53 DUxOFfOa.net
アフィンサブスキームU⊂Xを動かすときのOx(U)の射影極限
217:１３２人目の素数さん
22/08/23 21:13:42.72 Q6auPwj1.net
茎の集まりがOx(X)ていう考えはおかしいですか
218:１３２人目の素数さん
22/08/23 21:14:29.16 Q6auPwj1.net
射影極限はわからないです
219:１３２人目の素数さん
22/08/23 22:00:32.13 VOdo8F8R.net
>>214
分かれよ
220:１３２人目の素数さん
22/08/23 22:44:21.74 s/Bbg94s.net
スキーム(Z,Oz)、アフィンスキーム(specR,OspecR)に対して
Hom(sch)(Z,specR)全単射Hom(ring)(R,Oz(Z))なんですが
Hom(sch)(SpecR,Z)全単射Hom(ring)(Oz(Z),R)は成り立つでしょうか？
221:１３２人目の素数さん
22/08/24 00:56:42.74 4Jm05mBK.net
反例は思いつかんけど成り立たないに一票
222:１３２人目の素数さん
22/08/24 01:00:31.42 4Jm05mBK.net
ああ、Z = ℙ¹(ℂ)、R=ℂとかでもうダメやん
223:１３２人目の素数さん
22/08/24 03:11:23.89 Fmj7sYZC.net
ありがとうございます。
224:１３２人目の素数さん
22/08/24 03:14:34.58 Fmj7sYZC.net
k[t]/(t^2)の(t)による局所化がどんなものかわかりません。
教えていただけないでしょうか。あと導き方も。
225:１３２人目の素数さん
22/08/24 10:36:02.52 Fmj7sYZC.net
これはk[t]/(t^2)自身になりますか？
226:１３２人目の素数さん
22/08/24 11:14:56.36 9qds4ne1.net
>>221
なりますね
k[t]/(t^2)自身(t)が唯一の極大イデアルである局所環だから
あるいはat+b (b≠0)の逆元をt^2=0に注意して素手で計算できますから
227:１３２人目の素数さん
22/08/24 14:31:31.24 Fmj7sYZC.net
ありがとうございます。
「mを唯一の極大イデアルに持つ局所環のmによる局所化は自分自身になる。」みたいな定理ってありますか？
228:１３２人目の素数さん
22/08/24 14:41:44.51 XKlB1HWu.net
そりゃそもそも
R→SがRの局所化
⇔
1) Sは局所環
2) 任意の局所環TとR→Tに対してR→TはR→Sを一意に通過する
なんだからRが元々局所環ならS=R、R→Sはidが局所化になるのは当たり前やん？
元々局所環なのに局所化もへったくれもない
229:１３２人目の素数さん
22/08/24 16:48:13.61 Fmj7sYZC.net
>>222
下半分が理解できました。a+bt/c+dt,(cは0じゃない)みたいな形してるから、元のやつの逆元が計算できることに対応してるみたいな感じってことですね
230:１３２人目の素数さん
22/08/24 16:49:47.71 Fmj7sYZC.net
>>224
その局所化の定義みたいなのはわからないですけど、そうだということは当たり前だと覚えておきます。
231:１３２人目の素数さん
22/08/24 17:01:14.45 K2zEdikp.net
どんな勉強してるとそんなギャグを思いつくんだろ
232:１３２人目の素数さん
22/08/24 17:13:53.96 Fmj7sYZC.net
ギャグだと？どこら辺がギャグなんですか
233:１３２人目の素数さん
22/08/24 21:38:47.37 kmZv/DZO.net
>>226
覚えるな
分かれよ
234:１３２人目の素数さん
22/08/26 14:22:53.13 uyY29VJD.net
補題2-10
A ⊂ R^n を長方形とする．
f : A → R^n を連続微分可能とする．
A のすべての内点 x に対して， |D_j f^i(x)| ≦ M が成り立つような数 M が存在するならば，
|f(x) - f(y)| ≦ n^2 * M * |x - y|
がすべての x, y ∈ A に対して成り立つ．
235:１３２人目の素数さん
22/08/26 14:25:16.09 uyY29VJD.net
>>230
は， Michael Spivak著『Calculus on Manifolds』に書いてある補題です．
D_j f^i は連続関数なので， A 上で最大値最小値をとります．
ですので，補題2-10での M は常に存在すると思います．
236:１３２人目の素数さん
22/08/26 14:28:22.58 19sWmT18.net
松坂くんは今日も絶好調
237:１３２人目の素数さん
22/08/26 14:35:05.59 uyY29VJD.net
>>230
の補題のステートメントは間違っているということですか？
238:１３２人目の素数さん
22/08/26 14:51:37.53 G+NNgRzd.net
絶好調なら「fは微分可能であれば十分です」とか言いそう
239:１３２人目の素数さん
22/08/26 17:38:13.71 uyY29VJD.net
>>230
結論として，著者の頭の中では A は開長方形なんだと思います．
ですが，そうだとすると，「A のすべての内点 x に対して」というのが奇妙な表現ということになります．
「A のすべての点 x に対して」と書けば十分だからです．
240:１３２人目の素数さん
22/08/26 18:58:35.14 wxKL6M42.net
その本持ってないから知らんけど長方形=2次元区間で開とも閉とも限ってないんじゃない？
241:１３２人目の素数さん
22/08/26 22:24:50.36 y5bNOXMh.net
>>230 有限増分の定理だね
242:１３２人目の素数さん
22/08/26 23:59:06.62 M6bEjZ5s.net
境界上では有界云々以前に微分すらできないときもある
243:１３２人目の素数さん
22/08/27 00:17:15.78 dWsFMi/l.net
>>232を受けて>>233ということは、一応自分がどのように思われてるかの認識はあるようだね
自分の能力を棚に上げた著者批判も、卑劣な行為だと理解した上でやってたことなのかな
244:１３２人目の素数さん
22/08/27 12:24:57.84 MVf7nPZe.net
関数解析の教科書(自習で使う)って何かいい物ありますか？
調べてみた感じ岩波の「関数解析」(岡本/中村)がよさそうですけどどう思いますか？
245:１３２人目の素数さん
22/08/27 13:06:40.50 RQUlSt7o.net
Sergei OvchinnilovのFunctional Analysis: An Introductory Courseとか好きだな
何を読むか最後に決めるのは本人だからなんとも言えんけど
246:１３２人目の素数さん
[ここ壊れてます] .net
>>230
の補題ですが，これは逆関数定理の証明に使うための補題です．
この補題の使われ方を調べるため，逆関数定理の証明を読んだのですが，この補題は以下のように書くのが自然です．
補題2-10
A ⊂ R^n を閉長方形とする．
f : A → R^n を連続微分可能とする．
M を A のすべての点 x に対して， |D_j f^i(x)| ≦ M が成り立つような数とする．
このとき，
|f(x) - f(y)| ≦ n^2 * M * |x - y|
がすべての x, y ∈ A に対して成り立つ．
247:１３２人目の素数さん
[ここ壊れてます] .net
そこで，気になるのが，斎藤正彦さん訳の『多変数解析学』でこの補題がどのように書かれているかです．
原著をそのまま訳しておかしなことになっているのか，斎藤正彦さんが，
>>242
のように適切に書き直しているかどうかです．
248:１３２人目の素数さん
[ここ壊れてます] .net
そのまま，理解せずにただ訳しただけなのか，理解して訳していたかが，ここを見れば
判定できると思います．
斎藤正彦訳『多変数解析学』を持っている人はいませんか？
249:１３２人目の素数さん
[ここ壊れてます] .net
あ，「齋藤」が正しいですね．
250:１３２人目の素数さん
[ここ壊れてます] .net
齋藤正彦さんって宮澤喜一さんのいとこなんですね．
251:１３２人目の素数さん
22/08/27 15:22:56.89 VEQYv+Zi.net
それが？
252:１３２人目の素数さん
22/08/27 17:03:31.21 TQ6jMk8S.net
Michael Spivakさんの逆関数定理の証明ですが，非常に巧妙な証明ですね．
逆関数定理の本質的に異なると考えられる証明ってどれくらいあるんですか？
253:１３２人目の素数さん
22/08/27 17:24:43.53 VEQYv+Zi.net
>>248
平方剰余の相互法則の証明と比べると
比較にならない
254:１３２人目の素数さん
22/08/27 19:44:15.17 wCnKhP4Z.net
ステートメントが真に本質的な部分で弱くなってる
そういう基本的な事がいつまで経っても分からんアンポンタン
しょうもない重箱の隅にしか目が入ってない
255:からそういう重要な話のポイントは何一つ頭に入ってない
256:１３２人目の素数さん
22/08/27 20:28:17.57 TQ6jMk8S.net
あ，
>>236
が正しいようですね．
257:１３２人目の素数さん
22/08/27 20:29:04.47 TQ6jMk8S.net
で，この補題を逆関数定理の証明で使う際には，閉長方形に対して適用しているわけですね．
258:１３２人目の素数さん
22/08/27 21:07:37.25 aMn2PrgK.net
論点と違うけど、n^2の部分ってn^(3/2)にできない？
||f(x)-f(y)||≦|f^1(x)-f^1(y)|+…+ |f^n(x)-f^n(y)|の代わりに
||f(x)-f(y)|| =√ ((f^1(x)-f^1(y))^2+…+ (f^n(x)-f^n(y))^2)に不等式を使えばnが√nになると思うんだけど
259:１３２人目の素数さん
[ここ壊れてます] .net
>>230
この補題ですが，わずかでも一般化すると嬉しいという数学者のセコさがあらわれていますね．
金持ちが，小銭をもらって喜んでいるような感じですね．
260:１３２人目の素数さん
[ここ壊れてます] .net
境界上での偏微分の定義とか、境界を持つ領域上の関数が連続微分可能であることの定義はどうなってるの？
261:１３２人目の素数さん
22/08/28 12:28:34.90 hX6K4csh.net
>>255
It is convenient to define a function f : R^n → R^m to be differentiable on A
if f is differentiable at a for each a ∈ A. If f : A → R^m, then f is called differentiable
if f can be extended to a differential function on some open set containing A.
262:１３２人目の素数さん
22/08/28 12:30:49.62 hX6K4csh.net
訂正します：
>>255
It is convenient to define a function f : R^n → R^m to be differentiable on A
if f is differentiable at a for each a ∈ A. If f : A → R^m, then f is called differentiable
if f can be extended to a differentiable function on some open set containing A.
263:１３２人目の素数さん
22/08/28 13:07:11.90 MczHZCVW.net
境界上での偏微分は定義してないの？
だとしたらそこを避けるためにAの内点に限って条件を書いたんじゃないの？
264:１３２人目の素数さん
22/08/28 13:28:05.58 I2phUq1W.net
「(X,O)がT3空間のとき、Xの部分集合Aも部分空間としてT3空間」を次のように証明しましたが、合っていますか？
T3空間は点x∈Xと閉集合F⊂Xがx/∈F(/∈は∈の否定) を満たすならば,
つねに開集合U,Vがx∈U, F⊂V, U∩V=фを満たすように存在することと定義します。
x∈A, F⊂A、x/∈F、Fは部分空間Aでの閉集合とする。
Xの開集合VがあってA-F=V∩Aとなるので
F=A-V∩A=X∩A-V∩A=(X-V)∩A=G∩A、GはXの閉集合と表せる。
x/∈Fだからx/∈G
(X,O)がT3空間なのでXの開集合U1、U2があって、x∈U1、G⊂U2、U1∩U2=фとできる。
x∈U1∩A、F⊂U2∩A、(U1∩A)∩(U2∩A)=ф
となるのでXの部分集合Aも部分空間としてT3空間である。
265:１３２人目の素数さん
22/08/28 14:03:38.46 53tfrfT9.net
>>258
普通はそうやろ
あくまで微分が定義されるのは内点のみ、特殊な事情でどうしても境界上で微分しなきゃならない時はするけどそっちの方が例外
だから「全体で連続、内点で微分可能」なんてごくありきたりの設定
そんなもん高校で平均値の定理が出てきたところで既に出てる話
その時点でで気付けよアホかつて話
266:１３２人目の素数さん
22/08/28 14:24:09.35 Ry2arKzo.net
supノルムを使う為にf’が有界であってほしい時に閉区間上のC^1級関数を考えたりはする
267:１３２人目の素数さん
22/08/28 15:00:20.82 BATJIuS8.net
条件を簡潔に述べやすくするための工夫
268:１３２人目の素数さん
22/08/28 15:55:38.95 hX6K4csh.net
James R. Munkres著『Analysis on Manifolds』
>>187,190
変数変換の定理ですが，広義積分に対して，証明しています．
269:１３２人目の素数さん
22/08/28 15:56:40.84 hX6K4csh.net
訂正します：
James R. Munkres著『Analysis on Manifolds』
>>187,190
変数変換の定理ですが，広義積分に対してのみ，証明しています．
270:１３２人目の素数さん
22/08/28 16:01:35.15 hX6K4csh.net
その理由として，以下です：
One reason is that the extended integral is actually easier to work with in this context
than the ordinary integral. The other is that even in elementary problems one often
needs to use the substitution rule in a situation where Theorem 17.1 does not apply,
as Example 2 shows.
杉浦光夫さんの本ではどうなっていますか？
271:１３２人目の素数さん
22/08/28 16:03:47.25 hX6K4csh.net
俳優の杉浦直樹さんのいとこの杉浦光夫さんの本は，細かすぎて本当に使いにくいですよね．
齋藤正彦は，政治家の宮澤喜一さんのいとこですね．
272:１３２人目の素数さん
22/08/28 16:05:21.47 hX6K4csh.net
藤原正彦さんは作家の新田次郎さんの息子ですね．
273:１３２人目の素数さん
22/08/28 16:17:26.68 53tfrfT9.net
>>282
閉領域で微分可能とするには結局厳密には
「その閉領域を含むある開領域で微分可能」とするしかない
しかしそれを前提条件とすると本質的に条件がかなりキツくなる
そんな事まで要求してしまったら
「f(x) = √(1-x²)でf(1) = f(-1) =0だからロルの定理よりあるcでf'(c)=0」もダメになる
そしてこの“内点で微分可能、全体で連続”というセットアップは数学において繰り返し繰り返し発生する状況でそのような状況で使えるように準備しておく事は決して“無用な拡張”をしてるわけではない
むしろ難しい関数を”なめらかな関数の境界になってる関数”と捉えて解析するのは数学の中心的手法と言っていい
数学ある程度勉強してわからんのはもう才能ない
274:１３２人目の素数さん
22/08/28 17:04:22.10 75XKd86R.net
才能があるかどうかって誰か質問したか？
275:１３２人目の素数さん
22/08/28 17:18:29.54 ojWOHsF1.net
初等解析に才能も何もないだろ
276:１３２人目の素数さん
22/08/28 17:48:47.14 quLDuoaA.net
>>269
>>268 の言いたいことは、『才能があるかないかという質問に対する答え』ではなく、
『お前には才能ないからもう数学はやめろ』という忠告ではないだろうか。
277:１３２人目の素数さん
22/08/28 19:05:59.13 pOMmGxca.net
まーたマウンティングか
数学と性格
278:１３２人目の素数さん
22/08/28 22:12:17.74 9bma0f6J.net
まぁアホ学生なんてこんなもん
279:１３２人目の素数さん
22/08/30 00:10:23.07 x/Qhz/yp.net
∫_{0}^{1} ∫_{0}^{1} √(x^2 + y^2) dy dx について考える．
f(x, y) = √(x^2 + y^2) とおく．
f(x, y) = y (x = 0 のとき)
f(x, y) = √(x^2 + y^2) (x ≠ 0 のとき)
です．
f(x, y) は x が 0 であるかそうでないかによって，全く別のタイプの関数になります．
ですが， ∫_{0}^{1} √(x^2 + y^2) dy は x の連続関数になるので，
g(x) = ∫_{0}^{1} √(x^2 + y^2) dy を x ≠ 0 のときにのみ，計算して
∫_{0}^{1} g(x) dx を計算すれば，
∫_{0}^{1} ∫_{0}^{1} √(x^2 + y^2) dy dx が求まります．
これって，なんか不思議じゃないですか？
280:１３２人目の素数さん
22/08/30 00:13:49.12 x/Qhz/yp.net
訂正します：
∫_{0}^{1} ∫_{0}^{1} √(x^2 + y^2) dy dx について考える．
f(x, y) = √(x^2 + y^2) とおく．
f(x, y) = y (x = 0 のとき)
f(x, y) = √(x^2 + y^2) (x ≠ 0 のとき)
です．
f(x, y) は x が 0 であるかそうでないかによって，全く別のタイプの y の関数になります．
ですが， ∫_{0}^{1} √(x^2 + y^2) dy は x の連続関数になるので，
g(x) = ∫_{0}^{1} √(x^2 + y^2) dy を x ≠ 0 のときにのみ，計算して
∫_{0}^{1} g(x) dx を計算すれば，
∫_{0}^{1} ∫_{0}^{1} √(x^2 + y^2) dy dx が求まります．
これって，なんか不思議じゃないですか？
281:１３２人目の素数さん
22/08/30 00:15:53.23 gkY36A/q.net
？？？？？
282:１３２人目の素数さん
22/08/30 00:19:05.54 x/Qhz/yp.net
g(y) = y
と
g(y) = √(1 + y^2)
では全くタイプのことなる関数ですよね．
283:１３２人目の素数さん
[ここ壊れてます] .net
>>277
y=√(0+y^2)
では？君の疑問の出所「タイプ」を突き詰めて考えないと
284:１３２人目の素数さん
22/08/30 08:13:20.35 x/Qhz/yp.net
y と 無理関数 √(a^2 + y^2) は明らかにタイプが異なる関数です．
285:１３２人目の素数さん
22/08/30 08:19:06.25 x/Qhz/yp.net
以下の定理は重要だと思うのですが，書いていない本が多いですね．
なぜでしょうか？
例えば，Michael Spivak著『Calculus 4th Edition』には書いてあります．
f が区間 [a, b] で積分可能であるとする．
このとき，
F(x) := ∫_{a}^{x} f(t) dt は [a, b] で連続である．
286:１３２人目の素数さん
22/08/30 08:21:46.71 x/Qhz/yp.net
f が連続関数ならば， F(x) は微分可能なので，
287:もちろん連続です． ですが， f が不連続関数の場合には， F(x) が連続であるというのはそれほど自明ではありません．
288:１３２人目の素数さん
22/08/30 08:27:26.92 x/Qhz/yp.net
齋藤正彦さんの本と野村隆昭さんの本には書いてありませんでした．
289:１３２人目の素数さん
22/08/30 08:29:53.12 x/Qhz/yp.net
あ，書いてある本のほうが多いかもしれませんね．
連続関数の積分に限定している本には書いていないということですかね．
290:１３２人目の素数さん
[ここ壊れてます] .net
>>279
？？？
291:１３２人目の素数さん
[ここ壊れてます] .net
Stephen Abbott著『Understanding Analysis』
売れ筋の本のようですが，どこがいいのか分かりません．
１変数のみですし，演習問題が多すぎます．
292:１３２人目の素数さん
22/08/30 16:30:09.98 I5fp4O9E.net
学部生の為のテキストだからな
293:１３２人目の素数さん
22/08/30 18:22:17.13 I1ep6B+K.net
演習問題が多いことに文句言う人初めて見た
294:１３２人目の素数さん
22/08/30 18:38:21.19 VRrUFFPw.net
講義で教科書に使っていて、試験は演習問題から出る
というシチュエーションならあり得る
295:１３２人目の素数さん
22/09/03 17:26:35.10 7anGMjm3.net
てすと
296:１３２人目の素数さん
22/09/07 21:00:50.25 Du667sV0.net
H.フランダース, 微分形式の理論 およびその物理科学への応用 (岩波書店)
(原題: Harley Flanders, Differential Forms with Applications to the Physical Sciences )
p.22 の問題より
n次元ベクトル空間: V
添字組: H=(i₁,i₂,...,iₚ) { 1≦ i₁<i₂<...<iₚ ≦n }
p重ベクトル基底: σ^H := σ[i₁] ∧ σ[i₂] ∧ ... ∧ σ[iₚ] {基底ベクトル: σ[i]∈V}
として、
p重ベクトル: α = Σ{H} a[H] σ^H {a[H]∈R, ∃a[H]≠0}
を固定すると
部分ベクトル空間: M (⊂ V) { def: v∈M ⇔ α∧v=0 }
が定まります
以下を証明してください
問1. dim(M) ≦ p
問2. dim(M) = p が成り立つためには
α = u₁ ∧ u₂ ∧ ... ∧ uₚ {u₁,u₂,..,uₚ は適当な独立ベクトル}
の形に表せることが必要十分である
-----------------------------
問1.
a[H]から定まる C[n,p+1] × n 次行列 (Aとする) を考えてみたものの
dim(ker(A)) ≦ p を示す方法が分かりません
問2.
[必要性] 分からない
[十分性] w = u₁∧u₂∧...∧uₚ の時 M = span({u₁,u₂,...,uₚ}), よって dim(M)=p
297:１３２人目の素数さん
22/09/07 22:02:56.80 tRUMWk3T.net
>>290
7次元空間の3-formくらいで
空間の基底をp,q,r,s,t,u,vとして3-form ωにおいてp∧q∧rの係数が1とする
x∈Vがx∧ω=0を満たすとする
x = ap+bq+cr+ds+et+fu+gv (a～g∈ℝ)
とする
x∧ω∧s∧t∧u = 0よりg = 0
x∧ω∧s∧t∧v = 0よりf = 0
x∧ω∧s∧u∧v = 0よりe = 0
x∧ω∧t∧u∧v = 0よりd = 0
∴ x はp,q,rではられる空間に入る
∴ { x | x∧ω=0} ⊂ <p,q,r>, dim<p,q,r> = 3
ωの他の成分の係数、例えばp∧q∧sの係数も0でないなら{ x | x∧ω=0}は<p,q,s>にも含まれるから<p,q,r>∩<p,q,s> = <p,q>に含まれ次元は２以下
一般化はご自分で
298:１３２人目の素数さん
22/09/07 22:11:23.19 5HjBFIuh.net
>>290
問1: a[H]が0でないようなHについて、Hに出てこないような添字jに対するα∧σ[
299:j]が1次独立であることを確かめる。 問2: Mの基底を取り、それを含むようなVの基底をとって成分表示。
300:１３２人目の素数さん
22/09/07 22:45:38.65 Du667sV0.net
>>291, >>292 ありがとうございます
301:１３２人目の素数さん
22/09/08 12:40:33.16 rP0+O6dI.net
再びフランダース本より (p.23)
n次元ベクトル空間: V の1次変換: A が与えられた時、
p重ベクトル空間: ∧^p V の1次変換: ∧^p A を以下のようなものと定義する
(∧^p A)(σ[i₁] ∧ σ[i₂] ∧...∧ σ[iₚ]) := Aσ[i₁] ∧ Aσ[i₂] ∧...∧ Aσ[iₚ]
Aσ[i] = Σ{j} a[i,j].σ[j]
添字組: H={i₁,i₂,..,iₚ}, K={j₁,j₂,..,jₚ}
a[H,K] := 行列a[i,j]に対して 組Hから行を 組Kから列を 拾ったp次小行列
とすると
(∧^p A)(σ^H) = Σ{K} |a[H,K]| σ^K と表せます. (フランダース本 p.15)
問.
組H行, 組K列 の成分が p次小行列式 |a[H,K]| である C[n,p]次行列
この行列式の値を求めてください.
---------------
(元の文↓だと伝わらないと思ったので補いました. 意味は同じはずです)
問. dimL=n とし, 1次変換 A: L→L が与えられたとする. 次の行列式の値を求めよ |∧^p A|
---------------
次数計算 C[n,p]* p = n*C[n-1,p-1] から
|∧^p A| = |A|^C[n-1,p-1] になると予想しましたが、正しい保証はありません
例. p=1の場合, p=nの場合 は自明です.
例. n=3, p=2 の場合
組H,K = {(12),(13),(23)} ～ {1,2,3} に読み替えて
m = matrix(3)
m[1,1] = a11*a22-a12*a21
m[1,2] = a11*a23-a13*a21
m[1,3] = a12*a23-a13*a22
m[2,1] = a11*a32-a12*a31
m[2,2] = a11*a33-a13*a31
m[2,3] = a12*a33-a13*a32
m[3,1] = a21*a32-a22*a31
m[3,2] = a21*a33-a23*a31
m[3,3] = a22*a33-a23*a32
a = [ a11,a12,a13 ; a21,a22,a23; a31,a32,a33 ]
matdet(m) - matdet(a)^(binomial(n-1,p-1))
⇒ 0
よってこの場合は正しい {PARI/GPで検算}
302:１３２人目の素数さん
22/09/08 16:30:56.56 rP0+O6dI.net
(続き)
ランダム整数の行列を元に数値計算をしてみましたが
n=10 までは |∧^p A| = |A|^C[n-1,p-1] が成り立っている様子でした
(もちろん 証明にはなりません)
303:１３２人目の素数さん
22/09/08 17:36:32.30 QIjux8Cs.net
>>294
あまり綺麗じゃないけど、係数体をCに拡大してAをジョルダン分解、とか？
304:１３２人目の素数さん
22/09/08 19:01:46.70 X0JZww7y.net
1≦p≦nに対してn次元実ベクトル空間ℝⁿのp重交代積の空間をVₙₚとする
M∈Mₙ(ℝ)が引き起こす写像φᴍ:Vₙₚ→Vₙₚの行列式を対応させる写像Dₙₚを考えればDₙₚはMₙの成分の多項式で書ける写像だから連続
よって今示したい関係式
Dₙₚ(M) = ( det M )^(ₙ₋₁Cₚ₋₁)‥①
は両辺共に連続
よってこの等式がMの稠密部分集合で成立していれば良い
M'ₙ = { M ∈ Mₙ | Mは相異なるn個の固有値を持つ }
とすればM'ₙはMₙで稠密、かつM'ₙで①は成立
305:１３２人目の素数さん
22/09/08 20:05:07.11 rP0+O6dI.net
>>296 ありがとうございます. それでいいと思います.
|a[H,K]| が上三角行列になるので 対角行列になる >>297 と同様に簡単に等式が示せますね.
例. A e^{i,j,k} = A e[i] ∧ Ae[j] ∧ Ae[k] = (λ[i] e[i] + e[i-1]) ∧ (λ[j] e[j] + e[j-1]) ∧ (λ[k] e[k] + e[k-1])
= λ[i]λ[j]λ[k] . e^{i,j,k} + ({i,j,k} より低位の項)
>>297
「M'ₙはMₙで稠密」これはどこまで自明でしょうか？
306:１３２人目の素数さん
22/09/08 20:19:57.80 X0JZww7y.net
>>298
固有多項式の判別式は係数の多項式
それが0出ない空間はMₙの代数的開集合、すなわちZariski open
Mₙは既約だから任意のZariski openは稠密
307:１３２人目の素数さん
22/09/08 20:42:30.72 rP0+O6dI.net
>>299
すみません勉強が足りず今時点では理解が追いつかない感じですが、ありがとうございます.
308:１３２人目の素数さん
22/09/10 12:39:14.23 XV/Yduiy.net
James R. Munkres著『Analysis on Manifolds』
変数変換の定理の証明を読んでいますが，技術的なことを細かく証明しているだけという
印象ですね．
証明ですが，6ページ半の長さです．
もちろん，その前に書いてある命題群も使うので，あまり長さに意味はありませんが．
309:１３２人目の素数さん
22/09/10 12:43:14.67 XV/Yduiy.net
無料で公開されているとは知りませんでした．
archive.org/details/MunkresJ.R.AnalysisOnManifoldsTotal/page/n173/mode/2up
この補題のStep 3まで読み終わりました．
310:１３２人目の素数さん
22/09/10 12:46:49.85 XV/Yduiy.net
変数変換の定理の証明で重要な役割をする「partitions of unity」というのも素朴な考え方ですよね．
その証明も技術的です．
311:１３２人目の素数さん
22/09/13 18:20:01.29 XvzSYEMQ.net
スキーム(X,O_X)の構造層O_Xってどんなイメージ？
312:１３２人目の素数さん
22/09/13 18:52:54.15 t9t/s19e.net
積分記号下の微分って重要ですか？
313:１３２人目の素数さん
22/09/13 19:24:14.38 SF6soQu5.net
変数変換のときに便利
314:１３２人目の素数さん
[ここ壊れてます] .net
>>304
O_Xはその層化と同型だから、O_X(U)はU⊆Xの点から茎の排他的和への関数の部分集合になる
これが古典的な代数幾何との類推
315:１３２人目の素数さん
22/09/13 23:54:37.40 FmOGMTZp.net
>>307
ありがとうございます。
スキームの層の方の準同型f#:O_Y→f*O_Xは、なんの元でどの元とどの元が対応しているんですか？
316:１３２人目の素数さん
22/09/14 06:28:35.30 MTtZ3L3m.net
距離化(距離付け)可能な位相空間だったら、最初から距離空間って言えばいいのに、距離化可能な位相空間って言うのは何でですか?
しっくり来る説明をしてもらっていいっすか?
317:１３２人目の素数さん
22/09/14 06:46:11.63 +2EXxi2O.net
同じ位相を定める異なる距離があるから
具体的な距離ではなく、あくまで距離化可能ということが純粋に位相的性質と言える
318:１３２人目の素数さん
22/09/14 14:16:04.52 YHYq3ABW.net
こんな質問する奴に答える意味あるんか？
319:１３２人目の素数さん
22/09/15 15:06:28.07 kkHTbITD.net
三段論法のわかり易い例を教えてください。
自分は理系なので、数学内の例ならわかるのですが、
日常的な例だとわかりません。 よろしくお願いします。
320:１３２人目の素数さん
22/09/15 16:30:49.26 ZlYf+Xep.net
>>312
ナニナニならばナニナニってのを何か思いつく？
321:１３２人目の素数さん
22/09/15 21:33:54.31 kkHTbITD.net
>>313
小学生ならば子供である
でよいでしょか？ ここまでは考えたのですが、ここからがわかりません
322:１３２人目の素数さん
22/09/16 07:10:13.30 A0zTZd47.net
>>314
誰か小学生を知ってる？
323:１３２人目の素数さん
[ここ壊れてます] .net
男は「三段論法を理解するために声を掛けた」などと供述しており…
324:１３２人目の素数さん
22/09/16 10:56:54.94 7HLoB6T0.net
>>315
近所の太郎君が小学生です。
325:１３２人目の素数さん
22/09/16 11:22:14.32 wx8X1dTs.net
φ : R^n → R のサポートが、
{x | φ(x) ≠ 0} ではなく、 {x | φ(x) ≠ 0} の閉包と定義されるのはなぜですか？
326:１３２人目の素数さん
22/09/16 12:42:44.13 Z4pT98eV.net
>>317
では
「小学生ならば子どもです」（大前提）
「近所の太郎君は
327:小学生です」（小前提） から三段論法により 「近所の太郎君は子どもです」（帰結） が導かれるました
328:１３２人目の素数さん
22/09/16 16:32:53.37 7HLoB6T0.net
親切に教えて頂いてありがとうございます。
ところで、(大前提)と(小前提)との使い分けは数学ではしないと思いますが、
必要なことなのですか？
たとえば、
「近所の太郎君は小学生です」（大前提）
「小学生ならば子どもです」（小前提）
から三段論法により
「近所の太郎君は子どもです」（帰結)
は、(大前提)と(小前提)との使い分けとしては間違いですか？
329:１３２人目の素数さん
22/09/16 18:26:53.29 5LGM9y47.net
Wikipediaによると
> 古代ギリシアに由来する西洋の三段論法は、
> 大概念 - 結論において述語（P）となる概念（項）。
> 小概念 - 結論において主語（S）となる概念（項）。
> 媒概念 - 大前提・小前提で上2つの概念（項）との関係性が示される媒介的な概念（項）。中項（M）。
> という3つの項（概念）の内、2つの組み合わせ（関係性）をそれぞれ表現する、
>
> 大前提 - 大概念/述語（P）と、媒概念/中項（M）の関係性を示す命題文
> 小前提 - 小概念/主語（S）と、媒概念/中項（M）の関係性を示す命題文
> 結論 - 小概念/主語（S）と、大概念/述語（P）の関係性を示す命題文
との事なので
数学的にはこうなる
・小概念 S: 近所の太郎君
・小前提 M(S): Sは小学生です
・大前提 ∀x { M(x)→P(x) }: (任意xについて){ (xが)小学生ならば(xは)子どもです }
・結論 P(S): S[=近所の太郎君]は子どもです
汎化(∀x) されてる方を「大前提」と呼ぶのは自然に感じますね.
330:１３２人目の素数さん
22/09/16 23:43:23.48 7HLoB6T0.net
皆さんが親切なので、わたしもやる気が出て調べてみました。
論理の教科書によると、三段論法とは次のことのようです。
[[P→Q]∧[Q→R]]→[P→R]
そうだとすると、「近所の太郎」の例はこれに当てはまらないので
違うのではないでしょうか？
331:１３２人目の素数さん
22/09/17 00:04:44.41 CuRiIZvi.net
>>322
それも三段論法
これも三段論法
P∧(P→Q)→Q
332:１３２人目の素数さん
22/09/17 00:09:10.53 pC+JzMH+.net
f:S^n→S^nが恒等写像の整数倍にホモトピックである事(π_n(S^n)=Z))の少し変わった証明法として
以下のように示せというHatcherの本の問題を考えています。
(1)fを単体近似して，q∈S^nでf^(-1)(q)は有限個の点{p_1,…p_k}からなり各p_iの近傍ではfは線形同型であるように
ホモトピーで動かして取れる
(2)gとしてqのある近傍の補集合を基点に潰す写像g:S^n→S^nを取り，合成gfを考える事でさらに(1)のk=1個の場合に帰着させよ
(3)可逆な行列は恒等行列かreflectionのどちらかに弧としてつなげる事を使って主張を示せ
という問題です。
(1)は解けたのですが(2)はこれはgfではなくfgの誤植ではないかと思ったのですが分かる方いたら教えて下さい。
fgであればgをp_iの周り以外を潰す写像とするとfgは(1)でk=1の場合になり
S^nを有限個のn-cellで分割して各n-cellにたかだか1つのp_iを含むようにすると
ホモトピー群での和を定めた時と同様に考えて
id=g_1+…g_kが言えて，これを使ってf=f。id=f。(g_1+…)としてうまくいきそうなのですが
fgではなくgfを考えて上手く示せる方法があるのでしょうか
URLﾘﾝｸ(pi.math.cornell.edu)
のPDFのp.368(ページ数ではp.359)のEx15の問題です
333:１３２人目の素数さん
22/09/17 01:30:36.60 feKDaZeq.net
白黒の縞模様を細かくしていくと
縞模様の中にそれとは異なる独特の歪みが生じて見えます。
あれは数学的に説明したりモデ
334:リングできるものでしょうか。
335:１３２人目の素数さん
22/09/17 01:52:57.69 yEinN9q2.net
>>328
gfでも証明できるやろ
以下qは北極N、基点は南極Sとして北半球と南半球が赤道Eで繋がってるとする
q₁～qₖ全部北半球としてよい
PL構造を北半球全体があるnセルの内点になってるようにとる、すなわち北半球はある線形空間の構造か入ってるとする
各qᵢの近傍Uᵢにfを制限すると線形写像でf(Uᵢ)は赤道Eを含むとしてよい
各qᵢの近傍Uᵢとその極座標(rᵢ,θᵢ)∈(0,[1)×Sⁿ⁻¹でf(1/2,θᵢ)∈Eとなるものがとれるとしてよい
fをホモトピックにgに取り替えて
各qᵢの近傍Uᵢとその極座標(rᵢ,θᵢ)∈(0,[1)×Sⁿ⁻¹で
g(t, θ) = f(2t,θ) ( if t ≦ 1/4 )
g(1-t, θ) = f(1-2t,t) ( if t ≦ 1/4)
g(r,θ) = f(1-t,θᵢ) ( if 1/4≦ t ≦ 1/2 )
g(1/2,θᵢ) = S
となるようにとれる
さらにgᵢを
gᵢ(p) = g(p) ( if p∈Uᵢ、rᵢ(p)≦1/2)
= S ( otherwise )
で定めれは
g = g₁+...+gₖ
になってて各gᵢは±idのどっちかにHomotopicだから了って話でしょ？
そこでf→gに話をreduceするとき赤道を南極に潰す部分をq₁～qₖまで全部同じの取れますよって話しでしょ？
同じにとる必要もないけど
336:１３２人目の素数さん
22/09/17 01:53:42.21 yEinN9q2.net
我ながらいつもいつもアンカーぎメチャクチャやな
337:１３２人目の素数さん
22/09/17 04:08:39.25 Kiw1vsvT.net
なんJ語と数式ってどっちの方が記述できる情報量多いんですか？
338:１３２人目の素数さん
22/09/17 04:18:40.32 CuRiIZvi.net
>>324
>これはgfではなくfgの誤植ではないか
そうですね
339:１３２人目の素数さん
22/09/17 09:57:45.99 wlMTi/KS.net
gとして「q」のある近傍の補集合を〜って書いてあるならgfで正しいんじゃない？
というかp_iの周り以外を潰す写像って少なくとも簡単には取れないでしょ。
p_1の周り以外を潰すときにp_2を通ってしまうみたいなことが起きるような。
340:１３２人目の素数さん
22/09/17 12:38:07.69 yEinN9q2.net
ℝⁿをn次元実ベクトル空閑としSⁿをℝⁿの|p|≧1なる点を一点に潰した空間とみなす
Sⁿの基点Bはこの潰した点と定める
f : Sⁿ → Sⁿを任意にとる
fとホモトピー同値な写像と取り替えることで点Q₁‥Qₖ、正の数r, r₁‥rₖ、可逆な一次変換l₁‥lₖを
f⁻¹(O) = { Q₁, ..., Qₖ }、
f⁻¹(Bᵣ(O)) = ∪ᵢ Bᵣᵢ(Qᵢ)
f(P) = lᵢ(P - Qᵢ)、(∀P∈Bᵣᵢ(Qᵢ))
と仮定できる
連続写像g : Sⁿ→Sⁿをg(p) = p/rで定める
gはidとホモトピックである
hᵢ = gf( P ) ( if P∈Bᵣᵢ(Qᵢ) )
B ( otherwise )
で定めるとき
f ～ gf = h₁+h₂+‥+hₖ
である
341:１３２人目の素数さん
22/09/17 14:32:42.60 KWrr8Zqx.net
>>323
貴殿の見識には感服の至りです
「ソクラテスは人間で、...」という有名な「アリストテレスの三段論法」
は実は、三段論法でもモダスポネンスでもないけど、
こういうのを全部まとめて「広義の三段論法」と言おう
ということですね。
342:１３２人目の素数さん
22/09/17 16:41:46.83 K2q5+AKs.net
>>323
その記法だとなんだか圏論の可換図みたく見えるのは単なる印象論だけで終わる話なのだろうか？
343:１３２人目の素数さん
22/09/17 18:10:13.26 KWrr8Zqx.net
>>332
この分野は、数学知らない哲学者たちが幅をきかせて、2000年前の習慣がいまだに続いている
344:１３２人目の素数さん
22/09/17 23:50:04.15 qkehNvla.net
ｿｸﾗﾃｽは人間である
人間は�
345:Kず死ぬ ｿｸﾗﾃｽは必ず死ぬ 確かに三段論法の典型例としてよく言われるこれって三段論法じゃないんですね なんか衝撃です P(x):xは人間である Q(x):xは必ず死ぬ ∀x P(x)→Q(x) 人間は必ず死ぬ P(ソクラテス)→Q(ソクラテス) ソクラテスは必ず死ぬ
346:１３２人目の素数さん
22/09/18 00:03:23.32 XuEcZjox.net
>>335
P（ソクラテス）→Q（ソクラテス）
で終わりならその例にあってないよ
P（ソクラテス）∧（P（ソクラテス）→Q（ソクラテス））→ Q(ソクラテス）
というのがその主張で
確かに三段論法
君が言っていたのは∀除去ね
∀xP(x)→P(a)
347:１３２人目の素数さん
22/09/18 11:35:37.32 sntW97q8.net
324ですがみなさんありがとうございます。
>>331でかなり頭が整理されて分かってきました
指摘の通りfgだと問題があってやっぱりgfを考えるのが正しかったです
感謝します
348:１３２人目の素数さん
22/09/18 16:13:37.48 NlcuiHM+.net
>>335
というか定義の問題だろ
人間の作った概念に合致してるか否かってそんな深い問題か？
単に現代人が共有してる社会通念に合致してるか否かってだけで法令の条文に書いてあるわけですらない
349:１３２人目の素数さん
22/09/18 17:32:11.10 pCCEpRA9.net
定言的三段論法っていうのは定義があるみたいだけど
数学におけれ三段論法っていう流通した定義はないんだから推移律を三段論法と呼んでも別におかしくない
350:１３２人目の素数さん
22/09/18 17:59:02.91 XuEcZjox.net
>>333
カレーはワードどうケ？
351:１３２人目の素数さん
22/09/19 07:53:15.73 yhHnsD0I.net
高校数学スレが荒らされてるからこっちで聞かせて下さい
∫cos(x-(1/x))dx
の不定積分はどのようにすれば求められるのでしょうか
(xは正の実数とします)
cos(•)のテイラー展開から適切にくくっていったりすると綺麗に解けるのでしょうか？
352:１３２人目の素数さん
22/09/19 09:15:54.85 fYNG4sHq.net
高校数学スレでそんなこと聞いたら燃料になるだけだわな
いろんな意味で
353:１３２人目の素数さん
22/09/19 09:34:07.36 Us/hBVsn.net
大先生が無理なら無理やろ
URLﾘﾝｸ(www.wolframalpha.com)
354:１３２人目の素数さん
[ここ壊れてます] .net
加藤十吉著『微分積分学原論』がヤフオクに出品されています。
ウォッチリストに登録している人の人数が20人を超えていますが、なぜそんなに人気なんですか？
355:１３２人目の素数さん
22/09/19 13:23:29.22 w3tdgeEj.net
300ページ未満の薄い本ですよね。
なぜ人気なのかが不思議です。
356:１３２人目の素数さん
22/09/19 15:18:42.55 s5fcCJLR.net
>>341
おそらく初等関数の組み合わせなどでは表示できないのではないかと思う。
可積分性はわかってもそれが求められないなんていうのもよくあるし。
357:１３２人目の素数さん
22/09/19 18:24:42.65 TewZOLMz.net
>>346
微分ガロア理論で不定積分は初等関数で表せないって分かるって
358:１３２人目の素数さん
22/09/19 18:42:08.91 w3tdgeEj.net
数学のとびら ルベーグ積分と測度 単行本（ソフトカバー） – 2022/2/25
山上 滋 (著)
多変数関数論 (数学のかんどころ 21) 単行本 – 2013/12/24
若林 功 (著), 飯高 茂 (編集), 中村 滋 (編集), 岡部 恒治 (編集), 桑田 孝泰 (編集)
を注文しました。
これらの本っていい本ですか？
359:１３２人目の素数さん
22/09/19 19:01:29.67 1MrDdaqU.net
>>344
日本数学会の出版賞の受賞者だから
人気は当然のこと
360:１３２人目の素数さん
22/09/19 21:04:38.54 w3tdgeEj.net
>>349
図書館でパラパラと見た記憶がありますが、薄いこれといって特長のない本に見えました。
1万円を超えましたね。
361:１３２人目の素数さん
22/09/20 01:20:17.88 uWxhSq6N.net
348の2冊は図書館で見てから買おうとは思わなかったのか
362:１３２人目の素数さん
22/09/20 19:01:52.21 eN6Oh8pP.net
学生じゃなければ大学の図書館使えないからな
普通の公立の図書館じゃまず置いてないだろうし
363:１３２人目の素数さん
22/09/20 21:42:10.57 nQfgTCP/.net
>>348
その著者たちの本ならば
きっと磨き抜かれているだろう
364:１３２人目の素数さん
[ここ壊れてます] .net
「素粒子ではなく素角度量を考えよう
素角度量には位置すらない
ある素角度量と別の素角度量が織りなす角度が存在する
宇宙の終わり、そして静止は、あるとしたらこの素角度量の同軸的分布である
万物の根源は角運動量である」
みたいな動機で、位置ではなく角度に次元を見出したい時に使える数学はありますか
365:１３２人目の素数さん
22/09/24 16:22:33.56 khbzygo5.net
それっぽい言葉を並べて馬鹿にしか見えん
366:１３２人目の素数さん
22/09/24 17:53:50.33 AniywPPL.net
直方体で考えましょう
縦、横、高さ。3次元ですね
円筒で考えましょう
半径、角度、奥行。3次元ですね
球で考えましょう
半径、角度A、角度B。3次元ですね
角度が3つだとどうなりますか
367:１３２人目の素数さん
22/09/28 00:04:33.21 1KhLce2r.net
ｐは2でない素数でGはp群で位数ｐの部分群が1つだけあります。指数ｐの部分群をHとします。指数ｐの部分群は巡回群になることがわかっています。
指数ｐの部分群が他にないとしたらGは巡回群になる。
Gは巡回群になるのを教えてください。生成元でもよいです。
368:１３２人目の素数さん
22/09/28 00:25:53.70 IZuAxTc/.net
>>357
G/H=Zpの生成元の引き戻しをa∈Gとしたら？pa∈H=Zp^(n-1)がpa∈pZp^(n-1)なら・・・・
369:１３２人目の素数さん
22/09/28 01:18:27.31 4bFn5DSA.net
最小反例を与えるGと素数pを取る
Pをpシロー群、Hを指数pの部分群とする
Hの位数を割り切る素数が2つ以上あるならH = H₁×H₂と非自明な巡回群で位数が互いに素である部分群２つの直積に分解する(∵仮定によりHは巡回群で可換)
よってπ:G→G/P→Hを自然な全射としπ⁻¹(Hᵢ)は共に前定条件を満たすことからGの最小性によりπ⁻¹(Hᵢ)は共に巡回群である
よってHᵢの生成元xᵢとPの生成元pをとればx₁x₂は可換、xᵢとpも可換、位数はすべて互いに素だからG全体が巡回群となり矛盾する
よってHの位数を割り切る素数はひとつだけである
v | |H| を素因子とする
仮定により|H| = vᵉとすればHは位数vᵉの巡回群である
Hの生成元xをとるK=<xᵛ>とすれば上と同じ要領で位数が|G|/vで条件を満たすものが構成できるからKPは巡回群でなければならない
特にxᵛとpは可換となる必要がある
よってx→pxp⁻¹によって定められるAut(H)の元σはAut(H)→Aut(K)のkernelに入らなければならないがこのkernelの位数はvでありpと互いに素である
よってσはHの単位写像でありpとxは可換である