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