الأساس للفضاء التوبولوجي

The Base of Topological Space

تعريف :

ليكن لدينا $(X,\tau)$ فضاء توبولوجي ، و ليكن لدينا $\mathfrak B \subseteq \tau$ ، نقول عن $\mathfrak B$ عبارة عن أساس^[م] للتوبولوجي $\tau$ إذا و فقط إذا كان لكل مجموعة مفتوحة $U\ne \phi \subseteq \tau$ يمكن كتابتها على شكل اتحاد من مجموعات في $\mathfrak B$ .

أي بمعنى :

$U=\bigcup\{ B |B\in B_1,B_1\subseteq \mathfrak B\}$

نسمى المجموعة من عناصر الأساس بمجموعة مفتوحة أساسية أو مجموعة مفتوحة^[م] من الأساس (basic open set)،أو نسمها عناصر الأساس ( basis elements )، و نشير أن هذا الأتحاد ليس وحيد ، وبالتالي يختلف عن مفهوم الأساس الذي يكون في الجبر الخطي.

نلاحظ ما يلي :

1) عناصر الأساس هي بالأصل عناصر في التوبولوجي ، أي أنها عبارة ن مجموعات مفتوحة .

2) الأساس يهتم بالمجموعات التي تكفي لتوليد بقية المجموعات المفتوحة الغير فارغة .

3) تكمن أهميته في التعامل مع الأسئلة بعناصر الأساس بدل من أن نتعامل مع عناصرالتوبولوجي بشكل مباشر .

4) يعطي صورة جميلة عن عناصر التوبولوجي بشكل عام .

إذن لنوضح مفهومالأساس ببعض الأمثلة :

1) لتكن لدينا $X=\{a,b,c\}$ ، و ليكن لدينا $\tau=\{\phi,X,\{a\},\{b\},\{a,b\}\}$ .

و بالتالي لو فرضنا :

$\mathfrak B_1=\{\phi,X,\{a\},\{b\}\}$

فسيكون عبارة عن أساس للتوبولوجي السابق لأنه محقق شرط التعريف .

و أيضاً لو فرضنا :

$\mathfrak B_2=\{\{a\},\{b\}\}$

عبارة أيضاً عن أساس للتوبولوجي السابق ، لا تنسى أن الأساس يعطي المجموعات الغير فارغة في أصل التعريف إلا إن كان في أحد عناصر المجموعةا الكلوبن $\phi$ مثلما كان الأمر في $\mathfrak B_1$ .

2) في الفضاء التوبولوجي $(\mathbb R, \tau_u)$ و لنفرض أن :

$\mathfrak B=\{(a,b)| a,b \in\mathbb R\}$

عبارة عن أساس للتوبولوجي المعتاد على $\mathbb R$ ، و هذا يفسر سبب تعاملنا فقط بالفترة المفتوحة في الأسئلة و النظريات .

3) في الفضاء التوبولوجي $(X,\tau_{dis})$ لنفرض أن :

$\mathfrak B=\{\{x\}| x\in X\}$

عبارة عن أساس للتوبولوجي المتقطع .

4) في الفضاء التوبولوجي $(\mathfrak R,\tau_{cof})$ فإن أساسه كل التوبولوجي أي :

$\mathfrak B=\tau_{cof}$

و كذلك الأمر بالنسبة للتوبولوجي $\tau_{coc}$ ، و نشير أنه لا يوجد أساس جزئي من التوبولوجيين السابقيين غير هذا الأساس ، أي الأساس الذي يساوي التوبولوجي كاملاً.

الآن يأتي السؤال الآتي :

لو كان لدينا أساس لفضاء معين^[م] ، كيف يمكن الحصول على التوبولوجي له ؟

الجواب :

يمكن أن نحصل على التوبولوجي للفضاء عن طريق أخذ جميع الإتحادات الممكنة للمجموعات المفتوحة الأساسية في الأساس ، و إضافة المجموعة $\phi$ ، الأمر يكون سهل في الفضاءات المحدودة ، و المشكلة تكمن في الفضاءات اللامنتهية قد لا نحتاج لكتابة التوبولوجي له ، و لكن يجب أن تكون قادراً على تميز لأي مجموعة معطاة هل هي عبارة عن اتحاد من المجموعات الأساسية أو لا

الآن لو افترضنا أنه لدينا الأساس $\mathfrak B$ للتوبولوجي، فإننا نرمز للتوبولوجي المولد من $\mathfrak B$ بالرمز $\tau(\mathfrak B)$ .

