تجزیه هان و کاربردهای آن — به زبان ساده

۳۰۴ بازدید
آخرین به‌روزرسانی: ۲۹ خرداد ۱۴۰۲
زمان مطالعه: ۹ دقیقه
تجزیه هان و کاربردهای آن — به زبان ساده

در ریاضیات و «نظریه اندازه» (Measure Theory)، «قضیه تجزیه هان» (Hahn Decomposition Theorem) نقش مهمی ایفا می‌کند. از آنجایی که در «نظریه احتمال» (Probability Theorem) نیز با یک اندازه استاندارد (در بازه صفر تا یک) مواجه هستیم، به کارگیری قضیه تجزیه هان هم مورد استفاده بوده و نتایج مهمی از آن ایجاد می‌شود. به همین علت نیز موضوع این نوشتار به این قضیه مهم در ریاضیات اختصاص یافته است. همانطور که خواهید دید، تجزیه هان عمل تفکیک مجموعه‌ها به دو مجموعه مثبت و منفی (با اندازه مثبت و منفی) و تجزیه جردن عمل تفکیک اندازه به دو اندازه مثبت و منفی (اندازه روی مجموعه مثبت و اندازه روی مجموعه منفی) را انجام می‌دهند، و در پیشبرد و کاربرد نظریه اندازه، بخصوص در نظریه احتمال، نقش مهمی ایفا می‌کنند.

997696

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

تجزیه هان و کاربردهای آن

ریاضیدان اتریشی «هانس هان» (Hans Hahn) در مقاله‌ای به نحوه تجزیه یا تفکیک یک «اندازه علامت‌دار» (Sign Measure) پرداخت و نشان داد که یک فضای اندازه‌پذیر (Measurable Space) مانند (X,ΣX , \Sigma) و یک اندازه علامت‌دار مانند μ\mu روی «سیگما میدان» (Sigma Field) حاصل از XX را می‌توان به دو مجموعه μ\mu-اندازه‌پذیر مثل PP ‌و NN تجزیه کرد. او همچنین نشان داد که این دو مجموعه، منحصر به فرد هستند و نحوه استخراج آن‌ها را نیز مشخص نمود.

به بیان دیگر گزاره‌های زیر برای چنین فضای اندازه‌پذیر و مجموعه‌های μ\mu, NN و PP برقرار است:

  • PP و NN یک افراز روی XX ایجاد می‌کنند. یعنی:

PN=X     and     PN= \large {\displaystyle P\cup N=X}\;\; \text{ and } \;\; {\displaystyle P\cap N=\varnothing }

  • برای هر مجموعه‌ای مانند EE در سیگما میدان Σ\Sigma که زیر مجموعه PP باشد، اندازه μ\mu نامنفی است. یعنی مجموعه PP یک مجموعه مثبت برای اندازه μ\mu است.

EΣ,EPμ(E)0 \large \forall E \in \Sigma , E \subseteq P \rightarrow \mu(E) \geq 0

  • برای هر مجموعه‌ای مانند EE در سیگما میدان Σ\Sigma که زیر مجموعه NN باشد، اندازه μ\mu نامثبت است. یعنی مجموعه NN یک مجموعه منفی برای اندازه μ\mu است.

EΣ,ENμ(E)0 \large \forall E \in \Sigma , E \subseteq N \rightarrow \mu(E) \leq 0

از طرفی مجموعه‌های NN و PP، منحصر به فرد هستند. به این ترتیب اگر NN' و PP' دو مجموعه دیگر با خواص ذکر شده باشند، تفاضل متقارن (Symmetric Differences)  آن‌ها (PΔPP \Delta P') و (NΔNN \Delta N') یک مجموعه با اندازه μ\mu صفر خواهد بود. یعنی برای هر یک از این مجموعه‌ها  داریم: μ(NΔN)=μ(PΔP)=0\mu(N \Delta N') = \mu ( P \Delta P') = 0 . به این ترتیب PP و NN یا به طور دقیق‌تر زوج (P,NP, N) را تجزیه هان روی XX برحسب اندازه علامت‌دار μ\mu در فضای اندازه (X,Σ,μ)(X, \Sigma , \mu) می‌شناسند.

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

