הצגת המקור של הדף "קטע (מתמטיקה)"

{{מפנה|קטע}}
ב[[גאומטריה]], '''[[קטע (גאומטריה)|קטע]]''' הוא קבוצת כל [[נקודה (גאומטריה)|הנקודות]] על [[ישר]] אשר נמצאות בין שתי נקודות שונות; נקודות אלו נקראת קצות הקטע או נקודות הקצה של הקטע. כאשר הקטע מכיל את שתי נקודות הקצה שלו הוא נקרא '''קטע סגור''', וכאשר אינו מכיל אותן הוא נקרא '''קטע פתוח'''. אם הוא מכיל בדיוק נקודת קצה אחת הוא נקרא קטע סגור למחצה, או פתוח למחצה.

במובן כללי יותר, גם [[הקבוצה הריקה]], נקודה בודדת, [[ישר#מושגים גאומטריים המתבססים על הישר|קרן]] ו[[ישר]] הם קטעים.

במקרה שהמרחב הוא [[הישר הממשי]] אפשר לתאר קטע כקבוצה המכילה כל [[מספר ממשי]] בין שני מספרים נתונים, ואפשר שגם את אחד הקצוות או את שניהם. כמו כן ייתכן שבאחד הצדדים או בשניהם אין קצה. לדוגמה, הקטע שמסומן <math>\left(10,20\right)</math> מכיל את כל המספרים הממשיים בין 10 ל-20, לא כולל 10 ו-20. אולם הקטע <math>\left[10,20\right]</math> מכיל כל מספר בין 10 ל-20, '''וגם''' את המספרים 10 ו-20. לעיתים מסמנים קצה פתוח של קטע בסוגר מרובע הפוך, במקום בסוגר עגול, כדי למנוע בלבול עם סימונים אחרים כגון [[זוג סדור]] <math>(a,b) \in A \times B</math>. כך למשל, הקטע הפתוח בין 10 ל-20 יסומן <math>]10,20[ \ \equiv (10,20)</math>.

בהכללה, '''קטע''' הוא [[תת קבוצה]] <math>\,S</math> של קבוצה עם [[סדר מלא|יחס סדר מלא]] <math>\,T</math>, המקיימת שלכל <math>x,y\in S</math> ו-<math>z\in T</math>, אם <math>\,x<z<y</math> אזי <math>z\in S</math>. במקרה של יחס הסדר על הממשיים ההגדרה שקולה להגדרה הרגילה של קטע. 

==קטעים ממשיים==
מקרה פרטי חשוב הוא כאשר <math>T=\mathbb R</math>, קבוצת המספרים הממשיים.

קטעים (בהגדרה המוכללת) ב-<math>\mathbb R</math> נחלקים לאחד עשר הסוגים הבאים (כש-<math>\,a</math> ו-<math>\,b</math> הם מספרים ממשיים, <math>\,a \le b</math>):
# <math>(a,b) =\left\{ x | a < x < b \right\}</math> (נקרא "'''קטע פתוח'''")
# <math>[a,b] = \left\{ x | a \le x \le b \right\}</math> (נקרא "'''קטע סגור'''")
# <math>[a,b) = \left\{ x | a \le x < b \right\}</math>
# <math>(a,b] = \left\{ x | a < x \le b \right\}</math>
# <math>(a,\infty) = \left\{ x | x > a \right\}</math> (נקראת "קרן פתוחה")
# <math>[a,\infty) = \left\{ x | x \ge a \right\}</math> (נקראת "קרן סגורה")
# <math>(-\infty,b) = \left\{ x | x < b \right\}</math> (נקראת "קרן פתוחה")
# <math>(-\infty,b] = \left\{ x | x \le b \right\}</math> (נקראת "קרן סגורה")
# <math>\left(-\infty,\infty\right) = \mathbb R</math>, [[הישר הממשי]] כולו
# <math>[a,a]=\left\{a\right\}</math>, [[יחידון]]
# <math>(a,a)=\emptyset</math>, [[הקבוצה הריקה]]

<math>\,a</math> ו-<math>\,b</math>, היכן שהן מופיעות לעיל, נקראות '''נקודות קצה''' או פשוט '''קצות הקטע'''. סוגר מרובע מציין שנקודת הקצה שייכת לקטע, וסוגר עגול מציין שלא. למידע נוסף על הסימונים האלה, ראו [[תורת הקבוצות הנאיבית]].

קטעים מהסוגים 1, 5, 7, 9 ו-11 לעיל נקראים '''קטעים פתוחים''' (מכיוון שהם [[קבוצה פתוחה|קבוצות פתוחות]]) והקטעים 2, 6, 8, 9, 10 ו-11 נקראים '''קטעים סגורים''' (מכיוון שהם [[קבוצה סגורה|קבוצות סגורות]]). הקטעים 9 ו-11 הם אפוא גם פתוחים וגם סגורים (בכל [[מרחב קשיר]] וכך גם ב-<math>\mathbb R</math>, קיימות שתי קבוצות שהן גם פתוחות וגם סגורות).

הקטעים 1, 2, 3, 4, 10 ו-11 נקראים '''קטעים חסומים''' והיתר הם '''קטעים לא חסומים'''.

ה'''אורך''' של כל אחד מהקטעים החסומים 1, 2, 3 ו-4 הוא <math>\ l(I) = b-a</math>.

לקטעים תפקיד חשוב בתורת ה[[אינטגרציה (מתמטיקה)|אינטגרציה]], מכיוון שהם הקבוצות הפשוטות ביותר שניתן להגדיר להן בקלות "גודל" או "[[מידה (מתמטיקה)|מידה]]" או "[[אורך]]". את מושג המידה ניתן להרחיב לקבוצות מורכבות יותר, ולקבל את [[מידת בורל]] ולבסוף את [[מידת לבג]].

הקטעים מהווים את אוסף תת-הקבוצות ה[[קשירות (טופולוגיה)|קשירות]] של הממשיים, וכן את אוסף תת-הקבוצות ה[[קמירות|קמורות]] של הממשיים. מכך שתמונה [[רציפות|רציפה]] של קבוצה קשירה היא קשירה נובע שאם <math>f:\mathbb R \to \mathbb R</math> היא [[פונקציה]] רציפה ו-<math>\,I</math> הוא קטע, אזי התמונה <math>f\left(I\right)</math> גם היא קטע. זהו אחד הניסוחים של [[משפט ערך הביניים]].

==ראו גם==
* [[קטע (גאומטריה)]]

==קישורים חיצוניים==
* [http://www.education.gov.il/tochniyot_limudim/math/karnaim.htm הסבר על קטעים] - מתוך מילון המונחים בגאומטריה של משרד החינוך.
* {{MathWorld}}

[[קטגוריה:טופולוגיה]]

[[קטגוריה:גאומטריה]]
[[קטגוריה:מספרים ממשיים]]