نظرية القياس

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

Definition

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

Scope

يغطي هذا المجال الجبر السيغمائي (sigma-algebras) والمقاييس، والدوال القابلة للقياس، وبناء مقياس لوبيغ، وتكامل لوبيغ ونظريات التقارب الخاصة به، وفضاءات Lp، والمقاييس الموقعة والمعقدة مع نظرية رادون-نيكوديم (Radon-Nikodym theorem)، ومقاييس الجداء مع نظرية فوبيني-تونيللي (Fubini-Tonelli theorem).

Sub-topics

• تكامل لوبيغ
• فضاءات Lp
• نظرية رادون-نيكوديم ومقاييس الجداء
• الجبر السيغمائي والمقاييس

Core questions

• كيف يمكن تخصيص مفهوم للحجم بشكل متسق لمجموعة غنية من المجموعات بما في ذلك المجموعات غير المنتظمة؟
• كيف يتم تعريف تكامل لوبيغ، ولماذا يتصرف بشكل أفضل تحت النهايات من تكامل ريمان؟
• متى يمكن تبديل النهايات مع التكاملات؟
• كيف تتم مقارنة مقياسين، ومتى يكون لأحدهما كثافة بالنسبة للآخر؟

Key theories

نظرية التقارب المهيمن للوبيغ

إذا تقاربت الدوال القابلة للتكامل نقطيًا وكانت محدودة بشكل موحد بدالة قابلة للتكامل ثابتة، فإن نهاية تكاملاتها تساوي تكامل النهاية، مما يوفر تبادل النهاية والتكامل الذي تفتقر إليه نظرية ريمان.

نظرية رادون-نيكوديم

إذا كان مقياس سيغما-محدود (sigma-finite measure) مطلق التوافق بالنسبة لمقياس آخر، فيمكن كتابته كتكامل لدالة كثافة مقابل ذلك المقياس الآخر، مما يوفر المفهوم الدقيق لكثافة الاحتمال والتوقع الشرطي.

Clinical relevance

تُعد نظرية القياس الأساس الذي لا غنى عنه لنظرية الاحتمالات الحديثة، حيث تكون المقاييس هي توزيعات الاحتمال وتكامل لوبيغ هو التوقع؛ كما أنها تؤسس التحليل الدالي من خلال فضاءات Lp وفضاءات هيلبرت (Hilbert spaces)، والتحليل التوافقي، ونظرية إرغوديك (ergodic theory)، والمعالجة الدقيقة للعمليات العشوائية المستخدمة في التمويل والإحصاء.

History

بدأت نظرية القياس بمقياس بوريل (Borel's measure) على الخط، وأعطاها لوبيغ شكلها الحاسم في أطروحته عام 1902، والتي قدمت التكامل الحديث. وقد أسست أعمال كارادوري (Caratheodory) حول بناء المقياس الخارجي، وعمل رادون (Radon) على المقاييس في الفضاءات العامة، ووضع كولموغوروف (Kolmogorov) في عام 1933 لأسس نظرية الاحتمالات، النظرية المجردة المستخدمة اليوم.

Key figures

• Henri Lebesgue
• Emile Borel
• Johann Radon
• Constantin Caratheodory

Seminal works

• folland1999

Frequently asked questions

لماذا يتم تقديم تكامل لوبيغ بينما تكامل ريمان موجود بالفعل؟

يمكن لتكامل لوبيغ أن يكامل عددًا أكبر بكثير من الدوال، وتسمح نظريات التقارب الخاصة به بتبادل النهايات والتكاملات تحت فرضيات معتدلة، وهو أمر ضروري للتحليل والاحتمالات واكتمال فضاءات Lp.

ما هو الجبر السيغمائي (sigma-algebra)؟

الجبر السيغمائي هو مجموعة المجموعات الفرعية التي يُعرّف عليها المقياس؛ وهو مغلق تحت المكملات والاتحادات القابلة للعد، وهي خصائص الإغلاق اللازمة لجعل الإضافية القابلة للعد وعمليات النهاية منطقية.