Analiza matematyczna 2/Wykład 10: Wielowymiarowa całka Riemanna

Wielowymiarowa całka Riemanna

Wykład przedstawia pojęcie całki Riemanna funkcji $\displaystyle N$ zmiennych. Definiujemy całkę Riemanna na kostce i na pewnych zbiorach ograniczonych. Wprowadzamy pojęcie zbioru miary zero oraz zbioru mierzalnego w sensie Jordana. Charakteryzujemy funkcje całkowalne w sensie Riemanna.

Definicja i własności całki Riemanna

Celem tego wykładu jest zdefiniowanie całki Riemanna z funkcji $\displaystyle N$ zmiennych po zbiorze ograniczonym w $\displaystyle \displaystyle \mathbb {R} ^{N}.$ Zaczynamy od bardzo naturalnego uogólnienia pojęcia całki Riemanna po przedziale w $\displaystyle \displaystyle \mathbb {R}$ na całkę po iloczynie kartezjańskim przedziałów (czyli po tak zwanej kostce) w $\displaystyle \displaystyle \mathbb {R} ^{N}.$ Następnie mówimy jakie funkcje są całkowalne w sensie Riemanna po kostkach (to znaczy dla jakich funkcji istnieje całka Riemanna z tej funkcji po kostce). Okazuje się, że tymi funkcjami są funkcje ograniczone i ciągłe "na prawie całej" kostce. Do precyzyjnego określenia co to znaczy "na prawie całej" będą nam potrzebne definicje zbioru miary zero i równości prawie wszędzie. Na zakończenie wykładu powiemy jak zdefiniować całkę Riemanna nie tylko po kostce, ale też po pewnych zbiorach ograniczonych.

Definicja

(1) Kostką w $\displaystyle \displaystyle \mathbb {R} ^{N}$ będziemy nazywać zbiór $\displaystyle K:=[a_{1},b_{1}]\times \ldots \times [a_{N},b_{N}],$ czyli iloczyn kartezjański przedziałów $\displaystyle \displaystyle [a_{i},b_{i}],i=1,\ldots ,N.$
(2) Objętością kostki będziemy nazywać liczbą $\displaystyle v(K):=(b_{1}-a_{1})\cdot \ldots \cdot (b_{N}-a_{N}).$
(3) Liczbę $\displaystyle \displaystyle \delta (K):=\max\{(b_{1}-a_{1}),\ldots ,(b_{N}-a_{N})\}$ (czyli długość najdłuższego boku kostki) nazwiemy średnicą kostki $\displaystyle K.$

Podzielmy teraz naszą kostkę na mniejsze kostki $\displaystyle K_{1},\ldots ,K_{s},$ o wnętrzach rozłącznych i takich, że $\displaystyle K=K_{1}\cup \ldots \cup K_{s}.$ Oznaczmy ten zbiór kostek $\displaystyle K_{1},\ldots ,K_{s}$ przez $\displaystyle P.$
{ Rysunek AM2.M10.W.R01 (stary numer AM2.10.1)}

Definicja

(1) Określony wyżej zbiór $\displaystyle P$ nazywamy podziałem kostki $\displaystyle K.$
(2) Liczbę $\displaystyle \displaystyle \delta (P):=\max\{\delta (K_{1}),\ldots ,\delta (K_{s})\}$ nazywamy średnicą podziału $\displaystyle P.$

Weźmy teraz ciąg takich podziałów kostki $\displaystyle K,$ czyli ciąg $\displaystyle P_{1},P_{2},P_{3},\ldots .$ Niech $\displaystyle \displaystyle \delta _{j}$ oznacza średnicę podziału $\displaystyle P_{j}.$

Definicja

Ciąg podziałów $\displaystyle P_{1},P_{2},P_{3},\ldots$ nazwiemy ciągiem normalnym, gdy $\displaystyle \displaystyle \lim _{j\to \infty }\delta _{j}=0,$ czyli gdy średnice kolejnych podziałów zmierzają do zera.

