関数 f の任意の引数をドット (⋅) で表す記法。
真偽の数値化¶
引数の真偽 {true, false} を {0,1} に変換する記法
指示関数(indicator function)¶
1(⋅) や 1[⋅]、 I(⋅) などと表される。
例:
1(x>0):={10x>0x≤0 アイバーソン括弧(Iverson bracket)¶
[⋅] と表される。
例:
[x>0]:={10x>0x≤0 イコールっぽいやつ¶
| 記号 | 意味 | 説明 |
|---|
| := | 定義 | 「左辺を右辺のように定義する」 |
| ≈ | 近似 | 「ほぼ等しい」 |
| ∝ | 比例 | 「に比例する」 |
総和・総積¶
| 記号 | 意味 | 説明 |
|---|
| ∑i=1n | 総和記号 | ∑i=1nxi=x1+x2+⋯+xn |
| ∏i=1n | 総積記号 | ∏i=1nxi=x1×x2×⋯×xn |
集合の定義
外延(extension):要素を列挙する方法
内包(intension):性質を記述する方法
| 記号 | 意味 | 説明 |
|---|
| ∈ | 属する | x∈A は「xは集合Aに属する」 |
| ∈/ | 属さない | x∈/A |
| ⊂ | 部分集合 | A⊂B は「AはBの部分集合」 |
| ∪ | 和集合 | A∪B |
| ∩ | 共通部分(積集合) | A∩B |
| ∅ | 空集合 | 要素がない集合 |
論理記号¶
| 記号 | 意味 | 説明 |
|---|
| ∀ | 任意の | 「すべてのxについて」 |
| ∃ | 存在する | 「あるxが存在する」 |
| ⇒ | 含意 | 「ならば」 |
| ⇔ | 同値 | 「同値である」 |
その他のよく使う記号¶
| 記号 | 意味 | 説明 |
|---|
| ⋅ | 掛け算 | (a⋅b) |
| ⊕ | 直和 | ベクトル空間の直和など |
| ⊗ | テンソル積 | 外積 |
| ⌊x⌋ | 切り捨て(floor) | x以下の最大の整数 |
| ⌈x⌉ | 切り上げ(ceil) | x以上の最小の整数 |
| argminxf(x) | 最小化 | f(x)を最小にするx |
| argmaxxf(x) | 最大化 | f(x)を最大にするx |
| ∴ | よって | 論理展開の結論 |
| ∵ | なぜなら | 理由の提示 |