不連続性の分類のソースを表示

[[連続 (数学)|連続関数]]は[[数学]]およびその応用において非常に重要である。しかし、[[関数 (数学)|関数]]が全て[[連続]]というわけではない。ある関数がその[[定義域]]内のある点で連続でないとき、その関数は'''不連続性''' (discontinuity) を有する。関数の不連続点全体の成す集合は[[離散集合]]の場合もあるし、[[稠密集合]]の場合もある。場合によっては定義域全体と同じとなるかもしれない。

本項目では、最も単純な実一変数で実数を値にとる函数の場合における'''不連続性の分類'''を述べる。

== 不連続性の分類 ==
実軸上の点 ''x''<sub>0</sub> の近傍で定義される実変数 ''x'' の実数値をとる函数 ''f'' が点 ''x'' = ''x''<sub>0</sub> で不連続という場合を考える。便宜のため、
:<math>\begin{align}
L^{-} &:= \lim_{x\to x_0^{-}} f(x) = f(x_0 - 0), \\
L^{+} &:= \lim_{x\to x_0^{+}} f(x) = f(x_0 + 0)
\end{align}</math>
をそれぞれ ''x'' = ''x''<sub>0</sub> における ''f'' の左または右からの[[片側極限]]とする。また、''L''<sup>&minus;</sup> = ''L''<sup>+</sup> であるときはこの一致する値を単に
: <math>L := \lim_{x\to x_0^{}} f(x)</math>
で表す。
# 可除不連続点: ''L''<sup>&minus;</sup> と ''L''<sup>+</sup> が有限確定（存在して有限）で相等しいが ''f''(''x''<sub>0</sub>) &ne; ''L'' であるとき、''f''(''x'') は ''x'' = ''x''<sub>0</sub> に'''除去可能な不連続点''' {{lang|en|(removable discontinuity)}} を持つという。''f''(''x''<sub>0</sub>) の値を変更して「''x'' = ''x''<sub>0</sub> においても連続であるようにする」ことができるという意味でこの不連続性は除きうる。よりはっきり述べれば、函数<div style="margin:1ex auto 1ex 2em"><math>
  g(x) = \begin{cases}f(x) & (x\ne x_0) \\ L & (x = x_0)\end{cases}
</math></div>は ''x'' = ''x''<sub>0</sub> においても連続になる。
# 跳躍不連続点: ''L''<sup>&minus;</sup> と ''L''<sup>+</sup> が有限確定だが等しくない場合<div style="margin:1ex auto 1ex 2em"><math>
  j := L^+ - L^- = f(x_0 + 0) - f(x_0 - 0)
</math></div>を函数 ''f'' の ''x''<sub>0</sub> における'''跳び'''、'''跳躍''' {{lang|en|(jump)}}、'''段差''' {{lang|en|(step)}} あるいは'''間隙''' {{lang|en|(gap)}} などといい、''f'' は ''x'' = ''x''<sub>0</sub> において跳び ''j'' の'''跳躍不連続点''' {{lang|en|(jump discontinuity)}}、'''段差不連続点''' {{lang|en|(step discontinuity)}} あるいは'''間隙不連続点''' {{lang|en|(gap discontinuity)}} を持つなどという。この不連続性にとっては ''f''(''x''<sub>0</sub>) の値が何であるかということは影響しない（しかし、''x''<sub>0</sub> において左連続あるいは右連続のいずれかであるようにすることはできる）。
# 真性不連続点: 極限 <math>L^{-}</math> か <math>L^{+}</math> の少なくとも一方が有限確定でない（存在しないか無限大の）場合、''x''<sub>0</sub> は'''真性不連続点''' {{lang|en|(essential discontinuity)}} または'''無限不連続点''' (infinite discontinuity) である。なお、複素数変数の関数では、これらの用語の意味は異なる。

除去可能不連続点と跳躍不連続点とを総称して'''第一種不連続点''' {{lang|en|(discontinuity of the first kind)}} と呼ぶ（除去可能不連続点は跳びが 0 の跳躍不連続点と思える）。これに対して'''第二種不連続点''' {{lang|en|(discontinuity of the second kind)}} とは、片側極限の一方が存在しない場合（真性不連続点）をいう。

