Analiza matematyczna 2/Ćwiczenia 10: Wielowymiarowa całka Riemanna

Wielowymiarowa całka Riemanna

Ćwiczenie 10.1.

Policzyć z definicji następującą całkę

$\underset{K}{\iint }xydxdy,$

gdzie $K=[0,1]\times [0,1].$

Wskazówka

Podzielić $K$ na równe kwadraty (o boku $\frac{1}{n}$) i utworzyć sumę całkową. Zobaczyć do czego zmierza ta suma, gdy $n\to \mathrm{\infty }.$

Rozwiązanie

Skoro funkcja $f(x,y)=xy$ jest ciągła na kostce $K,$ to całka Riemanna z tej funkcji istnieje. W takim razie wystarczy wziąć jakikolwiek normalny ciąg podziałów $P_n,n\in \mathbb{\mathbb{N}},$ utworzyć sumę całkową i znaleźć jej granicę przy $n\to \mathrm{\infty }.$

Weźmy następujący podział $P_n$ kostki $K.$ Podzielmy każdy z odcinków $[0,1]$ na $n$ równych części. Każda z nich będzie miała długość $\frac{1}{n}.$ Biorąc iloczyn kartezjański tych małych odcinków, dostajemy podział $P_n$ kwadratu $K$ na kwadraty $K_{ij},i,j=1,\dots ,n$ o boku $\frac{1}{n},$ a zatem o objętości $v(K_{ij})=\frac{1}{n^2}.$

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle K_{ij} \ =\ \left[\frac{i}{n},\frac{i+1}{n}\right]\times \left[\frac{j}{n},\frac{j+1}{n}\right]. }

{ Rysunek AM2.M10.C.R01 (stary numer AM2.10.10)}
Oczywiście $P_n$ jest normalnym ciągiem podziałów.

Jako punkty pośrednie w kwadratach (kostkach) $K_{ij}$ weźmy lewe dolne rogi tych kwadratów, czyli punkty $p_{ij}$ o współrzędnych $p_{ij}:=(\frac{i}{n},\frac{j}{n}).$ Wartość funkcji $f(x,y)=xy$ w punktach $p_{ij},i,j=1,\dots ,n$ jest równa zatem $\frac{ij}{n^2}.$

Utwórzmy $n$-tą sumę całkową:

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle S(f,P_n,p_{11},p_{12},\ldots,p_{nn}) \ =\ \sum_{i,j=1}^nf(p_{ij})v(K_{ij}) \ =\ \sum_{i,j=1}^n\frac{ij}{n^2}\cdot\frac{1}{n^2}. }

Musimy policzyć granicę tej ostatniej sumy przy $n\to \mathrm{\infty }.$ Otóż

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{i,j=1}^n\frac{ij}{n^2}\cdot\frac{1}{n^2} \ =\ \frac{1}{n^4}\sum_{i,j=1}^nij. }

Teraz wystarczy zauważyć, że

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{i,j=1}^nij \ =\ 1\sum_{i,j=1}^nj+2\sum_{i,j=1}^nj+\ldots+n\sum_{i,j=1}^nj \ =\ (1+2+\ldots+n)\sum_{i,j=1}^nj \ =\ \left(\frac{n(n+1)}{2}\right)^2, }

bo $\sum _{i,j=1}^{n}j=\frac{n(n+1)}{2}.$ A zatem

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{i,j=1}^n\frac{ij}{n^2}\cdot\frac{1}{n^2} \ =\ \frac{1}{n^4}\left(\frac{n(n+1)}{2}\right)^2\stackrel{n\to\infty}{\to}\frac{1}{4}. }

Tak więc, dla $K=[0,1]\times [0,1],$

$\underset{K}{\iint }xydxdy=\frac{1}{4}.$

Ćwiczenie 10.2.

Policzyć z definicji całkę

$\underset{K}{\iiint }xdxdydz,$

gdzie $K=[0,1]\times [0,1]\times [0,1].$

Wskazówka

Podzielić $K$ na równe sześciany (o boku $\frac{1}{n}$) i utworzyć sumę całkową. Zobaczyć do czego zmierza ta suma, gdy $n\to \mathrm{\infty }.$

Rozwiązanie

