مبرهنة التقارب المحدود  في نظرية القياس، توفر مبرهنة التقارب المحدود في Lebesgue شروطًا كافية والتي بموجبها يشير تقارب سلسلة من الوظائف في كل مكان تقريبًا إلى التقارب في قاعدة "L" . تعد قوتها وفائدتها من المزايا النظرية الأساسية لتكامل Lebesgue على تكامل Riemann .  بالإضافة إلى ظهوره المتكرر في التحليل الرياضي والمعادلات التفاضلية الجزئية، فإنه يستخدم على نطاق واسع في نظرية الاحتمالات، لأنه يعطي شرطًا كافيًا لتقارب القيم المتوقعة للمتغيرات العشوائية.  مبرهنة التقارب المحدود ليبسج. يترك formula_1 تكون سلسلة من الوظائف ذات القيمة المعقدة والقابلة للقياس على فضاء قياس . افترض أن التسلسل يتقارب بشكل نقطي مع دالة formula_2 وتهيمن عليها بعض الوظائف القابلة للتكامل formula_3 بمعنى أن  لجميع الأرقام "ن" في مجموعة الفهرس للتسلسل وجميع النقاط formula_5 . إذن، "f" قابلة للتكامل (بمعنى Lebesgue) و  مما يعني أيضًا  ملاحظة 1. العبارة «"g" قابلة للتكامل» تعني تلك الوظيفة القابلة للقياس formula_3 هل Lebesgue قابل للتكامل؛ بمعنى آخر  ملاحظة 2. تقارب التسلسل والهيمنة بها formula_3 يمكن استرخاء لعقد فقط في كل مكان تقريبًا بشرط أن تكون فضاء القياس كاملة أو formula_2 يتم اختياره كوظيفة قابلة للقياس توافق مع الحد النقطي الموجود في كل مكان . (هذه الاحتياطات ضرورية، لأنه بخلاف ذلك قد توجد مجموعة فرعية غير قابلة للقياس من مجموعة ، وبالتالي formula_2 قد لا تكون قابلة للقياس.)  ملاحظة 3. إذا formula_13 ، شرط وجود دالة سائدة قابلة للتكامل formula_3 يمكن تخفيفها إلى تكامل منتظم للتسلسل ("f ")، انظر نظرية التقارب Vitali .  ملاحظة 4. في حين formula_2 هل Lebesgue قابل للتكامل، فهو ليس ريمان قابلاً للتكامل بشكل عام. على سبيل المثال، خذ "f" ليتم تعريفها في formula_16 بحيث يكون واحدًا في عدد نسبي من النموذج formula_17 ، مع و coprime و formula_18 ، وصفر في كل مكان آخر. تتقارب السلسلة ("f" ) بشكل نقطي إلى 0، لذا فإن "f" تساوي صفرًا بشكل مماثل، ولكن formula_19 ريمان غير قابل للتكامل، لأن صورته في كل فترة زمنية محدودة formula_20 وبالتالي فإن تكامل Darboux العلوي والسفلي هما 1 و 0 على التوالي.  بدون فقدان العمومية، يمكن للمرء أن يفترض أن "f" حقيقية، لأنه يمكن للمرء أن يقسم "f" إلى أجزائه الحقيقية والخيالية (تذكر أن سلسلة من الأعداد المركبة تتقارب إذا وفقط في حالة تقارب نظرائها الحقيقيين والخياليين) وتطبيق متباينة المثلث في نهايةالمطاف.  إن نظرية التقارب المهيمن لدى ليبسج هي حالة خاصة من نظرية فاتو ليبزيج. ومع ذلك، يوجد أدناه دليل مباشر يستخدم فاتو ليمما كأداة أساسية.  نظرًا لأن "f" هو الحد النقطي للتسلسل ("f" ) للوظائف القابلة للقياس التي تهيمن عليها "g" ، فهي أيضًا قابلة للقياس وتهيمن عليها "g" ، وبالتالي فهي قابلة للتكامل. علاوة على ذلك، (ستكون هناك حاجة إلى هذه لاحقًا)،  لكل "n" وايضًا  والثاني صحيح تمامًا (حسب تعريف "f"). باستخدام الخطية والرتابة لتكامل Lebesgue ،  بالعكس فاتو ليما (هنا نستخدم حقيقة أن | "f" - "f " | مقيد بدالة قابلة للتكامل)  مما يعني أن الحد موجود ويختفي أي  أخيرًا، بما أن  لدينا  النظرية تتبع الآن.  إذا كانت الافتراضات تصمد فقط في كل مكان ، فهناك مجموعة بحيث تفي الوظائف "f " 1 بالافتراضات في كل مكان على "اس" . ثم يتم تعريف الدالة "f" ("x") على أنها الحد النقطي لـ "f " ("x") لـ وبواسطة لـ ، قابلة للقياس وهي الحد النقطي لتسلسل الوظيفة المعدلة. لا تتأثر قيم هذه التكاملات بهذه التغييرات على التكامل في هذه المجموعة μ-null "N" ، لذلك تستمر النظرية في الصمود.  يظل DCT ثابتًا حتى إذا تقارب "f" إلى "f" في المقياس (مقياس محدود) وكانت الوظيفة المسيطرة غير سالبة في كل مكان تقريبًا.  لا يمكن الاستغناء عن الافتراض القائل بأن التسلسل يسيطر عليه بعض "g" القابلة للتكامل. يمكن رؤية هذا على النحو التالي: حدد لـ "x" في الفاصل الزمني و وإلا. أي "g" تهيمن على التسلسل يجب أن تهيمن أيضًا على النقطة العليا العليا . لاحظ ان  من خلال تباعد السلسلة التوافقية. ومن ثم، فإن رتابة تكامل Lebesgue تخبرنا أنه لا توجد دالة قابلة للتكامل تهيمن على التسلسل في [0,1]. يظهر الحساب المباشر أن التكامل والحد النقطي لا ينتقلان لهذا التسلسل:  لأن الحد النقطي للتسلسل هو دالة الصفر. لاحظ أن التسلسل ("f ") غير قابل للتكامل بشكل موحد، وبالتالي فإن نظرية التقارب Vitali غير قابلة للتطبيق.  إحدى النتائج الطبيعية لنظرية التقارب السائدة هي نظرية التقارب المحدود ، والتي تنص على أنه إذا كانت ("f" ) عبارة عن سلسلة من الدوال المعقدة ذات القيمة المعقدة والقابلة للقياس والتي تتقارب بشكل نقطي على فضاء قياس محدودة (أي واحد حيث تكون μ ("S") محدودة) للدالة "f" ، فإن الحد "f" هو دالة قابلة للتكامل و  ملاحظة: يمكن تخفيف التقارب النقطي والحدود الموحدة للتسلسل ليحمل فقط في كل مكان تقريبًا، بشرط أن تكون فضاء القياس كاملة أو يتم اختيار "f" كوظيفة قابلة للقياس توافق μ في كل مكان تقريبًا مع الحد النقطي الموجود .  نظرًا لأن التسلسل مقيد بشكل موحد، فهناك رقم حقيقي "M" مثل هذا لكل ولجميع "n" . حدد لكل ثم يهيمن على التسلسل "g" . علاوة على ذلك، فإن "g" قابلة للتكامل لأنها دالة ثابتة على مجموعة من القياسات المحدودة. لذلك، تأتي النتيجة من نظرية التقارب المهيمنة.  إذا كانت الافتراضات تصمد فقط في كل مكان ، فهناك مجموعة بحيث تفي الوظائف "f " 1 بالافتراضات في كل مكان على "اس" .  يترك formula_32 تكون فضاء قياس، عدد حقيقي و formula_1 تسلسل من formula_34 وظائف قابلة للقياس formula_35 .  افترض التسلسل formula_1 يتقارب formula_37 -في كل مكان تقريبًا إلى ملف formula_34 وظيفة قابلة للقياس formula_2 ، ويهيمن عليها أ formula_40 (راجع. Lp space)، أي لكل رقم طبيعي formula_41 نملك: formula_42 ، μ- في كل مكان تقريبًا.  ثم كل formula_43 إلى جانب formula_2 يكون في formula_31 والتسلسل formula_1 يتقارب إلى formula_2 بمعنى <nowiki>formula_48</nowiki><nowiki></nowiki><nowiki><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;"></nowiki><nowiki></nowiki> ، بمعنى آخر:  فكرة الإثبات: طبق النظرية الأصلية على تسلسل الوظيفة formula_50 مع الوظيفة المسيطرة formula_51 .