ブラウザよりも高速アクセス！
190 関係: 力 (物理学)、力学、基本粒子、基本相互作用、原子核物理学、偏微分、古典電磁気学、可微分多様体、場、場の古典論、場の量子論、多様体、外微分、外積代数、対称群、対称性 (物理学)、対称性の破れ、尺度水準、岩波書店、不変量 (物理学)、中性子、主束、一般相対性理論、乱流、交換関係 (量子力学)、座標、仮設 (数学)、弱い相互作用、強い相互作用、低次元トポロジー、位相、位相同型、位相幾何学、位相群、作用 (物理学)、微分同相写像、微分幾何学、微分形式、微分法、保存則、マイケル・フリードマン、マイケル・アティヤ、マクスウェルの方程式、チャーン・サイモンズ理論、ネーターの定理、ネーサン・サイバーグ、ポアンカレ群、ヤン–ミルズ方程式と質量ギャップ問題、ヤン＝ミルズ理論、ユークリッド空間、...、ユニタリ群、ラグランジアン (場の理論)、リー代数、リー群、レプトン (素粒子)、ロバート・ミルズ、ローレンツ変換、ワインバーグ＝サラム理論、ヴォルフガング・パウリ、ボース粒子、ヘルマン・ワイル、パイ中間子、テンソル、ディラック方程式、フリッツ・ロンドン、ファデエフ＝ポポフゴースト、ファイバー束、フォース、ニュートン力学、ホモトピー、ホッジ双対、ダフィット・ヒルベルト、ベクトル場、ベクトルポテンシャル、ベクトル空間、ベクトル解析、アハラノフ＝ボーム効果、アーベル群、アティヤ＝シンガーの指数定理、アインシュタインの縮約記法、アインシュタイン方程式、アイソスピン、ウラジミール・フォック、ウィルソンループ、ウィークボソン、ウォード＝高橋恒等式、エレクトロン、エドワード・ウィッテン、オックスフォード大学出版局、オブザーバブル、カルツァ＝クライン理論、カオス理論、ガリレイ変換、クォンタム、クォーク、グラビテーション、グルーオン、ゲージ粒子、ゲージ群、コリオリの力、コンパクト空間、シュプリンガー・サイエンス・アンド・ビジネス・メディア、シカゴ大学出版局、ジョン・ワイリー・アンド・サンズ、ジェームズ・クラーク・マクスウェル、スーパーコンピュータ、スカラー (物理学)、スカラー場、サイモン・ドナルドソン、円周群、内山龍雄、共変微分、光子、勾配 (ベクトル解析)、固体物理学、BFモデル、Coordinate、空間ベクトル、素粒子、素粒子物理学、繰り込み、群 (数学)、群の生成系、群の表現、真空期待値、結合定数 (物理学)、結晶学、環上の加群、無限小、物理学、物性物理学、特殊ユニタリ群、特殊相対性理論、直交群、相対論的量子力学、相互作用、相関関数、違いを除いて、非線型シグマモデル、非線形光学、静電気学、表現論、行列、複素数、高エネルギー物理学、超対称性、超重力理論、跡 (線型代数学)、重力、重力子、量子、量子力学、量子化、量子化 (物理学)、量子異常、量子重力理論、量子色力学、量子電磁力学、自由度、自発的対称性の破れ、色荷、電子、電弱相互作用、電位、電磁場、電磁ポテンシャル、電磁テンソル、電磁相互作用、電磁気学、電荷、連続体力学、陽子、Symmetry、接続形式、核子、格子ゲージ理論、楊振寧、標準模型、正準量子化、波動関数、滑らかな関数、漸近的自由性、最小作用の原理、断面 (位相幾何学)、摂動、慣性、曲率、曲率形式、時空、4元ベクトル。 インデックスを展開 (140 もっと) »
力 (物理学)
物理学における力（ちから、force）とは、物体の状態を変化させる原因となる作用であり、その作用の大きさを表す物理量である。特に質点の動力学においては、質点の運動状態を変化させる状態量のことをいう。広がりを持つ物体の場合は、運動状態とともにその形状を変化させる。 本項ではまず、古代の自然哲学における力の扱いから始め近世に確立された「ニュートン力学」や、古典物理学における力学、すなわち古典力学の発展といった歴史について述べる。 次に歴史から離れ、現在の一般的視点から古典力学における力について説明し、その後に古典力学と対置される量子力学について少し触れる。 最後に、力の概念について時折なされてきた、「形而上的である」といったような批判などについて、その重要さもあり、項を改めて扱う。.
新しい！!: ゲージ理論と力 (物理学) · 続きを見る »
力学
力学（りきがく、英語：mechanics）とは、物体や機械（machine）の運動、またそれらに働く力や相互作用を考察の対象とする学問分野の総称である。物理学で単に「力学」と言えば、古典力学またはニュートン力学のことを指すことがある。 自然科学・工学・技術の分野で用いられることがある言葉であるが、社会集団や個人の間の力関係のことを比喩的に「力学」と言う場合もある。.
基本粒子
基本粒子 (きほんりゅうし, fundamental particle) とは、自然界の他のすべての粒子を構成し、それ自身はそれ以上分割できない粒子である。素粒子 (elementary particle) とほぼ同義語である。.
新しい！!: ゲージ理論と基本粒子 · 続きを見る »
基本相互作用
基本相互作用（きほんそうごさよう、Fundamental interaction）は、物理学で素粒子の間に相互にはたらく基本的な相互作用。 素粒子の相互作用、自然界の四つの力、相互作用とも。.
新しい！!: ゲージ理論と基本相互作用 · 続きを見る »
原子核物理学
原子核物理学（げんしかくぶつりがく、英語：nuclear physics、単に核物理とも言う）：強い相互作用に従う粒子の多体問題を研究する学問領域。主に原子核の核構造、核反応（核分裂反応、核融合反応）などを扱う分野のこと。また、核物質・ハドロン物質の性質を調べるハドロン物理学も、この分野の一部である。 構成要素が2種類（注・ハイパー核はさらに数種類の構成要素が加わる）であるにもかかわらず、陽子・中性子それぞれの数や励起のさせ方により、様々な構造を取るのが特徴である。核子の主要な相互作用である「強い相互作用」が未だ完全に解明されていないこと、物性理論のように構成粒子が無限であるという近似が許されないこと、表面の効果が重要であること等により、発見から1世紀近く経つにもかかわらず、未知の部分が残されており、理論実験ともに盛んに研究が行われている。.
新しい！!: ゲージ理論と原子核物理学 · 続きを見る »
偏微分
数学の多変数微分積分学における偏微分（へんびぶん、partial derivative）は、多変数関数に対して一つの変数のみに関する（それ以外の変数は）微分である（全微分では全ての変数を動かしたままにするのと対照的である）。偏微分はベクトル解析や微分幾何学などで用いられる。 函数 の変数 に関する偏微分は など様々な表し方がある。一般に函数の偏微分はもとの函数と同じ引数を持つ函数であり、このことを のように記法に明示的に含めてしまうこともある。偏微分記号 ∂ が数学において用いられた最初の例の一つは、1770年以降マルキ・ド・コンドルセによるものだが、それは偏差分の意味で用いられたものである。現代的な偏微分記法はアドリアン＝マリ・ルジャンドル が導入しているが、後が続かなかった。これを1841年に再導入するのがカール・グスタフ・ヤコブ・ヤコビである。 偏微分は方向微分の特別の場合である。また無限次元の場合にこれらはガトー微分に一般化される。.
古典電磁気学
古典電磁気学または古典電気力学は、電荷と電流の間の電磁気力について研究する理論物理学の一分野である。対応する長さや電磁場の強さが量子力学的効果に影響されないほど十分大きければ、電磁現象をうまく説明できる（量子電磁力学参照）。古典電磁気学の基礎物理学的側面は、『ファインマン物理学』、パノフスキーらの『電磁気学』、『ジャクソン電磁気学』などで紹介されている。 電磁気学は19世紀に発展したが、その中でも特にジェームズ・クラーク・マクスウェルが重要な役割を果たした。電磁気学の歴史については、パウリの『相対性理論』、数学者E・T・ホイッタカーの著書、A・パイスのアインシュタインの伝記などに詳しい。 Ribarič and Šušteršič (1990)では、1903年から1989年までの約240の文献を参照・研究し、古典電気力学の分野で現代においても未解決の1ダースほどの問題を提示している。ジャクソンが古典電気力学最大の問題としたのは、基本方程式について2つの極端な場合においてしか解が得られていないという点である。すなわち、電荷または電流が与えられ、そこから電磁場を計算して求める場合と、外部の電磁場が与えられ、荷電粒子や電流の動きを計算して求める場合である。時折、この2つを組み合わせることもある。しかし、その場合の取り扱いは段階的に行われる。まず、外部電磁場内の荷電粒子の動きをそれ自身の電磁放射を無視して計算し、次いでその軌道に基づいてその電荷の電磁放射を計算する。このような電気力学における問題の扱い方は近似的な妥当性しか持ち得ないことは明らかである。電荷と電流の相互作用やそれらが放射する電磁場は無視することができず、結果としてそうした電気力学系についての我々の理解は限定的なものとなっている。1世紀に渡る努力にもかかわらず、広く受け入れられた荷電粒子の古典的運動方程式は未だに存在しないし、関連する実験データも存在しない。.
新しい！!: ゲージ理論と古典電磁気学 · 続きを見る »
可微分多様体
数学において、可微分多様体（かびぶんたようたい、differentiable manifold）、あるいは微分可能多様体（びぶんかのうたようたい）は、局所的に十分線型空間に似ており微積分ができるような多様体である。任意の多様体は、チャート（座標近傍、局所座標）の集まり、アトラス（座標近傍系、局所座標系）、によって記述することができる。各座標近傍は微積分の通常のルールが適用する線型空間の中にあるから、各々のチャートの中で考えるときには微積分学のアイデアを適用できる。チャートが適切に両立可能であれば（すなわち1つのチャートから別のチャートへの変換が微分可能であれば）、1つのチャートでなされた計算は任意の他の微分可能なチャートにおいても有効である。 フォーマルに言えば、可微分多様体は大域的に定義されたを持つ位相多様体である。任意の位相多様体にはアトラスの同相写像と線型空間上の標準的な微分構造を用いて局所的に微分構造を与えることができる。同相写像によって誘導された局所座標系上の大域的な微分構造を誘導するためには、アトラスのチャートの共通部分上での合成が対応する線型空間上の微分可能な関数でなければならない。言い換えると、チャートの定義域が重なっているところでは、各チャートによって定義された座標はアトラスのすべてのチャートによって定義された座標に関して微分可能であることが要求される。様々なチャートによって定義された座標を互いに結びつける写像を変換関数 (transition map/遷移写像/座標変換) と呼ぶ。 微分可能性は文脈によって連続微分可能、k 回微分可能、滑らか、正則といった異なる意味を持つ。さらに、抽象的な空間にそのような可微分構造を誘導できることによって微分可能性の定義を大域的な座標系なしの空間に拡張することができる。微分構造によって大域的に微分可能な接空間、微分可能な関数、微分可能なテンソル場やベクトル場を定義することができる。可微分多様体は物理においても非常に重要である。特別な種類の可微分多様体は古典力学、一般相対論、ヤン・ミルズ理論といった物理理論の基礎をなす。可微分多様体に対して微積分を展開することが可能である。これによって exterior calculus （外微分法/外微分学）のような数学的機構が導かれる。可微分多様体上の微積分の研究は微分幾何学と呼ばれる。.
新しい！!: ゲージ理論と可微分多様体 · 続きを見る »
場
場（ば、field、工学分野では電界・磁界など界とも）とは、物理量を持つものの存在が、その近傍・周囲に連続的に影響を与えること、あるいはその影響を受けている状態にある空間のこと。.
場の古典論
場の古典論、もしくは古典場の理論(classical field theory)は、（物理的な）場がどのように物質と相互作用するかについて研究する理論物理学の領域である。古典的という単語は、量子力学と協調する場の量子論（単に、場の理論とも言われる）と対比して使われる。 物理的な場は各々の空間と時間の点に物理量を対応させたとして考えることができる。例えば、天気図を考えると、ある国の一日を通じての風速は、空間の各々の点にベクトルを対応させることにより記述できる。各々のベクトルは、その点での大気の運動の方向を表現する。日が進むにつれて、ベクトルの指す方向はこの方向に応じて変化する。数学的な観点からは、古典場はファイバーバンドル（(covariant classical field theory)）の切断として記述される。古典場理論という用語は、電磁気と重力という自然界の基本的力のうちの 2つを記述する物理理論に共通に使われる。 物理的な場の記述は、相対論の発見の前に行われており、相対論に照らして修正された。従って、古典場の理論は通常、非相対論的と相対論的なカテゴリ分けがなされる。.
新しい！!: ゲージ理論と場の古典論 · 続きを見る »
場の量子論
場の量子論（ばのりょうしろん、英：Quantum Field Theory）は、量子化された場（素粒子物理ではこれが素粒子そのものに対応する）の性質を扱う理論である。.
新しい！!: ゲージ理論と場の量子論 · 続きを見る »
多様体
多様体（たようたい、manifold, Mannigfaltigkeit）とは、局所的にはユークリッド空間と見なせるような図形や空間（位相空間）のことである。多様体上には好きなところに局所的に座標を描き込むことができる。.
外微分
可微分多様体上、外微分（がいびぶん、exterior derivative）は関数の微分の概念を高次の微分形式に拡張する。外微分はエリ・カルタンによって最初に現在の形式で記述された。それによってベクトル解析のストークスの定理、ガウスの定理、グリーンの定理の自然な、距離に依存しない一般化ができる。 形式を無限小 次元平行面体を通る流量を測るものと考えれば、その外微分を -平行面体の境界を通る正味の流れを測るものと考えることができる。.
外積代数
数学におけるベクトルの外積（がいせき、exterior product）あるいは楔積（くさびせき、ウェッジ積、wedge product）はクロス積をある特定の性質に着目して、より高次元の場合へ一般化する代数的な構成である。クロス積やスカラー三重積のようにベクトル同士の外積はユークリッド幾何学において面積や体積およびそれらの高次元における類似物の研究に用いられる。線型代数学において外積は、線型変換の行列式や小行列式を記述する基底の取り方に依存しない抽象代数的な仕方を提供し、階数や線型独立性といった概念に根本的に関係してくる。 外積代数（がいせきだいすう、exterior algebra）は、ヘルマン・グラスマンに因んでグラスマン代数（グラスマンだいすう、Grassmann algebra）としても知られ、与えられた体 上のベクトル空間 上の外積によって生成される多元環である。多重線型代数やその関連分野と同様に、微分形式の成す多元環を通じて現代幾何学、特に微分幾何学と代数幾何学において広く用いられる。 形式的には、外積代数は あるいは で表され、 を線型部分空間として含む、楔積あるいは外積と呼ばれる で表される乗法を持つ、体 上の単位的結合代数である。楔積は結合的で双線型な乗法 であり、本質的な性質として 上の交代性 を持つものである。これは以下の性質 をも特別の場合として含む。 圏論の言葉で言えば、外積代数は普遍構成によって与えられる、ベクトル空間の圏上の函手の典型である。この普遍構成によって、体上のベクトル空間だけに限らず、可換環上の加群やもっとほかの興味ある構造にたいしても外積代数を定義することができる。外積代数は双代数のひとつの例である。つまり、外積代数の（ベクトル空間としての）双対空間にも乗法が定義され、その双対的な乗法が楔積と両立する。この双対代数は特に 上の重線型形式全体の成す多元環で、外積代数とその双対代数との双対性は内積によって与えられる。.
新しい！!: ゲージ理論と外積代数 · 続きを見る »
対称群
対称群（たいしょうぐん、）とは、「ものを並べ替える」という操作を元とする群である。この場合の「ものを並べ替える」操作のことを置換（ちかん、）という。数学の議論の様々な場面で「番号づけられて並んでいるものを入れ替える」「入れ替えの可能性すべてを調べる」ことが問題となり、対称群はそのような議論を定式化するために用いられる。置換のうちで特別なものだけを集めて得られる群は置換群（ちかんぐん、）と呼ばれる。置換群が空間 の変換群として与えられているとき、 の元 の置換は で与えられる の部分群の分だけ潰れているが、これは のなかに と「同じ」元が複数含まれている場合に対応しており、 の中でこれらを区別することができれば の元の置換から対称群 が回復される。.
対称性 (物理学)
対称性ラベルを示す面心立方格子構造の第一ブリュアンゾーン 物理学における対称性（たいしょうせい、symmetry）とは、物理系の持つ対称性 — すなわち、ある特定の変換の下での、系の様相の「不変性」である。.
新しい！!: ゲージ理論と対称性 (物理学) · 続きを見る »
対称性の破れ
対称性の破れ（たいしょうせいのやぶれ, Symmetry breaking, Symmetry violation）とは、場の量子論において、ある高い対称性を持ちうる理論が、より低い対称性を持つ状態になっていることを意味する。.
新しい！!: ゲージ理論と対称性の破れ · 続きを見る »
尺度水準
尺度水準（しゃくどすいじゅん）とは、調査対象に割り振った変数、その測定、あるいはそれにより得られたデータを、それらが表現する情報の性質に基づき数学・統計学的に分類する基準である。スタンレー・スティーヴンズ（Stanley Smith Stevens）が1946年に論文「測定尺度の理論について」"On the Theory of Scales of Measurement" で提案した分類がよく用いられる。 変数に対して可能な数学的操作は、変数を測定する尺度水準に依存し、その結果特に統計学で用いるべき要約統計量および検定法も変数の尺度水準に依存する。 スティーヴンズは低い方から順に以下の4つの尺度水準を提案しており、高い水準はより低い水準の性質を含む形になっている。また高い水準でのデータを低い水準に変換して扱うことができる。.
新しい！!: ゲージ理論と尺度水準 · 続きを見る »
岩波書店
株式会社岩波書店（いわなみしょてん、Iwanami Shoten, Publishers. ）は、日本の出版社。.
新しい！!: ゲージ理論と岩波書店 · 続きを見る »
不変量 (物理学)
論物理学において、不変量 (invariant) はある変換の下で変化しない系の性質である。.
新しい！!: ゲージ理論と不変量 (物理学) · 続きを見る »
中性子
中性子（ちゅうせいし、neutron）とは、原子核を構成する粒子のうち、無電荷の粒子の事で、バリオンの1種である。原子核反応式などにおいては記号 n で表される。質量数は原子質量単位で約 、平均寿命は約15分でβ崩壊を起こし陽子となる。原子核は、陽子と中性子と言う2種類の粒子によって構成されている為、この2つを総称して核子と呼ぶ陽子1個で出来ている 1H と陽子3個で出来ている 3Li の2つを例外として、2015年現在の時点で発見報告のある原子の内、最も重い 294Og までの全ての"既知の"原子核は陽子と中性子の2種類の核子から構成されている。。.
主束
数学において、主束（しゅそく、principal bundle）は、枠束を抽象化した概念である。 ここで枠束（frame bundle）とは、ファイバー束であって、任意の一点上のファイバー（繊維）が、あるベクトル空間における並び順の付いた基底全体の集合からなるものである。 主束は、構造群と呼ばれるある与えられた群 G により、ファイバーが G の主等質空間（英：principal homogeneous space）（G が自由かつ推移的に作用する集合のこと。G-トルソ（英：G-torsor）ともいう）になるものとして特徴付けられる。 これは、一般枠束におけるベクトル空間の全基底に対する一般線型群の作用を一般化したものである。 さらに、主 G 束（しゅ G そく、principal G-bundle）とは、ファイバー束であって、全てのファイバーが位相群 G の群の作用により主等質空間になるものをいう。 主 G 束は、群 G が束の構造群にもなるという意味で、G 束である。 主束は、位相幾何学および微分幾何学で重要な応用を有する。 主束は物理においても、ゲージ理論の根本的枠組みの一部を構成するという応用を見出した。 構造群 G を有するすべてのファイバー束は、一意に主 G 束を決定し、この主束により元の束が再構成できるという意味で、主束は、ファイバー束の理論に統一的枠組みを与える。.
一般相対性理論
一般相対性理論（いっぱんそうたいせいりろん、allgemeine Relativitätstheorie, general theory of relativity）は、アルベルト・アインシュタインが1905年の特殊相対性理論に続いて1915年から1916年にかけて発表した物理学の理論である。一般相対論（いっぱんそうたいろん、general relativity）とも。.
新しい！!: ゲージ理論と一般相対性理論 · 続きを見る »
乱流
乱流（らんりゅう、turbulence）は、流体の流れ場の状態の一種。乱流でない流れ場は層流と呼ばれる。 乱流の確立した定義は現時点においても存在しないが、数学的にはナヴィエ・ストークス方程式の非定常解の集合であるということができる。層流と乱流のおおよその区別はレイノルズ数によって判断され、レイノルズ数の値が大きいと乱流と判断される。また、層流が乱流に遷移するときのレイノルズ数を臨界レイノルズ数という。 生活の中でのわかりやすい例としては水道の蛇口から流れる水がある。水道の水は流れが少ないときはまっすぐに落ちるが、少し多くひねると急に乱れ出す。このとき前者が層流、後者が乱流である。生活の中で見られる空気や水の流れはほぼ全てが乱流であるだけでなく、熱や物質を輸送し拡散する効果が非常に強いので工学的にも非常に重要である。 乱流の数値シミュレーションは、気象予報や自動車等の空力設計からノートパソコンの冷却まで工学的には非常に幅広く利用されている。しかし高い計算機性能を要求するため、スーパーコンピュータなどHPC（高性能計算）の重要な用途の一つになっている。.
交換関係 (量子力学)
量子力学における交換関係（こうかんかんけい、commutation relation）とは、演算子としてあらわされた物理量が満たす量子力学特有の関係である。.
新しい！!: ゲージ理論と交換関係 (量子力学) · 続きを見る »
座標
幾何学において、座標（ざひょう）とは、点の位置を指定するために与えられる数の組 (coordinates)、あるいはその各数 (coordinate) のことであり、その組から点の位置を定める方法を与えるものが座標系（ざひょうけい、coordinate system）である。座標系と座標が与えられれば、点はただ一つに定まる。 座標は点により定まる関数の組であって、一つの空間に複数の座標系が重複して定義されていることがある。例えば、多様体は各点の近くでユークリッド空間と同様の座標系が貼り付けられているが、ほとんどの場合、一つの座標系の座標だけを考えていたのでは全ての点を特定することができない。このような場合は、たくさんの座標系を貼り付けて、重なる部分での読み替えの方法を記した地図帳（アトラス、atlas）を用意することもある。 地球上の位置を表す地理座標や、天体に対して天球上の位置を表す天球座標がある。.
仮設 (数学)
物理学および数学における仮設（かせつ、Ansatz, ）とは、ある命題を導き出す推論の出発点におかれる前提条件を指し、経験則に基づく推測で、のちに結果により裏付けされたものである。仮定と訳されることもあるが、日本語の文献を含め英語の文献でもドイツ語を借用し "" と書かれる場合が多い。.
新しい！!: ゲージ理論と仮設 (数学) · 続きを見る »
弱い相互作用
弱い相互作用（よわい そうごさよう、）とは、素粒子の間で作用する4つの基本相互作用の内の一つである。弱い核力、あるいは単に弱い力とも呼ばれる。この相互作用による効果として代表的なものにベータ崩壊がある。電磁相互作用と比較して、力が非常に弱いことからこの名がついた。.
新しい！!: ゲージ理論と弱い相互作用 · 続きを見る »
強い相互作用
強い相互作用（つよいそうごさよう、Strong interaction）は、基本相互作用の一つである。ハドロン間の相互作用や、原子核内の各核子同士を結合している力（核力）を指し、標準模型においては量子色力学によって記述される。強い力、強い核力とも。その名の通り電磁相互作用に比べて約137倍の強さがある。 強い相互作用の理解は、歴史的には湯川秀樹による、パイ中間子の交換によって核子に働く核力の説明に始まるが、1970年代前半の量子色力学の成立によって、ゲージ理論として完成した。.
新しい！!: ゲージ理論と強い相互作用 · 続きを見る »
低次元トポロジー
数学における低次元位相幾何学（ていじげんいそうきかがく、low-dimensional topologyは、4次元、あるいはそれ以下の次元の多様体の研究をする位相幾何学の一分野である。扱われる主題は、および4次元多様体の構造論、結び目理論および組み紐群などがある。低次元トポロジーは幾何学的位相幾何学の一部と見なすことができる。.
新しい！!: ゲージ理論と低次元トポロジー · 続きを見る »
位相
位相（いそう、）は、波動などの周期的な現象において、ひとつの周期中の位置を示す無次元量で、通常は角度（単位は「度」または「ラジアン」）で表される。 たとえば、時間領域における正弦波を とすると、(ωt + &alpha) のことを位相と言う。特に t.
位相同型
位相同型 （いそうどうけい、homeomorphic）、あるいは同相（どうそう）とは、2つの位相空間が位相空間として等しいことを表す概念である。 例えば、球の表面と湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。（直観的には、連続的な変形によって穴の個数が変化することはないということである。） ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。.
新しい！!: ゲージ理論と位相同型 · 続きを見る »
位相幾何学
一つの面と一つの辺を持つメビウスの帯は位相幾何学で研究される対象の一種である。 自明な結び目）を三次元で描いたもの 数学の一分野、位相幾何学（いそうきかがく、topology, トポロジー）は、その名称がτόπος（「位置」「場所」）と （「言葉」「学問」） に由来し、「位置の学問」を意味している。 トポロジーは、何らかの形（かたち。あるいは「空間」）を連続変形（伸ばしたり曲げたりすることはするが切ったり貼ったりはしないこと）しても保たれる性質（または位相不変量）に焦点を当てたものである。位相的性質において重要なものには、連結性およびコンパクト性などが挙げられる。 位相幾何学は、空間、次元、変換といった概念の研究を通じて、幾何学および集合論から生じた分野である。このような考え方は、17世紀に「位置の幾何」（geometria situs）および「位置の解析」（analysis situs）を見越したゴットフリート・ライプニッツにまで遡れる。レオンハルト・オイラーの「ケーニヒスベルクの七つの橋」の問題および多面体公式がこの分野における最初の定理であるというのが定説となっている。用語 topology は19世紀にによって導入されたが、位相空間の概念が起こるのは20世紀の最初の10年まで待たねばならない。20世紀中ごろには、位相幾何学は数学の著名な一分野となっていた。 位相幾何学には様々な分科が存在する。.
新しい！!: ゲージ理論と位相幾何学 · 続きを見る »
位相群
数学における位相群（いそうぐん、topological group）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。 文献によっては、本項に言うところの位相群を連続群と呼び、単に「位相群」と言えば位相空間として T2（ハウスドルフの分離公理）を満たす連続群すなわちハウスドルフ位相群を意味するものがある。.
作用 (物理学)
物理学における作用（さよう、action）は、の動力学的な性質を示すもので、数学的には経路トラジェクトリとか軌道とも呼ばれる。を引数にとる実数値の汎関数として表現される。一般には、異なる経路に対する作用は異なる値を持つ。古典力学においては、作用の停留点における経路が実現される。この法則を最小作用の原理と呼ぶ。 作用は、エネルギーと時間の積の次元を持つ。従って、国際単位系 (SI) では、作用の単位はジュール秒 (J⋅s) となる。作用の次元を持つ物理定数としてプランク定数がある。そのため、プランク定数は作用の物理的に普遍な単位としてしばしば用いられる。なお、作用と同じ次元の物理量として角運動量がある。 物理学において「作用」という言葉は様々な意味で用いられる。たとえば作用・反作用の法則や近接作用論・遠隔作用論の中で論じられる「作用」とは物体に及ぼされる力を指す。本項では力の意味での作用ではなく、解析力学におけるラグランジアンの積分としての作用についてを述べる。.
新しい！!: ゲージ理論と作用 (物理学) · 続きを見る »
微分同相写像
数学において、微分同相写像（びぶんどうそうしゃぞう、diffeomorphism）は滑らかな多様体の同型写像である。それは1つの可微分多様体を別の可微分多様体に写す可逆関数であって、関数と逆関数が両方滑らかであるようなものである。.
新しい！!: ゲージ理論と微分同相写像 · 続きを見る »
微分幾何学
数学における微分幾何学（びぶんきかがく、ドイツ語: Differentialgeometrie、英語：differential geometry）とは微分を用いた幾何学の研究である。また、可微分多様体上の微分可能な関数を取り扱う数学の分野は微分位相幾何学（びぶんいそうきかがく、ドイツ語: Differentialtopologie、英語: differential topology）とよばれることがある。微分方程式の研究から自然に発生したこれらの分野は互いに密接に関連しており、特に一般相対性理論をはじめとして物理学に多くの応用がある。これらは可微分多様体についての幾何学を構成しているが、力学系の視点からも直接に研究される。.
新しい！!: ゲージ理論と微分幾何学 · 続きを見る »
微分形式
数学における微分形式（びぶんけいしき、differential form）とは、微分可能多様体上に定義される共変テンソル場である。微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。.
新しい！!: ゲージ理論と微分形式 · 続きを見る »
微分法
数学における微分法（びぶんほう、differential calculus; 微分学）は微分積分学の分科で、量の変化に注目して研究を行う。微分法は積分法と並び、微分積分学を二分する歴史的な分野である。 微分法における第一の研究対象は函数の微分（微分商、微分係数）、および無限小などの関連概念やその応用である。函数の選択された入力における微分商は入力値の近傍での函数の変化率を記述するものである。微分商を求める過程もまた、微分 (differentiation) と呼ばれる。幾何学的にはグラフ上の一点における微分係数は、それが存在してその点において定義されるならば、その点における函数のグラフの接線の傾きである。一変数の実数値函数に対しては、一点における函数の微分は一般にその点における函数の最適線型近似を定める。 微分法と積分法を繋ぐのが微分積分学の基本定理であり、これは積分が微分の逆を行う過程であることを述べるものである。 微分は量を扱うほとんど全ての分野に応用を持つ。たとえば物理学において、動く物体の変位の時間に関する導函数はその物体の速度であり、速度の時間に関する導函数は加速度である。物体の運動量の導函数はその物体に及ぼされた力に等しい（この微分に関する言及を整理すればニュートンの第二法則に結び付けられる有名な方程式 が導かれる）。化学反応の反応速度も導函数である。オペレーションズ・リサーチにおいて導函数は物資転送や工場設計の最適な応報の決定に用いられる。 導函数は函数の最大値・最小値を求めるのに頻繁に用いられる。導函数を含む方程式は微分方程式と呼ばれ、自然現象の記述において基本的である。微分およびその一般化は数学の多くの分野に現れ、例えば複素解析、函数解析学、微分幾何学、測度論および抽象代数学などを挙げることができる。.
保存則
保存則（ほぞんそく、conservation law）とは、物理的変化あるいは化学的変化の前後で物理量（あるいは物理量の結合）の値が変わらない、という法則出典：『ブリタニカ国際大百科事典』「保存則」。言い方を変えると、。保存則が成り立つ系のことを保存系と呼ぶ。 最も基本的な保存則としては、運動量保存則、角運動量保存則、エネルギー保存則、質量保存則、電荷保存則などがある。 ネーターの定理により、系が持つある一つの保存則は系の持つ一つの対称性に対応することが示されている。 なお、保存則の破れ（例外）が発見されることで、新しい物理理論が構築されるきっかけとなることがある。.
マイケル・フリードマン
マイケル・ハートレー・フリードマン（Michael Hartley Freedman, 1951年4月21日 - ）はアメリカ合衆国の数学者。主に合衆国西部のカリフォルニア州と東部のニュージャージー州プリンストンにおいて活動。 トポロジー（位相幾何学）における難問とされるポアンカレ予想が四次元において成立することを証明したことで知られており、1986年にフィールズ賞を授与された。 現在はマイクロソフト社の研究機関マイクロソフトリサーチに所属し、量子コンピュータの開発に携わる。.
新しい！!: ゲージ理論とマイケル・フリードマン · 続きを見る »
マイケル・アティヤ
マイケル・アティヤ（Michael F. Atiyah、1929年4月22日 - ）は、アティヤ＝シンガーの指数定理、ゲージ理論の研究などで知られるイギリスの数学者。現代最高の数学者の一人とみなされている。父はアラブ研究で知られる歴史家の、弟は弁護士の。 その発想は素直で自然であり、数学の諸分野、また理論物理学までをも結びつけるスケールの大きさが印象的である。業績が多分野に関係するせいか、数学者には珍しく共著の論文が多い。 サイモン・ドナルドソン、ナイジェル・ヒッチン、ピーター・クロンハイマー、フランシス・カーワン、ルース・ローレンスなど優れた弟子を育て、また、エドワード・ウィッテンを見出したことでも知られる。 1983年に英国王室よりナイトの称号を得る。1990年から1995年まで王立協会会長を務めた。.
新しい！!: ゲージ理論とマイケル・アティヤ · 続きを見る »
マクスウェルの方程式
マクスウェルの方程式（マクスウェルのほうていしき、Maxwell's equations）は、電磁場のふるまいを記述する古典電磁気学の基礎方程式である。マイケル・ファラデーが幾何学的考察から見出した電磁力に関する法則が1864年にジェームズ・クラーク・マクスウェルによって数学的形式として整理された。マクスウェル-ヘルツの電磁方程式、電磁方程式などとも呼ばれ、マクスウェルはマックスウェルとも表記される。 真空中の電磁気学に限れば、マクスウェルの方程式の一般解は、ジェフィメンコ方程式として与えられる。 なお、電磁気学の単位系は、国際単位系に発展したMKSA単位系のほか、ガウス単位系などがあるが、以下では原則として、国際単位系を用いることとする。.
新しい！!: ゲージ理論とマクスウェルの方程式 · 続きを見る »
チャーン・サイモンズ理論
チャーン・サイモンズ理論（Chern–Simons theory）は3次元のシュワルツタイプの位相場理論であり、エドワード・ウィッテンによって発展した。この名前は作用がチャーン・サイモンズ 3-形式を積分した値に比例するからである。 凝縮系物性論では、チャーン・サイモンズ理論は状態のとして表される。数学では、ジョーンズ多項式のように結び目不変量や の不変量の計算に使われている。 特に、チャーン・サイモンズ理論は、理論のゲージ群と呼ばれる単純リー群 G と理論のレベルと呼ばれる作用にかける定数の数値により特徴付けられる。作用はゲージ変換に依存しているが、量子場理論の分配函数として、レベルが整数であり、ゲージが3-次元時空の全ての境界でゼロとなるときにうまく定義される。.
新しい！!: ゲージ理論とチャーン・サイモンズ理論 · 続きを見る »
ネーターの定理
物理学において、ネーターの定理（ネーターのていり、Noether's theorem）は、系に連続的な対称性がある場合はそれに対応する保存則が存在する、と述べる定理である。 ドイツの数学者エミー・ネーターによって1915年に証明され、1918年に公表された。.
新しい！!: ゲージ理論とネーターの定理 · 続きを見る »
ネーサン・サイバーグ
ネーサン・サイバーグ（Nathan Seiberg、1956年9月22日 - ）は、アメリカ合衆国の理論物理学者。 イスラエル出身。テルアビブ大学卒業後、ワイツマン研究所で博士号を取得。現在はプリンストン高等研究所教授。 エドワード・ウィッテンとの共同研究で知られ、特にN.
新しい！!: ゲージ理論とネーサン・サイバーグ · 続きを見る »
ポアンカレ群
ポアンカレ群（ポアンカレぐん、Poincaré group）とは、ポアンカレ変換の為す変換群。10次元のノンコンパクトリー群である。.
新しい！!: ゲージ理論とポアンカレ群 · 続きを見る »
ヤン–ミルズ方程式と質量ギャップ問題
ヤン–ミルズ方程式の存在と質量ギャップ問題（ヤン–ミルズほうていしきのそんざいとしつりょうぎゃっぷもんだい、Yang–Mills existence and mass gap）とは、量子色力学および数学上の未解決問題である。2000年、アメリカ合衆国のクレイ数学研究所はミレニアム懸賞問題の一つとしてこの問題に100万ドルの懸賞金をかけた。.
新しい！!: ゲージ理論とヤン–ミルズ方程式と質量ギャップ問題 · 続きを見る »
ヤン＝ミルズ理論
ヤン＝ミルズ理論（－りろん、Yang-Mills theory）は、1954年に楊振寧とロバート・ミルズによって提唱された非可換ゲージ場の理論のことであるYang and Mills (1954)。 なお、その少し前にヴォルフガング・パウリStraumann, N: "On Pauli's invention of non-abelian Kaluza-Klein Theory in 1953" eprint arXiv.gr.
新しい！!: ゲージ理論とヤン＝ミルズ理論 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: ゲージ理論とユークリッド空間 · 続きを見る »
ユニタリ群
n 次のユニタリ群(ユニタリぐん、unitary group) U(n) とは、n 次ユニタリ行列のなす群のことである。演算は行列の積で与えられる。 ユニタリ群は一般線型群の部分群である。.
新しい！!: ゲージ理論とユニタリ群 · 続きを見る »
ラグランジアン (場の理論)
ラグランジアン場の理論 は、古典場理論のひとつの定式化であり、ラグランジュ力学の場の理論における類似物である。ラグランジュ力学は、それぞれが有限の自由度を持つ離散的な粒子を扱う。ラグランジアン場の理論は、自由度が無限である連続体や場に適用される。 本記事は、ラグランジアン密度を \scriptstyle \mathcal と記し、ラグランジアンは L と記すこととする． ラグランジュ力学の定式化は、より拡張され場の理論を扱うようになった。場の理論において、独立変数は時空 (x, y, z, t) の中の事象、あるいはさらに一般的に、多様体上の点 s へと置き換わった。独立変数 (q) は時空での点での場の値 φ(x, y, z, t) へ置き換わるので、運動方程式は作用原理があるおかげで得ることができ、 と書くことができる。ここに「作用」 \scriptstyle\mathcal は微分可能な独立変数 φi(s) と s 自身の汎函数 であり、s.
新しい！!: ゲージ理論とラグランジアン (場の理論) · 続きを見る »
リー代数
数学において、リー代数、もしくはリー環日本語ではしばしば Lie algebra のことをリー環と呼ぶが、後述の Lie ring はより一般的な概念である。本項ではこの2つの用語を区別して用いる。は、「リー括弧積」（リーブラケット、Lie bracket）と呼ばれる非結合的な乗法 を備えたベクトル空間である。 の概念を研究するために導入された。"Lie algebra" という言葉は、ソフス・リーに因んで、1930年代にヘルマン・ワイルにより導入された。古い文献では、無限小群 (infinitesimal group) という言葉も使われている。 リー代数はリー群と密接な関係にある。リー群とは群でも滑らかな多様体でもあるようなもので、積と逆元を取る群演算がであるようなものである。任意のリー群からリー代数が生じる。逆に、実数あるいは複素数上の任意の有限次元リー代数に対し、対応する連結リー群がによる違いを除いて一意的に存在する（）。このによってリー群をリー代数によって研究することができる。.
新しい！!: ゲージ理論とリー代数 · 続きを見る »
リー群
リー群（リーぐん、Lie group）は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。.
レプトン (素粒子)
レプトン (lepton) は、素粒子のグループの一つであり、クォークとともに物質の基本的な構成要素である。軽粒子とも呼ばれるが、素粒子物理学者がこの名前で呼ぶことは殆どない。 レプトンという語は、「軽い」を意味する と粒子を意味する接尾語"-on"から、1948年にレオン・ローゼンフェルトによって作られた。.
新しい！!: ゲージ理論とレプトン (素粒子) · 続きを見る »
ロバート・ミルズ
バート・ミルズ（Robert L. Mills, 1927年4月15日 - 1999年10月27日）はアメリカの 物理学者、 場の量子論、 合金の理論、 多体問題に業績を上げた。1953年ブルックヘブン国立研究所で、楊振寧と出会い、翌年、ヤン-ミルズの式を発表した。 ニュージャージー州に生まれた。数学的な才能を発揮して1948年プットナム・コンペティションの優勝者となった。ケンブリッジ大学とコロンビア大学で物理を学んだ。プリンストン高等研究所で研究した後、1956年からオハイオ大学の物理学の教授になり1995年までその職にあった。 ヤン-ミルズの式は ここで F μνはヤン-ミルズの場の強さ、εは電荷に相当する。bμは場のポテンシャルである。Jμは関係する電流を示す。マクスウェルの方程式は場のポテンシャルに場の強さが影響を与えない場合になりたつ式である。 Category:アメリカ合衆国の物理学者 Category:オハイオ大学の教員 Category:ブルックヘブン国立研究所の人物 Category:プリンストン高等研究所の人物 Category:ニュージャージー州イングルウッド出身の人物 Category:1927年生 Category:1999年没.
新しい！!: ゲージ理論とロバート・ミルズ · 続きを見る »
ローレンツ変換
ーレンツ変換（ローレンツへんかん、Lorentz transformation）は、2 つの慣性系の間の座標（時間座標と空間座標）を結びつける線形変換で、電磁気学と古典力学間の矛盾を回避するために、アイルランドのジョセフ・ラーモア（1897年）とオランダのヘンドリック・ローレンツ（1899年、1904年）により提案された。 アルベルト・アインシュタインが特殊相対性理論（1905年）を構築したときには、慣性系間に許される変換公式として、理論の基礎を形成した。特殊相対性理論では全ての慣性系は同等なので、物理法則はローレンツ変換に対して不変な形、すなわち同じ変換性をもつ量の間のテンソル方程式として与えられなければならない。このことをローレンツ不変性(共変性)をもつという。 幾何学的には、ミンコフスキー空間における 2 点間の世界間隔を不変に保つような、原点を中心にした回転変換を表す（ミンコフスキー空間でみたローレンツ変換節参照）。.
新しい！!: ゲージ理論とローレンツ変換 · 続きを見る »
ワインバーグ＝サラム理論
ワインバー.
新しい！!: ゲージ理論とワインバーグ＝サラム理論 · 続きを見る »
ヴォルフガング・パウリ
ヴォルフガング・エルンスト・パウリ（Wolfgang Ernst Pauli, 1900年4月25日 - 1958年12月15日）はオーストリア生まれのスイスの物理学者。スピンの理論や、現代化学の基礎となっているパウリの排他律の発見などの業績で知られる。 アインシュタインの推薦により、1945年に「1925年に行われた排他律、またはパウリの原理と呼ばれる新たな自然法則の発見を通じた重要な貢献」に対してノーベル物理学賞を受賞した。.
新しい！!: ゲージ理論とヴォルフガング・パウリ · 続きを見る »
ボース粒子
ボース粒子 (ボースりゅうし) とは、スピン角運動量の大きさが\hbarの整数倍の量子力学的粒子である。ボソンまたはボゾン (Boson) とも呼ばれ、その名称はインドの物理学者、サティエンドラ・ボース (Satyendra Nath Bose) に由来する。.
新しい！!: ゲージ理論とボース粒子 · 続きを見る »
ヘルマン・ワイル
ヘルマン・クラウス・フーゴー・ワイル（, 1885年11月9日 - 1955年12月8日）は、ドイツの数学者。ドイツ語の発音に従ってヴァイルとも表記される。 数論を含む純粋数学と理論物理学の双方の分野で顕著な業績を残した。20世紀において最も影響力のある数学者であるとともに、初期のプリンストン高等研究所の重要なメンバーであった。研究の大半はプリンストンとスイス連邦工科大学で行われたものであったが、ダフィット・ヒルベルトとヘルマン・ミンコフスキーによって確立されたゲッティンゲン大学の数学の伝統の継承者でもあった。 ワイルは空間、時間、物質、哲学、論理、対称性、数学史など、多岐に渡る分野について多くの論文と著書を残した。彼は一般相対性理論と電磁気学を結び付けようとした最初の人物の一人であり、アンリ・ポアンカレやヒルベルトの唱えた'普遍主義'について、同時代の誰よりも深く理解していた。特にマイケル・アティヤは、数学上の問題に取り組む際、常にワイルが先行する研究を行っていたと述懐している。 アンドレ・ヴェイユ と名前がよく似ているため、.
新しい！!: ゲージ理論とヘルマン・ワイル · 続きを見る »
パイ中間子
パイ中間子（パイちゅうかんし、π–meson）は、核子を相互につなぎ原子核を安定化する引力（強い相互作用）を媒介するボソンの一種である。パイ粒子、パイオン（Pion）とも呼ぶ。 当時大阪大学の講師であった湯川秀樹が、その存在を中間子論で予言した。ミュー粒子が1936年に初めて発見された当時、ミュー粒子はこの役割を担う粒子であるとされたが後に強い相互作用を行わないことが判明し、1947年に荷電パイ中間子、1950年に中性パイ中間子が発見され、これらが湯川秀樹の予言した粒子であることが明らかとなった。 その線量分布の特性から負電荷のパイオンはスイスやカナダ・アメリカでがん治療に用いられた。.
新しい！!: ゲージ理論とパイ中間子 · 続きを見る »
テンソル
テンソル（tensor, Tensor）とは、線形的な量または線形的な幾何概念を一般化したもので、基底を選べば、多次元の配列として表現できるようなものである。しかし、テンソル自身は、特定の座標系によらないで定まる対象である。個々のテンソルについて、対応する量を記述するのに必要な配列の添字の組の数は、そのテンソルの階数とよばれる。 例えば、質量や温度などのスカラー量は階数0のテンソルだと理解される。同様にして力や運動量などのベクトル的な量は階数1のテンソルであり、力や加速度ベクトルの間の異方的な関係などをあらわす線型変換は階数2のテンソルで表される。 物理学や工学においてしばしば「テンソル」と呼ばれているものは、実際には位置や時刻を引数としテンソル量を返す関数である「テンソル場」であることに注意しなければならない。いずれにせよテンソル場の理解のためにはテンソルそのものの概念の理解が不可欠である。.
新しい！!: ゲージ理論とテンソル · 続きを見る »
ディラック方程式
ディラック方程式（ディラックほうていしき）はフェルミ粒子を記述するディラック場が従う基礎方程式である。ポール・ディラックにより相対論的量子力学として導入され、場の量子論に受け継がれている。.
新しい！!: ゲージ理論とディラック方程式 · 続きを見る »
フリッツ・ロンドン
フリッツ・ロンドン フリッツ・ロンドン（Fritz Wolfgang London, 1900年3月7日 - 1954年5月30日）はドイツ生まれの物理学者である。後にアメリカ合衆国に帰化した。非分極分子間に働く分子間力、ロンドン力に名前を残している。弟に同じ物理学者のハインツ・ロンドンがいる。.
新しい！!: ゲージ理論とフリッツ・ロンドン · 続きを見る »
ファデエフ＝ポポフゴースト
ファデエフ＝ポポフゴースト（）、或いはゴースト場とは、ゲージ理論を経路積分により定式化する際に理論の整合性を保つために導入される場である。名称はファデエフ(en:Ludvig Faddeev)とポポフ(en:Victor Popov)に由来する。最初、ファインマンにより1ループレベルでその必要性が認識され、ドウィット(en:Bryce DeWitt)により任意のループに一般化された。経路積分により初めて系統的に導出したのがファデエフとポポフである。.
新しい！!: ゲージ理論とファデエフ＝ポポフゴースト · 続きを見る »
ファイバー束
ファイバー束（ファイバーそく、fiber bundle, fibre bundle）とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である。.
新しい！!: ゲージ理論とファイバー束 · 続きを見る »
フォース
フォース (Force, Forth, Fourth, Fors).
新しい！!: ゲージ理論とフォース · 続きを見る »
ニュートン力学
ニュートン力学（ニュートンりきがく、）は、アイザック・ニュートンが、運動の法則を基礎として構築した、力学の体系のことである『改訂版 物理学辞典』培風館。。 「ニュートン力学」という表現は、アインシュタインの相対性理論、あるいは量子力学などと対比して用いられる。.
新しい！!: ゲージ理論とニュートン力学 · 続きを見る »
ホモトピー
数学におけるホモトピー (homotopy)とは、点や線や面などの幾何学的対象、あるいはそれらの間の連続写像が連続的に移りあうということを定式化した位相幾何学における概念のひとつである。位相幾何学では、2 つの対象 A と X との関係のうち、連続的な変形によって保たれるものを問題とすることが多い。これらの関係はふつう連続写像 A → X を通して定義され、ホモトピーの概念は連続的に変形する連続写像の族によって定式化される。ホモトピー的な種々の不変量は位相幾何学の研究における基本的な道具となる。 考察している幾何学的対象に「穴」が開いていれば、端を固定された曲線はそれを越えて連続的に変形することができない。したがって、ホモトピーによって「穴」の有無や、単純な構成要素に分解したときのそれらの組み合わせ的なつながり具合といった構造を調べることができる。ホモトピーが威力を発揮するのは、空間や写像といった幾何学的な対象に対し群や準同型などという代数的な対象を対応づけることであり、またそのような代数的な対象がしばしばもとの幾何学的な対象よりも単純化されているということにある。 このように、代数的な道具によって空間と写像の位相的性質を調べるという方法をとる幾何学は、代数的位相幾何学と呼ばれる。.
新しい！!: ゲージ理論とホモトピー · 続きを見る »
ホッジ双対
数学において、ホッジスター作用素(ホッジスターさようそ、Hodge star operator)、もしくは、ホッジ双対(ホッジそうつい、Hodge dual)は、(Hodge)により導入された線型写像である。ホッジ双対は、有限次元の向き付けられた内積空間の外積代数の上で定義される -ベクトルのなす空間から-ベクトルのなす空間への線形同型である。 他のベクトル空間に対する多くの構成と同様に、ホッジスター作用素は多様体の上のベクトルバンドルへの作用に拡張することができる。 たとえば余接束の外積代数（すなわち、多様体上の微分形式の空間）に対して、ホッジスター作用素を用いてラプラス＝ド・ラーム作用素を定義し、コンパクトなリーマン多様体上の微分形式のホッジ分解を導くことができる。.
新しい！!: ゲージ理論とホッジ双対 · 続きを見る »
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃（1886年） ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト（David Hilbert,, 1862年1月23日 - 1943年2月14日）は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット，ダヴィド、ダーフィットなどとも表記される。.
新しい！!: ゲージ理論とダフィット・ヒルベルト · 続きを見る »
ベクトル場
ベクトル場（ベクトルば、vector field）とは、数学において、幾何学的な空間の広がりの中でベクトル的な量の分布を表すものである。単純化された設定のもとではベクトル場はユークリッド空間 Rn （またはその開集合）からベクトル空間 Rn への関数として与えられる。（局所的な）座標系のもとでベクトル場を表示するときは座標に対してベクトルを与えるような関数を考えることになるが、座標系を変更したときにこの関数は一定の規則に従って変換を受けることが要請される。 ベクトル場の概念は物理学や工学においても積極的にもちいられ、例えば動いている流体の速さと向きや、磁力や重力などの力の強さと向きなどが空間的に分布している状況を表すために用いられている。 現代数学では多様体論にもとづき、多様体上の接ベクトル束の断面として（接）ベクトル場が定義される。.
新しい！!: ゲージ理論とベクトル場 · 続きを見る »
ベクトルポテンシャル
数学のうちベクトル解析において、3次元ベクトル場A が、3次元ベクトル場v のベクトルポテンシャル（vector potential）であると は、 であることを意味する。3次元以外のベクトル場については、微分形式を用いた拡張（例えば、ポアンカレの補題）が考えられる。.
新しい！!: ゲージ理論とベクトルポテンシャル · 続きを見る »
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
新しい！!: ゲージ理論とベクトル空間 · 続きを見る »
ベクトル解析
ベクトル解析（ベクトルかいせき、英語：vector calculus）は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。 多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。 物理学では3次元ユークリッド空間上のベクトル解析を特によく用いられるが、ベクトル解析は一般のn次元多様体上で展開できる。.
新しい！!: ゲージ理論とベクトル解析 · 続きを見る »
アハラノフ＝ボーム効果
アハラノフ＝ボーム効果（アハラノフ＝ボームこうか、Aharonov–Bohm effect）は、電子のような電荷を持つ粒子が、空間の電磁場のない領域において電磁ポテンシャルの影響を受ける現象である。アハラノフ＝ボーム効果の名は、1959年にその存在を指摘したヤキール・アハラノフとデヴィッド・ボームに因み、両名の頭文字を取ってAB効果（AB effect）と略記されることもある。また、ときにアハラノフの名はアハロノフとも綴られる。 アハラノフ＝ボーム効果は、電荷を持つ粒子に対するハミルトニアンが電磁ポテンシャルを含むことと、シュレーディンガー方程式などの量子力学における基本方程式がゲージ変換に対して不変であることに関係している。ハミルトニアンが電磁ポテンシャルを含むことは古典論における解析力学からの結果であり、また量子力学においては、正準量子化の方法を経て量子力学が古典力学と対応するための要請である。ゲージ変換に対する不変性については、古典的な電磁気学におけるマクスウェル方程式がゲージ変換不変であることからの要請である。アハラノフ＝ボーム効果はこれらの古典論からの要請を量子力学に適用した場合に現れる量子効果であると言える。.
新しい！!: ゲージ理論とアハラノフ＝ボーム効果 · 続きを見る »
アーベル群
数学、とくに抽象代数学におけるアーベル群（アーベルぐん、abelian group）または可換群（かかんぐん、commutative group）は、群演算が可換な群、すなわちどの二つの元の積も掛ける順番に依らず定まる群を言う。名称は、ノルウェーの数学者ニールス・アーベルに因む。 アーベル群は環や体、環上の加群やベクトル空間といった抽象代数学の概念において、その基礎となる加法に関する群（加法群）としてしばしば生じる。任意の抽象アーベル群についても、しばしば加法的な記法（例えば群演算は "+" を用いて表され、逆元は負符号を元の前に付けることで表す）が用いられ、その場合に用語の濫用で「加法群」と呼ばれることがある。また任意のアーベル群は整数全体の成す環 上の加群とみることができ、その意味でやはり用語の濫用だがアーベル群のことを「加群」と呼ぶこともある。 一般に可換群はに比べて著しく容易であり、とくに有限アーベル群の構造は具さに知られているが、それでも無限アーベル群論はいまなお活発な研究領域である。.
新しい！!: ゲージ理論とアーベル群 · 続きを見る »
アティヤ＝シンガーの指数定理
アティヤ＝シンガーの指数定理(Atiyah–Singer index theorem)とは、スピンc多様体 の上の複素ベクトル束の間の楕円型微分作用素について、解析的指数と呼ばれる量と位相的指数と呼ばれる量とが等しいという定理である。解析的指数は与えられた楕円型微分作用素が定める偏微分方程式の解の次元を表す解析的な量であり、一方で位相的指数は微分作用素の主表象をもとにして多様体のコホモロジーを通じて定義される幾何的な量である。従って指数定理は解析学と幾何学という見かけ上異なった体系の間のつながりを与えているという意味で20世紀の微分幾何学における最も重要な定理ともいわれる。 本稿で述べる形の指数定理はマイケル・アティヤとイサドール・シンガーによって1963年に発表され、1968年に証明 が刊行された。指数定理の特別な場合として、以前から知られていたガウス・ボンネの定理やヒルツェブルフ・リーマン・ロッホの定理（ヒルツェブルフのリーマン・ロッホの定理）などが含まれていると理解できる。さらに、1950年代の終わりに得られていた（グロタンディークのリーマン・ロッホの定理）はこの定理の定式化に大きな影響を与えたとされ、グロタンディークが代数多様体に対して用いたK理論の構成を微分多様体に対して実行することが指数定理の定式化・証明における重要なステップをなしている。またアティヤ-シンガーによる枠組みの一般化として群が作用している場合や、楕円型微分作用素を持つ多様体が、ある多様体によってパラメーター付けされた族として与えられている場合、葉層構造によってパラメーター付けが与えられている場合などに指数定理が一般化されている。 この定理の研究から、アティヤとシンガーは2004年にアーベル賞を受賞した。.
新しい！!: ゲージ理論とアティヤ＝シンガーの指数定理 · 続きを見る »
アインシュタインの縮約記法
アインシュタインの縮約記法（アインシュタインのしゅくやくきほう、Einstein summation convention）またはアインシュタインの記法（アインシュタインのきほう、Einstein notation）は、アインシュタインが 1916 年に用いた添字 の和の記法である 。アインシュタインの規約（アインシュタインのきやく、Einstein convention）とも呼ばれる。 同じ項で添字が重なる場合は、その添字について和を取る、というルールである。この重なる指標を擬標（またはダミーの添字、）、重ならない指標を自由標（またはフリーの添字、）と呼ぶ。 このルールは一般相対性理論、量子力学、連続体力学、有限要素法などで重宝する。 アインシュタインはこの記法を自分の「数学における最大の発見」と（冗談めかして）言ったという。.
新しい！!: ゲージ理論とアインシュタインの縮約記法 · 続きを見る »
アインシュタイン方程式
一般相対性理論におけるアインシュタイン方程式（アインシュタインほうていしき、）アインシュタインの重力場方程式（じゅうりょくばのほうていしき、Einstein's field equations；EFE）とも呼ばれる。は、万有引力・重力場を記述する場の方程式である。アルベルト・アインシュタインによって導入された。 アイザック・ニュートンが導いた万有引力の法則を、強い重力場に対して適用できるように拡張した方程式であり、中性子星やブラックホールなどの高密度・大質量天体や、宇宙全体の幾何学などを扱える。.
新しい！!: ゲージ理論とアインシュタイン方程式 · 続きを見る »
アイソスピン
アイソスピン (isospin) は、ハドロンの持つ量子数の一つである。 クォークモデルの確立により、アイソスピンもクォークへと拡張されている。.
新しい！!: ゲージ理論とアイソスピン · 続きを見る »
ウラジミール・フォック
ウラジミール・アレクサンドロヴィチ・フォック（ロシア語:Владимир Александрович Фoк、英語:Vladimir Aleksandrovich Fock、1898年12月22日 - 1974年12月27日）はロシアサンクトペテルブルク出身の物理学者。1922年にペトログラード大学(現在のサンクトペテルブルク大学)を卒業し、1932年に同大学（名称はレニングラード大に変更）の教授となった。 特に量子力学の分野で基礎的な研究を行った。1926年にクライン-ゴルドン方程式を一般化し、1930年にはハートリー-フォック法を開発した。フォック空間、フォック表示、フォック真空、フォック状態など、フォックの名を冠した用語も多い。 国際量子分子科学アカデミー会員、ソビエト連邦科学アカデミー（現在のロシア科学アカデミー）会員でもあった。.
新しい！!: ゲージ理論とウラジミール・フォック · 続きを見る »
ウィルソンループ
ージ理論では、ウィルソンループ(Wilson loop)（ケネス・ウィルソン(Kenneth G. Wilson)に因む）は、ゲージ不変な観測量を与えられたループのゲージ接続の(holonomy)から得る。古典論では、ウィルソンループの集まりは、ゲージ変換を同一視したゲージ接続を再構成する十分な情報を構成する。 --> 場の量子論では、ウィルソンループ観測量の定義は、フォック空間上の「(bona fide)」作用素である。（実際、(Haag's theorem)は、フォック空間は相互作用のある QFT に対しては存在しないという定理がある。）この定義は、数学的にはデリケートな問題であり、通常はフレーミングを持つ各々のループを備えた繰り込みが要求される。ウィルソン作用素の作用は、量子場の基本励起を作り出すことを解釈され、量子場はループへ局所化される。このようにして、マイケル・ファラデェー(Michael Faraday)の「フラックスチューブ」は量子電磁気場の基本励起となる。 ウィルソンループは、1970年代に量子色力学 (QCD) の非摂動的定式化の試み、少なくとも QCD の強い相互作用の領域を扱う一連の変数記法として導入された。ウィルソンループは、クォークの閉じ込めの問題を解くことを意図し考案されたが、今日、未解決のままである。 強い相互作用を持つ量子場理論は、基本的な非摂動的励起をもっているという事実は、(Alexander Polyakov)により、最初の弦理論を定式化するために提唱された。これは時空での基本量子のループの伝播を記述している。 ウィルソンループはループ量子重力理論の定式化で重要な役割を果たすが、そこでは、スピンネットワークに取って変わられ（後日、(spinfoam)となった）、ウィルソンループの一種の一般化となっている。 素粒子物理学と弦理論において、ウィルソンループ、特にコンパクト多様体の非可縮なループの周りのウィルソンループは、ウィルソンライン(Wilson lines)とよく言われる。 The problem of confinement, which Wilson loops were designed to solve, remains unsolved to this day.
新しい！!: ゲージ理論とウィルソンループ · 続きを見る »
ウィークボソン
ウィークボソン (weak boson) は素粒子物理学において、弱い相互作用を媒介する素粒子である。弱ボソンとも言う。 ウィークボソンはスピン1のベクトルボソンで、WボソンとZボソンの二種類が存在する。Wボソンは陽子の約80倍、Zボソンは約90倍と他の素粒子に比べて大きな質量をもち、ごく短時間のうちに別の粒子に崩壊してしまうという特徴を持つ。 Wボソンは電荷 ±1 （W+,W−）をもち、両者は互いに反粒子の関係にある。 Zボソンは電荷 0 で、反粒子は自分自身である。 1968年に理論で存在が予言され、1983年に欧州合同原子核研究所にてその存在が確認された。.
新しい！!: ゲージ理論とウィークボソン · 続きを見る »
ウォード＝高橋恒等式
場の量子論において、ウォード＝高橋恒等式(Ward–Takahashi identity)は、理論の大域的や局所的対称性から来る分配函数と繰り込みの後で有効となる分配函数の間の恒等式である。 量子電磁力学のウォード＝高橋恒等式は、原型では(John Clive Ward)と高橋康(Yasushi Takahashi)により、電子の(wave function renormalization)と形状因子 F1(0) とを関係つけるために使った。この恒等式は摂動論のすべてのオーダーにおいて(ultraviolet divergence)をキャンセルすることを保証する。後日、使い方として、すべての摂動論のゴールドストーンの定理の証明の拡張を含む。 ウォード・高橋恒等式は、古典的ネーターの定理の量子バージョンであり、量子場理論のすべての対称性は相関函数の運動方程式より導くことができる。この一般化された意味は、例えば、(Michael Peskin)と(Daniel Schroeder)の教科書 An Introduction to Quantum Field Theory（参考文献参照）のような文献を読む際には、もとのウォード・高橋恒等式の意味とは区別されている。.
新しい！!: ゲージ理論とウォード＝高橋恒等式 · 続きを見る »
エレクトロン
レクトロン (electron, elektron)は古代ギリシア語で琥珀を指したエーレクトロン (ἤλεκτρον)に由来し、下記に示す意味に分化した語。.
新しい！!: ゲージ理論とエレクトロン · 続きを見る »
エドワード・ウィッテン
ドワード・ウィッテン（Edward Witten, 1951年8月26日 - ）は超弦理論においてM理論を提唱した理論物理学者。現在はプリンストン高等研究所教授。 メリーランド州ボルチモア生まれ。父親は一般相対性理論の研究者で元シンシナティ大学教授のルイス・ウィッテン。当初はジャーナリストを志望し、ブランダイス大学時代は歴史学や言語学を専攻。米国雑誌『The Nation』や『THE NEW REPUBLIC』に寄稿する他、1972年の大統領選で大敗したジョージ・マクガヴァンの選挙運動に携わった。 ウィスコンシン大学マディソン校大学院で経済学を専攻するが中退し、1973年にプリンストン大学大学院で応用数学を専攻。後に物理学に移り、デビッド・グロスの下で1976年に博士号を取得した。 その後ハーヴァード大学のフェローなどを経て、1980年から1987年までプリンストン大学物理学科の教授を務めた。1995年に南カリフォルニア大学で開かれたスーパーストリング理論国際会議で、仮説M理論を発表し学会に衝撃を与える。1990年、数学に関する最高権威を有するフィールズ賞を受賞。 ネーサン・サイバーグとは友人で共同研究者。米制作ドキュメンタリー「美しき大宇宙」（原題：The Elegant Universe）に出演している。.
新しい！!: ゲージ理論とエドワード・ウィッテン · 続きを見る »
オックスフォード大学出版局
Walton Streetのオックスフォード大学出版局 オックスフォード大学出版局（オックスフォードだいがくしゅっぱんきょく、英語：Oxford University Press、略称OUP）は、イングランドのオックスフォード大学の出版局を兼ねる出版社である。OUPは世界最大の大学出版局であり、アメリカの全ての大学出版局とケンブリッジ大学出版局の合計以上の規模を誇る。OUPはケンブリッジ大学出版局とともに、イギリスの特権出版社(en:privileged presses イギリスで祈祷書・欽定訳聖書の出版権を持つ出版社)の一つである。インド・パキスタン・カナダ・オーストラリア・ニュージーランド・マレーシア・シンガポール・ナイジェリア・南アフリカ共和国など、世界中に支部を持っている。OUP USAは1896年ごろに設立され、1987年に法人化された非公開有限(en:private limited company)の子会社で、OUP初の国際ベンチャーである。1905年設立のカナダ支部は2番目。OUP全体は選挙によって選ばれた、出版局代表団(Delegates of the Press)と呼ばれる代表者たちによって運営される。出版局代表団はすべてオックスフォード大学のメンバーである。現在、OUPが用いる出版社名は二つある。第一に参考書・教育書・学術書などの大部分はOxford University Press(オックスフォード大学出版局)名義、「名声のある(prestige)」学術書はClarendon Press(クラレンドンプレス)名義である。主要な支部のほとんどは、OUP本部の書籍の発行・販売だけでなく、その地域の出版社として機能している。 OUPは1972年にアメリカの法人税を控除され、1978年にイギリスでも控除された。OUPは、慈善事業団体としてほとんどの国で所得税・法人税を控除されているが、出版物に対し、売上税その他の商取引に関する税金を払う場合もある。OUPは現在、黒字の30%(毎年最低12万ポンドの確約つき)をオックスフォード大学に送っている。OUPは出版数として世界最大の大学出版局で、毎年4500冊以上の新刊を出版し、従業員数は約4000人。OUPはオックスフォード英語辞典、、Oxford World's Classics、Oxford Dictionary of National Biographyなどの参考書・専門書・学術書を出版している。これらの重要書籍の多くが、Oxford Reference Onlineというパッケージとして電子公開されており、イギリスの公立図書館の利用者カードの所有者には無料で提供されている。 哲学者のアンドリュー・マルコムが、著書Making Namesに関する1985年の出版契約不履行について提訴した裁判で、1990年OUPはイギリス控訴院にて敗訴した。1998年、OUPは人気の高かったOxford Poetsシリーズを打ち切った。2001年、OUPはイギリスの法律系出版社Blackstoneを取得した。2003年、OUPはMacmillan PublishersからGrove Dictionary of Music and Musicians(グローヴ音楽事典)・Grove Dictionary of Art(グローヴ芸術事典)を取得した。2006年、OUPはイギリスの出版社Richmond Law & Taxを取得した。 OUPで出版された本のISBNは0-19で始まる。つまりOUPは数少ないISBN識別番号2桁の出版社のひとつなのである。(ISBN番号は13桁と決まっており、桁が少ないほど多くの図書を登録できるようになっている。).
新しい！!: ゲージ理論とオックスフォード大学出版局 · 続きを見る »
オブザーバブル
ブザーバブル（英語：Observable）とは量子力学で、観測と呼ばれる物理的操作により決定できるような系の状態の性質をいう。可観測量、観測可能量と訳すこともある。具体的には、位置、運動量、角運動量、エネルギーなどといった物理量に相当するものである。 古典力学では実験的に観測可能な量はすべて、系のとる状態により一義的に決まる関数とみることができる。しかし量子力学では、状態と量との関係は一義的ではなく、状態からオブザーバブルを用いて確率的に求められるのみである。現実の測定値はこの確率に従って出現する。.
新しい！!: ゲージ理論とオブザーバブル · 続きを見る »
カルツァ＝クライン理論
ルツァ＝クライン理論（カルツァ＝クラインりろん、Kaluza-Klein theory、KK理論）は、重力と電磁気力を統一するために五次元以上の時空を仮定する理論である。理論物理学者のテオドール・カルツァが1921年に提唱し、1926年にオスカル・クラインが修正した。.
新しい！!: ゲージ理論とカルツァ＝クライン理論 · 続きを見る »
カオス理論
論（カオスりろん、、、）は、力学系の一部に見られる、数的誤差により予測できないとされている複雑な様子を示す現象を扱う理論である。カオス力学ともいう。 ここで言う予測できないとは、決してランダムということではない。その振る舞いは決定論的法則に従うものの、積分法による解が得られないため、その未来（および過去）の振る舞いを知るには数値解析を用いざるを得ない。しかし、初期値鋭敏性ゆえに、ある時点における無限の精度の情報が必要であるうえ、（コンピューターでは無限桁を扱えないため必然的に発生する）数値解析の過程での誤差によっても、得られる値と真の値とのずれが増幅される。そのため予測が事実上不可能という意味である。.
新しい！!: ゲージ理論とカオス理論 · 続きを見る »
ガリレイ変換
リレイ変換（ガリレイへんかん、）とはある慣性系における物理現象の記述を別の慣性系での記述に変換するための座標変換の方法の一つである。ニュートンの運動方程式を不変に保つため、ガリレイ変換の前後でニュートン力学の法則は不変に保たれる。対して相対論的運動方程式やマクスウェルの方程式は不変に保たないため、光速に近い速度の関わる物理現象に適用すると現実の物理法則と乖離する。なお相対論的効果も考慮した変換はローレンツ変換を参照。.
新しい！!: ゲージ理論とガリレイ変換 · 続きを見る »
クォンタム
quantum（クォンタム、クァンタム）.
新しい！!: ゲージ理論とクォンタム · 続きを見る »
クォーク
ーク（quark）とは、素粒子のグループの一つである。レプトンとともに物質の基本的な構成要素であり、クォークはハドロンを構成する。クオークと表記することもある。 クォークという名称は、1963年にモデルの提唱者の一人であるマレー・ゲルマンにより、ジェイムズ・ジョイスの小説『フィネガンズ・ウェイク』中の一節 "Three quarks for Muster Mark" から命名された 。.
新しい！!: ゲージ理論とクォーク · 続きを見る »
グラビテーション
ラビテーション、グラヴィテーション（Gravitation）.
新しい！!: ゲージ理論とグラビテーション · 続きを見る »
グルーオン
ルーオン（）とは、ハドロン内部で強い相互作用を伝える、スピン1のボース粒子である。質量は0で、電荷は中性。また、「色荷（カラー）」と呼ばれる量子数を持ち、その違いによって全部で8種類のグルーオンが存在する。膠着子（こうちゃくし）、糊粒子という呼び方もあるが、あまり使われない。 他のゲージ粒子と違い、通常の温度・密度ではクォーク同様単独で取り出すことは不可能であるとされる。 また、グルーオン自身が色荷を持つため、グルーオンどうしにも相互作用が働く。これは電磁相互作用を伝える光子にはない性質である。この性質により、グルーオンのみで構成された粒子、グルーボールの存在が、格子QCD及び超弦理論によって示唆されている。.
新しい！!: ゲージ理論とグルーオン · 続きを見る »
ゲージ粒子
ージ粒子（ゲージりゅうし、gauge boson）とは、素粒子物理学において、ゲージ相互作用を媒介するボース粒子の総称である。 特にその相互作用がゲージ理論で記述されている素粒子間において、（仮想粒子として）ゲージ粒子の交換により力が生じる。 標準模型においては、電磁相互作用を媒介する光子、弱い相互作用を伝えるウィークボソン、強い相互作用を伝えるグルーオンの3種類がある。 また重力相互作用もゲージ理論で記述されていると考えられており、これを伝える重力子がある。.
新しい！!: ゲージ理論とゲージ粒子 · 続きを見る »
ゲージ群
ージ群（げーじぐん）はゲージ変換に付随する群。 群の存在は対称性、すなわち保存量の存在を示唆している。 大統一理論においてそのゲージ群は SU3 × SU2 × U1を含んでいなければならず、その最小模型である SU5 モデルは陽子崩壊の予言に失敗しており排除されている。.
新しい！!: ゲージ理論とゲージ群 · 続きを見る »
コリオリの力
左回りに回転する円盤の中心から等速度運動をする玉（上図）は、円盤上からは進行方向に対し右向きの力で曲げられたように見える（下図）。 コリオリの力（コリオリのちから、）とは、回転座標系上で移動した際に移動方向と垂直な方向に移動速度に比例した大きさで受ける慣性力（見かけ上の力）の一種であり、コリオリ力、転向力（てんこうりょく）ともいう。1835年にフランスの科学者ガスパール＝ギュスターヴ・コリオリが導いた。 回転座標系における慣性力には、他に、角速度変化に伴うオイラー力と回転の中心から外に向かって働く遠心力がある。.
新しい！!: ゲージ理論とコリオリの力 · 続きを見る »
コンパクト空間
数学において、コンパクト（compact）は位相空間の性質である。詳細は後述するがコンパクト性の定義それ自身は直観性に乏しいものであり、証明を容易にする為のいわば操作的なものである。しかし距離空間であればより直観的な言葉でいいかえる事ができ、特に有限次元のユークリッド空間においては有界閉集合であることとコンパクト集合であることとは同値になる。したがってコンパクトの概念はユークリッド空間における有界閉集合の概念を一般の位相空間に拡張したものとしてとらえる事ができる。 なお無限次元では有界閉集合はコンパクトとは限らず、例えばヒルベルト空間内の（縁を含んだ）単位球体は有界かつ閉集合であるがコンパクトではない（距離位相を入れた場合）。 ブルバキでは、ここでいう定義を満たす位相空間を準コンパクト（quasi-compact）と呼び、さらにハウスドルフの分離公理を満たすものをコンパクトであると呼んでいる。距離空間など多くの空間ではハウスドルフの分離公理が満たされるので両者の概念は一致するが、一般には注意が必要である。.
新しい！!: ゲージ理論とコンパクト空間 · 続きを見る »
シュプリンガー・サイエンス・アンド・ビジネス・メディア
ュプリンガー・サイエンス・アンド・ビジネス・メディア（Springer Science+Business Media, Springer）は、科学（Science）、技術（Technology、工学など）、医学（Medicine）、すなわちSTM関連の書籍、電子書籍、査読済みジャーナルを出版するグローバル企業である。シュプリンガーはまた、"SpringerLink"（「シュプリンガー・リンク」） 、"SpringerProtocols"（「」） 、"SpringerImages"（「シュプリンガー・イメージ」） 、"SpringerMaterials"（「シュプリンガー・マテリアル」） などいくつかの科学データベース・サービスのホスティングも行っている。 出版物には、参考図書（Reference works、レ（リ）ファレンス・ワークス）、教科書、モノグラフ（Monograph）、（Proceedings）、叢書など多数が含まれる。また、シュプリンガー・リンクには45,000以上のタイトルが自然科学など13の主題・テーマで集められており、それらは電子書籍として利用可能である。シュプリンガーはSTM分野の書籍に関しては世界最大の出版規模を持ち、ジャーナルでは世界第2位である（第1位はエルゼビア）。 多数のインプリントや、20ヶ国に約55の発行所（パブリッシング・ハウス）、5,000人以上の従業員を抱え、毎年約2,000のジャーナル、7,000以上の新書（これにはSTM分野だけではなく、B2B分野のものも含まれる）を発刊している。シュプリンガーはベルリン、ハイデルベルク、ドルトレヒト、ニューヨークに主要オフィスを構える。近年成長著しいアジア市場のために、アジア地域本部を香港に置いており、2005年8月からは北京に代表部を設置している 。 2015年5月、シュプリンガー・サイエンス+ビジネスメディアとマクミラン・サイエンス・アンド・エデュケーションの大半の事業の合併が、欧州連合や米国司法省などの主要な公正競争監視機関により承認された。新会社の名称は「シュプリンガー・ネイチャー（Springer Nature）」。.
新しい！!: ゲージ理論とシュプリンガー・サイエンス・アンド・ビジネス・メディア · 続きを見る »
シカゴ大学出版局
大学出版局（-だいがくしゅっぱんきょく、University of Chicago Press）は、シカゴ大学が運営する出版局。大学が運営する出版局ではアメリカ合衆国で最古かつ最大規模。これまで1万以上の著作を出版している。2016年現在、11000以上が出版、5000以上の著作が販売されている。.
新しい！!: ゲージ理論とシカゴ大学出版局 · 続きを見る »
ジョン・ワイリー・アンド・サンズ
ョン・ワイリー・アンド・サンズ（John Wiley & Sons、略称: Wiley、）は、1807年創業の科学、医学、教育などの分野の世界的な学術出版社である。 大学院のための教材、トレーニング教材、百科事典などの印刷、オンライン製品やオンラインサービスのような電子的情報も扱っている。『フォー・ダミーズ』シリーズの出版でも知られている。.
新しい！!: ゲージ理論とジョン・ワイリー・アンド・サンズ · 続きを見る »
ジェームズ・クラーク・マクスウェル
ェームズ・クラーク・マクスウェル（英:James Clerk Maxwell、1831年6月13日 - 1879年11月5日）は、イギリスの理論物理学者である。姓はマックスウェルと表記されることもある。 マイケル・ファラデーによる電磁場理論をもとに、1864年にマクスウェルの方程式を導いて古典電磁気学を確立した。さらに電磁波の存在を理論的に予想しその伝播速度が光の速度と同じであること、および横波であることを示した。これらの業績から電磁気学の最も偉大な学者の一人とされる。また、土星の環や気体分子運動論・熱力学・統計力学などの研究でも知られている。.
新しい！!: ゲージ理論とジェームズ・クラーク・マクスウェル · 続きを見る »
スーパーコンピュータ
ーパーコンピュータ（supercomputer）は、科学技術計算を主要目的とする大規模コンピュータである。日本国内での略称はスパコン。また、計算科学に必要となる数理からコンピュータシステム技術までの総合的な学問分野を高性能計算と呼ぶ。スーパーコンピュータでは計算性能を最重要視し、最先端の技術が積極的に採用されて作られる。.
新しい！!: ゲージ理論とスーパーコンピュータ · 続きを見る »
スカラー (物理学)
物理学ではスカラー（scalar）とは、大きさのみを持つ量のことをいう。大きさと向きを持つベクトルに対比する概念である。ハミルトンは、「1つのスケール上に含まれるマイナス無限大からプラス無限大までの、すべての数値」と表現した。 例えば物体が空間内を運動するときの速度が大きさと方向を含むベクトルであるのに対し、その絶対値（大きさ）である速さは方向を持たないスカラーである。他にも質量、長さ、エネルギー、電荷、温度などはスカラー量である。一方でベクトル量の代表的なものは力、電界、運動量などである。 より狭義にはスカラーは座標系に依存しないことが要求される。.
新しい！!: ゲージ理論とスカラー (物理学) · 続きを見る »
スカラー場
ラー場（スカラーば、scalar field）とは、数学および物理学において、空間の各点に数学的な数やなんらかの物理量のスカラー値を対応させた場である。スカラー場には「空間（あるいは時空）の同一点におけるスカラー場の値が、観測者が同じ単位を用いる限りにおいて必ず一致する」という意味で座標に依存しない (coordinate-independent) ことが要求される。物理学で用いられるスカラー場の例としては、空間全体にわたる温度分布や、液体の圧力分布、ヒッグス場のようなスピンを持たない量子場などが挙げられる。これらの場はスカラー場の理論における主題である。.
新しい！!: ゲージ理論とスカラー場 · 続きを見る »
サイモン・ドナルドソン
イモン・ドナルドソン（Simon Kirwan Donaldson, 1957年8月20日 - ）は、イギリスの数学者。専門は代数幾何学、微分幾何学、大域解析学。 ケンブリッジ生まれ。ケンブリッジ大学とオックスフォード大学で数学を学ぶ。プリンストン高等研究所、オックスフォード大学を経て、現在インペリアル・カレッジ・ロンドン教授。マイケル・アティヤとナイジェル・ヒッチンの弟子。 1982年に四次元ユークリッド空間において異種微分構造が存在することを、Yang-Millsゲージ理論を用いて示し、当時の数学界に衝撃を与えた。この業績により1986年にフィールズ賞を受賞した。1986年王立協会選出。.
新しい！!: ゲージ理論とサイモン・ドナルドソン · 続きを見る »
円周群
数学における円周群（えんしゅうぐん、circle group; 円群）は の複素数（単位複素数）全体（つまり複素数平面上の単位円）\mathbb T.
内山龍雄
内山 龍雄（うちやま りょうゆう、1916年（大正5年）8月28日 - 1990年（平成2年）8月30日）は、日本の男性理論物理学者。大阪大学名誉教授。重力場を含む一般ゲージ場の創設者である。.
新しい！!: ゲージ理論と内山龍雄 · 続きを見る »
共変微分
微分幾何学における共変微分（きょうへんびぶん、covariant derivative）とは、可微分多様体上の微分演算を言う。クリストッフェル並びにレヴィ＝チヴィタ、リッチによって導入された。局所表示をとった場合その変換規則は共変（covariant）となる。.
新しい！!: ゲージ理論と共変微分 · 続きを見る »
光子
|mean_lifetime.
勾配 (ベクトル解析)
ベクトル解析におけるスカラー場の勾配（こうばい、gradient; グラディエント）は、各点においてそのスカラー場の変化率が最大となる方向への変化率の値を大きさにもつベクトルを対応させるベクトル場である。簡単に言えば、任意の量の空間における変位を、傾きとして表現（例えば図示）することができるが、そこで勾配はこの傾きの向きや傾きのきつさを表している。 ユークリッド空間上の関数の勾配を、別なユークリッド空間に値を持つ写像に対して一般化したものは、ヤコビ行列で与えられる。さらに一般化して、バナッハ空間から別のバナッハ空間への写像の勾配をフレシェ微分を通じて定義することができる。.
新しい！!: ゲージ理論と勾配 (ベクトル解析) · 続きを見る »
固体物理学
固体物理学（こたいぶつりがく、Solid-state physics）とは物理学の一分野であり、より広い意味で使われる物性物理学に含まれる分野である。.
新しい！!: ゲージ理論と固体物理学 · 続きを見る »
BFモデル
BFモデル(BF model)は、位相的場の理論であり、量子化したとき、位相的量子場の理論となる。BFモデルは背景場(background field)を基礎としている。B と F は、以下でみるように、理論のラグランジアンに現れる変数でもあり、記号的な使い方も有用である。 M は 4-次元微分可能多様体、G はゲージ群であり「力学的」場である 2-形式 B として G のリー群の随伴表現に値を持ち、A は G の接続形式である。 作用は、 により与えられる。ここに K は \mathfrak 上の不変非退化双線型形式（G が半単純であればキリング形式はこれを満たす）であり、Fは曲率形式 である。 この作用は、微分同相不変であり、ゲージ不変である。作用のオイラー＝ラグランジュ方程式は、 と である。 実際、任意の局所自由度をゲージ化することは常に可能であり、このことが位相的場の理論と呼ばれる理由である。 しかしながら、M が位相的に非自明であれば、A と B が大域的に非自明な解を持つことも可能である。 S.
新しい！!: ゲージ理論とBFモデル · 続きを見る »
Coordinate
『coordinate』（コーディネイト）は、2003年3月26日にリリースされたT.M.Revolutionの6枚目のアルバム。発売元はアンティノスレコード。.
新しい！!: ゲージ理論とCoordinate · 続きを見る »
空間ベクトル
間ベクトル（くうかんベクトル、Vektor, vector, vector, 「運搬者、運ぶもの」より）は、大きさと向きを持った量である。ベクタ、ベクターともいう。漢字では有向量と表記される。ベクトルで表される量をベクトル量と呼ぶ。 例えば、速度や加速度、力はベクトルである。平面上や空間内の矢印（有向線分）として幾何学的にイメージされる。ベクトルという用語はハミルトンによってスカラーなどの用語とともに導入された。スカラーはベクトルとは対比の意味を持つ。 この記事では、ユークリッド空間内の幾何ベクトル、とくに 3次元のものについて扱い、部分的に一般化・抽象化された場合について言及する。本項目で特に断り無く空間と呼ぶときは、3次元実ユークリッド空間のことを指す。.
新しい！!: ゲージ理論と空間ベクトル · 続きを見る »
素粒子
物理学において素粒子（そりゅうし、elementary particle）とは、物質を構成する最小の単位のことである。基本粒子とほぼ同義語である。.
素粒子物理学
素粒子物理学（そりゅうしぶつりがく、particle physics）は、物質の最も基本的な構成要素(素粒子)とその運動法則を研究対象とする物理学の一分野である。 大別して素粒子論（素粒子理論）と素粒子実験からなる。また実証主義、還元主義に則って実験的に素粒子を研究する体系を高エネルギー物理学と呼ぶ。 粒子加速器を用い、高エネルギー粒子の衝突反応を観測することで、主に研究が進められることから、そう命名された。しかしながら、現在、実験で必要とされる衝突エネルギーはテラ電子ボルトの領域となり、加速器の規模が非常に大きくなってきている。将来的に建設が検討されている国際リニアコライダーも建設費用は一兆円程度になることが予想されている。また、近年においても、伝統的に非加速器による素粒子物理学の実験的研究が模索されている。 何をもって素粒子とするのかは時代とともに変化してきており、立場によっても違い得るが標準理論の枠組みにおいては、物質粒子として6種類のクォークと6種類のレプトン、力を媒介する粒子としてグルーオン、光子、ウィークボソン、重力子(グラビトン)、さらにヒッグス粒子等が素粒子だと考えられている。超弦理論においては素粒子はすべて弦（ひもともいう）の振動として扱われる。.
新しい！!: ゲージ理論と素粒子物理学 · 続きを見る »
繰り込み
繰り込み（くりこみ）とは、場の量子論で使われる、計算結果が無限大に発散してしまうのを防ぐ数学的な技法であり、同時に場の量子論が満たすべき最重要な原理のひとつでもある。 くりこみにより、場の量子論を電磁相互作用に適用した量子電磁力学が完成した。場の量子論にくりこみを用いる方法は、以後の量子色力学およびワインバーグ・サラム理論を構築する際の規範となる。.
新しい！!: ゲージ理論と繰り込み · 続きを見る »
群 (数学)
数学における群（ぐん、group）とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい！!: ゲージ理論と群 (数学) · 続きを見る »
群の生成系
抽象代数学において、群の生成系、生成集合 (generating set of a group) は部分集合であって群のすべての元が（群演算のもとで）その部分集合の有限個の元とそれらの逆元の結合として表現できるものである。 言い換えると、S が群 G の部分集合であれば、、S で生成される部分群 (subgroup generated by S)、は S のすべての元を含む G の最小の部分群である、すなわち S のすべての元を含む部分群すべてに渡る共通部分である。同じことだが、<S> は S の元とそれらの逆元の有限積として書ける G のすべての元からなる部分群である。 G.
新しい！!: ゲージ理論と群の生成系 · 続きを見る »
群の表現
数学において、群の表現（ぐんのひょうげん、group representation）とは、抽象的な群 の元 に対して具体的な線形空間 の正則な線形変換としての実現を与える準同型写像 のことである。線型空間 の基底を取ることにより、 をより具体的な正則行列として表すことができる。.
新しい！!: ゲージ理論と群の表現 · 続きを見る »
真空期待値
真空期待値（しんくうきたいち、）とは、場の量子論において、あるボース粒子の場 \, \phiの期待値\, \langle \phi \rangleが、真空においてもゼロでない値を持つこと、またはその値を言う。 単純積のときはワイトマン関数になり、左から右へ時間の大きさの順に場の演算子を並べると因果グリーン関数になる。また場の演算子の多重交換関係に時間の順序を表す階段関数の積をかけて真空期待値をとると、遅延グリーン関数になる。 エネルギー運動量テンソルの真空期待値が宇宙定数である。.
新しい！!: ゲージ理論と真空期待値 · 続きを見る »
結合定数 (物理学)
物理学における結合定数（けつごうていすう、coupling constant）とは、粒子間の相互作用の強さを決定する物理量である。物理的な系を記述するラグランジアンやハミルトニアンは運動項と相互作用項に分離でき、結合定数は運動項に対する相互作用項の大きさや、相互作用項同士の大きさの比を示す係数として現れる。.
新しい！!: ゲージ理論と結合定数 (物理学) · 続きを見る »
結晶学
結晶学（けっしょうがく、英語：crystallography）は結晶の幾何学的な特徴や、光学的な性質、物理的な性質、化学的性質等を研究する学問である。今日では結晶学の物理的側面は固体物理学、化学的側面は結晶化学で扱われる。.
環上の加群
抽象代数学における環上の加群（かぐん、module）とは、ベクトル空間を一般化した概念で、係数（スカラー）を体の元とする代わりに、より一般の環の元としたものである。つまり、加群とは（ベクトル空間がそうであるように）加法的なアーベル群であって、その元と環の元との間に乗法が定義され、その乗法が結合的かつ加法に関して分配的となるようなものである。 任意のアーベル群は有理整数環上の加群であり、したがって環上の加群はアーベル群の一般化でもある。また、環のイデアルは環上の加群であり、したがって環上の加群はイデアルの一般化でもある。このように環上の加群はベクトル空間・アーベル群・イデアルを包括する概念であるので、さまざまな議論を加群の言葉によって統一的に扱うことができるようになる。 加群は群の表現論に非常に近しい関連を持つ。また、加群は可換環論やホモロジー代数における中心概念の一つであり、ひろく代数幾何学や代数的位相幾何学において用いられる。.
新しい！!: ゲージ理論と環上の加群 · 続きを見る »
無限小
数学における無限小（むげんしょう、infinitesimal）は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 infinitesimus（もともとは列の「無限番目」の項を意味する言葉）に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容（動）詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること（例えば微分商）が求められる。無限個の無限小を足し合わせることで積分が与えられる。 シラクサのアルキメデスは、自身の （機械的定理証明法）においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として（17世紀にはケプラーがより詳しく調べているが）、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。この不可分の方法は幾何学的な図形を 1 の量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。面積の計算においてウォリスは無限小を 1/∞ と書いている。 ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない（有限個/無限個ではない）ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。や（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 （解析学教程）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがスティーヴンの連続体をより抽象的な対象として定義したのと同様に、は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した）。ロビンソンの超実数 (hyperreals) は無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。また、はフェルマーの (adequality, pseudo-equality) の定式化である。 ウラジーミル・アーノルドは1990年に以下のように書いている.
物理学
物理学（ぶつりがく, ）は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること（力学的理解）、および物質をより基本的な要素に還元して理解すること（原子論的理解）を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象（物理現象）である。.
物性物理学
物性物理学（ぶっせいぶつりがく）は、物質のさまざまな巨視的性質を微視的な観点から研究する物理学の分野。量子力学や統計力学を理論的基盤とし、その理論部門を物性論（ぶっせいろん）と呼ぶことも多い。これらは日本の物理学界独特の名称であるが、しばしば凝縮系物理学に比定される。狭義には固体物理学を指し、広義には固体物理学（結晶・アモルファス・合金）およびソフトマター物理学・表面物理学・物理化学、プラズマ・流体力学などの周辺分野を含む。.
新しい！!: ゲージ理論と物性物理学 · 続きを見る »
特殊ユニタリ群
次の特殊ユニタリ群（とくしゅユニタリぐん、special unitary group） とは、行列式が1の 次ユニタリ行列の為す群の事である。群の演算は行列の積で与えられる。 特殊ユニタリ群 はユニタリ群 の部分群であり、さらに一般線型群 の部分群である。 特殊ユニタリ群は素粒子物理学において、電弱相互作用のワインバーグ＝サラム理論や強い相互作用の量子色力学、あるいはそれらを統合した標準模型や大統一理論などに出てくる。.
新しい！!: ゲージ理論と特殊ユニタリ群 · 続きを見る »
特殊相対性理論
特殊相対性理論（とくしゅそうたいせいりろん、Spezielle Relativitätstheorie、Special relativity）とは、慣性運動する観測者が電磁気学的現象および力学的現象をどのように観測するかを記述する、物理学上の理論である。アルベルト・アインシュタインが1905年に発表した論文に端を発する。特殊相対論と呼ばれる事もある。.
新しい！!: ゲージ理論と特殊相対性理論 · 続きを見る »
直交群
数学において、 次元の直交群（ちょっこうぐん、orthogonal group）とは、 次元ユークリッド空間上のある固定された点を保つような距離を保つ変換全体からなる群であり、群の演算は変換の合成によって与える。 と表記する。同値な別の定義をすれば、直交群とは、元が の実直交行列であり、群の積が行列の積によって与えられるものをいう。直交行列とは、逆行列がもとの行列の転置と等しくなるような行列のことである。 直交行列の行列式は か である。 の重要な部分群である特殊直交群 は行列式が である直交行列からなる。この群は回転群ともよばれ、例えば次元 2 や 3 では、群の元が表す変換は（2次元における）点や（3次元における）直線のまわりの通常の回転である。低次元ではこれらの群の性質は幅広く研究されている。 用語「直交群」は上の定義を一般化して、体上のベクトル空間における非退化な対称双線型形式や二次形式基礎体の標数が でなければ、対称双線型形式と二次形式のどちらを使っても同値である。を保つような、可逆な線形作用素全体からなる群を表すことがある。特に、体 上の 次元ベクトル空間 上の双線型形式がドット積で与えられ、二次形式が二乗の和で与えられるとき、これに対応する直交群 は、群の元が 成分 直交行列で群の積を行列の積で定めるものである。これは一般線形群 の部分群であって、以下の形で与えられる。 ここで は の転置であり、 は単位行列である。.
相対論的量子力学
対論的量子力学（そうたいろんてきりょうしりきがく、relativistic quantum mechanics）は、量子力学に対して特殊相対性理論を適用した理論である。 基礎方程式はクライン-ゴルドン方程式である。素粒子散乱などの多粒子系高エネルギー物理を扱う際は、粒子をさらに場の概念に拡張した場の量子論が使われる。あつかう粒子の速度が光速に比べて十分小さい場合の量子力学（非相対論的量子力学）とは区別される。.
新しい！!: ゲージ理論と相対論的量子力学 · 続きを見る »
相互作用
互作用（そうごさよう）、交互作用（こうごさよう）、相互交流（そうごこうりゅう）、インタラクションとは、 interaction、 Interaktion 等にあてられた訳語・音写語であり、原語では広義には二つ以上の存在が互いに影響を及ぼしあうことを指している。 ヨーロッパ系の言語では、interaction（英語・フランス語）、Interaktion（ドイツ語）などと表記され、同系統の言葉である。根本にある発想が同一であり、国境や分野を超えてその根本概念は共有されている。一方、日本語には、あくまで前述の語の訳語として登場し、「交互作用」「相互作用」「相互交流」などの様々な訳語、あるいは「インタラクション」などの音写語などもあり、用いられる分野ごとに様々な表記で用いられている。ただし、これらのいかなるの訳語・音写語があてられていようが、等しく重要な概念である。 ヨーロッパ圏の人が interaction という語を使う時、その語の他分野での用法なども多かれ少なかれ意識しながら使っていることは多い。一方、訳語というものは絶対的なものではなく、同一分野ですら時代とともに変化することがある。原著で同一の語で表記されているものが、訳語の選択によって概念の連続性が分断されてしまい歴史が読み取れなくなることは非常に不便であるし、訳語の異同によって分野ごとに細分化されては原著者の深い意図が汲み取れなくなる恐れもある。よって、これらを踏まえて本項ではヨーロッパ諸言語で interaction 系の語（派生語の interactive なども含む）で表記される概念についてまとめて扱うこととし、各分野における標準的な和訳と、その分野での具体的な用法や概念の展開について、広く解説することにする。.
新しい！!: ゲージ理論と相互作用 · 続きを見る »
相関関数
物理学において相関関数（そうかんかんすう、correlation function）は、2つの物理量の間の相関を表す量である。様々な分野に登場する極めて広い概念であり、問題設定に応じて定義も僅かに異なる。.
新しい！!: ゲージ理論と相関関数 · 続きを見る »
違いを除いて
数学の文脈における「—（の違い）を除いて…」 (… "up to" &mdash) という語句は、「— に関する差異を無視する」ことを意味する専門用語である。この言い回しの意味するところは、「適当な目的のもとでは、あるひとつの同値類に属する元全体を、何か単一の実体を表すものとみなせる」ということである。"—" の部分には、何らかの性質や、同じ同値類に属する元(つまり一方は他方に同値となるような元)の間の変換の過程を記述する内容が入る。 たとえば不定積分を計算するとき、その結果は「定数項の違いを除いて」 f(x) であるというように言うことができる。その意味は、f(x) 以外に不定積分 g(x) があったとしても g(x).
新しい！!: ゲージ理論と違いを除いて · 続きを見る »
非線型シグマモデル
場の量子論において、非線型シグマモデル (nonlinear σ model) は、対象多様体と呼ばれる非線型多様体 T 上に値をとるスカラー場 である。非線型シグマモデルは により導入され、彼らのモデルの中の σ と呼ばれるスピンを持たないメソンに対応する場に因んで命名された。.
新しい！!: ゲージ理論と非線型シグマモデル · 続きを見る »
非線形光学
非線形光学（ひせんけいこうがく、英語：nonlinear optics）とは、非常に強い光と物質が相互作用する場合に起きる、非線形の（つまり、光の電磁場に比例しない）物質の多彩な応答（現象）を扱う分野。レーザーの出現によって発展した分野であるが、レーザー自体の中でも非線形光学効果は本質的な役割を果たし、その特性をも支配する。 量子光学と深く関連している。 屈折率や吸収率など光学材料の光学定数は、光が弱いときは定数とみなせる。しかし、光が強くなる（非線形性を考える必要がある）と光強度の依存して変化するようになる。このように、光の物質の相互作用の非線形性に由来する現象を非線形光学現象という。.
新しい！!: ゲージ理論と非線形光学 · 続きを見る »
静電気学
静電気学（せいでんきがく、または静電学、Electrostatics）は静止またはゆっくり動く電荷による現象を扱う科学の一分野である。 古典古代より、琥珀のような物質をこすると軽い粒子を引き寄せることが知られていた。英語においては、ギリシャ語で琥珀をあらわす という単語が electricity（電気）の語源となった。静電現象の原因となっているのは、電荷が互いに働かせる力である。この電荷による力はクーロンの法則によって記述される。静電的に誘起された力はやや弱いとみなされがちだが、電子と陽子間に働く静電力（水素原子を作り出している）は、同粒子間に働く重力の1040倍もの強さがある。 静電現象には数多くの事例があり、パッケージからはがしたプラスチック包装紙が手に吸い付くという身近で単純なものから、穀物サイロがひとりでに爆発するという現象まである。さらに生産中に電子部品が破損したりと害になることもあれば、一方ではコピー機の原理に用いられていたりする。静電気学には物体の表面に他の物体の表面が接することにより、電荷が蓄積されるという現象が関わっている。荷電交換は2つの表面が接触し、離れるときにはいつでも起きているものの、表面のうちの少なくともどちらか一方が高い電気抵抗をもっていなければ通常その効果には気づかない。高い抵抗をもつ表面には電荷が長時間蓄えられ、その効果が観測されるためである。蓄えられた電荷は接地へとゆっくり減少してゆくか、放電によってすぐに中性化される。例えば静電気ショックの現象は、不導体の表面と接触することにより人体に蓄えられた電荷が、金属などに触れたときに一気に放電し、中性化する現象である。.
新しい！!: ゲージ理論と静電気学 · 続きを見る »
表現論
表現論（ひょうげんろん、representation theory）とは、ベクトル空間の線型変換として代数構造を表現することにより研究し、代数構造上の加群を研究する数学の一分野である。本質的には、表現は抽象的な代数的構造を、その元と演算を行列と行列の和や行列の積で記述することで、より具体的にする。この記述で扱われる代数的対象は、群や結合代数やリー代数がある。これらの中で最も優れているものは、歴史的にも最初に現れた群の表現論であり、群の演算が群の要素が行列の積により正則行列で表現されている。 Classic texts on representation theory include and.
行列
数学の線型代数学周辺分野における行列（ぎょうれつ、matrix）は、数や記号や式などを行と列に沿って矩形状に配列したものである。行の数と列の数が同じ行列はが成分ごとの計算によって与えられる。行列の積の計算はもっと複雑で、2 つの行列がかけ合わせられるためには、積の左因子の列の数と右因子の行の数が一致していなければならない。 行列の応用として顕著なものは一次変換の表現である。一次変換は のような一次関数の一般化で、例えば三次元空間におけるベクトルの回転などは一次変換であり、 が回転行列で が空間の点の位置を表す列ベクトル（1 列しかない行列）のとき、積 は回転後の点の位置を表す列ベクトルになる。また 2 つの行列の積は、2 つの一次変換の合成を表現するものとなる。行列の別な応用としては、連立一次方程式の解法におけるものである。行列が正方行列であるならば、そのいくつかの性質は、行列式を計算することによって演繹することができる。例えば、正方行列が正則であるための必要十分条件は、その行列式の値が非零となることである。固有値や固有ベクトルは一次変換の幾何学に対する洞察を与える。行列の応用は科学的な分野の大半に及び、特に物理学において行列は、電気回路、光学、量子力学などの研究に利用される。コンピュータ・グラフィックスでは三次元画像の二次元スクリーンへの投影や realistic-seeming motion を作るのに行列が用いられる。は、古典的な解析学における微分や指数関数の概念を高次元へ一般化するものである。 主要な数値解析の分野は、行列計算の効果的なアルゴリズムの開発を扱っており、主題は何百年にもわたって今日では研究領域も広がっている。行列の分解は、理論的にも実用的にも計算を単純化するもので、アルゴリズムは正方行列や対角行列などといった行列の特定の構造に合わせて仕立てられており、有限要素法やそのほかの計が効率的に処理される。惑星運動論や原子論では無限次行列が現れる。関数のテイラー級数に対して作用する微分の表現行列は、無限次行列の簡単な例である。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
高エネルギー物理学
ネルギー物理学は、加速器で作られる高エネルギーを持った基本粒子の衝突反応を詳しく調べ、素粒子と呼ばれる究極の物質の構造や、その基本的相互作用について研究する分野である。.
新しい！!: ゲージ理論と高エネルギー物理学 · 続きを見る »
超対称性
超対称性（ちょうたいしょうせい,supersymmetry,SUSY）はボソンとフェルミオンの入れ替えに対応する対称性である。この対称性を取り入れた理論は超対称性理論などのように呼ばれる。また、超対称性粒子の一部はダークマターの候補の一つである。2013年1月現在、超対称性粒子は未発見である。.
新しい！!: ゲージ理論と超対称性 · 続きを見る »
超重力理論
超重力理論（ちょうじゅうりょくりろん）とは、一般相対論を超対称化した理論、言い方を変えれば局所超対称性の理論である。量子化した際は、単なる一般相対論より紫外発散が弱くなるため、量子重力理論の文脈において1980年代初頭に精力的に研究された。超対称性のゲージ理論と考えることもできる。対応するゲージ場がグラヴィティーノである。.
新しい！!: ゲージ理論と超重力理論 · 続きを見る »
跡 (線型代数学)
数学、特に線型代数学における行列の跡（せき、trace; トレース、Spur; シュプール）あるいは対角和（たいかくわ）は行列の主対角成分の総和である。それは基底変換に関して不変であり、また固有値の総和（固有値和）に等しい。即ち、行列の跡は行列の相似を除いて定まり、したがって一般に行列に対応する線型写像の跡として定義することができる。 行列の跡は、正方行列に対してのみ定義されることに注意せよ。この語は（この同じ数学的対象を意味する）ドイツ語のSpurからの翻訳借用である。.
新しい！!: ゲージ理論と跡 (線型代数学) · 続きを見る »
重力
重力（じゅうりょく）とは、.
重力子
重力子（じゅうりょくし、graviton、グラビトン）は、素粒子物理学における四つの力のうちの重力相互作用を伝達する役目を担わせるために導入される仮説上の素粒子。2016年までのところ未発見である。 アルベルト・アインシュタインの一般相対性理論より導かれる重力波を媒介する粒子として提唱されたものである。スピン2、質量0、電荷0、寿命無限大のボース粒子であると予想され、力を媒介するゲージ粒子である。.
量子
量子（りょうし、quantum）は、量子論・量子力学などで顕れてくる、物理量の最小単位である。古典論では物理量は実数で表される連続量だが、量子論では、「量子」と呼ばれるような性質を持った粒子である基本粒子の素粒子に由来するものとして物理量は扱われる。そのため、たとえば電気量は電気素量の整数倍の値しかとらないものとなる。量子には、波のようにもふるまうこともあれば粒子のようにふるまうこともあるという、直感では一見不思議に思われるような性質（「粒子と波動の二重性」）がある（どちらが「本質」か、その「解釈」は、といったような問いは普通は無意味である）。.
量子力学
量子力学（りょうしりきがく、quantum mechanics）は、一般相対性理論と同じく現代物理学の根幹を成す理論として知られ、主として分子や原子、あるいはそれを構成する電子など、微視的な物理現象を記述する力学である。 量子力学自身は前述のミクロな系における力学を記述する理論だが、取り扱う系をそうしたミクロな系の集まりとして解析することによって、ニュートン力学に代表される古典論では説明が困難であった巨視的な現象についても記述することができる。たとえば量子統計力学はそのような応用例の一つである。従って、生物や宇宙のようなあらゆる自然現象もその記述の対象となり得る。 代表的な量子力学の理論として、エルヴィン・シュレーディンガーによって創始された、シュレーディンガー方程式を基礎に置く波動力学と、ヴェルナー・ハイゼンベルク、マックス・ボルン、パスクアル・ヨルダンらによって構成された、ハイゼンベルクの運動方程式を基礎に置く行列力学がある。ただしこの二つは数学的に等価である。 基礎科学として重要で、現代の様々な科学や技術に必須な分野である。 たとえば科学分野について、太陽表面の黒点が磁石になっている現象は、量子力学によって初めて解明された。 技術分野について、半導体を利用する電子機器の設計など、微細な領域に関するテクノロジーのほとんどは量子力学を基礎として成り立っている。そのため量子力学の適用範囲の広さと現代生活への影響の大きさは非常に大きなものとなっている。一例として、パソコンや携帯電話、レーザーの発振器などは量子力学の応用で開発されている。工学において、電子工学や超伝導は量子力学を基礎として展開している。.
新しい！!: ゲージ理論と量子力学 · 続きを見る »
量子化
量子化（りょうしか、quantization）とは、ある物理量が量子の整数倍になること、あるいは整数倍にする処理のこと。.
量子化 (物理学)
物理学において、量子化（りょうしか、quantization）は古典力学で理解されていた物理現象を"量子力学"の文脈によって説明し直す過程である。これは、場の量子化についても言及する。.
新しい！!: ゲージ理論と量子化 (物理学) · 続きを見る »
量子異常
量子異常（りょうしいじょう、quantum anomaly）とは、量子化した理論において、古典論における一般的な考察から予想される定理が成り立たなくなることである。単にアノマリーと呼ばれることもある。.
新しい！!: ゲージ理論と量子異常 · 続きを見る »
量子重力理論
量子重力理論（りょうしじゅうりょくりろん、）は、重力相互作用（重力）を量子化した理論である。単に量子重力（りょうしじゅうりょく：Quantum Gravity(QG), Quantum Gravitation）または重力の量子論（Quantum Theory of Gravity）などとも呼ばれる。 ユダヤ系ロシア人のマトベイ・ブロンスタインがパイオニアとされる。一般相対性理論と量子力学の双方を統一する理論と期待されている。物理学の基礎概念である時間、空間、物質、力を統一的に理解するための鍵であり、物理学における最重要課題の一つと言われている。 量子重力理論は現時点ではまったく未完成の未知の理論である。量子重力を考える上で最大の問題点はその指針とすべき基本的な原理がよく分かっていないということである。そもそも重力は自然界に存在する四つの力（基本相互作用）の中で最も弱い。従って、量子化された重力が関係していると考えられる現象が現在到達できる技術レベルでは観測できないためである。.
新しい！!: ゲージ理論と量子重力理論 · 続きを見る »
量子色力学
量子色力学（りょうしいろりきがく、、略称: QCD）とは、素粒子物理学において、SU(3)ゲージ対称性に基づき、強い相互作用を記述する場の量子論である。.
新しい！!: ゲージ理論と量子色力学 · 続きを見る »
量子電磁力学
量子電磁力学（りょうしでんじりきがく、, QED）とは、電子を始めとする荷電粒子間の電磁相互作用を量子論的に記述する場の量子論である。量子電気力学と訳される場合もある。.
新しい！!: ゲージ理論と量子電磁力学 · 続きを見る »
自由度
自由度（じゆうど、degree of freedom）とは、一般に、変数のうち独立に選べるものの数、すなわち、全変数の数から、それら相互間に成り立つ関係式（束縛条件、拘束条件）の数を引いたものである。数学的に言えば、多様体の次元である。「自由度1」、「1自由度」などと表現する。 自由度は、力学、機構学、統計学などで使用され、意味は上記の定義に準じるが、それぞれの具体的に示唆する処は異なる。.
自発的対称性の破れ
自発的対称性の破れ（じはつてきたいしょうせいのやぶれ、spontaneous symmetry breaking）とは、ある対称性をもった系がエネルギー的に安定な真空に落ち着くことで、より低い対称性の系へと移る現象やその過程を指す。類義語に明示的対称性の破れや量子異常による対称性の破れ、またこれらの起源の1つとしての力学的対称性の破れなどがある。 主に物性物理学、素粒子物理学において用いられる概念であり、前者では超伝導を記述するBCS理論でクーパー対ができる十分条件、後者では標準模型においてゲージ対称性を破り、ウィークボソンに質量を与えるヒッグス機構等に見ることができる。また、この他、磁気学における強磁性体の磁化についても発生の前後で自発的対称性の破れが考えられている。.
新しい！!: ゲージ理論と自発的対称性の破れ · 続きを見る »
色荷
色荷（しきか）は、強い相互作用を記述する量子色力学に関連するチャージである。 カラーチャージ（Color charge）、或いは単にカラー、色とも呼ばれる。 強い相互作用を受けるクォークと強い相互作用を媒介するグルーオンがカラーを持つ。.
電子
電子（でんし、）とは、宇宙を構成するレプトンに分類される素粒子である。素粒子標準模型では、第一世代の荷電レプトンに位置付けられる。電子は電荷−1、スピンのフェルミ粒子である。記号は e で表される。また、ワインバーグ＝サラム理論において弱アイソスピンは−、弱超電荷は−である。.
電弱相互作用
電弱相互作用（でんじゃくそうごさよう、）とは、物理学において、電磁気力と弱い相互作用を統一した相互作用である。この理論を電弱統一理論という。質量のない粒子に質量を与えるため、ヒッグス機構が考案された。.
新しい！!: ゲージ理論と電弱相互作用 · 続きを見る »
電位
電位（でんい、electric potential）は電気的なポテンシャルエネルギーに係る概念であり、 電磁気学とその応用分野である電気工学で用いられる。 点P における電位と点Q における電位の差は、P とQ の電位差 と呼ばれる。 電気工学では電位差は電圧 とも呼ばれる。 電位の単位にはV （ボルト）が用いられる。.
電磁場
電磁場（でんじば,, EMF）、あるいは電磁界（でんじかい）は、電場（電界）と磁場（磁界）の総称。 電場と磁場は時間的に変化する場合には、互いに誘起しあいながらさらにまた変化していくので、まとめて呼ばれる。 電磁場の変動が波動として空間中を伝播するとき、これを電磁波という。 電場、磁場が時間的に一定で 0 でない場合は、それぞれは分離され静電場、静磁場として別々に扱われる。 電磁場という用語を単なる概念として用いる場合と、物理量として用いる場合がある。 概念として用いる場合は電場の強度と電束密度、あるいは磁場の強度と磁束密度を明確に区別せずに用いるが、物理量として用いる場合は電場の強度と磁束密度の組であることが多い。 また、これらの物理量は電磁ポテンシャルによっても記述され、ラグランジュ形式などで扱う場合は電磁ポテンシャルが基本的な物理量として扱われる。このような場合には電磁ポテンシャルを指して電磁場という事もある。 電磁場のふるまいは、マクスウェルの方程式、あるいは量子電磁力学(QED)によって記述される。マクスウェルの方程式を解いて、電磁場のふるまいについて解析することを電磁場解析と言う。.
電磁ポテンシャル
電磁ポテンシャル（でんじポテンシャル）とは、電磁場のポテンシャル概念で、スカラーポテンシャルとベクトルポテンシャルの総称である。 物理学、特に電磁気学とその応用分野で使われる。 以下断りがない限り、古典電磁気学のケースを想定して説明する。.
新しい！!: ゲージ理論と電磁ポテンシャル · 続きを見る »
電磁テンソル
電磁テンソルとは、電磁場を相対性理論にもとづいた形式で記述したものである。以後、相対論と言えば、特に断りがなければ特殊相対性理論を指す。.
新しい！!: ゲージ理論と電磁テンソル · 続きを見る »
電磁相互作用
電磁相互作用（でんじそうごさよう）は、電場あるいは磁場から電荷が力を受ける相互作用のことをいい、基本相互作用の一つである。電磁気学によって記述される。場の理論においてラグランジアンに対してU(1)ゲージ対称性を付与することで現れるU(1)ゲージ場の成分が電磁気学におけるいわゆるスカラーポテンシャル及びベクトルポテンシャルと対応し、また自身についても対応する自由ラグランジアンを持っている。ラグランジュ形式で議論することで、物質に対応する変数でオイラーラグランジュ方程式を解くことで電磁場から物質に対しての影響を、逆に電磁場に対応する変数でオイラーラグランジュ方程式を解くことで物質側から電磁場に与える影響を導き出すことができ、それぞれ、通常の力学でのローレンツ力とマクスウェル方程式のうちのガウスの法則とアンペールマクスウェル方程式を導出することになる。.
新しい！!: ゲージ理論と電磁相互作用 · 続きを見る »
電磁気学
電磁気学（でんじきがく、）は、物理学の分野の1つであり、電気と磁気に関する現象を扱う学問である。工学分野では、電気磁気学と呼ばれることもある。.
新しい！!: ゲージ理論と電磁気学 · 続きを見る »
電荷
電荷（でんか、electric charge）は、素粒子が持つ性質の一つである。電気量とも呼ぶ。電荷の量を電荷量という。電荷量のことを単に電荷と呼んだり、電荷を持つ粒子のことを電荷と呼んだりすることもある。.
連続体力学
連続体力学 (れんぞくたいりきがく、Continuum mechanics)とは、物理的対象を連続体という空間的広がりを持った物体として理想化してその力学的挙動を解析する物理学の一分野である。連続体力学では対象である連続体を巨視的に捉え、分子構造のような内部の微視的な構造が無視できるなめらかなものであり、力を加えることで変形するものとみなす。 主な連続体として弾性体と流体がある。直観的には弾性体とは圧力を取り除くと元の状態に復帰する固体であり、流体は気体、液体、プラズマを記述するものである。 連続体力学は物体を空間上の一点に近似して扱う質点の力学とは区別され、物体の変形を許容しない剛体の力学とも区別される。剛体は、変形しにくさを表す量である弾性係数が無限大である（すなわち一切変形しない）連続体であるとみなすこともできる。 連続体の力学は材料力学、水力学、土質力学といった応用力学、およびそれらの応用分野である材料工学、化学工学、機械工学、航空宇宙工学などで用いられる。.
新しい！!: ゲージ理論と連続体力学 · 続きを見る »
陽子
陽子（ようし、（））とは、原子核を構成する粒子のうち、正の電荷をもつ粒子である。英語名のままプロトンと呼ばれることも多い。陽子は電荷+1、スピン1/2のフェルミ粒子である。記号 p で表される。 陽子とともに中性子によって原子核は構成され、これらは核子と総称される。水素（軽水素、H）の原子核は、1個の陽子のみから構成される。電子が離れてイオン化した水素イオン（H）は陽子そのものであるため、化学の領域では水素イオンをプロトンと呼ぶことが多い。 原子核物理学、素粒子物理学において、陽子はクォークが結びついた複合粒子であるハドロンに分類され、2個のアップクォークと1個のダウンクォークで構成されるバリオンである。ハドロンを分類するフレーバーは、バリオン数が1、ストレンジネスは0であり、アイソスピンは1/2、超電荷は1/2となる。バリオンの中では最も軽くて安定である。.
Symmetry
『symmetry』（シンメトリー）は、風神やMORNING GLORY等が輩出したCLOUD RECORDSより、2008年11月12日に全国リリースされたthe Canadian Clubの1stフルアルバムである。.
新しい！!: ゲージ理論とSymmetry · 続きを見る »
接続形式
数学、特に微分幾何学では、接続形式(connection form)は、微分形式や(moving frame)のことばを使うことにより、接続のデータを構成する方法である。 歴史的には、接続形式はエリ・カルタン(Élie Cartan)により20世紀の前半に導入された。これは彼の動標構の方法の一部であり、彼の主要な動機であった。接続形式は標構(frame)（座標系）の選択に依存するので、テンソル的な対象ではない。接続形式の様々な一般化や再解釈がカルタンの一連の初期の仕事で定式化された。特に、主バンドル上の接続は、テンソル的な対象として接続形式の自然な再解釈を持っている。他方、接続形式は抽象的な主バンドル上というよりは、むしろ微分可能多様体(differentiable manifold)上に定義された微分形式であるという利点を持っている。従って、テンソル性がないにもかかわらず、それらの計算の実行が比較的容易なため、接続形式は使われ続けている。 また、物理学でも、接続形式は(gauge covariant derivative)を通して、ゲージ理論の脈絡で広く使われている。 接続形式は、微分形式の行列のなすベクトルバンドルの各々の基底に結びついている。接続形式は、基底変換でレヴィ・チヴィタ接続のクリストッフェル記号と同一な方法で、変換写像(transition functions)の外微分である変換をする。接続形式の主なテンソル的な不変量は、接続形式の曲率形式である。接バンドルとベクトルバンドルを同一視する(solder form)があるときは、別の不変量があり、捩れ率形式と言われる。多くの場合、接続形式は、ベクトルバンドルに構造群がリー群であるファイバーバンドルの構造を付加したものと考えられる。.
新しい！!: ゲージ理論と接続形式 · 続きを見る »
核子
核子（かくし、nucleon）は、原子核を構成する陽子と中性子の総称。原子の原子核は陽子と中性子により構成されていることにより、これらを総称して核子と呼ぶ。陽子も中性子もバリオンの一種であるため、核子もまたバリオンの一種である。 核子はダウンクォーク(d)とアップクォーク(u)により構成される（中性子は2個のdと1個のu、陽子は1個のdと2個のu）。これに対し、ストレンジという重いクォークを含んだ重いバリオンをハイペロンと呼び、Λ（アイソスピン0、uds）, Σ（アイソスピン1、uus, uds, dds）, Ξ（アイソスピン1/2、uss, dss）, Ω（アイソスピン0, sss）と呼ばれる。また、原子核を構成する粒子にハイペロンを含んだ核をハイパー核と呼ぶ。.
格子ゲージ理論
格子ゲージ理論（こうしゲージりろん、lattice gauge theory）は、格子上に離散化された時空におけるゲージ理論である。 低エネルギー領域での量子色力学はその強結合性のために摂動論的取り扱いができないが、この困難を打開するために生まれたのが格子ゲージ理論である。1974年、クォークの閉じ込めを記述するためにケネス・ウィルソンによって初めて提唱された。1980年にはマイケル・クロイツがモンテカルロ法を用いて格子ゲージ理論による数値計算に成功し、以後、”強い相互作用の第一原理計算”として有効活用されている。 格子上で場の理論を扱う場合は格子場の理論、格子上の場の理論、格子上で量子色力学を扱う場合は格子QCD、格子量子色力学などと呼ばれる。.
新しい！!: ゲージ理論と格子ゲージ理論 · 続きを見る »
楊振寧
楊振寧（よう しんねい、1922年10月1日 - ）は中国人の物理学者。.
標準模型
標準模型（ひょうじゅんもけい、、略称: SM）とは、素粒子物理学において、強い相互作用、弱い相互作用、電磁相互作用の3つの基本的な相互作用を記述するための理論のひとつである。標準理論（ひょうじゅんりろん）または標準モデル（ひょうじゅんモデル）とも言う。.
新しい！!: ゲージ理論と標準模型 · 続きを見る »
正準量子化
正準量子化（せいじゅんりょうしか、canonical quantization）とは、古典力学的な理論から量子力学的な理論を推測する手法（量子化）の一種である。具体的には、ハミルトン力学(ハミルトン形式の古典力学)での正準変数を、正準交換関係をみたすようなエルミート演算子に置き換える。この方法では、ハミルトン力学におけるポアソン括弧が、量子力学での交換関係に対応している。正準量子化により、古典力学では可換であった力学量(c-数、cはclassicalを表す)のなす代数は、量子力学では非可換な力学量(q-数、qはquantumを表す)のなす代数に移行する。.
新しい！!: ゲージ理論と正準量子化 · 続きを見る »
波動関数
波動関数（はどうかんすう、wave function）は、もともとは波動現象一般を表す関数のことだが、現在では量子状態（より正確には純粋状態）を表す複素数値関数のことを指すことがほとんどである。.
新しい！!: ゲージ理論と波動関数 · 続きを見る »
滑らかな関数
数学において、関数の滑らかさ（なめらかさ、smoothness）は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.
新しい！!: ゲージ理論と滑らかな関数 · 続きを見る »
漸近的自由性
漸近的自由性（ぜんきんてきじゆうせい、Asymptotic freedom）とは、クォークなど粒子間に生じる力が近距離になるにつれ（エネルギースケールが大きくなるにつれ）弱くなる性質をいう。4次元の場の理論においては、特定のゲージ理論のもつ特徴である。漸近的自由性は高エネルギー散乱において、クォークが原子核内部を相互作用をしない自由粒子として振る舞う事を意味する。これは、素粒子物理における様々な事象についての散乱断面積を、を用い、正確に計算できる事を意味している。.
新しい！!: ゲージ理論と漸近的自由性 · 続きを見る »
最小作用の原理
最小作用の原理（さいしょうさようのげんり、principle of least action）は、物理学における基礎原理の一つ。特に解析力学の形成において、その基礎付けを与えた力学の原理を指す。最小作用の原理に従って、物体の運動（時間発展）は、作用積分と呼ばれる量を最小にするような軌道に沿って実現される。 物理学における最大の指導原理の一つであり、電磁気学におけるマクスウェルの方程式や相対性理論におけるアインシュタイン方程式ですら、対応するラグランジアンとこの法則を用いて導出される。また、量子力学においても、この法則そのものは、ファインマンの経路積分の考え方によって理解できる。物体は運動において様々な運動経路（軌道）をとる事が可能であるが、作用積分が極値（鞍点値）をとる(すなわち最小作用の原理を満たす)経路が最も量子力学的な確率密度が高くなる事が知られている。.
新しい！!: ゲージ理論と最小作用の原理 · 続きを見る »
断面 (位相幾何学)
位相幾何学の分野におけるファイバー束の断面（だんめん）あるいは切断（せつだん、section）若しくは横断面 (cross-section) とは、底空間をファイバー束の中に実現する写像或いはその像をいう。.
新しい！!: ゲージ理論と断面 (位相幾何学) · 続きを見る »
摂動
摂動（せつどう、 perturbation）とは、一般に力学系において、主要な力の寄与（主要項）による運動が、他の副次的な力の寄与（摂動項）によって乱される現象である。摂動という語は元来、古典力学において、ある天体の運動が他の天体から受ける引力によって乱れることを指していたが、その類推から量子力学において、粒子の運動が複数粒子の間に相互作用が働くことによって乱れることも指すようになった。なお、転じて摂動現象をもたらす副次的な力のことを摂動と呼ぶ場合がある。.
慣性
慣性（かんせい、英語：inertia）とは、ある物体が外力を受けないとき、その物体の運動状態は慣性系に対して変わらないという性質を表す。惰性ともいう。 静止している物体に力が働かないとき、その物体は慣性系に対し静止を続ける。運動する物体に力が働かないとき、その物体は慣性系に対し運動状態を変えず、等速直線運動を続ける。これは慣性の法則（運動の第1法則）として知られている。 力が働いているときではニュートンの運動方程式より 慣性が大きければ、同じ力 \vec を加えても加速度 \vec は小さくなる。これは質量 \boldsymbol が大きいということである。この質量 \boldsymbol は、各物体の慣性の大小を表す量であり、慣性質量と呼ばれる。 物体の回転を考えるときにも、回転のしやすさの大小（慣性モーメント）として、広い意味での慣性を定義することが出来る。 アイザック・ニュートンは慣性を定式化することにより、鳥が何故、地球の表面から取り残されないのか、地球が何故止まらないで動き続けているのか、という地動説の疑問に答え、地動説の正しさを証明させた。.
曲率
曲率（きょくりつ、）とは曲線や曲面の曲がり具合を表す量である。 例えば、半径 r の円周の曲率は 1/r であり、曲がり具合がきついほど曲率は大きくなる。この概念はより抽象的な図形である多様体においても用いられる。曲面上の曲線の曲率を最初に研究したのは、ホイヘンスとされ、ニュートンの貢献もさることながら、オイラーは曲率の研究に本格的に取り組んだ。その他モンジュ、ベルヌーイ、ムーニエなども研究した。.
曲率形式
微分幾何学では、曲率形式(curvature form)は、主バンドル上の接続形式の曲率を記述する。リーマン幾何学では、曲率形式は、リーマン曲率テンソルの代行物か一般化と考えることができる。.
新しい！!: ゲージ理論と曲率形式 · 続きを見る »
時空
時空（じくう、spacetime）は、時間と空間を合わせて表現する物理学の用語、または、時間と空間を同時に、場合によっては相互に関連したものとして扱う概念である。時空間（）とも。.
4元ベクトル
物理学の、特に相対性理論における4元ベクトル（よんげんべくとる、four–vector ）とは、ミンコフスキー空間またはローレンツ多様体上の 4 次元のベクトルである。より具体的には、時間に対応する物理量と空間に対応する 3 次元ベクトルをまとめて 4 次元時空上のベクトルとして表示したものである。 ベクトルということで太字で表されたり、3次元のベクトルと区別するため細字のままのこともある。4元ベクトルの添え字は などギリシャ文字を使用することが多い。 などラテン文字の添え字は、しばしば空間成分のみを表す意図で用いられる。添え字の上付き・下付きによって、後述する共変ベクトルと反変ベクトルを区別する。.
新しい！!: ゲージ理論と4元ベクトル · 続きを見る »
ここにリダイレクトされます：
ゲージ不変、ゲージ不変性、ゲージ場、ゲージ対称性、ゲージ原理、大域対称性、局所対称性、内部対称性。