Analogicznie jak w poprzednim zadaniu, widzimy, że funkcja $f(x,y,z)=x$ jest ciągła (i ograniczona na $K$), a zatem jest całkowalna w sensie Riemanna.

Utwórzmy zatem ciąg $P_n$ podziałów kostki $K$ na kostki $K_{ijt},i,j,t=1,\dots n,$ określone jako

$K_{ijt}=[\frac{i}{n},\frac{i+1}{n}]\times [\frac{j}{n},\frac{j+1}{n}]\times [\frac{t}{n},\frac{t+1}{n}].$

Objętość takiej kostki wynosi $v(K_{ijt})=\frac{1}{n^3}.$

Jako punkty pośrednie weźmy

$p_{ijt}=(\frac{i}{n},\frac{j}{n},\frac{t}{n}).$

Wartość $f$ w punkcie pośrednim wynosi $f(p_{ijt})=f(\frac{i}{n},\frac{j}{n},\frac{t}{n})=\frac{i}{n}.$

Utwórzmy sumę całkową

$S(f,P_n,p_{111},p_{112},\dots ,p_{nnn})=\sum _{i,j,t=1}^{n}f(p_{ijt})v(K_{ijt})=\sum _{i,j,t=1}^n\frac{i}{n}\frac{1}{n^3}=\frac{1}{n^4}\sum _{i,j,t=1}^{n}i.$

Teraz wystarczy zauważyć, że $\sum _{i,j,t=1}^{n}i=n^2\sum {i=1}^{n}i=n^2\frac{n(n+1)}{2}.$ Zatem

$S(f,P_n,p_{111},p_{112},\dots ,p_{nnn})=\frac{1}{n^4}{n}^2\frac{n(n+1)}{2}\underset{n\to \mathrm{\infty }}{\overset{}{\to }}\frac{1}{2}.$

Ćwiczenie 10.3.

Policzyć całkę

$\underset{K}{\iiint }x+ydxdydz,$

gdzie $K=[0,1]\times [0,1]\times [0,1].$

Wskazówka

Skorzystać z liniowości całki (patrz Stwierdzenie Uzupelnic s.am2.w.10.080|) i z Zadania Uzupelnic z.new.am2.c.10.020|.

Rozwiązanie

Z liniowości całki mamy

$\underset{K}{\iiint }x+ydxdydz=\underset{K}{\iiint }xdxdydz+\underset{K}{\iiint }ydxdydz.$

Całkę $\underset{K}{\iiint }xdxdydz$ policzyliśmy w Zadaniu Uzupelnic z.new.am2.c.10.020|. Po dokładnie takich samych obliczeniach dostajemy też Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \displaystyle\iiint\limits_Ky\ dxdydz=\frac{1}{2}.} A zatem

$\underset{K}{\iiint }x+ydxdydz=1.$

Ćwiczenie 10.4.

Wykazać, że zbiór $B\subset {\mathbb{ℝ}}^N$ o objętości zero jest zbiorem miary zero.

Wskazówka

Punkty też są kostkami.

Rozwiązanie

Niech dane będzie $\epsilon >0.$ Szukamy kostek $K_1,K_2,\dots ,$ takich, że

$B\subset K_1\cup K_2\cup \dots =\underset{j=1}{\overset{\mathrm{\infty }}{\cup }}{K}_j$

oraz

$\sum _{j=1}^{\mathrm{\infty }}v(K_j)\le \epsilon .$

Wiemy, że zbiór $B$ ma objętość zero, czyli istnieją kostki $K_1,\dots ,K_s,$ takie, że

$B\subset K_1\cup \dots \cup K_s$

oraz

$\sum _{j=1}^{s}v(K_j)\le \epsilon .$

Zauważmy, że jeden punkt $Q=(q_1,\dots ,q_N)\in {\mathbb{ℝ}}^N$ możemy traktować jako kostkę $[q_1,q_1]\times \dots \times [q_N,q_N]$ o objętości oczywiście zero. Wystarczy teraz zdefiniować

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle K_{s+1} \ =\ K_{s+2} \ =\ \ldots \ =\ Q. }

Wtedy

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle B\subset K_1\cup \ldots \cup K_s \ \subset\ K_1\cup \ldots \cup K_s\cup K_{s+1}\cup K_{s+2}\cup\ldots }

oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{j=1}^{\infty}v(K_j) \ =\ \sum_{j=1}^sv(K_j)+0+0+\ldots\leq\varepsilon. }

