כל מה שרצית לדעת על הלמה של אוריסון:
הלמה של אוריסון היא תוצאה בסיסית בטופולוגיה קבוצתית, שהוכחה על ידי המתמטיקאי הרוסי-יהודי פאבל סמואילוביץ' אוריסון, ממייסדי הענף.
הלמה, אותה הוכיח אוריסון בתחילת שנות העשרים של המאה העשרים, נחשבת לפעמים לתוצאה הלא טריוויאלית הראשונה בתחום.
הלמה של אוריסון קובעת שבמרחב נורמלי, אפשר להפריד בין קבוצות סגורות באמצעות פונקציה רציפה, כלומר: לכל שתי קבוצות סגורות וזרות A ו-B, קיימת פונקציה רציפה f מן המרחב כולו לקטע , כך ש- ו- .
הלמה אינה מבטיחה הפרדה מדויקת בין הקבוצות – זוהי תכונה המאפיינת מרחבים נורמליים באופן מושלם, ואינה מתקיימת בכל מרחב נורמלי.
כל מרחב מטרי, וגם כל מרחב האוסדורף קומפקטי הם מרחבים נורמליים, וכך הלמה זוכה לשימושים רבים בטופולוגיה.
אחד השימושים החשובים שלה הוא ההכללה הקרויה משפט טיטצה.