קוד:סדרות - היסטוריית גרסאות

Ofekgillon10 ב־16:54, 9 באוקטובר 2014

2014-10-09T16:54:43Z

@@ שורה 24: / שורה 24: @@
 יהי אפסילון גדול מ-$0$ (מישהו נתן לי מרחק ממש קטן, אולי $\varepsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר).\\
 אנחנו צריכים למצוא $ N $ שלכל $ n>N $ יתקיים $ |a_n-0|<\varepsilon $, אבל זה בדיוק אומר ש- $ |\frac{1}{n}|<\varepsilon $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-$0$ קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!
 \end{example}
@@ שורה 50: / שורה 40: @@
 \end{proof}
 \end{remark}

Ofekgillon10 ב־23:09, 7 באוקטובר 2014

2014-10-07T23:09:55Z

→ הגרסה הקודמת		גרסה מ־23:09, 7 באוקטובר 2014
שורה 33:		שורה 33:
	$$\forall \varepsilon>0 \exists N \forall n>N : \|a_n-0\|<\varepsilon $$		$$\forall \varepsilon>0 \exists N \forall n>N : \|a_n-0\|<\varepsilon $$
	אבל אם ניקח לדוגמה $\varepsilon=\frac{1}{2} $ נראה כי תמיד $\|a_n-0\|=1>\frac{1}{2}=\varepsilon $ ולכן הגדרת הגבול לא מתקיימת!\\		אבל אם ניקח לדוגמה $\varepsilon=\frac{1}{2} $ נראה כי תמיד $\|a_n-0\|=1>\frac{1}{2}=\varepsilon $ ולכן הגדרת הגבול לא מתקיימת!\\
	יותר מזה, לסדרה אין גבול, ואת זה ~~תוכיחו בתרגיל הבית הקרוב~~.		יותר מזה, לסדרה אין גבול, ואת זה נשאיר כתרגיל.
	\end{example}		\end{example}

	\~~subsection~~{~~גבולות אינסופיים~~}		\begin{remark}[הגבול הוא יחיד]
	~~ראינו מה קורה לגבי סדרות ששואפות למספר, אבל לפעמים נוח להגיד שסדרה "שואפת לאינסוף", כמו במקרה של~~ $ 1,2~~,3,4,~~\~~cdots~~ $ . מתי נגיד שזה מתקיים? אם הסדרה מצליחה בסופו של דבר לעקוף כל מספר, לא חשוב כמה הוא גדול. במובנים מתמטיים, זה אומר שלכל $ M $ ~~(מספר גדול) קיים מקום בסדרה~~ $ N $ ~~שכל האיברים אחריו (לכל~~ $ ~~n>N~~ $ ), ~~הסדרה תהיה גדולה יותר מהמספר הגדול~~ $ M $ . ~~בשפת כמתים:~~		כלומר אם $a_n$ לא יכולה להתכנס ל-2 גבולות שונים. במילים אחרות אם $a_n\to L_1 $ ו- $a_n\to L_2 $ אזי $L_1=L_2 $\\
	$$ \~~lim_~~{n\to ~~\infty}~~ a_n = \~~infty~~ \~~Leftrightarrow~~ \~~forall M~~ \~~exists N~~\in \~~mathbb~~{N} ~~: a_n > M~~ $$		\begin{proof}
	~~באותו אופן~~, ~~אפשר להגדיר שאיפה למינוס אינסוף:~~		תהי $a_n$ שמתכנסת ל- $L_1,L_2 $ ונניח בשלילה ש- $L_1\neq L_2 $.\\
	$$ \~~lim_{n~~\to \~~infty~~} ~~a_n~~ = -\~~infty~~ \~~Leftrightarrow~~ \~~forall M~~ \~~exists~~ N\in \~~mathbb~~{N} : a_n ~~< M~~ $$		נניח בה"כ ש- $L_1<L_2 $.\\
			אם נגדיר $\varepsilon = \frac{L_2-L_1}{2} $ נקבל מהנתון $a_n\to L_1 $ שקיים $N_1 $ כך שלכל $n>N_1 $ מתקיים
			$$\|a_n-L_1\|<\varepsilon \Rightarrow L_1-\varepsilon < a_n < L_1 + \varepsilon = L_1+\frac{L_2-L_1}{2}= \frac{L_1+L_2}{2}$$
			ובאופן דומה, מהנתון ש- $a_n\to L_2 $ מסיקים שקיים $N_2 $ כך שלכל $n>N_2 $ מתקיים
			$$\|a_n-L_2\|<\varepsilon \Rightarrow \frac{L_1+L_2}{2}=L_2-\varepsilon<a_n<L_2+\varepsilon $$
			אז נגדיר את $N=\max \{N_1,N_2\} $ ויתקיים לכל $n>N$
			$$a_n<L_1+\varepsilon=\frac{L_1+L_2}{2}=L_2-\varepsilon<a_n$$
			והגענו לסתירה.
			\end{proof}
			\end{remark}