Weźmy teraz funkcję ograniczoną $\displaystyle f:K\to \mathbb {R} .$
{ Rysunek AM2.M10.W.R02 (stary numer AM2.10.3a)}
Analogicznie jak w przypadku funkcji jednej zmiennej określamy górną sumę całkową i dolną sumę całkową a także sumę całkową zależną od punktów pośrednich.

Definicja

(1) Dla podziału $\displaystyle P=\{K_{1},\ldots ,K_{t}\}$ kostki $\displaystyle K$ i funkcji ograniczonej $\displaystyle f:K\to \mathbb {R} ,$ definiujemy

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned m_i(f,P) &= \inf\{f(x), x\in K_i\},\\ M_i(f,P) &= \sup\{f(x), x\in K_i\}, \endaligned}

dla $\displaystyle i=1,\ldots ,t.$
(2) Dolną sumą całkową odpowiadającą podziałowi $\displaystyle P,$ nazywamy liczbę

$\displaystyle L(f,P):=\sum _{i=1}^{t}m_{i}(f,P)v(K_{i}).$

(3) Górną sumą całkową odpowiadającą podziałowi $\displaystyle P,$ nazywamy liczbę

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle U(f,P) \ :=\ \sum_{i=1}^tM_i(f,P)v(K_i). }

(4) W każdej z kostek wybierzmy dowolny punkt $\displaystyle x_{i}\in K_{i}.$ Dostajemy ciąg punktów pośrednich, $\displaystyle x_{1},\ldots ,x_{t}.$
Sumą całkową (funkcji $\displaystyle f,$ dla podziału $\displaystyle P$ i punktów pośrednich $\displaystyle x_{1},\ldots ,x_{t}$), nazywamy liczbę

$\displaystyle S(f,P,x_{1},\ldots ,x_{t})=\sum _{i=1}^{t}f(x_{i})v(K_{i}).$

{ Rysunek AM2.M10.W.R03 (nowy)}

Weźmy teraz normalny ciąg $\displaystyle P_{1},P_{2},\ldots .$ podziałów kostki $\displaystyle K.$ Dla każdego podziału $\displaystyle P_{j}$ wybierzmy ciąg $\displaystyle x_{1}^{j},\ldots ,x_{t_{j}}^{j}.$ Weźmy sumę całkową $\displaystyle S(f,P,x_{1}^{j},\ldots ,x_{t_{j}}^{j}).$ Możemy teraz postawić następującą definicję:

Definicja

Niech $\displaystyle f:K\to \mathbb {R} ,$ będzie funkcją ograniczoną. Mówimy, że funkcja $\displaystyle f$ jest całkowalna w sensie Riemanna na kostce $\displaystyle K,$ jeśli dla każdego normalnego ciągu podziałów $\displaystyle P_{1},P_{2},\ldots .,$ istnieje granica

$\displaystyle \lim _{j\to \infty }S(f,P,x_{1}^{j},\ldots ,x_{t_{j}}^{j}),$

i granica ta nie zależy ani od wyboru ciągu podziałów ani od wyboru punktów pośrednich.
Powyższą granicę oznaczamy

$\displaystyle \displaystyle \int \limits _{K}f(x)dx$

i nazywamy całką Riemanna funkcji $\displaystyle f$ po kostce $\displaystyle K.$
{ Rysunek AM2.M10.W.R04 (stary numer AM2.10.3c)}
{ Rysunek AM2.M10.W.R05 (stary numer AM2.10.3d)}

Uwaga

Można wykazać, że funkcja ograniczona $\displaystyle f$ jest całkowalna na kostce $\displaystyle K$ wtedy i tylko wtedy, gdy dla dowolnego ciągu podziałów normalnych $\displaystyle P_{1},P_{2},\ldots ,$ mamy

$\displaystyle \lim _{j\to \infty }\left(L(f,P_{j})-U(f,P_{j})\right)=0,$

jak również można wykazać, że wtedy istnieją i są równe granice $\displaystyle \displaystyle \lim _{j\to \infty }L(f,P_{j})=\lim _{j\to \infty }U(f,P_{j})=\displaystyle \int \limits _{K}f(x)dx.$

