קוד:גבולות חלקיים - היסטוריית גרסאות

Ofekgillon10 ב־18:34, 3 בנובמבר 2018

2018-11-03T18:34:50Z

→ הגרסה הקודמת		גרסה מ־18:34, 3 בנובמבר 2018
שורה 54:		שורה 54:

	\begin{proof}		\begin{proof}
	רעיון ההוכחה: הגבול התחתון הוא גבול של סדרה מונוטונית עולה (סדרת האינפימומים), והסדרה המקורית $x_n$ חסומה מלעיל. לכן, גם סדרת האינפימומים חסומה מלעיל, ואז הגבול החלקי הוא מספר סופי משום שהוא גבול של סדרה מונוטונית וחסומה. משום שהגבול התחתון הוא גבול חלקי, קיימת תת סדרה שמתכנסת אליו. משל. בצורה יותר פורמלית:		רעיון ההוכחה: הגבול התחתון הוא גבול של סדרה מונוטונית עולה (סדרת האינפימומים), והסדרה המקורית $x_n$ חסומה מלעיל. לכן, גם סדרת האינפימומים חסומה מלעיל, ואז הגבול החלקי הוא מספר סופי משום שהוא גבול של סדרה מונוטונית וחסומה.
			משום שהגבול התחתון הוא גבול חלקי, קיימת תת סדרה שמתכנסת אליו. משל. בצורה יותר פורמלית:
	$-M\leq x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.		$-M\leq x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.
	\end{proof}		\end{proof}

Ofekgillon10 ב־18:30, 3 בנובמבר 2018

2018-11-03T18:30:19Z

→ הגרסה הקודמת		גרסה מ־18:30, 3 בנובמבר 2018
שורה 54:		שורה 54:

	\begin{proof}		\begin{proof}
	$-M\~~Rightarrow~~ x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.		רעיון ההוכחה: הגבול התחתון הוא גבול של סדרה מונוטונית עולה (סדרת האינפימומים), והסדרה המקורית $x_n$ חסומה מלעיל. לכן, גם סדרת האינפימומים חסומה מלעיל, ואז הגבול החלקי הוא מספר סופי משום שהוא גבול של סדרה מונוטונית וחסומה. משום שהגבול התחתון הוא גבול חלקי, קיימת תת סדרה שמתכנסת אליו. משל. בצורה יותר פורמלית:
			$-M\leq x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.
	\end{proof}		\end{proof}

ארז שיינר: 3 גרסאות יובאו

2014-10-04T20:15:43Z

3 גרסאות יובאו

→ הגרסה הקודמת	גרסה מ־20:15, 4 באוקטובר 2014
(אין הבדלים)

Ofekgillon10 ב־18:44, 3 בספטמבר 2014

2014-09-03T18:44:24Z

