[ 掲示板に戻る ]

過去ログ閲覧モード

連続性の開集合による特徴付けの証明について / akitake
位相幾何学の本を読んでいるのですが、途中から理解が出来なくなったので、ご教示いただければ幸いです。

定理 fを位相空間XからYへの写像とする。このとき、fをがX上で連続であるための必要十分条件は、Yの全ての開集合Oについて、f^-1(O)がXの開集合であることである。

証明 (前半部分のみ抜粋)
fがX上で連続であるとする、OをYの開集合とし、a∈f^-1(O)とする。f(a)∈Oなので、f(a)⊆V⊆Oとなるf(a)の近傍Vが存在する。fは連続だからaのある近傍U(a)に対して、f(u)⊆V⊆Oが成り立つ。
-----ここまでは理解出来ました-----
すなわちU⊆f^-1(O)であり、これはf^-1(O)が開集合であることを意味する。

最後のU⊆f^-1(O)だからf^-1(O)が開集合というところが納得が言っておらず、近傍の定義から点pを含むどんな開集合Oに対してもあるpの近傍Uが存在してU⊆Oとなるのは分かるのですが、それはU⊆Oを満たす近傍Uが存在するだけでOが開集合であることの説明にはならないと思うので、最後の行についてより詳しく説明していただきたいです。

No.72684 - 2021/02/07(Sun) 23:32:19

Re: 連続性の開集合による特徴付けの証明について / ast
# これ u=U=U(a) なのか (同時に別の意味で使っててもおかしくない場面なので, かってに略すとわからん).

そもそも "f(U(a))(⊆V)⊆Oが成り立つ。すなわちU(a)⊆f^(-1)(O)" はひとかたまり (言い直してるだけ) なので, そのど真ん中でぶち切って「ここまでは理解」としている時点で何かを誤読した結果の疑問だということははっきりしているわけですが, ここではたぶん話のスコープを読み違えていて
> これはf^-1(O)が開集合であることを意味する。
の「これ」が「U(a)⊆f^-1(O)であり」を指していると誤解している, という状況なのだと思います.

実際のところ「ここまで」の時点で示されたことをまとめると
  ∀a∈f^(-1)(O), ∃U_a: open s.t. a∈U_a⊆f^(-1)(O)
ということになりますよね (実際には U(a): neighbour of a だけど, neighbour の定義が ∃U_a : open s.t. a∈U_a⊆U(a) だろうから直接 open subset を使った記述にしています).
# これが上の「これ」が本来指しているはずの内容です.

これとあなたが採用している開集合の定義と見比べて, 何がどのように異なりますか?
# きっと実際には「詳しく説明」すべきことは最初からないはずだ, と考えています.

No.72685 - 2021/02/08(Mon) 00:15:40

Re: 連続性の開集合による特徴付けの証明について / akitake
ご回答ありがとうございます。
ご指摘の通り、「これ」の内容についての誤解があり、説明を読んで理解することが出来ました。初歩的なことでお手数をお掛けさせてしまい申し訳ないです。
本当にありがとうございました。

No.72687 - 2021/02/08(Mon) 07:14:52

Re: 連続性の開集合による特徴付けの証明について / ast
解決してよかったです.
まあ, もとの証明もあまりいい文章ではないですしね.
> であり、これは
の部分を例えば「である。ここに a は任意であったから、これは」のような感じにすれば, 今回の誤読は無かったかもしれません (このへんは紙幅の関係とか著者のクセとかいろいろな理由が絡むので, 万人に読みやすいというのはなかなか難しい話ではありますが).

No.72704 - 2021/02/08(Mon) 20:44:59
整数問題 / 高3
高校3年生です。
次の問題の解答がなくて困っております。すみませんが、ご教授よろしくお願い致します。

nを3以上の奇数とする。(n+1)個の数1,2,2^2,…,2^nから重複を許して2つの数を取り出し和を作る。この方法で作ることのできる全ての数の集合をSとする。Sの要素で√x∈Sとなるものの個数をnで表せ。

宜しくお願いします。

No.72674 - 2021/02/07(Sun) 18:40:48

