مبرهنة التقارب المحدود

في نظرية القياس، توفر **مبرهنة التقارب المحدود** للوبيغ شروطًا كافية والتي بموجبها يشير تقارب سلسلة من الوظائف في كل مكان تقريبًا إلى التقارب في قاعدة *L* 1 . تعد قوتها وفائدتها من المزايا النظرية الأساسية لتكامل لوبيغ على تكامل ريمان. بالإضافة إلى ظهوره المتكرر في التحليل الرياضي والمعادلات التفاضلية الجزئية، فإنه يستخدم على نطاق واسع في نظرية الاحتمالات، لأنه يعطي شرطًا كافيًا لتقارب القيم المتوقعة للمتغيرات العشوائية.

## المبرهنة
**مبرهنة التقارب المحدود ليبسج.**  يترك (f_n) تكون سلسلة من الوظائف ذات القيمة المعقدة والقابلة للقياس على فضاء قياس  . افترض أن التسلسل يتقارب بشكل نقطي مع دالة f وتهيمن عليها بعض الوظائف القابلة للتكامل g بمعنى أن

:  |f_n(x)| \le g(x)

لجميع الأرقام *ن* في مجموعة الفهرس للتسلسل وجميع النقاط x\in S . إذن، *f* قابلة للتكامل (بمعنى لوبيغ) و

:  \lim_{n\to\infty} \int_S |f_n-f| \, d\mu = 0

مما يعني أيضًا

: \lim_{n\to\infty} \int_S f_n\,d\mu = \int_S f\,d\mu

**ملاحظة 1.** العبارة «*g* قابلة للتكامل» تعني تلك الوظيفة القابلة للقياس g هل لوبيغ قابل للتكامل؛ بمعنى آخر

: \int_S|g|\,d\mu 

**ملاحظة 2.** تقارب التسلسل والهيمنة بها g يمكن استرخاء لعقد فقط  في كل مكان تقريبًا بشرط أن تكون فضاء القياس  كاملة أو f يتم اختياره كوظيفة قابلة للقياس توافق  مع الحد النقطي الموجود في كل مكان  . (هذه الاحتياطات ضرورية، لأنه بخلاف ذلك قد توجد مجموعة فرعية غير قابلة للقياس من مجموعة   ، وبالتالي f قد لا تكون قابلة للقياس.)

**ملاحظة 3.** إذا \mu (S)  ، شرط وجود دالة سائدة قابلة للتكامل g يمكن تخفيفها إلى تكامل منتظم للتسلسل (*f <sub>n</sub>*)، انظر نظرية التقارب Vitali .

**ملاحظة 4.** في حين f هل لوبيغ قابل للتكامل، فهو ليس ريمان قابلاً للتكامل بشكل عام. على سبيل المثال، خذ *f* *n* ليتم تعريفها في [0,1] بحيث يكون واحدًا في عدد نسبي من النموذج k/m ، مع **' و **' coprime و m>n ، وصفر في كل مكان آخر. تتقارب السلسلة (*f* *n*) بشكل نقطي إلى 0، لذا فإن *f* تساوي صفرًا بشكل مماثل، ولكن |f_n-f|=f_n ريمان غير قابل للتكامل، لأن صورته في كل فترة زمنية محدودة \{0,1\} وبالتالي فإن تكامل Darboux العلوي والسفلي هما 1 و 0 على التوالي.

## برهان إثبات
بدون فقدان العمومية، يمكن للمرء أن يفترض أن *f* حقيقية، لأنه يمكن للمرء أن يقسم *f* إلى أجزائه الحقيقية والخيالية (تذكر أن سلسلة من الأعداد المركبة تتقارب إذا وفقط في حالة تقارب نظرائها الحقيقيين والخياليين) وتطبيق متباينة المثلث في نهاية المطاف.

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

نظرًا لأن *f* هو الحد النقطي للتسلسل (*f* *n*) للوظائف القابلة للقياس التي تهيمن عليها *g* ، فهي أيضًا قابلة للقياس وتهيمن عليها *g* ، وبالتالي فهي قابلة للتكامل. علاوة على ذلك، (ستكون هناك حاجة إلى هذه لاحقًا)،

:   |f-f_n| \le |f| + |f_n| \leq 2g

لكل *n* وايضًا

:   \limsup_{n\to\infty} |f-f_n| = 0.

والثاني صحيح تمامًا (حسب تعريف *f*). باستخدام الخطية والرتابة لتكامل لوبيغ ،

:   \left | \int_S{f\,d\mu} - \int_S{f_n\,d\mu} \right|=  \left| \int_S{(f-f_n)\,d\mu} \right|\le \int_S{|f-f_n|\,d\mu}.

بالعكس فاتو ليما (هنا نستخدم حقيقة أن | *f* - *f <sub>n</sub>* | مقيد بدالة قابلة للتكامل)

: \limsup_{n\to\infty} \int_S |f-f_n|\,d\mu \le \int_S \limsup_{n\to\infty} |f-f_n|\,d\mu = 0,