→ הגרסה הקודמת		גרסה מ־18:44, 3 בספטמבר 2014
שורה 1:		שורה 1:
	\subsection{תתי סדרות}		\subsection{תתי סדרות}
	\~~underline~~{~~הגדרה:~~} תהי $A\subseteq \mathbb{N} $ אינסופית אז הצמצום של הסדרה $ x_n:\mathbb{N}\to \mathbb{R} $ אל הקבוצה A נקראת תת סדרה של $x_n$. עוד דרך להסתכל על זה היא לקחת סדרה חד חד ערכית של טבעיים שמונוטונית עולה, $n_k$ (לדוגמה $n(k)=2k $ היא סדרת הזוגיים $2,4,6,\cdots $) ואז להסתכל על $f(n(k)) $ או $ x_{n_k} $ .		\begin{definition}
			תהי $A\subseteq \mathbb{N} $ אינסופית אז הצמצום של הסדרה $ x_n:\mathbb{N}\to \mathbb{R} $ אל הקבוצה A נקראת תת סדרה של $x_n$. עוד דרך להסתכל על זה היא לקחת סדרה חד חד ערכית של טבעיים שמונוטונית עולה, $n_k$ (לדוגמה $n(k)=2k $ היא סדרת הזוגיים $2,4,6,\cdots $) ואז להסתכל על $f(n(k)) $ או $ x_{n_k} $ .
			\end{definition}

	~~לדוגמה,~~ נסתכל על הסדרה $1,0,1,0,1,0,1,0,\cdots $ נסתכל על הסדרה שנמצאת במקומות הזוגיים, כלומר ניקח את		\begin{example}
			נסתכל על הסדרה $1,0,1,0,1,0,1,0,\cdots $ נסתכל על הסדרה שנמצאת במקומות הזוגיים, כלומר ניקח את
	$A=\mathbb{N}_{\text{even}} $		$A=\mathbb{N}_{\text{even}} $
	ואז $n(k)=2k$ ו- $x_{n_k}$ נראית ככה: $0,0,0,0,\cdots $ . הסדרה המקורי לא מתכנסת, אבל תת הסדרה הזאת כן מתכנסת, ל-0. זה הרעיון של גבול חלקי.		ואז $n(k)=2k$ ו- $x_{n_k}$ נראית ככה: $0,0,0,0,\cdots $ . הסדרה המקורי לא מתכנסת, אבל תת הסדרה הזאת כן מתכנסת, ל-0. זה הרעיון של גבול חלקי.
			\end{example}

	\subsection{גבולות חלקיים}		\subsection{גבולות חלקיים}
	\~~underline~~{~~הגדרה:~~} $l \in \mathbb{R} $ נקרא גבול חלקי של סדרה אם קיימת תת סדרה שלה שמתכנסת ל- $l$		\begin{definition}
			$l \in \mathbb{R} $ נקרא גבול חלקי של סדרה אם קיימת תת סדרה שלה שמתכנסת ל- $l$
			\end{definition}

	~~$\\$~~		\begin{thm}
	\~~underline~~{~~משפט:~~} אם $x_n \to L$ אז כל תת סדרה שלה מתכנסת ל-$L$.		אם $x_n \to L$ אז כל תת סדרה שלה מתכנסת ל-$L$.
			\end{thm}

	\~~underline~~{~~הוכחה:~~} תהי תת סדרה $x_{n_k}$ ויהי אפסילון גדול מ-0. עפ"י הנתון$\exists n_0 \forall n>n_0 \|x_n-L\|<\epsilon $ . ידוע ש- $n_k$ סדרה חח"ע מונוטונית עולה של טבעיים, ולכן היא לא חסומה וקיים $k_0 $ כך ש- $\forall k>k_0: n_{k_0} > n_0 $ . מכאן ש- $ \forall k>k_0 : \|x_{n_k}-L\|<\~~epsilon~~ $		\begin{proof}
			תהי תת סדרה $x_{n_k}$ ויהי אפסילון גדול מ-0. עפ"י הנתון$\exists n_0 \forall n>n_0 \|x_n-L\|<\epsilon $ . ידוע ש- $n_k$ סדרה חח"ע מונוטונית עולה של טבעיים, ולכן היא לא חסומה וקיים $k_0 $ כך ש- $\forall k>k_0: n_{k_0} > n_0 $ . מכאן ש- $ \forall k>k_0 : \|x_{n_k}-L\|<\varepsilon $
			\end{proof}

	~~$\\$~~		\begin{thm}
	\~~underline~~{~~משפט:~~} תהי סדרה שכל תת סדרה שלה מתכנסת ל- $L$, אזי $x_n \to L$.		תהי סדרה שכל תת סדרה שלה מתכנסת ל- $L$, אזי $x_n \to L$.
			\end{thm}

	\~~underline~~{~~הוכחה:~~} נניח בשלילה שהסדרה לא מתכנסת ל- $L$, אזי $\exists_{\epsilon>0}\forall_{N} \exists_{n>N} : \|x_n-L\|\geq \epsilon $ . אם כך, נבנה תת סדרה $x_{n_k} $ באופן הבא: לכל $N$ קיים $n>N$ שעבורו $\|x_n-L\|\geq \epsilon $ ולכן ניקח את אותם $n$ים עבור $N=1,2,3,\cdots $ ואלה יהיו ה- $n_k $. באופן הזה נקבל תת סדרה שהמרחק בין איבר בה ל-$L$ גדול או שווה לאפסילון אבל זה סותר את הנתון שכל תתי הסדרות שואפות ל- $L$.		\begin{proof}
			נניח בשלילה שהסדרה לא מתכנסת ל- $L$, אזי $\exists_{\epsilon>0}\forall_{N} \exists_{n>N} : \|x_n-L\|\geq \epsilon $ . אם כך, נבנה תת סדרה $x_{n_k} $ באופן הבא: לכל $N$ קיים $n>N$ שעבורו $\|x_n-L\|\geq \epsilon $ ולכן ניקח את אותם $n$ים עבור $N=1,2,3,\cdots $ ואלה יהיו ה- $n_k $. באופן הזה נקבל תת סדרה שהמרחק בין איבר בה ל-$L$ גדול או שווה לאפסילון אבל זה סותר את הנתון שכל תתי הסדרות שואפות ל- $L$.
			\end{proof}

	\subsection{קשר בין גבולות חלקיים לגבול עליון ותחתון}		\subsection{קשר בין גבולות חלקיים לגבול עליון ותחתון}
	\~~underline~~{~~משפט:~~} כל גבול חלקי של סדרה הוא בין הגבול התחתון שלה לגבול העליון שלה.		\begin{thm}
			כל גבול חלקי של סדרה הוא בין הגבול התחתון שלה לגבול העליון שלה.
			\end{thm}

	\~~underline~~{~~הוכחה:~~} יהי $l$ גבול חלקי אז קיימת תת סדרה $x_{n_k} \to l$. מתקיים ש- $l_{n_k}\leq x_{n_k} \leq L_{n_k} $ וממשפט הסנדוויץ' נקבל את הדרוש.		\begin{proof}
			יהי $l$ גבול חלקי אז קיימת תת סדרה $x_{n_k} \to l$. מתקיים ש- $l_{n_k}\leq x_{n_k} \leq L_{n_k} $ וממשפט הסנדוויץ' נקבל את הדרוש.
			\end{proof}

	$\\$		\begin{thm}
	~~\underline~~{~~משפט:~~} הגבול העליון והתחתון הם גבולות חלקיים		הגבול העליון והתחתון הם גבולות חלקיים
			\end{thm}

	\~~underline~~{~~הוכחה:~~}$L_n=\sup\{x_n,x_{n+1},\cdots\} $ ואז לכל $k$ מתקיים $\exists_{n_k} : L_k-\frac{1}{k}<x_{n_k}<L_k $ ואז קיימת תת סדרה מונוטונית שלפי משפט הסנדוויץ' מתכנסת לגבול העליון. עבור הגבול התחתון באופן אנלוגי.		\begin{proof}
			$L_n=\sup\{x_n,x_{n+1},\cdots\} $ ואז לכל $k$ מתקיים $\exists_{n_k} : L_k-\frac{1}{k}<x_{n_k}<L_k $ ואז קיימת תת סדרה מונוטונית שלפי משפט הסנדוויץ' מתכנסת לגבול העליון. עבור הגבול התחתון באופן אנלוגי.
			\end{proof}

	\subsection{משפט בולצאנו ווירשטראס}		\subsection{משפט בולצאנו ווירשטראס}
	\~~underline~~{~~משפט:~~} לכל סדרה חסומה יש תת סדרה מתכנסת		\begin{thm}
			לכל סדרה חסומה יש תת סדרה מתכנסת
			\end{thm}

	\~~underline~~{~~הוכחה:~~} $-M\Rightarrow x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.		\begin{proof}
			$-M\Rightarrow x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.
			\end{proof}

