Citat:
Ursprungligen postat av
manne1973
QED!
\o/ Tack för hjälpen!
Har lite mer måtteori, fick en ahaupplevelse och vill kolla om jag gjorde rätt.
Uppgift: Låt A ⊂ (0,1) vara en mätbar mängd, och låt c > 0. Antag att om 0 ≤ a < b ≤ 1 så är m(A ∩ (a,b)) ≥ cm(a,b). Bevisa att m(A) = 1.
Min lösning: Vi använder att varje öppen delmängd av
R kan skrivas som en uppräknelig union av disjunkta intervall. Då är A ∩ (a,b) = ∪ (x_i, x_(i+1)) där x_1 ≥ a och x_inf ≤ b. Måttet av denna union är lika med summan av längden på delintervallen, vars totala längd inte kan vara längre än b-a = m(a,b).
Så, vi får att cm(a,b) ≤ m(A ∩ (a,b)) ≤ m(a,b). Speciellt gäller detta för c = 1, vilket ger den enda möjligheten m(A ∩ (a,b)) = m(a,b). Speciellt gäller detta för a = 0, b = 1, vilket ger m(A) = m(A ∩ (0,1)) = m(0,1) = 1.
Har jag gjort rätt? Det kanske hänger på att c ≤ 1, vilket inte är något uppgiften specificerade. Blir ju lite knasigt om c > 1.