פונקציית דיריכלה

פונקציית דיריכלה היא פונקציה ממשית המקבלת את הערך 1 עבור כל מספר רציונלי ואת הערך 0 עבור כל מספר אי רציונלי. כלומר זוהי הפונקציה המציינת של קבוצת המספרים הרציונלים על הישר:

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

תכונות

פונקציית דיריכלה מוגדרת על כל הישר הממשי, והיא מתאפיינת בתכונות מעניינות:

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

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

הווריאציה של פונקציית דיריכלה מספקת דוגמה לפונקציה שרציפה בנקודה 0 בלבד, והווריאציה מספקת דוגמה לפונקציה גזירה בנקודה 0 בלבד.

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

לכן פונקציית דירכלה היא פונקציית בייר מסדר שני.

Other Languages