Ofekgillon10 ב־14:51, 15 באוגוסט 2014

2014-08-15T14:51:35Z

→ הגרסה הקודמת		גרסה מ־14:51, 15 באוגוסט 2014
שורה 28:		שורה 28:

	\underline{הוכחה:}$L_n=\sup\{x_n,x_{n+1},\cdots\} $ ואז לכל $k$ מתקיים $\exists_{n_k} : L_k-\frac{1}{k}<x_{n_k}<L_k $ ואז קיימת תת סדרה מונוטונית שלפי משפט הסנדוויץ' מתכנסת לגבול העליון. עבור הגבול התחתון באופן אנלוגי.		\underline{הוכחה:}$L_n=\sup\{x_n,x_{n+1},\cdots\} $ ואז לכל $k$ מתקיים $\exists_{n_k} : L_k-\frac{1}{k}<x_{n_k}<L_k $ ואז קיימת תת סדרה מונוטונית שלפי משפט הסנדוויץ' מתכנסת לגבול העליון. עבור הגבול התחתון באופן אנלוגי.

			\subsection{משפט בולצאנו ווירשטראס}
			\underline{משפט:} לכל סדרה חסומה יש תת סדרה מתכנסת

			\underline{הוכחה:} $-M\Rightarrow x_n\leq M \Rightarrow -M\leq l_n \leq M$ ואז $l_n$ מונו' עולה וחסומה ומכאן שמתכנסת, אז הגבול התחתון קיים, והוא גבול חלקי, ולכן יש תת סדרה מתכנסת.

