discontinuity

discontinuity

2015年03月06日(金)

テーマ：数学

不連続性の分類

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

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

目次 [非表示]

1 不連続性の分類

2 例

3 関数の不連続点の集合

4 関連項目

5 脚注

6 参考文献

7 外部リンク

§不連続性の分類[編集]

実軸上の点 x0 の近傍で定義される実変数 x の実数値をとる函数 f が点 x = x0 で不連続という場合を考える。便宜のため、

L^{-} := \lim_{x\to x_0^{-}} f(x) = f(x_0 - 0),

L^{+} := \lim_{x\to x_0^{+}} f(x) = f(x_0 + 0)

をそれぞれ x = x0 における f の左または右からの片側極限とする。また、L－ = L+ であるときはこの一致する値を単に

L := \lim_{x\to x_0^{}} f(x)

で表す。

可除不連続点: L－ と L+ が有限確定（存在して有限）で相等しいが f(x0) ≠ L であるとき、f(x) は x = x0 に除去可能な不連続点 (removable discontinuity) を持つという。f(x0) の値を変更して「x = x0 においても連続であるようにする」ことができるという意味でこの不連続性は除きうる。よりはっきり述べれば、函数

g(x) = \begin{cases}f(x) & (x\ne x_0) \\ L & (x = x_0)\end{cases}

は x = x0 においても連続になる。

跳躍不連続点: L－ と L+ が有限確定だが等しくない場合

j := L^+ - L^- = f(x_0 + 0) - f(x_0 - 0)

を函数 f の x0 における跳び、跳躍 (jump)、段差 (step) あるいは間隙 (gap) などといい、f は x = x0 において跳び j の跳躍不連続点 (jump discontinuity)、段差不連続点 (step discontinuity) あるいは間隙不連続点 (gap discontinuity) を持つなどという。この不連続性にとっては f(x0) の値が何であるかということは影響しない（しかし、x0 において左連続あるいは右連続のいずれかであるようにすることはできる）。

真性不連続点: 極限 L^{-} か L^{+} の少なくとも一方が有限確定でない（存在しないか無限大の）場合、x0 は真性不連続点 (essential discontinuity) または無限不連続点 (infinite discontinuity) である。なお、複素数変数の関数では、これらの用語の意味は異なる。

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

L+ ≠ f(x0) のとき右不連続、L－ ≠ f(x0) のとき左不連続ということもある。

「除去可能な不連続性（点）」という言葉が、x0 の左右両側からの極限が有限確定で相等しいが、函数は x0 で定義されないというような場合に誤って用いられることがある[1]。しかし函数の連続性および不連続性の概念は、函数の定義域に属する点に対してのみ定義されるものであるから、このような用法は不適切である。このような不定点は正確には除去可能特異点である。

§例[編集]

例 1: 除去可能な不連続性

1. 函数

f(x)=\begin{cases}x^2 & \mbox{ for } x< 1 \\ 0 & \mbox { for } x=1 \\ 2-x& \mbox{ for } x>1\end{cases}

を考えれば、点 x0 = 1 は除去可能な不連続点である。実際、f(x) の x = 1 での値を 1 に変更した函数は連続になる。

例 2: 跳躍不連続性

2. 函数

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}

を考えれば、点 x0 = 1 は跳躍不連続点である。

例 3: 真性不連続性

3. 函数

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}

を考えれば、点 x0 = 1 は真性不連続点である。真性不連続点であるためには、極限のどちらか一方が存在しないか無限大であればよい。なお、この例の関数を複素数変数に拡張しても、その不連続性は真性不連続性である。

§関数の不連続点の集合[編集]

函数の連続点の全体からなる集合は開集合の可算個の交わり（Gδ-集合）である。また不連続点の全体は閉集合の可算個の合併（Fσ-集合）である。

単調関数の不連続点は高々可算である。これをフローダの定理（英語版）という。

トマエ函数（英語版）は、全ての有理数の点で不連続だが、全ての無理数の点で連続である。

ディリクレ函数として知られる、有理数全体の集合の指示函数は至る所不連続である。http://ja.wikipedia.org/wiki/%E4%B8%8D%E9%80%A3%E7%B6%9A%E6%80%A7%E3%81%AE%E5%88%86%E9%A1%9E

再生核研究所声明２０２（2015.2.2）ゼロ除算100/0=0,0/0=0誕生1周年記念声明　―　ゼロ除算の現状と期待

