הבדלים בין גרסאות בדף "קוד:למת קנטור (חיתוך קטעים)"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(יצירת דף עם התוכן "\underline{משפט:} נתונה סדרה של קטעים סגורים $[a_n,b_n]$ כך ש- $[a_{n+1},b_{n+1}]\subset [a_n,b_n] $. אם מתקיים $|b_n-a_n|\t...")
 
מ (2 גרסאות יובאו)
 
(גרסת ביניים אחת של משתמש אחר אחד אינה מוצגת)
שורה 1: שורה 1:
\underline{משפט:} נתונה סדרה של קטעים סגורים $[a_n,b_n]$ כך ש- $[a_{n+1},b_{n+1}]\subset [a_n,b_n] $. אם מתקיים $|b_n-a_n|\to 0 $ אזי $\exists c : \bigcap_{n=1}^\infty [a_n,b_n] = \{c\} $
+
\begin{lem}[למת קנטור]
 +
נתונה סדרה של קטעים סגורים $[a_n,b_n]$ כך ש- $[a_{n+1},b_{n+1}]\subset [a_n,b_n] $. אם מתקיים $|b_n-a_n|\to 0 $ אזי $\exists c : \bigcap_{n=1}^\infty [a_n,b_n] = \{c\} $
 +
\end{lem}
  
\underline{הוכחה:}
+
\begin{proof}
נראה כי $\{a_n\}_{n=1}^\infty $ מונוטונית עולה בעוד ש- $\{b_n\}_{n=1}^\infty $. בנוסף, $a_n\leq b_1 , b_n\geq a_1 $ ולכן הסדרות האלה הן מונוטוניות וחסומות אז מתכנסות. נגדיר $\sup a_n = a , \sup b_n = b $ ואז אנו יודעים ש- $ a_n\to a , b_n\to b $. אבל מאריתמטיקה של גבולות כיוון ש- $b_n-a_n\to 0 $ אז $b-a=0\Rightarrow b=a $ . תרגיל בית: הראו שאם נגדיר $c:=b=a$ אז $ \bigcap_{n=1}^\infty [a_n,b_n] = \{c\} $
+
נראה כי $\{a_n\}_{n=1}^\infty $ מונוטונית עולה בעוד ש- $\{b_n\}_{n=1}^\infty $ מונו' יורדת.\\
 +
בנוסף, $a_n\leq b_1 , b_n\geq a_1 $ ולכן הסדרות האלה הן מונוטוניות וחסומות אז מתכנסות.\\
 +
נגדיר $\sup a_n = a , \sup b_n = b $ ואז אנו יודעים ש- $ a_n\to a , b_n\to b $. אבל מאריתמטיקה של גבולות כיוון ש- $b_n-a_n\to 0 $ אז $b-a=0\Rightarrow b=a $ . נגדיר $c:=b=a$ ונוכיח ש- $ \bigcap_{n=1}^\infty [a_n,b_n] = \{c\} $\\
 +
\boxed{\supseteq}
 +
$$a_n\leq a =c=b \leq b_n \Rightarrow \forall n : c\in [a_n,b_n] \Rightarrow c\in \bigcap_{n=1}^\infty [a_n,b_n]$$
 +
\boxed{\subseteq}
 +
$$x\in \bigcap_{n=1}^\infty [a_n,b_n] \Rightarrow \forall x : x\in [a_n,b_n] \Rightarrow \forall n a_n\leq x \land x\leq b_n$$
 +
מהגדרת אינפימום וסופרימום נקבל ש-
 +
$$a\leq x \land x\leq b\Rightarrow a=x=b\Rightarrow x=c$$
 +
\end{proof}

גרסה אחרונה מ־20:16, 4 באוקטובר 2014

\begin{lem}[למת קנטור] נתונה סדרה של קטעים סגורים $[a_n,b_n]$ כך ש- $[a_{n+1},b_{n+1}]\subset [a_n,b_n] $. אם מתקיים $|b_n-a_n|\to 0 $ אזי $\exists c : \bigcap_{n=1}^\infty [a_n,b_n] = \{c\} $ \end{lem}

\begin{proof} נראה כי $\{a_n\}_{n=1}^\infty $ מונוטונית עולה בעוד ש- $\{b_n\}_{n=1}^\infty $ מונו' יורדת.\\ בנוסף, $a_n\leq b_1 , b_n\geq a_1 $ ולכן הסדרות האלה הן מונוטוניות וחסומות אז מתכנסות.\\ נגדיר $\sup a_n = a , \sup b_n = b $ ואז אנו יודעים ש- $ a_n\to a , b_n\to b $. אבל מאריתמטיקה של גבולות כיוון ש- $b_n-a_n\to 0 $ אז $b-a=0\Rightarrow b=a $ . נגדיר $c:=b=a$ ונוכיח ש- $ \bigcap_{n=1}^\infty [a_n,b_n] = \{c\} $\\ \boxed{\supseteq} $$a_n\leq a =c=b \leq b_n \Rightarrow \forall n : c\in [a_n,b_n] \Rightarrow c\in \bigcap_{n=1}^\infty [a_n,b_n]$$ \boxed{\subseteq} $$x\in \bigcap_{n=1}^\infty [a_n,b_n] \Rightarrow \forall x : x\in [a_n,b_n] \Rightarrow \forall n a_n\leq x \land x\leq b_n$$ מהגדרת אינפימום וסופרימום נקבל ש- $$a\leq x \land x\leq b\Rightarrow a=x=b\Rightarrow x=c$$ \end{proof}