ブラウザよりも高速アクセス！
22 関係: 古典論理、完備性、射影、不確定性原理、位置、形式論理学、ブール代数、ヒルベルト空間、分配法則、命題論理、オブザーバブル、ジョン・フォン・ノイマン、共通部分 (数学)、線型部分空間、生成 (数学)、直交補空間、運動量、部分空間、関数 (数学)、閉包 (位相空間論)、量子力学、量子力学の数学的基礎。
古典論理
古典論理（こてんろんり, classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（standard logic）とも呼ばれる。.
完備性
数学における完備性（かんびせい、completeness）は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備（かんび、complete）でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。.
射影
射影（しゃえい、projection）とは、物体に光を当ててその影を映すこと、またその影のことである。; 集合論; 圏論; 線型代数学: 内積空間における（正）射影→射影作用素; 位相幾何学: 束の射影→ファイバー束、ベクトル束等を参照; 関係代数の射影演算: 関係代数 (関係モデル)#射影.
不確定性原理
不確定性原理（ふかくていせいげんり、Unschärferelation Uncertainty principle）は、量子力学に従う系の物理量\hatを観測したときの不確定性と、同じ系で別の物理量\hatを観測したときの不確定性が適切な条件下では同時に0になる事はないとする一連の定理の総称である。特に重要なのは\hat、\hatがそれぞれ位置と運動量のときであり、狭義にはこの場合のものを不確定性原理という。 このような限界が存在するはずだという元々の発見的議論がハイゼンベルクによって与えられたため、これはハイゼンベルクの原理という名前が付けられることもある。しかし後述するようにハイゼンベルグ自身による不確定性原理の物理的説明は、今日の量子力学の知識からは正しいものではない。 今日の量子力学において、不確定性原理でいう観測は日常語のそれとは意味が異なるテクニカル・タームであり、観測機のようなマクロな古典的物体とミクロな量子物体との間の任意の相互作用を意味する。したがって例えば、実験者が観測機に表示された観測値を実際に見たかどうかといった事とは無関係に定義される。また不確定性とは、物理量を観測した時に得られる観測値の標準偏差を表す。 不確定性原理が顕在化する現象の例としては、原子（格子）の零点振動（このためヘリウムは、常圧下では絶対零度まで冷却しても固化しない）、その他量子的なゆらぎ（例：遍歴電子系におけるスピン揺らぎ）などが挙げられる。.
新しい！!: 量子論理と不確定性原理 · 続きを見る »
位置
位置（いち、position）とは、物体が空間の中のどこにあるかを表す量である。 原点 O から物体の位置 P へのベクトル（位置ベクトル (position vector)）で表される。通常は x, r, s で表され、O から P までの各軸に沿った直線距離に対応する。 「位置ベクトル」という用語は、主に微分幾何学、力学、時にはベクトル解析の分野で使用される。 2次元または3次元空間で使用されることが多いが、任意の次元数のユークリッド空間に容易に一般化することができるKeller, F. J, Gettys, W. E. et al.
形式論理学
形式論理（けいしきろんり）とは、.
新しい！!: 量子論理と形式論理学 · 続きを見る »
ブール代数
ブール代数（ブールだいすう、boolean algebra）またはブール束（ブールそく、boolean lattice）とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール代数の一例であり、現実の応用例としては、組み合わせ回路（論理回路#組み合わせ回路）はブール代数の式で表現できる。.
新しい！!: 量子論理とブール代数 · 続きを見る »
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析（信号処理や熱伝導などへの応用も含む）、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理（の厳密な類似対応物）は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影（例えば、三角形に対してその「高さを潰す」操作の類似対応物）は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標（直交座標）によって特定できるのと同様に、座標軸の集合（正規直交基底）に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる（これはまさに線型作用素のスペクトルを調べるということである）。.
新しい！!: 量子論理とヒルベルト空間 · 続きを見る »
分配法則
集合 S に対して、積 × と和 + が定義されている時に、.
命題論理
命題論理（propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。.
オブザーバブル
ブザーバブル（英語：Observable）とは量子力学で、観測と呼ばれる物理的操作により決定できるような系の状態の性質をいう。可観測量、観測可能量と訳すこともある。具体的には、位置、運動量、角運動量、エネルギーなどといった物理量に相当するものである。 古典力学では実験的に観測可能な量はすべて、系のとる状態により一義的に決まる関数とみることができる。しかし量子力学では、状態と量との関係は一義的ではなく、状態からオブザーバブルを用いて確率的に求められるのみである。現実の測定値はこの確率に従って出現する。.
新しい！!: 量子論理とオブザーバブル · 続きを見る »
ジョン・フォン・ノイマン
ョン・フォン・ノイマン（ハンガリー名：Neumann János（ナイマン・ヤーノシュ、）、ドイツ名：ヨハネス・ルートヴィヒ・フォン・ノイマン、John von Neumann, Margittai Neumann János Lajos, Johannes Ludwig von Neumann, 1903年12月28日 - 1957年2月8日）はハンガリー出身のアメリカ合衆国の数学者。20世紀科学史における最重要人物の一人。数学・物理学・工学・計算機科学・経済学・気象学・心理学・政治学に影響を与えた。第二次世界大戦中の原子爆弾開発や、その後の核政策への関与でも知られる。.
新しい！!: 量子論理とジョン・フォン・ノイマン · 続きを見る »
共通部分 (数学)
数学において、集合族の共通部分（きょうつうぶぶん、intersection）とは、与えられた集合の集まり（族）全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合（きょうつうしゅうごう）、交叉（こうさ、交差）、交わり（まじわり、）、積集合（せきしゅうごう）、積（せき）、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.
新しい！!: 量子論理と共通部分 (数学) · 続きを見る »
線型部分空間
数学、とくに線型代数学において、線型部分空間（せんけいぶぶんくうかん、linear subspace）または部分ベクトル空間（ぶぶんベクトルくうかん、vector subspace）とは、ベクトル空間の部分集合で、それ自身が元の空間の演算により線型空間になっているもののことである。 ベクトル空間のある部分集合が、それ自身ある演算に関してベクトル空間の構造を持っていたとしても、その演算がもとの空間の演算でないならば部分線型空間とは呼ばない、ということに注意されたい。また、文脈により紛れの恐れのない場合には、線型部分空間のことを単に部分空間と呼ぶことがある。.
新しい！!: 量子論理と線型部分空間 · 続きを見る »
生成 (数学)
数学における生成（せいせい、generate）とは、与えられた対象と条件に対して、その条件を満たしかつ与えられた対象を全て含むような最小の構成物を求めることである。このとき与えられた対象の集まりを生成系（生成集合）(generating set) といい、生成集合の各元を生成元 (generator) という。また、「最小の構成物」は生成系から生成されるという。生成系が1つの対象からなるような場合には、生成系と生成元は同一視できる。.
新しい！!: 量子論理と生成 (数学) · 続きを見る »
直交補空間
数学の線型代数学および関数解析学の分野において、部分線型空間の直交補空間（ちょっこうほくうかん、; perp）とは、その部分空間内のすべてのベクトルと直交するようなベクトル全体の成す集合を言い、直交補空間はそれ自身部分線型空間を成す。.
新しい！!: 量子論理と直交補空間 · 続きを見る »
運動量
運動量（うんどうりょう、）とは、初等的には物体の運動の状態を表す物理量で、質量と速度の積として定義される。この意味の運動量は後述する一般化された運動量と区別して、運動学的運動量（あるいは動的運動量、kinetic momentum, dynamical momentum）と呼ばれる。また、角運動量 という運動量とは異なる量と対比する上で、線型運動量 などと呼ばれることもある。 日常生活において、物体の持つ運動量は、動いている物体の止めにくさとして体感される。つまり、重くて速い物体ほど運動量が大きく、静止させるのに大きな力積が必要になる。 アイザック・ニュートンは運動量の時間的変化と力の関係を運動の第2法則として提示した。 解析力学では、上述の定義から離れ、運動量は一般化座標とオイラー＝ラグランジュ方程式を通じて与えられる。この運動量は一般化座標系における一般化速度の対応物として、一般化運動量 と呼ばれる。 特にハミルトン形式の解析力学においては、正準方程式を通じて与えられる正準変数の一方を座標と呼び他方を運動量と呼ぶ。この意味の運動量は、他と区別して、正準運動量 と呼ばれる。また、正準運動量は、正準方程式において座標の対となるという意味で、共役運動量 と呼ばれる。運動量は、ハミルトン形式の力学では、速度よりも基本的な量であり、ハミルトン形式で記述される通常の量子力学においても重要な役割を果たす。 共役運動量と通常の運動学的運動量の違いが際立つ例として、磁場中を運動する電子の運動の例が挙げられる（#解析力学における運動量も参照）。電磁場中を運動する電子に対してはローレンツ力が働くが、このローレンツ力に対応する一般化されたポテンシャルエネルギーには電子の速度の項があるために、共役運動量はラグランジアンのポテンシャル項に依存した形になる。このとき共役運動量と運動学的運動量は一致しない。また、電磁場中の電子の運動を記述する古典的ハミルトニアンでは、共役運動量の部分がすべて共役運動量からベクトルポテンシャルの寄与を引いたものに置き換わる。.
部分空間
数学における部分空間（ぶぶんくうかん、subspace）は、ある構造を持った集合 X について、それを空間と呼ぶとき、その構造を保つような X の部分集合あるいは、構造を保つように X に埋め込まれた別の集合 A のことをいう。.
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 量子論理と関数 (数学) · 続きを見る »
閉包 (位相空間論)
数学において、位相空間の部分集合の閉包（へいほう、closure）は、その部分集合の触点（部分集合の点とそれらの集積点）を全て集めて得られる集合である。直観的には、部分集合の触点とはその部分集合の「いくらでも近く」にある点と考えられる。閉包の概念は様々な意味で開核の概念の双対になっている。.
新しい！!: 量子論理と閉包 (位相空間論) · 続きを見る »
量子力学
量子力学（りょうしりきがく、quantum mechanics）は、一般相対性理論と同じく現代物理学の根幹を成す理論として知られ、主として分子や原子、あるいはそれを構成する電子など、微視的な物理現象を記述する力学である。 量子力学自身は前述のミクロな系における力学を記述する理論だが、取り扱う系をそうしたミクロな系の集まりとして解析することによって、ニュートン力学に代表される古典論では説明が困難であった巨視的な現象についても記述することができる。たとえば量子統計力学はそのような応用例の一つである。従って、生物や宇宙のようなあらゆる自然現象もその記述の対象となり得る。 代表的な量子力学の理論として、エルヴィン・シュレーディンガーによって創始された、シュレーディンガー方程式を基礎に置く波動力学と、ヴェルナー・ハイゼンベルク、マックス・ボルン、パスクアル・ヨルダンらによって構成された、ハイゼンベルクの運動方程式を基礎に置く行列力学がある。ただしこの二つは数学的に等価である。 基礎科学として重要で、現代の様々な科学や技術に必須な分野である。 たとえば科学分野について、太陽表面の黒点が磁石になっている現象は、量子力学によって初めて解明された。 技術分野について、半導体を利用する電子機器の設計など、微細な領域に関するテクノロジーのほとんどは量子力学を基礎として成り立っている。そのため量子力学の適用範囲の広さと現代生活への影響の大きさは非常に大きなものとなっている。一例として、パソコンや携帯電話、レーザーの発振器などは量子力学の応用で開発されている。工学において、電子工学や超伝導は量子力学を基礎として展開している。.
量子力学の数学的基礎
量子力学の数学的基礎（りょうしりきがくのすうがくてききそ、die Mathematische Grundlagen der Quantenmechanik）は、ジョン・フォン・ノイマン(ら)によってなされた、量子力学で扱う物理量や状態といった概念の基礎付け（形式化）の仕事、およびそれについて1932年に刊行した論文および書籍のタイトルである。 これにより、ハイゼンベルク-ボルン-ジョルダンによる行列力学とシュレディンガーによる波動力学を抽象ヒルベルト空間のクラスに帰属する理論として統一が行なわれたただし、その統一にあたってはディラックによる擬関数（現：超関数）であるδ関数を数学的フィクションとして認容した上で行なわれた。。.
新しい！!: 量子論理と量子力学の数学的基礎 · 続きを見る »
