• 締切済み

固有値を持たないコンパクト作用素について

「数学（物理ではありません）」の質問です。 自己共役な完全連続作用素（コンパクト作用素）は固有値を持ちます。しかし、完全連続作用素でも自己共役でない場合には、固有値を持つことが保証されません。たとえば、連続な核をもつVolterra型の積分作用素は完全連続作用素ですが、固有値を持ちません。これ以外の例をご存じの方は教えて下さい。

みんなの回答

回答No.2

訂正です：下の回答での例は「完全連続作用素」です（コンパクトと書いてしまいました）。

回答No.1

関数空間での例を探してるのでしょうか？ 完全連続作用素というのは「弱収束点列をノルム収束点列に写す作用素」のことでしょうか（これは一般にコンパクトではありませんがreflexive Banach space上の作用素であればコンパクトと同値）？ そうであればたとえばl_1(N)（数列空間）上のコンパクト作用素 (a_1,a_2,...)→(0,a_1,a_2,...) は固有値を持ちませんね。

ojisan7
質問者

お礼

ありがとうございました。 >reflexive Banach space上の作用素であればコンパクトと同値 一応、ヒルベルト空間で考えています。 他の例についても自分で考えてみます。たいへん参考になりました。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 実対称線形作用素の固有関数は完全系をなすかどうか？

    自己共役線形作用素（演算子）の固有関数が完全系をなすことは、結構いたるところで言及されますが、証明を見たことはありません。が、仮にこれを信じたとして、実対称線形作用素の固有関数は完全系をなすのでしょうか？ ただし、関数の連続性を仮定してもよいとします。なお、現在考えている作用素は1/rの様な有界ではない項を含みますが、議論の簡単のため、有界な作用素としてもかまいません。 よろしくお願いします。

  • 固有値を全く持たない演算子（or 行列、作用素？）はあり得るのか？

    任意の固有値{e_i}が0以上(0 <= e_i)であり、また任意の固有値{e_i}は整数に限られるような演算子(作用素？)Nがあるとします。 さらに、Nが固有値Eを持つとすれば、E-1もE+1も固有値であることが分かっているとします。（ただし、E=1の場合は、E-1は固有値ではありません。） 仮にNが1つでも固有値を持つとすれば、上記仮定より必然的に0以上の整数全てがNの固有値である事になります。しかし、Nが全く固有値を持たないときは、この限りではありません。 私の疑問は、全く固有値を持たない演算子（作用素）は存在しえるのかという事です。0演算子(作用素)ですら、固有値0を持っています。 できれば、演算子は線形演算子、エルミートであり、作用される被演算子（被作用素？）は連続で、絶対積分可能な関数であるとしたいのですが、その様な空間（？）の数学的に厳密な定義の仕方が分からないので、その場合に限らなくてもかまいません。何か一例でも、存在すると聞いたことがあるなどでもかまいません。 よろしくお願いします。

  • 固有値、固有ベクトル、対角化...何のため？

    私は文系出身の32歳会社員です。 ふとしたきっかけで数学を学び直そうかなと 独学で最近始めました。 そこで... 本当に素朴で基本的な疑問で恐縮なのですが... (1)何のために固有値を求めるのでしょうか？ (2)何のために固有ベクトルを求めるのでしょうか？ (3)何のために行列の対角化を行うのでしょうか？ 回答は歴史的背景、学術的背景、感情...etc、なんでも結構です。 例) ・特定の法則で計算すると固有値が求められるので求めた。 ・固有ベクトルは縦に並べてベクトルとしてみた方がすっきりするから「数列」ではなく「ベクトル」と呼んでみた。 ・意味はない！目的はない！ただ数学として突き詰めているだけだ！ ...などなど あっ、でも急を要している訳ではないので もしご存知の方、もしくは自論をお持ちの方は お時間のある方はご回答いただければ幸いです。 ちなみにテキストは共立出版の『やさしく学べる基礎数学～線形代数・微分積分～です。 やっと線形代数が終わって、微分積分に入ろうというところで、ふと疑問を持ってしまいました...(~~; 本当に漠然とした質問で恐縮ですが、どうぞよろしくお願いいたしますm(__)m

  • 近似固有値と固有値の違い

    ヒルベルト空間Ｈがあるとします。Ｈの元xのノルムを||x||と書く事にします。 有界線形作用素Ｔ(:＝Ｈ→Ｈの有界線形写像)があって、 ある複素数λと、Ｈの元の列x_1,x_2,・・・　(∀n ||x_n||=1)に対して、 lim[n→∞]||(T-λI)x_n||=0　(Iは恒等作用素) を満たす時、λをＴの近似固有値と呼ぶそうです。 この「近似固有値」は、「固有値」とどのように違うのでしょうか？ あるいは、ヒルベルト空間Ｈが、C^nである場合,L^2(二乗可積分な関数)である場合等、どのような場合であっても構わない(内積も適当に)のですが、 近似固有値ではあるが、固有値ではない例を教えて頂けると嬉しいです。

  • 連続固有値がなす集合の濃度は、X0ですかX1ですか

    物理の質問ですが、数学的に厳密な 回答が頂きたいので、ここで質問します。 ヒルベルト空間が稠密ということは、濃度が　X0　と聞きました。 それなら、固有空間⊆ヒルベルト空間ですから、連続固有値のなす集合も、高々　X0　 連続固有値は、連続　X1　　じゃないことになります。 正確なところは、どうなのでしょうか？

  • 共鳴としての最小作用の原理

    最小作用の原理という物理の原理についての質問です。 最小作用の原理を共鳴という観点から何かを論じた、そういう文献などの情報を探しています。教えてください。 　私は最小作用の原理を重要な物理学の基礎だと考え、それを再考し新しい価値を見つけ出したいと私は考えています。 　この最小作用の原理は大学の物理学科以外ではたぶん習わないものと思います。　　５０年前の高校物理IIBでは習わず、大学の工業系物理の授業ではやはり習わず、科目履修範囲はIIBとだいたい同じ範囲でしかありませんでした。 　たぶん代わりとして教えられたのがニュートンの原理です。 　ニュートンの原理は目標と手順が明確で応用がしやすく、解法手段については遠回りの道を辿らねばならない最小作用の原理で解くよりも日本人向きなのかもしれませんが、近道をした代わりに物理の本質を採り溢しているように感じます。 　作用を時間で積分した値の停留値となるような経路を運動が常に辿ると、最小作用の原理は言うそうです。それって共鳴のQの停留値と同等に見えます。 　そこで共鳴から最小作用の原理がみいだせるのではないだろうか、すでにそのような狙いの先駆者があるのではないだろうか。どんな情報があるだろうかと興味がわきました。

  • 数学の裏打ちができる物理とできない物理

    物理学を習うと数学で現象を説明し理解するための論理を組み立てますが、原理とか定理とか法則と呼ばれるものには、数学的に不合理や矛盾のある事例があるようです。それらを探したいと思います。 問(1)から(7)まで教えてください。 (1)数学の論理構造と矛盾する原理定理法則現象をご存知でしたら、教えてください。 　たとえば一つ事例をあげましょう。 　数学では、すべてのひずみ波をフーリエ積分で記述できることが証明されています。 　たとえば、正弦波では振動数と振幅と位相が波動の要素ですが、正弦波でなくとも任意の波動をいくつか線形加算するとひずみ波を構成することができ、そのひずみ波はもう一度フーリエ積分形から正弦波だけの積分形でも記述できるわけです。 　そしてひずみ波の振幅は０でないあたいです。常に振幅が0であるなら、存在しない波動という意味から、フーリエ積分の証明に矛盾します。常に振幅が0ならフーリエ積分を証明した意味がないのです。 　(2)さてどのような場合の現象に振幅値が０になる現象があるでしょう。想像し教えてください。 　一般にひずみ波の振幅値は多様な値をとることでしょう。 　(3)その値が特定値をとるとしたらどのような現象があるのでしょう。想像し教えてください。 　ところで物理学ではファインマンの経路積分という理論がありますが、このひずみ波の振幅値が常に最少作用の経路積分に一致すると主張しています。 　特定値に一致する現象だから(3)に同一のグループに属する現象でしょう。 　しかし特定値の振幅のひずみ波ができぬなら、ファインマンの経路積分はフーリエ積分の証明に矛盾します。フーリエ積分は多様な振幅値のひずみ波動せるのに特定値となってしまっては、フーリエ積分の証明と矛盾するのです。 　このファインマンの経路積分は最小作用の原理を発想の基礎にしているそうです。 すると最小作用の原理は数学の論理に矛盾していることになります。 　(4)最小作用の原理が数学的に不合理な理由を教えてください。 　(5)最少作用の原理に従う現象のグループの特徴と、理由を教えてください。 　(6)２つめの数学の裏打ちの無い物理の事例は、空洞放射です。空洞放射の現象には座標の中心に同軸の立方格子と同軸の球殻が数学に含まれますが、実際の実験道具には立方格子も球殻も存在しません。物理学は測定値と構造の実条件だけから数式を組み立てる論理が信条です。この物理の基本に空洞放射の式は論理構造が矛盾しています。この矛盾の有無を教えてください。 (7)空洞放射に立方格子と同軸の球殻が表出することは、最小作用の原理と同じ現象グループであるのかないのかご意見を教えてください。

  • ディラック流の量子力学っておかしくないですか？

    Qを位置演算子とするとき、Q|x>=x|x>というような書き方をしたりしますけど、これって連続固有値をあたかも離散固有値でかけるかのような書き方をしていますよね。これによると正規化は<x'|x>=δ(x'-x)にならざるを得ませんが、しかし内積がδ関数の値で与えられるとなると、これはまともなヒルベルト空間とはもう思えません。<x|x>=∞であって、しかもこの∞もただの∞ではなくて面積が1になるような∞です。内積が発散してしまうわけだから、Qは有界作用素ではありえず、しかも|x>は点スペクトルにはなりえません。数学的には作用素論で、連続スペクトルが生じる場合もうまく扱えますが、この場合は点スペクトルと考えない方が自然だと思います。まあ物理だからいいとしましょう、ってことになるかとは思うのですが、先日とあるところで、ヒルベルト空間を拡張した、何たらヒルベルト空間というのがある、というのを小耳に挟みました。それによると、L^2空間のようなヒルベルト空間には、ディラックのδ関数は普通は含まれはしないですが、δ関数や、あるいはe^{imx}のようなノルムが発散するような関数も含めたようなヒルベルト空間もどきを考えることができる、とのことでした。量子力学をうまく表現するための空間という印象だったのですが、そのような数学的対象がきちんと定義されるのか知りたく思います。よろしくお願いします。

  • 近接作用と遠隔作用

    高校の物理の教科書によれば「静止した二つの電荷q1, q2の間にはクーロン力 　F = - q1・q2/(εr^2) が働く。また電場Eの中の電荷q1には F=-q1E の力が働き、電荷q2の作る電場は 　E = q2/(εr^2) で与えられる」というような説明だったと思います(手元に高校の教科書がないので確かめられませんが)。私はこのような説明の仕方は不適切であると考えます。このような説明ではほとんど全ての人が電場はクーロン力の単なる言い換えであり、ほとんど違いはないと考えてしまうでしょう。電場は「場」を実体と考え、荷電粒子同士が直接相互作用するのではなく、粒子と場が相互作用すると考える近接作用の理論です。近接作用論が自己相互作用にまつわる多くの困難にも拘わらず遠隔作用論に勝利をおさめたことを教えることは、宇宙の見方が天動説から地動説に変わったことを教えるのと同じくらい(あるいはそれ以上に)重要なことではないかと思います。近接作用論が正しい根拠として私が挙げることができるのは 1. 遠隔作用では相対論と適合させることが難しいこと 2. 近接作用と遠隔作用が異なる答えを与えるような問題では、実験は近接作用を支持している(例えば電子は自己相互作用によって異常磁気能率を持つ) といったところですが、これ以外に電荷や電流で作られたのではない電磁場があり、そのような場の中で荷電粒子がローレンツ力を受けることが示せれば場が独立した実在である証拠になるのではないかと思います。マックスウェル方程式は電荷や電流が０でも電磁場は０でない解を持っています。電荷や電流はなしで(磁気単極子もなしで)電磁場だけ存在すると考えられるような例はないでしょうか。高校で近接作用と遠隔作用の違いを曖昧なままにしておくことは天動説を教えるようなものだといったら言い過ぎでしょうか。

  • リーマン積分

    不連続点が高々可算個しかない有界な関数は有界区間[a,b]上でリーマン積分可能ですが、不連続点が連続濃度（ただしもちろんルベーグ測度0）を持つ集合で不連続な場合[a,b]上でリーマン積分不可能な例というのはありますか？もしご存知あればできるだけ簡単な例を知りたいのですが。 それとも零集合上だけで不連続となる有界な[a,b]上の関数はいつでもリーマン積分できるのでしょうか？

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する