01MAA3:Kapitola7

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.
ZIP			Kompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01MAA3

součást	akce		poslední editace			soubor
Hlavní dokument	editovat	Hlavní stránka dokumentu 01MAA3	Nguyebin	24. 1. 2014	13:09
Řídící stránka	editovat	Definiční stránka dokumentu a vložených obrázků	Admin	7. 9. 2015	13:46
Header	editovat	Hlavičkový soubor	Nguyebin	24. 1. 2014	12:36	header.tex
Kapitola0	editovat	Značení	Klinkjak	9. 9. 2015	08:50	preamble.tex
Kapitola1	editovat	Funkční posloupnosti	Kubuondr	21. 1. 2017	16:45	kapitola1.tex
Kapitola2	editovat	Funkční řady	Dedicma2	21. 2. 2016	23:42	kapitola2.tex
Kapitola4	editovat	Trigonometrické řady	Peckaja1	11. 2. 2016	13:14	kapitola4.tex
Kapitola5	editovat	Metrika	Kubuondr	22. 1. 2017	17:32	kapitola5.tex
Kapitola6	editovat	Topologie	Kubuondr	3. 2. 2017	21:08	kapitola6.tex
Kapitola7	editovat	Spojitost	Kubuondr	22. 1. 2017	18:14	kapitola7.tex
Kapitola8	editovat	Kompaktní prostory	Kubuondr	8. 2. 2017	21:51	kapitola8.tex
Kapitola9	editovat	Souvislé prostory	Kubuondr	23. 1. 2017	10:28	kapitola9.tex
Kapitola10	editovat	Úplné prostory	Kubuondr	23. 1. 2017	11:08	kapitola10.tex
Kapitola11	editovat	Afinní prostory	Kubuondr	23. 1. 2017	12:43	kapitola11.tex
Kapitola12	editovat	Totální derivace	Kubuondr	7. 10. 2017	17:50	kapitola12.tex
Kapitola13	editovat	Derivace vyšších řádů	Kubuondr	20. 1. 2017	09:50	kapitola13.tex
Kapitola14	editovat	Lokální extrémy	Klinkjak	9. 9. 2015	13:31	kapitola14.tex

Zdrojový kód

%\wikiskriptum{01MAA3}
\section{Spojitost}
 
\index{spojitost}
\begin{define}
Buď $f:X\mapsto Y$ zobrazení. Řekneme, že zobrazení $f$ je {\bf spojité
v~$x_0$}, právě když vzor každého okolí bodu $f(x_0)$
$f^{-1}(\H_{f(x_0)})$ je okolí bodu $x_0$. Řekneme, že $f$ je spojité,
je-li spojité v~každém bodě.
\end{define}
 
\begin{theorem}
Buď $f$ zobrazení topologického prostoru $X$ do $Y$. Potom následující
tři tvrzení jsou ekvivalentní.
\begin{enumerate}[(i)]
\item $f$ je spojité.
\item pro každé $B=\vn{B}^Y$ je $f^{-1}(B)$ otevřená v~$X$, tj,
$f^{-1}(B)=\vn{f^{-1}(B)}^X$.
\item pro každé $B=\uz{B}^Y$ je $f^{-1}(B)$ uzavřená v~$X$, tj,
$f^{-1}(B)=\uz{f^{-1}(B)}^X$.
\end{enumerate}
\begin{proof}
\begin{enumerate}[a)]
\item (ii) $\iff$ (iii):
 Pro libovolnou množinu $B \subset Y$ platí $f^{-1}(Y \sm B)= X \sm f^{-1}(B).$ 
