我々は集合を常に持っているとし,完全にランダムにこの元を選ぶことができるとする.
そして,
- 選択肢の集合に出会う.
- の中から一つ選ぶ
というプロセスを考える.
我々は選択肢に出会った瞬間,関数を定義し,乱数を発生させ,を選ぶ.
では,関数の性質を考えよう.
の中に「絶対に選びたくない」ものが ある場合もあるだろう.この場合,は全射にならない.完全にランダムに選ぶなら,は単射である.それをしないならば,は単射にならない.
次に,というものを考えよう.この集合のサイズが大きければ,選ばれる可能性が高そうである.では,集合のサイズを測る関数を用意しよう.とする.ここで,は冪集合,つまり,の部分集合の集合である.値域をとしたのは,大きさがマイナスというのは直感的によくわからないし,大きさが無限大というのもどういうことなのかわからないからである.以上を踏まえて,を,が選ばれる可能性と呼ぼう.
上では,の中から一つ選ぶことを考えたが,実際には複数個選ぶ場合もあるだろう.つまり,の中からを選ぶことになる.同様の流れになるが,を考えて,を定義する.そして,を,が選ばれる可能性と呼ぼう.複数個選ぶというのは,一つを選ぶことを含むので,これからは複数個選ぶ場合を考える.
ここで,何か不思議なことに気づく.選択肢を選ぶ可能性の 高さの話が,集合のサイズを測る話になっている.ここまできてしまえば,集合のサイズを測る学問の知識が使えそうである.続きはまた次回.
Written with StackEdit.
0 件のコメント:
コメントを投稿