لنوضح المفهوم بمثال بسيط :

لتكن لدينا $X=\{a,b,c\}$ ، و ليكن و لدينا $\mathfrak B_1=\{,X,\{a\},\{b\}\}$ عبارة عن أساس للتوبولوجي فإن :

$\tau(\mathfrak B)= \{\phi,X,\{a\},\{b\},\{a,b\}\}$

و هذا هو جميع الإتحادات الممكنة له .

الأساس في صياغته يساعد على معرفة إن كانت المجموعة مفتوحة عن طريق عناصره و التي تتلخص ف يالنظرية^[م] البسيطة الأتية :

نظرية (1) :

ليكن لدينا $(X,\tau)$ فضاء توبولوجي ، و ليكن لدينا $\mathfrak B$ أساس للتوبولوجي ، و بالتالي :

$U$ مجموعة مفتوحة في $\tau$ إذا و فقط إذا لكل عنصر $x\in U$ ، يوجد لدينا مجموعة $B_x\in\mathfrak B$ بحيث $x\in B_x\subseteq U$ .

الإثبات :

الآن $U$ مجموعة مفتوحة إذا و فقط إذا كان يوجد لدينا مجموعة مفتوحة $U_x$ بحيث :

$x\in U_x\subseteq U$

$\Leftrightarrow$ يوجد لدينا $U_x$ بحيث :

$x\in U_x=\bigcup\{B| B\in B_1, B_1\subseteq \mathfrak B\}$

أي أنها اتحاد عدد من عناصر الأساس و هو $B_1$ و ربما يكون كل الأساس .

و بالتالي $x\in B_x$ حيث $B_x\in B_1$ ، و منها نصل إلى :

$x\in B_x \subseteq U$

و هو المطلوب .

من أحد التعاريف المكافئة لتعريف الأساس النظرية الآتية :

نظرية (2) :

ليكن لدينا $X\ne \phi$ فضاء توبولوجي ، و ليكن لدينا $\mathfrak B$ عائلة من المجموعات الجزئية من $X$ ، فإننا نعتبر $\mathfrak B$ عبارة عن أساس إذا و فقط إذا كانت محققة :

1) لكل نقطة $x\in X$ يوجد لدينا $B_x\in \mathfrak B$ بحيث $x\in B_x$ .

2) و لكل مجموعتين $B_1,B_2\in \mathfrak B$ و لكل نقطة $x\in B_1\cap B_2$ ، فإنه يوجد لدينا مجموعة $B_x$ بحيث $x\in B_x \subseteq B_1\cap B_2$ .

الإثبات :

واضح لدينا أنه لو كانت $\mathbb B$ عبارة عن أساس ، فإن الشرط الأول و الثاني متحققة مباشرة بسبب أن عناصر الأساس بالأصل في $\tau$ و لدينا ايضاً $X$ في $\tau$ ، فيمكن كتابتها بشكل اتحاد مجموعات من $\mathfrak B$ .

لكي نثبت أنه أساس ، فعلينا أن نثبت أن $\tau(\mathfrak B)$ عبارة عن توبولوجي على $X$ و لد بواسطة $\mathfrak B$ .

نذكر أن $\tau(\mathfrak B)$ هي عبارة عن جميع الاتحادات الممكنة لعناصر $\mathfrak B$ مع إضافة $\phi$ إن لم تكن موجودة .

لنتحقق من شروط التوبولوجي :

1) المجموعة $\phi$ موجودة ، لنثبت ان $X$ أيضاً موجودة .

من شرط (1) لكل $x\in X$ يوجد لدينا $B_x\in \mathfrak B$ بحيث $x\in B_x\subseteq \mathfrak B$ .

و بالتالي :

$X=\bigcup\limits_{x\in X} B_x \in \tau(\mathfrak B)$

2) بما أن $\tau(\mathfrak B)$ هي عبارة عن جميع الإتحادات الممكنة من $\mathfrak B$ ، فإن اتحاد أي عائلة من مجموعاته ستكون بالتأكيد في داخله بسبب أنها عبارة عن اتحاد مع عناصر $\mathfrak B$ .

3) الآن لو كان لدينا $U_1,U_2 \in \tau(\mathfrak B)$ .

الآن إن كان $U_1\cap U_2=\phi$ فتقطاعهم عنصر في $\tau(\mathfrak B)$ .

لنفرض أن تقاطعهم غير فارغ ، و بما أن :

