さあ、今日も1日頑張ろう★☆
前スレ
分からない問題はここに書いてね434
https://rio2016.5ch.net/test/read.cgi/math/1507993404/
分からない問題はここに書いてね436
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2017/11/01(水) 22:25:02.36ID:lCaf2vX72132人目の素数さん
2017/11/01(水) 22:30:50.35ID:4z8K/pt+ 削除依頼を出しました
3¥ ◆2VB8wsVUoo
2017/11/01(水) 22:33:59.63ID:cSPyhj3J ¥
4¥ ◆2VB8wsVUoo
2017/11/01(水) 22:34:17.70ID:cSPyhj3J ¥
5¥ ◆2VB8wsVUoo
2017/11/01(水) 22:34:36.06ID:cSPyhj3J ¥
6¥ ◆2VB8wsVUoo
2017/11/01(水) 22:34:53.32ID:cSPyhj3J ¥
7¥ ◆2VB8wsVUoo
2017/11/01(水) 22:35:10.20ID:cSPyhj3J ¥
8¥ ◆2VB8wsVUoo
2017/11/01(水) 22:35:28.06ID:cSPyhj3J ¥
9¥ ◆2VB8wsVUoo
2017/11/01(水) 22:35:44.97ID:cSPyhj3J ¥
10¥ ◆2VB8wsVUoo
2017/11/01(水) 22:36:07.12ID:cSPyhj3J ¥
11¥ ◆2VB8wsVUoo
2017/11/01(水) 22:36:24.50ID:cSPyhj3J ¥
12¥ ◆2VB8wsVUoo
2017/11/01(水) 22:36:42.80ID:cSPyhj3J ¥
13132人目の素数さん
2017/11/01(水) 22:37:33.69ID:SCGDdq8H 前スレの>>1000の人。
ありがとうございます。
ありがとうございます。
14132人目の素数さん
2017/11/01(水) 22:42:56.70ID:SCGDdq8H ただ、f(x)= sinx-2x/πにしてグラフを調べるのは分かるのですが、不等式を証明せよという問題でグラフを調べれば証明した事になりますかね?
2017/11/01(水) 22:52:51.48ID:gL9JwERl
グダグダ書き込む前に実際にグラフを書いた方が良いでしょうね
2017/11/01(水) 23:52:53.23ID:xrV7qa8b
[前スレ.997]
Jordan の不等式(微分を使わない方法)
円c(半径r)の直径をABとする。
A,Bを通るもう一つの円C(半径 R >r)がある。
このとき線分ABの長さは
2R sin(x)= 2r,
また横方向のズレ幅からみて、明らかに
弧AcB > 弧ACB,
πr > 2R x,
辺々掛けて
sin(x)> 2x/π,
Jordan の不等式(微分を使わない方法)
円c(半径r)の直径をABとする。
A,Bを通るもう一つの円C(半径 R >r)がある。
このとき線分ABの長さは
2R sin(x)= 2r,
また横方向のズレ幅からみて、明らかに
弧AcB > 弧ACB,
πr > 2R x,
辺々掛けて
sin(x)> 2x/π,
17132人目の素数さん
2017/11/02(木) 00:04:13.34ID:H3Q9xkUT 次の微分方程式の解法が全く分かりません。ご教授お願いします。
y=-xdy/dx+x^4(dy/dx)^2
y=-xdy/dx+x^4(dy/dx)^2
2017/11/02(木) 00:46:37.78ID:FM0nIjMB
>>17
x = 1/t とおくと
y = t・(dy/dt)+(dy/dt)^2
これは Claireaut の方程式なので、tで微分して
{t +2(dy/dt)}(d^2 y/(dt)^2)= 0,
・d^2 y/(dt)^2 = 0 のとき
y = c(t+c)= c(1/x +c), (cは任意定数)
・t + 2(dy/dt)= 0 のとき
y = -tt/4 = -1/(4xx), …包絡線
頑張ってクレロー
x = 1/t とおくと
y = t・(dy/dt)+(dy/dt)^2
これは Claireaut の方程式なので、tで微分して
{t +2(dy/dt)}(d^2 y/(dt)^2)= 0,
・d^2 y/(dt)^2 = 0 のとき
y = c(t+c)= c(1/x +c), (cは任意定数)
・t + 2(dy/dt)= 0 のとき
y = -tt/4 = -1/(4xx), …包絡線
頑張ってクレロー
19¥ ◆2VB8wsVUoo
2017/11/02(木) 01:17:40.53ID:23MnTxXU ¥
20¥ ◆2VB8wsVUoo
2017/11/02(木) 01:18:03.38ID:23MnTxXU ¥
21132人目の素数さん
2017/11/02(木) 01:21:01.02ID:H3Q9xkUT >>18
ありがとうございました!
ありがとうございました!
22132人目の素数さん
2017/11/02(木) 09:15:35.19ID:pIX/ZAmh 距離空間 X の任意の部分集合 A に対し、 A の内部の閉包は A の閉包に含まれる
ことを証明せよ。
お願いします。
ことを証明せよ。
お願いします。
2017/11/02(木) 09:40:56.35ID:DIS6M2o1
int(A) ⊂ A より cl( int(A) ) ⊂ cl(A)
A ⊂ B → cl(A) ⊂ cl(B)
が分からんて事?
cl(B) は B を含む、つまり Aを含む閉集合である。
cl(A) は Aを含む閉集合の族の共通集合 (Aを含む最小の閉集合)である。
Aを含む閉集合には cl(B) が含まれるので、cl(A) ⊂ cl(B) である。
A ⊂ B → cl(A) ⊂ cl(B)
が分からんて事?
cl(B) は B を含む、つまり Aを含む閉集合である。
cl(A) は Aを含む閉集合の族の共通集合 (Aを含む最小の閉集合)である。
Aを含む閉集合には cl(B) が含まれるので、cl(A) ⊂ cl(B) である。
2017/11/02(木) 09:47:05.10ID:pIX/ZAmh
>>23
ありがとうございました。
ありがとうございました。
2017/11/02(木) 11:20:59.99ID:swN/GnGJ
閉包の定義から証明するんじゃねーかよ
26132人目の素数さん
2017/11/02(木) 11:40:19.21ID:pIX/ZAmh 以下の問題の解答ですが、もっと簡単になりませんか?
距離空間 X において部分集合 A の集積点全部の集合を A' で表すことにする。
A' は閉集合であることを証明せよ。
A の孤立点の集合を A'' で表すことにする。
A の内部を A^i で表すことにする。
A の外部を A^e で表すことにする。
A の閉包を cl(A) で表すことにする。
点 a を中心とする半径 r の開球を B(a ; r) で表すことにする。
A' = cl(A) - A'' = cl(A) ∩ (A'')^c
である。
(A')^c = [cl(A) ∩ (A'')^c]^c = cl(A)^c ∪ A'' = A^e ∪ A''
a ∈ (A')^c とする。
a ∈ A^e ならば、 A^e は開集合だから、 B(a ; r) ⊂ A^e ⊂ (A')^c となるような r > 0 が存在する。
∴ a ∈ ((A')^c)^i
a ∈ A'' ならば、 B(a ; r) ∩ cl(A) = {a} となるような r > 0 が存在する。
∴ B(a ; r) ⊂ cl(A)^c ∪ {a} ⊂ cl(A)^c ∪ A'' = (A')^c
∴ a ∈ ((A')^c)^i
以上より、
(A')^c は開集合である。
∴ A' は閉集合である。
距離空間 X において部分集合 A の集積点全部の集合を A' で表すことにする。
A' は閉集合であることを証明せよ。
A の孤立点の集合を A'' で表すことにする。
A の内部を A^i で表すことにする。
A の外部を A^e で表すことにする。
A の閉包を cl(A) で表すことにする。
点 a を中心とする半径 r の開球を B(a ; r) で表すことにする。
A' = cl(A) - A'' = cl(A) ∩ (A'')^c
である。
(A')^c = [cl(A) ∩ (A'')^c]^c = cl(A)^c ∪ A'' = A^e ∪ A''
a ∈ (A')^c とする。
a ∈ A^e ならば、 A^e は開集合だから、 B(a ; r) ⊂ A^e ⊂ (A')^c となるような r > 0 が存在する。
∴ a ∈ ((A')^c)^i
a ∈ A'' ならば、 B(a ; r) ∩ cl(A) = {a} となるような r > 0 が存在する。
∴ B(a ; r) ⊂ cl(A)^c ∪ {a} ⊂ cl(A)^c ∪ A'' = (A')^c
∴ a ∈ ((A')^c)^i
以上より、
(A')^c は開集合である。
∴ A' は閉集合である。
27132人目の素数さん
2017/11/02(木) 12:23:52.24ID:kG1AS/N8 「無」は至高ですか?
2017/11/02(木) 14:29:30.82ID:DIS6M2o1
>>26
【 A' := { x ∈ X | 任意のU∈V(x) に関して (U-{x}) ∩ A ≠ φ } (V(x)は xの開近傍族) 】
任意の x ∈ X - A' について、定義より ある U∈V(x) が存在し (U-{x}) ∩ A = φ である 。
任意の y ∈ (U-{x}) について、 yの開近傍 U' で U' ⊂ U かつ U' ∩ {x} = φ となるものが存在する。
(∵ Uは開集合であり、距離空間Xはハウスドルフ空間である)
(U'-{y}) ∩ A ⊂ U' ∩ A = (U'-{x}) ∩ A ⊂ (U-{x}) ∩ A = φ である。
つまり、ある U'∈V(y) が存在し (U'-{y}) ∩ A = φ である。xの件と合わせて、
「任意の x ∈ X - A' について、ある U∈V(x) が存在し U ⊂ X - A' である」事が示せた。
よって X - A' は開集合、つまり A' は閉集合である。
"簡単" と感じるかどうかは人によるかも
【 A' := { x ∈ X | 任意のU∈V(x) に関して (U-{x}) ∩ A ≠ φ } (V(x)は xの開近傍族) 】
任意の x ∈ X - A' について、定義より ある U∈V(x) が存在し (U-{x}) ∩ A = φ である 。
任意の y ∈ (U-{x}) について、 yの開近傍 U' で U' ⊂ U かつ U' ∩ {x} = φ となるものが存在する。
(∵ Uは開集合であり、距離空間Xはハウスドルフ空間である)
(U'-{y}) ∩ A ⊂ U' ∩ A = (U'-{x}) ∩ A ⊂ (U-{x}) ∩ A = φ である。
つまり、ある U'∈V(y) が存在し (U'-{y}) ∩ A = φ である。xの件と合わせて、
「任意の x ∈ X - A' について、ある U∈V(x) が存在し U ⊂ X - A' である」事が示せた。
よって X - A' は開集合、つまり A' は閉集合である。
"簡単" と感じるかどうかは人によるかも
2017/11/02(木) 14:33:22.21ID:DIS6M2o1
回りくどい事しないで U' = U - {x} としてもよかった....。
2017/11/02(木) 17:02:06.60ID:G6iiPKxf
前スレで塗りつぶされた正三角形の個数を聞いた者です
教えていただいたことを参考に、正六角形で初期配置を近似する方法で極限が1になる証明ができました!
先生曰くほとんど白紙提出だったとのことですが、ありがとうございました!
教えていただいたことを参考に、正六角形で初期配置を近似する方法で極限が1になる証明ができました!
先生曰くほとんど白紙提出だったとのことですが、ありがとうございました!
2017/11/02(木) 17:25:21.97ID:swN/GnGJ
>>26
x をA'の集積点とし x に収束するA'の点列を{a_n}とすると
|b_n − x|<1/n となる部分列{b_n}⊂{a_n}が存在する
{b_n}⊂{a_n}⊂A'だから b_n∈A'であり b_nはAの集積点だから
b_nに収束するAの点列{c(n)_m}が存在し
|c(n)_m − b_n|<1/m となる部分列{d(n)_m}⊂{c(n)_m}が存在する
d(n)_n∈Aであり |c(n)_n − x|<|c(n)_n − b_n| + |b_n − x|<2/n だから
x はAの集積点であり x∈A' となる
∴ A'はA'の集積点全部を含むから閉集合である
x をA'の集積点とし x に収束するA'の点列を{a_n}とすると
|b_n − x|<1/n となる部分列{b_n}⊂{a_n}が存在する
{b_n}⊂{a_n}⊂A'だから b_n∈A'であり b_nはAの集積点だから
b_nに収束するAの点列{c(n)_m}が存在し
|c(n)_m − b_n|<1/m となる部分列{d(n)_m}⊂{c(n)_m}が存在する
d(n)_n∈Aであり |c(n)_n − x|<|c(n)_n − b_n| + |b_n − x|<2/n だから
x はAの集積点であり x∈A' となる
∴ A'はA'の集積点全部を含むから閉集合である
32132人目の素数さん
2017/11/02(木) 19:08:37.87ID:kG1AS/N8 「無」になってもう二度と「有」になりたくない。
それが唯一にして最大の願い。
それが唯一にして最大の願い。
2017/11/02(木) 19:17:50.32ID:pQ8LPgM/
2017/11/02(木) 19:51:18.03ID:GMAJI1p+
この6次元とか10次元ってのはどこからくるんですか?一般の公式もあるのでしょうか?
ファインマンbot? @feynmannnn
3次元空間の中に埋め込んだ2次元曲面は、曲がった空間の簡単な例として考えられた。
しかし3次元空間の曲率を同じように表現するには6次元空間に埋め込む必要があり、
また4次元空間の場合には、10次元空間に埋め込んで考える必要がある。時空の曲率は、面の曲率よりもかなり複雑なのである。
ファインマンbot? @feynmannnn
3次元空間の中に埋め込んだ2次元曲面は、曲がった空間の簡単な例として考えられた。
しかし3次元空間の曲率を同じように表現するには6次元空間に埋め込む必要があり、
また4次元空間の場合には、10次元空間に埋め込んで考える必要がある。時空の曲率は、面の曲率よりもかなり複雑なのである。
2017/11/02(木) 20:02:12.26ID:86VaCdO4
超弦理論の話です、多分
まだ未完成の理論ですから、話半分に聞いておけば良いでしょう
まだ未完成の理論ですから、話半分に聞いておけば良いでしょう
2017/11/02(木) 20:07:15.02ID:kG1AS/N8
やっぱり数学って才能が必要なんですかね・・・?
受験数学レベルなら才能はもしかして必要ないかもしれないけど、
東大の院で博士号を取得するレベルになると、もはや才能無しでは太刀打ちできない気がするのですが・・・・・。
東京大学理学部数学科卒 → 東京大学大学院数理科学研究科数理科学専攻修士課程修了 →
東京大学大学院数理科学研究科数理科学専攻博士課程修了
というルートを辿りたいのですが、どうすれば良いですか?
やっぱり猛烈に努力するしかないのでしょうか?
それでも絶対に無理ですか?
受験数学レベルなら才能はもしかして必要ないかもしれないけど、
東大の院で博士号を取得するレベルになると、もはや才能無しでは太刀打ちできない気がするのですが・・・・・。
東京大学理学部数学科卒 → 東京大学大学院数理科学研究科数理科学専攻修士課程修了 →
東京大学大学院数理科学研究科数理科学専攻博士課程修了
というルートを辿りたいのですが、どうすれば良いですか?
やっぱり猛烈に努力するしかないのでしょうか?
それでも絶対に無理ですか?
2017/11/02(木) 20:14:02.10ID:86VaCdO4
>>36
内容云々ではなく、東大でそういう道を辿るのは難しいでしょうね
まず受験という壁がありますし、進振りとかいう制度のせいで、大学入った後も競争に勝つための勉強をしなければなりません
そこで失敗すると自分の好きな学科に行けないそうです
まああなたの場合は白チャートもできないんですから、杞憂というやつですね
内容云々ではなく、東大でそういう道を辿るのは難しいでしょうね
まず受験という壁がありますし、進振りとかいう制度のせいで、大学入った後も競争に勝つための勉強をしなければなりません
そこで失敗すると自分の好きな学科に行けないそうです
まああなたの場合は白チャートもできないんですから、杞憂というやつですね
2017/11/02(木) 20:22:33.61ID:pQ8LPgM/
2017/11/02(木) 20:36:00.25ID:kG1AS/N8
2017/11/02(木) 20:39:19.01ID:5snpMa5u
用語についての質問なのです
特性方程式と決定方程式では何か違いはあるのでしょうか?
常微分方程式の級数解法にて、フロベニウス級数解を持つと仮定して式変形をして出てきた式が
決定方程式と呼ばれていたのですが、特性方程式と大きく変わらないような気がしました
ただ私が勝手に大した違いは無いだろうと思い込んでしまっているかもしれないので
質問してみることにしました
特性方程式と決定方程式では何か違いはあるのでしょうか?
常微分方程式の級数解法にて、フロベニウス級数解を持つと仮定して式変形をして出てきた式が
決定方程式と呼ばれていたのですが、特性方程式と大きく変わらないような気がしました
ただ私が勝手に大した違いは無いだろうと思い込んでしまっているかもしれないので
質問してみることにしました
41132人目の素数さん
2017/11/02(木) 22:11:52.49ID:PYfJKPhX2017/11/02(木) 22:38:06.31ID:FM0nIjMB
2017/11/02(木) 22:42:07.57ID:OMY3pab6
SUSYってどうなんですかね?
実験的にはそんなのがあるかけらも無いみたいですけど
実験的にはそんなのがあるかけらも無いみたいですけど
2017/11/02(木) 22:44:07.26ID:FM0nIjMB
「色」ってクォークの color のことか("^ω^)・・・
45132人目の素数さん
2017/11/02(木) 23:03:33.16ID:kb3Y9mL546132人目の素数さん
2017/11/02(木) 23:10:34.20ID:kb3Y9mL52017/11/02(木) 23:42:23.66ID:sgSl9kXV
↑これが数学板の実力です
専門板なのに異常にレベルが低い
せいぜい数学の少しできる高校生レベル
専門板なのに異常にレベルが低い
せいぜい数学の少しできる高校生レベル
48132人目の素数さん
2017/11/02(木) 23:59:38.33ID:kb3Y9mL5 >>47
もう止めたら?
もう止めたら?
2017/11/03(金) 00:05:21.90ID:T1A7RIRi
>>48
集積点と触点が一致することを証明してください
集積点と触点が一致することを証明してください
50132人目の素数さん
2017/11/03(金) 00:12:04.43ID:aWvOAd2K >>49
あそうか
あそうか
51132人目の素数さん
2017/11/03(金) 00:12:46.37ID:aWvOAd2K2017/11/03(金) 00:17:24.89ID:T1A7RIRi
既に上に回答がいくつか上がってますよね?
53132人目の素数さん
2017/11/03(金) 00:19:17.67ID:aWvOAd2K >>52
もっと簡単な奴でどうぞ
もっと簡単な奴でどうぞ
54132人目の素数さん
2017/11/03(金) 00:51:06.53ID:aWvOAd2K xが集積点
⇔∀e>0 U(x,e)-{x}∩A=U(x,e)∩A-{x}≠φ
xが集積点でない
⇔∃e>0 U(x,e)∩A-{x}=φ
⇔∃e>0 U(x,e)⊂X-A∨U(x,e)∩A={x}
⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)⊂U(x,e)⊂X-A∨U(y,d)∩A={y}
⇔∃e>0 ∀y∈U(x,e) yは集積点でない
⇔集積点でない点の全体は開
⇔集積点の全体は閉
⇔∀e>0 U(x,e)-{x}∩A=U(x,e)∩A-{x}≠φ
xが集積点でない
⇔∃e>0 U(x,e)∩A-{x}=φ
⇔∃e>0 U(x,e)⊂X-A∨U(x,e)∩A={x}
⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)⊂U(x,e)⊂X-A∨U(y,d)∩A={y}
⇔∃e>0 ∀y∈U(x,e) yは集積点でない
⇔集積点でない点の全体は開
⇔集積点の全体は閉
55132人目の素数さん
2017/11/03(金) 00:56:45.09ID:aWvOAd2K >>54
>⇔∃e>0 U(x,e)⊂X-A∨U(x,e)∩A={x}
>⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)⊂U(x,e)⊂X-A∨U(y,d)∩A={y}
⇔∃e>0 U(x,e)∩A=φor{x}
⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)∩A=φor{y}
のがいいや}
>⇔∃e>0 U(x,e)⊂X-A∨U(x,e)∩A={x}
>⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)⊂U(x,e)⊂X-A∨U(y,d)∩A={y}
⇔∃e>0 U(x,e)∩A=φor{x}
⇔∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)∩A=φor{y}
のがいいや}
56132人目の素数さん
2017/11/03(金) 00:58:42.26ID:aWvOAd2K57132人目の素数さん
2017/11/03(金) 01:03:00.55ID:aWvOAd2K xが集積点
⇔∀e>0 U(x,e)-{x}∩A=U(x,e)∩A-{x}≠φ
xが集積点でない
⇔∃e>0 U(x,e)∩A-{x}=φ
⇔∃e>0 U(x,e)∩A=φor{x}
⇒∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)∩A=φor{y}
⇔∃e>0 ∀y∈U(x,e) yは集積点でない
⇒集積点でない点の全体は開
⇔集積点の全体は閉
⇔∀e>0 U(x,e)-{x}∩A=U(x,e)∩A-{x}≠φ
xが集積点でない
⇔∃e>0 U(x,e)∩A-{x}=φ
⇔∃e>0 U(x,e)∩A=φor{x}
⇒∃e>0 ∀y∈U(x,e) ∃d>0 U(y,d)∩A=φor{y}
⇔∃e>0 ∀y∈U(x,e) yは集積点でない
⇒集積点でない点の全体は開
⇔集積点の全体は閉
2017/11/03(金) 01:25:01.41ID:T1A7RIRi
誤答なんちゃらさんを思い出しますね
59132人目の素数さん
2017/11/03(金) 01:30:47.21ID:aWvOAd2K >>58
何もできないんですね
何もできないんですね
60132人目の素数さん
2017/11/03(金) 01:38:01.19ID:aWvOAd2K61132人目の素数さん
2017/11/03(金) 02:35:32.38ID:fhtpXXZ8 神と無はどっちの方が凄いですか?
2017/11/03(金) 03:59:15.27ID:VPk+2qO6
代数方程式の解求める問題
A1x^n+A2x^n-1 ... Anx + An+1 = 0
みたいなものがあるとします。
A2~An+1は実数なんだけど、A1だけ1から2の区間?の場合はどうすれば解の集合が求まるか分かる人いますか?
無数の方程式の求根をしてその全てを包含するような解の区間を求めたいのですが…
先生は一番難しい問題と言っていましたし、自分自身では何も思いつきません…
A1x^n+A2x^n-1 ... Anx + An+1 = 0
みたいなものがあるとします。
A2~An+1は実数なんだけど、A1だけ1から2の区間?の場合はどうすれば解の集合が求まるか分かる人いますか?
無数の方程式の求根をしてその全てを包含するような解の区間を求めたいのですが…
先生は一番難しい問題と言っていましたし、自分自身では何も思いつきません…
63132人目の素数さん
2017/11/03(金) 07:56:47.91ID:7q8eT4re それ複素数全体にならん?
64132人目の素数さん
2017/11/03(金) 10:44:03.66ID:f/oY5xQT65132人目の素数さん
2017/11/03(金) 10:48:53.55ID:aWvOAd2K A2〜An+1は与えられた実数定数でA1だけ幅があるってことだろ
66132人目の素数さん
2017/11/03(金) 10:49:43.15ID:f/oY5xQT 荒井秀男って岩波書店の人ですよね。
まだ生きていたんですね。
内容紹介
『集合・位相入門』などの名教科書で知られる著者による、懇切丁寧な入門書。
組合せ論・初等数論を中心に、現代数学の一端に触れる。解説 荒井秀男
まだ生きていたんですね。
内容紹介
『集合・位相入門』などの名教科書で知られる著者による、懇切丁寧な入門書。
組合せ論・初等数論を中心に、現代数学の一端に触れる。解説 荒井秀男
2017/11/03(金) 10:59:51.67ID:d8bRV0BU
68132人目の素数さん
2017/11/03(金) 11:00:06.19ID:f/oY5xQT 次の(1), (2), (3)をみたす R 上の C^∞ 関数 f(x) と g(x) が存在する。
(1) lim_{x → ∞} f(x) = lim_{x → ∞} g(x) = +∞
(2) lim_{x → ∞} f'(x)/g'(x) は存在して有限値
(3) lim_{x → ∞} f(x)/g(x) は存在しない
例
f(x) = x + sin(x)*cos(x)
g(x) = exp(sin(x)) * f(x)
と書いてあるのですが、
g'(x) = exp(sin(x))*(f(x) + 2*cos(x))*cos(x)
なので、
lim_{x → ∞} f'(x)/g'(x) は考えられないと思います。
これはどういうことなのでしょうか?
lim_{x → ∞} f'(x)/g'(x) = a の定義は、
任意の正の実数 ε に対して、
K < x ⇒ |f'(x)/g'(x) - a| < ε
となる実数 K が存在する
です。
K < x かつ g'(x) = 0 となるような x がかならず存在しますので問題ではないでしょうか?
(1) lim_{x → ∞} f(x) = lim_{x → ∞} g(x) = +∞
(2) lim_{x → ∞} f'(x)/g'(x) は存在して有限値
(3) lim_{x → ∞} f(x)/g(x) は存在しない
例
f(x) = x + sin(x)*cos(x)
g(x) = exp(sin(x)) * f(x)
と書いてあるのですが、
g'(x) = exp(sin(x))*(f(x) + 2*cos(x))*cos(x)
なので、
lim_{x → ∞} f'(x)/g'(x) は考えられないと思います。
これはどういうことなのでしょうか?
lim_{x → ∞} f'(x)/g'(x) = a の定義は、
任意の正の実数 ε に対して、
K < x ⇒ |f'(x)/g'(x) - a| < ε
となる実数 K が存在する
です。
K < x かつ g'(x) = 0 となるような x がかならず存在しますので問題ではないでしょうか?
69132人目の素数さん
2017/11/03(金) 11:01:22.17ID:HJ4C+ncY f(x)=1/2*(1-(-1)^x)*(-1)^((x-1)((1-(-1)^x))/4)
70¥ ◆2VB8wsVUoo
2017/11/03(金) 12:04:45.99ID:fn4ojm6A ¥
71¥ ◆2VB8wsVUoo
2017/11/03(金) 12:05:03.74ID:fn4ojm6A ¥
72¥ ◆2VB8wsVUoo
2017/11/03(金) 12:05:22.36ID:fn4ojm6A ¥
73¥ ◆2VB8wsVUoo
2017/11/03(金) 12:05:39.89ID:fn4ojm6A ¥
74¥ ◆2VB8wsVUoo
2017/11/03(金) 12:05:57.99ID:fn4ojm6A ¥
75¥ ◆2VB8wsVUoo
2017/11/03(金) 12:06:15.13ID:fn4ojm6A ¥
76¥ ◆2VB8wsVUoo
2017/11/03(金) 12:06:33.97ID:fn4ojm6A ¥
77¥ ◆2VB8wsVUoo
2017/11/03(金) 12:06:53.14ID:fn4ojm6A ¥
78¥ ◆2VB8wsVUoo
2017/11/03(金) 12:07:10.28ID:fn4ojm6A ¥
79¥ ◆2VB8wsVUoo
2017/11/03(金) 12:07:28.56ID:fn4ojm6A ¥
2017/11/03(金) 12:20:20.47ID:ghuUoCu2
>>68
f'/g'を具体的に書いてみろよ
f'/g'を具体的に書いてみろよ
81132人目の素数さん
2017/11/03(金) 12:24:16.53ID:f/oY5xQT f'(x) / g'(x) = 2*(cos(x))^2 / exp(sin(x))*(f(x) + 2*cos(x))*cos(x)
ですね。
分母に cos(x) があるため、 f'(x) / g'(x) が定義されない x の値が無数にありますね。
ですね。
分母に cos(x) があるため、 f'(x) / g'(x) が定義されない x の値が無数にありますね。
82132人目の素数さん
2017/11/03(金) 12:28:15.60ID:fhtpXXZ8 神 vs 全 vs 無
ファイッ!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
ファイッ!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
83¥ ◆2VB8wsVUoo
2017/11/03(金) 16:15:10.92ID:fn4ojm6A ¥
84¥ ◆2VB8wsVUoo
2017/11/03(金) 16:15:29.17ID:fn4ojm6A ¥
85¥ ◆2VB8wsVUoo
2017/11/03(金) 16:15:46.68ID:fn4ojm6A ¥
86¥ ◆2VB8wsVUoo
2017/11/03(金) 16:16:03.35ID:fn4ojm6A ¥
87¥ ◆2VB8wsVUoo
2017/11/03(金) 16:16:20.02ID:fn4ojm6A ¥
88¥ ◆2VB8wsVUoo
2017/11/03(金) 16:16:37.03ID:fn4ojm6A ¥
89¥ ◆2VB8wsVUoo
2017/11/03(金) 16:16:53.96ID:fn4ojm6A ¥
90¥ ◆2VB8wsVUoo
2017/11/03(金) 16:17:12.06ID:fn4ojm6A ¥
91¥ ◆2VB8wsVUoo
2017/11/03(金) 16:17:29.46ID:fn4ojm6A ¥
92¥ ◆2VB8wsVUoo
2017/11/03(金) 16:17:49.10ID:fn4ojm6A ¥
93132人目の素数さん
2017/11/03(金) 16:24:10.47ID:f/oY5xQT2017/11/03(金) 16:43:01.16ID:sh4/Y9Em
この証明の例が分かりません。明らかに間違っている(正しくMPが使われていない)と思うのですが……
https://i.imgur.com/JReZQZ2.jpg
https://i.imgur.com/4zLyYdy.jpg
https://i.imgur.com/JReZQZ2.jpg
https://i.imgur.com/4zLyYdy.jpg
2017/11/03(金) 17:31:36.25ID:5s5hiJkM
最近調べたらなかなか難しくて感心した(呆れた)問題
W. Rudin, Real and Complex Analysis, 3rd.ed. pp. 229,
Chapter 10 Exercise 23.
指数関数e^zのテイラー展開のn次までの和をP_n(z)
P_n(z) = 1 + z + z^2 / 2! + ... + z^n / n!
Q_n(z)=1-P_n(z)とするとき、P_n(z)、Q_n(z)の零点の位置についてどのようなことが言えるか
(stackexchangeを探すと答えがいくつかあります)
W. Rudin, Real and Complex Analysis, 3rd.ed. pp. 229,
Chapter 10 Exercise 23.
指数関数e^zのテイラー展開のn次までの和をP_n(z)
P_n(z) = 1 + z + z^2 / 2! + ... + z^n / n!
Q_n(z)=1-P_n(z)とするとき、P_n(z)、Q_n(z)の零点の位置についてどのようなことが言えるか
(stackexchangeを探すと答えがいくつかあります)
96132人目の素数さん
2017/11/03(金) 19:09:20.30ID:f/oY5xQT 松坂和夫著『解析入門3』を読んでいます。
「X をコンパクトとし、 A を X の任意の無限部分集合とする。もし A が X の中に集積点をもたないとすれば、
X の任意の点 a に対し、適当な正の実数 r(a) をとれば、開球 B(a ; r(a)) は A の点をたかだか有限個しか
含まない。(前節12.1の命題6(b)参照。)」
と書かれています。参照先の命題6(b)は以下です。
「命題6(b)
a ∈ X が A の集積点ならば、任意の r > 0 に対して B(a ; r) は無限に多くの A の点を含む。」
この命題を参照させるのはおかしいですよね。
任意の正の実数 r に対して、開球 B(a ; r(a)) が A の点を無数に含むとすれば、 a は明らかに
A の集積点である。仮定により、 X の任意の点 a は A の集積点ではないから適当な正の実数 r(a)
をとれば、開球 B(a ; r(a)) は A の点をたかだか有限個しか含まない。
ということですよね。
「X をコンパクトとし、 A を X の任意の無限部分集合とする。もし A が X の中に集積点をもたないとすれば、
X の任意の点 a に対し、適当な正の実数 r(a) をとれば、開球 B(a ; r(a)) は A の点をたかだか有限個しか
含まない。(前節12.1の命題6(b)参照。)」
と書かれています。参照先の命題6(b)は以下です。
「命題6(b)
a ∈ X が A の集積点ならば、任意の r > 0 に対して B(a ; r) は無限に多くの A の点を含む。」
この命題を参照させるのはおかしいですよね。
任意の正の実数 r に対して、開球 B(a ; r(a)) が A の点を無数に含むとすれば、 a は明らかに
A の集積点である。仮定により、 X の任意の点 a は A の集積点ではないから適当な正の実数 r(a)
をとれば、開球 B(a ; r(a)) は A の点をたかだか有限個しか含まない。
ということですよね。
97132人目の素数さん
2017/11/03(金) 19:10:51.04ID:f/oY5xQT 松坂和夫さんの解析入門シリーズは、かなり詳しく位相について書かれていますね。
杉浦光夫の解析入門よりも細かいことが書いてあるのではないでしょうか?
杉浦光夫の解析入門よりも細かいことが書いてあるのではないでしょうか?
2017/11/03(金) 22:22:32.38ID:3k8GLaBb
99132人目の素数さん
2017/11/03(金) 22:32:55.39ID:bNV/YL/F >>81
それ極限のこととは別
それ極限のこととは別
100132人目の素数さん
2017/11/03(金) 22:40:55.09ID:bNV/YL/F てゆか詰まらない
101132人目の素数さん
2017/11/03(金) 23:23:05.31ID:d8bRV0BU >>95
むかしむかし、P_n(z)の零点を Wolframalpha に書かせて twitter に上げてる人がいました。("^ω^)・・・
馬蹄形にきれいに並んでましたよ。
nが奇数のときの負根は -(0.28125n+0.85)ぐらいで遠ざかってましたね。
むかしむかし、P_n(z)の零点を Wolframalpha に書かせて twitter に上げてる人がいました。("^ω^)・・・
馬蹄形にきれいに並んでましたよ。
nが奇数のときの負根は -(0.28125n+0.85)ぐらいで遠ざかってましたね。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカー】日本4-0チュニジア 日本勝利★5 [恐縮です★]
- 【サッカー】日本4-0チュニジア 日本勝利★6 [恐縮です★]
- 【サッカーW杯】4-0 日本代表・森保ジャパン、チュニジアに歴史的4発大勝 アジア勢の1次L連敗を「6」で止めた [阿弥陀ヶ峰★]
- 【サッカー】日本代表、グループリーグ突破しても待ち受けるのは“優勝候補”の絶望 ラウンド32ではブラジルorモロッコが濃厚 [ゴアマガラ★]
- 【サッカー】本田圭佑、日本代表チュニジア戦のMVPは「上田さん、鎌田さん、そして佐野さん」 [恐縮です★]
- 「自衛隊」発言・古賀議員も国会で後悔の涙😭「発言撤回は当然だが、経済的な事情と入隊は無関係ではない」と専門家 [パンナ・コッタ★]
- 【高市悲報】日本代表サポーターのゴミ袋、会場のゴミ箱に入りきらず山積みに🫪ゴミ増やしてないかこれ [359965264]
- 【W杯】サッカー日本代表、大勝利🥳🎉⚽ [583597859]
- 【NTV/NHK-BS/DAZN】FIFAワールドカップ2026 日本vsチュニジア★6
- ぴこぅらと見るワールドカップ日本チュニドラ戦🏡
- 【高市速報】1ドル=161.80円 39年ぶり [487816701]
- 香川2発