Re: 整数問題 / IT
n=3 のとき
Sおよび、Sの要素で√x∈Sとなるもの はどうなりますか?

No.72675 - 2021/02/07(Sun) 18:58:22
問題作ってみました解答してください / よろしくお願いします。
微分積分に関する問題を作成しました。解答してみてください。
No.72673 - 2021/02/07(Sun) 18:34:17

Re: 問題作ってみました解答してください / 投稿主
> 解答を求める目的は

問題として間違ってないか
難易度その他意見を頂戴するためです

No.72679 - 2021/02/07(Sun) 19:47:29

Re: 問題作ってみました解答してください / IT
問題として成り立っている(解なしなどはない)と思います。

難易度は、三角関数や分数関数などの微分などを習って理解できていれば解ける程度だと

No.72680 - 2021/02/07(Sun) 19:54:55

Re: 問題作ってみました解答してください / 投稿主
> 問題として成り立っている(解なしなどはない)と思います。
>
> 難易度は、微分などの定義を習って理解できていれば解ける程度だと


ありがとうごさいます。了解しました

No.72681 - 2021/02/07(Sun) 19:57:48

Re: 問題作ってみました解答してください / らすかる
10番の「y=□x+□」は「y=□x-□」にした方がよいと思います。
No.72686 - 2021/02/08(Mon) 06:50:47
(No Subject) / あ
答えが2/π
らしいのですがどうやって解くんですか?教えてください!

No.72670 - 2021/02/07(Sun) 18:00:24

Re: / IT
(おおまかな方針)
y=sinxとy=txのグラフを描いて見る。
t<0のときはt>0のときと点対称なので、t>0のときを調べれば良さそうです。

nπ≦1/t<(n+1)π のとき f(t)がいくらになるか調べる。 
(f(t)の有限個の誤差は無視できます)

No.72671 - 2021/02/07(Sun) 18:17:28

Re: / あ
なぜtがその範囲の時を調べるのですか?
挟み撃ちで示すのかなーと思ったのですがf(t)が具体的じゃないのでうまく挟めません本当に手詰まりですw

No.72676 - 2021/02/07(Sun) 19:04:51

Re: / IT
グラフを描いてみましたか?未だならぜひ描いて書き込んでください。大まかなグラフで大丈夫です。
グラフを描かずに考えるのは難しいと思います。
>なぜtがその範囲の時を調べるのですか?
f(t)を数えやすいように、範囲を分割しています。n→∞のときt→+0 となります。

(2n+1/2)π≦1/t<(2n+2+1/2)π で分割した方が切りがいいかも知れません。
例えば 1/t = (4+1/2)πのとき  f(t) はいくらですか?

No.72678 - 2021/02/07(Sun) 19:22:32

Re: / あ
なんとかたどり着けました。t→0をn→∞に結びつけれなくてなんで1/tをnπとかで挟むのかなって思ってしまいました。これに似た系統の解の総和を挟み撃ちでやるやつを解いたことがあるのでひとまずtわ一般の値で置いた時のf(t)を出してそっからtをかけて挟まって形でやっぱり出来ました。ありがとうございます。
こう言う問題ってやっぱり慣れですか?

No.72682 - 2021/02/07(Sun) 20:31:42

Re: / IT
>こう言う問題ってやっぱり慣れですか?
そうですね。こう言う問題に限らず,大なり小なり、そういうことは言えると思いますが、
この問題の場合でもグラフを描けば、見えて来るかなとは思います。

No.72683 - 2021/02/07(Sun) 21:14:55
高校数学の不等式 / 宅浪野郎
写真の不等式を考えてみたのですが、これは証明可能でしょうか?もし可能なら解法のヒントをおねがいします。
No.72664 - 2021/02/07(Sun) 15:08:58

Re: 高校数学の不等式 / IT
画像がさかさまですよ。
No.72665 - 2021/02/07(Sun) 15:24:01

Re: 高校数学の不等式 / 宅浪野郎
みづらくてすいません。これでどうでしょうか?あと書き間違えがあったので訂正しました。おねがいします。
No.72666 - 2021/02/07(Sun) 15:27:50