Ukážeme nyní implikaci (ii) $\implies$ (iii), obrácená implikace se dokazuje analogicky.\\
Nechť $B=\uz{B}^Y$. Potom
$Y \sm B = \vn{(Y \sm B)}^Y.$ Podle předpokladu je vzor této množiny otevřený v X, tj.
$\vn{(f^{-1}(Y \sm B))}^X = f^{-1}(Y \sm B)= X \sm f^{-1}(B) = \vn{( X \sm f^{-1}(B))}^X$. Odtud dostáváme $f^{-1}(B)=\uz{f^{-1}(B)}^X$.\\
\item (i) $\implies$ (ii):
Buď $B=\vn{B}^Y$, $x\in f^{-1}(B)$. Pak $f(x)\in B$ a ze spojitosti
$f$ vyplývá $f^{-1}(B)=\H_x$, tedy $f^{-1}(B)$ je okolím všech svých
bodů, tedy je otevřená.
\bigskip\item (ii) $\implies$ (i):
Buď $\H_{f(x_0)}$ okolí bodu $f(x_0)$. Pak existuje $B=\vn{B}$ tak, že
platí $f(x_0)\subset B\subset\H_{f(x_0)}$, tedy $x_0\in
f^{-1}(B)\subset f^{-1}(\H_{f(x_0)})$, tedy $f^{-1}(\H_{f(x_0)})$ je
okolím $x_0$.
\end{enumerate}
\end{proof}
\end{theorem}
 
\index{homeomorfismus}
\begin{define}
Buď $f$ zobrazení topologického prostoru $X$ do $Y$ tak, že platí:
\begin{enumerate}[(I)]
\item $f$ je bijekcí,
\item $f$ a $f^{-1}$ jsou spojité.
\end{enumerate}
Potom $f$ nazýváme {\bf homeomorfismem} $X$ na $Y$.
\end{define}
 
\begin{remark}
Předpoklad spojitosti $f^{-1}$ není nadbytečný --- například identické
zobrazení $(\R,d)\mapsto(\R,\abs{\ })$ spojité je, zatímco inverzní ne.
\end{remark}
 
\begin{theorem}
Buď $f$ bijekce $X$ na $Y$. Potom následující výroky jsou
ekvivalentní:
\begin{enumerate}[(i)]
\item $f$ je homeomorfismus.\bigskip
\item Pro každé $A\subset X$ platí: $A=\vn{A}^X\iff f(A)=\vn{(f(A))}^Y$.\bigskip
\item Pro každé $A\subset X$ platí: $A=\uz{A}^X\iff f(A)=\uz{f(A)}^Y$.\bigskip
\item Pro každé $A\subset X$ platí: $f(\vn{A}^X)=\vn{(f(A))}^Y$.\bigskip
\item Pro každé $A\subset X$ platí: $f(\uz{A}^X)=\uz{f(A)}^Y$.\bigskip
\end{enumerate}
\begin{proof}
Zřejmé :-)
\index{zřejmý důkaz}
\end{proof}
\end{theorem}
 
\index{ekvivalence metrik}
\begin{define}
Řekneme, že dvě metriky $\rho$ a $\sigma$ na množině $X$ jsou
{\bf ekvivalentní}, právě když indukují tutéž topologii. Jinými slovy:
identita $(X,\rho)\mapsto(X,\sigma)$ je homeomorfismus.
\end{define}
 
\begin{remark}
$\tau = \tau'$ pokud $\forall A \in \tau$ existuje $A'\in \tau'$, že $A'\subset A$ a 
zároveň pokud $\forall B' \in \tau'$ existuje $B\in \tau$, že $B\subset B'$
\end{remark}
 
\index{ekvivalence norem}
\begin{define}
Řekneme, že dvě normy jsou {\bf ekvivalentní}, právě když indukují ekvivalentní metriky.
\end{define}
 
 
 
\begin{theorem}
\label{hom_lin}
Buď $X$ lineární prostor. Potom dvě normy $\norm{\ }_1$, $\norm{\ }_2$
jsou ekvivalentní, právě když platí:
\[k\norm{\vec x}_1\le\norm{\vec x}_2\le K\norm{\vec x}_1\]
\begin{proof}
\begin{enumerate}[a)]
\item $(\Rightarrow)$: {\bf V~lineárním prostoru} platí, že uzávěr
$\uz{B(x,r)}$ otevřené koule $B(x,r)$ je uzavřená koule $S(x,r)$.
 
Otevřená koule $B_2(0,1)$ v~prostoru s~normou $\norm{\ }_2$ je
otevřená množina. V~prostoru s~normou $\norm{\ }_1$ proto existuje
koule $B_1(0,r)$ tak že platí: $B_1(0,r)\subset
B_2(0,1)$. Z~vlastnosti uzávěru a výše uvedené poznámky pak platí, že
$S_1(0,r) \subset S_2(0,1)$, tedy $\norm{\vec x}_1\le
r\implies \norm{\vec x}_2\le 1$.
 
