برچسب: almost every where

در شاخه‌ی آنالیز حقیقی، انتگرال ریمانی مفهومی است که در آن به شکلی ارتباط بین یک تابع و مساحت زیر آن را در یک بازه مشخص می‌کند. انتگرال ریمانی کاربردهای فراوانی در علم دارد و البته دچار کاستی‌هایی نیز هست. به منظور رفع کاستی‌های انتگرال ریمانی، ریاضی‌دانان در پی ابداع کردن نظریات انتگرال دیگری برآمدند. یکی از این‌ نظریات، نظریه اندازه‌ و انتگرال لبگ است.

انتگرال ریمانی:

در فضای اعداد حقیقی بازه‌ای چون (a,b) را درنظر بگیرید. انتگرال ریمانی تابع f(x) برروی این بازه، معادل مساحت زیر نمودار تابع است.

مقدار این انتگرال برابر است با:

$S={\int }_a^{b}f(x)dx$

ریمان برای محاسبه‌ی مساحت زیر نمودار و معرفی انتگرال ریمانی، از ایده‌ی قسمت‌بندی کردن بازه‌ای که انتگرال بر روی آن محاسبه می‌شود، استفاده کرد.به بیان ریمان اگر بازه‌ها را به قسمت‌های مساوی تقسیم کنیم به‌گونه‌ای که :$a=x_0<x_1<\dots <x_n=b$ باشد و $\mathrm{\Delta }{x}_i=x_i–x_{i-1}$ . سپس با استفاده از دو مفهوم سوپریمم و اینفیمم (کوچکترین کران بالا و بزرگترین کران پایین) مجموع‌های زیر را تعریف کرد.

$\sum _{i=1}^n{M}_i\mathrm{\Delta }{x}_i=\sum _{i=1}^{n}supf(x)\mathrm{\Delta }{x}_i$

$$\sum _{i=1}^n{m}_i\mathrm{\Delta }{x}_i=\sum _{i=1}^{n}inff(x)\mathrm{\Delta }{x}_i$$

یک تابع انتگرال‌پذیر ریمانی است، هرگاه:

$$\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^n{M}_i\mathrm{\Delta }{x}_i=\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^n{m}_i\mathrm{\Delta }{x}_i$$

هرگاه دو حد بالا موجود و برابر باشند، تابع انتگرال‌پذیر ریمانی است. انتگرال ریمان در شاخه‌های علم محاسبات را تسهیل کرده است، اما با نارسایی‌هایی مواجه است که در ادامه به آن می‌پردازیم.

۱. انتگرال ریمان، یک انتگرال وابسته به وجود حد است.

به این معنی که برای وجود پاسخ انتگرال ریمانی باید دو حد $$\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^{n}supf(x)\mathrm{\Delta }{x}_i$$ و $$\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^{n}inff(x)\mathrm{\Delta }{x}_i$$ موجود باشد. در غیر این صورت، تابع انتگرال‌پذیر نیست.

۲. انتگرال ریمانی به پیوستگی تابع وابسته است.

توابعی که دچار ناپیوستگی‌های اساسی باشند، انتگرال‌پذیر نیستند. (توابع تکه‌ای پیوسته انتگرال‌پذیرند.)

۳.انتگرال ریمانی از R به R تعریف شده است.

یعنی اگر دامنه انتگرال به جای R ، $R^2$ باشد انتگرال ریمانی تعریف نشده است.

انتگرال لبگ و نظریه‌ی اندازه‌ها، کاستی‌های انتگرال لبگ را رفع کرده است و کلاس خاصی از فضای هیلبرت را نیز ساخته است.

اندازه چیست؟

نظریه انتگرال لبگ نیازمند روشی ساختاریافته است که در آن بتواند مفهوم اندازه را معرفی کند. به بیان ساده اندازه تعمیمی از طول، مساحت، و حجم است. بازه‌ی [a,b] را درنظر بگیرید. طول این باز معادل b-a است. حالا دو بازه‌ی کاملا مستقل [a,b] و [c,d] را درنظر بگیرید. به نظر می‌رسد که طول مجموع این دو بازه (b-a)+(d-c) است. اگر بازه‌ها زیرمجموعه‌ی اعداد گنگ باشد چه می‌شود؟ آیا می‌توان به سادگی مفهوم طول را معرفی کرد؟ به نظر می‌رسد این‌جا نیازمند تعاریف دقیق‌تر ریاضی هستیم.

سیگما -جبر

مجموعه‌ای به نام X را درنظر بگیرید. $\mathrm{\Sigma }$ یک مجموعه از زیرمجموعه‌های X است. آن را سیگما-جبر می‌گوییم، هرگاه ویژگی‌های زیر را داشته باشد.

• X و تهی عضو سیگما باشند.
• اگر E عضو سیگما بود، متمم آن نیز عضو سیگما باشد.
• اجتماع تعداد شمارایی از اعضای سیگما، مجددا عضو سیگما باشند.

حال با دانستن تعریف سیگما- جبر به سراغ مفهوم اندازه می‌رویم؛