Re: 高校数学の不等式 / らすかる
解けていませんので回答にはなっていませんが、
もしかしたら「(左辺)≧8かつ(右辺)≦8」を示せばいいのかも?
# (右辺)≦8は簡単ですが左辺が難しいです…

No.72668 - 2021/02/07(Sun) 16:49:15

Re: 高校数学の不等式 / 新生活
θ1=θ2=θ3=1/2のとき成り立つのでしょうか?
No.73430 - 2021/03/22(Mon) 08:52:58
円の座標を求める。 / 寝屋川のムウマ
x^2+y^2=10^2で、xが2の時、yの値は何になりますか。
No.72661 - 2021/02/07(Sun) 12:21:08

Re: 円の座標を求める。 / らすかる
x=2を代入すると
2^2+y^2=10^2
4+y^2=100
y^2=96
y=±4√6
となります。

No.72662 - 2021/02/07(Sun) 12:34:53

Re: 円の座標を求める。 / 寝屋川のムウマ
円が中心より上方向に10移動した場合はどうなりますか。
No.72663 - 2021/02/07(Sun) 14:56:51

Re: 円の座標を求める。 / らすかる
yが10増えますから10±4√6になります。
No.72667 - 2021/02/07(Sun) 16:10:45
体積 / たける
次の問題を教えて下さい。

1辺の長さが2の正四面体がある。この正四面体の表面と内部を、隣り合った二つの面の重心を通る直線を軸として一回転させてできる立体の体積を求めよ。

よろしくお願い致します。

No.72657 - 2021/02/07(Sun) 08:42:31

Re: 体積 / らすかる
A(0,1,√2/3),B(0,-1,√2/3),C(1,0,-2√2/3),D(-1,0,-2√2/3)として
x軸中心で回転させると考えればいいですね。
対称性から、x≧0かつy≧0の範囲だけ考えて2倍します。
直線AC上の点は(t,1-t,(1-3t)√2/3)と表せますので
x=tのときのx軸からの距離は
√{(1-t)^2+((1-3t)√2/3)^2}=√(27t^2-30t+11)/3
直線CD上の点は(t,0,-2√2/3)なので
x軸からの距離はxの値によらず2√2/3
ABの中点をMとするとM(0,0,√2/3)なので
直線MC上の点は(t,0,(1-3t)√2/3)であり
x=tのときのx軸からの距離は|1-3t|√2/3
これらを図示して交点を求めることにより、回転体の断面は
0≦x≦1/9の断面は 半径√(27x^2-30x+11)/3の円
1/9≦x≦1/3の断面は 半径2√2/3の円
1/3≦x≦1の断面は 半径2√2/3の円から半径(3x-1)√2/3の円を除いたドーナツ型
のようになることがわかります。
従って求める体積は
2π{∫[0〜1/9](27x^2-30x+11)/9 dx+∫[1/9〜1]8/9 dx-∫[1/3〜1]2(3x-1)^2/9 dx}
=(2π/9){∫[0〜1/9]27x^2-30x+11dx+∫[1/9〜1]8dx-∫[1/3〜1]2(3x-1)^2dx}
=(2π/9)(85/81+64/9-16/9)
=1034π/729
となります。

# 計算はご確認下さい。

No.72658 - 2021/02/07(Sun) 10:30:11

Re: 体積 / たける
らすかるさん
どうもありがとうございました!
とても分かりやすかったです!!

No.72672 - 2021/02/07(Sun) 18:30:50
問題の背景 / 大学1年生です
(b+c)/a = (c+a)/b = (a+b)/c のとき、この式の値を求めよ、という問題があります。普通に解く分には簡単にできました。
ただ、あるところで、この問題は「3平面の共有点をイメージすると結果に納得がいく」「行列の固有値と関係がある」と述べられているのを目にしました。ずっとその意味を考えているのですが、恥ずかしながら、そのどちらともこの問題との関連性が見えてきません。どちらかでも良いのでどう関連しているのか解説してくれると助かります。

No.72652 - 2021/02/06(Sat) 19:28:28

Re: 問題の背景 / IT
空間図形をイメージする力がないとむつかしいですね。
(私は、空間図形が苦手なので的外れかも知れません)

