基本介紹
基本介紹,相關性質,
基本介紹
若爾當容度是長度(或面積、體積)概念的一種推廣,以平面情形為例,設A為
平面上的有界點集,先用平行於x軸和平行於y軸的直線,將
平面分為邊長為1的閉正方形格線,第二次再將這每個正方形分為四個大小相同的閉正方形,如此下去,用
表示至少含A的一個點的那些第n次所得閉正方形組成之集,用
表示第n次得到的正方形中全部含於A的那些組成之集,並且用
分別表示
和
中的閉正方形的面積之和。數
和
分別稱為A的外容度和內容度。當A的內、外容度相等時,A稱為若爾當可測,這個公共值稱為A的若爾當容度,簡稱容度,記為
。對直線上以及一般
中的集合可以類似地定義它的可測性及容度。可以證明,一個集合在若爾當意義下可測與否以及可測時的容度數值,與上述定義中的分法及坐標軸方向無關。
![](/img/b/a2d/39f32f3bfcee4302560923868ac0.jpg)
![](/img/b/a2d/39f32f3bfcee4302560923868ac0.jpg)
![](/img/4/e49/196e6c0c6f12be9f0431b892f875.jpg)
![](/img/c/f99/9a2b1790823e92ec3d88fdd4bbce.jpg)
![](/img/0/1bc/a1bf40e93b66b9e5302354c2ddba.jpg)
![](/img/4/e49/196e6c0c6f12be9f0431b892f875.jpg)
![](/img/c/f99/9a2b1790823e92ec3d88fdd4bbce.jpg)
![](/img/b/23d/3ee43d69e0738164758ed17430a5.jpg)
![](/img/a/57a/4f298f2e6dec8da5c40d98a2c962.jpg)
![](/img/2/43f/f7050c0a9f9918444cf77d92c94d.jpg)
![](/img/0/270/83d29e602396ec96bf9248d5bb1e.jpg)
相關性質
定義1設S是
的一個緊區間
的一個子集.對於
的每個劃分P定義了
是P的只包含S的內點的那些子區間的測度的和,
是P的包含
的點的那些子區間的測度的和。下面兩個數
![](/img/5/c6a/792b72fcf7d057417de42c92b83b.jpg)
![](/img/c/fa6/476a044fe52a282080d7451ed267.jpg)
![](/img/d/405/bcc9a96e1cdc3777bdd5079f2041.jpg)
![](/img/f/3da/24c2cfa95483d8fc94a9007b01bc.jpg)
![](/img/b/d85/12da96f322ff94c73faf5637234e.jpg)
![](/img/3/b93/c61795154d6ff2f88c3b1fa0975e.jpg)
![](/img/3/266/8bbb4ba6215ffbe25ff8dd31b04c.jpg)
![](/img/3/92f/1f4a7f371bcbc642640767843363.jpg)
![](/img/f/120/ee9511bc72c204791db12d390696.jpg)
![](/img/b/454/5273a84ca67112ddaf1ba06be158.jpg)
容易驗證
僅依賴於S,而不依賴於包含S的區間
,而且有
。
![](/img/f/120/ee9511bc72c204791db12d390696.jpg)
![](/img/d/405/bcc9a96e1cdc3777bdd5079f2041.jpg)
![](/img/4/fce/44423d27eabb47bcad32985952e4.jpg)
如果S有零容度,則
。於是,對於每一個
,S可以被區間的一個有限族覆蓋,該有限族中各區間測度之和
。注意零容度是用有限覆蓋的語言來描述的,而零測度是用可數覆蓋的語言來描述的。任何有零容度的集合也有零測度,但是反過來說則未必成立。
![](/img/8/f08/02951351f5fc3fa1a5968a6efb10.jpg)
![](/img/6/857/91dc84287f2668dc06a2535fe119.jpg)
![](/img/4/970/66535ab2c7c3e80cd0eab2ef1131.jpg)
每一個緊區間Q都是若爾當可測的,而且它的容度
等於它的測度
。如果k<n,則
內的每一個有界集的n維容度都是零。
![](/img/7/dc3/c2fbeb4fe955852f67e9b27b5002.jpg)
![](/img/f/6b1/d13ae8ead611951145acbebe0352.jpg)
![](/img/0/4ea/810c00ba5b6af599d83ab188c193.jpg)
![](/img/9/fcd/967b192f61a4cbad9a20d55d4979.jpg)
![](/img/d/295/225d7d1faf59c79c8e13994181e9.jpg)
![](/img/f/3da/24c2cfa95483d8fc94a9007b01bc.jpg)
![](/img/b/d85/12da96f322ff94c73faf5637234e.jpg)
![](/img/b/d85/12da96f322ff94c73faf5637234e.jpg)
![](/img/f/3da/24c2cfa95483d8fc94a9007b01bc.jpg)
![](/img/8/87f/dfff0abfa8e8d666aa52be08bd49.jpg)
![](/img/d/295/225d7d1faf59c79c8e13994181e9.jpg)
![圖1 圖1](/img/6/6bd/nBnaugTZldTNygTOlZGMlVjZ2ITZmRmYhRjMmVWZ0kDN1MGOmhDNiVGZyY2LtVGdp9yYpB3LltWahJ2Lt92YuUHZpFmYuMmczdWbp9yL6MHc0RHa.jpg)
下面這個定理表明一個有界集有若爾當容度若且唯若它的邊界不是太“厚”。
定理1 設S是
內的一個有界集,
表示它的邊界,則有
![](/img/6/bcf/751d5692e92971a55c5c3c1af570.jpg)
![](/img/d/8fd/1270f28c3f87236efa9dbddf08aa.jpg)
![](/img/9/d15/211746480662e504232c15da40ee.jpg)
![](/img/d/8fd/1270f28c3f87236efa9dbddf08aa.jpg)
定理2 設S是
內的一個若爾當可測集,
在S上定義且有界,於是
於S,若且唯若
在S內的不連續點構成一個零測度集。
![](/img/6/bcf/751d5692e92971a55c5c3c1af570.jpg)
![](/img/f/ded/d47b0dd28f57483f0cbfd1ca9a64.jpg)
![](/img/0/19a/9563de8f485ea8fd2889b7a106ca.jpg)
![](/img/f/ded/d47b0dd28f57483f0cbfd1ca9a64.jpg)
定理3 設S是
內的一個緊的若爾當可測集,於是積分,
存在,而且有
![](/img/6/bcf/751d5692e92971a55c5c3c1af570.jpg)
![](/img/2/329/23f1946d956ade67fa331c1cf108.jpg)
![](/img/2/fe0/9101b157b32e3b4de330b799739e.jpg)
下面這個定理表明黎曼積分關於有若爾當容度的集合是可加的。
定理4 假定在
內的一個若爾當可測集S上有
,假設
,其中A與B都是若爾當可測的,但是它們沒有公共的內點.於是
於A,
於B,而且有
![](/img/6/bcf/751d5692e92971a55c5c3c1af570.jpg)
![](/img/0/19a/9563de8f485ea8fd2889b7a106ca.jpg)
![](/img/b/ea2/d366088fd2c02360e0e358fea34b.jpg)
![](/img/0/19a/9563de8f485ea8fd2889b7a106ca.jpg)
![](/img/0/19a/9563de8f485ea8fd2889b7a106ca.jpg)
![](/img/a/c7e/24a83c91f2697002b13b186ce911.jpg)