Ćwiczenie 10.5.

Wykazać, że odcinek $T\subset {\mathbb{ℝ}}^2$ ma objętość zero.

Wskazówka

Odcinek można zmieścić w jednej kostce.

Rozwiązanie

Możemy tak dobrać układ współrzędnych w ${\mathbb{ℝ}}^2,$ że nasz odcinek $T$ jest odcinkiem osi $Oy,$ to znaczy $T=\{(0,y):y\in [0,a]\}.$ Weźmy dowolne $\epsilon >0.$ Odcinek $T$ zawiera się w kostce $[\frac{-\epsilon }{2a},\frac{\epsilon }{2a}]\times [0,a].$ Objętość (pole) tej kostki wynosi $\epsilon ,$ a zatem $T$ ma objętość zero.

Ćwiczenie 10.6.

(Zadanie nadobowiązkowe.)
Wykazać, że suma przeliczalnej ilości zbiorów miary zero jest zbiorem miary zero.

Wskazówka

Dla każdego ze zbiorów $B_j,j\in \mathbb{\mathbb{N}},$ miary zero, znaleźć pokrycie kostkami o łącznej objętości co najwyżej $\frac{\epsilon }{2^j}.$

Rozwiązanie

Weźmy zbiór $B$ będący przeliczalną sumą zbiorów miary zero, czyli

$B=\bigcup _{j=1}^{\mathrm{\infty }}{B}_j$

oraz $m(B_j)=0,j=1,2,3,\dots$ Weźmy $\epsilon >0.$ Ponieważ zbiór $B_j$ jest miary zero, istnieje przeliczalna ilość kostek $K_1^j,K_2^j,\dots$ takich, że

$B_j\subset \bigcup _{i=1}^{\mathrm{\infty }}{K}_i^j$

oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{i=1}^{\infty}v(K_i^j) \ \leq\ \frac{\varepsilon}{2^j}. }

Weźmy teraz wszystkie kostki $\{K_i^j,i,j\in \mathbb{\mathbb{N}}\}.$ Ten zbiór jest przeliczalny (bo dla każdego $j$ mamy przeliczalną ilość kostek $K_i^j,i\in \mathbb{\mathbb{N}},$ a suma przeliczalnej ilości zbiorów przeliczalnych jest zbiorem przeliczalnym), zatem możemy te wszystkie kostki ustawić w ciąg, powiedzmy $(K_1^1,K_1^2,K_2^1,K_1^3,K_2^2,K_3^1,\dots ).$ Mamy zatem:

$B\bigcup _{i,j=1}^{\mathrm{\infty }}{K}_i^j$

oraz

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \sum_{i=1}^{\infty}v(K_i^j) \ =\ \sum_{j=1}^{\infty}\left(\sum_{i=1}^{\infty}v(K_i^j)\right) \ \leq\ \sum_{j=1}^{\infty}\frac{\varepsilon}{2^j} \ =\ \varepsilon. }

A zatem dla dowolnego $\epsilon >0$ zbiór $B$ zawarliśmy w przeliczalnej sumie kostek o łącznej objętości co najwyżej $\epsilon .$ To kończy zadanie.

Ćwiczenie 10.7.

Wykazać, że prosta w ${\mathbb{ℝ}}^2$ ma miarę zero.

Wskazówka

Wykorzystać Zadania Uzupelnic z.new.am2.c.10.050| i Uzupelnic z.new.am2.c.10.060|.

Rozwiązanie

Dobierzmy układ współrzędnych tak, by nasza prosta była osią układu, na przykład osią $Ox.$ Możemy ją przedstawić jako przeliczalną sumę odcinków, Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle \displaystyle [0,1]\cup [1,2]\cup \-1,0]\cup [2,3]\cup [-2,-1]\cup \ldots.} W zadaniu 4 udowodniliśmy, że odcinki w ${\mathbb{ℝ}}^2$ mają miarę zero, w Zadaniu Uzupelnic z.new.am2.c.10.060| pokazaliśmy, że suma przeliczalnej ilości zbiorów miary zero jest zbiorem miary zero, a zatem prosta w ${\mathbb{ℝ}}^2$ ma miarę zero.

