数学・物理の英語の例文集¶
英数¶
- $E_N(Z, \vectorR)$は原子核が動かない場合の基底エネルギーを表わし, $E_{N, M}(Z)$は原子核が動く場合の基底エネルギーであることを思い出そう. \cite{LiebSeiringer1}
Recall that $E_N(Z, \vectorR)$ denotes the ground state energy in the fixed nuclear case, and $E_{N, M}(Z)$ is the ground state energy in the case of dynamic nuclei.
- $\gamma = 1$の場合に着目しよう. \cite{LiebSeiringer1}
Let us focus on the case $\gamma = 1$.
- $k$を標数$0$の体とし, $\rbk{x_i}_{i \in I}$を有限集合$I$を添字とする独立変数の族とする.
Let $k$ be a field of characteristic zero and let $\rbk{x_i}_{i \in I}$ be a family of independent variables ed by a finite set $I$.
- LT 不等式の導出. \cite{LiebSeiringer1}
Derivation of the LT inequalities.
- $M$がよいフィルトレーションを持つのは $M$が有限生成のときでかつそのときに限る.
$M$ admits a good filtration if and only if $M$ is finitely generated.
- $M$をよいフィルトレーション $\Gamma$を持つ左 $W_n (k)$加群とする.
Let $M$ be a left $W_n(k)$-module endowed with a good filtration $\Gamma$.
- $N!/(N-k)!$以外の規格化も他の文献でよく使われる. \cite{LiebSeiringer1}
Normalization conventions other than $N!/(N-k)!$ are often used in the literature.
- $\abs{p}$と$1 / \abs{x}$は両方長さの逆数でスケールするので, 第一種の安定性でさえなりたたない臨界結合定数がある. \cite{LiebSeiringer1}
Since $\abs{p}$ and $1 / \abs{x}$ both scale like an inverse length, there is a critical coupling constant above which even stability of the first kind fails.
- $\psi$が $\calE$に対する最小化関数ならば $\psi_{s} / \norm{\psi_s}$もそうであるとわかる. \cite{LiebSeiringer1}
We conclude that if $\psi$ is a miniminzer for $\calE$ so is $\psi_{s} / \norm{\psi_s}$.
- $R$を (必ずしも可換とは限らない) 環とする.
Let $R$ be a ring (not necessarily commutative).
- $\Trace^{(N-k)}$は (3.1.22) で与えられる核と作用素に関して, 単純に (3.1.27) に対する略記として考える. \cite{LiebSeiringer1}
For our purposes, $\Trace^{(N-k)}$ can be thought of simply as a mnemonic device for (3.1.27), with the relation between kernel and operator given by (3.1.22).
- $Z \alpha$が非常に大きい場合 1 原子に対してですら磁場が不安定性を引き起こす可能性があるとわかったとき, また新たな不等式が必要になった. \cite{LiebSeiringer1}
Again new inequalities were needed when it was realized that magnetic fields could also cause instabilities, even for just one atom, if $Z \alpha$ is too large.
- 13 章を参照すること. \cite{LiebSeiringer1}
The reader is referred to Chapter 13.
- (4.4) の証明法を記法的に単純になる場合に限って簡単に説明しよう.
Let us briefly sketch how (4.4) is proved in the notationally simple situation.
あ行¶
- アインシュタインの相対論的運動学がどんな効果をもたらすだろうか. \cite{LiebSeiringer1}
What effect does Einstein's relativistic kinematics have?
- 与えられた非負の $\psi$に対して $\psi = \psi_{s} + \psi_{r}$と書く. \cite{LiebSeiringer1}
For given nonnegative $\psi$, we write $\psi = \psi_{s} + \psi_{r}$.
- ある粒子種の波動関数として許される関数はその種に特有のある置換対称性を持つ型に限られるというのが量子力学の基本的な要請だ. \cite{LiebSeiringer1}
It is a basic postulate of quantum mechanics that the allowed wave functions for a given particle species must belong to some definite permutation symmetry type which is characteristic of that species.
- 暗号論的疑似乱数生成器.
Cryptographically secure pseudo random number generator.
- 安定性に関する結論は精妙で普通の物理の学生が使える初等的な道具立てで簡単に導出できるわけでもないのに, 今日でさえほとんどの物理の教科書で議論されておらず, 問題が指摘されることすらない. \cite{LiebSeiringer1}
Even today hardly any physics textbook discusses, or even raises this question, even though the basic conclusion of stability is subtle and not easily derived using the elementary means available to the usual physics student.
- 一般性を失うことなく.
Without loss of generality.
- 言い換えると.
In other words.
- 以下で説明するように. \cite{LiebSeiringer1}
As shall be explained below.
- 以下での証明で出てくるのとは違う手法を使って彼女は相対論的な場合に次の不等式を示した. \cite{LiebSeiringer1}
Using a different method from the one presented in the proof below she has shown the following inequality in the relativistic case.
- 以下では. \cite{LiebSeiringer1, CharlesWeibel1}
In what follows. In the sequel.
- 以下では $\calA$が明らかな場合, $\bf{Ch}$の代わりに単に $\bf{Ch} \rbk{\calA}$と書く. \cite{CharlesWeibel1}
In the sequel we will merely write $\bf{Ch}$ for $\bf{Ch} \rbk{\calA}$ when $\calA$ is understood.
- 今知られている $d=3$に対する最良の定数は $C$だ. \cite{LiebSeiringer1}
The currently best known constant for $d=3$ is $C$.
- 動く原子核が磁場と相互作用する. \cite{LiebSeiringer1}
The dynamic nuclei are coupled to a magnetic field.
- エルゴード理論の威力と有用性の多くは, 上で議論した抽象的な設定に関する次の確率的な解釈によっている. \cite{OmriSarig1}
Much of the power and usefulness of ergodic theory is due to the following probabilistic interpretation of the abstract set up discussed above.
- 多くの初等的な量子力学の教科書を参照してほしい. これらのいくつかは数学者にも適した形で内容が説明されている. \cite{LiebSeiringer1}
They can refer to a huge number of elementary quantum mechanics texts, some of which present the subject in a way that is congenial to mathematicians.
- 多くの数学者がこの不等式の一般化と最良定数に関する評価に多大な時間を捧げてきた. \cite{LiebSeiringer1}
Quite a few mathematicians have devoted a lot of time to explore generalizations of the inequalities and bounds on the optimal constants.
か行¶
- 核がベクトル束になることはすぐわかる.
One can easily see that the kernel forms a vector bundle.
- 考えることはできる. \cite{LiebSeiringer1}
One can ask if. One can ask whether.
- 環 $R$が $0$ではなく $0$と $R$以外の両側イデアルが存在しないとき, $R$は単純であるという.
A ring $R$ is simple if $R$ is not $0$ and has no two sided ideals except $0$ and $R$.
- 環 $R$が可換とする. このとき $R$の単純性は $R$が体であることと同値になる.
Let $R$ be commutative. Then $R$ is simple if and only if $R$ is a field.
- 関数 $F(x, \dot{x}, t)$が与えられると, 上式は初期条件 $x(t_0)$と$v(t_0) = \dot{x}(t_0)$とともに 全ての時間で $x(t)$と $v(t)$を決める 2 階の常微分方程式系になる. \cite{LiebSeiringer1}
With $F(x, \dot{x}, t)$ given, the above expression is a system of second order differential equations which together with the initial conditions $x(t_0)$ and $v(t_0)$ determine $x(t)$ and thus $v(t)$ for all times.
- 簡単のため, 考察下の系はフェルミオンかボソンか, ただ一種類の粒子だけを含むと仮定しよう. \cite{LiebSeiringer1}
Assume, for simplicity, that the system under consideration contains only one species of particles, either fermions or bosons.
- 簡単にいうと, 簡単のため. \cite{LiebSeiringer1}
Simply speaking. For simplicity.
- 記号を濫用する. \cite{LiebSeiringer1}
We shall slightly abuse notaion.
- 記法を単純にするため, 以下では一番一般的に式を書いていくことは避ける. \cite{LiebSeiringer1}
In the interest of keeping the notation simple, we shall regist the temptation to write down the most general formula in the following treatment.
- 記法を決める.
We fix notation.
- 教員は興味や時間の制約に応じて話題を取捨選択してもいい. \cite{CharlesWeibel1}
The teacher may pick and choose topics according to interest and time constraints.
- 強混合性は測度論的同型の不変量であることはすぐにわかる.
It is easy to see that strong mixing is an invariant of measure theoretic isomorphism.
- クーロンポテンシャルに関するもうひとつの重要な事実にニュートンの定理がある. ある点 $x_0$のまわりで球対称な電荷分布の外側では付随するポテンシャルがまるで点 $x_0$に集中しているかのように見えることを主張する. \cite{LiebSeiringer1}
Another fact about the Coulomb potential, which will be of great importance, is Newton's theorem. It states that outside a charge distribution that is rotationally symmetric at the point $x_0$, the associated potential looks as if the charge is concenttated at the point $x_0$.
- 詳しくは A を参照すること.
See A for details.
- 群 $G$は空間 $S$に作用する.
A group $G$ acts on a space $S$.
- 原子の存在と世界の安定性を理解するために解決しなければならない基本的な問題は次のように表現できる: 何故点粒子である電子が (ほぼ) 点粒子とみなせる原子核に落ちこんでいかないのか? \cite{LiebSeiringer1}
The basic question that has to be resolved in order to understand the existence of atoms and stability of our world is: Why don't the point-like electrons fall into the (nearly) point-like nuclei?
- こうして次式を得るが, これはあとで役に立つ. \cite{LiebSeiringer1}
We thus have the following expression, a fact that will be useful later.
- 後者の量は固有値の数に等しい. \cite{LiebSeiringer1}
This latter quantity equals the number of eigenvalues.
- ここからこの本の最後まで, 物理的な $\bbRthree$の場合に制限して議論する. \cite{LiebSeiringer1}
From this point on, until the end of this book, we will restrict our attention to the physical case of $\bbRthree$.
- ここで $x_i \in \bbR^3$は $i$番目の粒子の空間座標だ. \cite{LiebSeiringer1}
Here $x_i \in \bbR^3$ is the (spatial) coodinate of the $i$-th particle.
- ここで 3 章の式 (3.1.5) と同じように, $\hat{dx_i}$という記法は $x_i$以外の全ての変数について積分するという意味で使っている. \cite{LiebSeiringer1}
Here we use the same notation as in Chapter 3, Eq. (3.1.5), with $\hat{dx_i}$ meaning that integration is over all variables but $x_i$.
- ここに書かれた内容は多かれ少なかれ自己充足的な複素代数幾何のコースを元にしている. \cite{ChrisPeters1}
The material presented here consists of a more or less self-contained advanced course in complex algebraic geometry.
- ここまでは非相対論的な運動エネルギー, $T_{\psi} = (1/2) \bkt{\psi}{p^2 \psi}$を考えてきた. \cite{LiebSeiringer1}
So far we have considered the non-relativistic kinetic energy, $T_{\psi} = (1/2) \bkt{\psi}{p^2 \psi}$.
- 古典力学から見たときのこの問題は 1915 年に Jeans によってうまくまとめられている. \cite{LiebSeiringer1}
This problem of classical mechanics wa nicely summarized by Jeans in 1915.
- この奇妙で全く予期していなかった事実を理解するため, 適切な Schrödinger 方程式がゼロモードを持つことを認識する必要があった.
The understading of this strange, and totally unforeseen, fact requires the knowledge that the appropriate Schrödinger equation has \coloredtextbf{zero-modes}.
- この章の残りでは議論を 1 粒子に制限する. \cite{LiebSeiringer1}
In the remainder of the present chapter we limit the discussion to a single particle.
- この章は以後の章で繰り返し使われる結果も含んでいる. \cite{LiebSeiringer1}
The chapter also contains several results that will be used repeatedly in the chapters to follow.
- この節での結果は次のようにまとめられる. \cite{LiebSeiringer1}
The results of this section can be summarized in the following statement.
- この節での主な論点は鎖複体がアーベル圏をなすことだ. \cite{CharlesWeibel1}
The main point of this section will be that chain complexes form an abelian category.
- この節では, この本で基底エネルギーを研究する多体系のハミルトニアンのいくつかを詳しく説明する.
In this section, we will describe in detail some of the many-body Hamiltonians whose ground state energy will be studied in this book.
- この節の残りはその導出と説明にあてる.
The rest of this subsection is devoted to their deduction and illustration.
- この第二章では量子力学に関する数学・物理の基本的事実を復習し, 物理の単位と記号を確認する. \cite{LiebSeiringer1}
In this second chapter we will review the basic mathematical and physical facts about quantum mechanics and establish physical units and notation.
- この導入部では様々な不等式を説明しよう. \cite{LiebSeiringer1}
In this introduction we shall explain the various inequalities.
- このとき, 写像 $f$は次の式で表される鎖写像になる. \cite{CharlesWeibel1}
Then a map $f$ is the chain map given by the formula.
- このノートは 1992 年秋の Leiden 大学での講義に基いている. \cite{ChrisPeters1}
These notes are based on courses given in the fall of 1992 at the University of Leiden.
- このフィルトレーションは $\scrF_d \cdot \scrF_e \subset \scrF_{d+e}$という意味で $W_n(k)$の積と整合性がある.
This filtration is compatible with the multiplication in $W_n(k)$ in the sense that $\scrF_d \cdot \scrF_e \subset \scrF_{d+e}$.
- この不等式の注目すべき点は左辺の$(N+M)^2$ある項が右辺で$N+M$項だけでおさえられていることだ. \cite{LiebSeiringer1}
The striking feature of this inequality is that $(N+M)^2$ terms on the left side are bounded by only $N+M$ terms on the right.
- この本ではずっと. \cite{AltmanKleiman1}
Throughout this book.
- この本では量子電気力学, Coulomb 多体系の安定性, 星の重力安定性, 平衡統計の基礎, そして熱力学的極限の存在を議論している. \cite{LiebSeiringer1}
The topics covered in this book include quantum electrodynamics, stability of large Coulomb systems, gravitational statbility of stars, basics of equilibrium statistical mechanics, and the existence of the thermodynamic limit.
- この本の主な目的は電磁力で相互作用する量子力学的な粒子系の基底エネルギーを研究することだ. \cite{LiebSeiringer1}
The main purpose of this book is to study the ground state energies of quantum mechanical systems of particles interacting via electric and magnetic forces.
- この本は様々な数学の分野を研究している数学者が現在よく使う方法やアイデアについて解説することを目指している.
This book aims to present those ideas and methods that can now be effectively used by mathematicians working in a variety of other fields of mathematical research.
- この本は量子力学のいろいろな分野の研究者に向けた内容になっている. \cite{LiebSeiringer1}
The book is directed towards researchers on various aspects of quantum mechanics.
- この理論の目的は $n$を無限大にする極限をとったときの $T^n(x)$の振る舞いを調べることにある. \cite{OmriSarig1}
The aim of the theory is to describe the behavior of $T^n(x)$ as $n \to \infty$.
- これが彼の結果を単純化しかつ改良する興味深い新たな不等式の導出に繋がった. \cite{LiebSeiringer1}
This led to the invention of interesiting new inequalities to simplify and improve his result.
- これは大学院の 2-3 年生に向けた本だ. \cite{CharlesWeibel1}
This book is aimed at a second- or third-year graduate student.
- これが定理を証明するために必要な最小限の設定だ. \cite{OmriSarig1}
This is the minimal setup needed to prove the theorem.
- これは読者の演習とする. \cite{LiebSeiringer1}
The reader is invited to prove this.
- これはホロノミック $W_n(k)$-加群という中心的な概念を示唆する.
This leads to the central notion of holonomic $W_n(k)$-modules.
- これらの点は次の単純な問題を考えるとわかる. \cite{CharlesWeibel1}
The following simple quesion illustrates these points.
- これらの定数に対する LT 不等式は任意のベクトルポテンシャル $A$に対して成り立つことを強調しておこう. \cite{LiebSeiringer1}
We emphasize that the LT inequalities with these constants hold for arbitrary magnetic vector potentials $A$.
- これらの不等式は物質の安定性を理解する上で決定的な役割を果たす. \cite{LiebSeiringer1}
These inequalities play a crucial role in our understanding of stability of matter.
- これを確認するため, $\calA$を $\calC$で最も小さいアーベル部分圏としよう.
To see this, let $\calA$ be the smallest abelian subcategory of $\calC$.
さ行¶
- 先の議論と組み合わせると次の命題が成立することがわかる. \cite{LiebSeiringer1}
In combination with the argument above this actually implies the following proposition.
- 作用素 $A$はトレース 1 に規格化されていない. \cite{LiebSeiringer1}
The operator $A$ is not normalized to have trace equal to one.
- 作用素値関数. \cite{LiebSeiringer1}
An operator valued function.
- さらに同じ理由からもし $H$に置換対称性があれば次の式が成立する. \cite{LiebSeiringer1}
Moreover, for the same reason the following expression holds if $H$ is invariant under permutations.
- しかし $\mu$の自己相互作用によるエネルギーが無限大になるため不等式 (5.2.6) は今は役に立たない. \cite{LiebSeiringer1}
Inequality (5.2.6) is of no use in this case, however, because of the infinite self-energy of $\mu$.
- 指数 $m$が $f_D$と選んだ点 $p \in M$に依存しないことはすぐにわかる.
It is easily verified that $m$ does not depend on $f_D$ and the chosen point $p \in M$.
- 次数づけられたベクトル空間 $\mathrm{gr}_{\Gamma} (M)$ (混乱が生じない限り単に $\mathrm{gr} (M)$) と書こう.
we denote by $\mathrm{gr}_{\Gamma} (M)$ (or simply $\mathrm{gr} (M)$) if no confusion can arise) the graded vector space.
- 示したい不等式の成立と $\gamma, d$が (以下の定理で定式化する) ある条件を満たすことが同値であることが分かる. \cite{LiebSeiringer1}
It turns out that the desired inequalities can be achieved if and only if $\gamma$ and $d$ satisfy certain conditions (stated in the theorem below).
- 射影曲線の種数を一般化したふたつの数が高次元で重要な役割を果たす. \cite{ChrisPeters1}
Two numbers, generalizing the genus of a projective curve, play an important rose in higher dimensions.
- 既に述べたように, 複素多様体 $M$上, 同型を法とした正則な直線束の集合はテンソル積に関して群をなす. \cite{ChrisPeters1}
As already said before, the collection of holomorphic line bundles on a complex manifold $M$ modulo isomorphism form a group under the tensor product.
- 正則関数の層の茎で議論すると便利だ. これで何度も何度も開近傍を明示的に小さく取り直す手間が省ける. 必要な記号を準備しよう.
It is convenient to work throughout with the stalk of the sheaf of holomorphic functions. This way we avoid shrinking open neighbourhoods explicitly again and again. Let us introduce the necessary notations.
- 前節で示した Lieb-Thirring 不等式の証明は本質的な変更なしに磁場がある場合にも適用できる. \cite{LiebSeiringer1}
The proof of the Lieb-Thirring inequalities presented in the previous section carries over to the magnetic case essentially without change.
- 前節で注意したように. \cite{LiebSeiringer1}
As remarked in the previous section.
- 相対論的力学をハミルトン形式で書くことはすぐできる. \cite{LiebSeiringer1}
It is straightforward to describe relativistic mechanics in the Hamiltonian formalism.
- 相対論的運動学にしろ非相対論的運動学にしろ, ハミルトン形式で多体系を書くことは全く難しくない. \cite{LiebSeiringer1}
There is no difficulty in describing many-body systems in the Hamitonian formalism -- with either relativistic or non-relativistic kinematics.
- 測度論での病的な現象を避けるため, $\rbk{X, \calB, \mu}$は常に標準確率空間の完備化と仮定する.
In order to avoid measure theoretic pathologies, we will always assume that $\rbk{X, \calB, \mu}$ is the completion of a standard measure space.
- その間もホモロジー代数は発展を続けた. \cite{CharlesWeibel1}
In the meantime, homological algebra continued to evolve.
- 素粒子は $S = 0, 1/2, 1, 3/2, \dots$のどれかの値を取る量で特徴づけられるスピンと呼ばれる内部自由度を持つ. \cite{LiebSeiringer1}
Elementary particles have an internal degree of freedom called spin which is characterized by a specific number that can take one of the values $S = 0, 1/2, 1, 3/2, \dots$.
た行¶
- 対称性は量子論で常に基本的な役割を果たしてきた. \cite{VSVaradarajan1}
Symmetry has always played a fundamental role in quantum theory.
- 次の概念の多粒子系への一般化は自明であり読者に任せる. \cite{LiebSeiringer1}
The generalization of the following concepts to multiple species is obvious and left to the reader.
- 次の言明を示すことが殘っている.
It remains to show the following statement.
- 次の式 $\abs{p} \geq \sqrt{p^2 + m^2} - m \geq \abs{p} - m$が成り立つので, 超相対論的なエネルギー $T_{\psi} = \bkt{\psi}{\abs{p} \psi}$を考えれば十分. \cite{LiebSeiringer1}
Because $\abs{p} \geq \sqrt{p^2 + m^2} - m \geq \abs{p} - m$, it suffices to consider the ultra-relativistic energy $T_{\psi} = \bkt{\psi}{\abs{p} \psi}$.
- 次の変換 $A \mapsto A^*, \lambda \mapsto \overline{\lambda}$のもとでこの式は変わらない.
This expression is unchanged under the transformation $A \mapsto A^*, \lambda \mapsto \overline{\lambda}$.
- 次のようにして $\mathrm{gr}_{\Gamma} (M)$に次数つき $\mathrm{gr} W_n(K)$-加群としての自然な構造を与えられる.
We can endow $\mathrm{gr}_{\Gamma} (M)$ with a natural structure of a graded $\mathrm{gr} W_n(k)$-module as follows.
- この定理は状態の Affine 写像と 1 径数自己同型群に対して様々な興味深い結果を含んでいる.
This theorem 3.2.3 has various interesting consequences for affine maps of states and for one-parameter groups of automorphisms.
- 定理 4.1 の $V$に対する仮定のもとで $E_0 > - \infty$となることは 2.2.1 節の式 (2.2.14) での議論からわかる. \cite{LiebSeiringer1}
The fact that $E_0 > - \infty$ under the assumption on $V$ stated in Theorem 4.1 already follows from the discussion in Section 2.2.1, Eq. (2.2.14).
- 電荷分布は連続または離散的な場合もありうるので, ボレル測度とみなすのが便利だ. \cite{LiebSeiringer1}
Charge distributions may be continuous or discrete and hence it is convenient to consider them as Borel measures.
- 電気力は異なる符号の電荷を持つ荷電粒子間では引力になり, 同じ符号の電荷を持つ粒子間では斥力になる. \cite{LiebSeiringer1}
The electric force is attractive between oppositely charged particles and repulsive between like-charged particle
- 点つきリーマン面.
A Riemann surface with marked points.
- 同様にして.
In a similar vain.
- 読者は他のいくつかの話題についての紹介に出会うだろう. \cite{CharlesWeibel1}
The reader will find introductions to several other subjects.
- 特に.
In particular. Especially.
- 特に断わらない限り.
Unless otherwise stated.
- \coloredtextbf{どのようにして決定論的な系がランダムに振舞い得るのか}という問題の現代的な取り扱いはこのアイデアによっている. \cite{OmriSarig1}
The modern treatment of the question \coloredtextbf{how come a deterministic system can behave randomly} is based on this idea.
- トポロジー, 正則局所環や半単純 Lie 環との歴史的な関係も説明する. \cite{CharlesWeibel1}
The historical connections with topology, regular local rings, and semisimple Lie algebras are also described.
な行¶
は行¶
- はじめに (3.1.35) が $\Gamma$の存在を示すのに十分であることを示そう. \cite{LiebSeiringer1}
We first prove that (3.1.35) suffices to insure the existence of a $\Gamma$.
- はじめにアーベル圏とは何だったか思い出す必要がある. \cite{CharlesWeibel1}
First we need to recall what an abelian category is.
- はじめに非相対論的な場合の LT 不等式を議論しよう. \cite{LiebSeiringer1}
We shall first discuss the LT inequalities in the non-relativistic case.
- 複素幾何は非常に魅力的な現代数学の 1 分野だ. 長きにわたって活発で優れた研究が多く, 最近はミラー対称性に関わる問題に関する物理的興味から多くの刺激を得ている.
Complex geometry is a highly attractive branch of modern mathematics that has witnessed many years of active and successful research and that has recently obtained new impetus from physicists' interest in questions related to mirror symmetry.
- 複素代数幾何を研究する上で基本的な対象と写像を思い出そう. \cite{ChrisPeters1}
I recall the basic objects and maps one works with in complex algebraic geometry.
- 複素または射影多様体に関する一般論. \cite{ChrisPeters1}
Generalities on complex and projective manifolds.
- 舞台を整えるため基本的な概念と慣例を復習するところからはじめよう. \cite{AltmanKleiman1}
We begin by reviewing basic notions and conventions to set the stage.
- 普通の物質の基本的な構成要素は電子と原子核だ. \cite{LiebSeiringer1}
The basic constituents of ordinary matter are electrons and atomic nuclei.
- 物理学者が物質の世界を記述する基盤となる基礎理論は量子力学だ. \cite{LiebSeiringer1}
The fundamental theory that underlies the physicist's description of the material world is quantum mechanics.
- 物理学者は量子力学を原子・分子レベルでの\coloredtextbf{万物の理論}だと固く信じている. \cite{LiebSeiringer1}
Physicists firmly believe that quantum mechanics is a \coloredtextbf{theory of everything} at the level of atoms and molecules.
- 物理の文献では対称性の型の選択を波動関数か粒子の\coloredtextbf{統計}と呼ぶことがよくある. \cite{LiebSeiringer1}
It is common in the physics literature to refer to the choice of symmetry type as the *statistics of the particles or of their wave function.
- 不等式を出す前にその\coloredtextbf{半古典}近似について議論しよう. これで不等式をわかりやすく自然に理解できるようになる. \cite{LiebSeiringer1}
Before presenting the inequalities let us discuss their \coloredtextbf{semiclassical} interpretation, which will make them more transparent and natural.
- 変数 $z_{k+1}, \dots, z_N$で積分される. \cite{LiebSeiringer1}
The variables $z_{k+1}, \dots, z_N$ are integrated out.
- 便利な関数空間はいろいろあり, それらを状況に応じて使いわけていく.
There are many useful function spaces and we select a proper space as the situation demands.
- ホモロジー代数は代数的位相幾何, 群論, 可換環論, そして代数幾何などのいくつかの数学の分野で使われる道具だ. \cite{CharlesWeibel1}
Homological algebra is a tool used in several branches of mathematics: algebraic topology, group theory, commutative ring theory, and algebraic geometry.
ま行¶
- 前の節で説明したように, 粒子の座標は $\bbRthree \times \cbk{1, \dots, q}$内の点, つまり点 $x \in \bbRthree$と点 $\sigma \in \cbk{1, \dots, q}$で表す. \cite{LiebSeiringer1}
As explained in the previous section, the coordinate of a particle is a point in $\bbRthree \times \cbk{1, \dots, q}$, i.e., a point $x \in \bbRthree$ and a point $\sigma \in \cbk{1, \dots, q}$.
- まず $e>0$の場合を考えよう. \cite{LiebSeiringer1}
We first consider the case $e > 0$.
- 目的は (4.2.1) を $E_j$の代わりに $T$をおさえるのに使うことだ. \cite{LiebSeiringer1}
Our goal is to use (4.2.1) to bound $T$ instead of the $E_j$.
- もし $H$が置換対称性を持つなら, 回転対称性を持つ $H$に対するエネルギーを最小化する状態がある角運動量の値を持つのとちょうど同じように, 全ての (規格化された) 可能な関数のうち $\rbkt{\phi}{H \phi}$の最小値を与える $\phi$はある統計性を持つと一般性を失うことなく仮定できることに注意する. \cite{LiebSeiringer1}
We note that if $H$ is permutation invariant, the $\phi$ that yields the lowest value of $\rbkt{\phi}{H \phi}$ among all possible (normalized) functions can be taken to have a definite symmetry type without loss of generality, just as an energy minimizing state for a rotation invariant $H$ can be taken to have a definite angular momentum.
- 最も単純に言えば, 力学系とは集合 $X$上に定義された関数 $T$のことだ. \cite{OmriSarig1}
At its simplest form, a dynamical system is a function $T$ defined on a set $X$.
や行¶
ら行¶
- (量子力学的粒子の) 統計 \cite{LiebSeiringer1}
A statistics (of a quantum particle).
- 量子力学と古典力学の関係は半古典近似で明らかになる. \cite{LiebSeiringer1}
The connection between quantum mechanics and classical mechanics becomes apparent in the semiclassical limit.
- 量子力学の最初期にルーツを持つ半古典的なアプローチによれば, ($p \in \bbRd, x \in \bbRd$として $\rbk(p, x)$ の点の組からなる) $2d$-次元の相空間の各体積 $\rbk{2 \pi \hbar}^d$はひとつの量子状態に対応する. \cite{LiebSeiringer1}
According to the semiclassical approach, which goes back to the earliest days of quantum mechanics, each volume $\rbk{2 \pi}^d$ in $2d$-dimensional phase space (consisting of pairs of points $(p, x)$ with $p \in \bbRd$ and $x \in \bbRd$) can support one quantum state.
- 例としてクーロン力で相互作用する $N$個の電子と $M$個の静止した原子核の問題を考えよう. \cite{LiebSeiringer1}
As an example, consider the problem of $N$ electrons and $M$ nuclei interacting with each other via the Coulomb force.
- 歴史的な経緯は追わない.
We will not necessarily follow the historical route.
わ行¶
- ワイル代数が部分ベクトル空間による自然なフィルター構造を持つことを思い出そう.
Recall that the Weyl algebra $W_n(k)$ is naturally filtered by the sub-vectorspaces.