$U_1=\bigcup\limits_{a\in \Delta_1} B_a$ و $U_2=\bigcup\limits_{b\in \Delta_2} C_b$

الآن :

$U_1\cap U_2=\bigcup\limits_{a\in \Delta_1, b\in \Delta_2} B_a\cap C_b$

يكفي إثبات ان $B_a\cap C_b$ .

الآن من شرط (2) ، لكل عنصر $x$ في داخلهما يوجد مجموعة $D_x$ بحيث :

$x\in D_x \subseteq B_a\cap C_b$

و بالتالي يمكن كتابة :

$B_a\cap C_b=\bigcup D_x$

و بالتالي أصبح لدينا :

$U_1\cap U_2$ عبارة عن اتحاد من مجموعات من $\mathfrak B$ .

و بإستخدام الإستقراء الرياضي^[م] يمكن تعميم إلى أي $n\in \mathbb N$ .

$\therefore$ لدينا $\tau(\mathfrak B)$ عبارة عن توبولوجي على $X$ ، و بالتالي $\mathfrak B$ عبارة عن أساس .

الآن هذه النظرية مهمة في تحديد أي عائلة من المجموعات كانت تشكل أساس أو لا بدل من أخذ جميع الإتحادات الممكنة.

لنبين مفهوم النظرية بمثال بسيط :

في الفضاء الإقليدي التربيعي $\mathbb R^2$ ، جميع داخلية الدوائر^[م] Interior of circles تعتبر أساس للتوبولوجي على $\mathbb R^2$ بسبب أن داخلية الدوائر تحقق الشرطين السابقين في نظرية (2) .

أي أن شكل عناصر الأساس في الفضاء الإقليدي التربيعي هي داخلية الدوائر .

انظر الشكل لترى تحقق الشروط :

و كذلك الأمر بالنسبة لو تم أخذ داخلية المستطيلات أيضاً ، انظر الشكل .

نتيجة (1) :

ليكن لدينا الفضاء التوبولوجي $(X,\tau)$ ، و ليكن لدينا $\mathcal C$ عبارة عن أي عائلة من المجموعات المفتوحة في $X$ بحيث لكل مجموعة مفتوحة $U$ مجموعة مفتوحة في $X$ ، و لكل $x\in U$ يوجد لدينا مجموعة مفتوحة $C\in \mathcal C$ بحيث :

$x\in C\subseteq U$

وبالتالي :

$\mathcal C$ عبارة عن أساس للتوبولوجي .

الإثبات :

لكي نثبت اأنه أساس للتوبولوجي يحب أن نثبت :

أ‌) أنه أساس و هي واضحة من شروط النظرية(2) متروك للقارىء .

ب‌) $\tau(\mathcal C)=\tau$ :

لإثبات (ب) :

عناصر $\mathcal C$ هي في $\tau$ ، و بما أن $\tau$ مغلقة تحت أي اتحاد من المجموعات المفتوحة و بالتالي أي عنصر في $\tau(\mathcal C)$ هو عبارة عن عنصر في $\tau$ و بالتالي :

$\tau(\mathcal C)\subseteq \tau$

الآن إن كانت $U\in \tau$ و كانت $x\in U$ فإنه حسب الفرض $C_x\in \mathcal C$ بحيث $x\in C_x \subseteq U$ و بالتالي :

$U=\bigcup_{x\in U} C_x$

أي أن $U\in \tau(\mathcal C)$ ، و بالتالي :

$\tau\subseteq \tau(\mathcal C)$

واضح من خلال هذه النتيجة أن يمكطن البحث فقط عن مجموعات بفتوحة بحيث تحقق الشروط المذكورة يكون أقل سهولة لإيجاد الأساس للتوبولوجي .

فمثلاً في الفضاء التوبولوجي المعتاد على $\mathbb R$ يمكن إيجاد مجموعات مفتوحة بحيث تحقق الشروط و هي :

$\mathcal B=\{(a,b) | a,b \in \mathbb R\}$

الآن للأساس دور هام في مقارنة التوبولوجي على مجموعة $X$ و الذي سنين دوره في النظرية الآتية :

نظرية (3) :

لتكن $X\ne \phi$ ، و ليكن لدينا $\mathfrak B_1$ أساس مولداً التوبولوجي $\tau_1$ ، و ليكن لدينا $\mathfrak B_2$ أساس مولداً التوبولوجي $\tau_2$ ، و كلاهما على $X$ ، و بالتالي الآتي متكافىء :

