مجال فاصل (رياضيات)

إضافة x + a على خط الأعداد. كل الأعداد أكبر من x وأقل من x + a تقع في هذا المجال المفتوح.

في الرياضيات الفترة أو المجال الفاصل هو مجموعة من الأعداد الحقيقية بحيث أن أي عدد يقع بين عددين في المجموعة هو أيضا عنصر في تلك المجموعة. على سبيل المثال، مجموعة الأعداد قالب:Mvar التي تحقق أن قالب:تعبير رياضي هي مجال تحتوي كلا من قالب:تعبير رياضي وقالب:تعبير رياضي ، وكذلك جميع الأعداد بينهما. أمثلة أخرى للمجالات هي مجموعة الأعداد الحقيقية $ℝ$، كذلك مجموعة الأعداد الحقيقية السالبة، والمجموعة الفارغة.

تلعب المجالات دورًا مهمًا في نظرية التكامل، لأنها أبسط مجموعة يسهل تعريف «حجمها» أو «قياسها» أو «طولها». يمكن بعد ذلك توسيع مفهوم القياس ليشمل مجموعات أكثر تعقيدًا من الأعداد الحقيقية، مما يؤدي إلى قياس بوريل وفي نهاية المطاف إلى مقياس لوبيغ.

يتم تعريف المجالات على مجموعة اختيارية مرتبة ترتيبا كليا، مثل الأعداد الصحيحة أو الأعداد الكسرية. يتم مراعاة تدوين المجالات الصحيحة في القسم الخاص أدناه.

المصطلحات

• المجال المفتوح لا يشمل نقاط النهاية، ويشار إليه بأقواس مدورة "(". على سبيل المثال: قالب:Open-open تعني أكبر من قالب:تعبير رياضي وأقل من قالب:تعبير رياضي.
• المجال المغلق هو مجال يتضمن جميع نقاطه المحددة، ويُشار إليه بأقواس مربعة "]". على سبيل المثال: قالب:Closed-closed تعني أكبر من أو تساوي قالب:تعبير رياضي وأقل من أو تساوي قالب:تعبير رياضي.
• يتضمن المجال نصف المفتوح واحد فقط من نقاط النهاية الخاصة به، ويتم الإشارة إليها عن طريق خلط الرموز للمجال المفتوح والمغلق. فمثلا: المجال قالب:Open-closed يعني أكبر من قالب:تعبير رياضي وأقل من أو تساوي قالب:تعبير رياضي ، بينما المجال قالب:Closed-open يعني أكبر من أو يساوي قالب:تعبير رياضي وأقل من قالب:تعبير رياضي.
• المجال المتحول (degenerate interval) هو أي مجموعة تتكون من عدد حقيقي واحد. ويضع بعض المؤلفين المجموعة الفارغة في هذا التعريف. وتُسمى المجال الذي ليس فارغ وليس متحول بالمجال غير المعتل (proper)، وتحتوي على عدد غير محدود من العناصر.
• يُقال إن المجال مُحدود من اليسار (left-bounded) أو مُحدود من اليمين (right-bounded) إذا كان هناك عدد حقيقي أصغر من أو أكبر من جميع عناصره على التوالي.
• يقال إن المجال محدود (bounded) إذا كان محدود يسارًا ويمينًا؛ ويقال أنه غير محدود إذا كانت خلاف ذلك. يقال إن المجال المحدود بنهاية واحدة تكون نصف محدود. المجموعة الفارغة هي مجال محدود، ومجموعة كل الأعداد الحقيقية هي المجال الوحيد غير المحدود من كلا الطرفين. تُعرف المجال المحدود أيضًا بمجالات محددة.

المجالات المحدودة هي مجموعات محدودة، بمعنى أن قطرها (الذي يساوي الفرق المطلق بين نقاط النهاية) محدود. يمكن أن يسمى القطر طول أو عرض أو قياس أو مدى أو حجم المجال. يُعرَّف حجم المجال غير المحدود بأنه قالب:تعبير رياضي ، ويمكن تعريف حجم المجال الفارغ على أنه قالب:تعبير رياضي.

