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

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

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

תכונות

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

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

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

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

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

אי-רציפות לעומת אי-קיום הגבולות 

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

ראו גם
 פונקציית רימן ("פונקציית הסרגל") 
 פונקציית ויירשטראס

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

הערות שוליים 

דיריכלה
דיריכלה