Uwaga. To zadanie można zrobić nie korzystając z Zadania Uzupelnic z.new.am2.c.10.060|. Podzielmy prostą na odcinki, tak jak wyżej. Utwórzmy sumę kostek:

$([0,1]\times [\frac{-\epsilon }{2^2},\frac{\epsilon }{2^2}])\cup ([1,2]\times [\frac{-\epsilon }{2^3},\frac{\epsilon }{2^3}])\cup ([-1,0]\times [\frac{-\epsilon }{2^4},\frac{\epsilon }{2^4}])\cup ([2,3]\times [\frac{-\epsilon }{2^5},\frac{\epsilon }{2^5}])\cup ([-2,-1]\times [\frac{-\epsilon }{2^6},\frac{\epsilon }{2^6}])\cup \dots$

Oczywiście prosta zawiera się w sumie tych kostek, a suma objętości tych kostek wynosi

$\frac{\epsilon }{2}+\frac{\epsilon }{2^2}+\frac{\epsilon }{2^3}+\frac{\epsilon }{2^4}+\frac{\epsilon }{2^5}+\frac{\epsilon }{2^6}+\dots =\epsilon .$

Ćwiczenie 10.8.

Wykazać, że ściana kostki $K$ w ${\mathbb{ℝ}}^N$ ma miarę zero.

Wskazówka

Można zacząć od dowodu, że odcinek ma miarę zero w ${\mathbb{ℝ}}^2$ a prostokąt ma miarę zero w ${\mathbb{ℝ}}^3.$

Rozwiązanie

Niech $K=[a_1,b_1]\times \dots \times [a_N,b_N.$ Ściany kostki to zbiory postaci

Parser nie mógł rozpoznać (nieznana funkcja „\aligned”): {\displaystyle \displaystyle \aligned \{a_1\}\times [a_2,b_2]\times \ldots\times [a_N,b_N], && \{b_1\}\times [a_2,b_2] \times\ldots\times [a_N,b_N],\ldots \cr [a_1,b_2]\times [a_2,b_2] \times\ldots\times \{a_N\}, && [a_1,b_2]\times [a_2,b_2] \times\ldots\times \{b_N\}. \endaligned}

Wykażemy na przykład, że $K_1=\{a_1\}\times [a_2,b_2]\times \dots \times [a_N,b_N]$ ma miarę zero. Weźmy dowolne $\epsilon >0.$ Wystarczy zauważyć, że $K_1$ zawiera się w kostce

$[a_1-\frac{\epsilon }{2(b_2-a_2)(b_3-a_3)\dots (b_N-a_N)},a_1+\frac{\epsilon }{2(b_2-a_2)(b_3-a_3)\dots (b_N-a_N)}]\times [a_2,b_2]\times \dots \times [a_N,b_N]$

o objętości dokładnie $\epsilon .$

Ćwiczenie 10.9.

Znaleźć przykład funkcji na odcinku $[0,1],$ która jest różna od funkcji ciągłej na zbiorze miary zero, ale która nie jest ciągła w żadnym punkcie.

Wskazówka

Jaka znana funkcja nie jest ciągła w żadnym punkcie?

Rozwiązanie

Jako funkcję ciągłą na odcinku $[0,1]$ weźmy funkcję stale równą zero, to znaczy $f(x)=0$ dla $x\in [0,1].$

Zauważmy, że zbiór $B=[0,1]\cap \mathbb{\mathbb{Q}}$ jest zbiorem miary zero (bo jest sumą przeliczalnej ilości punktów, które mają objętość zero, a więc i miarę zero; zobacz wykład i Zadanie 5).

Określmy funkcję

Parser nie mógł rozpoznać (błąd składni): {\displaystyle \displaystyle g(x) \ =\ \left\{ \begin{array} {lll} 0 & \textrm{gdy} \displaystyle & x\in [0,1]\setminus\mathbb{Q},\\ 1 & \textrm{gdy} \displaystyle & x\in [0,1]\cap\mathbb{Q}. \end{array} \right. }

To jest znana z wykładu Analizy Matematycznej 1, funkcja Dirichleta (patrz Przykład AM1.Uzupelnic p.new.am1.w.14.080|). Wiemy, że nie jest ona ciągła w żadnym punkcie przedziału $[0,1],$ a różni się od funkcji ciągłej $f$ tylko na zbiorze miary zero.