Uwaga

W literaturze można spotkać też zapis $\displaystyle \displaystyle \int \cdots \displaystyle \int \limits _{K}f(x_{1},\ldots ,x_{N})dx_{1}\ldots dx_{N},$ my będziemy raczej pisać $\displaystyle \displaystyle \displaystyle \int \limits _{K}f(x)dx,$ pamiętając, że zapis $\displaystyle x$ oznacza tu $\displaystyle \displaystyle (x_{1},\ldots ,x_{N}),$ a $\displaystyle dx=dx_{1}\ldots dx_{N}.$ Wyjątek zrobimy natomiast dla tradycyjnego zapisu całki dwóch i trzech zmiennych, zapisując wtedy

$\displaystyle \iint \limits _{K}f(x,y)dxdy\qquad$ lub $\displaystyle \qquad \iiint \limits _{K}f(x,y,z)dxdydz.$

Wnioskiem z definicji jest poniższe stwierdzenie o liniowości całki:

Stwierdzenie

Niech $\displaystyle K$ będzie kostką w $\displaystyle \displaystyle \mathbb {R} ^{N}$ a $\displaystyle f$ i $\displaystyle g$ funkcjami całkowalnymi w sensie Riemanna na $\displaystyle K.$ Niech $\displaystyle a,\displaystyle b$ będą stałymi rzeczywistymi. Wtedy

$\displaystyle \displaystyle \int \limits _{K}(af(x)+bg(x))dx=a\displaystyle \int \limits _{K}f(x)dx+b\displaystyle \int \limits _{K}g(x)dx.$

Nietrudno też zobaczyć, że prawdziwe jest poniższe stwierdzenie.

Stwierdzenie

Niech $\displaystyle K_{1}$ i $\displaystyle K_{2}$ będą dwoma kostkami w $\displaystyle \displaystyle \mathbb {R} ^{N}$ o rozłącznych wnętrzach. Wówczas dla każdej funkcji całkowalnej

$\displaystyle \displaystyle \int \limits _{K_{1}\cup K_{2}}f(x)dx=\displaystyle \int \limits _{K_{1}}f(x)dx+\displaystyle \int \limits _{K_{2}}f(x)dx.$

Oczywiście to stwierdzenie nie jest prawdziwe gdy nie założymy, że kostki mają wnętrza rozłączne.

Interpretacja geometryczna całki Riemanna

W przypadku gdy kostka $\displaystyle K$ jest zwykłym prostokątem w $\displaystyle \displaystyle \mathbb {R} ^{2},\displaystyle K=[a,b]\times [c,d]$ a funkcja $\displaystyle f:K\to \mathbb {R}$ jest nieujemna i ciągła (założenie ciągłości nie jest konieczne, wystarczy całkowalność) to

$\displaystyle \iint \limits _{K}f(x,y)dxdy$

jest objętością bryły $\displaystyle B$ w $\displaystyle \displaystyle \mathbb {R} ^{3}$ określonej nierównościami:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle a \ \leq\ x \ \leq\ b,\quad c \ \leq\ y \ \leq\ d,\quad 0 \ \leq\ z \ \leq\ f(x,y). }

{ Rysunek AM2.M10.W.R06 (stary numer AM2.10.3e)}
{ Rysunek AM2.M10.W.R07 (stary numer AM2.10.3f)}
{ Rysunek AM2.M10.W.R08 (stary numer AM2.10.3g)}
{ Rysunek AM2.M10.W.R09 (stary numer AM2.10.3h)}
Faktycznie, dla danego podziału $\displaystyle P$ prostokąta $\displaystyle K,$ suma dolna $\displaystyle L(f,P)$ to objętość "słupków" (czyli graniastosłupów) wpisanych w $\displaystyle B,$ jak na poniższym rysunku.

Przy zmniejszających się średnicach podziałów suma objętości "słupków" (czyli w granicy całka Riemanna z funkcji $\displaystyle f$ po zbiorze $\displaystyle D$) zmierza do objętości $\displaystyle B.$