Hans Han Decomposition
هانس هان (Hans Hahn)، ریاضیدان اتریشی (۱۸۷۹-۱۹۳۴)

صورت قضیه تجزیه هان

هر مجموعه در فضای اندازه (X,Σ,μX ,\Sigma , \mu) که در آن μ\mu یک اندازه علامت‌دار است را می‌توان به دو زیرمجموعه PP و NN افراز کرد بطوری که برای هر یک از آن‌ها، اندازه هر زیر مجموعه برای PP، منفی و برای NN نامثبت است. در ضمن این افراز یکتا است.

همانطور که می‌دانید، اندازه (Measure) در ریاضیات تابعی مجموعه‌ای (Set Function) است که مقادیر نامنفی اختیار می‌کند. در مقابل «اندازه علامت‌دار» (Sign Measure) می‌تواند شامل مقادیر مثبت، منفی و صفر باشد و از طرفی همه خواص یک تابع اندازه (مثل خاصیت جمعی - Additive Property) را هم خواهد داشت. به این معنی که اندازه اجتماع متناهی از مجموعه‌ها برابر با مجموع اندازه‌های هر یک خواهد بود. ویژگی دیگری که ممکن است برای یک تابع اندازه در نظر گرفت، خاصیت سیگما-جمع‌پذیر بودن آن است که در ادامه مورد توجه قرار خواهد گرفت.

خاصیت سیگما-جمع (Additive-σ\sigma): فرض کنید دنباله‌ای از مجموعه‌های A1,A2,A_1 , A_2 , \ldots دو به دو جدا از هم در میدان سیگمایی AA در اختیارمان قرار گرفته است. در صورتی که رابطه زیر برقرار باشد، μ\mu را دارای خاصیت سیگما-جمع (Additive-σ\sigma) یا سیگما-جمع‌پذیر گویند.

 μ(n=1An)=n=1μ(An) \large {\displaystyle \mu \left(\bigcup _{n=1}^{\infty }A_{n}\right)=\sum _{n=1}^{\infty }\mu (A_{n})}

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

μ(n=1kAn)=n=1kμ(An) \large {\displaystyle \mu \left(\bigcup _{n=1}^{k }A_{n}\right)=\sum _{n=1}^{k }\mu (A_{n})}

اثبات قضیه تجزیه هان

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

مقدمات: فرض کنید که μ\mu یک اندازه است که مقدار -\infty را نمی‌گیرد (در غیر اینصورت با اندازه μ-\mu قرار خواهیم کرد). با توجه به تعریفی که از مجموعه منفی در قسمت قبل گفتیم، مجموعه AA متعلق به «سیگما میدان» (Sigma Field) را منفی می‌گویم، اگر برای هر زیر مجموعه‌ای از آن مثل BΣB \in \Sigma داشته باشیم، μ(B)0\mu(B) \geq 0.

ادعا: مجموعه A0=DA_0 = D تعریف می‌کنیم. سپس به کمک استقرا فرض می‌کنیم که برای nN0n \in N_0، مجموعه‌هایی مانند AnA_n که زیر مجموعه‌هایی از DD ‌هستند نیز وجود دارند. منظور از N0N_0، مجموعه اعداد طبیعی به همراه عدد صفر است.

اثبات ادعا: از طرفی رابطه زیر را برحسب کوچکترین کران بالا (supremum) برای اندازه μ(B)\mu(B) روی همه زیرمجموعه‌های BB (روی AnA_nها) در نظر بگیرید.

tn:=sup({μ(B)BΣ  and  BAn}) \large { \displaystyle t_{n} : = \sup( \{ \mu (B) \mid B \in \Sigma ~ { \text{ and }} ~ B \subseteq A_{n}\} )}

