הצגת המקור של הדף "קבוצה פתוחה"

ב[[טופולוגיה]] ובענפים אחרים הקרובים לה במתמטיקה, [[קבוצה (מתמטיקה)|קבוצה]] <math>U</math> נקראת '''קבוצה פתוחה''' אם לכל נקודה בקבוצה קיים <math>r>0</math> כך שכל הנקודות במרחב שמרחקן מהנקודה הוא לכל היותר <math>r</math> - שייכות גם כן ל־<math>U</math>.

לדוגמה, ניתן להתבונן ב[[קטע פתוח|קטע הפתוח]] <math>(0,1)</math> המכיל את כל [[המספרים הממשיים]] שבין <math>0</math> ל-<math>1</math>. מכיוון שכל נקודה בקטע זה שונה מ-<math>0</math> ומ-<math>1</math>, המרחק מכל נקודה לקצה הוא חיובי - ולכן קיימת לנקודה סביבה שכולה מוכלת בקטע. באופן אינטואיטיבי, לכל נקודה בקטע ניתן לזוז מעט בכל כיוון על הישר מבלי להגיע לשפתו, לכן הקטע הפתוח <math>(0,1)</math> מהווה קבוצה פתוחה. לעומת זאת הקטע <math>(0,1]</math> אינו פתוח, כי לנקודה <math>1</math> אין סביבה בשום גודל שכולה מוכלת בקטע (אם ניקח את <math>x=1</math> ונזוז אפילו מעט בכיוון החיובי, נימצא מחוץ לקטע הנתון).

==הגדרות==

המושג 'קבוצה פתוחה' ניתן להבעה פורמלית ברמות שונות של הכללה.

ב[[אנליזה מתמטית]], כאשר עוסקים ב[[מרחב אוקלידי|מרחב האוקלידי]] ה־<math>n</math> ממדי, קבוצה <math>U</math> היא פתוחה אם לכל נקודה <math>x</math> השייכת לה קיים <math>r>0</math> כך שכל הנקודות במרחב שמרחקן מ־<math>x</math> הוא לכל היותר <math>r</math> שייכות גם כן ל־<math>U</math>.

כאשר עוסקים ב[[מרחב מטרי|מרחבים מטריים]] ניתן להכליל את ההגדרה כך: קבוצה <math>U</math> היא פתוחה אם לכל <math>x\isin U</math> קיים [[כדור פתוח]] <math>B(x,r)</math> שמרכזו <math>x</math> ורדיוסו <math>r</math> כך ש־<math>B\left(x,r\right)\subseteq U</math>.

ניתן גם להגדיר קבוצה פתוחה בעזרת שימוש במושג ה[[פנים (טופולוגיה)|פנים]]: קבוצה פתוחה היא קבוצה ששווה לפנים שלה.

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

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

==הערות==

ה[[חיתוך (מתמטיקה)|חיתוך]] של מספר אינסופי של קבוצות פתוחות לא בהכרח קבוצה פתוחה. לדוגמה, החיתוך האינסופי של הקטעים הפתוחים: <math>\left(1-\frac{1}{n},1+\frac{1}{n}\right)</math> בממשיים הוא <math>\{1\}</math>, וזוהי קבוצה לא פתוחה עם המטריקה הרגילה.

נשים לב ש'פתיחות' קבוצה מסוימת תלויה במרחב בו היא מוגדרת. למשל, אם <math>U</math> מוגדרת כקבוצת ה[[מספר רציונלי|מספרים הרציונליים]] בקטע <math>(0,1)</math> אז <math>U</math> פתוחה בקבוצת המספרים הרציונליים (דהיינו, ב[[טופולוגיה מושרית|טופולוגיה המושרית]] עליהם מהטופולוגיה הסטנדרטית על הממשיים). זאת מכיוון שבמקרה זה אין מספרים [[מספר אי רציונלי|אי רציונליים]] אליהם אנו יכולים לזוז ולכן התזוזה הקטנה ביותר האפשרית היא ממספר רציונלי אחד למשנהו (שכידוע יכולה להיות קטנה כרצוננו). בנוסף, לא משנה עד כמה איבר של <math>U</math> קרוב ל-<math>0</math> או ל-<math>1</math> תמיד קיים מספר רציונלי בין האיבר ל-<math>0</math> או ל-<math>1</math> אליו ניתן לזוז מבלי לצאת מ-<math>U</math>. כאשר מתייחסים לקבוצה כתת-קבוצה של המספרים הממשיים הקבוצה אינה פתוחה. זאת מכיוון שבין כל שני מספרים רציונליים נמצאים אינסוף מספרים אי רציונליים לא ניתן לזוז מאיבר ב-<math>U</math> אפילו מעט לאחד הכיוונים מבלי לעבור במספרים אי רציונליים (שאינם שייכים ל-<math>U</math>).

בנוסף נשים לב כי ישנן קבוצות שהן גם פתוחות וגם סגורות: דהיינו פתיחות וסגירות של קבוצה הן לא דבר והיפוכו. ב-<math>\mathbb{R}</math> וב[[מרחב קשיר|מרחבים קשירים]] אחרים רק הקבוצה הריקה והמרחב כולו הם גם סגורים וגם פתוחים. ברציונליים למשל, קבוצת כל המספרים הרציונליים הקטנים מהשורש הריבועי של שתיים היא גם פתוחה וגם [[קבוצה סגורה|סגורה]].

כמו כן, קבוצה יכולה להיות לא פתוחה ולא סגורה (למשל <math>(0,1]</math> ב[[הישר הממשי|ישר הממשי]]).

==ראו גם==
* [[קבוצה סגורה]]
* [[סביבה (מתמטיקה)|סביבה]]
* [[קבוצה כמעט פתוחה]]

==קישורים חיצוניים==
{{מיזמים|ויקימילון=קבוצה פתוחה}}
* {{MathWorld}}

{{טופולוגיה}}

[[קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה]]
[[קטגוריה:טופולוגיה]]