ゼロ除算の発見、経過、解説などについては、結構な文献に記録されてきた：

再生核研究所声明148（2014.2.12）100/0=0,　0/0=0　－　割り算の考えを自然に拡張すると　―　神の意志

再生核研究所声明154（2014.4.22）新しい世界、ゼロで割る、奇妙な世界、考え方

再生核研究所声明157（2014.5.8） 知りたい　神の意志、ゼロで割る、どうして　無限遠点と原点が一致しているのか？

再生核研究所声明161（2014.5.30）ゼロ除算から学ぶ、数学の精神　と　真理の追究

再生核研究所声明163（2014.6.17）ゼロで割る（零除算）－　堪らなく楽しい数学、探そう零除算　―　愛好サークルの提案

再生核研究所声明166（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ　世界観

再生核研究所声明171（2014.7.30）掛け算の意味と割り算の意味　―　ゼロ除算100/0=0は自明である？

再生核研究所声明176（2014.8.9）ゼロ除算について、数学教育の変更を提案する

Announcement 179 (2014.8.25) Division by zero is clear as z/0=0 and it is fundamental in mathematics

Announcement 185: The importance of the division by zero $z/0=0$

再生核研究所声明188（2014.12.15）ゼロで割る（ゼロ除算）から観えてきた世界

再生核研究所声明190（2014.12.24）

再生核研究所からの贈り物　―　ゼロ除算100/0=0,　0/0=0

夜明け、新世界、再生核研究所　年頭声明

―　再生核研究所声明193（2015.1.1　―　

再生核研究所声明194（2015.1.2）大きなイプシロン（無限小）、創造性の不思議

再生核研究所声明195（2015.1.3）ゼロ除算に於ける高橋の一意性定理について

再生核研究所声明196（2015.1.4）ゼロ除算に於ける山根の解釈100= 0ｘ0について

再生核研究所声明199（2015.1.15）世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える　―　ゼロ除算100/0=0,0/0=0

ゼロ除算100/0=0,0/0=0誕生1周年記念日に当たり、概観して共同研究者と共に夢を明るく　楽しく描きたい。まずは、ゼロ除算の意義を復習しておこう：

１）西暦６２８年インドでゼロが記録されて以来　ゼロで割るの問題　に　簡明で、決定的な解　ゼロで 　 何でも割れば ゼロ　 z/0=0　 である　をもたらしたこと。

２）ゼロ除算の導入で、四則演算　加減乗除において　ゼロでは　割れない　の例外から、例外なく四則演算が可能である　という　美しい四則演算の構造が確立されたこと。

３）２千年以上前に　ユークリッドによって確立した、平面の概念に対して、おおよそ２００年前に　非ユークリッド幾何学が出現し、特に楕円型非ユークリッド幾何学ではユークリッド平面に対して、無限遠点の概念がうまれ、特に立体射影で、原点上に球をおけば、　原点ゼロが　南極に、無限遠点が　北極に対応する点として　複素解析学では　１００年以上も定説とされてきた。それが、無限遠点は　数では、無限ではなくて、実はゼロが対応するという驚嘆すべき世界観をもたらした。

４）ゼロ除算は　ニュートンの万有引力の法則における、２点間の距離がゼロの場合における新しい解釈、独楽（コマ）の中心における角速度の不連続性の解釈、衝突などの不連続性を説明する数学になっている。ゼロ除算は　アインシュタインの理論でも重要な問題になっていたとされている。数多く存在する物理法則を記述する方程式にゼロ除算が現れているが、それらに新解釈を与える道が拓かれた。

５）複素解析学では、１次変換の美しい性質が、ゼロ除算の導入によって、任意の１次変換は　全複素平面を全複素平面に１対１　onto　に写すという美しい性質に変わるが、　極である１点において不連続性が現れ、ゼロ除算は、無限を　数から排除する数学になっている。

６）ゼロ除算は、不可能であるという立場であったから、ゼロで割る事を　本質的に考えてこなかったので、ゼロ除算で、分母がゼロである場合も考えるという、未知の新世界、新数学、研究課題が出現した。

７）複素解析学への影響は　未知の分野で、専門家の分野になるが、解析関数の孤立特異点での性質について新しいことが導かれる。典型的な結果は、どんな解析関数の孤立特異点でも、解析関数は　孤立特異点で、有限な確定値をとる　という定理　である。佐藤の超関数の理論などへの応用がある。