الوسط (النقطة الوسطى) للمجال المحدود التي نقاط نهايتها هما قالب:Mvar وقالب:Mvar هو قالب:تعبير رياضي ، ونصف القطر هو نصف القيمة المطلقة للفرق بين a وb أي 2/| a - b |. هذه المفاهيم غير مُعَرَّفة للمجال الفارغ أو المجال غير المحدودة.

يقال إن المجال مفتوح لليسار إذا وفقط إذا كان لا يحتوي على حد أدنى (عنصر أصغر من جميع عناصره الأخرى)؛ بينما يقال أنه مفتوح لليمين إذا كان لا يحتوي على حد أقصى (عنصر أكبر من جميع عناصرها الأخرى)؛ وتُسمى مفتوح إذا كان ليس لديه حد أدنى ولا حد أقصى. المجال قالب:تعبير رياضي ، على سبيل المثال، يكون مغلق من اليسار ومفتوحة لليمين. المجموعة الفارغة ومجموعة كل الأعداد الحقيقة هي مجالات مفتوحة، في حين أن مجموعة الأعداد الحقيقة غير السالبة هي مجال مفتوح لليمين وليس لليسار. تتطابق المجالات المفتوحة مع المجموعات المفتوحة على خط الأعداد الحقيقية في طوبولوجيتها القياسية.

يقال إن المجال مغلق من اليسار إذا كان يحتوي على عنصر هو الحد الأدنى له، وتكون مغلق من اليمين إذا كانت يحتوي الحد الأقصى، وتسمى مغلق إذا كانت يحتوي على كليهما. يتم عادةً توسيع هذه التعريفات لتشمل المجموعة الفارغة والمجالات غير المحدودة (يسارًا أو يمينًا)، ولذلك تتطابق المجالات المغلقة مع المجموعات المغلقة في تلك الهيكلية.

الجزء الداخلي (interior) من المجال قالب:Mvar هو أكبر مجال مفتوح موجودة في قالب:Mvar ؛ وهو أيضًا مجموعة كل نقاط قالب:Mvar التي ليست نقاط النهاية لـ قالب:Mvar. إغلاق (closure) المجال قالب:Mvar هو أصغر مجال مغلق تحتوي على قالب:Mvar ؛ أو هو أيضا مجموعة قالب:Mvar بالإضافة إلى نقاط النهاية.

بالنسبة إلى أي مجموعة قالب:Mvar من الأعداد الحقيقية، تكون المجال المحيط (interval enclosure) أو (interval span) لـ قالب:Mvar هو المجال الوحيد الذي يحتوي على قالب:Mvar ولا تحتوي بشكل صحيح على أي مجال آخر يحتوي أيضًا على قالب:Mvar.

ملاحظة على المصطلحات المتعارضة

تم استخدام مصطلحات مقطع (segment) ومجال (interval) في الأوراق العلمية المنشورة بطريقتين متناقضتين بشكل أساسي، مما أدى إلى غموض عند استخدام هذه المصطلحات. موسوعة الرياضيات يُعَرِّف المجال (بدون توضيح) لاستبعاد كلا النهايتين (أي مجال مفتوح) والمقطع ليشمل كلا النهايتين (أي مجال مغلق)، في حين أن مبادئ رودين للتحليل الرياضي تُسمي المجموعات على الشكل [ أ ، ب ] مجالات، والمجموعات على الشكل (أ ، ب) مقاطع. عادة ما تظهر هذه المصطلحات في الكتابات القديمة؛ بينما النصوص الحديثة فيستخدم مصطلح المجال (مع بيان كونها مفتوحة أو مغلقة أو نصف مفتوحة)، بغض النظر عما إذا كانت نقاط النهاية مدرجة أم لا.

