פונקציית רימן – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
ברנרד רימן ==> ברנהרד רימן
Bustan1498 (שיחה | תרומות)
סידור
שורה 1: שורה 1:
{{פירוש נוסף|נוכחי=פונקציית הסרגל (הנקראת גם פונקציית רימן)|אחר=פונקציית זטא של רימן|ראו=[[פונקציית זטא של רימן]]}}
{{פירוש נוסף|נוכחי=פונקציית הסרגל (הנקראת גם פונקציית רימן)|אחר=פונקציית זטא של רימן|ראו=[[פונקציית זטא של רימן]]}}


[[תמונה:Thomae function (0,1).svg|200px|שמאל|ממוזער|פונקציית רימן בקטע (0,1)]]
[[תמונה:Thomae function (0,1).svg|200px|שמאל|ממוזער|פונקציית רימן בקטע <math>(0,1)</math>]]


'''פונקציית רימן''' (על שמו של ה[[מתמטיקאי]] הגרמני [[ברנהרד רימן]]) (או '''פונקציית הסרגל''') היא [[פונקציה ממשית]] שקבוצת נקודות אי-הרציפות שלה כוללת בדיוק את המספרים הרציונליים. הפונקציה מוגדרת בנקודות הרציונליות לפי <math>\ f\left(\frac{p}{q}\right) = \frac{1}{q}</math> (כאשר ה[[שבר מצומצם]], כלומר p,q [[מספרים זרים|זרים זה לזה]]), ומתאפסת בנקודות שאינן רציונליות. (ב-<math>\,x=0</math> ערך הפונקציה הוא 1, כמו בכל מספר שלם).
'''פונקציית רימן''' (על שמו של ה[[מתמטיקאי]] הגרמני [[ברנהרד רימן]]) (או '''פונקציית הסרגל''') היא [[פונקציה ממשית]] שקבוצת נקודות אי-הרציפות שלה כוללת בדיוק את המספרים הרציונליים. הפונקציה מוגדרת בנקודות הרציונליות לפי <math>\ f\left(\frac{p}{q}\right) = \frac{1}{q}</math> (כאשר ה[[שבר מצומצם]], כלומר <math>p,q</math> [[מספרים זרים|זרים זה לזה]]), ומתאפסת בנקודות שאינן רציונליות. (ב-<math>x=0</math> ערך הפונקציה הוא <math>1</math>, כמו בכל מספר שלם).


