目次
1.概要
- 仕事で外国人とやり取りする時に数学用語はよく使う
- その時に、パッと英語で数学用語がでないと困る
- また、LatexはMarkdownで記述する時によく使う
- そこで、Latexと英語とRでの数学用語の基本的なメモを残す
NOTE:
- 便宜上形式的にLaTeXをLatexと表記する
2.LaTex
2.1.論理学系用語
これで基本的な用語は充足しているだろう。
日本語 | 英語 | 説明 |
---|---|---|
公準 | Postulate | 証明されないが自明とみなされる命題(特に幾何学で) |
公理 | Axiom | 自明かつ不証明の前提 |
定義 | Definition | ある用語、記号、概念の正確な意味を明示するための文 |
原理 | Principle | ある分野で理論構築の基盤となるような、基本的な法則や概念 |
命題 | Proposition | 真または偽であると判断できるもの |
定理 | Theorem | 数学における重要な命題 |
公式 | Formula | 数学的な関係を表現する式 |
系 | Corollary | 他の定理や命題から直接導出される命題 |
法則 | Law | 実験や観測に基づいて確立された一般的な原理や規則 |
前提 | Premise | 論理的な推論や数学的証明における出発点となる命題や仮定 |
条件 | Condition | ある命題、定理、または論理的結論が成り立つために必要な仮定や要件 |
仮説 | Hypothesis | 未だ証明されていない命題や仮定 |
証明 | Proof | ある命題が真であることを論理的に示す過程 |
補題 | Lemma | 主要な定理や命題の証明を容易にするために用いられる、補助的な命題 |
推論 | Inference | 既知の事実や命題から新たな結論を導く論理的なプロセス |
2.2.変数(variable)
変数の修飾
- 全ての変数(all variable)
- の下付き文字で定義時に表す
- 各変数(every variable)
- n項演算子との下付き文字で表す
- 任意の変数(any variable)
- n項演算子なしの場合は、の下付き文字で表す
アクセント
- 循環小数
- 推定値
- 平均
- 複素共役と補集合
- (エルミート共役と紛らわしいので、アスタリスクではなくバーで表す)
- 随伴行列(エルミート共役)
- 随伴行列はアスタリスク
R
|
|
ドットは単なる名前(dataオブジェクととかではない)
|
|
型の意味
関数 | 意味 |
---|---|
typeof() | R言語視点のType |
class() | クラスのtype |
mode() | S言語視点(Becker, Chambers & Wilks視点)のType |
型の例
|
|
2.3.分数(Fraction)
出力 | |
---|---|
\frac{a}{b} |
英語での分数の読み方のルールは次になる。
- 分母は「denominator, denom.」
- 分子は「numerator, numer.」
- 分数を「分子 -> 分母」の順で読む
- 分子は基数(cardinal numbers)を使う
- 分母は序数(ordinary numbers)を使う
- 序数は次の2つの意味がある
- Third: 3番目
- Third: 1/3
- 序数は次の2つの意味がある
- ただし以下に注意
- 1/1の時
- one whole
- one over one
- 分子が0の場合
- zero thirds(0/3)
- 分子が1
- 分子はaかoneで、分母は単数形
- 分母が2の時
- one half (1/2)
- a half (1/2)
- one second (1秒) <= 間違い
- half a second (0.5秒)<= 間違い
- 分母が3の時
- one third (1/3)
- 分母が4の時
- a quarter
- one fourth <= よりフォーマル
- 分母が2の時
- 分子はaかoneで、分母は単数形
- 分子が1より大きい
- 分母は複数形
- 分母が2の時
- two halves(2/2)
- two seconds (2秒) <= 2秒なので注意
- 分母が3の時
- two thirds(2/3)
- 分母が4の時
- two quarters(2/4)
- two fourths(2/4) <= これは一般的ではない
- 分母が5, 6の時
- two fifths(2/5)
- two sixths(2/6)
- three twelfths(3/12)
- 分母が巨大な時
- one hundredth (1/100) <= これでもOK
- one over one hundred (1/100) <= こっちが一般的
- 分母が2の時
- 分母は複数形
- 分子や分母が少数の時は
- one point four fifths
- one point five over three
- one point five divided by three
- 帯分数の場合はandで繋げる
- three and a half (3 + 1/2)
- three times one-half (3 x 1/2)
- 分母が分子より大きいとき
- 5 out of 10
- 1/1の時
- その他
- tenth of a millimeter(ミリメートルの十分の一)
2.4.記号(symbol)
出力 | |
---|---|
= | |
+ | |
- | |
\times | |
\div | |
\pm | |
\mp | |
\neq | |
\sim | |
\simeq | |
\fallingdotseq | |
\risingdotseq | |
\equiv | |
> | |
< | |
\geq | |
\geqq | |
\leq | |
\leqq | |
\gg | |
\ll | |
\oplus | |
\ominus | |
\otimes | |
\oslash | |
\circ | |
\cdot | |
\cdots | |
\bullet | |
\in | |
\ni | |
\notin | |
\subset | |
\supset | |
\subseteq | |
\supseteq | |
\cap | |
\cup | |
\emptyset | |
\infty |
2.5.集合(set)
- 集合は大文字
- 元(要素)は小文字
特徴づけ(characterize)
- 性質P(property)が対象Xを特徴づける
- もしくは条件
条件付き確率()の場合は括弧、特徴付けは波括弧の中でパイプをつかう
集合の関係
出力 | |
---|---|
\in | |
\ni | |
\notin | |
\subset | |
\supset | |
\subseteq | |
\supseteq | |
\cap | |
\cup | |
\emptyset | |
\infty |
2.6.数の集合(Set of numbers)
意味 | 出力 | |
---|---|---|
自然数 | \mathbb{N} | |
整数 | \mathbb{Z} | |
有理数 | \mathbb{Q} | |
実数 | \mathbb{R} | |
複素数 | \mathbb{C} |
例
2.7.関数(function)
関数
関数の引数が複数の場合。
コロンの場合は、複数引数を使う。
セミコロンの場合は、セミコロンの前は変数、セミコロンの後はパラメータとなる。
セミコロンの意味:
- はパラメータによって特徴付けられる、変数の関数みたいなイメージ
- つまり、は係数としての性格が強く、を固定しての関数と見なすことが多い
ベクトル関数
写像
場合分け
R
|
|
2.8.集計関数(aggregate function)
総乗
総乗
集合を使った場合
R
- max / min / which.max / which.min 最大値/ 最小値/ 最大値のある場所 / 最小値のある場所
- unique 重複除去
- sum / mean / median / var 合計 / 平均値 / 中央値 / 不偏分散
2.9.三角関数(trigonometric function)
出力 | |
---|---|
\sin x | |
\cos x | |
\tan x | |
\csc x | |
\sec x | |
\cot x | |
\arcsin x | |
\arccos x | |
\arctan x | |
\sinh x | |
\cosh x | |
\tanh x |
R
|
|
2.10.ギリシャ文字(greek letters)
出力 | 出力 | 読み方 | ||
---|---|---|---|---|
A | \alpha | アルファ | ||
B | \beta | ベータ | ||
\Gamma | \gamma | ガンマ | ||
\Delta | \delta | デルタ | ||
E | \epsilon | イプシロン | ||
Z | \zeta | ゼータ | ||
H | \eta | イータ | ||
\Theta | \theta | シータ | ||
I | \iota | イオタ | ||
K | \kappa | カッパ | ||
\Lambda | \lambda | ラムダ | ||
M | \mu | ミュー | ||
N | \nu | ニュー | ||
\Xi | \xi | クシー | ||
O | o | オミクロン | ||
\Pi | \pi | パイ | ||
P | \rho | ロー | ||
\Sigma | \sigma | シグマ | ||
T | \tau | タウ | ||
\upsilon | \upsilon | ユプシロン | ||
\Phi | \phi | ファイ | ||
X | \chi | カイ | ||
\Psi | \psi | プシー | ||
\Omega | \omega | オメガ |
変数
出力 | 読み方 | |
---|---|---|
\varepsilon | イプシロン | |
\vartheta | シータ | |
\varrho | ロー | |
\varsigma | シグマ | |
\varphi | ファイ |
2.11.数列(sequence)
2.12.指数(exponential)
出力 | |
---|---|
\exp x |
指数関数のグラフ。
- 定義域(domain)
- (-∞,∞)
- 値域(range)
- (0,∞)
R
|
|
ネイピア数はexp(1)
で表現する
|
|
2.13.級数(series)
R
|
|
2.14.区間(interval)
開区間
閉区間
2.15.ベクトル(vector)
出力 | |
---|---|
\vec{x} | |
\overrightarrow{x} | |
\hat{x} |
R
|
|
2.16.累乗/冪乗(power)
表記
出力 | |
---|---|
e^x |
累乗と冪乗の違い
乗 | 意味 |
---|---|
累乗 | 指数部が自然数 |
冪乗 | 指数部が実数 |
2.17.対数(Logarithm)
出力 | |
---|---|
\log x | |
\log_a x | |
\ln x |
対数関数のグラフ。
- 定義(domain)
- (0,∞)
- 値域(range)
- (-∞,∞)
常用対数と自然対数
- | 正式表記 | 省略表記 | 別表記 |
---|---|---|---|
自然対数(底=e) | |||
常用対数(底=10) | - | ||
ニ進対数(底=2) | - | ||
指数関数 | - |
- 対数は、底(base)と真数(antilogarithm)を使って と書くのが正式な表記。
R
ちなみに、Rにはネイピア数の定数はないので、exp(1)
を使う必要がある
|
|
2.18.累乗根(root)
出力 | |
---|---|
\sqrt{x} | |
\sqrt[n]{x} |
- 平方根(Square Root)
- The square root of x
- 立方根(Cube Root)
- The cube root of x
- N-th根
- The n-th root of n
2.19.行列(matrix)
集合は小文字、行列は太字。
R
|
|
データフレーム (行列にヘッダをつけたもの)
|
|
2.20.極限(limit)
出力 | |
---|---|
lim_{n \to \infty} |
2.21.微分(derivative)
2.22.微分・勾配記号(derivative symbol)
出力 | |
---|---|
\nabla | |
\partial |
1次微分
2次微分
偏微分
2.23.積分(Integral)
面積分(surface integral)
線積分(line integral)
2.24.組合せ(combination)
- 組み合わせ(combination)
- 順列(permutation)
- 斉次積(Homogeneous product)
出力 | |
---|---|
{}_nC_r | |
{}_nH_r | |
{}_nP_r |
2.25.階乗(factorial)
3.まとめ
- 数字は民主的であり、証明は理路整然とした論理を求める
- 外国人にも伝わりやすいし、日常会話でも序数で条件を挙げると納得されやすい
- 故に正しく使って効率良くコミュニケーションを取るのが大事