８）特異積分におけるアダマールの有限部分や、コーシーの主値積分は、弾性体やクラック、破壊理論など広い世界で、自然現象を記述するのに用いられている。面白いのは　積分が、もともと有限部分と発散部分に分けられ、　極限は　無限たす、有限量の形になっていて、積分は　実は、普通の積分ではなく、そこに現れる有限量を便宜的に表わしている。ところが、その有限量が実は、　ゼロ除算にいう、　解析関数の孤立特異点での　確定値に成っていること。いわゆる、主値に対する解釈を与えている。これはゼロ除算の結果が、広く、自然現象を記述していることを示している。

９）中学生や高校生にも十分理解できる基本的な結果をもたらした：

基本的な関数y = 1/x　のグラフは、原点で　ゼロである；すなわち、　1/0=0　である。

１０）既に述べてきたように　道脇方式は　ゼロ除算の結果100/0=0,　0/0=0および分数の定義、割り算の定義に、小学生でも理解できる新しい概念を与えている。多くの教科書、学術書を変更させる大きな影響を与える。

１１）ゼロ除算が可能であるか否かの議論について：

現在　インターネット上の情報でも　世間でも、ゼロ除算は　不可能であるとの情報が多い。それは、割り算は　掛け算の逆であるという、前提に議論しているからである。それは、そのような立場では、勿論　正しいことである。しかしながら、出来ないという議論では、できないから、更には考えられず、その議論は、不可能のゆえに　終わりになってしまう　―　もはや　展開の道は閉ざされている。しかるに、ゼロ除算が　可能であるとの考え方は、それでは、どのような理論が　展開できるのかという未知の分野が望めて、大いに期待できる世界が拓かれる。

１２）ゼロ除算は、数学ばかりではなく、　人生観、世界観や文化に大きな影響を与える。

次を参照：

再生核研究所声明166（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ　世界観

再生核研究所声明188（2014.12.16）ゼロで割る（ゼロ除算）から観えてきた世界

ゼロ除算における新現象、驚きとは　Aristotélēs　の世界観、universe　は連続である　を否定して、強力な不連続性を　universe　の現象として表していることである。

ゼロ除算は　既に数学的に確定され、その意義も既に明らかであると考えられるが、声明１９９にも述べられているように、ゼロ除算が不可能であるとの世の常識、学術書、数学は　数学者の勝手な解釈による歴史的な間違いに当たる　ことをしっかりと理解させ、世の教育書、学術書の変更を求めていきたい。―　誰が、真実を知って、偽りを教え、言い続けられるだろうか。―　教育に於ける除算、乗算の演算の意味を　道脇方式で回復させ、新しい結果　ゼロ除算を世に知らしめ、世の常識とさせたい。それは　ちょうど天動説が地動説に変わったように　世界史の確かな進化と言えるだろう。

ゼロ除算の研究の進展は、数学的には　佐藤超関数の理論からの展開、発展、　物理学的には　ゼロ除算の物理法則の解釈や、衝突現象における山根の面白い解釈の究明　などに興味が持たれる。しかしながら、ゼロ除算の本質的な解明とは、Aristotélēs　の世界観、universe　は連続である　を否定して、強力な不連続性を　universe　の自然な現象として受け入れられることである。数学では、その強力な不連続性を自然なものとして説明され、解明されることが求められる。

以　上

再生核研究所声明２００（2015.1.16）　ゼロ除算と複素解析の現状　―佐藤超関数論との関係が鍵か？

正確に次のように公開して複素解析とゼロ除算の研究を開始した：

特異点解明の歩み100/0=0,0/0=0　関係者：

複素解析学では、1/0として、無限遠点が存在して、美しい世界です。しかしながら、1/0=0　は　動かせない真実です。それで、勇気をもって進まざるを得ない：―　哲学とは　真智への愛　であり、真智とは　神の意志　のことである。哲学することは、人間の本能であり、それは　神の意志　であると考えられる。愛の定義は　声明１４６で与えられ、神の定義は　声明１２２と１３２で与えられている。―　再生核研究所声明１４８．

私には　無理かと思いますが、世の秀才の方々に　挑戦して頂きたい。空論に付き合うのはまっぴらだ　と考える方も多いかと思いますが、面白いと考えられる方で、楽しく交流できれば幸いです。宜しくお願い致します。　添付　物語を続けたい。敬具　齋藤三郎

２０１４．４．１．１１：１０