Uwaga

Liczenie całki Riemanna wprost z definicji jest raczej niewygodne. Jeśli nawet będziemy wiedzieli, że całka istnieje, to musimy utworzyć ciąg podziałów, policzyć sumy całkowe i ich granicę. Na ćwiczeniach policzymy przykłady całek z wykorzystaniem definicji (patrz Zadanie Uzupelnic z.new.am2.c.10.010| i Uzupelnic z.new.am2.c.10.020|), by zobaczyć, że jest to metoda dość pracochłonna i docenić twierdzenie, które poznamy na następnym wykładzie (twierdzenie Fubiniego). Twierdzenie to pozwoli nam liczyć całki wielokrotne przy pomocy całek pojedynczych (które już umiemy liczyć).

Wprowadzimy teraz kilka pojęć, które pomogą nam powiedzieć, jak wygląda klasa funkcji całkowalnych w sensie Riemanna na kostce w $\displaystyle \displaystyle \mathbb {R} ^{N}$ (czyli dla jakich funkcji istnieje całka Riemanna po kostce).

Definicja

Niech $\displaystyle K_{j},j=1,2,\ldots$ będą kostkami w $\displaystyle \displaystyle \mathbb {R} ^{N}$; $\displaystyle K_{j}=[a_{1}^{j},b_{1}^{j}]\times \ldots \times [a_{N}^{j},b_{N}^{j}].$
Mówimy, że zbiór $\displaystyle B\in \mathbb {R} ^{N}$ ma objętość zero, jeśli dla każdego $\displaystyle \displaystyle \varepsilon >0$ istnieją kostki $\displaystyle K_{1},\ldots ,K_{s},$ takie, że

$\displaystyle B\subset K_{1}\cup \ldots \cup K_{s}$

oraz

$\displaystyle \sum _{j=1}^{s}v(K_{j})\leq \varepsilon .$

{ Rysunek AM2.M10.W.R10 (stary numer AM2.10.4)}

Przykład

(1) Zbiorem o objętości zero jest punkt w $\displaystyle \displaystyle \mathbb {R} ^{N}.$ Faktycznie, zawsze możemy dobrać układ współrzędnych tak, by punkt miał współrzędne $\displaystyle \displaystyle (0,\ldots ,0)$ i wtedy zawiera sie on w kostce $\displaystyle K=[-a,a]\times \ldots \times [-a,a],$ gdzie $\displaystyle a={\sqrt[{N}]{\varepsilon }}/2,$ a zatem $\displaystyle v(K)=\varepsilon .$

(2) Brzeg kostki w $\displaystyle \displaystyle \mathbb {R} ^{N}$ ma objętość zero, ten fakt udowodnimy na ćwiczeniach.

Definicja

Mówimy, że zbiór $\displaystyle A\in \mathbb {R} ^{N}$ ma miarę zero jeśli dla każdego $\displaystyle \displaystyle \varepsilon >0$ istnieją kostki $\displaystyle K_{1},K_{2},\ldots$ takie, że

$\displaystyle B\subset K_{1}\cup K_{2}\cup \ldots =\cup _{j=1}^{\infty }K_{j}$

oraz

$\displaystyle \sum _{j=1}^{\infty }v(K_{j})\leq \varepsilon .$

Uwaga

