ホーム > 記事

記事

Θ-記法の同値性

前回は $O$-記法が実数関数同士の「ある意味での大小関係」として捉えられることを説明した。今回は $\Theta$-記法が実数関数同士の同値関係であること、つまり $\Theta$-記法が実数関数同士の「ある意味で等しい」ことを表す関係としてとらえられることを示す。そのことにより、シリーズ最初の記事で与えた「$f$ のオーダーと $g$ のオーダーは同程度である」という表現が実態に合っていることを確かめる。

O-記法の前順序性

シリーズの最初の記事で、2つの実数関数 $f$, $g$ 同士の比較方法として $O$-記法 ($f\in O(g)$) を定義し、直感的に「$f$ のオーダーは $g$ のオーダー以下である」という表現を与えた。この記事では、このまるで大小関係であるかのような直感的表現が実態とかけ離れていないことを説明する。