ランダウの記号でも定式化がしたい!
Taylor 展開とは平均値の定理を繰り返し用いる事によって適当に滑らかな函数の冪級数展開を与えるものですが、何も全ての項が必要になるとは限らなくて、そういう場合に残りの項については「今気にしない程度の大きさである事」だけ分かればよい訳です。
その為の記法が Landau の記号であって、例えば に於いて で と同程度に速く減衰する項をあまり気にしない時は と書きます。
これが非常に便利ではあるのですが、同時に で「 程度の何か」を指すというのは釈然としない記法でもあります。数学的に適当な事を書いている様な印象。しかし Landau の記号が指すものを集合と看做すならば、環 上のイデアル により の への射影したものを と書く様に、集合を足したりするが如き記法も無い訳ではありません。
の筈ですから Laudau の記号がイデアルにはなりませんが、函数全体の線型部分空間と考えるとどうだろうか、というのがここからのお話です。
さて を の部分集合とし、 上の実数値函数全体の集合を と置きます。
に対して和を 、スカラー倍を について と定めれば は実線型空間となっています。また函数同士の積も で定義されます。
それから の場合を別に扱うのは面倒なので、 を一点コンパクト化として は 上での の閉包とします。これにより、例えば の時 となり*1、「 の近傍」を使って極限の議論が可能になります。一般に に於ける の近傍系を と書く事にします。
Landau の記号
と定義する。また でなく としたものを と定義する。
定義から直ちに や が分かります。
は要するに の十分近くに於いて の定数倍で抑えられる函数全体の集合であり、特に の値が 付近で でない時は です。上極限が特に の場合が という事になります。
線型性
とする。仮定より正実数 と の近傍 が存在し、 が成り立つ()。
任意の と について
であり、 より は の近傍なので、 が成り立つ。
これにより商空間 を考える事が出来ます。以下、標準全射 を と書く事にしましょう。また の場合は線型写像
が誘導されますが、これを と書く事にします。
に対して同値類 は や と書き表されるのが一般的に思いますが、 と書く場合もある様なのでそれを採用すると、あの曖昧模糊としていた Landau の記法がこうした同値類を表すものとして解釈出来そうだと分かってきます。
以下、Landau の記号に期待される性質がこの捉え方から導ける事を示しましょう。
同値性
より例えば が成り立つので、 となり である。
逆に とする。 に対して が成り立つので である。 より なので、任意の に対し が成り立つ。即ち である。
より なので が成り立つ。
すると より である。
よって であり、逆も同様なので が成り立つ。
演算
が成り立つから、 である。
について であったので、 に対して が成り立ち、 倍写像 は写像 を誘導する事が分かります。
より が成り立つ。
特に と が打ち消し合わない限り となります。
最後に と の積を考えてみます。
と置くと であり、 より となりますから、結局
が成り立っている事が分かります。
解析学の例
として、 と置きます。 ] より なので が定義でき、これが通常 と書かれるものです。
であり(この二つ目の等号は、厳密には「左辺を で射影すると右辺になる」意です)、両辺を 倍すると となります。ここで より なので であり、両辺を 倍する事で を得ますから が成り立ちます。この結果は の Taylor 展開や、等比級数の和の公式を へ適用したものと一致しています(但しその場合は の漸近挙動だけでなくて 上の函数等式が得られます)。
計算量理論の例
として、 と置きます。 は離散位相を入れるとコンパクトでないから 上で稠密であり、従って は実際に の様な発散数列の極限となっています。 は の基本近傍系なので、今の場合は
が成り立ちます。計算量理論ではこれが通常 と書かれるものです。
Wikipedia の記事 から例を拾ってくると、例えば は から
となります。
*1:一点コンパクト化だと になってしまいますが、まぁ正負の両方向を同時に考えたりはしないので問題無いでしょう。