הלמה של קנסטר-קורטובסקי-מזורקביץ'

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

הטענה

יהי $ \ \Delta =\langle p_{0},p_{1},\dots ,p_{n}\rangle $ סימפלקס n-ממדי. תהיינה $ \ F_{0},\dots ,F_{n} $ קבוצות סגורות, כך שכל פאה $ \ \langle e_{i_{1}},\dots ,e_{i_{k}}\rangle $ מכוסה על ידי איחוד הקבוצות $ \ F_{i_{1}}\cup \cdots \cup F_{i_{k}} $ (ובפרט הסיפלקס כולו מכוסה על ידי איחוד כל הקבוצות). אז לקבוצות $ \ F_{0},\dots ,F_{n} $ יש נקודה משותפת.

לדוגמה, בממד n=1 הטענה היא שאם שתי קבוצות סגורות מכסות (יחד) קטע, באופן שכל אחת מהן מכסה אחד מקצותיו, אז יש להן נקודה משותפת; טענה זו שקולה לכך שהקטע הוא קבוצה קשירה. בממד n=2, הטענה היא שאם שלוש קבוצות סגורות מכסות משולש באופן שכל אחת מהן מכסה את הקודקוד המתאים לה וכל שתיים מהן מכסות (יחד) את הצלע המתאימה להן, אז יש להן נקודה משותפת, וכן הלאה.

הוכחה

נניח בשלילה שתנאי הלמה מתקיימים וחיתוך הקבוצות ריק. נתבונן במשלימים $ \ G_{i}=\Delta -F_{i} $. מן ההנחות נובע ש- $ \{G_{i}\}_{i=0}^{n} $ היא כיסוי פתוח של הסימפלקס, שהוא קבוצה קומפקטית. לכן יש לו מספר לבג $ \ \epsilon >0 $ (ע"ש). נסתכל בחלוקה סימפליציאלית של $ \ \Delta $, שקוטרו של כל סימפלקס בה קטן מ-$ \ \epsilon $. על החלוקה הזו נגדיר פונקציית קודקודים $ \ m $, באופן הבא: אם $ x\in \langle p_{i_{0}},...,p_{i_{k}}\rangle $ קודקוד בחלוקה, אז על-פי תנאי הכיסוי יש $ \ j\in \{i_{1},\dots ,i_{k}\} $ כך ש- $ \ x\in F_{j} $, ואז נגדיר $ \ m(x)=j $; בפרט $ x\in F_{m(x)} $ לכל קודקוד $ \ x $ של החלוקה. פונקציה זו מקיימת את תנאי הלמה של שפרנר, ולכן קיים בחלוקה הסימפליציאלית סימפלקס $ \ \langle x_{0},...,x_{n}\rangle $, כך שלכל אינדקס $ \,i $ מתקיים $ x_{i}\in F_{i} $. לפי בחירת $ \ \epsilon $, קיים $ \,G_{i_{0}} $ כך ש $ \,\langle x_{0},...,x_{n}\rangle \subset G_{i_{0}} $, אבל אז $ \langle x_{0},...,x_{n}\rangle \cap F_{i_{0}}=\emptyset $, וזו סתירה למסקנה ש-$ x_{i_{0}}\in F_{i_{0}} $.

ראו גם