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

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

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

المبرهنةعدل

مبرهنة التقارب المحدود ليبسج. [1] يترك   تكون سلسلة من الوظائف ذات القيمة المعقدة والقابلة للقياس على فضاء قياس   . افترض أن التسلسل يتقارب بشكل نقطي مع دالة   وتهيمن عليها بعض الوظائف القابلة للتكامل   بمعنى أن

 

لجميع الأرقام ن في مجموعة الفهرس للتسلسل وجميع النقاط   . إذن، f قابلة للتكامل (بمعنى Lebesgue) و

 

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

 

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

 

ملاحظة 2. تقارب التسلسل والهيمنة بها   يمكن استرخاء لعقد فقط μ- في كل مكان تقريبًا بشرط أن تكون فضاء القياس (S, Σ, μ) كاملة أو   يتم اختياره كوظيفة قابلة للقياس توافق μ-almost مع الحد النقطي الموجود في كل مكان μ-almost . (هذه الاحتياطات ضرورية، لأنه بخلاف ذلك قد توجد مجموعة فرعية غير قابلة للقياس من مجموعة μ-null N ∈ Σ ، وبالتالي   قد لا تكون قابلة للقياس.)

ملاحظة 3. إذا   ، شرط وجود دالة سائدة قابلة للتكامل   يمكن تخفيفها إلى تكامل منتظم للتسلسل (f n)، انظر نظرية التقارب Vitali .

ملاحظة 4. في حين   هل Lebesgue قابل للتكامل، فهو ليس ريمان قابلاً للتكامل بشكل عام. على سبيل المثال، خذ f n ليتم تعريفها في   بحيث يكون واحدًا في عدد نسبي من النموذج   ، مع k و m coprime و   ، وصفر في كل مكان آخر. تتقارب السلسلة (f n) بشكل نقطي إلى 0، لذا فإن f تساوي صفرًا بشكل مماثل، ولكن   ريمان غير قابل للتكامل، لأن صورته في كل فترة زمنية محدودة   وبالتالي فإن تكامل Darboux العلوي والسفلي هما 1 و 0 على التوالي.

برهان - إثباتعدل

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

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

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

 

لكل n وايضًا

 

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

 

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

 

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

 

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

 

لدينا

 

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

إذا كانت الافتراضات تصمد فقط في كل مكان μ-almost ، فهناك مجموعة μ-null N ∈ Σ بحيث تفي الوظائف f n 1 S \ N بالافتراضات في كل مكان على اس . ثم يتم تعريف الدالة f (x) على أنها الحد النقطي لـ f n (x) لـ xS \ N وبواسطة f(x) = 0 لـ xN ، قابلة للقياس وهي الحد النقطي لتسلسل الوظيفة المعدلة. لا تتأثر قيم هذه التكاملات بهذه التغييرات على التكامل في هذه المجموعة μ-null N ، لذلك تستمر النظرية في الصمود.

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

مناقشة الافتراضاتعدل

لا يمكن الاستغناء عن الافتراض القائل بأن التسلسل يسيطر عليه بعض g القابلة للتكامل. يمكن رؤية هذا على النحو التالي: حدد fn(x) = n لـ x في الفاصل الزمني (0, 1/n] و fn(x) = 0 وإلا. أي g تهيمن على التسلسل يجب أن تهيمن أيضًا على النقطة العليا العليا h = supn fn . لاحظ ان

 

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

 

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

نظرية التقارب المحدودعدل

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

 

ملاحظة: يمكن تخفيف التقارب النقطي والحدود الموحدة للتسلسل ليحمل فقط μ- في كل مكان تقريبًا، بشرط أن تكون فضاء القياس (S, Σ, μ) كاملة أو يتم اختيار f كوظيفة قابلة للقياس توافق μ في كل مكان تقريبًا مع الحد النقطي الموجود μ-almost .

برهان- إثباتعدل

نظرًا لأن التسلسل مقيد بشكل موحد، فهناك رقم حقيقي M مثل هذا |fn(x)| ≤ M لكل xS ولجميع n . حدد g(x) = M لكل xS ثم يهيمن على التسلسل g . علاوة على ذلك، فإن g قابلة للتكامل لأنها دالة ثابتة على مجموعة من القياسات المحدودة. لذلك، تأتي النتيجة من نظرية التقارب المهيمنة.

إذا كانت الافتراضات تصمد فقط في كل مكان μ-almost ، فهناك مجموعة μ-null N ∈ Σ بحيث تفي الوظائف f n 1 S \ N بالافتراضات في كل مكان على اس .

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

يترك   تكون فضاء قياس،   عدد حقيقي و   تسلسل من   وظائف قابلة للقياس   .

افترض التسلسل   يتقارب   -في كل مكان تقريبًا إلى ملف   وظيفة قابلة للقياس   ، ويهيمن عليها أ   (راجع. Lp space)، أي لكل رقم طبيعي   نملك:   ، μ- في كل مكان تقريبًا.

ثم كل   إلى جانب   يكون في   والتسلسل   يتقارب إلى   بمعنى <span about="#mwt138" class="mwe-math-element" data-mw="{&quot;name&quot;:&quot;math&quot;,&quot;attrs&quot;:{},&quot;body&quot;:{&quot;extsrc&quot;:&quot;L^p&quot;}}" id="10" typeof="mw:Extension/math"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msup> <mi>L</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>p</mi> </mrow> </msup> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle L^{p}}</annotation> </semantics> </math></span><img alt="L^{p}" aria-hidden="true" class="mwe-math-fallback-image-inline" data-cx="{&quot;adapted&quot;:false}" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/cf2317aaca1ecee4b8ccf667bc1001059eae5850" style="vertical-align: -0.338ex; width:2.642ex; height:2.343ex;"></span> ، بمعنى آخر:

 

فكرة الإثبات: طبق النظرية الأصلية على تسلسل الوظيفة   مع الوظيفة المسيطرة   .

مراجععدل

  1. ^ For the real case, see Evans، Lawrence C؛ Gariepy، Ronald F (2015). Measure Theory and Fine Properties of Functions. CRC Press. ص. Theorem 1.19.