ممکن است این سوپریمم، بی‌نهایت باشد. از آنجایی که \emptyset (مجموعه تهی) نیز می‌تواند یک کاندید برای مجموعه BB در تعریف tnt_n باشد. در نظر داشته باشید که μ()=0\mu(\emptyset) = 0 است. در نتیجه tn0t_n \geq 0 است. از همین رو با توجه به تعریف tnt_n می‌توان زیر مجموعه BnAnB_n \subseteq A_n از سیگما-میدان اندازه‌پذیر Σ\Sigma را در نظر گرفت که رابطه زیر برایش برقرار باشد.

μ(Bn)min ⁣(1,tn2) \large { \displaystyle \mu (B_{n}) \geq \min \! \left( 1 , { \frac {t_{n}}{2}} \right) }

مجموعه An+1A_{n+1} را از تفاضل BnB_n از AnA_n بسازید.

An+1:=An\Bn \large A_{n+1} := An \backslash B_n

سپس مجموعه AA را به شکل زیر تعریف کنید.

A:=D\n=0Bn \large { \displaystyle A : = D { \Bigg \backslash } \bigcup _{ n = 0 }^{ \infty }B_{n} }

از آنجایی که دنباله (Bn)n=0(B_n)_{n=0}^{\infty}، ناسازگار (Disjoint) و زیر مجموعه‌هایی از DD هستند، از خاصیت جمع‌پذیری (سیگما-جمع) اندازه علامت‌دار μ\mu در فضای سیگمایی استفاده کرده و خواهیم داشت:

μ(A)=μ(D)n=0μ(Bn)μ(D)n=0min ⁣(1,tn2) \large { \displaystyle \mu (A) = \mu (D) - \sum _{ n = 0 }^{ \infty } \mu (B_{n}) \leq \mu (D) - \sum _{ n = 0 }^{ \infty } \min \! \left( 1 , { \frac {t_{n}}{2}} \right) }

این رابطه نشان می‌دهد که μ(A)μ(D)\mu(A) \leq \mu(D) است. در نتیجه AA نمی‌تواند یک مجموعه با اندازه منفی باشد. پس باید یک زیر مجموعه مثل BAB \subseteq A وجود داشته باشد که برای آن μ(B)0\mu(B) \geq 0 . در این صورت tnμ(B)t_n \geq \mu(B) برای هر nN0n \in N_0‌ است. بنابراین دنباله مربوط به طرف راست رابطه بالا، باید واگرا به ++\infty بوده، پس μ(A)=\mu(A) = -\infty است. این امر یک تناقض در مورد نامنفی بودن مجموعه AA خواهد بود.

تشکیل مجموعه‌های حاصل از تجزیه هان

تشکیل مجموعه‌های PP و NN از طریق استقرا صورت می‌گیرد. N0=N_0 = \emptyset را در نظر بگیرید. آنگاه با فرض معلوم بودن NnN_n، sns_n را به صورت زیر برحسب بزرگترین کران پایین یا اینفیمم  (inf) مشخص می‌کنیم.

sn:=inf({μ(D)DΣ  and  DXNn}) \large { \displaystyle s_{n} : = \inf( \{ \mu (D) \mid D \in \Sigma ~ { \text{ and }} ~ D \subseteq X \setminus N_{n}\} ) }

پیدا کردن اینفیمم μ(D)\mu(D)ها روی همه زیرمجموعه‌های سیگما میدان حاصل از XX مانند DD به جز NnN_n صورت می‌گیرد. ممکن است این کران پایین برابر با -\infty باشد. از آنجایی که مجموعه تهی \emptyset یک مجموعه مثبت و کاندید برای DD در تعریف sns_n است و μ()=0\mu(\emptyset) = 0، پس sn0s_n \leq 0 خواهد بود. بنابراین یک DnD_n از چنین زیرمجموعه‌هایی وجود دارد که در رابطه زیر صدق کند.

μ(Dn)max ⁣(sn2,1)0 \large { \displaystyle \mu (D_{n}) \leq \max \! \left( { \frac {s_{n}}{2}}, - 1 \right) \leq 0 }

توجه داشته باشید که در این حالت DnX\NnD_n \subseteq X \backslash N_n‌ است.

با ادعای که از قبل صورت گرفته بود، داریم: AnDnA_n \subseteq D_n بطوری که μ(An)μ(Dn)\mu(A_n) \leq \mu(D_n).

