解析学における実数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/04/03 06:03 UTC 版)
実数の完備性により、実数に値を持つ関数の範疇で様々な近似操作を考えることができ、微積分などが定義される。特定のクラスの関数たちに対して距離の概念などを用いて位相を考えると位相線形空間が得られる。こうして得られるものは多くの場合に無限次元であるが、考えている位相に関して完備になっている。関数解析学では、この概念を公理化した実数体上で考えられる完備位相線形空間とよばれる様々な空間が研究される。 位相空間上の関数やその積分の収束を考えるときは、問題にしている関数たちによって指定される位相空間の部分集合が重要になるが、こうして可測集合の概念が得られる。例えば実閉区間 [0, 1] 上の関数を考えるときには一点集合 {t} (0 ≤ t ≤ 1) や開集合を含んで、補集合をとったり可算個の合併について閉じていたりするような集合族を考えることになる。距離を持つコンパクト空間の可測集合のなす構造は、高々可算集合または閉区間 [0, 1] の構造に同型となることが知られている。
※この「解析学における実数」の解説は、「実数」の解説の一部です。
「解析学における実数」を含む「実数」の記事については、「実数」の概要を参照ください。
- 解析学における実数のページへのリンク