פורטל:מתמטיקה/משפטים והשערות/18
מראה
עקרון שובך היונים, או בשמו השני: "עקרון דיריכלה", הוא עיקרון מתמטי הקובע כי אם יש m תאים בשובך שלתוכם יש להכניס m+1 יונים, קיים בהכרח תא אחד שבו תימצאנה לפחות שתי יונים. לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות בתחום הקומבינטוריקה, וניתן להוכיח באמצעותו תוצאות רבות, מעניינות ובלתי טריוויאליות כלל.
בניסוחו הפורמלי בתורת הקבוצות, המשפט קובע שאם עוצמת הקבוצה A גדולה ממש מעוצמת הקבוצה B, אזי לא קיימת פונקציה חד חד ערכית מ-A ל-B.
(ראו גם: חידה שבפתרונה נעשה שימוש בעקרון שובך היונים.)