我来试着写第一篇文章:介绍Lebesgue外测度的定义和性质
你好,这是我的第一篇文章。我才开始学习Markdown语法,目前还在探索阶段,因此这篇文章仅是个test,目的是熟悉一下写文章的流程以及练习一些Markdown语法,会比较简陋。
我将试着打出一段讲义。
Lebesgue外侧度
定义
设 E ∈ R n E \in \reals^n E∈Rn.若 { I k } \{I_k\} {Ik}是 R n \reals^n Rn中的可数个开矩体,且有 E ∈ ∪ k ≥ 1 I k E \in \cup_{k \ge1} I_k E∈∪k≥1Ik,则称 { I k } \{I_k\} {Ik}为 E E E的一个L-覆盖. 称 m ∗ ( E ) = i n f { ∑ k > = 1 ∣ I k ∣ : I k 为 E 的 L − 覆 盖 } m^*(E) = inf \{ \sum_{k>=1}|I_k|: {I_k}为E的L-覆盖\} m∗(E)=inf{k>=1∑∣Ik∣:Ik为E的L−覆盖}为点集 E E E的Lebesgue外侧度,简称外侧度.
性质
- 非负性: m ∗ ( E ) ≥ 0 , m ∗ ( ∅ ) = 0 m^*(E) \ge 0, m^*(\varnothing) = 0 m∗(E)≥0,m∗(∅)=0
- 单调性:若 E 1 ⊂ E 2 E_1 \subset E_2 E1⊂E2,则 m ∗ ( E 1 ) ≤ m ∗ ( E 2 ) m^*(E_1) \le m^*(E_2) m∗(E1)≤m∗(E2)
- 次可加性: m ∗ ( ∪ k = 1 ∞ E k ) ≤ ∑ k = 1 ∞ m ∗ ( E k ) m^*( \cup^\infty_{k=1}E_k) \le \sum^\infty_{k=1}m^*(E_k) m∗(∪k=1∞Ek)≤∑k=1∞m∗(Ek).
参考资料:周民强《实变函数论》第三版