上記で、予想された難問、　解析関数は、孤立特異点で確定値をとる、が　自分でも予想しない形で解決でき、ある種の実体を捉えていると考えたのであるが、この結果自体、世のすべての教科書の内容を変える事件であるばかりではなく、確立されている無限遠点の概念に　新しい解釈を与えるもので、１次変換の美しい性質が、ゼロ除算の導入によって、任意の１次変換は　全複素平面を全複素平面に１対１　onto　に写すという美しい性質に変わるが、　極である１点において不連続性が現れ、ゼロ除算は、無限を　数から排除する数学になっている。

６月、帰国後、気に成っていた、金子晃先生の　３０年以上前に購入した超函数入門の本に　極めて面白い記述があり、佐藤超関数とゼロ除算の面白い関係が出てきた。さらに　特異積分におけるアダマールの有限部分や、コーシーの主値積分は、弾性体やクラック、破壊理論など広い世界で、自然現象を記述するのに用いられているが、面白いのは　積分が、もともと有限部分と発散部分に分けられ、　極限は　無限たす、有限量の形になっていて、積分は　実は、普通の積分ではなく、そこに現れる有限量を便宜的に表わしている。ところが、その有限量が実は、　ゼロ除算にいう、　解析関数の孤立特異点での　確定値に成っていることが分かった。これはゼロ除算の結果が、広く、自然現象を記述していることを示している。

現在まで、添付２１ページの論文原稿について　慎重に総合的に検討してきた。

そこで、問題の核心、ゼロ除算の発展の基礎は、次の論点に有るように感じられてきた：

We can find many applicable examples, for example, as a typical example in A. Kaneko (\cite{kaneko}, page 11) in the theory of hyperfunction theory: for non-integers $\lambda$, we have

\begin{equation}

x_+^{\lambda} = \left[ \frac{-(-z)^{\lambda}}{2i \sin \pi \lambda}\right] =\frac{1}{2i \sin \pi \lambda}\{(-x + i0)^{\lambda}- (-x - i0)^{\lambda}\}

\end{equation}

where the left hand side is a Sato hyperfunction and the middle term is the representative analytic function whose meaning is given by the last term. For an integer $n$, Kaneko derived that

\begin{equation}

x_+^{n} = \left[- \frac{z^n}{2\pi i} \log (-z) \right],

\end{equation}

where $\log$ is a principal value: $ \{ - \pi < \arg z < +\pi \}$. Kaneko stated there that by taking a finite part of the Laurent expansion, the formula is derived.

Indeed, we have the expansion, for around $ n$, integer

$$

\frac{-(-z)^{\lambda}}{2i \sin \pi \lambda}

$$

\begin{equation}

= \frac{- z^n}{2\pi i} \frac{1}{\lambda -n} - \frac{z^n}{2\pi i} \log (-z )

• \left( \frac{\log^2 (-z) z^n}{2\pi i\cdot 2!} + \frac{\pi z^n}{2i\cdot 3!}

\right)(\lambda - n) + ...

\end{equation}

(\cite{kaneko}, page 220).

By our Theorem 2, however, we can derive this result (4.3) from the Laurant expansion (4.4), immediately.

上記ローラン展開で、\lambda に n　を代入したのが　ちょうど　n に対する佐藤の超関数になっている。それは、ゼロ除算に言う、　孤立特異点における解析関数の極における確定値である。これはゼロ除算そのものと殆ど等価であるから、ローラン展開に　\lambda = n を代入した意味を、上記の佐藤超関数の理論は述べているので　上記の結果を分析すれば、ゼロ除算のある本質を捉えることができるのではないかと考えられる。

佐藤超関数は　日本で生まれた、基本的な数学で　優秀な人材を有している。また、それだけ高級、高度化しているが、このような初歩的、基本的な問題に関係がある事が明らかになってきた。そこで、佐藤超関数論の専門家の方々の研究参加が望まれ、期待される。また、関係者の助言やご意見をお願いしたい。

ゼロ除算における新現象、驚きとは　Aristotélēs　の世界観、universe　は連続である　を否定して、強力な不連続性を　universe　の現象として示していることである。

以　上

再生核研究所声明１９９（2015.1.15）　世界の数学界のおかしな間違い、世界の初等教育から学術書まで間違っていると言える　―　ゼロ除算100/0=0,0/0=0