式の値をkとおいて分母を払って移項して、
 -ka+b+c=0…A,a-kb+c=0…B,a+b-kc=0…C とすると

3つの平面A,B,Cは、常に原点を通る。
kの条件は3つの平面A,B,Cがa≠0かつb≠0かつc≠0である共有点を持つことで、
その共有点からなる集合は、1直線・1平面が候補である。

この問題の場合は、a,b,cについて対称なので原点を通る直線、平面が決まってくる。
ということでしょうか。

No.72654 - 2021/02/06(Sat) 22:32:59

Re: 問題の背景 / IT
0a+b+c=ka,a+0b+c=kb,a+b+0c=kcを行列とベクトルの積で書くと

{{0,1,1},{1,0,1},{1,1,0}}(a,b,c)=k(a,b,c) (a,b,c) は縦ベクトル。
行列{{0,1,1},{1,0,1},{1,1,0}}の固有値は、-1,-1,+2 で
固有ベクトルは順に(-1,0,1),(-1,1,0),(1,1,1)

(-1,0,1),(-1,1,0)は、成分=0があり不適なので
((注)この部分は間違いでした。質問者の大学一年生さんの回答のとおりですね。)

(1,1,1)
このとき固有値k=2

No.72656 - 2021/02/07(Sun) 08:27:37

Re: 問題の背景 / 大学1年生です
ITさん
とても参考になりました!
空間図形の共有点の集合の考え方に関しては目からウロコです。
条件a+b+c=0(k=-1)のとき原点を通る平面、条件a=b=c(k=2)のとき原点を通る直線で、いずれもa,b,cに関して最も対称性の良いものとなっていて元の式の形と符合します。

固有値に関して、問題の答えはk=2, -1なのでその考え方で完結している思います。空間図形と併せて考えると、
固有値2のとき固有ベクトル(1,1,1)。これはまさに直線a=b=c
固有値-1のとき固有ベクトル(-1,0,1), (-1,1,0)で、この2つのベクトルが張る平面がまさにa+b+c=0になっていますね。

たいへん貴重な解説、本当にありがとうございました!

No.72659 - 2021/02/07(Sun) 11:10:48

Re: 問題の背景 / IT
固有値-1のとき固有ベクトル(-1,0,1), (-1,1,0) のところ
おっしゃる通りで その部分、私の回答はまちがいでしたね。

No.72660 - 2021/02/07(Sun) 11:18:20
円と接線の関係について / 寝屋川のムウマ
y=nx+bと、(x-a)^2+(y-b)^2=r^2が交わるとき、
点と直線の距離を使うと、
bの値は結果はどうなりますか。

No.72650 - 2021/02/06(Sat) 17:55:37

Re: 円と接線の関係について / らすかる
「y=nx+bと、(x-a)^2+(y-b)^2=r^2が接するとき、bの値を
点と直線の距離の公式を使って求めるには?」
という質問ならば、残念ながらbは求まりません。
適当なbの値で円と直線が交わっているとき、bを変化させると
円と直線が同じだけ上下(y軸方向)に移動しますので、
交わり方は変わらず、bを変えて接するようにするのは不可能です。

No.72651 - 2021/02/06(Sat) 19:00:43
(No Subject) / とある高校生
画像のような条件で、例えば1時間照射した時、サンプルに何W当たったか?とかって計算で分かるのでしょうか?また求める上で足りない情報とかありますか?
よろしくお願いします。

No.72643 - 2021/02/06(Sat) 13:56:45

Re: / X
UVランプが筒状の光源であると仮定すると
UV強度∝1/(離した距離)
∴サンプルにおけるUV強度を
x[μW/cm^2]
とすると
x:513=1/5:1/50
∴x=513[μW/cm^2]×(50/5)=5.13[mW/cm^2]

よってサンプルに当たるエネルギーは
5.13[mW/cm^2]×π×(20×0.1[cm])^2×1[h]
=64.5[mWh]
となります。

No.72649 - 2021/02/06(Sat) 17:09:33

Re: / 関数電卓
>> X さん
私は,
 光源を点光源と見なせるほどに,サンプルまでの距離が十分に遠い場合は
