不連続線型写像のソースを表示

[[数学]]において、[[線型写像]]は[[線型空間]]の「単に」代数構造を保つ[[写像]]の重要なクラスを成し、またより一般の写像を近似するのにも用いられる（[[一次近似]]）。空間に[[位相空間|位相]]も入れて（つまり、[[位相線型空間]]を）考えるならば、全ての線型写像は果たして[[連続写像|連続]]であるか、という問いを考えることに意味が生まれる。そして、無限[[次元 (線型代数学)|次元]]位相線型空間（例えば無限次元[[ノルム空間]]）上で定義される線型写像を考えるとき、この問いの答えは一般には否であって、'''不連続線型写像'''（ふれんぞくせんけいしゃぞう、{{lang-en-short|''discontinuous linear function''}}）が存在するのである。定義域が[[完備空間|完備]]ならば、不連続線型写像の存在が証明できるが、それには[[選択公理]]を必要とするため、証明から明示的な例を得ることはできない。

== 有限次元線型写像の連続性 ==
''X'', ''Y'' がノルム空間で ''f'' が ''X'' から ''Y'' への線型写像とする。''X'' が[[有限次元]]のとき、''X'' の単位ベクトルからなる基底 (''e''<sub>1</sub>, ''e''<sub>2</sub>, …, ''e''<sub>''n''</sub>) を取ることができて、このとき
: <math>f(x)=\sum^n_{i=1}x_if(e_i)</math>
と表すことができるから、[[三角不等式]]により 
:<math>\|f(x)\|= \left\|\sum^n_{i=1}x_if(e_i)\right\| \le \sum^n_{i=1} |x_i|\|f(e_i)\|</math>
を得る。ここで 
:<math>M=\sup_i \{\|f(e_i)\|\}</math>
とおき、適当な ''C'' &gt; 0 を取って
:<math>\sum^n_{i=1}|x_i|\le C \|x\|</math>
とできるという事実（これは有限次元空間上のどの二つのノルムも互いに同値であるという事実から従う）を用いると
: <math>\|f(x)\|\le \left(\sum^n_{i=1}|x_i|\right)M\le CM\|x\|</math>
となるから、つまり ''f'' は[[有界線型作用素]]、従って連続である。

''X'' が無限次元のときには、この証明は[[上限 (数学)|上限]] ''M'' の存在を保証できずに破綻する。また、''Y'' が零ベクトル空間 {0} ならば ''X'' から ''Y'' への線型写像は零値写像しかなく、これは自明に連続となる。これら以外の全ての場合において、つまり ''X'' が無限次元かつ ''Y'' が零ベクトル空間でないとき、''X'' から ''Y'' への不連続線型写像を考えることができる。

== 具体例 ==
完備でない空間においては不連続線型写像の例を構成するのは容易である。線型独立なベクトルからなる[[コーシー列]]で極限を持たないものを任意に取れば、線型作用素は際限なく増加することができる。これはつまり、空間に「穴」があるから線型作用素が連続でないという意味である。

例えば、''X'' として区間 {{math|[0, 1]}} 上の[[滑らかな函数|滑らかな]]実数値函数全体の成す空間に[[一様ノルム]]
: <math>\|f\|=\sup_{x\in [0, 1]}|f(x)|</math>
を入れたものを考えると、「一点において[[微分]]する」写像
: <math>T(f)=f'(0)</math>
は ''X'' 上で定義される実数値函数で、線型になるが、連続でない。実際、函数列 
: <math>f_n(x)=\frac{\sin (n^2 x)}{n}</math>
を考えると、この列は一様に零写像に収斂するが、''n'' &rarr; &infin; の極限で
: <math>T(f_n)=\frac{n^2\cos(n^2 \cdot 0)}{n}=n\to \infty</math>
となり、これは件の写像が連続ならば満たさねばならない ''T''(''f''<sub>''n''</sub>) &rarr; ''T''(0) = 0 に反する。ここで、''T'' が実数値であり、それ故実際には ''X'' 上の[[線型汎函数]]（つまり代数的[[双対空間]] ''X''<sup>&lowast;</sup> の元）であることに注意。各函数にその導函数を割り当てる線型写像 ''X'' &rarr; ''X'' も同様に不連続である。これは連続でないけれども、[[閉作用素]]にはなることに注意。

