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

\subchapter{Spojit� funkce na intervalu}{


\definition{
	Je-li $(a,b)$ interval, pak $a$ naz�v�me {\bf po��te�n�m bodem} intervalu,
	$b$ pak {\bf koncov�m bodem} a $x \in (a,b)$ {\bf vnit�n�mi body} intervalu.
	Obdobn� pro uzav�en� a polouzav�en� intervaly.
}

\definition{
	�ekneme, �e funkce $f$ je {\bf spojit� na intervalu $I$}, jestli�e je spojit� zprava
	ve v�ech bodech intervalu krom� koncov�ho a z�rove� spojit� zleva ve v�ech bodech
	intervalu krom� po��te��ho.
}


\theorem{8}{Darbouxova}{
	Nech� $f$ je spojit� na uzav�en�m intervalu $[a,b]$, $a<b$, $a,b\in\real$ a $f(a)<f(b)$. Pak
	$$ \forall y \in (f(a),f(b))\ \existss x \in (a,b):\ f(x) = y $$
	(Neboli spojit� funkce nab�v� na intervalu v�ech mezihodnot.)

	\proof{
		\TODO{diagram}

		Definujeme mno�inu $M := \{ x \in [a,b]: f(x) < y \}$.
		Je nepr�zdn� ($a \in M$) a omezen� ($M \subseteq [a,b]$).

		Ozna� $x_0 = \sup M$.  Tvrd�me, �e $f(x_0) = y$.
		To nyn� dok�eme sporem s vlastnostmi suprema.
		P�edpokl�dejme:
		$$ f(x_0) < y \Rightarrow \existss{\eps > 0}: f(x_0) \notin \cU(y,\eps) \Rightarrow y \notin \cU(f(x_0),\eps) $$

		Funkce je spojit�, tedy k $\eps$ $\existss \delta > 0$ takov�, �e
		$$ f(x) \notin \cU(y,\eps)\qquad\forall x \in \cU(x_0,\delta) \cap [a,b] $$
		($f(x_0)$ je ``stra�n�'' daleko od $y$ a nevejde se do $\eps$-okol� $y$)
		\TODO{Diagram}

		�ili $x_0$ nen� supremem mno�iny $M$, nebo� existuj� body $x > x_0$,
		co� je spor s prvn� vlastnost� suprema!

		Nech� $f(x_0) > y$. To je ve sporu s druhou vlastnost� suprema.
		$\existss \eps > 0$ takov�, �e $y \notin \cU(f(x_0), \eps)$.
		K $\eps$ potom $\existss \delta > 0$ takov�, �e
		$$ \forall x \in \cU(x_0,\eps): f(x) > y \Rightarrow \forall x \in (x_0-\delta, x_0): f(x) > y $$

		Pak ale $x_0$ nem��e b�t supremum, proto�e je p�ed n�m ``d�ra'' $x_0-\delta$.

		\XXX
	}
}


\theorem{9}{zobrazen� intervalu spojitou funkc�}{
	(Nebo tak� ``o spojit�m obrazu intervalu''.)

	Nech� $I$ je interval a nech� $f\colon I \to \real$ je spojit�.
	Pak $f(I)$ je interval.
	(Pozor, obrazem otev�en�ho intervalu je uzav�en� interval.)

	\proof{
		\lemma{}{
			Nech� $\emptyset \ne M \subset \real$ a nech� plat�
			$$ \forall x,y \in M,\ \forall z \in \real:\ x < z < y \Rightarrow z \in M $$

			Pak $M$ je interval.

			\proof{
				Definujme $a := \inf M$, $b := \sup M$, $a \le b$ (mno�ina $M$ je nepr�zdn�)
				a tedy $(a,b) \subseteq M \subseteq [a,b]$. Tedy $M$ je interval.
				\qed
			}
		}

		Nech� $y_1, y_2 \in f(I)$:
		$$\existss x_1,x_2 \in I:\ f(x_1) = y_1 \land f(x_2) = y_2$$

		Bez �jmy na obecnosti p�edpokl�dejme $y_1 < y_2$.
		Nech� $y_3 \in (y_1,y_2)$.
		Dle \ias{}{8}{} pak
		$$\existss x_3 \in [x_1,x_2]:\ f(x_3) = y_3 $$

		Tedy m� $f(I)$ vlastnosti mno�iny $M$ z lemmatu, tak�e je dle lemmatu $f(I)$ interval.
		\qed
	}
}


\definition{
	M�me-li $f\colon M \to \real$, $M \subseteq \real$, �ekneme, �e $f$ nab�v� v bod� $a \in M$:

	\list{
		\listItem{{\bf maxima na $M$}, jestli�e $\forall x \in M,\ f(x) \le f(a)$}
		\listItem{{\bf minima na $M$}, jestli�e $\forall x \in M,\ f(x) \ge f(a)$}
		\listItem{{\bf ostr�ho maxima na $M$}, jestli�e $\forall x \in M\setminus\{a\},\ f(x) < f(a)$}
		\listItem{{\bf ostr�ho minima na $M$}, jestli�e $\forall x \in M\setminus\{a\},\ f(x) > f(a)$}
		\namedListItem{v--viii}{{\bf lok�ln�ch}, jestli�e existuje $\delta > 0$ tak,
					  �e $f$ nab�v� na mno�in� $M \cap \cU(a,\delta)$ maxima (minima)}
	}
}


\TODO{1S je n�jak� {\bf divn�}\dots}

\theorem{1S}{Heineova v�ta pro spojitost}{
	Nech� $f$ je definovan� na okol� bodu $a \in \real$.
	Pak $f$ je spojit� v bod� $a$, pr�v� kdy� pro ka�dou posloupnost
	$\{x_n\} \in D(f)$, $\lim_{n\to a} x_n = a$ plat�
	$\lim_{n\to a} f(x_n) = f(a)$.

	\exercise{
		Rozmyslete si, pro� v t�to v�t� mus� b�t nav�c p�edpoklad $x_n \ne a$.
	}

	\shortdef{Zn�me}{$f$ spojit� v $a$ $\Leftrightarrow$ $[x_n \to a \Rightarrow f(x_n) \to f(a)]$.}

	\shortdef{Ot�zka}{Kdy nab�v� funkce sv�ho maxima �i minima?}

	$$ A = \{ f(x),\ x \in D(f) \},\ \existss{\sup A} $$

	\examples{
	\list{
		\listItem{$f(x) = x$ na $(0,1)$. \TODO{graf}}
		\listItem{$f$ na $[0,1]$ nem� maximum. Je spojit� na $[a,b]$? \TODO{graf}}
	}
	}
}


\theorem{10}{vztah spojitosti a extr�m�}{
	Nech� $f$ je spojit� na $[a,b]$. Pak $f$ nab�v� na $[a,b]$ sv�ho minima i maxima.

	\proof{
		$$ A = \{f(x),\ x \in [a,b]\},\ M=\sup A $$

		Z vlastnost� suprema:
		$\existss$ posloupnost $\{f(x_n)\}_{n=1}^\infty$ takov�, �e $\lim_{n\to \infty} f(x_n) = M$.
		Pak $\{x_n\} \subset [a,b]$, tedy $\{x_n\}$ je omezen�.

		Tud�� dle \ref{Bolzano-Weistrass}e $\existss$ posloupnost
		$\{x_{n_k}\}$, $$\lim_{n_k\to \infty} x_{n_k} = c \in [a,b]$$

		$f$ je spojit� v $c$, tud�� $$\lim_{n_k\to \infty} f(x_{n_k}) = f(c)$$
		Ale p�itom $\lim_{n\to \infty} f(x_n) = M$, neboli $$\lim_{n_k\to \infty} f(x_{n_k}) = M$$

		Podle \href{v�ty o jednozna�nosti limity}{VOJL}: $M = f(c)$,
		tedy $f$ nab�v� sv�ho maxima $M$ v bod�~$c$.

		Minimum obdobn�.

		\qed
	}
}


\theorem{11}{vztah spojitosti a omezenosti}{
	Spojit� funkce na $[a,b]$ je omezen�.

	\proof{
		Dle \ias{}{10}{} $f$ nab�v� $\min$, $\max$. Ozna�me $m = \min f$, $M = \max f$.
		Pak $m \le f(x) \le M$ pro $\forall x \in [a,b]$ $\Rightarrow$ $f$ je omezen�.

		\qed
	}

	\shortnote{P�edpoklady jsou podstatn�!}
}


\scpart{Prost� funkce}{
	\definition{
		�ekneme, �e $f$ je {\bf prost� (injektivn�)} funkce,
		jestli�e $x \ne y$ $\Rightarrow$ $f(x) \ne f(y)$ pro $\forall x,y \in D(f)$.
	}

	\examples{
	\list{
		\listItem{$\sin$ nen� prost� na $\real$, ale je na $[-{\pi/2},{\pi/2}]$.}
		\listItem{Konstantn� funkce neb�v� prost�.}
	}
	}
}


\scpart{Inverzn� funkce}{
	\definition{
		Nech� $f$ je prost� funkce na $M \subset \real$, kdy $f\colon M \mapsto f(M)$.
		Pak {\bf inverzn�} funkce k $f$ (ozna��me $f^{-1}$) je definov�na na $f(M)$
		pro $\forall y \in f(M)$ jako: $$ f^{-1}(y) = x \Leftrightarrow y = f(x) $$
	}

	\examples{
	\list{
		\listItem{$f(x) = x^2$ na $[0,\infty)$}
		\listItem{$f(y) = \sqrt{y}$ na $[0,\infty)$}
	}
	}


	\penalty-100
	\theorem{12}{o inverzn� funkci}{
		Nech� $I$ je interval v $\real$, $f$ je definovan�, spojit� a rostouc� (�i klesaj�c�) na $I$.
		Pak $f^{-1}$ je definovan�, spojit� a rostouc� �i klesaj�c� na $f(I)$.

		\proof{
			\scpart{Definovanost a monotonie}{
				Nech� $f$ je nap��klad rostouc�, pak $f^{-1}$ je definovan� a rostouc� na $f(I)$.
				$$ \eqalign{y_i &= f(x_i)\cr
					    x_i &= f^{-1}(y_i)} $$
				$$ y_1 < y_2 \Longleftrightarrow
					f(x_1) < f(x_2) \becauseof{$f\uparrow\strut$}{\Longleftrightarrow}
					x_1 < x_2 \Longleftrightarrow
					f^{-1}(y_1) < f^{-1}(y_2) $$
			}

			\scpart{Spojitost}{
				Zvol�me $y_0 \in f(I)$, $y_0 = f(x_0)$, $x_0 = f^{-1}(y_0)$, $\eps > 0$.
				Nech� $y_0$ je vnit�n�m bodem $f(I)$, pak $x_0$ je vnit�n�m bodem $I$.
				$$ \existss x_1,x_2,\ x_1 < x_0 < x_2 \Rightarrow (x_1,x_2) \subset \cU(x_0, \eps) $$

				Zvol $\delta > 0$ tak, aby $\cU(y,\delta) \subseteq \left(f(x_1),f(x_2)\right)$.
				Tedy pro $\eps > 0$ $\existss \delta > 0$ tak, �e:
				$$ f^{-1}\left(\cU(y_0,\delta)\right) \subseteq f^{-1}\left(f(x_1),f(x_2)\right)
					= (x_1,x_2) \subseteq \cU(x_0,\eps) = \cU\left(f^{-1}(y_0),\eps\right) $$

				Tedy $f^{-1}$ je spojit� v $y_0$.
				Obdobn� pro krajn� body (\DCV).
			}

			\qed
		}
	}
}


}

\bend
