英語の勉強
ひよこてんぷらです。自分用の英語勉強ページです。「数学のための英語教本」に書かれていることのうち、自分が使えそうだと思ったことをコメントをつけながら載せておきます。
基礎的な知識
☆ Theorem 1.1, Chapter 1.2, equation (1.3)などは番号付きのときは冠詞theを付けないらしい。難しい……
☆ 定理や公式はtheをつける。一方でtheoryは無冠詞!!なんで!?(theoryはその一部もtheoryなので不可算らしい)
例1: the Schwartz inequality, the mean value theorem, the Bolzano-Wierstrass theorem
例2: Galois theory, probability theory
☆ 序数はtheらしい。最上級~estにはtheを付けるというのは高校で習った気がするけど、存在が分からない、あるいは存在しないときはaになるらしい。ムズ……
例1: The first and second derivatives of a function
例2: has neither a largest nor a smallest number.
☆ 誤解の恐れがないときは冠詞の省略が可能である。
例: the supremum and infimun
☆ regard, obtain, have, yieldなどは後ろにthatを付けられないらしい……マジか!!
例: By Lemma 1.1, we have .
語彙
for that reason = for this reason = thus = as a result of this = in this way = consequently
☞ ゆえに
in other words = that is = i.e.
☞ すなわち
similarly = in a similar fashion = in a similar manner
☞ 同様にして
in fact = to be more precise
☞ 実際に
In consrast to ~
☞ ~と対照的に
Summarizing,
☞ 要するに
Technically,
☞ (証明などにおける)技術面では
Conversely,
☞ (必要十分での証明で、)逆に
ensure the existence of ~
☞ ~の存在を保証する
We begin with ~
☞ まず~から始める
unless explicitly stated otherwise
☞ 特に断らない限り
This completes the proof.
☞ 証明終わり
We have the desired result.
☞ 所望の結果を得る
~, so that … = ~, and therefore …
☞ すなわち…
so that = in order that = for the purpose of
☞ そのために
☆ 前にカンマがあるかないかで意味が異なってくる。ややこしいな……
もうちょっと具体的な語彙
by induction on
☞ に関する帰納法により
Using this result,
☞ この結果を用いれば
Letting in (1.1),
☞ (1.1)で とすれば
Reversing the roles of and ,
☞ と を逆にして考えれば
Given ,
☞ が与えられたとき(慣用表現)
Theorem 1.1 shows that ~
☞ 定理1.1から~が分かる
Theorems 1.1 and 1.2 together show that ~
☞ 定理1.1と1.2から~が分かる
continuous on
☞ 上で連続
consinuous at
☞ で連続
there is some in
☞ 内にある点 が存在して
every point of
☞ のどの点も
☆ 前置詞on, at, in, ofの使い分け。よくわからない……とりあえずカタチで覚えてしまえ。
~, which is a contradiction.
☞ ~は矛盾である
This contradicts ~
☞ これは~と矛盾する
This is a contradiction.
☞ これは矛盾である
☆ 背理法で使えそうな表現たち。
the circle of radius centered at the origin
☞ 半径 の原点を中心とする円
a polynomial in of degree
☞ の 次多項式
The matrix has rank .
☞ その行列は階数 である
The circle has diameter . = The diameter of the circle is .
☞ その円の直径は である
☆ of+名詞+値やhave+名詞+値という公式だ。
balls of radii at most with centers in
☞ 半径が 以下で 内に中心を持つような球
☆ radiusの複数形がradii!?そんなの知らんよ!!って思ったけど確かrhombusの複数形はrhombiだしまあそうか……
is any number with
is any number satisfying
is any number that satisfies
☆ どれも同じ表現。最後のは関係代名詞だが、anyがあるとwhichじゃなくてthatらしい。よくわからない……
例文など
The difficulty will be overcome by using the following notions.
☞ 次の概念を使えばこの問題は解決できる
This is basically what Theorem 1.1 says.
☞ これが本来定理1.1が述べていることである
The same reasoning as in Theorem 1.1 leads to Theorem 1.2.
☞ 定理1.1と同様の手法で定理1.2を得る
Lemma 1.1, which we proved in this section, is crucial for the proof of Theorem 2.1 in the next section.
☞ この章で補題1.1を証明したが、これは次の章の定理2.1の証明において重要である
Let be an integer greater than .
☞ を より大きい整数とする
Let denote the set of all even numbers.
☞ を偶数全体の集合とする
The integers are denoted by .
☞ 整数全体の集合は で表される
Let denote the residue of the function at .
☞ 関数 の における留数を と表す
Taking the infimum over in (1.1) yields (1.2).
☞ (1.1)で の下限をとり、(1.2)を得る
Squaring a positive number less than yields a smaller number.
☞ より小さい数を二乗すればさらに小さくなる
Taking the th derivative in both sides yields ~.
☞ 両辺の 階微分を考えれば、~を得る
In what follows, will be an eigenvector of corresponding to .
☞ これ以降、 は行列 の固有値 に対応する固有vectorとする
This function does satisfy the conclusion of Theorem 1.1, even though is not continuous on .
☞ この関数 は 上連続でないにもかかわらず、定理1.1の結論が成り立つ
The solution of equation (1.1) is given by .
☞ 方程式(1.1)の解は である
a solution of equation (1.1)
☞ 方程式(1.1)の解
☆ 下の場合は解は1つとは限らない。さらに、初めて言及された場合である。
The equation has a solution which is positive.
☞ 方程式 は正の解を持つ
The equation has a unique solution, which is positive.
☞ 方程式 はただ一つの解を持ち、その解は正である
☆ 上は正でない解も持つかもしれない。コンマがあるのとないので用法が異なる。確かに高校でやったような気がするな……
is the set of real numbers.
is a set of real numbers.
☆ 上は実数全体の集合 に対し、下は実数の集合だが全体とは限らない。したがって冠詞はaとしている。
We devide the sum into two parts: .
☆ devide ~ into …で~を…に分ける。
The approximation is valid for sufficiently small.
☆ for ~は~に対してという感じ。仮定のニュアンスにもなる。
The conclusion fails to hold.
☞ 結論は成り立たない
The conclusion may fail to hold.
☞ 結論は必ずしも成り立たない
If continuity fails to hold at a single point, then the conclusions may fail.
☞ 1点でも不連続点があれば、結論は成り立つとは限らない
☆ fail to holdで成り立たないを意味するらしい。
Let be a by matrix.
Let be the matrix
\begin{equation} A=\left(\begin{array}{cc} 1 & 2 \\ 3 & 4\end{array}\right). \end{equation}
☆ どちらも 行列の導入だが、上は具体的な形が与えられていないので冠詞aを付け、下はtheである。上の場合も一度導入した以降同じ行列 を取り扱う場合はtheをつける。難しい……
A function is a differenciable function whose derivative is continuous.
A function is a differenciable function the derivative of which is continuous.
☆ 同じ意味らしい。よくわからない。
Let be a continuous function defined on .
☞ を 上で定義された関数とする
The -neighbourhood of a set is defined to be the set of points within distance of .
☞ 集合 の 近傍は、 からの距離が 以内であるような点の集合として定義される
We define the diameter of a non-empty subset of as the greatest distance between any pair of points in .
☞ の空でない部分集合 の直径 を、 に属する2点の最大の距離と定義する
Define the function by setting .
☆ be defined to be ~ や We define ~ as …, Define ~ by setting …などで定義ができる。名詞の後のdefinedは過去分詞の形容詞的用法……という言葉を覚えても仕方ないので例文を覚えよう。
A series is said to be absolutely convergent if converges.
☆be said to be ~ if …で用語の定義ができるらしい!!
The empty set is written as .
☞ 空集合は と書かれる
The set is termed the complement of .
☞ 集合 は の補集合と呼ばれる
☆ be written asやbe termedで書かれる、呼ばれるなど。
The integers are denoted by and the rational numbers by .
☆ 後ろのare denotedは省略されている。こういうのもアリなのか……
A function is called an injection if whenever .
☞ 関数 が単射であるとは、 ならば となることである
☆ 定義の場合の冠詞はaらしい。whenever(いつでも)という表現は使ってこなかったので覚えておこう……
an arbitrary collection of sets
☞ 任意の集合族
an open set contained in = an open set that is contained in
☞ に含まれる開集合
any collection of open sets which covers (i.e. with union containing )
☞ を覆う(すなわち和集合が を含む)開集合の任意の族
☆ with union containing = whose union contains らしい。むず……
In this case, equals the interior of , and therefore is open.
☞ この場合は は の内部であり、したがって開集合である
Absolute convergence is therefore a stronger property than ordinary convergence.
☞ ゆえに、絶対収束は普通の収束より強い性質である
☆ Thereforeって文頭にしか使ってこなかったけど、and thereforeやbe thereforeという使い方もあるのか……
If and were two identities
☞ もし と が2つの単位元だとすると
☆ 仮定法のwere。そういえば高校でやった気がするな……
We cannnot choose , nor can we choose .
☞ とできないし、 ともできない。
☆ norの後はwe canじゃなくてcan weらしい。難しい……
Without independent eigenvectors = If does not have independent eigenvectors
☞ もし(行列 に対して) 個の線形独立な固有vectorがなければ
☆ withoutで仮定を表すこともある。なるほど……
Addition and scalar multiplication are defined in the usual manner, so that and , where is a real scalar.
☆ in the usual mannerは通常と同じように、so thatはつまり、whereはここでを意味する感じらしい。なお、in the usual mannerにおいて、ここでの「普通」は当たり前なことなので既知として冠詞はtheになる。難しいな……
Taking the limit as and using (1.1) gives the desired result.
☞ の極限を取り(1.1)を用いれば、所望の結果を得る
☆ andがあるが、結果を得るにはどちらの操作も必要なので単数扱い、すなわちgiveではなくgivesらしい。難しすぎでしょ……
とりあえずまずはこれくらいを理解しよう……