大学数学の質問スレ Part1 (322ﾚｽ)
大学数学の質問スレ Part1 http://rio2016.5ch.net/test/read.cgi/math/1748224638/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
177: １３２人目の素数さん [sage] 2025/07/27(日) 19:21:52.54 ID:w+91Ip6O >>175 これ成り立たないの？ 普通に成り立ちそうだけど http://rio2016.5ch.net/test/read.cgi/math/1748224638/177
178: １３２人目の素数さん [sage] 2025/07/27(日) 20:29:56.41 ID:dnfSDs4w ヨコだけど |x| を原点との距離として f(x) = -4exp(-2|x|^4) + 2exp(-|x|^2) + cos(|x|^2) exp(-|x|^2) とかでだめだと思う。f(x) = 0 となるのは |x| = 0.86.. ぐらいだけど f^(-1)((-ε,ε)) となる x は |x| がいくらでも大きいところまで続いてしかも増減を無限にくりかえす。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/178
179: １３２人目の素数さん [sage] 2025/07/27(日) 20:35:30.96 ID:dnfSDs4w まぁ M 本体そのものがコンパクトなら反例はないけど。どうせメインはその仮定はいるから筆が滑っただけだとは思う。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/179
180: １３２人目の素数さん [] 2025/07/27(日) 20:39:31.60 ID:6gFXRl6Z f(x)の臨界値が0に集積する場合とか無いのか？ x*sin(1/x)の様に0の近くで激しく振動するばあいとか http://rio2016.5ch.net/test/read.cgi/math/1748224638/180
181: １３２人目の素数さん [] 2025/07/27(日) 20:45:03.73 ID:6gFXRl6Z >>175 >>179が言うように、Mがコンパクトとか何か良い仮定が無いとダメだと思う http://rio2016.5ch.net/test/read.cgi/math/1748224638/181
182: １３２人目の素数さん [sage] 2025/07/27(日) 21:13:26.81 ID:w+91Ip6O たしかに http://rio2016.5ch.net/test/read.cgi/math/1748224638/182
183: １３２人目の素数さん [sage] 2025/07/27(日) 21:44:43.81 ID:w+91Ip6O Mがコンパクトのときは、背理法使うと臨界点の列p_nでKの点pに収束するものが取れるけど、pの近傍には臨界点ないから矛盾するな もうちっと丁寧にやりたいな… http://rio2016.5ch.net/test/read.cgi/math/1748224638/183
184: １３２人目の素数さん [] 2025/07/27(日) 22:06:28.28 ID:VBdwsvAc 数列{a[n]}wo、a[1]=a(>1), a[n+1]=S[n]/(S[n]-1) (n=1,2,3,…)_で定めます。ただし S[n]=a[1]+…+a[n] です。 このとき n→∞ のとき a[n]→1に収束すると思うんですがどう示せますか。 また、a[n]-1 はどのくらいのレベルで0に近づきますか。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/184
185: １３２人目の素数さん [] 2025/07/27(日) 22:11:07.36 ID:6gFXRl6Z >>181だけど、>>2は「関数fがモース関数」という仮定が抜けていると思われる。 モース理論をするなら、モース関数という仮定が無いとダメだろう。 モース関数なら、臨界点は孤立するから、集積するようなことが起こらない。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/185
186: １３２人目の素数さん [sage] 2025/07/27(日) 22:42:50.58 ID:dnfSDs4w モース関数でもだめでしょ。 いくらでも小さい値の臨界値をもつが、M 本体がコンパクトでもなんでもなければ P_n で臨界値、| f(P_n) | < 1/n、 lim P_n は無限遠点に逃げていくモース関数の例なんていくらでもありそうな。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/186
187: １３２人目の素数さん [] 2025/07/28(月) 10:56:03.30 ID:w6CEDhLN Loring W. Tu著『An Introduction to Manifolds Second Edition』 germというのが出てきますが、なぜこれを考える必要があるんですか？ 実際、Tuさん自身も v 方向の方向微分を点 p の近傍で C^∞ であるような関数 f に対しては定義していますが、germの元に対しては定義していません。 ですが、突然、germの元に対して、その v 方向の方向微分を対応させる関数を考えています。 もちろん代表元を使って定義するというのは分かるのですが、正式には定義していません。 これはgermという概念が不要であることを意味しませんか？ 例えば、 Z/(m*Z) という環など知らなくても、modだけで十分な場合が多いですよね。 Z/(m*Z) が体になるのは m が素数のときであるとかいう場合には、 Z/(m*Z) という概念が必要になると思いますが。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/187
188: １３２人目の素数さん [] 2025/07/28(月) 12:59:50.99 ID:w6CEDhLN Tuさんは都合の良いときにだけ、同値類として扱います。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/188
189: １３２人目の素数さん [] 2025/07/28(月) 13:21:35.24 ID:rsmqEGIP >>184 定義からつねにa[n]>1だからS[n]→∞。 なので a[n+1]=S[n]/(S[n]-1)=1/(1-1/S[n])→1 (n→∞)であきらか。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/189
190: １３２人目の素数さん [] 2025/07/28(月) 13:58:38.39 ID:b3lcNN0d >>185-186 つまり、M:コンパクト、f:モース関数と2つ仮定しないと成り立たないんですね http://rio2016.5ch.net/test/read.cgi/math/1748224638/190
191: １３２人目の素数さん [sage] 2025/07/28(月) 15:09:55.79 ID:BO4Bo9lp モース関数はいらなくない？ 本にはコンパクトでモース関数だと臨界点は有限個ってもっと強いこと書いてあるよ http://rio2016.5ch.net/test/read.cgi/math/1748224638/191
192: １３２人目の素数さん [sage] 2025/07/28(月) 15:17:09.50 ID:BO4Bo9lp モース関数の定義にf^-1((-∞,a])がコンパクトが入ってるから、この問題だとモース関数だけでよくないかな f^-1((-∞,1])がコンパクトだから、Mがコンパクトなのとたいして変わらなさそう http://rio2016.5ch.net/test/read.cgi/math/1748224638/192
193: １３２人目の素数さん [] 2025/07/28(月) 16:21:50.73 ID:b3lcNN0d >>192 通常、モース関数の定義は「臨界点がすべて非退化」だけだと思う。 もし、f^-1((-∞,a])がコンパクトも仮定するなら、Mのコンパクト性ははずせるが、特殊な定義の様に思う。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/193
194: １３２人目の素数さん [] 2025/07/28(月) 16:23:50.29 ID:b3lcNN0d 退化した臨界点も許すボット式モース理論もあるが、私はよう知らん http://rio2016.5ch.net/test/read.cgi/math/1748224638/194
195: １３２人目の素数さん [] 2025/07/28(月) 21:26:34.65 ID:Oyr8TCkw 初歩的な質問ですがお願いします 杉浦さんの解析学入門Ⅰで実数の公理として17個の性質を挙げています その実数から自然数、整数、有理数を構成しています この公理を満たす物が存在するかどうか分からないので、厳密に実数を定義するなら自然数の定義から始めないといけないというのをネットで見かけます 自然数の定義にしろ前述の実数の定義にしろ、公理だからそこに疑問を持つ必要はないのではと思います http://rio2016.5ch.net/test/read.cgi/math/1748224638/195
196: １３２人目の素数さん [] 2025/07/28(月) 22:05:33.50 ID:hIzCVexn >>195 よく分からんけど 実数の公理とやらで 我々の知る実数がそのモデルになるんじゃ無いの？ んでその公理を満たす集合が先に出来て そこからその部分集合として自然数とかを定義するのは そうおかしくもないような http://rio2016.5ch.net/test/read.cgi/math/1748224638/196
197: １３２人目の素数さん [sage] 2025/07/28(月) 22:43:27.58 ID:YuDI7wQm べつに実数の公理を定めてそこからスタートしてもいいよ。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/197
198: １３２人目の素数さん [] 2025/07/29(火) 08:42:51.64 ID:i5a4Qo4s 自然数と実数はどちらがprimitiveなものなのかは決めることはできないですよね。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/198
199: １３２人目の素数さん [] 2025/07/29(火) 18:57:31.86 ID:i5a4Qo4s f : U → R を C^∞ 関数とする。 1-form df を以下で定義する。 (df)_p(X_p) = X_p f (df)_p は T_p(R^n) から R への線形写像です。 T_p(R^n) の一般の元は Σ v^i * ∂/∂x^i |_p とかけますが、 なぜ、 (df)_p への入力を X_p にしているのでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1748224638/199
200: １３２人目の素数さん [] 2025/07/29(火) 19:08:15.91 ID:i5a4Qo4s (df)_p への入力は X_p です。 T_p(R^n) の全ての元を得るには、 X を動かす必要があります。 ここで気持ちの悪いことが起こります。 X1 ≠ X2 でも、ある点 p において、 X1_p = X2_p となるかもしれません。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/200
201: １３２人目の素数さん [] 2025/07/29(火) 19:22:14.42 ID:fRK0B8AG 何も気持ち悪くないし何を問題にしようとしてるのか全くわからん http://rio2016.5ch.net/test/read.cgi/math/1748224638/201
202: １３２人目の素数さん [] 2025/07/29(火) 20:16:52.56 ID:i5a4Qo4s T_p(R^n) から R への写像を定義するのに、異質な X など使う必要がありません。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/202
203: １３２人目の素数さん [sage] 2025/07/29(火) 20:23:20.33 ID:TQJw0m2i 仮引数なんだから変数1個で受け止めるのは普通やろ… http://rio2016.5ch.net/test/read.cgi/math/1748224638/203
204: １３２人目の素数さん [] 2025/07/29(火) 21:46:16.95 ID:fRK0B8AG >>202 なら何だったらいいの？x(小文字)とかaとかならいい？ それともベクトル空間の基底が与えられたら任意の元を表すのに一々その一次結合で書かないと気が済まないの？ http://rio2016.5ch.net/test/read.cgi/math/1748224638/204
205: １３２人目の素数さん [] 2025/07/29(火) 21:47:59.19 ID:CExXJBAc vで http://rio2016.5ch.net/test/read.cgi/math/1748224638/205
206: １３２人目の素数さん [] 2025/07/29(火) 22:16:25.18 ID:gfm8pxP0 >>198 個々の数では比較しようがないが、全体なら実数の方が高級である。 実数全体のなす集合は、極限操作で閉じているから。 http://rio2016.5ch.net/test/read.cgi/math/1748224638/206
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 116 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s