Jeśli zbiór $\displaystyle A$ ma miarę zero, to ma puste wnętrze, czyli Parser nie mógł rozpoznać (Błąd konwersji. Serwer („https://wazniak.mimuw.edu.pl/api/rest_”) zgłosił: „Cannot get mml. Expected width > 0.”): {\displaystyle \displaystyle \displaystyle } int $\displaystyle A=\emptyset .$

Dowód

Zauważmy, że wprost z definicji wynika, że podzbiór zbioru miary zero jest zbiorem miary zero.

Oczywiście, kula w $\displaystyle \displaystyle \mathbb {R} ^{N}$ nie jest zbiorem miary zero - bo zawiera pewną kostkę.
{ Rysunek AM2.M10.W.R11 (stary numer AM2.10.5)}

Gdyby zbiór $\displaystyle A$ miał niepuste wnętrze to, z definicji wnętrza, zawierałby pewną kulę.

Popatrzmy teraz na rysunki poniżej.
{ Rysunek AM2.M10.W.R12a (stary numer AM2.10.6a)}
{ Rysunek AM2.M10.W.R12b (stary numer AM2.10.6b)}
Z lewej strony mamy funkcję ciągłą na przedziale $\displaystyle \displaystyle [a,b],$ z prawej tę samą funkcję, tylko z wartością zmienioną w jednym punkcie - i w tym punkcie funkcja nie jest ciągła. Niemniej, pole pod wykresami obu funkcji jest takie samo - a zatem całka z obu funkcji po przedziale $\displaystyle \displaystyle [a,b]$ jest taka sama. Podobnie, objętość bryły ograniczonej wykresem funkcji nad prostokątem nie zmieni się, jeśli zmienimy tę funkcję wzdłuż na przykład odcinka - jak na poniższym rysunku:
{ Rysunek AM2.M10.W.R13a (stary numer AM2.10.7a)}
{ Rysunek AM2.M10.W.R13b (stary numer AM2.10.7b)}
A zatem całki po tym prostokącie z obu funkcji są takie same.

Przypuśćmy więc, że umiemy policzyć całkę po kostce z funkcji ciągłej. Z powyższych przykładów widać, że możemy funkcję ciągłą "zepsuć" na pewnym zbiorze - a całka pozostanie taka sama jak dla funkcji ciągłej. Aby formalnie powiedzieć jak bardzo możemy "zepsuć" funkcję będziemy potrzebowali poniższych definicji:

Definicja

Niech $\displaystyle K$ będzie kostką w $\displaystyle \displaystyle \mathbb {R} ^{n}.$ Weźmy funkcję $\displaystyle f:K\to \mathbb {R} .$ Mówimy, że funkcja $\displaystyle f$ jest ciągła prawie wszędzie na $\displaystyle K,$ jeśli istnieje zbiór $\displaystyle B$ miary zero taki, że $\displaystyle f$ jest ciągła na $\displaystyle K\setminus B.$

Definicja

Dwie funkcje $\displaystyle f$ i $\displaystyle g$ określone na kostce $\displaystyle K$ są równe prawie wszędzie, jeśli istnieje zbiór $\displaystyle B$ miary zero, taki, że $\displaystyle f=g$ na $\displaystyle K\setminus B.$ Piszemy wtedy $\displaystyle f=g$ p.w. na $\displaystyle K.$

Uwaga

Wydawać by się mogło, że jeśli "zepsujemy" funkcję ciągłą tylko na zbiorze miary zero, to dostaniemy funkcję ciągła prawie wszędzie. Tak jednak nie jest! Na ćwiczeniach zobaczymy przykład funkcji, określonej na przedziale $\displaystyle \displaystyle [0,1],$ która jest różna od funkcji ciągłej tylko na zbiorze miary zero, ale która nie jest ciągła w żadnym punkcie $\displaystyle \displaystyle [0,1]$ (patrz Zadanie Uzupelnic z.new.am2.c.10.090|).

Teraz możemy napisać stwierdzenie, które mówi kiedy całka Riemanna funkcji jest równa całce Riemanna "popsutej" funkcji.

Stwierdzenie

Weźmy dwie funkcje $\displaystyle f$ i $\displaystyle g$ określone na kostce $\displaystyle K\subset \mathbb {R} ^{N},$ prowadzące w $\displaystyle \displaystyle \mathbb {R} .$ Załóżmy, że obie te funkcje są całkowalne w sensie Riemanna (to znaczy istnieją $\displaystyle \displaystyle \displaystyle \int \limits _{K}f(x)dx$ i $\displaystyle \displaystyle \displaystyle \int \limits _{K}g(x)dx$). Załóżmy, że $\displaystyle f$ jest równe $\displaystyle g$ prawie wszędzie na $\displaystyle K.$ Wtedy

$\displaystyle \displaystyle \int \limits _{K}f(x)dx=\displaystyle \int \limits _{K}g(x)dx.$

Dowód

(Dowód nadobowiązkowy.)
Zdefiniujmy funkcję $\displaystyle h:=f-g.$ Widać, że funkcja $\displaystyle h$ też jest całkowalna w sensie Riemanna na $\displaystyle K$ i $\displaystyle h=0$ p.w. na $\displaystyle K.$ Wystarczy zatem pokazać, że $\displaystyle \displaystyle \displaystyle \int \limits _{K}h(x)dx=0$ (i skorzystać z liniowości całki). Określmy zbiór $\displaystyle A:=\{x\in K|h(x)\neq 0\}.$ Ponieważ $\displaystyle h$ jest równa zero prawie wszędzie, to zbiór $\displaystyle A$ ma miarę zero, a zatem ma puste wnętrze (patrz Uwaga Uzupelnic u.am2.w.10.140|). W szczególności zbiór $\displaystyle A$ nie zawiera żadnej kostki.

Weźmy teraz dowolny podział kostki $\displaystyle K$ na kostki $\displaystyle K_{1},\ldots ,K_{s}.$

Żadna z tych kostek nie jest podzbiorem zbioru $\displaystyle A,$ czyli można wybrać punkty pośrednie $\displaystyle x_{1},\ldots ,x_{s},$ takie, że $\displaystyle x_{j}\in K_{j}\setminus A,j=1,\ldots ,s.$ Dla tych $\displaystyle x_{j}$ oczywiście $\displaystyle h(x_{j})=0.$ W takim razie

$\displaystyle \sum _{j=1}^{s}v(K_{j})h(x_{j})=0,$

a więc także

$\displaystyle \displaystyle \int \limits _{K}h(x)dx=\lim _{s\to \infty }\sum _{j=1}^{s}v(K_{j})h(t_{j})=0.$

Podamy teraz - bez dowodu - bardzo ważne twierdzenie, które mówi jakie funkcje są całkowalne w sensie Riemanna.

Twierdzenie

Niech $\displaystyle K$ będzie kostką w $\displaystyle \displaystyle \mathbb {R} ^{N}.$ Niech $\displaystyle f:K\to \mathbb {R}$ będzie funkcją ograniczoną oraz ciągłą prawie wszędzie na $\displaystyle K.$
Wtedy $\displaystyle f$ jest całkowalna w sensie Riemanna na $\displaystyle K.$

Na zakończenie tego wykładu powiemy, jak całkować funkcje po zbiorach innych niż kostki (jak na przykład walce, kule etc).

Przypomnijmy, że funkcją charakterystyczną zbioru $\displaystyle B\in \mathbb {R} ^{N}$ nazywamy funkcję

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \chi_B(x) \ =\ \left\{ \begin{array} {lll} 1 & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x\in B,\\ 0,& } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x\in \mathbb{R}^N\setminus B. \end{array} \right. }

{ Rysunek AM2.M10.W.R14a (stary numer AM2.10.8a)}
{ Rysunek AM2.M10.W.R14b (stary numer AM2.10.8b)}
Dla funkcji $\displaystyle f:B\to \mathbb {R}$ zdefiniujmy funkcję

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle f_B(x) \ :=\ \left\{ \begin{array} {lll} f(x) & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x\in B,\\ 0 & } dla Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle & x\in \mathbb{R}^N\setminus B. \end{array} \right. }

