- ベストアンサー
連続固有値がなす集合の濃度は、X0ですかX1ですか
物理の質問ですが、数学的に厳密な 回答が頂きたいので、ここで質問します。 ヒルベルト空間が稠密ということは、濃度が X0 と聞きました。 それなら、固有空間⊆ヒルベルト空間ですから、連続固有値のなす集合も、高々 X0 連続固有値は、連続 X1 じゃないことになります。 正確なところは、どうなのでしょうか？
- morimot703
- お礼率62% (123/197)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
N=(全自然数) |N|=X0=(Nの濃度) X0が可算濃度ならば ヒルベルト空間の濃度はX0ではありません。 Hがヒルベルト空間であるとは、Hは実または複素内積空間であって、 さらに内積によって誘導される距離函数に関して完備距離空間をなすことを言います. 従って R=(全実数) |R|=X1=(Rの濃度) とすると Rはヒルベルト空間で濃度|R|=非可算X1>X0です。 ヒルベルト空間は稠密な可算濃度X0の部分集合を含むのであって ヒルベルト空間自身の濃度は可算ではなく、非可算X1です。 Q=(全有理数) とすると Q⊂R |Q|=X0 QはRで稠密 cl(Q)=R だが √2に収束する有理数列があるが √2∈R-Qだから Qは完備でないためヒルベルト空間ではありません。
関連するQ&A
- 連続固有値の疑問 （集合の濃度の点で）
ヒルベルト空間が稠密ということは、状態ベクトルの全体がなす集合の濃度が 加算無限（X0） と思います。 それなら、固有空間⊆ヒルベルト空間ですから、固有ベクトルの集合の濃度も、高々 X0 したがって、連続固有値のなす集合も、高々 X0 ということは、連続固有値の集合の濃度は、連続（X1） じゃないことになります。 これって、連続固有値の定義と矛盾しませんか？ 関連質問： http://okwave.jp/qa/q7856953.html
- ベストアンサー
- 物理学
- リッジド・ヒルベルト空間の濃度は？
ヒルベルト空間は稠密で、濃度は、X0 と思います。 では、ヒルベルト空間より広い、リッジド・ヒルベルト空間の濃度は、X1 なのでしょうか？ 広さと濃度は、関係ないのでしょうか？
- ベストアンサー
- 数学・算数
- ディラック流の量子力学っておかしくないですか？
Qを位置演算子とするとき、Q|x>=x|x>というような書き方をしたりしますけど、これって連続固有値をあたかも離散固有値でかけるかのような書き方をしていますよね。これによると正規化は<x'|x>=δ(x'-x)にならざるを得ませんが、しかし内積がδ関数の値で与えられるとなると、これはまともなヒルベルト空間とはもう思えません。<x|x>=∞であって、しかもこの∞もただの∞ではなくて面積が1になるような∞です。内積が発散してしまうわけだから、Qは有界作用素ではありえず、しかも|x>は点スペクトルにはなりえません。数学的には作用素論で、連続スペクトルが生じる場合もうまく扱えますが、この場合は点スペクトルと考えない方が自然だと思います。まあ物理だからいいとしましょう、ってことになるかとは思うのですが、先日とあるところで、ヒルベルト空間を拡張した、何たらヒルベルト空間というのがある、というのを小耳に挟みました。それによると、L^2空間のようなヒルベルト空間には、ディラックのδ関数は普通は含まれはしないですが、δ関数や、あるいはe^{imx}のようなノルムが発散するような関数も含めたようなヒルベルト空間もどきを考えることができる、とのことでした。量子力学をうまく表現するための空間という印象だったのですが、そのような数学的対象がきちんと定義されるのか知りたく思います。よろしくお願いします。
- ベストアンサー
- 物理学
- 集合と濃度の問題のやり方を教えてください。
問題 集合Ｘの濃度を♯Ｘであらわす。特に、空集合φに対しては、♯φ＝0であり、一元集合{φ}に対しては、♯{φ}＝１である。集合Ｘから集合Ｙへの写像全体の集合をＹ^Ｘと表す。 更に、濃度のべき乗〖(♯Ｙ)〗^(♯Ｘ)を♯(Ｙ^Ｘ)と定義する。以下の問いに答えよ。 (1)♯Ｘ_１＝♯Ｘ_２かつ♯Ｙ_１＝♯Ｙ_２ならば、〖(♯Ｙ₁)〗^(♯Ｘ₁)＝〖(♯Ｙ₂)〗^(♯Ｘ₂)を証明せよ。 (2)０^(♯Ｘ)を求めよ。 (3)特に、０⁰を求めよ。 (1)を、以下のように途中までやりました。 ♯Ｘ_１＝♯Ｘ_２より、ｆという全単射(ｆ；X₁→X₂)が存在。 ♯Ｙ_１＝♯Ｙ_２より、ｇという全単射(ｇ；Y₁→Y₂)が存在。(仮定より) ゆえに Φ：(Ｙ₁)^(Ｘ₁)→(Ｙ₂)^(Ｘ₂) と置き、全単射であればいい。 そこで、(Ｙ₁)^(Ｘ₁)∍h、(Ｙ₂)^(Ｘ₂)∍iとして、ｈとiを用いて、どのようにして全単射を示せばよいか教えてください。お願いします。 ※ｈ＝ｇ⁻¹◦i◦ｆ、ｉ=(g)◦ｈ◦ｆ⁻¹ (2)、(3)についての解き方も併せてお願いいたします。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 集合、濃度の問題について教えてください。
(１)は解決できました。(２)、(３)の考え方と解法がつかめません。よろしくお願いします。 問題 集合Ｘの濃度を♯Ｘであらわす。特に、空集合φに対しては、♯φ＝0であり、一元集合{φ}に対しては、♯{φ}＝１である。集合Ｘから集合Ｙへの写像全体の集合をＹ^Ｘと表す。 更に、濃度のべき乗〖(♯Ｙ)〗^(♯Ｘ)を♯(Ｙ^Ｘ)と定義する。以下の問いに答えよ。 (1)♯Ｘ_１＝♯Ｘ_２かつ♯Ｙ_１＝♯Ｙ_２ならば、〖(♯Ｙ₁)〗^(♯Ｘ₁)＝〖(♯Ｙ₂)〗^(♯Ｘ₂)を証明せよ。 (2)０^(♯Ｘ)を求めよ。 (3)特に、０⁰を求めよ。 (２)について、０^(♯Ｘ)は、問題文の定義より、♯(Φ^Ｘ)と書き表せます。 ただ、∮；Ｘ→Φという写像の全射かつ単射を示すにはどうすればよいでしょうか？ また、どのような答えにいきつくのでしょうか？ (３)については、０しか含まない集合Ｚから０しか含まない集合Ｗという写像kを考えて、全単射がわかるという形で大丈夫でしょうか？ ※(1)は以下のようになりました。 ♯Ｘ_１＝♯Ｘ_２より、ｆという全単射(ｆ；X₁→X₂)が存在。 ♯Ｙ_１＝♯Ｙ_２より、ｇという全単射(ｇ；Y₁→Y₂)が存在。(仮定より) ゆえに Φ：(Ｙ₁)^(Ｘ₁)→(Ｙ₂)^(Ｘ₂) と置き、全単射が存在すればいい。 Φが全単射で示された。
- ベストアンサー
- 数学・算数
- 対角化の問題で（固有値、固有ベクトル）
固有空間がこんな感じになった場合、固有ベクトルはどうなるんでしょうか？ ┌1 0 -1┐┌x1┐ ┌0┐ │-1 0 1││x2│＝│0│・・・☆ └0 0 0┘└x3┘ └0┘ この固有空間の次元2と固有値の重複度2は一致しているんで対角化は可能なんですが、 ☆から固有ベクトルって2つ求まるんですか？ ☆からわかるのってx1=x3だけで、x2に関する関係が何も出てこないんで困ってます・・・ どなたかご教授お願いします。
- 締切済み
- 数学・算数
- 近似固有値と固有値の違い
ヒルベルト空間Ｈがあるとします。Ｈの元xのノルムを||x||と書く事にします。 有界線形作用素Ｔ(:＝Ｈ→Ｈの有界線形写像)があって、 ある複素数λと、Ｈの元の列x_1,x_2,・・・ (∀n ||x_n||=1)に対して、 lim[n→∞]||(T-λI)x_n||=0 (Iは恒等作用素) を満たす時、λをＴの近似固有値と呼ぶそうです。 この「近似固有値」は、「固有値」とどのように違うのでしょうか？ あるいは、ヒルベルト空間Ｈが、C^nである場合,L^2(二乗可積分な関数)である場合等、どのような場合であっても構わない(内積も適当に)のですが、 近似固有値ではあるが、固有値ではない例を教えて頂けると嬉しいです。
- ベストアンサー
- 数学・算数
- 無限集合の連続体濃度のよりも大きな濃度？
http://ufcpp.net/study/set/cardinality.html#carginality 上記のサイトを眺めておりましたところ、下記の記述に出会いました。 ＝＝＝引用＝＝＝ 余談になりますが、 この記号 א は、 ヘブライ文字の1文字目で、ギリシャ文字のα、ローマンアルファベットの a の元になった文字です。 無限基数の中で小さいものから順に、 א0 , א1 , א2 , ・・・ と表します。 昔は、 無限基数を小さいものから順に、 ヘブライ文字の第 n 文字目で表していました （aleph, beth, gimel, daleth, ・・・）が、 読めないし、写植の上でもなかなか表示できないので、 アレフの右下に添字を付ける今の表記法になりました。 ＝＝＝引用終わり＝＝＝ 恥ずかしながら、無限集合の濃度の事を聞いて以来、無限集合の濃度は下限が א0で上限がא1なのかと勝手に思っておりました。 ところが、上述のように、 א0 , א1 , א2 , ・・・ ということでありますと、俄然 א2の濃度を持つ無限集合に興味が湧いてまいりました。 連続体濃度よりも濃度が大きい無限集合とはどのような集合でしょうか？ 数学の素人なものですから、直観的に理解できそうな実例を一個・二個、お示し頂けるとありがたいです。
- ベストアンサー
- 数学・算数
- 行列（固有値と固有ベクトル） (1)固有値が√の固有ベクトル
数学の行列の固有値と固有ベクトルの問題ですが、 （１ ３） （２ －１） の固有値と固有ベクトルを求めたいのですが d（λ－１ －３） e（－２ λ＋１） t (λ-1)(λ+1)-(-3)(-2)=0 λ^2 -1-6=0 λ^2 -7=0 λ=±√7 と固有値が出ると思うのですが、固有ベクトルを求める時、λ=√7の時、 （λ－１ －３）（ｘ１） （０） （－２ λ＋１）（ｘ２）＝（０）のλに√7を代入すると、 （√７ －１ －３）（ｘ１） （０） （－２ √７ ＋１）（ｘ２）＝（０） になって、 固有ベクトルをどう求めるのかがわかりません。 √以外だと、左上を１にして求めていけばいいと思うのですが・・・
- ベストアンサー
- 数学・算数
お礼
可分と可算無限をゴッチャにしていました。 よくわかりました。 ありがとうございました。