简单函数

维基百科,自由的百科全书
跳转至: 导航搜索

实分析领域中,简单函数是只取得有限个值的实函数。有些作者还要求简单函数是可测的;实际上它们一定是可测的。

一个简单函数的基本例子,是半开区间[1,9)上的取整函数,它唯一的值是{1,2,3,4,5,6,7,8}。一个更加高级的例子是实直线上的狄利克雷函数,如果x是有理数,则函数的值为1,否则为0。

定义[编辑]

正式地,一个简单函数是可测集合指示函数的有限线性组合。更加精确地,设(X, Σ)为可测空间。设A1,……,An ∈ Σ为可测集合的序列,并设a1,……,an实数复数数列。简单函数是以下形式的函数:

性质[编辑]

根据定义,两个简单函数的和、差与积,以及一个简单函数与常数的积也是简单函数,因此可推出所有简单函数在复数域上形成了一个交换代数。

在积分的理论的发展中,以下的结果是很重要的。任何非负的可测函数都是非负简单函数的单调增加序列的逐点极限。确实,设为定义在测度空间上的非负可测函数。对于每一个,我们把的值域分成个长度为的区间。我们设对于以及。我们定义可测集合,对于。那么,简单函数的单调增加序列时逐点收敛于

注意如果是有界的,则序列是一致收敛的。

简单函数的积分[编辑]

如果一个测度μ定义在空间(X,Σ)上,则f关于μ的勒贝格积分是:

如果所有的加数都是有限的。

参考文献[编辑]

  • J. F. C. Kingman, S. J. Taylor. Introduction to Measure and Probability, 1966, Cambridge.
  • S. Lang. Real and Functional Analysis, 1993, Springer-Verlag.
  • W. Rudin. Real and Complex Analysis, 1987, McGraw-Hill.
  • H. L. Royden. Real Analysis, 1968, Collier Macmillan.