0<ε<1/2,f=X_(a,b) ただし、Xは単関数を表し、a<bです.
さらに||f-g||_Lp<εとなるような連続関数gが存在すると仮定する.
このとき、δ>0に対して、|X_(a,b)(x_0)-g(x_0)|<ε/2 と、 |X_(a,b)(x_1)-g(x_1)|<ε/2 となるようなx_0∊(a,a+δ),x_1∊(a-δ.a)が存在する.
上のような、x_0,x_1が存在する理由を教えていただけないでしょうか。
読みづらくて申し訳ありませんが、ご教授のほどお願いいたします。
|
No.71638 - 2020/12/22(Tue) 22:34:32
| ☆ Re: / ast | | | 問題設定として a < b と仮定しているのに結びの > となるようなx_0∊(a,a+δ),x_1∊(a-δ.a)が存在する. は b が関係してこない話になっていますし, それをふくめて問題の設定が正確に述べられているのか疑問です. 少なくとも > Xは単関数を表し に対して "_(a,b)" を付けることでどのような効果が設定されるのかについてはちゃんとはっきりすべきと思います. # 実際たとえば, もし定義域を表すのなら "x_1∊(a-δ.a)" が意味を持ちませんし, # あるいはもしなんらかの台を表すのなら a の前後で不連続になるのかもしれません. # なので, 他にも解釈の余地はありそうですが, これだけでも問題設定上大きな意味をもちえますので, # 回答する側としてははっきりしないのは答えられない. (はっきりしたら応えられる, とは限らないけれども)
|
No.71659 - 2020/12/23(Wed) 11:57:12 |
|