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