''L''<sup>+</sup> &ne; ''f''(''x''<sub>0</sub>) のとき右不連続、''L''<sup>&minus;</sup> &ne; ''f''(''x''<sub>0</sub>) のとき左不連続ということもある。

「除去可能な不連続性（点）」という言葉が、''x''<sub>0</sub> の左右両側からの極限が有限確定で相等しいが、函数は ''x''<sub>0</sub> で定義されない<!-- 未だと可能性があるのにしていないという意味合いになるが、定義が不能であるという場合も当然あるので、未定義という語は避けた。-->というような場合に誤って用いられることがある<ref>例えば、Mathwords での定義の最後の一文を参照。[http://www.mathwords.com/r/removable_discontinuity.htm]</ref>。しかし函数の[[連続 (数学)|連続]]性および不連続性の概念は、函数の定義域に属する点に対してのみ定義されるものであるから、このような用法は不適切である。このような不定点は正確には[[除去可能特異点]]である。

== 例 ==
[[ファイル:Discontinuity_removable.eps.png|thumb|left|例 1: 除去可能な不連続性]]
1. 函数
:<math>f(x)=\begin{cases}x^2 & \mbox{ for } x< 1 \\ 0 & \mbox { for } x=1 \\ 2-x&  \mbox{ for }  x>1\end{cases}</math> 
を考えれば、点 ''x''<sub>0</sub> = 1 は'''除去可能な不連続点'''である。実際、''f''(''x'') の ''x'' = 1 での値を 1 に変更した函数は連続になる。

{{clear}}
[[ファイル:Discontinuity_jump.eps.png|thumb|left|例 2: 跳躍不連続性]]
2. 函数
:<math>f(x)=\begin{cases}x^2 & \mbox{ for } x< 1 \\ 0 & \mbox { for } x=1 \\ 2-(x-1)^2& \mbox{ for } x>1\end{cases}</math> 
を考えれば、点 ''x''<sub>0</sub> = 1 は'''跳躍不連続点'''である。

{{clear}}
[[ファイル:Discontinuity essential.svg|thumb|left|例 3: 真性不連続性]]
3. 函数
:<math>f(x)=\begin{cases}\sin\frac{5}{x-1} & \mbox{ for } x< 1 \\ 0 & \mbox { for } x=1 \\ \frac{0.1}{x-1}& \mbox{ for } x>1\end{cases}</math> 
を考えれば、点 ''x''<sub>0</sub> = 1 は'''真性不連続点'''である。真性不連続点であるためには、極限のどちらか一方が存在しないか無限大であればよい。なお、この例の関数を複素数変数に拡張しても、その不連続性は真性不連続性である。

{{clear}}

== 関数の不連続点の集合 ==
函数の連続点の全体からなる集合は開集合の可算個の交わり（[[Gδ集合|''G''<sub>&delta;</sub>-集合]]）である。また不連続点の全体は閉集合の可算個の合併（[[Fσ集合|''F''<sub>&sigma;</sub>-集合]]）である。

[[単調写像|単調関数]]の不連続点は[[可算集合|高々可算]]である。これを{{仮リンク|フローダの定理|en|Froda's theorem}}という。

[[トマエ函数]]は、全ての有理数の点で不連続だが、全ての無理数の点で連続である。

[[ディリクレ函数]]として知られる、有理数全体の集合の[[指示函数]]は至る所不連続である。

== 関連項目 ==
* [[可除特異点]]
* [[特異点 (数学)]]
* [[連続的延長]]

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{cite book | last = Malik | first = S. C. | coauthors = Arora, Savita | title= Mathematical analysis, 2nd ed | publisher = New York: Wiley | date = 1992 | pages  = | isbn = 0470218584}}

== 外部リンク ==
* {{Planetmath reference|title=Discontinuous|id=4447}}
* [http://demonstrations.wolfram.com/Discontinuity/ "Discontinuity"] by Ed Pegg, Jr., The Wolfram Demonstrations Project, 2007.
* {{MathWorld | urlname=Discontinuity | title=Discontinuity}}

{{DEFAULTSORT:ふれんそくせいのふんるい}}
[[Category:解析学]]
[[Category:数学に関する記事]]