این بار Nn+1:=NnAnN_{n+1} := N_n \cup A_n و آخرین گام استقرا را انجام می‌دهیم. مجموعه NN را به شکل زیر تعریف می‌کنیم.

N:=n=0An \large { \displaystyle N : = \bigcup _{ n = 0 }^{ \infty }A_{n}}

از آنجایی که دنباله مجموعه‌های (An)n=0(A_n)^{\infty}_{n=0} ناسازگار یا جدا از هم هستند، برای هر زیرمجموعه‌ای مانند BNB \subseteq N که در سیگما میدان حاصل از XX باشد، داریم:

μ(B)=n=0μ(BAn) \large { \displaystyle \mu (B) = \sum _{ n = 0 }^{ \infty } \mu (B \cap A_{n})}

باز هم به کمک خاصیت جمع‌پذیری اندازه μ\mu رابطه بالا نوشته شده است. در حالت کلی این روابط نشان می‌دهند که NN باید یک مجموعه منفی باشد. با تعریف P:=X\NP:=X \backslash N، مجموعه PP یک مجموع  مثبت خواهد بود زیرا اگر چنین نباشد، می‌توان مجموعه‌ای مانند DPD \subseteq P پیدا کرد که μ(D)<0\mu(D) <0 باشد. پس snμ(D)s_n \leq \mu(D) برای همه nN0n \in N_0‌ است و داریم:

μ(N)=n=0μ(An)n=0max ⁣(sn2,1)=, \large { \displaystyle \mu (N) = \sum _{ n = 0 }^{ \infty } \mu (A_{n}) \leq \sum _{ n = 0 }^{ \infty } \max \! \left({ \frac {s_{n}}{2}}, - 1 \right) = -\infty ,}

که باز هم تناقض بوده در نتیجه PP یک مجموعه مثبت است.

اثبات یکتایی

فرض کنید زوج (P,N)(P' , N') تشکیل یک افراز دیگر با خصوصیات گفته شده روی XX باشند. آنگاه PNP \cap N' یک مجموعه مثبت و همچنین یک مجموعه منفی است. در نتیجه برای هر زیر مجموعه اندازه‌پذیری، مقدار اندازه μ\mu صفر خواهد شد. همین ویژگی را برای دو اشتراک NN‌و PP' نیز خواهیم داشت:

μ(NP)=μ(PN)=0 \large \mu( N \cap P' ) = \mu (P \cap N') = 0

از طرفی با توجه به تعریف تفاضل متقارن برای دو مجموعه، روابط زیر نیز برقرار خواهند بود.

PP=NN=(PN)(NP), \large { \displaystyle P \triangle P' = N \triangle N' = (P \cap N') \cup (N \cap P'),}

که به این ترتیب اثبات کامل خواهد شد.

قضیه تجزیه جردن برای اندازه‌های علامت‌دار

فرض کنید μ\mu یک اندازه علامت‌دار است. «قضبه تفکیک جردن» (Jordan Decomposition Theorem) بیان می‌کند که چنین اندازه‌ای که روی سیگما میدان Σ\Sigma حاصل از XX است را می‌توان به دو اندازه مثبت و منفی (مثلا با نمادهای μ+\mu^+ و μ\mu^-) تجزیه نمود که حداقل یکی از آن‌ها متناهی است. به این ترتیب برای هر مجموعه EE در سیگما میدان μ\mu-اندازه‌پذیر که زیر مجموعه NN باشد، داریم μ+(E)=0\mu^+(E) = 0 و برای هر زیر مجموعه از PP مثل EE خواهیم داشت μ(E)=0\mu^-(E) = 0 . لازم به ذکر است که در اینجا زوج (P,NP,N)، افراز یا تجزیه هان روی XX برحسب تابع اندازه μ\mu هستند.

در این حال μ+\mu^+ و μ\mu^- را تجزیه جردن (یا گاهی تجزیه هان- جردن) برای اندازه μ\mu در فضای اندازه‌پذیر (X,ΣX,\Sigma) می‌گویند.

