קוד:משפטי וויירשטראס לפונקציות רציפות

\begin{thm} \begin{enumerate} תהי $f:[a,b]\to\mathbb{R} $ רציפה בכל הקטע אזי

\item $f$ חסומה בקטע $[a,b] $ \item $$\exists x_{\text{min}},x_{\text{max}}  : f(x_{\text{min}})=\inf_{x\in(a,b)} f(x) , f(x_{\text{max}})=\sup_{x\in(a,b)} f(x) $$ \end{enumerate}

\end{thm} במילים אחרות, פונקציה רציפה בקטע סגור חסומה שם ומקבלת את המקסימום והמינימום שלה.

\begin{proof} \begin{enumerate}

\item נניח בשלילה ש-$f$ לא חסומה. אזי $\forall n \exists_{x_n} : |f(x_n)|>n $ אבל $a\leq x_n \leq b $ ולכן זוהי סדרה חסומה ולפי בולצאנו ווירשטראס יש לה תת סדרה מתכנסת\\ $x_{n_k}\to x_0 $ אבל מהרציפות של $f $ נקבל ש- $f(x_{n_k})\to f(x_0) $ למרות שמההגדרה של $x_{n_k}$, מתקיים ש- $|f(x_{n_k})|\to \infty $ בסתירה. \item נסמן את החסמים בתור $M,m$ ונשים לב ש- $-m$ החסם העליון של $-f$ ולכן אם נוכיח את הטענה עבור החסם העליון, הטענה ל-$m$ תתקבל ישירות.\\ נניח בשלילה ש- $f$ לא מקבלת את הערך $M$, לכן אפשר להגדיר את $g(x)=\frac{1}{M-f(x)} $ והיא תהיה רציפה משום שהמכנה לא מתאפס. אבל לפי משפט 1 $g$ חסומה ומכאן ש- $$\frac{1}{M-f(x)}<C \Rightarrow M-f(x)>\frac{1}{C} \Rightarrow M-\frac{1}{C}>f(x) $$ בסתירה להגדרה ש- $M$ חסם עליון \end{enumerate}

\end{proof}