مما يعني أن الحد موجود ويختفي أي

: \lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.

أخيرًا، بما أن

: \lim_{n\to\infty} \left|\int_S fd\mu-\int_S f_nd\mu\right| \leq\lim_{n\to\infty} \int_S |f-f_n|\,d\mu= 0.

لدينا

: \lim_{n\to\infty} \int_S f_n\,d\mu= \int_S f\,d\mu.

النظرية تتبع الآن.

إذا كانت الافتراضات تصمد فقط في كل مكان  ، فهناك مجموعة   بحيث تفي الوظائف *f <sub>n</sub>* **1** *S* \ *N* بالافتراضات في كل مكان على&nbsp;*اس* . ثم يتم تعريف الدالة *f* (*x*) على أنها الحد النقطي لـ *f <sub>n</sub>* (*x*) لـ  وبواسطة  لـ  ، قابلة للقياس وهي الحد النقطي لتسلسل الوظيفة المعدلة. لا تتأثر قيم هذه التكاملات بهذه التغييرات على التكامل في هذه المجموعة μ-null&nbsp;*N* ، لذلك تستمر النظرية في الصمود.

يظل DCT ثابتًا حتى إذا تقارب *f* *n* إلى *f* في المقياس (مقياس محدود) وكانت الوظيفة المسيطرة غير سالبة في كل مكان تقريبًا.

## مناقشة الافتراضات
لا يمكن الاستغناء عن الافتراض القائل بأن التسلسل يسيطر عليه بعض *g* القابلة للتكامل. يمكن رؤية هذا على النحو التالي: حدد  لـ *x* في الفاصل الزمني  و  وإلا. أي *g* تهيمن على التسلسل يجب أن تهيمن أيضًا على النقطة العليا العليا  . لاحظ ان

: \int_0^1 h(x)\,dx \ge \int_{\frac{1}{m}}^1{h(x)\,dx} = \sum_{n=1}^{m-1} \int_{\left(\frac{1}{n+1},\frac{1}{n}\right]}{h(x)\,dx} \ge \sum_{n=1}^{m-1} \int_{\left(\frac{1}{n+1},\frac{1}{n}\right]}{n\,dx}=\sum_{n=1}^{m-1} \frac{1}{n+1} \to \infty \qquad \text{as }m\to\infty 

من خلال تباعد السلسلة التوافقية. ومن ثم، فإن رتابة تكامل لوبيغ تخبرنا أنه لا توجد دالة قابلة للتكامل تهيمن على التسلسل في [0,1]. يظهر الحساب المباشر أن التكامل والحد النقطي لا ينتقلان لهذا التسلسل:

: \int_0^1 \lim_{n\to\infty} f_n(x)\,dx = 0 \neq 1 = \lim_{n\to\infty}\int_0^1 f_n(x)\,dx,

لأن الحد النقطي للتسلسل هو دالة الصفر. لاحظ أن التسلسل (*f <sub>n</sub>*) غير قابل للتكامل بشكل موحد، وبالتالي فإن نظرية التقارب Vitali غير قابلة للتطبيق.

## نظرية التقارب المحدود
إحدى النتائج الطبيعية لنظرية التقارب السائدة هي نظرية **التقارب المحدود** ، والتي تنص على أنه إذا كانت (*f* *n*) عبارة عن سلسلة من الدوال المعقدة ذات القيمة المعقدة والقابلة للقياس والتي تتقارب بشكل نقطي على فضاء قياس محدودة  (أي واحد حيث تكون μ (*S*) محدودة) للدالة *f* ، فإن الحد *f* هو دالة قابلة للتكامل و

: \lim_{n\to\infty} \int_S{f_n\,d\mu} = \int_S{f\,d\mu}.

**ملاحظة:** يمكن تخفيف التقارب النقطي والحدود الموحدة للتسلسل ليحمل فقط  في كل مكان تقريبًا، بشرط أن تكون فضاء القياس  كاملة أو يتم اختيار *f* كوظيفة قابلة للقياس توافق μ في كل مكان تقريبًا مع الحد النقطي الموجود  .

### برهان- إثبات
نظرًا لأن التسلسل مقيد بشكل موحد، فهناك رقم حقيقي *M* مثل هذا  لكل  ولجميع *n* . حدد  لكل  ثم يهيمن على التسلسل *g* . علاوة على ذلك، فإن *g* قابلة للتكامل لأنها دالة ثابتة على مجموعة من القياسات المحدودة. لذلك، تأتي النتيجة من نظرية التقارب المهيمنة.

إذا كانت الافتراضات تصمد فقط في كل مكان  ، فهناك مجموعة   بحيث تفي الوظائف *f <sub>n</sub>* **1** *S* \ *N* بالافتراضات في كل مكان على&nbsp;*اس* .

## مراجع

* 
* 
* 
* 
* 

تصنيف:صفحات بترجمات غير مراجعة
تصنيف:مبرهنات في الاحتمالات
تصنيف:مبرهنات في التحليل الحقيقي
تصنيف:مقالات تحوي براهين