Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
עקרון שובך היונים, או בשמו השני: "עקרון דיריכלה", הוא עיקרון מתמטי הקובע כי אם יש m תאים בשובך שלתוכם יש להכניס m+1 יונים, קיים בהכרח תא אחד שבו תימצאנה לפחות שתי יונים. לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות בתחום הקומבינטוריקה, וניתן להוכיח באמצעותו תוצאות רבות, מעניינות ובלתי טריוויאליות כלל.
בניסוחו הפורמלי בתורת הקבוצות, המשפט קובע שאם עוצמת הקבוצה A גדולה ממש מעוצמת הקבוצה B, אזי לא קיימת פונקציה חד חד ערכית מ-A ל-B.
(ראו גם: חידה שבפתרונה נעשה שימוש בעקרון שובך היונים.)
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.