> UV強度∝1/(離した距離)^2
と考えても良いと思いますが,上記はそうではないようです。

>> とある高校生 さん
光源の形状(筒状のものなのか,2次元的な広がりをもつものなのか)がもう少し詳しくわかる必要があると思われます。

No.72653 - 2021/02/06(Sat) 21:49:10

Re: / X
>>関数電卓さんへ
ご指摘ありがとうございます。
私は筒状の光源を仮定したつもりで
計算しましたが、そうだとすると
UV強度∝1/(離した距離)^2
ではなくて
UV強度∝1/(離した距離)
となりますね。

>>とある高校生さんへ
ごめんなさい。関数電卓さんの仰る通りです。
No.72649を直接修正しましたので
再度ご覧下さい。

No.72655 - 2021/02/07(Sun) 00:45:46
この問題の解き方を教えてください / ちゃんぽん
授業だけでは理解ができず、解き方がわからない状態です。
この問題を解くコツがあれば教えていただきたいです。

No.72642 - 2021/02/06(Sat) 13:54:42

Re: この問題の解き方を教えてください / IT
・「解き方がわからない」というよりも問題の意味が分からない。という状態ではないでしょうか?

・O(g) =の右辺を日本語で書くとどうなりますか?

・例えばc=2,あるいは、c=14とするとh[1](n)とc・h[2](n) の大小関係は、それぞれどうなりますか?

・また、h[3]=n^3 とすると、 h[3]∈O(h[2]) になるでしょうか?

No.72645 - 2021/02/06(Sat) 15:05:41

Re: この問題の解き方を教えてください / ちゃんぽん
> 「解き方がわからない」というよりも問題の意味が分からない。という状態ではないでしょうか?
> 例題の紹介がなかったですか?
>
> 例えばc=2,あるいは、c=14とするとh[1](n)とc・h[2](n) の大小関係は、それぞれどうなりますか?
>
> また、h[3]=n^3 とすると、 h[3]∈O(h[2]) になるでしょうか?


たしかにおっしゃる通りです。
例題の紹介はありません。よろしければ、解法を説明していただくと理解を深めることができると思います。

No.72646 - 2021/02/06(Sat) 15:49:13

Re: この問題の解き方を教えてください / IT
・O(g) =の右辺のfの持つべき性質(条件)を日本語で書くとどうなりますか?

・例えばc=2,あるいは、c=14とするとh[1](n)とc・h[2](n) の大小関係は、それぞれどうなりますか?

No.72647 - 2021/02/06(Sat) 16:25:42
(No Subject) / あ
これの⑵のbの値の出し方を教えてください!
No.72639 - 2021/02/06(Sat) 11:22:38

Re: / ヨッシー
αとβは (−1±√3i)/2
x^2+x−b^2=0 の解は
 x={−1±√(1+4b^2)}/2
これは、実数で x=−1/2 に対して対称な2点となるので、
4点A,B,C,Dは図のような配置になります。

 √(1+4b^2)/2=√3/2
より
 1+4b^2=3
これを解いて
 b=±√2/2

No.72641 - 2021/02/06(Sat) 12:37:01

Re: / あ
ありがとうございます!
No.72669 - 2021/02/07(Sun) 17:59:24
(No Subject) / えりか
この問題の解き方を教えてください
No.72635 - 2021/02/05(Fri) 23:28:01

Re: / らすかる
BD:DC=3:2だから△ABD=(3/5)△ABC
よって2等分するためには△ABDの(1/2)÷(3/5)=(5/6)倍になればよいので
ABを1:5に内分する点(4/3,14/3)を通ればよい。
従って(0,12)と(4/3,14/3)を通るy=-(11/2)x+12が求める直線。

No.72636 - 2021/02/06(Sat) 00:33:55
偏微分 / aki
(1)(2)の解き方を教えてください
連鎖律を用いて解く感じですか?
初見の問題のため、解法が思いつかないです。

No.72631 - 2021/02/05(Fri) 00:51:56

