قضیه تفکیک لبگ در نظریه اندازه — به زبان ساده

۳۴۱ بازدید
آخرین به‌روزرسانی: ۱۴ آذر ۱۴۰۱
زمان مطالعه: ۸ دقیقه
قضیه تفکیک لبگ در نظریه اندازه — به زبان ساده

در ریاضیات و بخصوص نظریه اندازه (Measure Theory)، قضیه تجزیه یا تفکیک لبگ (Lebesgue's Decomposition theorem) نقش مهمی ایفا می‌کند و نتایج و قضیه‌های متعددی از آن بهره می‌برند. این قضیه نشان می‌دهد که هر اندازه علامت‌دار سیگما-متناهی را می‌توان به دو اندازه علامت دار سیگما متناهی دیگر تفکیک کرد که نسبت به یک اندازه دیگر مطلقا پیوسته باشد. اهمیت این موضوع بخصوص در نظریه احتمال (Probability Theory) محسوس است. به همین دلیل این نوشتار از مجله فرادرس را به قضیه تفکیک لبگ در نظریه اندازه اختصاص داده‌ایم.

997696

برای آشنایی بیشتر با نظریه احتمال و اندازه بهتر است نوشتارهای دیگر مجله فرادرس با عنوان نظریه اندازه در ریاضیات — مفاهیم و کاربردها و نظریه احتمال و کاربردهای آن — به زبان ساده را مطالعه کنید. همچنین خواندن نوشتارهای تجزیه هان و کاربردهای آن — به زبان ساده و قضیه رادون نیکودیم و اثبات آن — به زبان ساده نیز خالی از لطف نیست.

قضیه تفکیک لبگ در نظریه اندازه

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

  • معرفی اندازه سیگما-متناهی
  • معرفی اندازه علامت دار
  • معرفی اندازه مطلقا پیوسته
  • معرفی اندازه سیگما-متناهی
  • معرفی اندازه‌های منفرد

معرفی اندازه سیگما-متناهی

یک فضای اندازه‌پذیر مثل (X,A)(X , A) را در نظر بگیرید که اندازه μ\mu در آن تعریف شده است. مقادیر این اندازه، اعداد حقیقی مثبت بوده و البته متناهی است. در این حالت اگر مجموعه EE را عضوی از میدان سیگمایی AA در نظر بگیریم، خواهیم داشت:

\large \mu(E) < \infty , \forall E \in A

با توجه به توضیحات گفته شده، اندازه μ\mu را در فضای (X,A)(X, A)، یک اندازه سیگما-متناهی (σ finite measure\sigma-\text{ finite measure}) می‌نامند، اگر هر کدام از شرایط زیر برقرار باشند.

  • اگر مجموعه XX توسط تعداد شمارش‌پذیر از مجموعه‌های شمارش‌پذیر با اندازه متناهی، پوشش (Covered) داده شود. بنابراین اگر NN مجموعه اعداد طبیعی (Natural Numbers) بوده و اگر A1,A2,,AAA_1 , A_2 , \ldots, A \in A که در آن‌‌ها \mu(A_i) < \infty هستند، داریم:

iNAi=X \large \cup_{ i \in N} A_i = X

  • اگر مجموعه XX را بتوان بواسطه تعداد شمارش‌پذیر مجموعه‌های اندازه‌پذیر جدا از هم (Disjoint) پوشش داد. بدیهی است که اندازه هر یک از این مجموعه‌ها نیز باید متناهی باشند. بنابراین اگر این مجموعه‌های جدا از هم را با B1,B2,AB_1 , B_2 , \ldots \in A‌ مشخص کنیم، داریم:

\large \mu(B_i) < \infty , \;\; B_i \cap B_j = \emptyset , \;\; \cup_{i \in N} B_i = X

  • اگر مجموعه XX را بتوان بواسطه دنباله‌ای یکنوا (Monotone Sequence) به صورت صعودی یا نزولی و شمارش‌پذیر از مجموعه‌های با اندازه متناهی اندازه‌پذیر پوشش داد. بنابراین اگر C1,C2,AC_1, C_2 , \ldots \in A با ویژگی C1C2,C_1 \subset C_2 , \ldots باشند که برای هر یک از آن‌ها \mu(C_i) < \infty، آنگاه iNCi=X \cup_{i \in N} C_i = X.
  • اگر تابعی مثبت و انتگرال‌پذیر و اندازه‌پذیری مثل ff روی اندازه μ\mu وجود داشته باشد. به این معنی که تابع ff‌ در رابطه زیر صدق کند.

\large \int f(x) \mu(dx) < \infty

در این حالت با فرض آن که اندازه مورد نظر، مثلا μ\mu یک اندازه سیگما-متناهی باشد، فضای اندازه (X,A,μ)(X , A , \mu) را یک فضای اندازه سیگما-متناهی (σfinite measure space\sigma-\text{finite measure space}) می‌نامند.

«اندازه‌ شمارشی» (Counting Measure) و «اندازه لبگ» (Lebesgue Measure) جزء گروه اندازه‌های سیگما-متناهی به ترتیب در فضای اعداد طبیعی و حقیقی هستند.

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

Henri Lebesgue
هنری لبگ، ریاضیدان فرانسوی

معرفی اندازه علامت دار

یک تعمیم روی اندازه (Measure) در نظریه اندازه، «اندازه علامت‌دار» (Signed Measure) است. از آنجایی در نظریه اندازه، مقادیر منفی جایی ندارند، اندازه علامت‌دار برای تعمیم مفهوم اندازه به کار رفت. یکی از کاربردهای جالب اندازه علامت‌دار در «قضیه تفکیک هان» (Hahn Decomposition Theorem) و «قضیه تفکیک جردن» (Jordan Decomposition Theorem) نهفته است که مشخص می‌کند که هر اندازه علامت‌دار را می‌توان به دو اندازه عادی تفکیک کرد.

فضای اندازه‌پذیر (X,Σ)(X , \Sigma) را در نظر بگیرید که در ان XX یک مجموعه با میدان سیگمایی Σ\Sigma است. به این ترتیب همه مجموعه‌هایی که در ادامه مورد بحث قرار می‌گیرند متعلق به Σ\Sigma هستند.

معمولا اندازه علامت‌دار را «متناهی» (Finite) در نظر می‌گیرند به این معنی که μ\mu را یک اندازه علامت‌دار می‌نامند اگر دو مقدار ++\infty و -\infty برایش مجاز نباشند. به مفهوم دقیق‌تر اگر مجموعه مقادیر اندازه علامت‌دار، مجموعه اعداد حقیقی باشد.

به همین ترتیب μ\mu را «اندازه علامت‌دار تعمیم یافته» (Extended Signed Measure) می‌نامند اگر به شکل زیر معرفی شده و مجموعه مقادیر آن اعداد حقیقی تعمیم یافته (اعداد حقیقی به همراه ++\infty و -\infty)‌ باشد.

μ:ΣR{+,} \large \mu : \Sigma \rightarrow R \cup \{ +\infty , -\infty\}

در این صورت با شرط سیگما جمع‌پذیری (Sigma Additive) و مشخص بودن μ()=0\mu( \emptyset) = 0 برای اندازه μ\mu خواهیم داشت:

 μ(n=1An)=n=1μ(An)\large  \mu \left( \bigcup_{n = 1}^{ \infty} A_n \right) = \sum_{n = 1 }^{\infty} \mu( A_n )

به شرطی که سری سمت راست در تساوی بالا، «مطلقا همگرا» (Converge Absolutely) بوده و AiA_iها دنباله‌ای از مجموعه‌های جدا از هم در Σ \Sigma باشند.

Hahn_Hans
هانس هان، ریاضیدان اتریشی

معرفی اندازه مطلقا پیوسته

در حسابان، خاصیت «پیوستگی مطلق» (Absolute Continuity)، نشانگر همواری منحنی تابع است که از «پیوستگی» (Continuity) و «پیوستگی یکنواخت» (Uniform Continuity)، شرط قوی‌تری است. به این معنی که می‌توان هر تابع مطلقا پیوسته را پیوسته یا پیوسته یکنواخت نامیده ولی اگر تابع پیوسته یا پیوسته یکنواخت باشد، دلیلی بر مطلقا پیوستگی آن وجود ندارد.

در این بحث، پیوستگی تابع به صورت یکنواخت و بدون پرش بودن تابع ff هنگام تغییرات روی متغیر یعنی xx در نظر گرفته می‌شود. به این ترتیب تابع ff روی مقادیر دامنه‌اش که مجموعه مقادیر xx را تشکیل می‌دهد، پیوسته است. همین امر هم در مورد اندازه‌ها مورد بررسی قرار می‌گیرد و پیوستگی یک اندازه براساس اندازه‌ دیگر، شرط پیوسته بودن اندازه خواهد بود.

ابتدا براساس بحث حد توابع، موضوع مطلقا پیوستگی را مورد بررسی قرار داده، سپس گزاره‌های معادل با آن را می‌آوریم.

تعریف ϵ\epsilon و δ\delta برای مطلقا پیوستگی تابع

در این قسمت ff را یک تابع روی یک بازه مثل II در نظر گرفته که برد آن اعداد حقیقی است. پس در این حالت می‌نویسیم:

f:IR \large f : I \rightarrow R

آنگاه تابع ff را روی II، مطلقا پیوسته گویند اگر δ\delta مثبتی وجود داشته باشد که برای هر دنباله‌ای از زیرفاصله‌های مجزا مانند (xk,yk)(x_k,y_k) از II رابطه زیر برقرار باشد.

\large \sum_k (x_k - y_k) < \delta \rightarrow \sum_k |f(x_k) - f(y_k) | < \epsilon ,  \;;\; \forall x_k

معمولا برای نمایش مطلقا پیوستگی تابع FF روی بازه II از عبارت AC(I)AC(I) استفاده می‌شود. با توجه به تعریف ارائه شده، گزاره‌های زیر برای تابع مطلقا پیوسته، معادل هستند.

  • تابع ff مطلقا پیوسته است.
  • تابع ff تقریبا همه‌جا (Almost everywhere) مشتق‌پذیر با مشتق ff' است بطوری که:

f(x)=f(a)+axf(t)dt,    x[a,b] \large f(x) = f(a) + \int_{a}^{x} f'(t)dt , \;\; x \in [a,b]

  • تابعی انتگرال‌پذیر gg روی بازه [a,b][a,b] وجود دارد که با شرط f=gf' = g رابطه زیر تقریبا همه جا برقرار است.

f(x)=f(a)+axg(t)dt,    x[a,b] \large f(x) = f(a) + \int_{a}^{x} g(t) dt ,\;\; x \in [a,b]

نکته: رابطه اول و سوم در کنار یکدیگر، «قضیه اساسی مشتق و انتگرال لبگ در حسابان» (Fundamental Theorem of Lebesgue Integral Calculus) را تشکیل می‌دهد.

continuous function

تعریف مطلقا پیوستگی اندازه

دو اندازه μ\mu‌ و ν\nu را در یک فضای اندازه‌پذیر (X,Σ)(X , \Sigma) در نظر بگیرید. اندازه ν\nu را نسبت به μ\mu، مطلقا پیوسته گویند اگر هر یک از رابطه‌های زیر برقرار باشد:

  • اگر μ(A)=0\mu(A) = 0 آنگاه ν(A)=0\nu(A) = 0 برای هر AXA \in X. در این حالت می‌نویسیم:

\large \forall A \in X, (\mu(A) = 0 \rightarrow \nu(A) = 0 ), \;\;\;\;  \nu \text{ dominated by } \mu , \text{ or, } \nu << \mu

  • برای هر \epsilon >0، وجود دارد \delta >0 که به ازای آن‌ها \mu(A) < \delta نتیجه می‌دهد \nu(A) < \epsilon.

نکته: گاهی مطلقا پیوستگی را با اصطلاح «تحت تسلط بودن» (Dominated) نیز به کار می‌برند و مثلا می‌گویند که اندازه ν\nu تحت تسلط اندازه μ\mu است.

معرفی اندازه‌های منفرد

در ریاضیات، دو اندازه (اندازه علامت‌دار یا مختلط) مثل μ\mu و ν\nu که روی یک فضای اندازه‌پذیر مثل (X,Σ)(X,\Sigma) تعریف شده‌اند را منفرد گوییم اگر دو مجموعه جدا از هم مثل AA و BB در Σ\Sigma وجود داشته باشد که اجتماع آن‌ها کل XX را ساخته و اندازه μ\mu برای تمام زیرمجموعه‌های BB صفر و اندازه ν\nu روی تمام زیرمجموعه‌های AA نیز صفر باشد. در این صورت دو اندازه μ\mu و ν\nu را نسبت به یکدیگر «منفرد» (Singular) می‌نامند.

نکته: با توجه به اینکه AA و BB افرازی از XX هستند، داریم: A=XBA = X -B

قضیه تفکیک لبگ اندازه علامت‌دار سیگما-متناهی

همانطور که اشاره شد، قضیه تفکیک لبگ در نظریه اندازه، مرتبط با دو اندازه علامت‌دار و سیگما متناهی (σ-finite singed measure\sigma \text{-finite singed measure}) است که نشان می‌دهد قابلیت تفکیک چنین اندازه‌هایی به دو اندازه با همین خصوصیات وجود دارد. بنابراین اگر (X,Σ)(X, \Sigma) را یک فضای اندازه‌پذیر و μ\mu و ν\nu را دو اندازه علامت‌دار سیگما-متناهی در نظر بگیریم، می‌توان دو اندازه مثل ν1\nu_1 و ν0\nu_0 پیدا کرد که در روابط زیر صدق کنند.

  • می‌توان اندازه ν\nu را به صورت مجموعه دو اندازه علامت‌دار و سیگما متناهی نوشت:

ν=ν0+ν1 \large \nu = \nu_0 + \nu_1

یکی از اندازه‌های علامت‌دار و سیگما-متناهی (مثلا ν0\nu_0) نسبت به μ\mu مطلقا پیوسته (Absolute Continuous) است یا ν\nu تحت تسلط μ\mu است.

\large \nu_0 << \mu

  • اندازه علامت‌دار دیگر (مثلا ν1\nu_1) نسبت به μ\mu، منفرد (Singular) است.

ν1μ \large \nu_1 \bot \mu

نکته: این دو اندازه یعنی ν0\nu_0 و ν1\nu_1 به طور منحصر به فردی توسط دو اندازه ν\nu و μ\mu قابل تعیین هستند.

تعمیم قضیه تفکیک لبگ

قضیه تفکیک لبگ را می‌توان به صورت‌های گوناگونی تعمیم داد. ابتدا برای اندازه‌های تعریف شده در مجموعه‌های بورل روی اعداد حقیقی به بحث می‌پردازیم.

فرض کنید ν\nu یک اندازه بورل باشد که می‌دانیم تحت اندازه لبگ (λ\lambda) مطلقا پیوسته است. آنگاه رابطه زیر که نشانگر تفکیک اندازه ν\nu است، برقرار خواهد بود:

ν=νcont+νsing+νpp \large \nu = \nu_{cont} + \nu_{sing} + \nu_{pp}

بطوری که هر یک از این اندازه‌ها به صورت زیر تعریف می‌شوند.

  • νcont\nu_{cont} یک اندازه مطلقا پیوسته تحت اندازه لبگ λ\lambda باشد.
  • nusingnu_{sing} مربوط به بخش اندازه منفرد پیوسته اندازه ν\nu است.
  • همینطور nuppnu_{pp} هم قسمت «نقاط خالص» (Pure Point) یا «اندازه گسسته» (Discrete Measure) است که در تک نقطه‌های بورل، دارای مقدار است.

تفکیک لوی ایتو

براساس ارتباط بین اندازه احتمال و نظریه اندازه، یک فرآیند تصادفی را به کمک «تفکیک لوی-ایتو» (Lévy–Itō decomposition) می‌توان به صورت بخش‌های مجزا نشان داد. فرض کنید فرآیند XX یک «فرایند لوی» (Levy Process) باشد. آنگاه چنین فرآیندی را می‌توان به صورت سه فرایند لوی مستقل دیگر به صورت زیر نشان داد.

X=X(1)+X(2)+X(3) \large X = X^{(1)} + X^{(2)} + X^{(3)}

که هر یک از آن‌ها به صورت زیر تعریف می‌شوند.

  • X(1)X^{(1)} یک «حرکت براونی» (Brownian Motion) است که مترادف با بخش مطلقا پیوسته در تفکیک لبگ خواهد بود.
  • X(2)X^{(2)} یک «فرآیند پواسن ترکیبی» (Compound Poisson Process) است که مترادف با بخش نقاط خالص در تفکیک لبگ در نظر گرفته می‌شود.
  • X(3)X^{(3)} نیز یک «مارتینگل» (Martingale) است که دارای تعداد نقاط پرش شمارش پذیر در یک فاصله متناهی است که مترادف با بخش منفرد در قضیه تفکیک لبگ محسوب می‌شود.
Brownian motion
حرکت براونی

خلاصه و جمع‌بندی

در این نوشتار به بررسی قضیه تفکیک لبگ پرداختیم و البته نکاتی که برای فهم درست و بهتر آن لازم بود نیز در متن مورد اشاره قرار گرفت. اندازه علامت‌دار، اندازه سیگما-متناهی نیز در این متن مورد بررسی و تجزیه و تحلیل شدند. همچنین «قضیه تفکیک لوی-ایتو» (Lévy–Itō decomposition) نیز که یک تعمیم روی قضیه تفکیک لبگ است، از محتویات این متن محسوب می‌شود.

اگر مطلب بالا برایتان مفید بوده است، آموزش‌ها و نوشتارهای دیگر مجله فرادرس که در ادامه قابل مشاهده هستند، نیز به شما پیشنهاد می‌شوند:

^^

بر اساس رای ۲ نفر
آیا این مطلب برای شما مفید بود؟
اگر بازخوردی درباره این مطلب دارید یا پرسشی دارید که بدون پاسخ مانده است، آن را از طریق بخش نظرات مطرح کنید.
منابع:
wikipediaمجله فرادرس
نظر شما چیست؟

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *