01MAA4:Kapitola35: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
m
m
 
(Nejsou zobrazeny 4 mezilehlé verze od 2 dalších uživatelů.)
Řádka 1: Řádka 1:
 
%\wikiskriptum{01MAA4}
 
%\wikiskriptum{01MAA4}
\section{Divergenční věta}
+
 
+
\section{Vícerozměrná integrace}
\begin{remark}
+
 
Z této kapitoly Vrána vyžaduje (na A) pouze divergenční větu. Celá kapitola však významně abstrahuje dosavadní poznatky o integrování získané z fyzikálních předmětů a dává jim nutný matematický podklad. Matematičtí fyzici by této kapitole měli věnovat zvláštní pozornost.
+
%\begin{remark}
\end{remark}
+
Z této kapitoly Vrána přednáší pouze plošné integrály a divergenční větu, na zkoušce pak její znění může chtít slyšet na A. Ze znalostí z předchozí kapitoly nyní můžeme shrnout poznatky o~integrování získané z~fyzikálních předmětů.
 +
%\end{remark}
 
   
 
   
 
\begin{define}
 
\begin{define}
Neprázdná množina $A\subset\R^n $ se nazývá \emph{$\sigma$-kompaktní}, existuje-li nejvýše spočetný systém  
+
Neprázdná množina $A\subset\R^n $ se nazývá {\bf$\boldsymbol\sigma$-kompaktní}, existuje-li nejvýše spočetný systém  
$\left\lbrace A_n\right\rbrace _{n\in I}$ kompaktních podmnožin $\R^n$ takový, že
+
$\left\lbrace A_n\right\rbrace _{n\in \I}$ kompaktních podmnožin $\R^n$, který pokrývá $A$, tj.
 
\[
 
\[
  A = \bigcup_{n\in I}A_n
+
  A = \bigcup_{n\in\I}A_n.
 
\]
 
\]
 
\end{define}
 
\end{define}
 
 
 
   
 
   
 
\begin{define}
 
\begin{define}
Buď $M$ $r$-rozměrná varieta, $g:\R^r\rightarrow M$ regulární zobrazení, $\sigma$-kompaktní množina $D\subset \vn{(\text{img }g)}$,
+
\label{Morientace}
$f:\R^r\rightarrow \R$ a $D \subset \text{def} f$
+
Nechť jsou dány:
definujeme
+
\begin{enumerate}
\[\int_D f\,\d_r=\int_{g^{-1}(D)}f(g(t))\norm{\bigwedge_{i=1}^r g_i(t)}\,\d t,\quad t\in\R^r.\]
+
\item $k$-rozměrná varieta $M \subset \R^n$,
$\norm{\bigwedge_{i=1}^r g_i(t)}$ je hodnotově stejné s
+
\item regulární zobrazení $g:\R^k\mapsto M$,
$\sqrt{\det\left\langle g_i, g_j\right\rangle }$, tj. odmocninou z~gramiánu, $g_i$ jsou  parciální derivace
+
\item $\sigma$-kompaktní množina $A\subset \vn{(\obr g)}.$
\end{define}
+
\end{enumerate}
+
Potom {\bf orientací variety $M$} nazýváme zobrazení $\vec e:\R^k\mapsto \Lambda^{k}(V_n)$ definované $\forall t\in\df g$
Plošný integrál I. druhu ($n=3$, $r=2$):
+
 
\[
 
\[
\int_D f\,\d S=\int_{g^{-1}(D)}f(g(u,v))
+
e(t) = \frac{\bigwedge_{i=1}^k g_i(t)}{\norm{\bigwedge_{i=1}^k g_i(t)}}
\norm{\frac{\pd g}{\pd u}\times\frac{\pd g}{\pd v}}
+
\,\d u\d v,
+
 
\]
 
\]
Norma vektorového součinu vyjde stejně jako ten gramián. \\
+
\end{define}  
Ve speciálním případě, kdy
+
 
\\$g(x,y) = (x,y,\phi(x,y))$
+
\begin{remark}
\[\int_D f\,\d S = \int_{g^{-1}(D)}f(x,y,\phi(x,y))
+
\sqrt{1+\left(\frac{\pd\phi}{\pd x}\right)^2+\left(\frac{\pd\phi}{\pd y}\right)^2}\dx\dy.\]
+
+
Z~Greenovy věty v~$\R^2$: forma je uzavřená
+
$\boldsymbol\omega=P\d x+Q\d y$, tedy
+
\[\frac{\pd P}{\pd y}=\frac{\pd Q}{\pd x}\]
+
na jednoduše souvislém uzavřeném definičním oboru
+
\[\int_\phi P\d x+Q\d y=\iint_D \left(-\frac{\pd P}{\pd y}+\frac{\pd Q}{\pd x}\right)\d x\d y = 0,\]
+
tedy  je konzervativní.
+
+
\begin{define}Základní vlastnosti vnějšího součinu:
+
 
\begin{enumerate}
 
\begin{enumerate}
\item Asociativita
+
\item Orientace variety $M$ má význam jednotkového tečného \uv{vektoru} k varietě $M$.
\item Komutativita, resp. antikomutativita, je-li $\omega$ k-forma a $\tau$ l-forma, potom platí
+
\item Orientace variety $M$ je daná orientací jejího tečného prostoru ($g_i$ jsou tečné vektory).
$$ \omega\wedge \tau = (-1)^{kl}\tau\wedge\omega$$  
+
\item Varieta je orientovatelná, pokud se dá napsat jako implicitní zobrazení. Pokud ji nelze zadat implicitně, není tedy orientovatelná a můžeme ji zadat např. parametricky.
+
+
+
\item Antisymetrie $\vec x\wedge \vec y = -\vec y\wedge \vec x $
+
 
\end{enumerate}
 
\end{enumerate}
 +
\end{remark}
 +
 +
\begin{define}[$k$-rozměrný integrál druhého druhu]
 +
\label{kint2druh}
 +
Nechť $\boldsymbol\omega$ diferenciální $k$-forma, $A\subset \df \boldsymbol\omega$ orientovaná dle $ e$, $t \in \df g$. Potom při označení z předchozí definice klademe
 +
\[
 +
\int_{\vn{A}}\boldsymbol\omega=\int_{g^{-1}(A)}\omega(g(t))\bigwedge_{i=1}^k g_i(t)\,\d t,
 +
\]
 +
kde $g_i$ jsou $i$-té parciální derivace, tj. $g_i=\pd_i g(t)$, a dále
 +
\[
 +
\bigwedge_{i=1}^k g_i(t)\,\d t= \frac{\pd g}{\pd t^1}(t)\wedge\dots\wedge \frac{\pd g}{\pd t^k}(t)\,\d t.
 +
\]
 
\end{define}
 
\end{define}
+
 
+
\begin{remark}
\begin{define}[$r$-rozměrný integrál I. druhu]\
+
Pro $n=3$, $k=2$ nazýváme \ref{kint2druh} {\bf plošný integrál druhého druhu}.
\begin{enumerate}
+
 
