ボホナー可測関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学の特に関数解析学の分野において、あるバナッハ空間に値を取るボホナー可測関数(ボホナーかそくかんすう、: Bochner measurable function)とは、可測な可算値関数の列の極限とほとんど至る所で等しいような関数のことを言う。すなわち、

f(t) = \lim_{n\rightarrow\infty}f_n(t)\text{ for almost every }t, \,

であり、各関数 f_n の値域は可算で、各 x に対して原像 f^{-1}\{x\} は可測であるような関数 f のことをボホナー可測関数と言う。この概念の名はサロモン・ボホナー英語版の名にちなむ。

ボホナー可測関数は、しばしば強可測関数英語版\mu-可測関数あるいは単に可測関数と呼ばれる。また、バナッハ空間の間の連続線型作用素の空間を、値を取るバナッハ空間とする場合には、一様可測関数と呼ばれる。

性質[編集]

可測性と弱可測性の関係については、ペティス英語版の定理あるいはペティスの可測性定理として知られる、次の結果が得られている。

関数 fほとんど確実に可分値(あるいは本質的に可分値)であるとは、μ(N) = 0 であるような部分集合 N ⊆ Xf(X \ N) ⊆ B が可分となるようなものが存在することを言う。

ある測度空間 (X, Σ, μ) 上で定義される、あるバナッハ空間 B に値を取る関数 : X → B が(B 上のシグマおよびボレルシグマ代数に関して)強可測であるための必要十分条件は、それが弱可測かつほとんど確実に可分値であることである。

B が可分である場合、可分なバナッハ空間の任意の部分集合はそれ自体が可分であることから、上述の N を空集合と取ることが出来る。したがって、B が可分であるなら、弱可測と強可測の概念は一致する。

関連項目[編集]

参考文献[編集]

  • Showalter, Ralph E. (1997). “Theorem III.1.1”. Monotone operators in Banach space and nonlinear partial differential equations. Mathematical Surveys and Monographs 49. Providence, RI: American Mathematical Society. p. 103. ISBN 0-8218-0500-2. MR1422252. .