Pro {\bf libovolný} vektor $\vec y$ pak  platí:
\[\norm{r\frac{\vec y}{\norm{\vec y}_1}}_1\le r,\]
z~čehož vyplývá:
\[\norm{r\frac{\vec y}{\norm{\vec y}_1}}_2\le 1\implies
\frac{r}{\norm{\vec y}_1}\norm{\vec y}_2\le 1\implies
\norm{\vec y}_2\le\frac1r\norm{\vec y}_1,
\]\bigskip
kde $\frac1r$ je konstanta $K$ z~tvrzení věty. Druhá nerovnost se
dokáže analogicky.\bigskip
\item $(\Leftarrow)$: Buď $A=\vn{A}$ otevřená množina z~(X, $\norm{\
}_1$), $x\in A$. Pak existuje koule $B_1(x,r_1)\subset
A$. Z~předpokladu věty a z~definice koule pak ale vyplývá, že koule
$B_2(x,kr_1)$ z~(X, $\norm{\ }_2$) je podmnožinou koule $B_1$, tudíž
$B_2\subset A$. Tedy v~(X, $\norm{\ }_2$) pro každý bod $x\in A$
existuje koule $B_2(x,r_2)\subset A$, tedy $A$ je v~(X, $\norm{\ }_2$)
otevřená.
 
Opačná inkluze se dokáže analogicky
($B_1(x,r_1)\subset B_2(x,K r_2)$).
\end{enumerate}
\end{proof}
\end{theorem}
 
\index{konvergence posloupnosti}
\index{limita}
\begin{define}
Buď $x_n$ posloupnost bodů z~topologického prostoru $X$. Potom
posloupnost konverguje k~bodu $x$ ($x_n\to x$), právě když leží
v~každém jeho okolí až na konečně mnoho bodů. Bod $x$ se nazývá {\bf
limita}.
\end{define}
\bigskip
\begin{remark}
\begin{enumerate}
\item Je-li $f$ bijekce $\N\biject\N$, pak 
$x_n\to x\iff x_{f_n}\to x$.\bigskip
\item Posloupnost má nejvýše jednu limitu (důsledek Hausdorffova
axiomu).
\end{enumerate}
\end{remark}
 
\begin{define}
Řekneme, že topologický prostor $(X,\tau)$ je {\bf metrizovatelný},
právě když na $X$ existuje metrika $\rho$ taková, že indukuje $\tau$.
\end{define}
 
\begin{theorem}
Buď $X$ metrizovatelný topologický prostor, $A\subset X$. Potom platí:
\begin{enumerate}[(i)]
\item $x\in\uz{A}$, právě když $(\exists x_n\in A)(x_n\to x)$.\bigskip
\item $x\in\hr{A}$, právě když $(\exists x_n\in A)(x_n\to x)\bigskip
  \wedge(\exists y_n\in X\sm A)(y_n\to x)$.
\item $x\in\vn{A}$, právě když $(\forall x_n)
(x_n\to x\implies x_n\in A\text{ až na konečný počet výjimek})$.\bigskip
\item $x\in A'$, právě když $(\exists x_n\in A\sm\{x\})(x_n\to x)$.\bigskip
\item $x\in\iz{A}$, právě když $(\forall x_n\in A)(x_n\to x\implies
x_n=x\text{ až na konečný počet výjimek})$.\bigskip
\end{enumerate}
\begin{proof}
Zřejmé :-)
\index{zřejmý důkaz}
\end{proof}
\end{theorem}
\begin{remark}
 V topologickém prostoru platí pouze implikace $\Leftarrow$, 
protože tam nemůžeme zajistit konvergenci těch posloupností. 
\end{remark}
 
\begin{theorem}[Heinova věta]
Buď $X$ metrizovatelný topologický prostor, $f:X\mapsto Y$ zobrazení,
$A\subset X$. Potom $\lim_{x\to x_0,x\in A}f(x)=l$, právě když pro
každou posloupnost $x_n:x_n\in A,x_n\not=x_0,x_n\to x_0$ platí: $f(x_n)\to l$.
\end{theorem}
\bigskip