הלמה של שפרנר

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

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

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

הכללה 
קיימת הכללה של הלמה למימד  טבעי כלשהו עבור צביעה של קודקודי טריאנגולציה של סימפלקס  ממדי. במקרה כזה, צביעת שפרנר (Sperner's Coloring) מוגדרת כצביעה של קודקודי טריאנגולציה מסוימת של הסימפלקס ה  ממדי, כך ש

 נקודות השייכות לפאות החיצוניות של הסימפלקס צבועות בצבעים שונים. כלומר, אם הסימפלקס הוא קמור (convex hull) של הנקודות , ניתן לומר שהצבע של  הוא 
 נקודות השייכות לתת סימפלקס מממד ,  כלומר נקודות הנמצאות בתת-סימפלקס שהוא הקמור של חלק מן הנקודות , נאמר  צבוע אך ורק על ידי הצבעים  (זה האנלוג הרב ממדי לדרישה במימד 3 שכל נקודה הנמצאת באמצע צלע חיצונית צבועה בהתאם לאחד משני הקצוות).

במקרה כזה, קובעת למת שפרנר שמספר הסימפלקסים שצבועים בכל הצבעים (multicolored) הוא אי זוגי.

הוכחה
נסמן ב  את מספר המשולשים הקטנים הצבעוניים. נוכיח ש  אי־זוגי ובפרט אינו 0.
נסתכל על קבוצת המשולשים הקטנים  הכולל גם את המשולש המשלים של המשולש הגדול כאשר פורסים אותו על ספירה וקדקודיו הם , נכנה שני משולשים מקבוצה זו "חברים" אם הם שכנים (כלומר עם צלע משותפת) וקודקודיהם המשותפים צבועים בשני הצבעים .

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

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

לקריאה נוספת
 Noam Nisan, Tim Roughgarden, Eva Tardos, Vijay V. Vazirani, Algorithmic Game Theory, New York: Cambridge University Press, 2007. 
 K.T. Atanassov On Sperner's Lemma ,Stud. Sci. Math. Hungarica (volume=32, pages=71–74

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

הערות שוליים

חישוביות
סקרף
שפרנר