{ Rysunek AM2.M10.W.R15a (stary numer AM2.10.9a)}
{ Rysunek AM2.M10.W.R15b (stary numer AM2.10.9b)}
Możemy teraz zdefiniować całkę Riemanna z funkcji ograniczonej $\displaystyle f$ po zbiorze ograniczonym $\displaystyle B\subset \mathbb {R} ^{N}.$

Definicja

Niech $\displaystyle B$ będzie ograniczonym podzbiorem $\displaystyle \displaystyle \mathbb {R} ^{N}$ i niech $\displaystyle f:B\to \mathbb {R}$ będzie funkcja ograniczoną. Niech $\displaystyle K$ będzie kostką w $\displaystyle \displaystyle \mathbb {R} ^{N},$ taką, że $\displaystyle B\subset K.$ Wtedy całkę z funkcji $\displaystyle f$ po zbiorze $\displaystyle B$ definiujemy jako

$\displaystyle \displaystyle \int \limits _{B}f(x)dx:=\displaystyle \int \limits _{K}f_{B}(x)dx,$

o ile $\displaystyle \displaystyle \displaystyle \int \limits _{K}f_{B}dx$ istnieje.

Pomijamy tu, intuicyjnie dość oczywisty, dowód poprawności definicji - czyli jej niezależności od wyboru kostki $\displaystyle K,$ w której zawiera się zbiór $\displaystyle B.$