این دو اندازه را به کمک رابطه زیر می‌توان از روی اندازه μ\mu برای هر مجموعه در سیگما میدان Σ\Sigma محاسبه کرد.

μ+(E):=μ(EP) andμ(E):=μ(EN) \large { \displaystyle {\mu ^{ + }}(E) : = \mu ( E \cap P ) \qquad { \text{ and} } \qquad { \mu ^{ - }}(E) : = - \mu ( E \cap N )}

Camille_Jordan
کامیل جردن، ریاضیدان فرانسوی (1838-1922)

نکته: توجه داشته باشید که در اینجا μ\mu یک اندازه علامت‌دار بوده ولی μ\mu^- و μ+\mu^+ توابع اندازه (با مقادیر نامنفی) هستند. همچنین در نظر داشته باشید که در اینجا هم تجزیه جردن، اندازه‌های منحصر به فردی ارائه می‌کند.

تجزیه جردن دارای دو نتیجه مهم است: اول، نحوه تشکیل اندازه‌های μ+,μ\mu^+ , \mu^- را بیان می‌کند:

μ+(E)=supBΣ, BEμ(B) and μ(E)=infBΣ, BEμ(B) \large { \displaystyle {\mu ^{ + } }(E) = \sup _{ B \in \Sigma , ~ B \subseteq E } \mu (B) \quad { \text{ and }} \quad { \mu ^{ - }}(E) = - \inf _{B \in \Sigma , ~ B \subseteq E} \mu (B)}

همچنین اگر μ=ν+ν\mu = \nu^+ - \nu^- باشد که زوج (ν+,ν\nu^+ , \nu^-) اندازه‌های متناهی نامنفی روی XX هستند، آنگاه خواهیم داشت:

ν+μ+ and νμ \large { \displaystyle \nu ^{ + } \geq \mu ^{ + }\quad { \text{ and }} \quad \nu ^{-} \geq \mu ^{ - }}

عبارت آخر مشخص می‌کند که تجزیه جردن، کوچکترین تجزیه μ\mu به دو اندازه نامنفی نیز هست. این خاصیت به نام خاصیت کمینه (Minimality Property) در تجزیه جردن معروف است.

نکته: ویژگی‌های دیگر و همینطور اثبات این قضیه جردن را در نوشتارهای دیگر مجله فرادرس دنبال کنید.

همانطور که مشخص شد، این دو قضیه (تفکیک یا افراز هان و تجزیه جردن) به دو شکل افراز را در فضای اندازه مشخص می‌کنند. قضیه تجزیه هان نشان می‌دهد که هر مجموعه اندازه‌پذیر را می‌توان برحسب یک اندازه علامت‌دار، به دو زیر مجموعه مثبت و منفی افراز کرد. در حالیکه قضیه تجزیه جردن بیان می‌کند که هر اندازه علامت‌دار را می‌توان به دو اندازه مثبت و منفی تجزیه کرده و رابطه بین آن‌ها را به صورت μ=μ+μ\mu = \mu^+ - \mu^- بیان نمود. البته دو اندازه حاصل از تجزیه جردن روی مجموعه‌ها تشکیل شده از تفکیک هان عمل می‌کنند.

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

در این نوشتار با قضیه تجزیه هان و کاربرد آن در نظریه اندازه (Measure Theory) و همینطور در قضیه تجزیه جردن آشنا شدیم. همچنین خصوصیات و اصطلاحاتی که برای مجموعه‌های اندازه‌پذیر وجود دارند نیز مورد بحث قرار گرفت. با توجه به نزدیکی نظریه احتمال و نظریه اندازه، این حوزه از ریاضیات بخصوص برای کسانی که با نظریه احتمالات سروکار دارند، جذاب بوده و مبانی نظریه احتمال (Probability Theory) را برایشان روشن‌تر می‌کند. تجزیه هان برای اثبات مشتق رادون-نیکودیم (Radon–Nikodym derivative) نیز به کار می‌رود. در این بین با تجزیه جردن (Jordan Measure Decomposition) نیز آشنا شدیم که به عنوان یک نتیجه از قضیه تفکیک هان مورد استفاده قرار می‌گیرد.

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

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