Re: 偏微分 / ast
解法がとおっしゃいますが, 端的に言って, 単純な計算問題と言って差し支えない内容だと思います. (1) は, 左辺を真面目に計算すれば
 (右辺) - (左辺)
 = ( ω_1*∂f/∂u_1(ω_1,ω_2,ω_3) +ω_2*∂f/∂u_2(ω_1,ω_2,ω_3) +ω_3*∂f/∂u_3(ω_1,ω_2,ω_3) )^2
 (≥ 0)
のような感じの計算結果になるはず. (2) もちゃんと微分すればこの結果とちゃんと結びつきます.

多変数の微分が出てくることを除けばほかに新しいことはなく (その微分についても連鎖律の公式は既知で), とくに不等式の証明に関しては正攻法 (例えば "(右辺)-(左辺) が 0 以上かどうか調べる" とか "(…)^2 (≥ 0)" の形を利用するとかの, 高校までで既に習ったはずの典型的な手法) で攻めれば済む話なので, これを初見だからどうこうというのは, 何か的外れな印象を受けます.

No.72637 - 2021/02/06(Sat) 09:43:50
数学B / 浜松
先日はお世話になりました。

a,b,cは整数、nは0以上の整数とする。座標空間において
a+b+c=0
|a|+|b|+|c|≦2n
を満たす整数の組(a,b,c)の個数を求めよ。

という問題をお教え下さい。よろしくお願いします。

No.72625 - 2021/02/04(Thu) 18:37:52

Re: 数学B / IT
a,b,c の負のものの個数(0個,1個,2個)で場合分けして数えるのが早いのでは? 
(対称性を利用して場合分けを少なくする)

a+b+c=0 を使って変数の個数を1つ減らす。

パターンは(000)、(++ー)、(+0−)、(+ーー)、で、
 (++ー)と(+ーー)の個数は等しい。

No.72627 - 2021/02/04(Thu) 20:48:39

Re: 数学B / らすかる
別解
a=nのときb+c=-nかつ|b|+|c|≦nなのでb=-n〜0のn+1個
a=n-1のときb+c=-n+1かつ|b|+|c|≦n+1なのでb=-n〜1のn+2個
a=n-2のときb+c=-n+2かつ|b|+|c|≦n+2なのでb=-n〜2のn+3個
・・・
a=1のときb+c=-1かつ|b|+|c|≦2n-1なのでb=-n〜n-1の2n個
a=0のときb+c=0かつ|b|+|c|≦2nなのでb=-n〜nの2n+1個
a<0の場合はa,b,cすべての符号を反転すると考えればa=1〜nの場合と同数
従って全部で2n+1+2Σ[k=n+1〜2n]k=3n^2+3n+1個

No.72630 - 2021/02/04(Thu) 23:41:17

Re: 数学B / 浜松
ITさん
ありがとうございます。早速、教えていただいた指針をもとにチャレンジしてみます!

らすかるさん
詳しい別解ありがとうございます。より深く理解できるよう頑張ります!

No.72634 - 2021/02/05(Fri) 11:45:22
上に有界? / meow
写真の問題についてですが,
lim[x,a+0] (x-a)^β |g(x)| 
が存在して有限ということについて質問なのですが,
そもそも(a,b]において常にa<xなので,
(x-a)^β > 0
|g(x)| > 0
より
(x-a)^β |g(x)| 
は下に有界だと言えると思うのですが,上に有界だということはどのように表せるでしょうか?

No.72622 - 2021/02/04(Thu) 05:01:56

Re: 上に有界? / IT
条件がlim[x,a+0] (x-a)^β |g(x)| が存在して有限ということなので、
lim[x,a+0] (x-a)^β |g(x)| が上下に有界であることは当然であり、改めて示す必要はないと思いますが?

No.72623 - 2021/02/04(Thu) 12:44:59

Re: 上に有界? / meow
ITさん回答ありがとうございます.
わかりました.このまま証明を進めてみます.

No.72628 - 2021/02/04(Thu) 21:47:33

Re: 上に有界? / ast
当然というのには同意ですが,
> 条件がlim[x,a+0] (x-a)^β |g(x)| が存在して有限ということなので、
> lim[x,a+0] (x-a)^β |g(x)| が上下に有界であることは当然

