|
数学において、線型写像は線型空間の「単に」代数構造を保つ写像の重要なクラスを成し、またより一般の写像を近似するのにも用いられる(一次近似)。空間に位相も入れて(つまり、位相線型空間を)考えるならば、全ての線型写像は果たして連続であるか、という問いを考えることに意味が生まれる。そして、無限次元位相線型空間(例えば無限次元ノルム空間)上で定義される線型写像を考えるとき、この問いの答えは一般には否であって、不連続線型写像(ふれんぞくせんけいしゃぞう、)が存在するのである。定義域が完備ならば、不連続線型写像の存在が証明できるが、それには選択公理を必要とするため、証明から明示的な例を得ることはできない。 == 有限次元線型写像の線型性 == ''X'', ''Y'' がノルム空間で ''f'' が ''X'' から ''Y'' への線型写像とする。''X'' が有限次元のとき、''X'' の単位ベクトルからなる基底 (''e''1, ''e''2, …, ''e''''n'') を取ることができて、このとき : と表すことができるから、三角不等式により : を得る。ここで : とおき、適当な ''C'' > 0 を取って : とできるという事実(これは有限次元空間上のどの二つのノルムも互いに同値であるという事実から従う)を用いると : となるから、つまり ''f'' は有界線型作用素、従って連続である。 ''X'' が無限次元のときには、この証明は上限 ''M'' の存在を保証できずに破綻する。また、''Y'' が零ベクトル空間 ならば ''X'' から ''Y'' への線型写像は零値写像しかなく、これは自明に連続となる。これら以外の全ての場合において、つまり ''X'' が無限次元かつ ''Y'' が零ベクトル空間でないとき、''X'' から ''Y'' への不連続線型写像を考えることができる。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「不連続線型写像」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Discontinuous linear map 」があります。 スポンサード リンク
|