この例において定義域が完備でないという事実が重要である。完備空間上の不連続作用素を得るにはもう少し準備が必要である。

== 非構成的な例 ==
{{main|コーシーの函数方程式}}
[[実数]]全体 '''R''' を[[有理数]]体 '''Q''' 上のベクトル空間と見たときの代数基底は'''ハメル基底'''として知られる（文献によってはもっと広く、ベクトル空間の任意の代数基底の意味で「[[ハメル基底]]」の語を用いるものもあるが）。{{ill2|通約可能性|label=通約不能|en|Commensurability (mathematics)}}な任意の二数は線型独立であることに注意する。例えば 1 と &pi; などはそうで、これらを含むハメル基底を構成することができる。さらに '''R''' から '''R''' への写像 ''f'' で ''f''(&pi;) = 0 かつそれ以外の基底ベクトルの上には恒等的に作用するようなものを定め、これを '''R''' 全体にまで線型に拡張する。ここで、&pi; に収斂する任意の有理数列 {''r''<sub>''n''</sub>}<sub>''n''</sub> を取れば、lim<sub>''n''</sub>&thinsp;''f''(''r''<sub>''n''</sub>) = π だが ''f''(π) = 0 となる。即ち、作り方から、''f'' は '''Q'''-線型（'''R'''-線型ではない）となるが、連続でない。''f'' は[[可測函数|可測]]ですらないことに注意（[[加法的写像|加法的]]な実函数が線型となることと可測であることとは同値、ゆえに任意の非線型実函数に対して[[ヴィタリ集合]]が存在する）。この ''f'' の構成法は選択公理に依っている（ハメル基底の存在を示すのにツォルンの補題が要る）。

この例は任意の無限次元ノルム空間上の（終域が自明でない）不連続線型写像の存在についての一般定理に拡張することができる。

== 一般の存在定理 ==
より一般に、空間が完備である場合も含めて、不連続線型写像の存在を証明することができる。''K'' は実数体 '''R''' または複素数体 '''C''' であるものとして、''X'', ''Y'' を体 ''K'' 上の[[ノルム空間]]で、''X'' は無限次元、''Y'' は零ベクトル空間でないと仮定する。ここで、''X'' から ''K'' への不連続線型写像 ''f'' が求まれば、''Y'' の勝手な非零元 ''y''<sub>0</sub> に対して ''g''(''x'') = ''f''(''x'')''y''<sub>0</sub> と置くことで、''X'' から ''Y'' への不連続線型写像 ''g'' の存在が言える。

そこで、無限次元空間 ''X'' に対して連続でない線型汎函数の存在を、非有界な ''f'' を様々構成することによって示す。そういうわけで、''X'' の[[線型独立]]なベクトルからなる[[列 (数学)|列]] (''e''<sub>''n''</sub>)<sub>''n''</sub> (''n'' ≥ 1) を考え、各 ''n'' = 1, 2, … に対して
:<math>T(e_n)=n\|e_n\|</math> 
と定める。この線型独立なベクトルからなる列を延長して ''X'' の[[基底 (線型代数学)|基底]]を得、上記の元以外の基底ベクトルにおける ''T'' の値を零と定めて、''T'' を ''X'' 上の線型写像に一意的に拡張することができる。得られた線型写像は明らかに有界でないから、これは連続でない。

