Miara (matematyka) Bydgoszcz

Pozycjonowanie stron www i SEO / SEM

* możliwość uzyskania szybkich efektów pozycjonowanie jednorazowym i ezane jest robione dobrze

Czas spędzony internetową jak najbardziej popularnych słów kluczowych związanych z tematyką naszej witryny w wynikach!

Zmiany na stronie. Pomyśl jaka to oszczędność jeśli nie musisz płacić za każdorazowe zmiany.

Miara (matematyka)

Ten artykuł trzeba dopracować zgodnie z zaleceniami edycyjnymi:
poprawić styl – powinien posiadać encyklopedyczną formę.
Dokładniejsze informacje o tym, co trzeba poprawić, być może leżą na stronie dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości prosimy usunąć szablon {{Dopracować}} z kodu tego artykułu.

Nieformalnie miara przypisuje zbiorom nieujemne liczby rzeczywiste tak, by większym zbiorom odpowiadały większe liczby.

Miara – rozważana w matematyce funkcja służąca określeniu „wielkości” zbiorów poprzez przypisanie im pewnej nieujemnej liczby.

Pojęcie to wyrosło z potrzeby bardziej usystematyzowanego spojrzenia na zagadnienia długości, pola powierzchni czy objętości w pracach Lebesgue'a nad jego miarą. Nie wszystkie zastosowania miar muszą posiadać związek z wielkościami fizycznymi. Nieformalnie, dla danego zbioru, „miara” jest dowolnym spójnym przypisaniem „wielkości” (pewnym) podzbiorom tego zbioru.

W zależności od zastosowań „wielkość” podzbioru może oznaczać jego liczność, ilość elementów posiadających pewną cechę albo prawdopodobieństwo wystąpienia pewnego zdarzenia losowego. Podstawowym zastosowaniem miar jest definicja ogólnego pojęcia całki na zbiorach o bardziej skomplikowanej strukturze niż przedziały prostej rzeczywistej. Całki tego typu wykorzystuje się najczęściej w teorii prawdopodobieństwa oraz wielu działach analizy matematycznej.

Wielokrotnie niemożliwym albo niepożądanym jest przypisywanie miary wszystkim podzbiorom danego zbioru, dlatego też nie wymaga się tego w jej definicji. Istnieją jednak pewne warunki spójności rządzące typami kombinacji podzbiorów, którym da się przypisać wielkość za pomocą miary; zawierają się one w dodatkowym pojęciu przestrzeni mierzalnej.

Teoria miary (lub czasami ogólniej: teoria miary oraz całki) jest gałęzią analizy rzeczywistej, która bada σ-algebry, miary, funkcje mierzalne oraz całki.

Spis treści

1 Definicja
2 Własności
- 2.1 Miary σ-skończone
- 2.2 Zupełność
3 Przykłady
4 Zbiory niemierzalne
5 Uogólnienia
6 Sprawdź też
7 Bibliografia

Definicja

Niech $\mathcal{A}$ będzie σ-ciałem podzbiorów zbioru $\,\Omega$ . Funkcję

$\mu\colon \mathcal{A}\to [0,\infty]$

nazywamy miarą, gdy

$\mu(\varnothing)=0$
$\mu(\bigcup\limits_{n=1}^{\infty} A_n )=\sum_{n=1}^\infty \mu(A_n)$

dla każdej rodziny zbiorów parami rozłącznych $A_1, A_2, A_3, \ldots \in\mathcal{A}$ .

Kilka $(\Omega, \mathcal{A})$ nazywamy przestrzenią mierzalną, natomiast trójkę $(\Omega, \mathcal{A}, \mu)$ - przestrzenią z miarą.

Miary, które spełniają warunek

$\mu(\Omega)=1\,$

nazywamy miarami probabilistycznymi. Miary tego rodzaju są zasadniczym pojęciem w nowoczesnej teorii prawdopodobieństwa.

Własności

Niech $(\Omega, \mathcal{A}, \mu)$ będzie przestrzenią z miarą oraz niech $E_1, E_2, E_3, \ldots$ ciągiem elementów $\mathcal{A}$ .

Monotoniczność: Jeśli $E,F\in \mathcal{A}$ oraz $E\subseteq F$ , to $\mu(E)\leq \mu(F)$
Podaddytywność:

$\mu\left(\bigcup_{i=1}^\infty~E_i\right) \leqslant \sum_{i=1}^\infty~\mu(E_i)$ .

Jeżeli $E,F\in \mathcal{A},\, E\subseteq F$ oraz miara przynajmniej jednego ze zbiorów $E$ albo $F$ jest skończona, to

$\mu(F\setminus E)=\mu(F)-\mu(E)$ .

Ciągłość z dołu: jeśli $E_n\subseteq E_{n+1}$ dla każdej liczby $n$ ,

