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

Georg Friedrich Bernhard Riemann (1826-1866)
Zobacz biografię

<flash>file=AM2.M10.W.R01.swf|width=375|height=375</flash> <div.thumbcaption>Podział kostki $K$ na mniejsze kostki $\displaystyle K_{1},\ldots ,K_{s},$ takie że

$\displaystyle K=K_{1}\cup \ldots \cup K_{s}.$

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 10.1.

(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.$

Definicja 10.2.

(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 10.3.

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} .$
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 10.4.

(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}).$

<flash>file=am2.m10.w.r02.swf|width=375|height=375</flash> <div.thumbcaption>Funkcja ograniczona określona na kostce w $\mathbb {R} ^{2}$

<flash>file=am2.m10.w.r03.swf|width=375|height=375</flash> <div.thumbcaption>Podział kostki w Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle \mathbb{R}^2} oraz punkty pośrednie

Weźmy teraz normalny ciąg Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle \displaystyle P_1,P_2,\ldots.} podziałów kostki Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle \displaystyle K.} Dla każdego podziału Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle \displaystyle P_j} wybierzmy ciągpunktów pośrednich Parser nie mógł rozpoznać (SVG (MathML może zostać włączone przez wtyczkę w przeglądarce): Nieprawidłowa odpowiedź („Math extension cannot connect to Restbase.”) z serwera „https://wazniak.mimuw.edu.pl/api/rest_v1/”:): {\displaystyle \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 10.5.

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.$

<flash>file=am2.m10.w.r04.swf|width=375|height=375</flash> <div.thumbcaption>Objętość prostopadłościanu jest jednym składnikiem w sumie całkowej

<flash>file=am2.m10.w.r05.swf|width=375|height=375</flash> <div.thumbcaption>Objętość wszystkich prostopadłościanów jest równa sumie całkowej

Uwaga 10.6.

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(U(f,P_{j})-L(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 10.7.

W literaturze można spotkać też zapis $\displaystyle \displaystyle \int \limits _{K}\cdots \displaystyle \int \limits 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 10.8.

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 10.9.

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, mamy

$\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$ to znaczy $\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). }

<flash>file=am2.m10.w.r06.swf|width=375|height=375</flash> <div.thumbcaption>Aproksymacja objętości pod wykresem funkcji

<flash>file=am2.m10.w.r07.swf|width=375|height=375</flash> <div.thumbcaption>Aproksymacja objętości pod wykresem funkcji

<flash>file=am2.m10.w.r08.swf|width=375|height=375</flash> <div.thumbcaption>Aproksymacja objętości pod wykresem funkcji

<flash>file=am2.m10.w.r09.swf|width=375|height=375</flash> <div.thumbcaption>Aproksymacja objętości pod wykresem funkcji

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 powyż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 10.10.

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 ćwiczenie 10.1. i 10.2.), 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).

<flashwrap>file=AM2.M10.W.R10.swf|size=small</flashwrap>

<div.thumbcaption>Odcinek jest zawarty w kostce o dowolnie małej objętości

Definicja 10.11.

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 .$

Przykład 10.12.

(1) Punkt w $\displaystyle \displaystyle \mathbb {R} ^{N}$ jest zbiorem o objętości zero. 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 się 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.

<flash>file=AM2.M10.W.R11.swf|width=375|height=375</flash>

<div.thumbcaption>Kula w $\mathbb {R} ^{2}$ ma dodatnią objętość

Definicja 10.13.

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 =\bigcup _{j=1}^{\infty }K_{j}$

oraz

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

Uwaga 10.14.

Jeśli zbiór $\displaystyle A$ ma miarę zero, to ma puste wnętrze, czyli int $\displaystyle A=\emptyset .$

Dowód uwagi 10.14.

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ę.

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

Popatrzmy teraz na rysunki poniżej.

<flash>file=AM2.M10.W.R12a.swf|width=375|height=375</flash> <div.thumbcaption>Funkjca ciągła $f$ nad odcinkiem