הפונקציה מוכרת גם בשמות "פונקציית הסרגל", "פונקציית הפופקורן" ופונקציית תומה (Thomae's function; על שם המתמטיקאי הגרמני [[קארל יוהנס תומה]]).
הפונקציה מוכרת גם בשמות "פונקציית הסרגל", "פונקציית הפופקורן" ופונקציית תומה (Thomae's function; על שם המתמטיקאי הגרמני [[קארל יוהנס תומה]]).
שורה 14: שורה 14:


===פונקציה נוספת עם אותן נקודות אי-רציפות===
===פונקציה נוספת עם אותן נקודות אי-רציפות===
נסדר את המספרים הרציונליים על הישר בסדרה <math>\{r_n\}_{n=1}^\infty </math>, ונגדיר <math>g:\mathbb{R}\to\mathbb{R}</math> לפי <math>g(x)=\sum_{\{n|r_n<x\}}\frac{1}{2^n}</math>. כמו פונקציית רימן, הפונקציה המתקבלת רציפה בכל נקודה אי-רציונלית, ואינה רציפה בכל נקודה רציונלית. בנוסף, זוהי פונקציית מונוטונית עולה על הישר.
נסדר את המספרים הרציונליים על הישר בסדרה <math>\{r_n\}_{n=1}^\infty </math>, ונגדיר <math>g \colon \mathbb{R}\to\mathbb{R}</math> לפי <math>g(x)=\sum_{\{n|r_n<x\}}\frac{1}{2^n}</math>. כמו פונקציית רימן, הפונקציה המתקבלת רציפה בכל נקודה אי-רציונלית, ואינה רציפה בכל נקודה רציונלית. בנוסף, זוהי פונקציית מונוטונית עולה על הישר.


===קבוצת נקודות אי-הרציפות של פונקציה===
===קבוצת נקודות אי-הרציפות של פונקציה===


קבוצת נקודות אי-הרציפות של פונקציה ממשית היא קבוצת <math>\ F_{\sigma}</math> ( [[איחוד (מתמטיקה)|איחוד]] [[קבוצה בת מנייה|בן מנייה]] של [[קבוצה סגורה|קבוצות סגורות]]). מכיוון שקבוצת המספרים האי-רציונליים אינה כזאת, אין פונקציה שנקודות אי-הרציפות שלה הן הנקודות האי-רציונליות.
קבוצת נקודות אי-הרציפות של פונקציה ממשית היא קבוצת <math>F_{\sigma}</math> ( [[איחוד (מתמטיקה)|איחוד]] [[קבוצה בת מנייה|בן מנייה]] של [[קבוצה סגורה|קבוצות סגורות]]). מכיוון שקבוצת המספרים האי-רציונליים אינה כזאת, אין פונקציה שנקודות אי-הרציפות שלה הן הנקודות האי-רציונליות.


==הוכחה==
==הוכחה==


נוכיח שנקודות אי-הרציפות של הפונקציה הן כאמור לעיל. יהי x מספר רציונלי, אז <math>\ f(x) \neq 0</math>, אבל יש סדרה של מספרים אי-רציונליים המתכנסת ל-x, ועליהם הפונקציה מתאפסת לפי ההגדרה. מכאן ש-x היא נקודת אי-רציפות. כעת נניח ש-x אי-רציונלי, ויהי <math>\ \epsilon>0</math>. בקטע באורך יחידה סביב x יש רק מספר סופי של נקודות שבהן <math>\ f(t)\geq \epsilon</math> (משום שתנאי זה חוסם את המכנה), ולכן יש קטע סביב x שבו <math>\ |f(t)-f(x)| = f(t)<\epsilon</math> {{רווח|6}} ומכאן ש-<math>\ f</math> רציפה בנקודה x.
נוכיח שנקודות אי-הרציפות של הפונקציה הן כאמור לעיל. יהי <math>x</math> מספר רציונלי, אז <math>f(x) \neq 0</math>, אבל יש סדרה של מספרים אי-רציונליים המתכנסת ל-<math>x</math>, ועליהם הפונקציה מתאפסת לפי ההגדרה. מכאן ש-<math>x</math> היא נקודת אי-רציפות. כעת נניח ש-<math>x</math> אי-רציונלי, ויהי <math>\ \epsilon>0</math>. בקטע באורך יחידה סביב <math>x</math> יש רק מספר סופי של נקודות שבהן <math>\ f(t)\geq \epsilon</math> (משום שתנאי זה חוסם את המכנה), ולכן יש קטע סביב <math>x</math> שבו <math>|f(t)-f(x)| = f(t)<\epsilon</math> ומכאן ש-<math>f</math> רציפה בנקודה x.


==ראו גם==
==ראו גם==

גרסה מ־01:55, 11 באוגוסט 2020

פונקציית רימן בקטע

פונקציית רימן (על שמו של המתמטיקאי הגרמני ברנהרד רימן) (או פונקציית הסרגל) היא פונקציה ממשית שקבוצת נקודות אי-הרציפות שלה כוללת בדיוק את המספרים הרציונליים. הפונקציה מוגדרת בנקודות הרציונליות לפי (כאשר השבר מצומצם, כלומר זרים זה לזה), ומתאפסת בנקודות שאינן רציונליות. (ב- ערך הפונקציה הוא , כמו בכל מספר שלם).

הפונקציה מוכרת גם בשמות "פונקציית הסרגל", "פונקציית הפופקורן" ופונקציית תומה (Thomae's function; על שם המתמטיקאי הגרמני קארל יוהנס תומה).

נקודות אי-הרציפות של הפונקציה

הפונקציה רציפה בכל נקודה אי-רציונלית, ואינה רציפה באף נקודה רציונלית. מכאן שקבוצת נקודות אי-הרציפות של הפונקציה היא צפופה, אך בעלת מידה אפס.

הפונקציה אינטגרבילית לפי רימן (עם אינטגרל אפס) בכל קטע חסום, אך אינה רציפה ואינה מונוטונית באף קטע.

פונקציה נוספת עם אותן נקודות אי-רציפות

נסדר את המספרים הרציונליים על הישר בסדרה , ונגדיר לפי . כמו פונקציית רימן, הפונקציה המתקבלת רציפה בכל נקודה אי-רציונלית, ואינה רציפה בכל נקודה רציונלית. בנוסף, זוהי פונקציית מונוטונית עולה על הישר.

קבוצת נקודות אי-הרציפות של פונקציה

קבוצת נקודות אי-הרציפות של פונקציה ממשית היא קבוצת ( איחוד בן מנייה של קבוצות סגורות). מכיוון שקבוצת המספרים האי-רציונליים אינה כזאת, אין פונקציה שנקודות אי-הרציפות שלה הן הנקודות האי-רציונליות.

הוכחה

נוכיח שנקודות אי-הרציפות של הפונקציה הן כאמור לעיל. יהי מספר רציונלי, אז , אבל יש סדרה של מספרים אי-רציונליים המתכנסת ל-, ועליהם הפונקציה מתאפסת לפי ההגדרה. מכאן ש- היא נקודת אי-רציפות. כעת נניח ש- אי-רציונלי, ויהי . בקטע באורך יחידה סביב יש רק מספר סופי של נקודות שבהן (משום שתנאי זה חוסם את המכנה), ולכן יש קטע סביב שבו ומכאן ש- רציפה בנקודה x.

ראו גם

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא פונקציית רימן בוויקישיתוף