$\mu\left(\bigcup_{i=1}^\infty~E_i\right) = \lim_{i \to \infty}~\mu(E_i)$ .

Ciągłość z góry : jeśli $E_{n+1}\subseteq E_{n}$ oraz $\mu(E_1)<\infty$ , to

$\mu\left(\bigcap_{i=1}^\infty~E_i\right) = \lim_{i \to \infty}~\mu(E_i)$ .

Powyższa własność jest fałszywa bez założenia o skończoności miary przynajmniej jednego zbioru $E_k$ - istotnie, niech

$E_n = [n, \infty) \subseteq \mathbb R$ ,

wszystkie zbiory $E_n$ są miary nieskończonej, ale

$\bigcap_{n=1}^\infty E_n=\varnothing$ .

Miary σ-skończone

Osobny artykuł: miara σ-skończona.

Jeśli $(X, \mathfrak A, \mu)$ jest przestrzenią z miarą, to miarę $\mu$ nazywa się

skończoną, kiedy $\mu(X) < \infty.$
σ-skończoną albo półskończoną, kiedy istnieje ciąg zbiorów $A_n \in \mathfrak M\ (n \in \mathbb N)$ takich, że $\mu(A_n) < \infty$ oraz

$X = \bigcup_{n=1}^\infty A_n.$

Innymi słowy, miara σ-skończona dopuszcza przedstawienie przestrzeni, na której jest określona, jako przeliczalnej sumy zbiorów miary skończonej.

Dla przykładu miara Lebesgue'a jest miarą σ-skończoną. Istotnie,

$\mathbb{R}=\bigcup_{n=1}^\infty[-n, n]$ ,

gdzie każdy przedział postaci $[-n, n]$ jest bez wątpienia długości (miary) $n-(-n)=2n$ .

Jeżeli jednak $\mu$ jest miarą liczącą na prostej, to znaczy miarą przypisującą skończonym podzbiorom zbioru liczb rzeczywistych liczbę ich elementów, a zbiorom nieskończonym " $\infty$ ", to $\mu$ nie jest miarą σ-skończoną. Istotnie, zbiór liczb rzeczywistych jest nieprzeliczalny - żadnego zbioru nieprzeliczalnego nie da się przedstawić w postaci przeliczalnej sumy zbiorów skończonych.

Miary, które nie są σ-skończone, uznawane są, w pewnym sensie, za patologiczne.

Zupełność

Osobny artykuł: miara zupełna.

Miarę nazywa się zupełną, kiedy każdy podzbiór zbioru miary zero jest mierzalny, a więc w konsekwencji miary zero. Nie każda miara jest zupełna - na przykład, miara Lebesgue'a obcięta do σ-ciała borelowskich podzbiorów prostej nie jest zupełna. Można to uzasadnić korzystając z następujących faktów:

Rodzina borelowskich podzbiorów prostej jest mocy $\mathfrak{c}$ (continuum).
Zbiór Cantora, jako zbiór domknięty, jest borelowski. Jest, ponadto, miary zero oraz mocy continuum, a więc rodzina jego wszystkich podzbiorów jest mocy $2^{\mathfrak{c}}$ , co oznacza iż jego podzbiorów jest więcej niż wszystkich zbiorów borelowskich.

Podzbiory zbiorów miary zero, nazywane są zbiorami zaniedbywalnymi. Twierdzenie Carathéodory'ego o rozszerzaniu miary mówi, że każdą miarę da się rozszerzyć do miary (określonej na większym σ-ciele, rozszerzonym o zbiory zaniedbywalne), która jest zupełna (tzw. uzupełnienie miary). Miara Lebesgue'a na rodzinie zbiorów mierzalnych w sensie Lebesgue'a jest uzupełnieniem miary Lebesgue'a na rodzinie zbiorów borelowskich.

Przykłady

Do innych ważnych przykładów zalicza się miary: borelowską, Jordana, ergodyczną, Eulera, Gaussa, Baire'a oraz Radona.

Zbiory niemierzalne

Osobny artykuł: zbiór niemierzalny.

Jeśli $(\Omega, \mathcal{A})$ jest przestrzenią mierzalną, to podzbiory $\Omega$ , które nie należą do $\mathcal{A}$ nazywamy zbiorami niemierzalnymi (względem $\mathcal{A})$ .

