Loading...
距离1.2 度量空间度量空间是在1996年由Maurice Frechet提出的。定义1.2.1在一个集合$X$上的一个距离是一个函数对于任意$(n,k){\in}\mathcal{F}$，我们取定$f_{n,k}{\in}B(e_n,1/k){\cap}S$。集族$\left\{f_{n,k}:(n,k){\in}\mathcal{F}\right\}$是在$S$中可数且稠密的。（也就是空...
距离1.1 实数分析基于实数。定义1.1.1.令$S$为$\mathbb{R}$的一个非空子集。一个实数$x$是这个非空子集$S$的上界：如果对于所有的$s{\in}S,s{\le}x$。一个实数$x$是这个非空子集$S$的上确界：$x$是$S$的上界且对任一$S$的上界$y$，有$x{\le}y$（最小上界），记为$\sup{S}$。一个实数$x$是这个非空子集$S$的最大值：$x$是$S...
积空间上的积分这一章节主要讨论用抽象积分的形式来证明关于二元函数积分的富比尼定理。笛卡尔积上的可测性首先给出一些定义：矩形若$X$和$Y$是两个集，其笛卡尔积$X{\times}Y$是所有$x{\in}X,y{\in}Y$的序对$(x,y)$组成的集，如果$A{\subset}X$和$B{\subset}Y$，得到$A{\times}B{\subset}X{\times}Y$，则称$A{\t...
微分本章的结构是通过研究测度的导数和相伴的极大函数（定义），容易得到勒贝格积分上的微分和导数的积分的重要性质（结果与目的），而上一节的拉东-妮柯迪姆定理与勒贝格分解定理在本章起相当重要的结果。（工具）测度的导数定义这一节主要是给出定义和一些性质，结果在下一节给出。定理7.1给出了复博雷尔测度的可微和导数的等价定义（与勒贝格测度相关）定义7.2告诉我们：$\mu$在$x$的导数，可以定义为区间...
复测度本章主要内容是给出一个复测度的快速概括，各个定理的理解和命题的使用，以便拿到书后能对该章的思路给出一定的理解，并且把精力投入到对于细节的把握上。全变差首先我们是对一个复测度的引入，复测度首先是一个$\sigma-$代数上的复函数，并且定义为级数形式。最后结合$C_0(X)$与$C_c(X)$的关系，刻画了$C_c(X)$上的有界线性泛函，这部分的证明是比较复杂的。