تابع اندازه ، $\mu (X)$،برروی مجموعه‌ی X تعریف می‌شوند که X سیگما-جبر است. این تابع دارای خواص زیر است.

۱. اگر X مجموعه تهی یا تک‌عضوی باشد، اندازه آن صفر است. در غیر این صورت، اندازه آن همواره مثبت است.

۲.اندازه‌ی مجموع دو مجموعه‌ی بدون اشتراک برابر با مجموع اندازه‌های هرکدام از مجموعه‌هاست. یعنی:

$$\mu (X_1+X_2)=\mu (X_1)+\mu (X_2)$$

هرگاه

$$X_1\cap X_2=\varphi$$

اندازه لبگ

مهم‌ترین قسمت انتگرال‌گیری لبگ، یافتن اندازه برروی مجموعه‌ای است که روی آن انتگرال اعمال می‌شود. اگر یک مجموعه شامل ناپیوستگی‌های بسیار باشد، باید راهی پیدا کنیم تا بتوانیم اندازه را بر روی این مجموعه‌ تعریف کنیم. حاصل کار اندازه‌ی لبگ است. با یک مثال ساده، انتگرال لبگ را تعریف می‌کنیم. بازه‌ی بسته‌ [a,b] به طول L را در نظر بگیرید. این بازه را می‌توانیم به دو بازه با اشتراک صفر تقسیم کنیم. مجموعه X شامل نقاطی که عضو [a,b] هستند و ‘X (متمم مجموعهX) شامل نقاطی از [a,b] است که در X وجود ندارد. تصویر زیر را نگاه کنید.

می‌خواهیم اندازه لبگ را بر روی این دو مجموعه تعریف کنیم. بدین منظور، X را با بازه‌های بدون اشتراک${\mathrm{\Lambda }}_i$نشان می‌دهیم. در بیان نظریه مجموعه‌ها، داریم:

$${\mathrm{\Lambda }}_i\subset [a,b]$$

$${\mathrm{\Lambda }}_i\cap {\mathrm{\Lambda }}_j=\varphi$$

$$X\subset ({\mathrm{\Lambda }}_1+{\mathrm{\Lambda }}_2+\dots )$$

اگر طول بازه ${\mathrm{\Lambda }}_k$ را معادل $l_k$ بدانیم، از آنجا که طول بازه [a,b] برابر L است، نامساوی زیر صادق است.

$$0⩽{\mathrm{\Sigma }}_k{l}_k⩽L$$

کمترین مقدار ${\mathrm{\Sigma }}_k{l}_k$ را اندازه بیرون می‌نامیم. به بیان دیگر :

$${\mu }_{out}(X)=inf({\mathrm{\Sigma }}_k{l}_k)$$

به همین ترتیب، مجموعه‌های ${\mathrm{\Lambda }}_k^{\prime }\subset [a,b]$ را معرفی می‌کنیم.

$$X^{\prime }\subset ({\mathrm{\Lambda }}_1^{\prime }+{\mathrm{\Lambda }}_2^{\prime }+\dots )$$

$$0⩽{\mathrm{\Sigma }}_k{l}_k^{\prime }⩽L$$

و اندازه داخل را به فرم ${\mu }_{in}(X)=L-{\mu }_{out}(X^{\prime })=L-inf({\mathrm{\Sigma }}_{k}l{k}^{\prime })$ معرفی می‌کنیم. ضمنا

$$0⩽{\mu }_{in}(X)⩽{\mu }_{out}(X)$$

زمانی ${\mu }_{in}(X)={\mu }_{out}(X)$ شود، آنگاه ${\mu }_{in}(X)={\mu }_{out}(X)=\mu (X)$ و $\mu (X)$ اندازه لبگ است.

انتگرال لبگ چیست؟

تابع f(x) را به‌گونه‌ای در نظر بگیرید که از بالا و پایین توسط بیشینه و کمینه خود محدود شده است.

$$0⩽f_{min}⩽f(x)⩽f_{max}$$

تابع f(x) را به دنباله‌ی $f_k$ تقسیم می‌کنیم به طوری که، $f_1=f_{min}$ و $f_n=f_{max}$ باشد. با توجه به تناظر یک به یک بین x و f(x) مجموعه‌های $X_i$ وجود دارند به گونه‌ای که:

$$f_k⩽f(x)⩽f_{k+1},x\in X_k,1⩽k⩽n-1$$

برای هر مجموعه $X_k$، اندازه‌ای درنظر می‌گیریم و اکنون می‌توانیم مجموع لبگ را تعریف کنیم.

$${\mathrm{\Sigma }}_{k=1}^n{f}_k\mu (X_k)$$

اگر در $n\to \mathrm{\infty }$ این مجموع همگرا شود، آنگاه می‌توان انتگرال لبگ را تعریف کرد.

$${\int }_{X}fd\mu \equiv li{m}_{max|f_k-f_{k-1}|\to 0}[{\mathrm{\Sigma }}_{k=1}^n{f}_k\mu (X_k)]$$

انتگرال ریمان و انتگرال لبگ