だと, 極限値 lim[x→a+0](x-a)^β|g(x)| の有限性と, 函数 (x-a)^β|g(x)| の半開区間 (a,b] 上 (のとくに x=a の近傍で) の有界性を混同した記述にも読めなくもないので, 少し補足しておきます.

極限 lim[x→a+0](x-a)^β|g(x)| が有限値に確定することを ε-δ で書けば, 任意の ε>0 に対して適当な δ>0 が存在して (a,a+δ) 上では (x-a)^β|g(x)| が所期の極限値+ε よりも小さいことが言えますので, 適当に ε=1 とかに対する δ を何でもいいから一つとります. (この δ が b よりも大きく取れれば話は終わるが, 一般には小さい可能性が消えないので, その場合) あとに残る閉区間 [a+δ,b] 上では函数 (x-a)^β |g(x)| の連続性から, その閉区間上での有界性がしたがいますので, それで半開区間 (a,b] 全体での有界性が出ます (その意味で a 付近での仮定から「当然」言える, ということになります).
# なお, "区間上で連続なら有界" は基本的な事項なので既知と想定しましたが,
# 未知であれば非自明な事項なので要証明です.

もとの問題には手を付けていませんが, 仮定の与え方からして |∫g(x)dx|≤∫|g(x)|dx≤(定数)*∫(x-a)^(1/β)dx のような形で適当に評価する話 (そのために「有界性」に言及した) が解説されているのでしょうね.

No.72629 - 2021/02/04(Thu) 23:34:45

Re: 上に有界? / meow
astさん回答ありがとうございます.
写真のように証明を続けていきたいと思っています.
a付近(a,a+δ)で有界は自明,[a+δ,b]でも有界といえるということでよいでしょうか?

No.72632 - 2021/02/05(Fri) 02:29:56

Re: 上に有界? / ast
すみません, No.72632 の意図がよくわかりません, もし No.72629 の説明で分かりにくいところがあったという意図であればより具体的に箇所を指定してください (ほとんどのそのままなぞれば証明になるので, むしろ書きすぎたかもしれないとすら考えていました).
> 写真のように証明を続けていきたいと思っています.
全く証明に見えないので意図が読み取れません. 具体的にあなたがきちんとした証明だと思える文章の形にして提示して頂ければ意図が分かるかもしれません.
> a付近(a,a+δ)で有界は自明
No.72629 では具体的な上界を根拠を付けて挙げています. 私自身は No.72629 では「自明」とは一言も言っていませんし, むしろこの文脈でいちばん非自明なところだと思います (実際, もし g の定義域が [a,b] だったなら x→a+0 の極限に関する仮定は不要になる).
> [a+δ,b]でも有界といえるということでよいでしょうか?
訊き返している時点で
>> # 未知であれば非自明な事項なので要証明です.
が当てはまるということではないかと邪推しますが…….

No.72638 - 2021/02/06(Sat) 10:21:38

Re: 上に有界? / IT
私の回答は、ast さんのご指摘のとおり、適切でなかった(ナンセンスだった)ので無視してください。
No.72640 - 2021/02/06(Sat) 12:10:24
三角形の面積 / 祐
以下の問題をご教授下さい。

三角形ABCにおいて、AB=x,BC=y,CA=zとする。
(1)y=4,z=4とする。xが4から7までの値をとるとき、三角形ABCの面積の最大値と最小値を求めよ。
(2)x,y,zがいずれも4から7までの値をとるとき、三角形ABCの面積の最大値と最小値を求めよ。

どうぞよろしくお願い致します。

No.72617 - 2021/02/03(Wed) 21:38:49

Re: 三角形の面積 / IT
(1)は、図を描けば見えてくるのでは?
ABを底辺としたときの高さの最大値・最小値を考えるのがよいのでは。
(2)は、x≧y≧z としても一般性を失わないのでこうおいて、
 面積が最大値をとるとき x=7,y=7,z=7であることを順に示せばよいのでは。

No.72618 - 2021/02/03(Wed) 22:51:23
座標 / 並木
高校二年生です。

放物線y=x^2と円x^2+y^2=r^2の第一象限内の交点をPとし、Pにおけるそれぜれの接線とx軸との交点をQ,Rとする。∠QPR=θを最小とする円の半径 rを求めよ、という問題を教えて下さい。

よろしくお願いします。

No.72616 - 2021/02/03(Wed) 21:28:05

Re: 座標 / X
y=x^2 (A)
x^2+y^2=r^2 (B)
とします。

P(X,Y)とすると
Y=X^2 (A)'
X^2+Y^2=r^2 (B)'
0<X,0<Y (C)
又(A)より
y'=2x
∴∠PQR=α(但し0<α<π/2)
とすると
tanα=2X (D)
一方、(B)のPにおける接線の方程式は
Xx+Yy=r^2 (E)
(C)よりY≠0に注意すると
(E)の傾きは
-X/Y=-1/X (∵)(A)'を代入
∴∠PRQ=β(0<β<π/2)
とすると
tanβ=|-1/X|=1/X (F)
更に△PQRの内角により
θ=π-α-β
∴tanθ=-tan(α+β)
=-(2X+1/X)/(1-2X/X) (∵)加法定理
=2X+1/X
∴相加平均と相乗平均の関係から
tanθ≧2√2
(等号成立は2X=1/X、つまりX=1/√2のとき)
よってθが最小となるとき
X=1/√2
これを(A)'に代入して
Y=1/2
∴(B)'から
r^2=1/2+1/4=3/4
となるので
r=(√3)/2

No.72626 - 2021/02/04(Thu) 18:41:37

Re: 座標 / 並木
とても丁寧に教えていただきありがとうございました!
No.72633 - 2021/02/05(Fri) 07:33:27
体積を求める問題 / カラナクシ
こちらの難しい問題を御教授願いたいです。
 
【問題】
?@(x^2)+2(y^2)=3をx軸で360度回転させた領域の体積[V(1)]を求めよ。範囲[ー√3≦x≦√3]
?Ay=(1/4){(x^2)+1}をy=xに対して斜軸で360度回転させた領域の体積[V(2)]を求めよ。範囲[2ー√3≦x≦2+√3]
?B ?@,?Aの重なっている領域の体積[V(3)]を求めよ。
 
この問題の?@,?Aの私が求めた答えは?@(2√3)π,?A{(3√6)/10}πです。しかし、?Bの問題がかなりの時間考えてみたのですが、解法の仕方と答えが分かりませんでした。

No.72613 - 2021/02/03(Wed) 17:09:49
無限級数 / taka
2つの数列{a_n}{b_n}を次の条件(ア)(イ)を満たすように定める。
(ア)a_1=3,b_1=9である。
(イ)整式x^2+(a_n)x+b_nをx-3で割ったときの商がx+a_{n+1}で,余りがb_{n+1} (n=1,2,・・・)
(1)a_nを求めよ。
(2)b_nを求めよ。
(3)S_n=?納k=1→n](2/(9k^2-7k+16))で、極限lim[n→∞]S_nを求めよ。
という問題です。よろしくお願いします。

(1)はa_n=3n (2)b_n=(9/2)n^2-(7/2)n+8
まではできていると思うのですが。(3)ができません。

No.72606 - 2021/02/03(Wed) 08:32:48

Re: 無限級数 / ast
その (3) の極限は, WolframAlphaの結果からしても求まりそうにない気配がするし, そもそもそのままの問題文では ((1),(2) を解いていってもそれに繋がりそうな式や関係式は見えてこないので) 不自然に感じるのですが, 正しく問題の内容を提示されていますか? もし元々の文章から何らかの改変があるなら, 意味のない考察が発生したりするだけなので, やめて欲しいところですが.

# たとえば (3) が, もし "S[n]=?納k=1,…,n] 1/b[k] とおくとき, lim[n→∞] S[n] を求めよ" という問題ならば,
# (1),(2) が正しく解けていれば, 部分分数分解で容易に求まる畳み込み級数の話になります.

No.72611 - 2021/02/03(Wed) 12:02:20

Re: 無限級数 / taka
たいへん失礼いたしました。b_nが間違っていました。お手数をおかけしました。
No.72612 - 2021/02/03(Wed) 15:09:40
全22733件 [ ページ : << 1 ... 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 ... 1137 >> ]