ここで、任意の線型独立系を基底に延長することができるという事実を用いたから、そこに暗黙の裡に選択公理が使われていることに注意すべきである（前掲の[[#具体例|具体例]]では選択公理を必要としない）。

== 選択公理に関して ==
既に注意した通り、一般の不連続線型写像の存在定理には[[選択公理]] (AC) が用いられる。実は完備な定義域（例えば[[バナッハ空間]]）を持つ不連続線型写像の構成的な例というものは存在しないのである。解析学において、職業数学者がふつう実用にする限りは、選択公理は（[[ツェルメロ＝フレンケル集合論|ZFC]]集合論の公理の一つとして）常に仮定されている。従って、解析学者は任意の無限次元位相線型空間に不連続線型写像を認めることができる。

一方、1970年に{{仮リンク|ロバート・ソロヴェイ|en|Robert M. Solovay}}は、実数からなる任意の集合が可測となるような[[集合論]]の[[モデル (モデル理論)|モデル]]を示した<ref>{{cite journal|doi=10.2307/1970696|author=Solovay, Robert M.|title=A model of set-theory in which every set of reals is Lebesgue measurable|journal=Annals of Mathematics. Second Series|volume=92|issue=1|year=1970|pages=1–56}}</ref>。従って、このモデルにおいて不連続線型実函数は存在しないことになる。このモデルは明らかに選択公理を満足しない。

ソロヴェイの結果は、任意の無限次元線型空間が不連続線型写像を許すこと仮定することは必要条件でないことを示すものであり、より[[数学的構成主義|構成主義者]]の観点に沿った解析学というものが展開し得る。例えば、アンリ・ジョルジュ・ガルニールは、所謂「夢の空間」（"dream spaces", その上で定義されるノルム空間に値を取る任意の線型写像が連続となる位相線型空間）の探索において、ZF+[[従属選択公理|DC]]+[[ベールの性質|BP]]（従属選択公理は弱い形の選択公理であり、ベールの性質は強い選択公理の否定である）が[[ガルニール-ライトの閉グラフ定理]]を証明する公理系として採用している。この閉グラフ定理は、（他にもいろいろあるが）[[F空間|''F''-空間]]から位相線型空間への任意の線型写像が連続となることを述べるものである。もっと強烈な構成主義では、（適当な枠組み<ref>構成主義の立場で、例えば構成的でない写像のことはそもそも考えない。[https://books.google.co.jp/books?id=2XmY22oRvdUC&pg=PA8&lpg=PA8&dq=Ceitin+continuous ]</ref>において解釈すると）'''任意の写像'''が連続となることを主張する[[Ceĭtinの定理]]がある。こういった立場を取る職業数学者は極めて少数派である。

選択公理を持たない集合論では不連続線型写像が存在しなくても矛盾は起こらないのだから、結論としては選択公理の必要性を取り除くことは可能でないということになる。系として、至る所導函数が定義できないような不連続作用素が構成可能である。

== 不連続な閉作用素 ==
自然に生じる線型不連続作用素が[[閉作用素]]となることは多く、そのような作用素のクラスは連続作用素のクラスと様々な特徴を共有している。連続性についての問いと同様、与えられた空間上の任意の線型作用素が閉であるかと考えることは意味を成す。[[閉グラフ定理]]は完備な定義域上の至る所定義された閉作用素が連続であることを保証するから、不連続閉作用素を考える文脈では至る所定義されるのではない作用素を許さねばならない。至る所定義されたものでない作用素の中でも、[[稠密に定義された作用素|密に定義された作用素]]を考えて一般性を失わない。

さて、''T'' は定義域 Dom(''T'') を持つ（偏）写像 ''X'' &rarr; ''Y'' とし、至る所定義されたものでない作用素 ''T'' のグラフ &Gamma;(''T'') は閉包 {{math|{{overline|&Gamma;(''T'')}}}} と異なってもよいものとする。グラフの閉包がそれ自身別の作用素 {{math|{{overline|''T''}}}} のグラフとなっているとき、''T'' は'''可閉''' (closable) であると言い、作用素 {{math|{{overline|''T''}}}} は ''T'' の閉包であると言う。

そうすると、正しい問いは「密定義作用素は必ず可閉であるか否か」であるということになる。答えは「必要条件ではない」である。つまり、任意の無限次元ノルム空間が、非可閉線型作用素の存在を許す。証明には選択公理を要するので、一般には非構成的である（今の場合でも、''X'' が完備でないものとすれば、構成的な例は存在する）。

実は、閉包が ''X'' &times; ''Y'' 全体になるようなグラフを持つ線型作用素の例を与えることができる。そのような作用素は可閉でない。''X'' を閉区間 {{math|[0, 1]}} から '''R''' への[[多項式函数]]全体の成す空間とし、''Y'' を区間 {{math|[2, 3]}} から '''R''' への多項式函数全体の成す空間とする。これらはそれぞれ ''C''([0,1]) および ''C''([2,3]) の部分空間であり、従ってノルム空間となる。作用素 ''T'' は、多項式函数 ''x'' ↦ ''p''(''x'') を {{math|[0, 1]}} 上で定義されるものから、同じ式で {{math|[2, 3]}} 上定義されたものへ写すものとする。[[ストーン-ヴァイエルシュトラスの定理]]の帰結として、この作用素 ''T'' のグラフは ''X'' &times; ''Y'' で稠密であり、極大不連続線型写像の一種を与える（{{仮リンク|至る所不連続な函数|en|nowhere continuous function}}を参照）。ここで ''X'' は完備でなく、このような構成可能写像が存在する場合を考えなければならないことに注意。

== 双対空間への影響 ==
位相線型空間の[[双対空間]]とは、その空間から基礎体への連続線型写像全体の成す集合である。従って、無限次元ノルム空間に対してある種の線型写像が連続にならないということは、代数的な双対空間とその真の部分集合を成す連続的双対空間とを区別する必要があることを含意する。これは無限次元空間の解析学を行うのには有限次元空間の場合と比べて余計に注意が必要であることを如実に表すものになっている。

== ノルム空間以外での不連続性 ==
ノルム空間上の不連続線型写像の存在性についての論法は、任意の距離化可能位相線型空間、特に任意のフレシェ空間に対して一般化することができるが、任意の汎函数が連続となる無限次元局所凸位相線型空間というものが存在する。他方、任意の局所凸空間に適用できる[[ハーン-バナッハの定理]]は、多くの連続線型汎函数が存在して、双対空間が十分に大きいことを保証する。実は、任意の凸集合に対し、その[[ミンコフスキー汎函数]]は連続線型汎函数に対応する。
結論として、凸集合が少ない空間は汎函数も少なく、最悪の場合には零汎函数以外に汎函数を全く持たないこともあり得る。0 &lt; ''p'' &lt; 1 に対する[[ルベーグ空間| ''L''<sup>''p''</sup>-空間]] ''L''<sup>''p''</sup>('''R''',&thinsp;''dx'') の場合がそうで、この空間は非凸である。ここでは実数直線上の[[ルベーグ測度]] ''dx'' を考えていることに注意せよ、そうでない場合に 0 &lt; ''p'' &lt; 1 なる ''L''<sup>''p''</sup>-空間が非自明な双対空間を持つことがある。

もう一つの同様の例として、単位区間上の実数値[[可測函数]]全体の成す空間に[[準ノルム]]
:<math>\|f\| = \int_I \frac{|f(x)|}{1+|f(x)|}dx</math>
を与えたものは、自明な双対空間を持つ非局所凸空間である。

もっと一般の空間を想定することもできる。例えば、完備可分距離[[位相群]]の間の準同型写像の存在性は非構成的に示すことができる。

== 脚注 ==
<references />

== 参考文献 ==
* Constantin Costara, Dumitru Popa, ''Exercises in Functional Analysis'', Springer, 2003. ISBN 1-4020-1560-7.
* Schechter, Eric, ''Handbook of Analysis and its Foundations'', Academic Press, 1997. ISBN 0-12-622760-8.

{{Functional Analysis}}
{{DEFAULTSORT:ふれんそくせんけいしやそう}}
[[Category:関数解析学]]
[[Category:写像]]
[[Category:数学に関する記事]]