No.4ベストアンサー
- 回答日時:
#3補足。
> 自分が大学で教えてもらったのとはだいぶ違うんで混乱気味です。
大学で教えてもらった方法があるのなら、それを使えばよろしい。
質問の関数の場合、たまたま微分可能だったので、平均値の定理を使ったまでである。
縮小写像の原理とは、普通、次のことを指す。
集合Aにノルム(または距離)が定義されていて、Aが閉集合と仮定し、
gが、ある集合AからAへの写像であるとき、(g:A→A)
(1)g(x)の値域が、g(x)の定義域に含まれていること。( g(A)⊂A )
(2)ある定数kが存在して(0≦k<1)、任意のx1,x2∈Aについて,
|g(x1)-g(x2)|≦k|x1-x2|が成り立つこと。
(1),(2)を満たすようなg(x)を縮小写像といい、このとき、
x=g(x)を満たすx(不動点)がAの中に存在する。
縮小写像の原理は、不動点定理の特別な場合といってよい。ブラウエルの不動点定理など、一般の不動点定理では、(2)の条件は用いず、g(x)が連続関数であることと、(1)の条件および、Aに適当な性質を付加して、不動点の存在を述べるものである。縮小写像は、(2)の条件から明らかに連続になる。(2)の条件は連続よりもっと強く、リプシッツ連続の条件になっている。
質問の式、「g(x)=2x(1-x) (0<x<1)」は、(1)の条件を満たす連続関数であるから、閉区間(0≦x≦1)に修正すると、不動点の存在が言える。(不動点の存在をいうには極限の存在を前提にするため、関数を閉区間で定義しておかないと具合が悪い。)質問のg(x)は、0<x<1では(2)の条件を満たしていない。例えば、x=1の近傍では、成り立っていない。(2)をいうには、もう少し、区間を狭める必要がある。
区間を決定する際、g(x)が区間上で微分可能なら、話は簡単で、平均値の定理から、
g(x1)-g(x2)=g'(x3)*(x1-x2)
となるようなx3が、x1<x3<x2の中にとれる。ここでもし、区間の中で、|g'(x)|≦k<1が成り立つように、kを決めることができれば、
|g(x1)-g(x2)|=|g'(x3)|*|x1-x2|≦k|x1-x2|
とできる。g'(x)は簡単に計算できることが多いので、そこから、|g'(x)|<1となる区間を定め、(2)の条件が成立する区間を決める。次に、その区間上で、(1)の条件が成立しているかを調べ、成立していなければ、さらに区間を狭めて、(1)が成立するようにきめればよい。
そのように考えると、g(x)の定義域を1/4≦x≦3/4に制限すれば縮小写像になる。ただし、区間はもっと狭くしてもよいので、一つに決まるようなものではない。
度々回答して頂いてありがとうございます。
確かに、1/4≦x≦3/4ですね。
平均値の定理の解説もよくわかりました。ありがとうございます。
実は、この証明は、x_{n+1}=g(x_{n})=ax_{n}(1-x_{n}) (0<x<1) (0<a<4)のロジスティック差分方程式のプログラム(自分は情報工学科なので…)の課題の考察として載せようと思っていたものでした。
a=2の時は、プログラムの動作結果から不動点を持つような結果だったので証明してみようと思ったんです。
考えてみれば、xは1≦a≦2の時に常に(x_{n}>x_{n+1})であるから不動点を持ちます。ちなみにa≦0の時は0に収束します。(こういうのって不動点て言うんですよね??多分…^^;)
ただ不思議なのはaが3ぐらいになると、x_{n}の数列が周期的になり、収束しない事です。さらに、aが3.57を超えるとカオス的な性質を示すという事がどこかのサイトに書いてありました。
僕のレベルの数学的知識しかない人間にとっては興味深い内容でした。
No.3
- 回答日時:
うーむ、酔いがさめて、改めて自分の回答をみてみると。
。。何じゃこりゃ?#1は撤回する。
g'(x)=2-4xで、|g'(x)|<1なるxの範囲を求めてみると,1/4<x<3/4で、
x=1/2はこの範囲に含まれるから。。。
|g(x1)-g(x2)|<|g'(x)|*|x1-x2| (1/4<x1<x<x2<3/4)
なんだ、ちゃんとk<1が成り立っているではないか。
数列x(n)=g(x(n-1))が収束する範囲はもう少し広げることができて、
0<x<1のどの点から出発しても、x=1/2に収束する。
ありがとうございます。
微分を使うんですか?
自分が大学で教えてもらったのとはだいぶ違うんで混乱気味です。
そもそも、あまり縮小写像原理を理解してないのが原因ですので
もう少し勉強しようと思います。
No.2
- 回答日時:
不動点定理は、閉区間 [0,1] でも成り立ちますが、g(x) には適用できません。
不動点定理の内容は、「閉集合上の縮小写像は、唯一の不動点を持つ」です。
その g(x) は、区間 [0, 1] 上の縮小写像ではないし、
定義域を開区間 (0, 1) としているのも条件が合いません。
g( ) を、g(x) = 2x(1-x), 0≦x≦1 に変更して考えると、
「g(x) は、区間 [0,1] に2個の不動点 x = 0, 1/2 を持つが、
縮小写像ではないので、不動点定理の反例ではない」とは言えます。
また、不動点定理は、「不動点を持つ写像は縮小写像である」という内容を
含みません。
すいません。
解析の授業で縮小写像って言葉は出てきたんですが、はっきり言ってよくわかんなかったもので…
なんか、オレ誤解してるみたいですね。
もう少し勉強します
No.1
- 回答日時:
> |g(x_1)-g(x_2)|<=k|x_1-x_2|
違う。f(x)=x-g(x)が縮小写像
|f(x_1)-f(x_2)|≦k|x_1-x_2| (k<1, x_1≠x_2)
になるということを示すのである。
|f(x_1)-f(x_2)|=-x_1+x_2+2x1_^2-2x_2
=|-1+2x1+2x2|*|x_1-x_2|
なので、0≦x≦1/2の範囲で、f(x)は縮小写像になっている。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 宇宙科学・天文学・天気 AIが答えた方程式 1 2023/02/20 00:12
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 哲学 兎と亀なのかな? 29 2022/10/19 10:01
- 会社・職場 こんな理不尽で意味不明な社風はあるあるなんでしょうか? 6 2023/01/17 07:31
- 物理学 電磁気学での質問です。 電荷のない空間ではポテンシャルの極大点, 極小点が存在しないことを証明せよ. 3 2023/05/12 22:39
- 物理学 特殊相対性理論を、完全否定に成功~ガンマの数式は、成立しない。 2 2023/03/08 19:30
- 数学 数学 二次関数 3 2023/06/04 21:58
- 数学 0<x<2π/3で 2xsin(x)+xsin(2x)-8cos(x)+3cos(2x)-2x²+5 5 2022/06/22 20:57
- 物理学 アインシュタインのアッカンベー相対論信者の洗脳を解くにはどうしたら? 5 2022/10/17 07:16
- 数学 ベクトル解析 ガウスの定理 問題 (1,0,0)、(0,1,0)、(0,0,1)、(0,0,0)を頂 7 2023/07/18 21:43
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
基本的な事ですが…(単射、全射...
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
微分方程式の線形、非線形の証明
-
複素数の関数
-
「十人十色」ならば「百人百色...
-
Z[√2]の単数群を求め、素元を全...
-
四次対称群S4が可解群であるこ...
-
代数学の質問です[準同型定理]
-
逆像と逆写像
-
線形写像と線形変換
-
射と写像の違い
-
f^(-1)(f(P))=Pを示したい
-
合成写像gofが全射 かつ 写像g...
-
数学の集合について
-
NからN×Nの全単写
-
写像の記号の、右下の小文字の...
-
写像がwell-definedであること...
-
電子の運動方程式からの電子の...
おすすめ情報