\input /home/pasky/school/fastex/lib.tex


\subchapter{Úvod}{

\scpart{Motivace}{

	Máme neprázdnou množinu $P$
	{\it (množinu čehokoliv --- může jít o množinu všech žiraf v Maďarsku,
	množinu všech pravdivých výroků Stanislava Grosse --- nebo i něco
	většího)},
	mezi jejímiž objekty chceme měřit vzdálenost.

}

\definition{
	Buď $P$ neprázdná množina a $\ro\colon P \times P \to [0,\infty)$.
	Jestliže platí:
	\list{
	\listItem{$\ro(x,y)=0 \Leftrightarrow x=y$ \hfill $\qquad\forall x,y \in P$}
	\listItem{$\ro(x,y)=\ro(y,x)$ \hfill {\sl (symetrie)} $\qquad\forall x,y \in P$}
	\listItem{$\ro(x,y) \le \ro(x,z)+\ro(z,y)$ \hfill {\sl (trojúhelníková nerovnost)} $\qquad\forall x,y \in P$}
	}
	Potom $\ro$ je {\bf metrika} na $P$
	a $(P,\ro)$ nazýváme {\bf metrickým prostorem}.
}

\shortexerc{Je v metrickém prostoru nádraží cena lístku metrikou? \DCV}

\examples{
\list{
\listItem{$P = \real$, $\ro = \ro_{\rm eukl.}(x,y) := |x-y|$}
\listItem{$P \subset \real$, $\ro = \ro_{\rm eukl.}(x,y)$ (podprostor se zděděnou metrikou)}
\listItem{$P = \real^n = \{x=(x_1,x_2,\ldots,x_n),\ x_j \in \real,\ j = 1,\ldots,n\}$, $n \in \nat$

	\list{
	\alistItem{$P = \real^n$, \M{\ro = \ro_{\rm eukl.}(x,y) := \sqrt{\sum_{j=1}^n (y_j-x_j)^2}}

		(i) a (ii) triviální. Dokažme si (iii):
		$$ \sqrt{\sum_{j=1}^n (y_j-x_j)^2} \le \sqrt{\sum_{j=1}^n (x_j-z_j)^2} + \sqrt{\sum_{j=1}^n (z_j-y_j)^2} $$

		Označme $a_j := x_j - z_j$, $b_j := z_j - y_j$, tedy chci
		$$ \sqrt{\sum (a_j+b_j)^2} \le \sqrt{\sum a_j^2} + \sqrt{\sum b_j^2} $$
		$$ \eqalign{\sqrt{\sum (a_j+b_j)^2}
			    & \becauseof{\phantom{\ref{Cauchy}}}{=} \sqrt{\sum a_j^2 + 2\sum a_jb_j + \sum b_j^2} \cr
			    & \becauseof{\ref{Cauchy}}{\le}
				 \sqrt{\sum a_j^2 + 2\sqrt{\sum a_j^2}\sqrt{\sum b_j^2} + \sum b_j^2}
				 = \sqrt{\sum a_j^2} + \sqrt{\sum b_j^2}} $$
	}
	\alistItem{newyorkská metrika: \M{\ro_{\rm NY}(x,y) := \sum_{j=1}^n |x_j-y_j|}}
	\alistItem{maximová metrika: \M{\ro_{\rm max}(x,y) := \max_{j=1,\ldots,n} |x_j-y_j|}}
	\alistItem{``ruská'' metrika: mějme $a \in P$,
		\M{\ro_{\rm pamp.}(x,y) := \cases{0 & $x=y$\cr \ro(x,a) + \ro(a,y) & $x \ne y$}}}
	}
}
\penalty-100
\listItem{$P = C[a,b] = \{\hbox{$f$ definovaná a spojitá na $[a,b]$}\}$

	\list{
	\alistItem{integrální metrika: \M{\ro_{\rm int}(f,g) := \int_a^b |f(x)-g(x)|\,dx}}
	\alistItem{supremální metrika: \M{\ro_{\rm sup}(f,g) := \sup_{x\in[a,b]} |f(x)-g(x)|}
	
		\smallskip
		Z obrázku vyplývá, že $\ro_{\rm int}(f,g) \le (b-a)\ro_{\rm sup}(f,g)$}
	}
}
\listItem{diskrétní metrika: $P$ je cokoliv, $\ro_{\rm diskr.}(x,y) = \cases{0 & $x=y$\cr1 & $x\ne y$}$}
}
}


\definition{
	$(P,\ro)$ buď metrický prostor, $x \in P$, $r > 0$.
	Pak {\bf otevřenou koulí} se středem $x$ a poloměrem $r$
	rozumíme množinu $$B(x,r) := \{y \in P: \ro(x,y)<r\}$$
	Obdobně definujeme {\bf uzavřenou kouli} jako
	$$\overline{B}(x,r) := \{y \in P: \ro(x,y) \le r\}$$

	Pozor, např. když $P = [0,1]$, $x = 1/4$, $r = 1/2$, pak
	$B(x,r) = B(1/4,1/2) = [0,3/4)$!
}


\examples{
	Mějme $P = \real^2$, $x = [0,0]$, $r=1$ (jednotková koule se středem 0: $B([0,0],1)$).

	Spousta obrázků...
	\list{
	\nlistItem{$\ro_{\rm eukl.}$: kolečko}
	\nlistItem{$\ro_{\rm NY}$: kosočtverec}
	\nlistItem{$\ro_{\rm max}$: čtvereček}
	\nlistItem{$\ro_{\rm diskr.}$: \M{B(x,r) = \cases{\{x\} & $r \le 1$ \cr P & $r > 1$}}}
	\nlistItem{$\ro_{\rm pamp.}$: \DCV}
	}

	Mějme $P = C[a,b]$, $f$, $r>0$.

	\list{
	\nlistItem{$\ro_{\rm sup}$: $r$-ový pásek kolem funkce, všechny funkce, které z něj nevylezou}
	\nlistItem{$\ro_{\rm int}$: nelze nakreslit}
	}
}


\definition{
	$(P,\ro)$ buď metrický prostor a $G \subseteq P$.
	Řekneme, že $G$ je {\bf otevřená v $P$}, pokud
	$$ \forall x \in G\ \existss r > 0: B(x,r) \subseteq G $$

	Naopak $G$ je {\bf uzavřená v $P$},
	pokud $P \setminus G$ je otevřená.
}



\proof{
\list{
\listItem{zřejmé}
\listItem{$F \supset B$, $F$ uz., tedy \M{F \supset A \Rightarrow \bigcap_{F \supset B} F \supset \bigcap_{F \supset A} F}}
\listItem{$\overline{A}$ je uz. a $A \subset \overline{A}$ $\Rightarrow \overline{\overline{A}} = \overline{A}$}
\listItem{
\list{
\namedListItem{``$\subseteq$''}{}
}
}
}
}

}


\bend