\item $r=1$ v~$\R^n$
+
Pro každou diferenciální 2-formu $\boldsymbol\omega$ existuje dle poznámky \ref{findhodge}.2 vektorové pole $\vec F:\R^2\mapsto \Lambda^2(V^n)$.
\[\int_g f\,\d s=\int_a^b f(g(t))\abs{g'(t)}\,\d t\]
+
% dané vztahem
\item $r=r$ v~$\R^n$ (platí i pro $r=1$)
+
%\[
\[\int_A f\,\d_r=\overbrace{\idotsint_{g^{-1}(A)}}^r
+
%\vec F=\sum_{\lambda\in {n\nad k}} \omega_\lambda \vec e_\lambda.
f(g(t))\abs{g_1(t)\wedge g_2(t)\wedge\dots\wedge g_r(t)}\,\d t,\]
+
%\]
\end{enumerate}
+
%Potom, označíme-li $g=g(u,v),$ platí $(\forall (u,v)\in \df g)$ $\la \vec F(g),g_u \wedge g_v \ra =  \omega(g) ~ g_u \wedge g_v$ (poslední výraz není součin, nýbrž akci formy na vnější součin).
kde
+
S užitím poznámek pod definicí \ref{hodge} získáme
\[\abs{g_1(t)\wedge g_2(t)\wedge\dots\wedge g_r(t)}=
+
\[
\sqrt{\left|
+
\begin{split}
 +
& \int_{g^{-1}(A)} \omega(g(u,v))~g_u(u,v)\wedge g_v(u,v)  \,\d u \d v = \int_{g^{-1}(A)} \la \vec{F}(g(u,v)),g_u(u,v)\wedge g_v(u,v)\ra  \,\d u \d v =\\
 +
&= \int_{g^{-1}(A)} \la \star \vec{F}(g(u,v)),\star g_u(u,v)\wedge g_v(u,v)\ra  \,\d u \d v =
 +
\int_{g^{-1}(A)} \la \star \vec{F}(g(u,v)),g_u(u,v)\times g_v(u,v)\ra  \,\d u \d v.
 +
\end{split}
 +
\]
 +
 
 +
Pro zápis plošných integrálů druhého druhu se proto užívá následující symboliky:
 +
\[ \int_A\la \vec F ,\vec n \ra\d S
 +
=\int_A\vec F\cdot \d\vec S =
 +
\int_A(F_1\,\d y\d z+F_2\,\d z\d x+F_3\,\d x\d y)=\int_{g^{-1}(A)}\vec F(g(t))\cdot\left( \frac{\pd g}{\pd t^1}(t)\times \frac{\pd g}{\pd t^2}(t)\right)  \d t.
 +
\]
 +
Druhá rovnost plyne z toho, že je-li $\boldsymbol\omega = F_1 \,\d y\wedge\d z+F_2 \,\d x\wedge\d z +F_3 \,\d x\wedge\d y$, potom $\star\vec{F} = (F_1,-F_2,F_3)^T$.
 +
 
 +
Integrand v poslední rovnosti je smíšený součin. Užitím poznámky \ref{findhodge}.1(a) můžeme pokračovat v úpravách integrálu (ozn. $\pd_i g^j=\frac{\pd g^j}{\pd t^i}$)
 +
\[
 +
=\int_{g^{-1}(A)}\vec F(g(t))\wedge \frac{\pd g}{\pd t^1}(t)\wedge \frac{\pd g}{\pd t^2}(t)~ \d t=\int_{g^{-1}(A)}
 +
\left|
 
\begin{matrix}
 
\begin{matrix}
\left\langle g_1,g_1\right\rangle  & \hdots & \left\langle g_1,g_r\right\rangle \\
+
F_1      & F_2      & F_3      \\
\vdots & & \vdots\\
+
\pd_1 g^1 & \pd_1 g^2 & \pd_1 g^3 \\
\left\langle g_r,g_1\right\rangle  & \hdots & \left\langle g_r,g_r\right\rangle
+
\pd_2 g^1 & \pd_2 g^2 & \pd_2 g^3
 
\end{matrix}
 
\end{matrix}
\right|}.\]
+
\right|\!(t)
 +
~\d t.
 +
\]
 +
\end{remark}
 +
 
 +
\begin{remark} Při označení z definice \ref{Morientace} platí
 +
\[
 +
\int_{\vn{A}}\boldsymbol\omega=\int_{g^{-1}(A)}\omega(g(t))~\vec e(t)\norm{\bigwedge_{i=1}^k g_i(t)}\,\d t.
 +
\]
 +
Je-li $\boldsymbol\omega$  0-forma, tj. (skalární) funkce, můžeme tento poznatek shrnout do následující definice.
 +
\end{remark}
 +
 
 +
\begin{define}[$k$-rozměrný integrál prvního druhu]
 +
\label{kint1druh}
 +
Nechť $f:\R^k\rightarrow \R$ funkce, $A\subset \df f$, $\mu_k(x)$ $k$-rozměrná míra na $\R^k$, $x\in\df f$, $t \in \df g$. Potom při označení z definice klademe
 +
\[
 +
\int_A f(x)\,\d \mu_k(x)=\int_{g^{-1}(D)}f(g(t))\norm{\bigwedge_{i=1}^k g_i(t)}\,\d t,
 +
\]
 +
kde $g_i$ jsou $i$-té parciální derivace, tj. $g_i=\pd_i g(t)$, a dále
 +
\[
 +
\norm{\bigwedge_{i=1}^r g_i(t)}=\sqrt{\left|
 +
\begin{matrix}
 +
\la g_1,g_1\ra & \hdots & \la g_1,g_k\ra \\
 +
\vdots        &        & \vdots        \\
 +
\la g_k,g_1\ra & \hdots & \la g_k,g_k\ra
 +
\end{matrix}
 +
\right|}.
 +
\]
 
\end{define}
 
\end{define}
\begin{define}[$r$-rozměrný integrál II. druhu]
+
 
\[\int_{\vn{A}}\boldsymbol\omega=\int_{g^{-1}(A)}\boldsymbol\omega(g(t))\bigwedge_{i=1}^r g_i(t)\,\d t\]
+
\begin{define}
kde
+
\label{fundforma}
\[\boldsymbol\omega=\sum_{\substack{\lambda\\\lambda=(i_1,\dots,i_r)}}
+
Symetrická bilineární forma daná Gramovou maticí souboru ($g_i(t)$) definované po složkách $\left[g(t)\right]_{ij}=\la g_i(t), g_j(t)\ra$ se nazývá {\bf metrický tenzor}. Determinant příslušné matice se nazývá {\bf gramián}.
\boldsymbol\omega_\lambda\,
+
\d x^{i_1}\wedge\d x^{i_2}\wedge\dots\wedge\d x^{i_r}\]
+
$\lambda$ je soubor rostoucích kombinací. Sčítenců je $\binom{n}{r}$.
+
 
\end{define}
 
\end{define}
+
 
Speciálně pro $r =2$, $n=3$ a $\boldsymbol\omega = F_1 \,\d y\d z+F_2 \,\d x\d z +F_3 \,\d x\d y$ potom
+
\begin{remark}
 +
\begin{enumerate}
 +
\item Mezi metrickým tenzorem a Jakobiánem platí vztah $g=\J^T\J$, odsud  platí
 +
  $\det f'(x)=\sqrt{\det g(t)}$. Tímto je dokázána věta \ref{substint}. Metrický tenzor tedy figuruje při přechodu od jedněch souřadnic ke druhým. Zároveň udává geometrii na varietě $M$, neboť na ní indukuje \uv{skalární součin} a tudíž i metriku. Proto se nazývá metrický tenzor.
 +
\item Metrický tenzor nemusí být nutně pozitivně definitní, musí však mít prázdný nulprostor. Variety se signaturou metriky $(-1,1,1,1)$ nazýváme {\bf pseudoriemannovské.}
 +
\item Metrický tenzor 2-rozměrné variety nazýváme {\bf první fundamentální formou}, značíme
 
\[
 
\[
\int_{\vn{A}}\boldsymbol\omega=\int_{g^{-1}(A)}\vec F(g(u,v))\wedge g_u(u,v)\wedge g_v(u,v) \,\d u \d v =
+
\begin{pmatrix}
\int_{g^{-1}(A)} \left\langle \star \vec{F}(g(u,v)) \, , \, g_u(u,v)\times g_v(u,v)\right\rangle  \,\d u \d v
+
E & F \\
 +
F & G
 +
\end{pmatrix} \qquad \mbox{ ($E,F,G$ jsou funkce $t$)}.
 
\]
 
\]
kde $\star\vec{F} = (F_1,-F_2,F_3)$ (Hodgeův operátor sdružení)
+
\item $\det g=EG-F^2=\la g_u,g_u\ra \la g_v,g_v\ra-\la g_u,g_v\ra^2
+
=\norm{g_u}^2\norm{g_v}^2-\la g_u,g_v\ra^2$
Pro zápis plošných integrálů II. druhu se proto využívá následující symboliky,
+
\item Pro velikost vektorového součinu platí $\norm{\vec a\times \vec c}^2
je-li
+
=\norm{\vec a}^2\norm{\vec c}^2-\la \vec a,\vec c\ra^2$. Užitím tohoto vzorce na předchozí rovnost získáme užitečný vztah
\[\int_A\vec F\,\d\vec S = \int_A(F_1\,\d y\d z+F_2\,\d z\d x+F_3\,\d x\d y)=\int_{g^{-1}(A)}\vec F(g(t))(g_1(t)\times g_2(t)) \d t.\]
+
\[
 +
\sqrt{\det g}=\norm{g_u\times g_v}=\norm{g_u}^2\norm{g_v}^2-\la g_u,g_v\ra^2.
 +
\]
 +
\end{enumerate}
 +
\end{remark}
 +
\begin{remark}
 +
Pro $k=2$ v $\R^3$ nazýváme \ref{kint1druh} {\bf plošný integrál prvního druhu}. Pro jeho zápis se s~přihlédnutím k~předchozí poznámce užívá následující symboliky:
 +
\[
 +
\int_A f\,\d S=\int_{g^{-1}(A)}f(g(u,v))
 +
\norm{\frac{\pd g}{\pd u}\times\frac{\pd g}{\pd v}}
 +
\,\d u\d v.
 +
\]
 +
Ve speciálním případě, kdy $g(x,y) = (x,y,\phi(x,y))$, získáme
 +
\[\int_A f\,\d S = \int_{g^{-1}(A)}f(x,y,\phi(x,y))
 +
\sqrt{1+\left(\frac{\pd\phi}{\pd x}\right)^2+\left(\frac{\pd\phi}{\pd y}\right)^2}\dx\dy.\]
 +
Položíme-li $f(x)=1$, získáme vzorec pro výpočet obsahu plochy $A\subset\R^3$, která je parametricky zadaná zobrazením $\phi(x,y)$.
 +
\end{remark}
  
 +
\begin{remark}
 +
Pro $k=1$ v $\R^n$ nazýváme \ref{kint1druh} {\bf křivkový integrál prvního druhu}, s nímž jsme se již setkali. Pro $\left[  a,b\right] =\df g$ buď
 +
\[
 +
\int_g f\d s=\int_a^b f(g(t))\norm{g'(t)}\d t.
 +
\]
 +
Položíme-li $f(x)=1$, získáme vzorec pro výpočet délky křivky $[g]$, která je parametricky zadaná zobrazením $g$.
 +
\end{remark}
 
   
 
   
\begin{theorem}[divergenční]
+
\begin{theorem}[divergenční, zobecněná Stokesova]
Buďte $M,D\subset\R^n$, $M$ je $r$-rozměrná varieta,  a nechť dále platí:
+
\label{divergint}
 +
Buď $D\subset\R^n$, a nechť jsou dány:
 
\begin{enumerate}[(I)]
 
\begin{enumerate}[(I)]
\item $D\subset M$,
+
\item $k$-rozměrná varieta $M$ v $\R^n$,
\item $D$ je sigma kompaktní, ležící na jedné straně svého kraje $\pd D$
+
\item $\pd D$, tj. $(k-1)$-rozměrná varieta (po částech $\c{0}$),
\item $\pd D$ buď okraj $D$ ($\pd D \not= \hr D$)
+
\item $\sigma$-kompaktní množina $D\subset M$ ležící na jedné straně svého okraje $\pd D$.
\item $\pd D$ buď $(r-1)$-rozměrná varieta (po částech).
+
 
\end{enumerate}
 
\end{enumerate}
Buď dále $\boldsymbol\omega$ $(r-1)$-forma $\in\c{1}$ na $\uz{D}$
+
Potom pro každou diferenciální $(k-1)$-formu  $\boldsymbol\omega\in\c{1}(\uz{D})$ platí
(stačí $\c{1}$ na $\vn{D}$ a $\c{0}$ na $\uz{D}$). Potom platí
+
 
\[\int_{\pd D}\boldsymbol\omega=\int_{\vn{D}}\d\boldsymbol\omega.\]
 
\[\int_{\pd D}\boldsymbol\omega=\int_{\vn{D}}\d\boldsymbol\omega.\]
$\d\boldsymbol\omega$ --- vnější derivace
+
\end{theorem}  
\[\d\boldsymbol\omega=
+
 
\sum_\lambda\d\boldsymbol\omega_\lambda\wedge\d x^{i_1}\wedge\dots\wedge\d x^{i_{r-1}}.\]
+
 
\begin{remark}
 
\begin{remark}
Následující formule jsou důsledkem divergenční věty.
 
 
\begin{enumerate}
 
\begin{enumerate}
\item Newton, tj. $n=1$, $r=1$: $D=\la a,b\ra$, $\pd D=\{a,b\}$,
+
\item V~předpokladech stačí $\c{1}(\vn{D})$ a $\c{0}(\uz{D})$.
\[[f(x)]_a^b=\int_a^b\d f=\int_a^b f',\]
+
%\item Okraj není topologická hranice ($\pd D \not = \hr D$), nýbrž geometrický okraj. Oba pojmy se často (a~mylně) zaměňují, ale např. v \ref{stokes} nemusí mít varieta hranici, a přesto může být \uv{obepnuta} nějakou křivkou.
$[f(x)]_a^b=1f(b)+(-1)f(a)$.
+
\item Důkaz věty je nad rámec přednášky, dokážeme si však nám již známé důsledky této věty. Následující formule jsou důsledkem divergenční věty pro $n=k$.
\item Green, tj. $n=2$, $r=2$:
+
\end{enumerate}
\[\int_{\pd D}\boldsymbol\omega=\int_{\vn{D}}\d\boldsymbol\omega,\]
+
\end{remark}
 +
 
 +
\begin{theorem}[Newton, Leibniz ($n=k=1$)]
 +
\label{newton}
 +
Buď $\d f$ exaktní diferenciální 1-forma třídy $\c{0}, D=\left[a,b\right],\pd D=\{a,b\}$. Potom platí
 +
\[f(b)-f(a)=[f(x)]_a^b=\int_a^b\d f=\int_a^b f'.\]
 +
\begin{proof}
 +
Orientace krajních bodů je opačná, proto jsou funkční hodnoty v krajních bodech (0-forma $f(x)$ vyčíslená přes okraj $\pd D$) vynásobeny příslušnými znaménky. $[f(x)]_a^b=1\cdot f(b)+(-1)\cdot f(a)$
 +
\end{proof}
 +
\end{theorem}
 +
 
 +
\begin{theorem}[Green ($n=k=2$)]
 +
\label{green}
 +
Buď $D=\vn D\subset R^2$ omezená oblast, její hranice $\pd D$ je kladně orientovaná uzavřená Jordanova dráha po částech třídy $\c{1}$, $P,Q\in\c{1}(D)$, $P,Q\in\c{0}(\uz D)$. Potom platí
 +
\[
 +
\int_{\pd D} (P\d x+Q\d y)=\iint_D\left(
 +
\frac{\pd Q}{\pd x}-\frac{\pd P}{\pd y}
 +
\right)\d x\wedge\d y.
 +
\]
 +
\begin{proof}
 +
Označme
 +
$ \boldsymbol\omega= P\,\d x+ Q\,\d y,
 +
$
 +
potom pro vnější derivaci $\boldsymbol\omega$ platí
 
\[
 
\[
 
\begin{split}
 
\begin{split}
Řádka 123: Řádka 207:
 
\left(\frac{\pd P}{\pd x}\d x + \frac{\pd P}{\pd y}\d y\right)\wedge\dx+
 
\left(\frac{\pd P}{\pd x}\d x + \frac{\pd P}{\pd y}\d y\right)\wedge\dx+
 
\left(\frac{\pd Q}{\pd x}\d x + \frac{\pd Q}{\pd y}\d y\right)\wedge\dy=\\
 
\left(\frac{\pd Q}{\pd x}\d x + \frac{\pd Q}{\pd y}\d y\right)\wedge\dy=\\
&=\frac{\pd P}{\pd y}\d y\wedge\d x+ \frac{\pd Q}{\pd x}\d x\wedge\d y=  \left(\frac{\pd Q}{\pd x} - \frac{\pd P}{\pd y}\right) \d x\wedge\d y
+
&=\frac{\pd P}{\pd y}\d y\wedge\d x+ \frac{\pd Q}{\pd x}\d x\wedge\d y=  \left(\frac{\pd Q}{\pd x} - \frac{\pd P}{\pd y}\right) \d x\wedge\d y.
 
\end{split}
 
\end{split}
 
\]
 
\]
\item Gauss, tj. $n=3$, $r=3$:
+
\end{proof}
 +
\end{theorem}
 +
 
 +
\begin{theorem}[Gauss, Ostrogradskij ($n=k=3$)]
 +
\label{gauss}
 +
Buď $D=\vn D\subset \R^3$ omežená oblast, její hranice $\pd D$ je kladně orientovaná uzavřená plocha po částech třídy $\c{1}$ prostá na $\vn{(\df\pd D)} $, $F_1,F_2,F_3\in\c{1}(D)$, $F_1,F_2,F_3\in\c{0}(\uz D)$. Potom platí
 
\[
 
\[
\begin{split}
+
\iint_{\pd D}(F_3\,\d x\wedge\d y+F_1\,\d y\wedge\d z+
\int_{\pd D}(F_3\,\d x\wedge\d y+F_1\,\d y\wedge\d z+
+
F_2\,\d z\wedge\d x)=\iiint_D\left(\frac{\pd F_1}{\pd x}+
F_2\,\d z\wedge\d x)
+
\frac{\pd F_2}{\pd y}+
&=\int_{\pd D}\vec F\,\d\vec S=\iiint_{\vn{D}}\diverg\vec F\,\d x\d y\d z,
+
\frac{\pd F_3}{\pd z}\right)\d x\wedge\d y\wedge\d z,
\end{split}
+
 
\]
 
\]
+
ve fyzikální notaci
neboť využitím základních vlastností vnějšího součinu a označí-li se
+
\[
\[ \boldsymbol\omega= F_3\,\d x\wedge\d y+ F_1\, \d y\wedge\d z+ F_2 \,\d z\wedge\d x\\
+
\oint_{\pd D}\vec F\cdot\d\vec S=\int_D\diverg\vec F~\d V.
 
\]
 
\]
vyjde
+
\begin{proof}
 +
Označme
 +
$ \boldsymbol\omega= F_3\,\d x\wedge\d y+ F_1\, \d y\wedge\d z+ F_2 \,\d z\wedge\d x,$ potom z důkazu \ref{vdiv} plyne pro vnější derivaci vztah $\boldsymbol\omega$ 
 
\[
 
\[
\begin{split}
+
\d\boldsymbol\omega=\left(\frac{\pd F_1}{\pd x}+
\d\boldsymbol\omega&=
+
\d F_3\wedge\d x\wedge\d y+
+
\d F_1\wedge\d y\wedge\d z+
+
\d F_2\wedge\d z\wedge\d x=\\
+
&=\left(
+
\frac{\pd F_3}{\pd z}\d z\wedge\d x\wedge\d y+
+
\frac{\pd F_1}{\pd x}\d x\wedge\d y\wedge\d z+
+
\frac{\pd F_2}{\pd y}\d y\wedge\d z\wedge\d x
+
\right)=\\
+
&=\left(\frac{\pd F_1}{\pd x}+
+
 
\frac{\pd F_2}{\pd y}+
 
\frac{\pd F_2}{\pd y}+
 
\frac{\pd F_3}{\pd z}\right)\,\d x\wedge\d y\wedge\d z=
 
\frac{\pd F_3}{\pd z}\right)\,\d x\wedge\d y\wedge\d z=
\diverg\vec F\,\d x\wedge\d y\wedge\d z.
+
\diverg\vec F~\d x\wedge\d y\wedge\d z.
\end{split}
+
 
\]
 
\]
\item Greenova formule: $f,g\in\c{2}$, $\vec F=f\grad g=f\nabla g$.
+
\end{proof}
\[\frac{\pd F^i}{\pd x^i} = \frac{\pd}{\pd x^i}\left(f\frac{\pd g}{\pd x^i}\right)=
+
\end{theorem}
 +
 
 +
 
 +
\begin{theorem}[per partes ($n=k=3$)]
 +
\label{perpartes}Buď $D=\vn D\subset \R^3$ omežená oblast, její hranice $\pd D$ je kladně orientovaná uzavřená plocha po částech třídy $\c{1}$ prostá na $\vn{(\df\pd D)} $, $f,g:\R^3\mapsto\R$, $f,g\in\c{1}(D)$, $f,g\in\c{0}(\uz D)$. Potom platí
 +
\[
 +
\iiint_{\vn{D}}\la \nabla f,\nabla g\ra =\oint_{\pd D}f\nabla g\cdot\d\vec S-
 +
\iiint_{\vn{D}} f\Delta g.
 +
\]
 +
\begin{proof}
 +
Označme $\vec F=f\grad g=f\nabla g$, potom pro $i$-tou složku divergence plyne z alternativní definice \ref{vdiv} vztah
 +
\[
 +
(\diverg \vec F)^i=\frac{\pd F^i}{\pd x^i} = \frac{\pd}{\pd x^i}\left(f\frac{\pd g}{\pd x^i}\right)=
 
\frac{\pd f}{\pd x^i}\frac{\pd g}{\pd x^i}+
 
\frac{\pd f}{\pd x^i}\frac{\pd g}{\pd x^i}+
f\frac{\pd^2 g}{\pd {x^i}^2},\]
+
f\frac{\pd^2 g}{\pd {x^i}^2}.
kde $\diverg\vec F=\left\langle \nabla f,\nabla g\right\rangle +f\Delta g$. První Greenova
+
\]
formule:
+
Ve vektorovém tvaru jsme tedy  užitím \ref{vdiv} a \ref{vlaplace} získali vztah  $\diverg\vec F=\la \nabla f,\nabla g\ra +f\Delta g$.  
\[\int_{\pd D}f\nabla g\,\d\vec S=
+
Dosazením $\diverg \vec F$ do Gaussovy věty \ref{gauss} získáme tvrzení věty.
\int_{\pd D}f\frac{\pd g}{\pd \vec n}\,\d S=
+
\end{proof}
\iiint_{\vn{D}}\left\langle \nabla f,\nabla g\right\rangle +\iiint_{\vn{D}} f\Delta g\]
+
\end{theorem}
\[\int_{\pd D}g\nabla f\,\d\vec S=
+
 
\int_{\pd D}g\frac{\pd f}{\pd \vec n}\,\d S=
+
\begin{theorem}[druhá Greenova formule ($n=k=3$)]
\iiint_{\vn{D}}\left\langle \nabla f,\nabla g\right\rangle +\iiint_{\vn{D}} g\Delta f\]
+
\label{green2}
Odečtením předchozích dvou dostaneme druhou Greenovu formuli
+
Za předpokladů předchozí věty platí
 
\[
 
\[
\int_{\pd D}\left|
+
\oint_{\pd D}\left|
 
\begin{matrix}
 
\begin{matrix}
\frac{\pd f}{\pd \vec n} & \frac{\pd g}{\pd\vec  n}\\
+
\frac{\pd f}{\pd \vec n} & \frac{\pd g}{\pd\vec  n} \\
f & g
+
f                       & g
 
\end{matrix}
 
\end{matrix}
 
\right|\,\d S=
 
\right|\,\d S=
 
\iiint_{\vn{D}}\left|
 
\iiint_{\vn{D}}\left|
 
\begin{matrix}
 
\begin{matrix}
\Delta f & \Delta g\\
+
\Delta f & \Delta g \\
f & g
+
f       & g
 
\end{matrix}
 
\end{matrix}
 
\right|.
 
\right|.
 
\]
 
\]
Per partes:
+
 
\[\iiint_{\vn{D}}\left\langle \nabla f,\nabla g\right\rangle =\int_{\pd D}f\nabla g\,\d\vec S-
+
\begin{proof}Z předchozí věty vyjádříme prostřední člen
\iiint_{\vn{D}} f\Delta g . \]
+
\[
+
\oint_{\pd D}f\nabla g\cdot\d\vec S=\oint_{\pd D}f\frac{\pd g}{\pd \vec n}\d S=
\item Stokesova formule: $n=3$, $r=2$
+
\iiint_{\vn{D}}\la \nabla f,\nabla g\ra+\iiint_{\vn{D}} f\Delta g.
\[\int_{\pd D}\boldsymbol\omega=\int_{\vn{D}}\d\boldsymbol\omega\]
+
\]
\[\int_g\boldsymbol\omega=\int_g F\,\d\vec r\]
+
Obdobně získáme
$\boldsymbol\omega=F_1\d x+F_2\d y+F_3\d z$ a $[g] = \pd D $
+
\[
 +
\oint_{\pd D}g\nabla f\cdot\d\vec S=\oint_{\pd D}g\frac{\pd f}{\pd \vec n}\d S=
 +
\iiint_{\vn{D}}\la \nabla f,\nabla g\ra+\iiint_{\vn{D}} g\Delta f.
 +
\]
 +
Odečtením předchozích dvou rovností dostaneme tvrzení věty.
 +
\end{proof}
 +
 
 +
\end{theorem}
 +
 
 +
 
 +
\begin{remark}
 +
Následující formule je důsledkem divergenční věty pro $k\leq n$.
 +
\end{remark}
 +
 
 +
\begin{theorem}[Kelvin, Stokes ($n=3$, $k=2$)]
 +
\label{stokes} Buď $D=\vn D\subset \R^3$ omežená oblast, její okraj $\pd D$ je kladně orientovaná uzavřená Jordanova dráha po částech třídy $\c{1}$, $F_1,F_2,F_3\in\c{1}(D)$, $F_1,F_2,F_3\in\c{0}(\uz D)$. Označme $\boldsymbol\omega= F_1\wedge\d x+F_2\wedge\d y+F_3\wedge\d z.$ Potom platí
 +
\[
 +
\int_{\pd D} \boldsymbol\omega=\iint_D\left(\frac{\pd F_3}{\pd y}-\frac{\pd F_2}{\pd z}\right)\d y\wedge\d z+\left(\frac{\pd F_1}{\pd z}-\frac{\pd F_3}{\pd x}\right)\d z\wedge\d x+\left(\frac{\pd F_2}{\pd x}-\frac{\pd F_1}{\pd y}\right)\d x\wedge\d y,
 +
\]
 +
ve fyzikální notaci
 +
\[
 +
\oint_{\pd D}\vec F\cdot\d\vec r=\iint_D\rot\vec F\cdot\d\vec S.
 +
\]
 +
\begin{proof}
 +
Označme $\boldsymbol\omega$ stejně jako v tvrzení, potom z důkazu \ref{vrot} plyne pro vnější derivaci $\boldsymbol\omega$ vztah
 
\[
 
\[
 
\begin{split}
 
\begin{split}
\int_{\vn{D}}\,\d\boldsymbol\omega&=
+
\d\boldsymbol\omega = \left(\frac{\pd F_3}{\pd y}-\frac{\pd F_2}{\pd z}\right)\d y\wedge\d z+\left(\frac{\pd F_1}{\pd z}-\frac{\pd F_3}{\pd x}\right)\d z\wedge\d x+\left(\frac{\pd F_2}{\pd x}-\frac{\pd F_1}{\pd y}\right)\d x\wedge\d y=
\int_{\vn{D}}(\d F_1\wedge\d x+\d F_2\wedge\d y+\d F_3\wedge\d z)=
+
\rot\vec F\cdot\d\vec S.
\int_{\vn{D}}\left[\left(\frac{\pd F_1}{\pd x}\d x+\frac{\pd F_1}{\pd y}\d y+\frac{\pd F_1}{\pd z}\d z+\right)\wedge\d x+\right.\\
+
&\left.\quad +\left(\frac{\pd F_2}{\pd x}\d x+\frac{\pd F_2}{\pd y}\d y+\frac{\pd F_2}{\pd z}\d z+\right)\wedge\d y
+
+\left(\frac{\pd F_3}{\pd x}\d x+\frac{\pd F_3}{\pd y}\d y+\frac{\pd F_3}{\pd z}\d z+\right)\wedge\d z\right]=\\
+
&=\int_{\vn{D}}\left(-\frac{\pd F_1}{\pd y}\d x\wedge\d y+\frac{\pd F_1}{\pd z}\d z\wedge\d x+\frac{\pd F_2}{\pd x}\d x\wedge\d y-\frac{\pd F_2}{\pd z}\d y\wedge\d z+\right.\\
+
&\quad-
+
\left.\frac{\pd F_3}{\pd x}\d z\wedge\d x+
+
\frac{\pd F_3}{\pd y}\d y\wedge\d z
+
\right)=
+
\iint_{\vn{D}}\left[
+
\left(\frac{\pd F_3}{\pd y}-\frac{\pd F_2}{\pd z}\right)\d y\d z+
+
\left(\frac{\pd F_1}{\pd z}-\frac{\pd F_3}{\pd x}\right)\d z\d x+\right.\\
+
&\quad\left.+\left(\frac{\pd F_2}{\pd x}-\frac{\pd F_1}{\pd y}\right)\d x\d y
+
\right]=
+
\iint_{\vn{D}}\rot\vec F\,\d\vec S=\int_g F\,\d\vec r.
+
 
\end{split}
 
\end{split}
 
\]
 
\]
\end{enumerate}
+
 
\end{remark}
+
\end{proof}
 
\end{theorem}
 
\end{theorem}
 +
 +
 +
\begin{remark}
 +
Položíme-li v důkazu předchozí věty $\boldsymbol\omega= P\,\d x+ Q\,\d y+O\,\d z,$ kde $O$ je nulová funkce, potom ze Stokesovy věty \ref{stokes} vyplývá Greenova věta \ref{green} jakožto poslední sčítanec na obou stranách (zbylé jsou nulové kvůli nové funkci $O$).
 +
\end{remark}
 +
 +
%\begin{theorem}[Poincaré-Hopf]
 +
%Let M be a compact orientable differentiable manifold. Let v be a vector field on M with isolated zeroes. If M has boundary, then we insist that v be pointing in the outward normal direction along the boundary.
 +
%\end{theorem}

Aktuální verze z 3. 6. 2018, 08:22

PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01MAA4

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01MAA4Nguyebin 24. 1. 201413:14
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůAdmin 7. 9. 201513:46
Header editovatHlavičkový souborNguyebin 24. 1. 201413:28 header.tex
Kapitola0 editovatZnačeníNguyebin 24. 1. 201413:28 preamble.tex
Kapitola15 editovatRegulární zobrazeníKrasejak 7. 9. 201521:32 kapitola15.tex
Kapitola16 editovatImplicitní zobrazeníKubuondr 1. 5. 201708:09 kapitola16.tex
Kapitola17 editovatVarietyKubuondr 4. 3. 201708:48 kapitola17.tex
Kapitola18 editovatVázané extrémyKrasejak 7. 9. 201522:58 kapitola18.tex
Kapitola19 editovatDiferenciální formyKubuondr 12. 3. 201710:53 kapitola19.tex
Kapitola20 editovatKřivkový integrál druhého druhuKubuondr 15. 3. 201721:26 kapitola20.tex
Kapitola21 editovatKřivkový integrál prvního druhuNguyebin 24. 1. 201413:55 kapitola21.tex
Kapitola22 editovatRiemannův integrál jako elementární integrálKubuondr 10. 8. 201810:01 kapitola22.tex
Kapitola23 editovatStupňovité funkceKubuondr 10. 8. 201815:00 kapitola23.tex
Kapitola24 editovatZákladní integrálKubuondr 1. 6. 201710:06 kapitola24.tex
Kapitola25 editovatTřída Lambda plus a L plusKubuondr 2. 4. 201708:14 kapitola25.tex
Kapitola26 editovatTřída Lambda a LKubuondr 11. 8. 201809:16 kapitola26.tex
Kapitola27 editovatLimitní přechodyMazacja2 11. 4. 201620:11 kapitola27.tex
Kapitola28 editovatMěřitelné funkceKubuondr 2. 6. 201708:24 kapitola28.tex
Kapitola29 editovatMěřitelné množinyKubuondr 2. 6. 201708:01 kapitola29.tex
Kapitola30 editovatIntegrál na měřitelné množiněAdmin 1. 8. 201010:04 kapitola30.tex
Kapitola31 editovatVýpočet integráluKubuondr 8. 4. 201708:03 kapitola31.tex
Kapitola33 editovatParametrické integrályKubuondr 2. 6. 201712:38 kapitola33.tex
Kapitola34 editovatNewtonova formuleKrasejak 19. 9. 201500:48 kapitola34.tex
Kapitola39 editovatVnější algebraKubuondr 3. 5. 201720:13 kapitola39.tex
Kapitola35 editovatDivergenční větaKubuondr 3. 6. 201808:22 kapitola35.tex
Kapitola36 editovatKomplexní derivaceKubuondr 31. 5. 201708:27 kapitola36.tex
Kapitola37 editovatHolomorfní funkceKubuondr 31. 5. 201712:57 kapitola37.tex
Kapitola38 editovatLaurentovy řadyKubuondr 5. 6. 201710:01 kapitola38.tex

Vložené soubory

soubornázev souboru pro LaTeX
Image:01MAA4_lauren.pdf 01MAA4_lauren.pdf
Image:01MAA4_draha.pdf 01MAA4_draha.pdf
Image:01MAA4_gamma.pdf 01MAA4_gamma.pdf

Zdrojový kód

%\wikiskriptum{01MAA4}
 
\section{Vícerozměrná integrace}
 
%\begin{remark}
Z této kapitoly Vrána přednáší pouze plošné integrály a divergenční větu, na zkoušce pak její znění může chtít slyšet na A. Ze znalostí z předchozí kapitoly nyní můžeme shrnout poznatky o~integrování získané z~fyzikálních předmětů.
%\end{remark}
 
\begin{define}
Neprázdná množina $A\subset\R^n $ se nazývá {\bf$\boldsymbol\sigma$-kompaktní}, existuje-li nejvýše spočetný systém 
$\left\lbrace A_n\right\rbrace _{n\in \I}$ kompaktních podmnožin $\R^n$, který pokrývá $A$, tj.
\[
 A = \bigcup_{n\in\I}A_n.
\]
\end{define}
 
\begin{define}
\label{Morientace}
Nechť jsou dány:
\begin{enumerate}
\item $k$-rozměrná varieta $M \subset \R^n$,
\item regulární zobrazení $g:\R^k\mapsto M$,
\item $\sigma$-kompaktní množina $A\subset \vn{(\obr g)}.$
\end{enumerate}
Potom {\bf orientací variety $M$} nazýváme zobrazení $\vec e:\R^k\mapsto \Lambda^{k}(V_n)$ definované $\forall t\in\df g$
\[
e(t) = \frac{\bigwedge_{i=1}^k g_i(t)}{\norm{\bigwedge_{i=1}^k g_i(t)}}
\]
\end{define} 
 
\begin{remark}
\begin{enumerate}
\item Orientace variety $M$ má význam jednotkového tečného \uv{vektoru} k varietě $M$.
\item Orientace variety $M$ je daná orientací jejího tečného prostoru ($g_i$ jsou tečné vektory).
\item Varieta je orientovatelná, pokud se dá napsat jako implicitní zobrazení. Pokud ji nelze zadat implicitně, není tedy orientovatelná a můžeme ji zadat např. parametricky.
\end{enumerate}
\end{remark}
 
\begin{define}[$k$-rozměrný integrál druhého druhu]
\label{kint2druh}
Nechť $\boldsymbol\omega$ diferenciální $k$-forma, $A\subset \df \boldsymbol\omega$ orientovaná dle $ e$, $t \in \df g$. Potom při označení z předchozí definice klademe
\[
\int_{\vn{A}}\boldsymbol\omega=\int_{g^{-1}(A)}\omega(g(t))\bigwedge_{i=1}^k g_i(t)\,\d t,
\]
kde $g_i$ jsou $i$-té parciální derivace, tj. $g_i=\pd_i g(t)$, a dále
\[
\bigwedge_{i=1}^k g_i(t)\,\d t= \frac{\pd g}{\pd t^1}(t)\wedge\dots\wedge \frac{\pd g}{\pd t^k}(t)\,\d t.
\]
\end{define}
 
\begin{remark}
Pro $n=3$, $k=2$ nazýváme \ref{kint2druh} {\bf plošný integrál druhého druhu}. 
 
Pro každou diferenciální 2-formu $\boldsymbol\omega$ existuje dle poznámky \ref{findhodge}.2 vektorové pole $\vec F:\R^2\mapsto \Lambda^2(V^n)$.
% dané vztahem 
%\[
%\vec F=\sum_{\lambda\in {n\nad k}} \omega_\lambda \vec e_\lambda.
%\]
%Potom, označíme-li $g=g(u,v),$ platí $(\forall (u,v)\in \df g)$ $\la \vec F(g),g_u \wedge g_v \ra =  \omega(g) ~ g_u \wedge g_v$  (poslední výraz není součin, nýbrž akci formy na vnější součin). 
S užitím poznámek pod definicí \ref{hodge} získáme
\[
\begin{split}
 & \int_{g^{-1}(A)} \omega(g(u,v))~g_u(u,v)\wedge g_v(u,v)  \,\d u \d v = \int_{g^{-1}(A)} \la \vec{F}(g(u,v)),g_u(u,v)\wedge g_v(u,v)\ra  \,\d u \d v =\\
&= \int_{g^{-1}(A)} \la \star \vec{F}(g(u,v)),\star g_u(u,v)\wedge g_v(u,v)\ra  \,\d u \d v =
 \int_{g^{-1}(A)} \la \star \vec{F}(g(u,v)),g_u(u,v)\times g_v(u,v)\ra  \,\d u \d v.
\end{split}
\]
 
Pro zápis plošných integrálů druhého druhu se proto užívá následující symboliky:
\[ \int_A\la \vec F ,\vec n \ra\d S
=\int_A\vec F\cdot \d\vec S = 
\int_A(F_1\,\d y\d z+F_2\,\d z\d x+F_3\,\d x\d y)=\int_{g^{-1}(A)}\vec F(g(t))\cdot\left( \frac{\pd g}{\pd t^1}(t)\times \frac{\pd g}{\pd t^2}(t)\right)  \d t.
\]
Druhá rovnost plyne z toho, že je-li $\boldsymbol\omega = F_1 \,\d y\wedge\d z+F_2 \,\d x\wedge\d z +F_3 \,\d x\wedge\d y$, potom $\star\vec{F} = (F_1,-F_2,F_3)^T$.
 
Integrand v poslední rovnosti je smíšený součin. Užitím poznámky \ref{findhodge}.1(a) můžeme pokračovat v úpravách integrálu (ozn. $\pd_i g^j=\frac{\pd g^j}{\pd t^i}$)
\[
=\int_{g^{-1}(A)}\vec F(g(t))\wedge \frac{\pd g}{\pd t^1}(t)\wedge \frac{\pd g}{\pd t^2}(t)~ \d t=\int_{g^{-1}(A)}
\left|
\begin{matrix}
	F_1       & F_2       & F_3       \\
	\pd_1 g^1 & \pd_1 g^2 & \pd_1 g^3 \\
	\pd_2 g^1 & \pd_2 g^2 & \pd_2 g^3
\end{matrix}
\right|\!(t)
~\d t.
\]
\end{remark}
 
\begin{remark} Při označení z definice \ref{Morientace} platí
\[
\int_{\vn{A}}\boldsymbol\omega=\int_{g^{-1}(A)}\omega(g(t))~\vec e(t)\norm{\bigwedge_{i=1}^k g_i(t)}\,\d t.
\]
Je-li $\boldsymbol\omega$  0-forma, tj. (skalární) funkce, můžeme tento poznatek shrnout do následující definice.
\end{remark}
 
\begin{define}[$k$-rozměrný integrál prvního druhu]
\label{kint1druh}
Nechť $f:\R^k\rightarrow \R$ funkce, $A\subset \df f$, $\mu_k(x)$ $k$-rozměrná míra na $\R^k$, $x\in\df f$, $t \in \df g$. Potom při označení z definice klademe
\[
\int_A f(x)\,\d \mu_k(x)=\int_{g^{-1}(D)}f(g(t))\norm{\bigwedge_{i=1}^k g_i(t)}\,\d t,
\]
kde $g_i$ jsou $i$-té parciální derivace, tj. $g_i=\pd_i g(t)$, a dále
\[
\norm{\bigwedge_{i=1}^r g_i(t)}=\sqrt{\left|
\begin{matrix}
	\la g_1,g_1\ra & \hdots & \la g_1,g_k\ra \\
	\vdots         &        & \vdots         \\
	\la g_k,g_1\ra & \hdots & \la g_k,g_k\ra
\end{matrix}
\right|}.
\]
\end{define}
 
\begin{define}
\label{fundforma}
Symetrická bilineární forma daná Gramovou maticí souboru ($g_i(t)$) definované po složkách $\left[g(t)\right]_{ij}=\la g_i(t), g_j(t)\ra$ se nazývá {\bf metrický tenzor}. Determinant příslušné matice se nazývá {\bf gramián}.
\end{define}
 
\begin{remark}
\begin{enumerate}
\item Mezi metrickým tenzorem a Jakobiánem platí vztah $g=\J^T\J$, odsud  platí
 $\det f'(x)=\sqrt{\det g(t)}$. Tímto je dokázána věta \ref{substint}. Metrický tenzor tedy figuruje při přechodu od jedněch souřadnic ke druhým. Zároveň udává geometrii na varietě $M$, neboť na ní indukuje \uv{skalární součin} a tudíž i metriku. Proto se nazývá metrický tenzor.
\item Metrický tenzor nemusí být nutně pozitivně definitní, musí však mít prázdný nulprostor. Variety se signaturou metriky $(-1,1,1,1)$ nazýváme {\bf pseudoriemannovské.} 
\item Metrický tenzor 2-rozměrné variety nazýváme {\bf první fundamentální formou}, značíme
\[
\begin{pmatrix}
	E & F \\
	F & G 
\end{pmatrix} \qquad \mbox{ ($E,F,G$ jsou funkce $t$)}.
\]
\item $\det g=EG-F^2=\la g_u,g_u\ra \la g_v,g_v\ra-\la g_u,g_v\ra^2
=\norm{g_u}^2\norm{g_v}^2-\la g_u,g_v\ra^2$
\item Pro velikost vektorového součinu platí $\norm{\vec a\times \vec c}^2
=\norm{\vec a}^2\norm{\vec c}^2-\la \vec a,\vec c\ra^2$. Užitím tohoto vzorce na předchozí rovnost získáme užitečný vztah
\[
\sqrt{\det g}=\norm{g_u\times g_v}=\norm{g_u}^2\norm{g_v}^2-\la g_u,g_v\ra^2.
\]
\end{enumerate}
\end{remark}
\begin{remark}
Pro $k=2$ v $\R^3$ nazýváme \ref{kint1druh} {\bf plošný integrál prvního druhu}. Pro jeho zápis se s~přihlédnutím k~předchozí poznámce užívá následující symboliky:
\[
\int_A f\,\d S=\int_{g^{-1}(A)}f(g(u,v))
\norm{\frac{\pd g}{\pd u}\times\frac{\pd g}{\pd v}}
\,\d u\d v.
\]
Ve speciálním případě, kdy $g(x,y) = (x,y,\phi(x,y))$, získáme
\[\int_A f\,\d S = \int_{g^{-1}(A)}f(x,y,\phi(x,y))
\sqrt{1+\left(\frac{\pd\phi}{\pd x}\right)^2+\left(\frac{\pd\phi}{\pd y}\right)^2}\dx\dy.\]
Položíme-li $f(x)=1$, získáme vzorec pro výpočet obsahu plochy $A\subset\R^3$, která je parametricky zadaná zobrazením $\phi(x,y)$.
\end{remark}
 
\begin{remark}
Pro $k=1$ v $\R^n$ nazýváme \ref{kint1druh} {\bf křivkový integrál prvního druhu}, s nímž jsme se již setkali. Pro $\left[  a,b\right] =\df g$ buď
\[
\int_g f\d s=\int_a^b f(g(t))\norm{g'(t)}\d t.
\]
Položíme-li $f(x)=1$, získáme vzorec pro výpočet délky křivky $[g]$, která je parametricky zadaná zobrazením $g$.
\end{remark}
 
\begin{theorem}[divergenční, zobecněná Stokesova]
\label{divergint}
Buď $D\subset\R^n$, a nechť jsou dány:
\begin{enumerate}[(I)]
\item $k$-rozměrná varieta $M$ v $\R^n$,
\item $\pd D$, tj. $(k-1)$-rozměrná varieta (po částech $\c{0}$), 
\item $\sigma$-kompaktní množina $D\subset M$ ležící na jedné straně svého okraje $\pd D$.
\end{enumerate}
Potom pro každou diferenciální $(k-1)$-formu  $\boldsymbol\omega\in\c{1}(\uz{D})$ platí
\[\int_{\pd D}\boldsymbol\omega=\int_{\vn{D}}\d\boldsymbol\omega.\]
\end{theorem} 
 
\begin{remark}
\begin{enumerate}
\item V~předpokladech stačí $\c{1}(\vn{D})$ a $\c{0}(\uz{D})$.
%\item Okraj není topologická hranice ($\pd D \not = \hr D$), nýbrž geometrický okraj. Oba pojmy se často (a~mylně) zaměňují, ale např. v \ref{stokes} nemusí mít varieta hranici, a přesto může být \uv{obepnuta} nějakou křivkou.
\item Důkaz věty je nad rámec přednášky, dokážeme si však nám již známé důsledky této věty. Následující formule jsou důsledkem divergenční věty pro $n=k$.
\end{enumerate}
\end{remark}
 
\begin{theorem}[Newton, Leibniz ($n=k=1$)]
\label{newton}
Buď $\d f$ exaktní diferenciální 1-forma třídy $\c{0}, D=\left[a,b\right],\pd D=\{a,b\}$. Potom platí
\[f(b)-f(a)=[f(x)]_a^b=\int_a^b\d f=\int_a^b f'.\]
\begin{proof}
Orientace krajních bodů je opačná, proto jsou funkční hodnoty v krajních bodech (0-forma $f(x)$ vyčíslená přes okraj $\pd D$) vynásobeny příslušnými znaménky. $[f(x)]_a^b=1\cdot f(b)+(-1)\cdot f(a)$
\end{proof}
\end{theorem} 
 
\begin{theorem}[Green ($n=k=2$)]
\label{green}
Buď $D=\vn D\subset R^2$ omezená oblast, její hranice $\pd D$ je kladně orientovaná uzavřená Jordanova dráha po částech třídy $\c{1}$, $P,Q\in\c{1}(D)$, $P,Q\in\c{0}(\uz D)$. Potom platí
\[
\int_{\pd D} (P\d x+Q\d y)=\iint_D\left(
\frac{\pd Q}{\pd x}-\frac{\pd P}{\pd y}
\right)\d x\wedge\d y.
\]
\begin{proof}
Označme 
$ \boldsymbol\omega= P\,\d x+ Q\,\d y,
$
potom pro vnější derivaci $\boldsymbol\omega$ platí 
\[
\begin{split}
\d\boldsymbol\omega&=\d P\wedge\d x+\d Q\wedge d y=
\left(\frac{\pd P}{\pd x}\d x + \frac{\pd P}{\pd y}\d y\right)\wedge\dx+
\left(\frac{\pd Q}{\pd x}\d x + \frac{\pd Q}{\pd y}\d y\right)\wedge\dy=\\
&=\frac{\pd P}{\pd y}\d y\wedge\d x+ \frac{\pd Q}{\pd x}\d x\wedge\d y=  \left(\frac{\pd Q}{\pd x} - \frac{\pd P}{\pd y}\right) \d x\wedge\d y.
\end{split}
\]
\end{proof}
\end{theorem} 
 
\begin{theorem}[Gauss, Ostrogradskij ($n=k=3$)]
\label{gauss}
Buď $D=\vn D\subset \R^3$ omežená oblast, její hranice $\pd D$ je kladně orientovaná uzavřená plocha po částech třídy $\c{1}$ prostá na $\vn{(\df\pd D)} $, $F_1,F_2,F_3\in\c{1}(D)$, $F_1,F_2,F_3\in\c{0}(\uz D)$. Potom platí
\[
\iint_{\pd D}(F_3\,\d x\wedge\d y+F_1\,\d y\wedge\d z+
F_2\,\d z\wedge\d x)=\iiint_D\left(\frac{\pd F_1}{\pd x}+
\frac{\pd F_2}{\pd y}+
\frac{\pd F_3}{\pd z}\right)\d x\wedge\d y\wedge\d z,
\]
ve fyzikální notaci
\[
\oint_{\pd D}\vec F\cdot\d\vec S=\int_D\diverg\vec F~\d V.
\]
\begin{proof}
Označme
$ \boldsymbol\omega= F_3\,\d x\wedge\d y+ F_1\, \d y\wedge\d z+ F_2 \,\d z\wedge\d x,$ potom z důkazu \ref{vdiv} plyne pro vnější derivaci vztah $\boldsymbol\omega$  
\[
\d\boldsymbol\omega=\left(\frac{\pd F_1}{\pd x}+
\frac{\pd F_2}{\pd y}+
\frac{\pd F_3}{\pd z}\right)\,\d x\wedge\d y\wedge\d z=
\diverg\vec F~\d x\wedge\d y\wedge\d z.
\]
\end{proof}
\end{theorem} 
 
 
\begin{theorem}[per partes ($n=k=3$)]
\label{perpartes}Buď $D=\vn D\subset \R^3$ omežená oblast, její hranice $\pd D$ je kladně orientovaná uzavřená plocha po částech třídy $\c{1}$ prostá na $\vn{(\df\pd D)} $, $f,g:\R^3\mapsto\R$, $f,g\in\c{1}(D)$, $f,g\in\c{0}(\uz D)$. Potom platí
\[
\iiint_{\vn{D}}\la \nabla f,\nabla g\ra =\oint_{\pd D}f\nabla g\cdot\d\vec S-
\iiint_{\vn{D}} f\Delta g.
\]
\begin{proof}
Označme $\vec F=f\grad g=f\nabla g$, potom pro $i$-tou složku divergence plyne z alternativní definice \ref{vdiv} vztah
\[
(\diverg \vec F)^i=\frac{\pd F^i}{\pd x^i} = \frac{\pd}{\pd x^i}\left(f\frac{\pd g}{\pd x^i}\right)=
\frac{\pd f}{\pd x^i}\frac{\pd g}{\pd x^i}+
f\frac{\pd^2 g}{\pd {x^i}^2}.
\]
Ve vektorovém tvaru jsme tedy  užitím \ref{vdiv} a \ref{vlaplace} získali vztah  $\diverg\vec F=\la \nabla f,\nabla g\ra +f\Delta g$. 
Dosazením $\diverg \vec F$ do Gaussovy věty \ref{gauss} získáme tvrzení věty.
\end{proof}
\end{theorem}
 
\begin{theorem}[druhá Greenova formule ($n=k=3$)]
\label{green2}
 Za předpokladů předchozí věty platí
\[
\oint_{\pd D}\left|
\begin{matrix}
	\frac{\pd f}{\pd \vec n} & \frac{\pd g}{\pd\vec  n} \\
	f                        & g
\end{matrix}
\right|\,\d S=
\iiint_{\vn{D}}\left|
\begin{matrix}
	\Delta f & \Delta g \\
	f        & g
\end{matrix}
\right|.
\]
 
\begin{proof}Z předchozí věty vyjádříme prostřední člen
\[
\oint_{\pd D}f\nabla g\cdot\d\vec S=\oint_{\pd D}f\frac{\pd g}{\pd \vec n}\d S=
\iiint_{\vn{D}}\la \nabla f,\nabla g\ra+\iiint_{\vn{D}} f\Delta g.
\]
Obdobně získáme
\[
\oint_{\pd D}g\nabla f\cdot\d\vec S=\oint_{\pd D}g\frac{\pd f}{\pd \vec n}\d S=
\iiint_{\vn{D}}\la \nabla f,\nabla g\ra+\iiint_{\vn{D}} g\Delta f.
\]
Odečtením předchozích dvou rovností dostaneme tvrzení věty.
\end{proof}
 
\end{theorem} 
 
 
\begin{remark}
Následující formule je důsledkem divergenční věty pro $k\leq n$.
\end{remark}
 
\begin{theorem}[Kelvin, Stokes ($n=3$, $k=2$)]
\label{stokes} Buď $D=\vn D\subset \R^3$ omežená oblast, její okraj $\pd D$ je kladně orientovaná uzavřená Jordanova dráha po částech třídy $\c{1}$, $F_1,F_2,F_3\in\c{1}(D)$, $F_1,F_2,F_3\in\c{0}(\uz D)$. Označme $\boldsymbol\omega= F_1\wedge\d x+F_2\wedge\d y+F_3\wedge\d z.$ Potom platí 
\[
\int_{\pd D} \boldsymbol\omega=\iint_D\left(\frac{\pd F_3}{\pd y}-\frac{\pd F_2}{\pd z}\right)\d y\wedge\d z+\left(\frac{\pd F_1}{\pd z}-\frac{\pd F_3}{\pd x}\right)\d z\wedge\d x+\left(\frac{\pd F_2}{\pd x}-\frac{\pd F_1}{\pd y}\right)\d x\wedge\d y,
\]
ve fyzikální notaci
\[
\oint_{\pd D}\vec F\cdot\d\vec r=\iint_D\rot\vec F\cdot\d\vec S.
\]
\begin{proof}
Označme $\boldsymbol\omega$ stejně jako v tvrzení, potom z důkazu \ref{vrot} plyne pro vnější derivaci $\boldsymbol\omega$ vztah
\[
\begin{split}
	\d\boldsymbol\omega = \left(\frac{\pd F_3}{\pd y}-\frac{\pd F_2}{\pd z}\right)\d y\wedge\d z+\left(\frac{\pd F_1}{\pd z}-\frac{\pd F_3}{\pd x}\right)\d z\wedge\d x+\left(\frac{\pd F_2}{\pd x}-\frac{\pd F_1}{\pd y}\right)\d x\wedge\d y=
\rot\vec F\cdot\d\vec S.
\end{split}
\]
 
\end{proof}
\end{theorem}
 
 
\begin{remark}
Položíme-li v důkazu předchozí věty $\boldsymbol\omega= P\,\d x+ Q\,\d y+O\,\d z,$ kde $O$ je nulová funkce, potom ze Stokesovy věty \ref{stokes} vyplývá Greenova věta \ref{green} jakožto poslední sčítanec na obou stranách (zbylé jsou nulové kvůli nové funkci $O$).
\end{remark}
 
%\begin{theorem}[Poincaré-Hopf]
%Let M be a compact orientable differentiable manifold. Let v be a vector field on M with isolated zeroes. If M has boundary, then we insist that v be pointing in the outward normal direction along the boundary. 
%\end{theorem}