User:Dorsa Gh

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

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

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

اندازه ها معمولا عمومی سازی هایی از طول، مساحت، حجم و .. هستند ولی برای مجموعه های انتزاعی و غیر عادی تری از مجموعه اعداد حقیقی یا کره هایی در فضای $\mathbb{R}^{3}$ نیز استفاده می شوند. ممکن است کسی انتظار داشته باشد تا یک تابع اندازه عمومی$\varphi$ روی $\mathbb{R}$  تعریف شود که در بند های زیر صدق کند:

= هر بازه ای از اعداد حقیقی $[a,b]$ دارای اندازه $b-a$  می باشد. =
 * 1) تابع اندازه$\varphi$  یک تابع نامنفی با مقادیر حقیقی گسترده است که روی تمام زیر مجموعه های $\mathbb{R}$  تعریف شده.

3. جمع پذیری شمارا: برای هر مجموعه از زیر مجموعه های مجزای $(A_j)$ از مجموعه اعداد حقیقی داشته باشیم:

$$\varphi\left(\bigcup_{i=1}^\infty A_i\right) = \sum_{i=1}^\infty \varphi(A_i).$$

نشان داده می شود که این شروط با هم ناسازگار خواهند بود. هدف پدید آوردن اندازه بیرونی روی تمام زیرمجموعه های یک مجموعه این است که یک کلاس از زیرمجموعه های این مجموعه را که اندازه پذیر هستند به گونه ای انتخاب کرد که خاصیت جمع پذیری شمارا را براآورده کنند.

اندازه بیرونی
با داشتن مجموعه $X$ ، مجموعه تمام زیر مجموعه های $X$ شامل مجموعه تهی $\varnothing$ را با $2^X$   نشان می دهیم. یک اندازه بیرونی یا خارجی روی $X$  ، یک تابع مجموعه ای

$$\mu: 2^X \to [0, \infty]$$ به گونه ای که :


 * 1) $$\mu(\varnothing) = 0$$
 * 2) برای زیر مجموعه های دلخواه $A, B_1, B_2, \ldots$  از $X$  ،

$$ \text{if} A \subseteq \bigcup_{j=1}^ \infty B_j \text{then} \mu(A) \leq \sum_{j=1}^\infty \mu(A_i).$$باید توجه کرد که نیاز به هیچ ظرافتی در مورد جمع بی شمار در این تعریف نیست. از آنجایی که تمام $\mu(A_i)$ ها همگی نا منفی هستند، حاصل جمع سمت راست نامساوی نیز نا منفی خواهد بود و مقداری از صفر تا بینهایت $[0, \infty]$ خواهد داشت.

یک تعریف معادل و جایگزین:
در بعضی از مراجع مانند Halmos (1950)، به جای تعریف بالا، یک اندازه بیرونی روی مجموعه $X$ یک تابع

$$\mu: 2^X \to [0, \infty]$$

تعریف می شود به گونه ای که :


 * 1) $$\mu(\varnothing) = 0$$.
 * 2) اگر $A, B$  زیر مجموعه هایی از $X$  باشند به گونه ای که $A \subseteq B$ ، آنگاه $\mu(A) \leq \mu(B)$.

== $$ \mu\left(\bigcup_{j=1}^\infty B_j\right) \leq \sum_{j=1}^\infty \mu(B_j).$$منابع ==


 * §Measure theory notes - John K. Hunter- Department of Mathematics, University of California at Davis
 * NOTES ON MEASURE THEORY - M. Papadimitrakis Department of Mathematics University of Crete
 * NOTES ON MEASURE THEORY - M. Papadimitrakis Department of Mathematics University of Crete