Pod pojęciem zbiorów niemierzalnych matematycy posiadają na myśli najczęściej zbiory, które nie są mierzalne w sensie Lebesgue'a. Rodzinę $\mathcal{L}$ zbiorów mierzalnych w sensie Lebesgue'a najczęściej opisuje się jako rodzinę tych podzbiorów prostej, które spełniają warunek Caratheodory'ego dla miary zewnętrznej Lebesgue'a. Naturalnym pytaniem matematyków było więc czy wszystkie podzbiory prostej są mierzalne w sensie Lebesgue'a?. Okazuje się, że nie da się udzielić odpowiedzi na to pytanie używając tylko aksjomatyki Zermelo-Fraenkela (bez aksjomatu wyboru). Zakładając aksjomat wyboru da się jednak udowodnić istnienie niemierzalnych podzbiorów prostej; do przykładów takich zbiorów należą

zbiór Vitalego
zbiór Bernsteina
elementy paradoksalnego rozkładu kuli - zob. paradoks Banacha-Tarskiego.
zbiór Sierpińskiego, zbiór Łuzina (aby udowodnić istnienie tych zbiorów trzeba założyć dodatkowo hipotezę continuum).

Można wykazać (zakładając AC), że każdy zbiór dodatniej miary Lebesgue'a zawiera podzbiór niemierzalny.

Uogólnienia

Rozważa się także „miary”, których wartości nie są ograniczone do nieujemnych liczb rzeczywistych oraz nieskończoności. Dla przykładu przeliczalnie addytywna funkcja w cały zbiór liczb rzeczywistych jest nazywana miarą ze znakiem, z kolei taką funkcję o wartościach w liczbach zespolonych nazywa się miarą zespoloną. Uważnie badano miary przyjmujące wartości w przestrzeniach Banacha. Miara, która przyjmuje wartości w zbiorze samosprzężonych rzutów na przestrzeń Hilberta nazywana jest miarą spektralną; są one używane z reguły w twierdzeniu spektralnym analizy funkcjonalnej. Jeżeli zachodzi potrzeba odróżnienia zwykłej miary przyjmującej wartości nieujemne od jednego z jej uogólnień, to używa się zwykle pojęcia „miara dodatnia”.

Innym uogólnieniem jest miara skończenie addytywna. Jest ona tym samym co zwykła miara z wyjątkiem wymagania tylko skończonej zamiast przeliczalnej addytywności. Chronologicznie definicja ta ukazała się pierwsza, ale szybko stwierdzono, że jest ona mało użyteczna. Miary skończenie addytywne są jednak powiązane z takimi pojęciami jak: granice Banacha, przestrzeń dualna do L^∞ oraz uzwarcenie Čecha-Stone'a. Wszystkie wspomniane pojęcia są zaś powiązane w pewien sposób z aksjomatem wyboru.

Ważny wynik geometrii całkowej, znany jako twierdzenie Hadwigera mówi, że przestrzeń funkcji niezmienniczych ze względu na przesunięcia, skończenie addytywnych, niekoniecznie nieujemnych zbiorów określona na skończonej sumie zwartych zbiorów wypukłych w $\mathbb R^n$ składa się (z dokładnością do mnożenia skalarnego) z jednej „miary”, która jest „jednorodna stopnia $k$ ” dla każdego $k = 0, 1, 2, \dots, n$ oraz kombinacji liniowych tych „miar”. „Jednorodna stopnia $k$ ” oznacza, że skalowanie dowolnego zbioru przez dowolny współczynnik $c>0$ mnoży „miarę” zbioru przez $c^k$ . Jednorodną stopnia $n$ jest zwykła $n$ -wymiarowa objętość, jednorodną stopnia $n-1$ jest „objętość powierzchni”, jednorodną stopnia $1$ jest tajemnicza funkcja nazywana „błędną szerokością” (przekorna nazwa), jednorodną stopnia zero jest charakterystyka Eulera.

Sprawdź też

Sprawdź hasło miara w Wikisłowniku

Bibliografia

R. M. Dudley, 2002. Real Analysis and Probability. Cambridge University Press.
D. H. Fremlin, 2000. Measure Theory. Torres Fremlin.
Paul Halmos, 1950. Measure theory. Van Nostrand and Co.
R. Duncan Luce oraz Louis Narens (1987). „measurement, theory of,” The New Palgrave: A Dictionary of Economics, t. 3, s. 428-32.
M. E. Munroe, 1953. Introduction to Measure and Integration. Addison Wesley.
Shilov, G. E. oraz Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, tł. Dover Publications. ISBN 0-486-63519-8. Akcentuje całkę Daniella.
Pewne użyteczne notatki Tripos Cambridge na temat prawdopodobieństwa oraz teorii miary link
A. Birkholc, „Analiza matematyczna. Funkcje wielu zmiennych”, PWN, Warszawa 1986.

Źródło „nullpl.wikipedia.org/w/index.php?title=Miara_(matematyka)&oldid=30843573”

Kategoria:

Miary (teoria miary)

Ukryta kategoria:

Artykuły wymagające poprawy stylu

free asian dating | senior flirt | ogrzewanie | bonprix katalog | Szybki kredyt online