「解析学基礎/極限」の版間の差分
削除された内容 追加された内容
231 行
という関数が考えられます。
'''病的なグラフ''': ここでは 2 つの例を考えます。
まず、 ''f'' が 任意の有理数qに対し定数 ''f(q)=2'' を取る場合、''f'' は、任意の q<sub>0</sub> で連続になります。任意
: ''f'' は 有理数上だけで定義されていて、無理数の所では定義されていないことに注意してください。 ''f'' の値が評価できる所だけ、 条件の判定ができます。 ''f'' の値を判定できない無理数の所では 極限や連続の定義は意味を持ちません。
242 行
;<math>g(q)=\left\{\begin{matrix} 2, & q \in\mathbb{Q} \\ 0, & q \notin\mathbb{Q} \end{matrix}\right.</math>
先程定義した、 ''f'' と似ていますが、今度は無理数の時は 0 という値を取るように定義されています。''g''には連続な点はありません。 ''x'' を実数として、 ''g'' が ''x'' で連続でないことを示します。 ε = 1 とします。 もし ''g'' が ''x'' で連続あるとすると、 |x-y| < δ ならば |g(x)
:この 2 つの病的なグラフの例は重要です。そっくりな例でも結果は逆なのです。 有理数と有理数の間には必ず無理数があり、無理数と無理数の間には必ず有理数があるのでグラフを描こうとしても有理数と無理数の区別を付けられず、 y=g(x) のグラフなどは、視覚的に表現するとすれば y=2 というグラフと y=0 というグラフを合わせたものにせざるを得ません。
|