משפט בנך-אלאוגלו

משפט בנך-אלאוגלו אומר שכדור מיוחד של פונקציות הוא קומפקטי בטופולוגיה חלשה-*. קומפקטי פה אומר שאפשר לכסות אותו עם מעט חלקים. יהי X מרחב נורמי, ו-X* הוא המרחב של כל הפונקציות הליניאריות והרציפות על X. זו קוראים לה המרחב הדואלי. לכל נקודה x ב-X יש בדיקה שמודדת כל פונקציה f על ידי הערך f(x). הטופולוגי...