Ofekgillon10 ב־22:10, 6 באוקטובר 2014

2014-10-06T22:10:02Z

@@ שורה 24: / שורה 24: @@
 יהי אפסילון גדול מ-$0$ (מישהו נתן לי מרחק ממש קטן, אולי $\varepsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר).\\
 אנחנו צריכים למצוא $ N $ שלכל $ n>N $ יתקיים $ |a_n-0|<\varepsilon $, אבל זה בדיוק אומר ש- $ |\frac{1}{n}|<\varepsilon $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-$0$ קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!
 \end{example}

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

2014-10-04T20:16:42Z

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

דף חדש

\subsection{הגדרת סדרה}
\begin{definition}
סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התאמה בין המספרים הטבעיים למספרים הממשיים. לכל מספר טבעי מתאימים מספר ממשי. דוגמה לכך תהיה פונקציה שמתאימה את 1 ל-1, את 2 ל-$ \frac{1}{2} $, את 3 ל- $\frac{1}{3} $ ובאופן כללי את $ n $ ל- $\frac{1}{n} $ (נהוג לסמן $ a_n $ במקום $ f(n) $ בהקשר של סדרות ולכן פה $ a_n=\frac{1}{n} $ ). כשאנחנו מתאימים את המספר הטבעי $ n $ למספר ממשי $ a_n $, זה אומר אינטואיטיבית ש- $ a_n $ זה האיבר במקום ה- $ n $. כך לדוגמה את הפונקציה שהתאימה את $ n $ ל- $ \frac{1}{n} $ ניתן לראות בעצם כמה שאנחנו מכירים כסדרה:
$$ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $$
סימון מקובל לסדרות הוא $ \{a_n\}_{n=1}^\infty $. גם סדרת מספרים אקראית היא סדרה, לא חייבת להיות חוקיות ברורה!
\end{definition}

\subsection{הגדרת הגבול}
מתי נאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $?\\
באופן אינטואיטיבי הכוונה ברורה, הסדרה $ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $ בבירור שואפת ל-$0$,\\
הסדרה $ 0,1,0,1,0,1,0,\cdots $ לא מתכנסת לכלום והסדרה $ 100,1000,1,\frac12,\frac13,\frac14,\frac15,\cdots $ עדיין שואפת ל-$0$ למרות שבהתחלה היא דווקא התרחקה ממנו קצת. אבל עדיין, איך ממש מגדירים את זה מתמטית?

\begin{definition}
שנאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $ ונסמן\\
$ \displaystyle{\lim_{n\to\infty}} a_n = L $ או $ a_n\underset{n\to \infty}{\longrightarrow}L $ אם
$$ \forall \varepsilon>0 \exists N_\epsilon \in \mathbb{N} \forall n>N_\varepsilon:|a_n-L|<\varepsilon $$
נכון שזה נראה מאוד מפחיד במבט ראשון, אך בעצם זה גם דבר הגיוני. "בלשון בני אדם", ההגדרה אומרת שלכל מרחק שיתנו לי מהגבול, לא חשוב כמה קטן (זהו האפסילון), אני יכול למצוא מקום בסדרה (זה ה- $N_\epsilon $, מקום בסדרה שתלוי במרחק הקטן אפסילון שנתנו לי), שכל האיברים אחרי המקום ההוא (לכל המקומות $ n $ ש- $ n > N_\epsilon $) מקיימים שהמרחק שלהם מהגבול ( $ |a_n-L| $ זה המרחק בין האיבר $ a_n $ לגבול $ L $ ) קטן מאפסילון, המרחק ההתחלתי הקטן.
\end{definition}