Ofekgillon10: יצירת דף עם התוכן "\subsection{תתי סדרות} \underline{הגדרה:} תהי $A\subseteq \mathbb{N} $ אינסופית אז הצמצום של הסדרה $ x_n:\mathbb{N}\to \ma..."

2014-08-15T14:43:42Z

יצירת דף עם התוכן "\subsection{תתי סדרות} \underline{הגדרה:} תהי $A\subseteq \mathbb{N} $ אינסופית אז הצמצום של הסדרה $ x_n:\mathbb{N}\to \ma..."

דף חדש

\subsection{תתי סדרות}
\underline{הגדרה:} תהי $A\subseteq \mathbb{N} $ אינסופית אז הצמצום של הסדרה $ x_n:\mathbb{N}\to \mathbb{R} $ אל הקבוצה A נקראת תת סדרה של $x_n$. עוד דרך להסתכל על זה היא לקחת סדרה חד חד ערכית של טבעיים שמונוטונית עולה, $n_k$ (לדוגמה $n(k)=2k $ היא סדרת הזוגיים $2,4,6,\cdots $) ואז להסתכל על $f(n(k)) $ או $ x_{n_k} $ .

לדוגמה, נסתכל על הסדרה $1,0,1,0,1,0,1,0,\cdots $ נסתכל על הסדרה שנמצאת במקומות הזוגיים, כלומר ניקח את
$A=\mathbb{N}_{\text{even}} $
ואז $n(k)=2k$ ו- $x_{n_k}$ נראית ככה: $0,0,0,0,\cdots $ . הסדרה המקורי לא מתכנסת, אבל תת הסדרה הזאת כן מתכנסת, ל-0. זה הרעיון של גבול חלקי.

\subsection{גבולות חלקיים}
\underline{הגדרה:} $l \in \mathbb{R} $ נקרא גבול חלקי של סדרה אם קיימת תת סדרה שלה שמתכנסת ל- $l$

$\\$
\underline{משפט:} אם $x_n \to L$ אז כל תת סדרה שלה מתכנסת ל-$L$.

\underline{הוכחה:} תהי תת סדרה $x_{n_k}$ ויהי אפסילון גדול מ-0. עפ"י הנתון$\exists n_0 \forall n>n_0 |x_n-L|<\epsilon $ . ידוע ש- $n_k$ סדרה חח"ע מונוטונית עולה של טבעיים, ולכן היא לא חסומה וקיים $k_0 $ כך ש- $\forall k>k_0: n_{k_0} > n_0 $ . מכאן ש- $ \forall k>k_0 : |x_{n_k}-L|<\epsilon $

$\\$
\underline{משפט:} תהי סדרה שכל תת סדרה שלה מתכנסת ל- $L$, אזי $x_n \to L$.

\underline{הוכחה:} נניח בשלילה שהסדרה לא מתכנסת ל- $L$, אזי $\exists_{\epsilon>0}\forall_{N} \exists_{n>N} : |x_n-L|\geq \epsilon $ . אם כך, נבנה תת סדרה $x_{n_k} $ באופן הבא: לכל $N$ קיים $n>N$ שעבורו $|x_n-L|\geq \epsilon $ ולכן ניקח את אותם $n$ים עבור $N=1,2,3,\cdots $ ואלה יהיו ה- $n_k $. באופן הזה נקבל תת סדרה שהמרחק בין איבר בה ל-$L$ גדול או שווה לאפסילון אבל זה סותר את הנתון שכל תתי הסדרות שואפות ל- $L$.

\subsection{קשר בין גבולות חלקיים לגבול עליון ותחתון}
\underline{משפט:} כל גבול חלקי של סדרה הוא בין הגבול התחתון שלה לגבול העליון שלה.

\underline{הוכחה:} יהי $l$ גבול חלקי אז קיימת תת סדרה $x_{n_k} \to l$. מתקיים ש- $l_{n_k}\leq x_{n_k} \leq L_{n_k} $ וממשפט הסנדוויץ' נקבל את הדרוש.

$\\$
\underline{משפט:} הגבול העליון והתחתון הם גבולות חלקיים

\underline{הוכחה:}$L_n=\sup\{x_n,x_{n+1},\cdots\} $ ואז לכל $k$ מתקיים $\exists_{n_k} : L_k-\frac{1}{k}<x_{n_k}<L_k $ ואז קיימת תת סדרה מונוטונית שלפי משפט הסנדוויץ' מתכנסת לגבול העליון. עבור הגבול התחתון באופן אנלוגי.