logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Inne, zadanie nr 2026

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

xtopeczkax
postów: 69
2014-01-29 23:21:47

Niech $mi^*(A)=\left\{\begin{matrix} \frac{N(A)}{1+N(A)}, \ \ gdy \ A \ jest \ zbiorem \ skończonym \\ 1, \ \ gdy \ A \ jest \ zbiorem \ nieskończonym \end{matrix}\right.$.
Wykazać, że $mi^*$ jest miarą zewnętrzną i wyznaczyć rodzinę wszystkich zbiorów mierzalnych w sensie Caratheodory'ego.


tumor
postów: 8070
2014-06-05 16:03:22

$ mi^*(\emptyset)=0$

jeśli $A\subset B$, to $mi^*(A)\le mi^*(B)$

jeśli $A_1, A_2,...\subset R$, to $mi^*(\bigcup A_n)\le \sum mi^*(A_n)$
(sumy są równe, jeśli wszystkie $A_n$ są puste lub jeśli niepusty jest jeden zbiór $A_n$.
Jeśli co najmniej dwa różne $A_i, A_j$ są niepuste, to po lewej stronie nierówności mamy wyrażenie nie większe od $1$, po prawej nie mniejsze niż $1$).


----

Szukamy zbiorów mierzalnych w sensie Caratheodory'ego, czyli takich zbiorów $Y$, że
$mi^*(A)=mi^*(A\cap Y)+mi^*(A \cap Y`)$ dla wszystkich $A\subset R$.

Oczywiście spełniają te warunki zbiór pusty i cała przestrzeń.
Jeśli $Y$ jest skończony niepusty (niech jest $n-1$-elementowy) i $x\notin Y$, to weźmy
$A=Y\cup \{x\}$, wówczas $mi^*(A)=\frac{n}{n+1}<1$
Natomiast $mi^*(A\cap Y)+mi^*(A\cap Y`)\ge 1$.
Czyli takie $Y$ nie spełniają warunku.

Jeśli $Y$ jest nieskończony, $y\in Y$, ale istnieje $x\notin Y$, to niech $A=\{x,y\}$, wtedy $mi^*(A)=\frac{2}{3}$
$mi^*(A\cap Y)+mi^*(A\cap Y`)=1$

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj