Matematika2:Kapitola6

Z WikiSkripta FJFI ČVUT v Praze
Verze z 13. 3. 2012, 14:41, kterou vytvořil Fucikrad (diskuse | příspěvky)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Přejít na: navigace, hledání
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 Matematika2

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu Matematika2Fucikrad 14. 9. 201116:01
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůAdmin 7. 9. 201519:27
Header editovatHlavičkový souborFucikrad 6. 2. 202215:05 header.tex
Kapitola1 editovatTechniky integraceFucikrad 6. 2. 202215:06 kapitola1.tex
Kapitola2 editovatZobecněný Riemannův integrálFucikrad 6. 2. 202215:06 kapitola2.tex
Kapitola3 editovatKuželosečkyFucikrad 6. 2. 202215:07 kapitola3.tex
Kapitola4 editovatPolární souřadniceFucikrad 6. 2. 202215:08 kapitola4.tex
Kapitola5 editovatKřivky dané parametrickyFucikrad 25. 4. 202215:28 kapitola5.tex
Kapitola6 editovatSupremum a infimumFucikrad 13. 3. 201214:41 kapitola6.tex
Kapitola7 editovatPosloupnosti reálných číselFucikrad 6. 4. 202308:47 kapitola7.tex
Kapitola8 editovatŘadyFucikrad 24. 5. 202211:01 kapitola8.tex
Kapitola9 editovatTaylorův polynom a Taylorova řadaFucikrad 20. 4. 202210:15 kapitola9.tex
Kapitola10 editovatMocninné řadyFucikrad 6. 2. 202215:10 kapitola10.tex

Vložené soubory

soubornázev souboru pro LaTeX
Image:kuzelky.pdf kuzelky.pdf
Image:A.png A.png
Image:B.png B.png
Image:C.png C.png
Image:D.png D.png
Image:E1.png E1.png
Image:E2.png E2.png
Image:E3.png E3.png
Image:E4.png E4.png
Image:F1.png F1.png
Image:F2.png F2.png
Image:F3.png F3.png
Image:F4.png F4.png
Image:J.png J.png
Image:K.png K.png
Image:L.png L.png

Zdrojový kód

%\wikiskriptum{Matematika2}
\section[Supremum a infimum]{\fbox{Supremum a infimum}}
 
 
	\begin{define}[Spočetná množina]
	Řekneme, že množina $M$ je spočetná právě tehdy, když existuje funkce $f: \N \to M$, která je prostá a na, tj. $f(\N)=M$.
	\end{define}
 
	\begin{define}[Supremum]
	Nejmenší horní závora množiny $M$ se nazývá supremum $M$ a značí  $\sup M$.
	\end{define}
	\begin{define}[Infimum]
	Největší dolní závora množiny $M$ se nazývá infimum $M$ a značí  $\inf M$.
	\end{define}
 
	\begin{theorem}[O existenci suprema a infima]
	Každá neprázdná shora, resp. zdola omezená množina $M \subset \R$ má své supremum, resp. infimum. 
	\end{theorem}
 
 
	\begin{theorem}[O blízkosti suprema k M]
	Buď $s=\sup M$. Pak $(\forall\varepsilon >0)(\exists x\in M)(s-\varepsilon < x \leq s)$.
	\begin{proof}
	Nerovnost $x \leq s$ plyne rovnou z definice suprema neb $s$ je horní závora. \\
	Nerovnost $s-\varepsilon < x$ dokážeme sporem. Nechť $\exists\varepsilon>0$ tak, že $\forall x$ $s-\varepsilon \geq x$. To je rovnou spor s tím, že $s$ je nejmenší horní závora a přitom $s-\varepsilon$ je ještě menší než $s$.
	\end{proof}
	\end{theorem}
 
	\begin{theorem}[O blízkosti infima k M]
	Buď $i=\inf M$. Pak $(\forall\varepsilon >0)(\exists x\in M)(i \leq x < i+\varepsilon)$.
	\begin{proof}
	Důkaz se provede podobně jako v předchozí větě. 
	\end{proof}
	\end{theorem}
 
	\begin{theorem}[O supremu]
	Buď $M$ neprázdná a shora omezená množina. Potom existuje právě jedno číslo $s$ takové, že platí:
	\begin{enumerate}
	\item[1.] vlastnost suprema : $(\forall x \in M)( x \leq s)$.
	\item[2.] vlastnost suprema : $(\forall s' \in \R)( s' < s)(\exists x \in M)(s' < x)$. 
	\end{enumerate}
	\end{theorem}
 
	\begin{theorem}[O infimu]
	Buď $M$ neprázdná a zdola omezená množina. Potom existuje právě jedno číslo $i$ takové, že platí:
	\begin{enumerate}
	\item[1.] vlastnost infima : $(\forall x \in M)( x \geq i)$.
	\item[2.] vlastnost infima : $(\forall i' \in \R)( i' > i)(\exists x \in M)(i' > x)$. 
	\end{enumerate}
	\end{theorem}