Pozostaje jeszcze pytanie, czy możemy powiedzieć, kiedy istnieje całka $\displaystyle \displaystyle \displaystyle \int \limits _{K}f_{B}(x)dx$? Aby odpowiedzieć na to pytanie podajmy najpierw następujące fakty:

Definicja

Niech $\displaystyle B$ będzie ograniczonym podzbiorem $\displaystyle \displaystyle \mathbb {R} ^{N}.$ Załóżmy, że brzeg zbioru $\displaystyle B$ jest zbiorem miary zero, $\displaystyle m(\partial B)=0.$ Zbiór $\displaystyle B$ nazywamy wtedy mierzalnym w sensie Jordana (czyli J-mierzalnym) (przypomnijmy, że brzeg zbioru $\displaystyle B$ definiujemy jako $\displaystyle \displaystyle \partial B={\overline {B}}\setminus \mathrm {int} \,B$; patrz Definicja Uzupelnic d.new.am2.w.01.070|).

Bez dowodu podamy poniższe stwierdzenie:

Stwierdzenie

Jeśli zbiór ograniczony $\displaystyle B,$ zawarty w pewnej kostce $\displaystyle K$ jest J-mierzalny, to istnieje

$\displaystyle \displaystyle \int \limits _{B}\chi _{B}(x)dx.$

Definicja

Dla J-mierzalnego zbioru ograniczonego $\displaystyle B,$ zawartego w kostce $\displaystyle K$ objętością $\displaystyle B$ nazywamy liczbę

$\displaystyle v(B):=\displaystyle \int \limits _{B}\chi _{B}(x)dx.$

Definicja

Gdy $\displaystyle B\subset \mathbb {R} ,\displaystyle v(B)$ nazywamy długością $\displaystyle B,$ a dla $\displaystyle B\subset \mathbb {R} ^{2},\displaystyle v(B)$ nazywamy polem $\displaystyle B.$

Możemy teraz podać następujące twierdzenie.

Twierdzenie

Niech $\displaystyle B$ będzie J-mierzalnym, ograniczonym podzbiorem $\displaystyle \displaystyle \mathbb {R} ^{N},$ Niech $\displaystyle f:B\to \mathbb {R}$ będzie funkcją ograniczoną oraz ciągłą prawie wszędzie na $\displaystyle B.$
Wtedy $\displaystyle f$ jest całkowalna w sensie Riemanna na $\displaystyle B.$

Uwaga

W praktyce najczęściej mamy do czynienia z całkowaniem funkcji ciągłych i określonych na "przyzwoitych" zbiorach, to znaczy zbiorach ograniczonych kawałkami wykresów funkcji, i to funkcji klasy co najmniej $\displaystyle \displaystyle {\cal {C^{1}.}}$ Takimi zbiorami są na przykład kula, walec, kostka, stożek i ich przecięcia. Przedstawione w tym wykładzie rozważania dotyczące całkowalności i zbiorów miary zero należy potraktować jako rodzaj wstępu do teorii miary i do ogólniejszych teorii całek, na przykład do teorii całki Lebesgue'a.