הצגת המקור של הדף "הוכחות מתמטיות/מתמטיקה בדידה/משפט החתונה של הול"

בגרף דו-צדדי <math>\displaystyle G=(V_1,V_2,E)</math> בו <math>\displaystyle |V_1| = |V_2|</math> יש זיווג מושלם אם ורק אם לכל קבוצה <math>S\subseteq V_1</math>
מתקיים <math>\displaystyle |\Gamma(S)| \ge |S|</math>

===הוכחה===
כיוון אחד: הוכחת הכרחיות. נוכיח שאם קיים זיווג מושלם בהכרח מתקיים התנאי <math>\displaystyle |\Gamma(S)| \ge |S|</math>
זיווג מושלם של קבוצה אחת לשנייה מקביל להתאמה חד חד ערכית ועל.
לא ניתן לעשות התאמה חד חד ערכית אם קיימת תת קבוצה שמספר האיברים בתמונתה קטן ממספר איבריה.
לכן אם קיים זיווג מושלם ודאי שיתקיים <math>\displaystyle |\Gamma(S)| \ge |S|</math> כאשר  <math>\Gamma(S)</math> היא קבוצת השכנים של של S


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

בסיס האינדוקציה: אם <math>\displaystyle |V_1| = |V_2| = n = 1</math> 
קיימים שני קודקודים ובינהם צלע - הטענה מתקיימת.

נניח נכונות עבור <math>\displaystyle |V_1| = n-1</math> ונוכיח עבור <math>\displaystyle |V_1'| = n</math>.

תהא קבוצה חלקית ממש:
<math>\displaystyle S \subseteq V_1'</math>.
אם התנאי החזק יותר מתקיים, אזי מתקיים לכל תת קבוצה:
<math>\displaystyle |\Gamma(S)| \ge |S| + 1</math>

ולכן קיים קודקוד  <math>x \in V_1'</math> שיש לו שני שכנים: 
<math>\displaystyle \Gamma(x)={y_1,y_2} </math>.

נבחר באופן שרירותי אחד מהקודקודים <math>\displaystyle {y_1,y_2}</math> ונסיר את הקודקודים 
<math>\displaystyle {x,y_1}</math>
ואת הצלעות החלות בהם, כך שנוצר גרף חדש: <math>\hat{G} = G \setminus {\{x,y_1\}}</math>.

כמובן שלכל תת קבוצה <math> S \subset V_1\setminus{{x}}  </math>
מתקיים <math>\displaystyle |\Gamma(S)| \ge |S|</math>
ולפי הנחת האינדוקציה, זהו גרף עם זיווג מושלם. נוסיף לו את הזוג <math> x,y_1 </math> 
וזהו זיווג מושלם ב <math> \displaystyle G</math>.

אם התנאי החזק לא מתקיים הרי שקיימת תת קבוצה חלקית ממש כך ש 
<math>\displaystyle |\Gamma(S)| = |S|</math>

(אם הקבוצה לא חלקית, לכל קודקוד ב <math>V_1</math> מתאים קודקוד יחיד ב<math>V_2</math>, ואז המשפט מתקיים).

נתבונן בתת הגרף <math> S \cup \Gamma(S)</math>: הוא עומד בתנאי משפט הול, ולפי הנחת האינדוקציה מכיל זיווג מושלם.

נותר לזווג את <math>V_1 \setminus S</math> ל- <math> V_2 \setminus \Gamma(S)</math>; ומאחר שמתקיים <math>\displaystyle |\Gamma(S)| = |S|</math>
הרי שקבוצת הקודקודים הנותרת מקיימת את התנאי החזק יותר.
[[קטגוריה:הוכחות מתמטיות (ספר)]]