ゼロ除算は　西暦６２８年インドでゼロが文献に記録されて以来、問題とされてきた。ゼロ除算とは、ゼロで割ることを考えることである。これは数学の基本である、四則演算、加法、減法、乗法、除法において、除法以外は何時でも自由にできるのに、除法の場合だけ、ゼロで割ることができないという理由で、さらに物理法則を表す多くの公式にゼロ除算が自然に現れていることもあって、世界各地で、今でも絶えず、問題にされていると考えられる。―　小学生でも　どうしてゼロで割れないのかと毎年、いろいろな教室で問われ続いているのではないだろうか.

これについては、近代数学が確立された以後でも、何百年を越えて　永い間の定説として、ゼロ除算は　不可能であり、ゼロで割ってはいけないことは、初等教育から、中等、高校、大学そして学術界、すなわち、世界の全ての文献と理解はそうなっている。変えることのできない不変的な法則のように理解されていると考えられる。

しかるに２０１４年２月２日　ゼロ除算は、可能であり、ゼロで割ればゼロであることが、偶然発見された。その後の経過、背景や意味付け等を纏めてきた：

再生核研究所声明　148（2014.2.12）　100/0=0, 0/0=0　－　割り算の考えを自然に拡張すると　―　神の意志

再生核研究所声明154（2014.4.22）　新しい世界、ゼロで割る、奇妙な世界、考え方

再生核研究所声明157（2014.5.8） 知りたい　神の意志、ゼロで割る、どうして　無限遠点と原点が一致しているのか？

再生核研究所声明161（2014.5.30）ゼロ除算から学ぶ、数学の精神　と　真理の追究

再生核研究所声明163（2014.6.17）ゼロで割る（零除算）－　堪らなく楽しい数学、探そう零除算　―　愛好サークルの提案

再生核研究所声明166（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ　世界観

再生核研究所声明171（2014.7.30）掛け算の意味と割り算の意味　―　ゼロ除算100/0=0は自明である？

再生核研究所声明176（2014.8.9）　ゼロ除算について、数学教育の変更を提案する

Announcement 179 (2014.8.25): Division by zero is clear as z/0=0 and it is fundamental in mathematics

Announcement 185　: The importance of the division by zero $z/0=0$

再生核研究所声明188（2014.12.1５）ゼロで割る（ゼロ除算）から観えてきた世界

再生核研究所声明190（2014.12.24）

再生核研究所からの贈り物　―　ゼロ除算100/0=0,　0/0=0

夜明け、新世界、再生核研究所　年頭声明

―　再生核研究所声明193（2015.1.1）―　

再生核研究所声明194（2015.1.2）大きなイプシロン（無限小）、創造性の不思議

再生核研究所声明195（2015.1.3）ゼロ除算に於ける高橋の一意性定理について

再生核研究所声明196（2015.1.4）ゼロ除算に於ける山根の解釈100= 0ｘ0について

ところが、気づいてみると、ゼロ除算は当たり前なのに、数学者たちが勝手に、割り算は掛け算の逆と思い込み、ゼロ除算は不可能であると 絶対的な真理であるかのように　烙印を押して、世界の人々も盲信してきた。それで、物理学者が　そのために基本的な公式における曖昧さに困ってきた事情は　ニュートンの万有引力の法則にさえ見られる。

さらに、誠に奇妙なことには、除算はその言葉が表すように、掛算とは無関係に考えられ、日本ばかりではなく西欧でも中世から除算は引き算の繰り返しで計算されてきた、古い、永い伝統がある。その考え方から、ゼロ除算は自明であると道脇裕氏と道脇愛羽さん６歳が（四則演算を学習して間もないときに）理解を示した　―　ゼロ除算は除算の固有の意味から自明であり、ゼロで割ればゼロであるは数学的な真実であると言える（声明１９４）。数学、物理、文化への影響も甚大であると考えられる。

数学者は　数学の自由な精神で　好きなことで、考えられることは何でも考え、不可能を可能にし、分からないことを究め、真智を求めるのが　数学者の精神である。非ユークリッド幾何学の出現で　絶対は変わり得ることを学び、いろいろな考え方があることを学んできたはずである。そのような観点から　ゼロ除算の解明の遅れは　奇妙な歴史的な事件である　と言えるのではないだろうか。

これは、数学を超えた、真実であり、ゼロ除算は不可能であるとの　世の理解は間違っている　と言える。そこで、真実を世界に広めて、人類の歴史を進化させるべきであると考える。特に声明１７６と声明１８５を参照。ゼロ除算は　堪らなく楽しい　新世界　を拓いていると考える。

以　上