数学 实变函数

实变函数:第 5 次作业

整理可测函数的复合、导函数可测性与有界逼近等第 5 次作业。

本页目录1 节

第五次 #

P126: 2, 3, 4, 11, 14

P126/2: 设 z=f(x,y)z=f(x,y) 是 R2\mathbb{R}^2 上的连续函数, g1(x),g2(x)g_1(x),g_2(x) 是 [a,b]⊂R[a,b]\subset\mathbb{R} 上的实值可测函数, 试证明 F(x)=f(g1(x),g2(x))F(x)=f(g_1(x),g_2(x)) 是 [a,b][a,b] 上的可测函数.

证明

设 Gt={(x,y)∣f(x,y)>t}, t∈RG_t=\{(x,y)|f(x,y)>t\},\ t\in\mathbb{R}, 由 ff 连续, (t,+∞)(t,+\infty) 是开集可推出 Gt=f−1((t,+∞))G_t=f^{-1}((t,+\infty)) 是开集.

⇒\Rightarrow 可以用可数个不交的半开矩体表示 Gt=⋃n⩾1Jn, Jn=(an,bn]×(cn,dn]G_t=\bigcup\limits_{n\geqslant 1}J_n,\ J_n=(a_n,b_n]\times(c_n,d_n].

⇒{x∈[a,b]∣F(x)>t}=⋃n⩾1({x∈[a,b]∣g1(x)∈(an,bn]}∩{x∈[a,b]∣g2∈(cn,dn]})\Rightarrow\{x\in[a,b]|F(x)>t\}=\bigcup\limits_{n\geqslant 1}(\{x\in[a,b]|g_1(x)\in(a_n,b_n]\}\cap\{x\in[a,b]|g_2\in(c_n,d_n]\}), 由 g1,g2g_1,g_2 是可测函数可知 {x∈[a,b]∣F(x)>t}\{x\in[a,b]|F(x)>t\} 可测.

P126/3: 设 f(x)f(x) 在 [a,b)[a,b) 上存在右导数, 试证明右导函数 f+′(x)f_+'(x) 是 [a,b)[a,b) 上的可测函数.

证明

第一章例题可知若 f(x)f(x) 右连续, 则其不连续点是零测集. 于是根据本题题设可知 f(x)f(x) 的不连续点是零测集. 故 ff 是可测函数.

设 gn(x)=f(x+1n)−f(x)1ng_n(x)=\dfrac {f(x+\frac 1 n)-f(x)}{\frac 1 n} 是可测函数, f+′(x)=lim⁡n→∞gn(x)f_+'(x)=\lim\limits_{n\to\infty}g_n(x) 逐点收敛, 于是 f+′(x)f_+'(x) 也是可测函数

P126/4: 设 f(x)f(x) 是 E⊂RnE\subset\mathbb{R}^n 上几乎处处有限的可测函数, m(E)<+∞m(E)<+\infty, 试证明对任意的 ε>0\varepsilon>0, 存在 EE 上的有界可测函数 g(x)g(x), 使得

m({x∈E:∣f(x)−g(x)∣>0})<ε.m(\{x\in E:|f(x)-g(x)|>0\})<\varepsilon.
证明

利用局部有界化, 存在 B⊂EB\subset E 且 m(E∖B)<εm(E\setminus B)<\varepsilon, 使得 1k0⩽f(x)⩽k0, ∀x∈B\dfrac 1 {k_0}\leqslant f(x)\leqslant k_0,\ \forall x\in B. 则取 g(x)=f(x)XB(x)g(x)=f(x)\Chi_{B}(x).

P127/11: 设 f:Rn→Rnf:\mathbb{R}^n\to\mathbb{R}^n, 且对任意的 ε>0\varepsilon>0, 存在开集 G⊂RnG\subset \mathbb{R}^n, m(G)<εm(G)<\varepsilon, 使得 f∈C(Rn∖G)f\in C(\mathbb{R}^n\setminus G), 试证明 f(x)f(x) 是 Rn\mathbb{R}^n 上的可测函数.

证明

设 m(Gk)<1km(G_k)<\frac 1 k, G=⋂k=1∞GkG=\bigcap\limits_{k=1}^\infty G_k. 则有 m(G)⩽1k,∀k⩾1m(G)\leqslant \frac 1 k,\forall k\geqslant 1, 于是 m(G)=0m(G)=0.

Rn∖G=⋃k=1∞Rn∩Gkc\mathbb{R}^n\setminus G=\bigcup\limits_{k=1}^\infty \mathbb{R}^n\cap G_k^c. 又 f∈C(Rn∖Gk)f\in C(\mathbb{R}^n\setminus G_k), 即 ff 在 Rn∖Gk\mathbb{R}^n\setminus G_k 上可测, 按照定义, ff 在 Rn∖G\mathbb{R}^n\setminus G 上有 {x∈Rn∖G:f(x)>t}=⋃{x∈Rn∖Gk:f(x)>t}\{x\in \mathbb{R}^n\setminus G:f(x)>t\}=\bigcup\{x\in\mathbb{R}^n\setminus G_k:f(x)>t\} 可测, 于是 ff 在 Rn∖G\mathbb{R}^n\setminus G 上可测. 又 GG 是零测集, 所以 ff 在 GG 上可测. 故 ff 在 Rn\mathbb{R}^n 上可测.

P127/14: 设有定义在可测集 E⊂RnE\subset\mathbb{R}^n 上的函数 f(x)f(x), 且对任给的 δ>0\delta>0, 存在 EE 中的闭集 FF, m(E∖F)<δm(E\setminus F)<\delta, 使得 f(x)f(x) 在 FF 上连续, 试证明 f(x)f(x) 是 EE 上的可测函数.

证明

设 Fk⊂EF_k\subset E 满足 m(E∖Fk)<1km(E\setminus F_k)<\frac 1 k, 记 Ek=E∖Fk,G=⋂EkE_k=E\setminus F_k, G=\bigcap E_k. 则有 m(G)=0m(G)=0. 考虑 E∖GE\setminus G, 有 f(x)f(x) 在 E∖EkE\setminus E_k 上连续于是可测, 则 f(x)f(x) 在 E∖GE\setminus G 上可测 (同上题). 于是 f(x)f(x) 在 EE 上可测.

讨论

评论

正在加载评论…

输入关键词开始搜索。