\begin{example}
במקרה של $ a_n=\frac{1}{n} $, נרצה להוכיח שזה שואף ל-$0$. כלומר לכל מרחק מ-$0$, לא חשוב כמה קטן (אפסילון), אמצא מקום בסדרה שכל האיברים אחריו מקיימים ש- $ |a_n - 0| <\epsilon $ (המרחק בין האיבר לגבול, $0$, קטן מאפסילון). לדוגמה, אם מישהו יתן לי את המרחק
$\varepsilon=0.0001\ $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין $0$ יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?

יהי אפסילון גדול מ-$0$ (מישהו נתן לי מרחק ממש קטן, אולי $\varepsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר).\\
אנחנו צריכים למצוא $ N $ שלכל $ n>N $ יתקיים $ |a_n-0|<\varepsilon $, אבל זה בדיוק אומר ש- $ |\frac{1}{n}|<\varepsilon $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-$0$ קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!
\end{example}

\subsection{גבולות אינסופיים}
ראינו מה קורה לגבי סדרות ששואפות למספר, אבל לפעמים נוח להגיד שסדרה "שואפת לאינסוף", כמו במקרה של $ 1,2,3,4,\cdots $ . מתי נגיד שזה מתקיים? אם הסדרה מצליחה בסופו של דבר לעקוף כל מספר, לא חשוב כמה הוא גדול. במובנים מתמטיים, זה אומר שלכל $ M $ (מספר גדול) קיים מקום בסדרה $ N $ שכל האיברים אחריו (לכל $ n>N $ ), הסדרה תהיה גדולה יותר מהמספר הגדול $ M $ . בשפת כמתים:
$$ \lim_{n\to \infty} a_n = \infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n > M $$
באותו אופן, אפשר להגדיר שאיפה למינוס אינסוף:
$$ \lim_{n\to \infty} a_n = -\infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n < M $$

Ofekgillon10 ב־09:02, 18 בספטמבר 2014

2014-09-18T09:02:05Z

