בגאומטריה, קטע הוא קבוצת כל הנקודות על ישר אשר נמצאות בין שתי נקודות שונות; נקודות אלו נקראת קצות הקטע או נקודות הקצה של הקטע. כאשר הקטע מכיל את שתי נקודות הקצה שלו הוא נקרא קטע סגור, וכאשר אינו מכיל אותן הוא נקרא קטע פתוח. אם הוא מכיל בדיוק נקודת קצה אחת הוא נקרא קטע סגור למחצה, או פתוח למחצה.
במובן כללי יותר, גם הקבוצה הריקה, נקודה בודדת, קרן וישר הם קטעים.
במקרה שהמרחב הוא הישר הממשי אפשר לתאר קטע כקבוצה המכילה כל מספר ממשי בין שני מספרים נתונים, ואפשר שגם את אחד הקצוות או את שניהם. כמו כן ייתכן שבאחד הצדדים או בשניהם אין קצה. לדוגמה, הקטע שמסומן מכיל את כל המספרים הממשיים בין 10 ל-20, לא כולל 10 ו-20. אולם הקטע מכיל כל מספר בין 10 ל-20, וגם את המספרים 10 ו-20. לעיתים מסמנים קצה פתוח של קטע בסוגר מרובע הפוך, במקום בסוגר עגול, כדי למנוע בלבול עם סימונים אחרים כגון זוג סדור . כך למשל, הקטע הפתוח בין 10 ל-20 יסומן .
בהכללה, קטע הוא תת קבוצה של קבוצה עם יחס סדר מלא , המקיימת שלכל ו-, אם אזי . במקרה של יחס הסדר על הממשיים ההגדרה שקולה להגדרה הרגילה של קטע.
קטעים ממשיים
מקרה פרטי חשוב הוא כאשר , קבוצת המספרים הממשיים.
קטעים (בהגדרה המוכללת) ב- נחלקים לאחד עשר הסוגים הבאים (כש- ו- הם מספרים ממשיים, ):
- (נקרא "קטע פתוח")
- (נקרא "קטע סגור")
- (נקראת "קרן פתוחה")
- (נקראת "קרן סגורה")
- (נקראת "קרן פתוחה")
- (נקראת "קרן סגורה")
- , הישר הממשי כולו
- , יחידון
- , הקבוצה הריקה
ו-, היכן שהן מופיעות לעיל, נקראות נקודות קצה או פשוט קצות הקטע. סוגר מרובע מציין שנקודת הקצה שייכת לקטע, וסוגר עגול מציין שלא. למידע נוסף על הסימונים האלה, ראו תורת הקבוצות הנאיבית.
קטעים מהסוגים 1, 5, 7, 9 ו-11 לעיל נקראים קטעים פתוחים (מכיוון שהם קבוצות פתוחות) והקטעים 2, 6, 8, 9, 10 ו-11 נקראים קטעים סגורים (מכיוון שהם קבוצות סגורות). הקטעים 9 ו-11 הם אפוא גם פתוחים וגם סגורים (בכל מרחב קשיר וכך גם ב-, קיימות שתי קבוצות שהן גם פתוחות וגם סגורות).
הקטעים 1, 2, 3, 4, 10 ו-11 נקראים קטעים חסומים והיתר הם קטעים לא חסומים.
האורך של כל אחד מהקטעים החסומים 1, 2, 3 ו-4 הוא .
לקטעים תפקיד חשוב בתורת האינטגרציה, מכיוון שהם הקבוצות הפשוטות ביותר שניתן להגדיר להן בקלות "גודל" או "מידה" או "אורך". את מושג המידה ניתן להרחיב לקבוצות מורכבות יותר, ולקבל את מידת בורל ולבסוף את מידת לבג.
הקטעים מהווים את אוסף תת-הקבוצות הקשירות של הממשיים, וכן את אוסף תת-הקבוצות הקמורות של הממשיים. מכך שתמונה רציפה של קבוצה קשירה היא קשירה נובע שאם היא פונקציה רציפה ו- הוא קטע, אזי התמונה גם היא קטע. זהו אחד הניסוחים של משפט ערך הביניים.
ראו גם
קישורים חיצוניים