1) $\tau_1\subseteq \tau_2$ .

2) إذا كانت $x\in X$ و كانت $B_{x_1}\in\mathfrak B_1$ بحيث $x\in B_{x_1}$ فإنه يوجد $B_{x_2}\in\mathfrak B_2$ بحيث :

$x\in B_{x_2} \subseteq B_{x_1}$

الإثبات :

(1) $\leftarrow$ (2) :

لتكن حسب الشرط الثاني $x\in X$ بحيث $x\in B_{x_1}$ ، و بما أن $\tau_1\subseteq \tau_2$ و $B_{x_1}\in \tau_1$ و بالتالي $B_{x_1}\tau_2$ ، و بما أن $\tau_2$ مولد بواسطة $\mathfrak B_2$ و بالتالي يوجد لدينا $B_{x_2}\in\mathfrak B_2$ بحيث :

$x\inB_{x_2} \subseteq B_{x_1}$

(2) $\leftarrow$ (1) :

لتكن $U\ne \phi \in\tau_1$ و لتكن $x\in U$ و بما أن $\tau(\mathfrak B_1)$ مولد بواسطة الأساس $\mathfrak B_1$ و بالتالي يوجد لدينا $B_{x_1}\in \mathfrak B_1$ بحيث $x\in\B_{x_1}$ و لكن حسب شرط (2) ، يوجد لدينا $B_{x_2}\in \mathfrak B_2$ بحيث :

$x\in B_{x_2} \subseteq B_{x_1}\subseteq U$

و بالتالي يمكن كتابة $U$ على شكل اتحاد من عناصر الأساس $\mathfrak B_2$ أي أن $U\in\tau(\mathfrak B_2)$ .

وهو المطلوب .

لاحظ أن أهمية هذه النظرية تكمن في مقارنة التوبولوجي بواسطة عناصر الأساس ، و لكن كيف نستطيع أن نتذكر دائماً أن عناصر التوبولوجي الأقوى دائماً داخل عناصر التوبولوجي الأضعف .

تخيل أن عناصر الأساس للتوبولوجي الأضعف هي حصى (حجارة صغيرة ) ، و تخيل أن هذه الحصى تم سحقها في آلة سحق معينة ليصبح لدينا تراب ناعم .

و بالتالي ذرات التراب هي عناصر الأساس للتوبولوجي الأقوى ، أي أن ذرات التراب تنتمي لحصى من التوبولوجي الأضعف .

نلاحظ من النظرية السابقة نتيجة هامة لمعرفة إن كان التوبولوجيين متساويين عن طريق عناصر الأساس و هي :

نتيجة (2) :

لتكن $X\ne \phi$ ، و ليكن لدينا $\mathfrak B_1$ أساس مولداً التوبولوجي $\tau_1$ ، و ليكن لدينا $\mathfrak B_2$ أساس مولداً التوبولوجي $\tau_2$ ، و كلاهما على $X$ ، و بالتالي يكون لدينا $\tau_1= \tau_2$ إذا وفقط إذا كان لدينا :

1) إذا كانت $x\in X$ و كانت $B_{x_1}\in\mathfrak B_1$ بحيث $x\in B_{x_1}$ فإنه يوجد $B_{x_2}\in\mathfrak B_2$ بحيث :

$x\in B_{x_2} \subseteq B_{x_1}$

2) إذا كانت $x\in X$ و كانت $B_{x_2}\in\mathfrak B_2$ بحيث $x\in B_{x_2}$ فإنه يوجد $B_{x_1}\in\mathfrak B_1$ بحيث :

$x\in B_{x_1} \subseteq B_{x_2}$

الإثبات : اتبع نفس التكنبك الذي اتبع في إثبات النظرية (3) .

أي أنه يمكن أن يتواجد أكثر من أساس للفضاء بحيث كلها تؤدي إلى توليد نفس التوبولوجي .

فمثلاً :

في الفضاء التوبولوجي $(\mathbb R,\tau_u)$ نلاحظ أن :

$\mathfrak B_1=\{(a,b)|a,b\in\mathbb R\}$

و أيضاً الأساس :

$\mathfrak B_2=\{(a,b)|a,b\in\mathbb Q\}$

و أيضاً الأساس :

$\mathfrak B_3=\{(a,b)|a\in\mathbb {R-Q},b\in\mathbb Q\}$

تولد جميعها نفس التوبولوجي .

فكر : هل يوجد غير للتوبولوجي المعتاد ؟؟؟