→ הגרסה הקודמת		גרסה מ־09:02, 18 בספטמבר 2014
שורה 22:		שורה 22:
	$\varepsilon=0.0001\ $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין $0$ יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?		$\varepsilon=0.0001\ $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין $0$ יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?

	יהי אפסילון גדול מ-$0$ (מישהו נתן לי מרחק ממש קטן, אולי $\varepsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\varepsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\varepsilon\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!		יהי אפסילון גדול מ-$0$ (מישהו נתן לי מרחק ממש קטן, אולי $\varepsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר).\\
			אנחנו צריכים למצוא $ N $ שלכל $ n>N $ יתקיים $ \|a_n-0\|<\varepsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\varepsilon $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-$0$ קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!
	\end{example}		\end{example}

Ofekgillon10 ב־15:03, 3 בספטמבר 2014

2014-09-03T15:03:07Z

→ הגרסה הקודמת		גרסה מ־15:03, 3 בספטמבר 2014
שורה 1:		שורה 1:
	\subsection{הגדרת סדרה}		\subsection{הגדרת סדרה}
	~~הגדרה:~~ סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התאמה בין המספרים הטבעיים למספרים הממשיים. לכל מספר טבעי מתאימים מספר ממשי. דוגמה לכך תהיה פונקציה שמתאימה את 1 ל-1, את 2 ל-$ \frac{1}{2} $, את 3 ל- $\frac{1}{3} $ ובאופן כללי את $ n $ ל- $\frac{1}{n} $ (נהוג לסמן $ a_n $ במקום $ f(n) $ בהקשר של סדרות ולכן פה $ a_n=\frac{1}{n} $ ). כשאנחנו מתאימים את המספר הטבעי $ n $ למספר ממשי $ a_n $, זה אומר אינטואיטיבית ש- $ a_n $ זה האיבר במקום ה- $ n $. כך לדוגמה את הפונקציה שהתאימה את $ n $ ל- $ \frac{1}{n} $ ניתן לראות בעצם כמה שאנחנו מכירים כסדרה:		\begin{definition}
			סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התאמה בין המספרים הטבעיים למספרים הממשיים. לכל מספר טבעי מתאימים מספר ממשי. דוגמה לכך תהיה פונקציה שמתאימה את 1 ל-1, את 2 ל-$ \frac{1}{2} $, את 3 ל- $\frac{1}{3} $ ובאופן כללי את $ n $ ל- $\frac{1}{n} $ (נהוג לסמן $ a_n $ במקום $ f(n) $ בהקשר של סדרות ולכן פה $ a_n=\frac{1}{n} $ ). כשאנחנו מתאימים את המספר הטבעי $ n $ למספר ממשי $ a_n $, זה אומר אינטואיטיבית ש- $ a_n $ זה האיבר במקום ה- $ n $. כך לדוגמה את הפונקציה שהתאימה את $ n $ ל- $ \frac{1}{n} $ ניתן לראות בעצם כמה שאנחנו מכירים כסדרה:
	$ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $		$$ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $$

	סימון מקובל לסדרות הוא $ \{a_n\}_{n=1}^\infty $. גם סדרת מספרים אקראית היא סדרה, לא חייבת להיות חוקיות ברורה!		סימון מקובל לסדרות הוא $ \{a_n\}_{n=1}^\infty $. גם סדרת מספרים אקראית היא סדרה, לא חייבת להיות חוקיות ברורה!
			\end{definition}

	\subsection{הגדרת הגבול}		\subsection{הגדרת הגבול}
	מתי נאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $? באופן אינטואיטיבי הכוונה ברורה, הסדרה $ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $ בבירור שואפת ל-0, הסדרה $ 0,1,0,1,0,1,0,\cdots $ לא מתכנסת לכלום והסדרה $ 100,1000,1,\frac12,\frac13,\frac14,\frac15,\cdots $ עדיין שואפת ל-0 למרות שבהתחלה היא דווקא התרחקה ממנו קצת. אבל עדיין, איך ממש מגדירים את זה מתמטית?		מתי נאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $?\\
			באופן אינטואיטיבי הכוונה ברורה, הסדרה $ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $ בבירור שואפת ל-$0$,\\
			הסדרה $ 0,1,0,1,0,1,0,\cdots $ לא מתכנסת לכלום והסדרה $ 100,1000,1,\frac12,\frac13,\frac14,\frac15,\cdots $ עדיין שואפת ל-$0$ למרות שבהתחלה היא דווקא התרחקה ממנו קצת. אבל עדיין, איך ממש מגדירים את זה מתמטית?

	~~הגדרה:~~ שנאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $ ונסמן $ \lim_{n\to\infty} a_n = L $ או $ a_n\underset{n\to \infty}{\longrightarrow}L $ אם $ \forall \~~epsilon~~>0 \exists N_\epsilon \in \mathbb{N} \forall n>N_\~~epsilon~~:\|a_n-L\|<\~~epsilon~~ $ . נכון שזה נראה מאוד מפחיד במבט ראשון, אך בעצם זה גם דבר הגיוני. "בלשון בני אדם", ההגדרה אומרת שלכל מרחק שיתנו לי מהגבול, לא חשוב כמה קטן (זהו האפסילון), אני יכול למצוא מקום בסדרה (זה ה- $N_\epsilon $, מקום בסדרה שתלוי במרחק הקטן אפסילון שנתנו לי), שכל האיברים אחרי המקום ההוא (לכל המקומות $ n $ ש- $ n > N_\epsilon $) מקיימים שהמרחק שלהם מהגבול ( $ \|a_n-L\| $ זה המרחק בין האיבר $ a_n $ לגבול $ L $ ) קטן מאפסילון, המרחק ההתחלתי הקטן.		\begin{definition}
			שנאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $ ונסמן\\
			$ \lim_{n\to\infty} a_n = L $ או $ a_n\underset{n\to \infty}{\longrightarrow}L $ אם
			$$ \forall \varepsilon>0 \exists N_\epsilon \in \mathbb{N} \forall n>N_\varepsilon:\|a_n-L\|<\varepsilon $$
			נכון שזה נראה מאוד מפחיד במבט ראשון, אך בעצם זה גם דבר הגיוני. "בלשון בני אדם", ההגדרה אומרת שלכל מרחק שיתנו לי מהגבול, לא חשוב כמה קטן (זהו האפסילון), אני יכול למצוא מקום בסדרה (זה ה- $N_\epsilon $, מקום בסדרה שתלוי במרחק הקטן אפסילון שנתנו לי), שכל האיברים אחרי המקום ההוא (לכל המקומות $ n $ ש- $ n > N_\epsilon $) מקיימים שהמרחק שלהם מהגבול ( $ \|a_n-L\| $ זה המרחק בין האיבר $ a_n $ לגבול $ L $ ) קטן מאפסילון, המרחק ההתחלתי הקטן.
			\end{definition}

	~~לדוגמה,~~ במקרה של $ a_n=\frac{1}{n} $, נרצה להוכיח שזה שואף ל-0. כלומר לכל מרחק מ-0, לא חשוב כמה קטן (אפסילון), אמצא מקום בסדרה שכל האיברים אחריו מקיימים ש- $ \|a_n - 0\| <\epsilon $ (המרחק בין האיבר לגבול, 0, קטן מאפסילון). לדוגמה, אם מישהו יתן לי את המרחק $ ~~epsilon~~=0.0001\ $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין 0 יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?		\begin{example}
			במקרה של $ a_n=\frac{1}{n} $, נרצה להוכיח שזה שואף ל-$0$. כלומר לכל מרחק מ-$0$, לא חשוב כמה קטן (אפסילון), אמצא מקום בסדרה שכל האיברים אחריו מקיימים ש- $ \|a_n - 0\| <\epsilon $ (המרחק בין האיבר לגבול, $0$, קטן מאפסילון). לדוגמה, אם מישהו יתן לי את המרחק
			$\varepsilon=0.0001\ $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין $0$ יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?

	יהי אפסילון גדול מ-0 (מישהו נתן לי מרחק ממש קטן, אולי $\~~epsilon~~=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\~~epsilon~~ $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\~~epsilon~~\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!		יהי אפסילון גדול מ-$0$ (מישהו נתן לי מרחק ממש קטן, אולי $\varepsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\varepsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\varepsilon\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!
			\end{example}

	\subsection{גבולות אינסופיים}		\subsection{גבולות אינסופיים}
	ראינו מה קורה לגבי סדרות ששואפות למספר, אבל לפעמים נוח להגיד שסדרה "שואפת לאינסוף", כמו במקרה של $ 1,2,3,4,\cdots $ . מתי נגיד שזה מתקיים? אם הסדרה מצליחה בסופו של דבר לעקוף כל מספר, לא חשוב כמה הוא גדול. במובנים מתמטיים, זה אומר שלכל $ M $ (מספר גדול) קיים מקום בסדרה $ N $ שכל האיברים אחריו (לכל $ n>N $ ), הסדרה תהיה גדולה יותר מהמספר הגדול $ M $ . בשפת כמתים:		ראינו מה קורה לגבי סדרות ששואפות למספר, אבל לפעמים נוח להגיד שסדרה "שואפת לאינסוף", כמו במקרה של $ 1,2,3,4,\cdots $ . מתי נגיד שזה מתקיים? אם הסדרה מצליחה בסופו של דבר לעקוף כל מספר, לא חשוב כמה הוא גדול. במובנים מתמטיים, זה אומר שלכל $ M $ (מספר גדול) קיים מקום בסדרה $ N $ שכל האיברים אחריו (לכל $ n>N $ ), הסדרה תהיה גדולה יותר מהמספר הגדול $ M $ . בשפת כמתים:
			$$ \lim_{n\to \infty} a_n = \infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n > M $$
	$ \lim_{n\to \infty} a_n = \infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n > M $

	באותו אופן, אפשר להגדיר שאיפה למינוס אינסוף:		באותו אופן, אפשר להגדיר שאיפה למינוס אינסוף:
			$$ \lim_{n\to \infty} a_n = -\infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n < M $$
	$ \lim_{n\to \infty} a_n = -\infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n < M $

Ofekgillon10 ב־15:57, 11 באוגוסט 2014

2014-08-11T15:57:28Z

→ הגרסה הקודמת		גרסה מ־15:57, 11 באוגוסט 2014
שורה 11:		שורה 11:
	הגדרה: שנאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $ ונסמן $ \lim_{n\to\infty} a_n = L $ או $ a_n\underset{n\to \infty}{\longrightarrow}L $ אם $ \forall \epsilon>0 \exists N_\epsilon \in \mathbb{N} \forall n>N_\epsilon:\|a_n-L\|<\epsilon $ . נכון שזה נראה מאוד מפחיד במבט ראשון, אך בעצם זה גם דבר הגיוני. "בלשון בני אדם", ההגדרה אומרת שלכל מרחק שיתנו לי מהגבול, לא חשוב כמה קטן (זהו האפסילון), אני יכול למצוא מקום בסדרה (זה ה- $N_\epsilon $, מקום בסדרה שתלוי במרחק הקטן אפסילון שנתנו לי), שכל האיברים אחרי המקום ההוא (לכל המקומות $ n $ ש- $ n > N_\epsilon $) מקיימים שהמרחק שלהם מהגבול ( $ \|a_n-L\| $ זה המרחק בין האיבר $ a_n $ לגבול $ L $ ) קטן מאפסילון, המרחק ההתחלתי הקטן.		הגדרה: שנאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $ ונסמן $ \lim_{n\to\infty} a_n = L $ או $ a_n\underset{n\to \infty}{\longrightarrow}L $ אם $ \forall \epsilon>0 \exists N_\epsilon \in \mathbb{N} \forall n>N_\epsilon:\|a_n-L\|<\epsilon $ . נכון שזה נראה מאוד מפחיד במבט ראשון, אך בעצם זה גם דבר הגיוני. "בלשון בני אדם", ההגדרה אומרת שלכל מרחק שיתנו לי מהגבול, לא חשוב כמה קטן (זהו האפסילון), אני יכול למצוא מקום בסדרה (זה ה- $N_\epsilon $, מקום בסדרה שתלוי במרחק הקטן אפסילון שנתנו לי), שכל האיברים אחרי המקום ההוא (לכל המקומות $ n $ ש- $ n > N_\epsilon $) מקיימים שהמרחק שלהם מהגבול ( $ \|a_n-L\| $ זה המרחק בין האיבר $ a_n $ לגבול $ L $ ) קטן מאפסילון, המרחק ההתחלתי הקטן.

	לדוגמה, במקרה של $ a_n=\frac{1}{n} $, נרצה להוכיח שזה שואף ל-0. כלומר לכל מרחק מ-0, לא חשוב כמה קטן (אפסילון), אמצא מקום בסדרה שכל האיברים אחריו מקיימים ש- $ \|a_n - 0\| <\epsilon $ (המרחק בין האיבר לגבול, 0, קטן מאפסילון). לדוגמה, אם מישהו יתן לי את המרחק $ epsilon=0.0001 $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין 0 יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?		לדוגמה, במקרה של $ a_n=\frac{1}{n} $, נרצה להוכיח שזה שואף ל-0. כלומר לכל מרחק מ-0, לא חשוב כמה קטן (אפסילון), אמצא מקום בסדרה שכל האיברים אחריו מקיימים ש- $ \|a_n - 0\| <\epsilon $ (המרחק בין האיבר לגבול, 0, קטן מאפסילון). לדוגמה, אם מישהו יתן לי את המרחק $ epsilon=0.0001\ $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין 0 יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?

	יהי אפסילון גדול מ-0 (מישהו נתן לי מרחק ממש קטן, אולי $\epsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\epsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\epsilon\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!		יהי אפסילון גדול מ-0 (מישהו נתן לי מרחק ממש קטן, אולי $\epsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\epsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\epsilon\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!

Ofekgillon10 ב־15:56, 11 באוגוסט 2014

2014-08-11T15:56:55Z

→ הגרסה הקודמת		גרסה מ־15:56, 11 באוגוסט 2014
שורה 1:		שורה 1:
	~~<latex2pdf>~~
	~~<tex>קוד:ראש</tex>~~
	\subsection{הגדרת סדרה}		\subsection{הגדרת סדרה}
	הגדרה: סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התאמה בין המספרים הטבעיים למספרים הממשיים. לכל מספר טבעי מתאימים מספר ממשי. דוגמה לכך תהיה פונקציה שמתאימה את 1 ל-1, את 2 ל-$ \frac{1}{2} $, את 3 ל- $\frac{1}{3} $ ובאופן כללי את $ n $ ל- $\frac{1}{n} $ (נהוג לסמן $ a_n $ במקום $ f(n) $ בהקשר של סדרות ולכן פה $ a_n=\frac{1}{n} $ ). כשאנחנו מתאימים את המספר הטבעי $ n $ למספר ממשי $ a_n $, זה אומר אינטואיטיבית ש- $ a_n $ זה האיבר במקום ה- $ n $. כך לדוגמה את הפונקציה שהתאימה את $ n $ ל- $ \frac{1}{n} $ ניתן לראות בעצם כמה שאנחנו מכירים כסדרה:		הגדרה: סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התאמה בין המספרים הטבעיים למספרים הממשיים. לכל מספר טבעי מתאימים מספר ממשי. דוגמה לכך תהיה פונקציה שמתאימה את 1 ל-1, את 2 ל-$ \frac{1}{2} $, את 3 ל- $\frac{1}{3} $ ובאופן כללי את $ n $ ל- $\frac{1}{n} $ (נהוג לסמן $ a_n $ במקום $ f(n) $ בהקשר של סדרות ולכן פה $ a_n=\frac{1}{n} $ ). כשאנחנו מתאימים את המספר הטבעי $ n $ למספר ממשי $ a_n $, זה אומר אינטואיטיבית ש- $ a_n $ זה האיבר במקום ה- $ n $. כך לדוגמה את הפונקציה שהתאימה את $ n $ ל- $ \frac{1}{n} $ ניתן לראות בעצם כמה שאנחנו מכירים כסדרה:
שורה 17:		שורה 15:
	יהי אפסילון גדול מ-0 (מישהו נתן לי מרחק ממש קטן, אולי $\epsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\epsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\epsilon\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!		יהי אפסילון גדול מ-0 (מישהו נתן לי מרחק ממש קטן, אולי $\epsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ \|a_n-0\|<\epsilon $, אבל זה בדיוק אומר ש- $ \|\frac{1}{n}\|<\epsilon\| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!

			\subsection{גבולות אינסופיים}
			ראינו מה קורה לגבי סדרות ששואפות למספר, אבל לפעמים נוח להגיד שסדרה "שואפת לאינסוף", כמו במקרה של $ 1,2,3,4,\cdots $ . מתי נגיד שזה מתקיים? אם הסדרה מצליחה בסופו של דבר לעקוף כל מספר, לא חשוב כמה הוא גדול. במובנים מתמטיים, זה אומר שלכל $ M $ (מספר גדול) קיים מקום בסדרה $ N $ שכל האיברים אחריו (לכל $ n>N $ ), הסדרה תהיה גדולה יותר מהמספר הגדול $ M $ . בשפת כמתים:

	~~<tex~~>~~קוד~~:~~זנב</tex>~~		$ \lim_{n\to \infty} a_n = \infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n > M $
	<~~/latex2pdf>~~
			באותו אופן, אפשר להגדיר שאיפה למינוס אינסוף:

			$ \lim_{n\to \infty} a_n = -\infty \Leftrightarrow \forall M \exists N\in \mathbb{N} : a_n < M $

Ofekgillon10: יצירת דף עם התוכן " קוד:ראש \subsection{הגדרת סדרה} הגדרה: סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התא..."

2014-08-11T15:50:46Z

יצירת דף עם התוכן "<latex2pdf> <tex>קוד:ראש</tex> \subsection{הגדרת סדרה} הגדרה: סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התא..."

דף חדש

<latex2pdf>
<tex>קוד:ראש</tex>
\subsection{הגדרת סדרה}
הגדרה: סדרה היא פונקציה $ f:\mathbb{N}\to\mathbb{R} $, כלומר התאמה בין המספרים הטבעיים למספרים הממשיים. לכל מספר טבעי מתאימים מספר ממשי. דוגמה לכך תהיה פונקציה שמתאימה את 1 ל-1, את 2 ל-$ \frac{1}{2} $, את 3 ל- $\frac{1}{3} $ ובאופן כללי את $ n $ ל- $\frac{1}{n} $ (נהוג לסמן $ a_n $ במקום $ f(n) $ בהקשר של סדרות ולכן פה $ a_n=\frac{1}{n} $ ). כשאנחנו מתאימים את המספר הטבעי $ n $ למספר ממשי $ a_n $, זה אומר אינטואיטיבית ש- $ a_n $ זה האיבר במקום ה- $ n $. כך לדוגמה את הפונקציה שהתאימה את $ n $ ל- $ \frac{1}{n} $ ניתן לראות בעצם כמה שאנחנו מכירים כסדרה:

$ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $

סימון מקובל לסדרות הוא $ \{a_n\}_{n=1}^\infty $. גם סדרת מספרים אקראית היא סדרה, לא חייבת להיות חוקיות ברורה!

\subsection{הגדרת הגבול}
מתי נאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $? באופן אינטואיטיבי הכוונה ברורה, הסדרה $ 1,\frac12,\frac13,\frac14,\cdots,\frac1n,\cdots $ בבירור שואפת ל-0, הסדרה $ 0,1,0,1,0,1,0,\cdots $ לא מתכנסת לכלום והסדרה $ 100,1000,1,\frac12,\frac13,\frac14,\frac15,\cdots $ עדיין שואפת ל-0 למרות שבהתחלה היא דווקא התרחקה ממנו קצת. אבל עדיין, איך ממש מגדירים את זה מתמטית?

הגדרה: שנאמר שסדרה $ \{a_n\}_{n=1}^\infty $ "שואפת" (או "מתכנסת") למספר $ L $ ונסמן $ \lim_{n\to\infty} a_n = L $ או $ a_n\underset{n\to \infty}{\longrightarrow}L $ אם $ \forall \epsilon>0 \exists N_\epsilon \in \mathbb{N} \forall n>N_\epsilon:|a_n-L|<\epsilon $ . נכון שזה נראה מאוד מפחיד במבט ראשון, אך בעצם זה גם דבר הגיוני. "בלשון בני אדם", ההגדרה אומרת שלכל מרחק שיתנו לי מהגבול, לא חשוב כמה קטן (זהו האפסילון), אני יכול למצוא מקום בסדרה (זה ה- $N_\epsilon $, מקום בסדרה שתלוי במרחק הקטן אפסילון שנתנו לי), שכל האיברים אחרי המקום ההוא (לכל המקומות $ n $ ש- $ n > N_\epsilon $) מקיימים שהמרחק שלהם מהגבול ( $ |a_n-L| $ זה המרחק בין האיבר $ a_n $ לגבול $ L $ ) קטן מאפסילון, המרחק ההתחלתי הקטן.

לדוגמה, במקרה של $ a_n=\frac{1}{n} $, נרצה להוכיח שזה שואף ל-0. כלומר לכל מרחק מ-0, לא חשוב כמה קטן (אפסילון), אמצא מקום בסדרה שכל האיברים אחריו מקיימים ש- $ |a_n - 0| <\epsilon $ (המרחק בין האיבר לגבול, 0, קטן מאפסילון). לדוגמה, אם מישהו יתן לי את המרחק $ epsilon=0.0001 $, אם נסתכל על האיבר במקום ה- $ N=10000 $, המרחק בין האיברים שבאים אחריו לבין 0 יהיה קטן מ- $ 0.0001 $ (אפסילון). איך נוכיח אז שזה עובד לכל אפסילון?

יהי אפסילון גדול מ-0 (מישהו נתן לי מרחק ממש קטן, אולי $\epsilon=0.0000001 $ או אולי $ \epsilon=10^{-10000} $ או אולי אפילו קטן יותר). אנחנו צריכים למצוא $ N $ שלכל $ n>N $, $ |a_n-0|<\epsilon $, אבל זה בדיוק אומר ש- $ |\frac{1}{n}|<\epsilon| $, וזה קורה אם $ n>\frac{1}{\epsilon} $ (העברת אגפים פשוטה). לכן אם ניקח N שגדול מאחד חלקי אפסילון, יתקיים שלכל האיברים אחריו, המרחק ביניהם ל-0 קטן מאפסילון. בדיוק מה שהיינו צריכים להוכיח!

<tex>קוד:זנב</tex>
</latex2pdf>