رموز المجالات

غالبًا ما يتم الإشارة إلى المجال للأعداد بين قالب:Mvar وقالب:Mvar، بما في ذلك قالب:Mvar وقالب:Mvar، بالرمز قالب:Closed-closed (أي مجال مغلق). يطلق على العددين قالب:Mvar وقالب:Mvar نقاط النهاية للمجال. في البلدان التي تُكتب فيها الأعداد بفاصلة عشرية، يمكن استخدام فاصلة منقوطة كفاصل، لتجنب اللبس.

احتواء أو استبعاد نقاط النهاية

للإشارة إلى أن إحدى نقاط النهاية لا تنتمي للمجموعة، يمكن استبدال القوس المربع "[" المقابل لها إما بأقواس مدورة "(" أو عكس القوس المربع. تم وصف كلا الترميزين في المعيار الدولي ISO 31-11. وهكذا، في تدوين باني مجموعة،

$\begin{array}{cc}(a,b)=]a,b[& =\{x\in ℝ\mid a<x<b\},\\ [a,b)=[a,b[& =\{x\in ℝ\mid a\le x<b\},\\ (a,b]=]a,b]& =\{x\in ℝ\mid a<x\le b\},\\ [a,b]=[a,b]& =\{x\in ℝ\mid a\le x\le b\}.\end{array}$

لاحظ أن قالب:Open-open ، قالب:Closed-open ، وقالب:Open-closed كلها تمثل مجموعة فارغة، بينما قالب:Closed-closed تشير إلى المجموعة {a}. وإذا كانت قالب:تعبير رياضي ، عادةً ما تؤخذ الرموز الأربعة لتمثيل المجموعة الفارغة.

قد يتداخل كلا الترميزين مع الاستخدامات الأخرى للأقواس المربعة والأقواس المدورة في الرياضيات. على سبيل المثال، يستخدم الترميز قالب:تعبير رياضي غالبًا للدلالة على زوج مرتب في نظرية المجموعة، وإحداثيات نقطة أو متجه في الهندسة التحليلية والجبر الخطي، أو (في بعض الأحيان) عدد معقد في الجبر. هذا هو السبب في أن بورباكي قدم الترميز قالب:تعبير رياضي للإشارة إلى المجال المفتوح. يستخدم الترميز قالب:تعبير رياضي أيضًا في بعض الأحيان للأزواج المرتبة، خاصةً في علوم الكمبيوتر.

يستخدم بعض المؤلفين قالب:تعبير رياضي للدلالة على المكمل (complement) للمجال  قالب:Open-open ؛ وهي كل مجموعة من الأعداد الحقيقية التي إما أن تكون "أقل من أو تساوي قالب:Mvar" أو "أكبر من أو يساوي قالب:Mvar".

نقاط النهاية غير المحددة

في بعض السياقات، يمكن تعريف المجال على أنه مجموعة فرعية من الأعداد الحقيقية الممتدة، وهي مجموعة من جميع الأعداد الحقيقية موسعة مع قالب:تعبير رياضي وقالب:تعبير رياضي.

في هذا التفسير، تكون الرموز قالب:Closed-closed وقالب:Open-closed وقالب:Closed-closed وقالب:Closed-open كلها ذات معنى ومتميزة. على وجه الخصوص قالب:Open-open تشير إلى مجموعة من جميع الأعداد الحقيقية العادية، في حين أن قالب:Closed-closed تشير إلى الأعداد الحقيقية الممتدة.

حتى في سياق الأعداد الحقيقية العادية، يمكن للمرء استخدام نقطة النهاية غير المحدودة (infinite) للإشارة إلى عدم وجود أي حدود في هذا الاتجاه. على سبيل المثال، قالب:Open-open هي مجموعة منالأعداد الحقيقية الموجبة تُكتب أيضًا ℝ⁺.يؤثر السياق على بعض التعاريف والمصطلحات المذكورة أعلاه.على سبيل المثال، المجال قالب:Open-open  هو مجموعة الأعداد الحقيقية.

مجالات الأعداد الصحيحة

يتم أحيانًا استخدام الترميز قالب:Closed-closed عندما يكون قالب:Mvar وقالب:Mvar عددًا صحيحًا، أو {a .. b} ، أو مجرد قالب:تعبير رياضي للإشارة إلى المجال الذي يحتوي كل الأعداد الصحيحة بين قالب:Mvar وقالب:Mvar ، بما في ذلك الاثنين. يستخدم هذا الترميز في بعض لغات البرمجة؛ في لغة الباسكال، على سبيل المثال، يتم استخدامه لتحديد لتعريف مدى، يتم استخدامه في أغلب الأحيان لتحديد الحدود الدنيا والعليا لمؤشرات صالحة لمصفوفة.

دائمًا ما تحتوي مجالات الأعداد الصحيحة على نقطة نهاية منخفضة أو علوية محددة (finite). لذلك، يمكن الإشارة بوضوح إلى استبعاد نقاط النهاية عن طريق كتابة قالب:تعبير رياضي أو قالب:تعبير رياضي أو قالب:تعبير رياضي. نادراً ما تستخدم ترميزات القوس البديل مثل قالب:Closed-open أو قالب:تعبير رياضي للمجالات الصحيحة.

تصنيف المجالات

يمكن تصنيف مجالات الأعداد الحقيقية في أحد عشر نوعًا مختلفًا مدرجًا أدناه، حيث قالب:Mvar وقالب:Mvar أعداد حقيقية، و$a<b$ $a<b$

فارغة: $[b,a]=(b,a)=[b,a)=(b,a]=(a,a)=[a,a)=(a,a]=\{\}=\mathrm{\varnothing }$

متحولة: $[a,a]=\{a\}$

محدودة:

مفتوحة: $(a,b)=\{x\mid a<x<b\}$

مغلقة: $[a,b]=\{x\mid a\le x\le b\}$

مغلقة من اليسار، مفتوحة من اليمين: $[a,b)=\{x\mid a\le x<b\}$

مفتوحة من اليسار، مغلقة من اليمين: $(a,b]=\{x\mid a<x\le b\}$

محدودة من اليسار وغير محدودة من اليمين:

مفتوحة من اليسار: $(a,+\mathrm{\infty })=\{x\mid x>a\}$

مغلقة من اليسار: $[a,+\mathrm{\infty })=\{x\mid x\ge a\}$

غير محدودة من اليسار ومحدودة من اليمين:

مفتوحة من اليمين: $(-\mathrm{\infty },b)=\{x\mid x<b\}$

مغلقة من اليمين: $(-\mathrm{\infty },b]=\{x\mid x\le b\}$

غير محدودة من كلا الطرفين (مفتوح ومغلق في وقت واحد): $(-\mathrm{\infty },+\mathrm{\infty })=ℝ$:

خصائص المجالات

المجالات هي بالضبط مجموعات فرعية متصلة من$ℝ$. ويترتب على ذلك أن صورة المجال بواسطة أي دالة مستمرة هي أيضًا مجال. هذه أحد صيغ مبرهنة القيمة الوسطية.

انظر أيضا

• عدم المساواة
• الرسم البياني الفاصل
• الفاصل الفاصل العنصر
• الفاصل الزمني (إحصائيات)

المراجع

• T. Sunaga ، «نظرية الجبر الفاصل وتطبيقه على التحليل العددي» ، في: مذكرات جمعية أبحاث الهندسة التطبيقية (RAAG)، Ggujutsu Bunken Fukuy-kai. طوكيو، اليابان، 1958، المجلد. 2، ص.   29-46 (547-564)؛ أعيد طبعه في مجلة اليابان حول الرياضيات الصناعية والتطبيقية، 2009، المجلد. 26، رقم 2-3، ص.   126-143.