اکنون قصد دارم انتگرال ریمان را به روش انتگرال لبگ تعریف کنم تا بهتر متوجه شباهت‌ها و تفاوت‌های آنها شویم.

تابع f(x) که در بازه‌ی [a,b] تعریف شده را در نظر بگیرید. اگر $X=[a,b]$ را به بازه‌های بدون اشتراک $X_i$ تقسیم کنیم، مجموع ریمان به فرم زیر تعریف می‌شود.

$${\mathrm{\Sigma }}_{k=1}^{n}f({\xi }_k)\mu (X_k),{\xi }_k\in X_k$$

این مجموع به‌گونه‌ای تعریف شده است که هر گاه $n\to \mathrm{\infty }$ برای هر $X_k$ ، $\mu (X_k)...\to 0$ در صورت وجود حد $\underset{n\to \mathrm{\infty }}{lim}{\mathrm{\Sigma }}_{k=1}^{n}f({\xi }_k)\mu (X_k)$ این مجموع، انتگرال ریمان تابع f(x) بر X است.

اگرچه تعریف مجموع لبگ با مجموع ریمان که در بالا تعریف کردیم، شباهت‌هایی دارد،اما تفاوت‌های اساسی در این دو مجموع مشهود است. در مجموع ریمان، f(x) را در هر نقطه‌ی دلخواه ${\xi }_i\in X_i$ درنظر می‌گیریم. اما در مجموع لبگ مقدار f(x) را در هر زیرمجموعه $X_k$ درنظر می‌گیریم. به این‌ترتیب برای وجود انتگرال لبگ نیازی به شرط هموار بودن موضعی تابع نداریم. به دو شکل زیر نگاه کنید تا آنچه که اینجا بیان شده است، بهتر مشخص شود.

ویژگی‌های انتگرال لبگ

۱. انتگرال لبگ یک تابع صفر است، هرگاه اندازه‌ی مجموعه‌ی آن صفر باشد.

۲. انتگرال لبگ یک تابع متناهی است، لذا زیرمجموعه‌ی $X^{\prime }=\{x|f(x)=\pm \mathrm{\infty }\}$ وجود دارد به‌طوری که$\mu (X^{\prime })=0$ به بیان دیگر، زمانی که f(x) همگراست، الزاما اندازه مجموعه‌هایی که در آن f(x) واگراست، صفر است.

۳.${\int }_{X}f(x)d\mu$ متناهی است و $X^{\prime }\subset X$. اگر $\mu (X^{\prime })\to 0$، آنگاه ${\int }_{X^{\prime }}fd\mu \to \mathrm{\infty }$.

۴. زمانی که f(x) برروی X مقادیر مثبت و منفی را اختیار کند، انتگرال لبگ به صورت زیر تعریف می‌شود.

$${\int }_{X}fd\mu ={\int }_X{f}^{+}d\mu +{\int }_X{f}^{-}d\mu$$

$${\int }_X|f|d\mu ={\int }_X{f}^{+}d\mu –{\int }_X{f}^{-}d\mu$$

برابری تقریبا همه‌جا

در قسمت‌های قبل مشاهده کردیم زمانی که اندازه‌ی مجموعه‌ای صفر باشد، آنگاه آن مجموعه دخالتی در انتگرال لبگ ندارد. همین ویژگی منجر به مفهوم «برابری تقریبا همه‌جا» برای توابع اندازه‌پذیر شد. این ویژگی نقش بسیار مهمی در توسعه آنالیز تابعی دارد.

می‌گوییم دو تابع f(x) و g(x) که برروی مجموعه X تعریف شده‌اند، تقریبا همه‌جا با هم برابرند، هرگاه:

$$\mu \{x\in X:f(x)\ne g(x)\}=0$$

فضای $L^p$

فضای $L^p$، فضایی است که توسط توابع مختلط f(x) ساخته می‌شود. در این فضا $|f{|}^p$ انتگرال‌پذیرلبگ است. اگر p=2 باشد، $L^2$ عضوی از فضاهای هیلبرت است. زمانی که $p\ne 2$ باشد، فضای $L^p$ خاصیت ضرب داخلی خود را از دست می‌دهد، اما $L^p$ همچنان فضای کامل است.

منابعی برای یادگیری نظریه اندازه و انتگرال لبگ:

در دانشکده‌های علوم ریاضی برای یادگیری این مباحث، عمدتا کتاب‌های قدیمی و معروف آنالیز حقیقی معرفی می‌شوند. از آنجا که من فکر می‌کنم با تغییر نسل‌ها، منابع آموزشی نیز باید تغییر کنند کتاب‌هایی را معرفی می‌کنم که اولا در دهه‌ی اخیر تالیف شده‌اند. ثانیا، ادبیات و نحوه‌ی روایت آن با ذهن کسانی که کمتر با ریاضیات مجرد آشنایی دارند، قرابت بیشتری دارد.

Functional anlysis for physics and engineering, Shima Hiroyuki 2016

A short course on the Lebesgue integral and measure theory, Steve Cheng

Elementary introduction to the lebesgue integral. Steve G.Krantz 2018