関数解析で出てくるバナッハ空間や随伴作用素に関する問題で、特定の命題を示す過程で「dimX<1の場合は自明である」という部分が理解できないという疑問を持っている方も多いでしょう。この記事では、dimX<1の場合がなぜ自明であるのか、またその理由について詳しく解説します。
問題の背景：バナッハ空間と随伴作用素
問題において、XとYはそれぞれC上のバナッハ空間であり、TはXからYへの有界線形作用素です。T*はその随伴作用素として定義され、T*はY*からX*への有界線形作用素です。T*は、任意のμ∊Y*とx∊Xに対して、〈T*μ, x〉 = 〈μ, Tx〉という関係で定義されています。
命題では、あるδ>0が存在して、任意のx∊Xに対して||Tx|| ≧ δ||x||が成り立つと仮定しており、このとき「δ B_(X*)⊂T* B_(Y*)」が成り立つことを示すことが求められています。
dimX
dimX<1のケースが自明である理由は、次のように考えることができます。まず、dimX<1のバナッハ空間Xは、Xが1次元未満である場合に相当します。つまり、Xが1次元空間でない場合、その空間には基底が存在しないか、非常に簡素な構造しか持たないため、T*がその上で定義される場合、その空間内のベクトルの挙動は非常に単純です。
特に、dimX=0の場合、空間Xが零空間であれば、全てのベクトルがゼロベクトルであり、T*による作用も自明になります。これにより、δ B_(X*)⊂T* B_(Y*)が無条件に成り立つため、問題が「自明」とされます。
dimX=0の場合の詳細
dimXが0の場合、X空間の全てのベクトルはゼロベクトルです。この場合、T*の作用もゼロベクトルに対して作用するだけであり、その結果、B_(X*)の全てのベクトルがゼロベクトルに対応します。したがって、δ B_(X*)⊂T* B_(Y*)の関係が成立するのは、自然に言えることになります。
まとめ
dimX<1の場合が自明である理由は、Xが零空間または1次元未満の単純な空間であるため、T*による作用が非常に簡単であり、定義された命題が自然に成立するからです。これにより、dimX<1のケースでは特別な計算を行わなくても命題が成り立つため、自明として扱われます。
コメント