و نلاحظ أيضاً في المثال السابق :

في الفضاء الإقليدي التربيعي $\mathbb R^2$ ،الأساس المكون من جميع داخلية الدوائر و الأساس المكون من داخلية المسطتيلات كلاهما متكافئين .

و السبب انظر الشكل :

الأساس للفضاء التوبولوجي الجزئي :

نظرية (4) :

ليكن لدينا $(X,\tau)$ فضاء توبولوجي و ليكن $\mathfrak B$ أساس للتوبولوجي $\tau$ و لتكن $A\subseteq X$ و بالتالي :

$\mathfrak B^*=\{B\cap A|B\in\mathfrak B\}$

عبارة عن أساس للفضاء للتوبولوجي $\tau_A$ .

الإثبات :

1) بما أن $B\in \tau$ و بالتالي $B\cap A\in\tau_A$ لجميع المجموعات $B\in\mathfrak B$ .

2) لتكن $U\in\tau_A$ و بالتالي يوجد لدينا مجموعة مفتوحة $V\in\tau$ بحيث :

$U=V\cap A$

و لكن

$V=\bigcup\{B|B\in B_1 ,B_1\subseteq \mathfrak B\}$

و بالتالي :

$U=\bigcup\{B\cap A|B\in B_1 ,B_1\subseteq \mathfrak B\}$

أي أن $\mathfrak B^*$ أساس للتوبولوجي $\tau_A$ .

قد أوضحنا سابقاً مثال يبن كيفية بناء الأساس للتوبولوجي الجزئي و هو :

مثال (*) :

ليكن لدينا الفضاء التوبولوجي المعتاد على $\mathbb R$ ، و ليكن لدينا $A=[0,1]$ ، جد الشكل العام للمجموعات المفتوحة في $\tau_A$ .

الحل :

الآن بما أنه $\mathfrak B=\{ (a,b)| a,b\in\mathbb R\}$ عبارة عن أساس للتوبولوجي المعتاد فإن شكل عناصر الأساس للتوبولوجي هي :

$A\cap (a,b)=\begin{cases} (a,b) & a,b \in A\\ [0,b) & b\in A, a\not\in A\\ (a,1] & a\in A,b\not\in A\\ \phi & a,b\not\in A\\ A & a<0, b>1 \end{cases}$

و هذه هي عناصر الأساس للتوبولوجي $\tau_A$ .

المراجع :

1) General Topology , Paul Long

2) General Topology , James Munkres

نبذة عن كاتب الموضوع

$User picture$

قواريق

محرر على شبكة الرياضيات رمز

. يعافيك ربي مآره أستفدت

قدم بواسطة Anonymous في أربعاء, 01/20/2010 - 04:17

. يعافيك ربي مآره أستفدت

رد

علِّق

التعليق: *

Every instance heading tags will be modified to include an id attribute for anchor linking.
Every instance of "" in the input text will be replaced with a collapsible mediawiki-style table of contents. Accepts options for title, list style, minimum heading level, and maximum heading level as follows: . All arguments are optional and defaults are shown.
وسوم html المسموح بها: <a> <i> <p> <b> <center> <em> <strong> <code> <ul> <ol> <li> <dl> <dt> <div> <dir> <span> <br> <br /> <blockquote> <h1> <h2> <h3> <h4> <h5> <h6> <hr> <img> <sub> <sup> <table> <tbody> <thead> <tr> <td>
LaTeX formulas are automatically converted into images.
تتحول مسارات مواقع وب و عناوين البريد الإلكتروني إلى روابط آليا.
Use [fn]...[/fn] (or <fn>...</fn>) to insert automatically numbered footnotes.
Use [# ...] to insert automatically numbered footnotes. Textile variant.
Web page addresses and e-mail addresses turn into links automatically. (Better URL filter.)
Link to content with [[some text]], where "some text" is the title of existing content or the title of a new piece of content to create. You can also link text to a different title by using [[link to this title|show this text]]. Link to outside URLs with [[http://www.example.com|some text]], or even [[http://www.example.com]].
Glossary terms will be automatically marked with links to their descriptions. If there are certain phrases or sections of text that should be excluded from glossary marking and linking, use the special markup, [no-glossary] ... [/no-glossary]. Additionally, these HTML elements will not be scanned: a, abbr, acronym, code, pre.
Images can be added to this post.

معلومات أكثر عن خيارات التنسيق

كلمة التحقق

This question is for testing whether you are a human visitor and to prevent automated spam submissions.