はじめに
数学の解説に関しては、普段私が用いているルールに則った記号・記法を用いる。式を読んでいて文字が何を指しているかわからなくなったらここを確認してほしい。
列挙
もっとも注意すべきは私が勝手に用いている列挙(enumerate)の記号であり、
i=1Enxi=x1,x2,…,xn を表すものである。列挙の範囲が文脈から明確ならば
Exi=x1,x2,…,xn と書くこともあるし、添字が複数あるならば列挙したい文字を指定して
iExij=x1j,x2j,…,xnj と書くこともある。
この記法は集合、ベクトルや数の組などを
{Exi}(Exi)={x1,x2,…,xn}=(x1,x2,…,xn) と表記できるし、複数の等式制約などを表記するときも
iE{gi(x)=ci} と書けるので非常に便利である。列挙の記法はあくまで私が勝手に用いているだけで一般的ではないため、なるべく使わないよう心がけるが、たとえば複数の等式制約を
gi(x)=cii∈{1,2,…,n} と書くよりも楽なのでときどき使うことがある。
ちなみに列挙の右下に2項演算子∗を置くことで、列挙中のコンマ( , )を演算子で置き換える操作も定義しておくと面白い。つまり
E∗xi=x1∗x2∗⋯∗xn とすれば、総和Σや総乗Πを
Σ=E+Π=E× と定義できる(独自の記法を積み重ねると誰も読めなくなるので解説中は決して使わないが)。
紙面を節約しつつ混乱を防げるのでかなり便利な記法だと思うのだが、なぜ誰も発明しなかったのだろう(数学の歴史は長いので誰かは発明していると思うのだが、なぜ一般的ではないのだろう)。
添字
添字は本書中でも少なくとも
の6種類の用途で用いられる。6番目については誤解することはほぼないだろうが、それ以外は混乱を招きやすいので、原則として
とする。例外として
反変共変があまり重要でないとき、ベクトルのi番目の成分を下付き添字で表す
こともある。
添字が3つ以上ある場合はどういう記号法を用いるか説明するよう心がけるので文脈から判断してほしい。一応、いくつか私がよく使う例を挙げておく。
xのn乗:xnまたは(x)n
xのi番目の共変成分:xi
k回目のイテレーションにおけるx:xkまたはx(k)
i番目に観測されたデータx:x(i)
上記で2種類記法があるものは、紛らわしい場合に右側のものを使う。つまりk回目のイテレーションにおけるl番目の変数xの反変i番目、共変j番目のn乗を
(xj(k)i(l))n で表すものとし、誤解のない範囲で必要ない添字や ( ) を適宜省略する。この記法では添字が5種類まで使えることになるのでほぼ困ることはない。
観測したデータの集合
観測したデータの集合は慣習にならってDでおく。ラベルつきデータの場合は
D={(x(1),y(1)),(x(2),y(2)),…,(x(n),y(n))}={E(x(i),y(i))} であり、ラベルなしの場合は
D={x(1),x(2),…,x(n)}={Ex(i)} である。いずれの場合もi番目のデータを
D(i) と表すことがある。
スカラー、ベクトル、行列など
スカラーとベクトルを太字で区別することは基本的にはしない。説明の始めのほうにx∈Rと書いてあったらxはスカラー(実数)であり、x∈Rnと書かれていたらxはn次元のベクトル(実数ベクトル)である。
代わりにa,b,c,kなどはスカラー、x,y,mなどはベクトルといったように、使う文字は極力区別するよう配慮する。状況にもよるが、大雑把には
a,b,c,d:スカラー
h:スカラー、関数、ベクトルなど臨機応変に使う
p,q,r,s,t:スカラー、ベクトルなど臨機応変に使う
u,v,w,x,y,z:主にベクトルを表すのに使う。ベクトルの1次元の場合としてスカラーに用いることがある。
という区別をしている。ギリシャ文字も大体この規則に従う。
x∈Rnと書いたときxは行列表記において列ベクトルであるとする。xTは行ベクトルである。行ベクトルはxT=(x1,x2,…,xn)のように要素を横に並べて書く。したがって列ベクトルはx=(x1,x2,…,xn)Tのように横に並べたものを転置することで表記する。あるいは直接的に
x=x1x2⋮xn と縦書きにすることもある。添字は列ベクトルの要素のとき右上に、行ベクトルの要素のときは右下に書くことが多い。添字が右上にあるとき冪乗と混同しないように注意。
AやHのような大文字は行列を表すことが多い。これもA∈Rm×nのようにどの空間の元であるか最初になるべく明記する。
f:R→RはRを定義域にとりRを値域とする関数である。同様にf:Rn→RはRnを定義域にとりRを値域とする関数である。