<flash>file=AM2.M10.W.R12b.swf|width=375|height=375</flash> <div.thumbcaption>Funkcja powstała z funkcji ciągłej $f$ przez zmianę wartości w jednym punkcie

Na pierwszym rysunku mamy funkcję ciągłą na przedziale $\displaystyle \displaystyle [a,b],$ a na drugim rysunku mamy 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ższych rysunkach:

<applet code="applet.class" archive="images/a/a0/Javaview.jar,images/e/e1/Applet.jar" width="450" height="400">

   <param name="colors" value="-1:#7e0b9f -0.80:#ce3bf8 -0.60:#2c4ae5 -0.40:#2c85e5 -0.20:#2ecca9 -0.05:#2ecc5b 0.05:#2ecc5b 0.20:#97cc2e 0.40:#edff27 0.60:#ffba27 0.80:#ff6e27 1:#d42525">
   <param name="coloring" value="maple">
   <param name="model" value="images/2/23/Am2.m10.w.r13a.mgs.zip">
   <param name="scale" value="1.0 1.0 0.2">

<param name="shading" value="0.2"> </applet>

<div.thumbcaption>Am2.m10.w.r13a.mgs.zip

Funkcja ciągła $f$ nad prostokątem

<applet code="applet.class" archive="images/a/a0/Javaview.jar,images/e/e1/Applet.jar" width="450" height="400">

   <param name="colors" value="-1:#7e0b9f -0.80:#ce3bf8 -0.60:#2c4ae5 -0.40:#2c85e5 -0.20:#2ecca9 -0.05:#2ecc5b 0.05:#2ecc5b 0.20:#97cc2e 0.40:#edff27 0.60:#ffba27 0.80:#ff6e27 1:#d42525">
   <param name="coloring" value="maple">
   <param name="model" value="images/e/eb/Am2.m10.w.r13b.mgs.zip">
   <param name="scale" value="1.0 1.0 0.2">

<param name="shading" value="0.2"> </applet>

<div.thumbcaption>Am2.m10.w.r13b.mgs.zip

Funkcja powstała z funkcji ciągłej $f$ przez zmianę wartości wzdłuż odcinka

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 "niedużym" 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 10.15.

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 10.16.

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 10.17.

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 ćwiczenie 10.9.).

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

Stwierdzenie 10.18.

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 10.18. [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 10.14.). 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 10.19.

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 & \textrm{dla} \displaystyle & x\in B,\\ 0,& \textrm{dla} \displaystyle & x\in \mathbb{R}^N\setminus B. \end{array} \right. }

<flash>file=AM2.M10.W.R14a.swf|width=375|height=220</flash> <div.thumbcaption>Zbiórr $B$

<flash>file=AM2.M10.W.R14b.swf|width=375|height=220</flash> <div.thumbcaption>Wykres funkcji charakterystycznej zbioru $B$

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) & \textrm{dla} \displaystyle & x\in B,\\ 0 & \textrm{dla} \displaystyle & x\in \mathbb{R}^N\setminus B. \end{array} \right. }

<flash>file=AM2.M10.W.R15a.swf|width=375|height=250</flash> <div.thumbcaption>Zbiór $B$ i wykres funkcji $f$

<flash>file=AM2.M10.W.R15b.swf|width=375|height=250</flash> <div.thumbcaption>Wykres funkcji $f_{B}$

Możemy teraz zdefiniować całkę Riemanna z funkcji ograniczonej $\displaystyle f$ po zbiorze ograniczonym $\displaystyle B\subset \mathbb {R} ^{N}.$

Definicja 10.20.

Niech $\displaystyle B$ będzie ograniczonym podzbiorem $\displaystyle \displaystyle \mathbb {R} ^{N}$ i niech $\displaystyle f:B\to \mathbb {R}$ będzie funkcją 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:

Marie Ennemond Camille Jordan (1838-1922)
Zobacz biografię

Definicja 10.21.

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 1.7.).

Bez dowodu podamy poniższe stwierdzenie:

Stwierdzenie 10.22.

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 10.23.

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 10.24.

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 10.25.

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 10.26.

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.