すると上の は「ベクトルの大きさ」を表す量だと考えることができ、 によって 2点 と の「距離」が定まります。 一見解決策がなさそうな問題でも中間値の定理を使えば簡単に示すことができましたね。 従って、微分可能な関数は必ず連続だが、連続な関数だからと言って微分可能とは限らない。
141 イントロダクション 今回は動画内でチラッと顔を出した開集合と連続関数の関係について少し述べつつ,位相空間の基礎的な概念を少し扱おうと思います. グラフがある場所でつながっているか切れているかは、重要な情報なので、このことを表す名前があります。
関数空間のような無限個の変数で表される対象や、さらに抽象的な位相空間上で定義された写像についての連続性はや、（ネット）などの概念を通じて定義される。
動画で僕が挑戦していますね gifが荒くて見づらいかもしれません。
この概念は距離空間の間の写像に対して抽象化される。 ここで、 のとき、1、 のとき と、 の値によって変わってしまうので極値は存在しない。 一様性の概念 だと思います。
20やはり，極限値をしっかり調べなければならないようです。
微分については注意が必要で、 1 で見たとおり関数列が微分可能で一様収束していても極限の導関数とは一致していませんでしたが、「導関数の列 」が一様収束しているという条件があれば となることが示されます（積分してまた微分すれば元に戻ることを使う）。
非常に単純な定義ですが,実際のところ開集合とはどのような性質を持つ集合なのでしょうか？ 今回は開集合をもう少し掘り下げつつ,関数の連続性をより一般化をできないか考えます. ご了承ください。
これは数学としてはダメですよね。 ２．2変数の極限の連続性 さきほどの2変数関数の極限を用いることで、連続性の確認をすることができます。 この場合、関数のグラフにはギャップができる。
15むしろ,連続ということをあらわすならば,元の定義の方がわかりやすいです. そもそも「一様」というのは「定義域全体で同じように」みたいな意味なのですが、「 が一様連続」とは「 のグラフが定義域全体で同じように繋がってる? 「かっこ」と「カンマ」で書き表します。
一番極端な例として, とすると, となって,これは明らかに開集合でないので,ダメです. どうも、佐野です。
注意 極限が収束しないパターン ただし、極限が収束しないパターンもあるため、注意してください。
＜図１:微分可能・連続な関数のベン図＞ 連続な関数とは さて、では連続な関数から解説を始めます。
これは R 上の全ての点で不連続である。
, とおく。
proof 開集合・閉集合の性質から 1 のRは明らかに閉集合かつ開集合なのでよいです. 解説1 分子が因数分解できそうなので因数分解してあげましょう。 このような問題を踏まえた上で、端点を含む関数に関しては、その端点における連続性を片側連続という概念のもとで考えます。 微分積分は直観的に理解しやすいし、証明はすっ飛ばしても結果が使えれば分かった気にもなれます。
次の記事:「」を読む。
とりあえず「一様連続」というものを受け入れると、• ただし空集合というのはRを全体集合としての意味 2 3 ただし, である. よって、原点においても連続ではない。
しかし、2変数を同時に近づける操作をするのは大変です。
逆に閉区間で連続でなければ最大値もしくは最小値が決められないということにもなります。 ＜参考：「」＞ つまり＜図２＞のようにガウス記号が含まれている関数や、 飛び飛びの値を取る関数でなければ連続であると言えます。
12「ある場所でグラフがつながっている」というのを、もう少し数学的に書くと、次のように極限を使った表現になります。
一番広いU＝を全ての関数として、連続な関数を連、微分可能な関数を微と表してベン図を書くと＜図１＞のようになります。
「点 において連続」のときは、グラフ上の点 を左右に だけ揺らしても、周辺の点の上下 の中に収まる。
1 極座標と置く , とおく。 つながっている場合は、 連続 continuous といい、つながっていない場合は、 不連続 discontinuous といいます。
大丈夫ですね。
このように置くことで1変数の極限として問題を解くことができます。
よって元の集合Oは中身を否定した集合ですから, となります. 練習1 つぎの 1 ～ 4 の極限を求めなさい。