르베그_측도,Lebesgue_measure

르베그_측도,Lebesgue_measure (rev. 1.4)

Lebesgue measure / 르베그 측도

(copied from local at 2023-10-17)
QQQ 이걸로 르베그_적분,Lebesgue_integral을 정의?

보렐_측도,Borel_measure의 완비화. (wpko) // 완비화페이지 만들 필요 있나? 완비성,completeness이면 족할듯한데
// KmsK:완비화하니 2023-11-14 하나 있음: "nonsingular completion 특이하지 않은 완비화"

//mw
고전적인 길이,length넓이,area 개념,notion을 더 복잡한 집합에 대해 확장,extension한 것.
(disjoint_interval 을 포함한) 열린집합,open_set $\displaystyle \textstyle S \equiv \sum_k (a_k,b_k)$ 이 주어지면, 르베그 측도의 정의는 이렇다.
$\displaystyle \mu_L(S) \equiv \sum_k (b_k - a_k)$
닫힌집합,closed_set $\displaystyle \textstyle S' \equiv [a,b] - \sum_k(a_k,b_k)$ 이 주어지면,
$\displaystyle \mu_L(S') \equiv (b-a)-\sum_k (b_k - a_k)$
Ex.
unit line segment = unit_line_segment : 1.
Cantor_set : 0.




Semi-twins:
[https]수학백과: 측도에서 "lebesgue" 검색
[https]수학백과: 가측집합에서 2. 실수의 집합에서 르베그 가측집합 - 참조



Twins:












...
"Lebesgue measure"
Ndict:Lebesgue measure
Ggl:Lebesgue measure