از ویکی‌پدیا، دانشنامهٔ آزاد
در نظریه مجموعه ها یک مجموعه A را گذرا (به انگلیسی : transitive) گویند اگر یکی از شرایط معادل زیر را داشته باشد:
هرگاه x ∈ A و y ∈ x ، آنگاه y ∈ A .
هر x ∈ A و x یک اورلمنت (عنصری که خود از جنس مجموعه نیست) نباشد، آنگاه x یک زیر مجموعه از A باشد. به‌طور مشابه یک رده M گذرا است اگر هر عنصر از M زیر مجموعه‌ای از M باشد.
با استفاده از تعریف اعداد ترتیبی پیشنهاد شده توسط جان فون نویمان ، اعداد ترتیبی به عنوان مجموعه‌های موروثاَ گذرا تعریف می‌شوند: یک عدد ترتیبی یک مجموعه گذرا ست که اعضایش هم گذرا (و در نتیجه عدد ترتیبی) هستند. رده از همه اعداد ترتیبی یک کلاس گذرا است.
هر یک از مراحل V α و L α جهان فون نویمان V و جهان ساختنی گودل L منجر می‌شوند، مجموعه‌های گذرا هستند. جهان‌های L و V خودشان کلاسهای گذرایند.
این یک فهرست کامل از تمام مجموعه‌های گذرا تا ۲۰ براکت است:[۱]
{
}
,
{\displaystyle \{\},}
{
{
}
}
,
{\displaystyle \{\{\}\},}
{
{
}
,
{
{
}
}
}
,
{\displaystyle \{\{\},\{\{\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
}
}
,
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\}\},\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
}
,
{
{
{
}
}
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\},\{\{\{\}\}\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\{\}\}\},\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\}\},\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\{\{\}\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
,
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\},\{\{\},\{\{\},\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
{
}
,
{
{
}
}
}
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\{\},\{\{\}\}\}\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\{\}\}\},\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\},\{\{\{\}\}\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\{\}\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
,
{
{
{
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\},\{\{\{\}\},\{\{\},\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\}\},\{\{\{\}\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
{
}
,
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\{\},\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\},\{\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
{
{
}
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\{\{\}\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
.
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\{\}\}\}\}\}.}
یک مجموعه X گذرا است اگر و تنها اگر
⋃
X
⊆
X
{\displaystyle \bigcup X\subseteq X}
⋃
X
{\displaystyle \bigcup X}
اجتماع از تمام عناصر از X است که مجموعه اند،
⋃
X
=
{
y
∣
(
∃
x
∈
X
)
y
∈
x
}
{\displaystyle \bigcup X=\{y\mid (\exists x\in X)y\in x\}}
X گذرا باشد، در آنصورت
⋃
X
{\displaystyle \bigcup X}
X و Y گذرا باشند، در آنصورت X ∪Y ∪{X ∪Y } گذرا است. در کل اگر X رده‌ای باشد که همه عناصرش گذرایند، در آنصورت،
X
∪
⋃
X
{\displaystyle X\cup \bigcup X}
یک مجموعه X که شامل اورلمنت‌ها نمی‌شود، گذرا است اگر و تنها اگر زیر مجموعه‌ای از مجموعه توانی اش،
X
⊂
P
(
X
)
{\displaystyle X\subset {\mathcal {P}}(X)}
بستار گذرا از یک مجموعه X ،کوچکترین (نسبت به شمول) مجموعه گذرا شامل X است. فرض کنید مجموعه X داده شده باشد. در آنصورت بستار گذرا X برابر است با:
⋃
{
X
,
⋃
X
,
⋃
⋃
X
,
⋃
⋃
⋃
X
,
⋃
⋃
⋃
⋃
X
,
…
}
.
{\displaystyle \bigcup \{X,\bigcup X,\bigcup \bigcup X,\bigcup \bigcup \bigcup X,\bigcup \bigcup \bigcup \bigcup X,\ldots \}.}
توجه داشته باشید که این، مجموعه تمام اشیاء مرتبط با X از طریق بستار تعدی رابطه عضویت است.
مدل‌های گذرا نظریه مجموعهها [ ویرایش ] کلاسهای گذرا اغلب جهت ساخت تفاسیر برای خود نظریه مجموعهها مورد استفاده قرار می‌گیرد، که معمولاً مدل‌های درونی گفته می‌شوند. دلیلش این است که خواص تعریف شده فرمول‌های محدود ، برای کلاسهای متعدی، مطلق هستند.
یک مجموعه (یا کلاس) گذرا که مدلی از یک سیستم صوری از نظریه مجموعه هاست، مدل گذرا از آن سیستم نام دارد
در رویکرد فراساختاری به آنالیز نا استاندارد ، جهان‌های نا استاندارد،خاصیت گذرایی قوی دارند.[نیازمند شفاف‌سازی [۲]
همچنین نگاه کنید [ ویرایش ]
Ciesielski, Krzysztof (1997), Set theory for the working mathematician , London Mathematical Society Student Texts, vol. 39, Cambridge: Cambridge University Press , ISBN 0-521-59441-3 Zbl 0938.03067 |ISBN= and |isbn= specified (help )Goldblatt, Robert (1998), Lectures on the hyperreals. An introduction to nonstandard analysis , Graduate Texts in Mathematics , vol. 188, New York, NY: Springer-Verlag, ISBN 0-387-98464-X Zbl 0911.03032 |ISBN= and |isbn= specified (help )Jech, Thomas (2008) [originally published in 1973], The Axiom of Choice , Dover Publications , ISBN 0-486-46624-8 Zbl 0259.02051 |authorlink=, |authorlink=, and |author-link= specified (help ); More than one of |ISBN= and |isbn= specified
(help )
