Class of mathematical set whose elements are all subsets
In set theory , a branch of mathematics , a set
A
{\displaystyle A}
is called transitive if either of the following equivalent conditions hold:
whenever
x
∈
A
{\displaystyle x\in A}
, and
y
∈
x
{\displaystyle y\in x}
, then
y
∈
A
{\displaystyle y\in A}
.
whenever
x
∈
A
{\displaystyle x\in A}
, and
x
{\displaystyle x}
is not an urelement , then
x
{\displaystyle x}
is a subset of
A
{\displaystyle A}
.
Similarly, a class
M
{\displaystyle M}
is transitive if every element of
M
{\displaystyle M}
is a subset of
M
{\displaystyle M}
.
Examples
Using the definition of ordinal numbers suggested by John von Neumann , ordinal numbers are defined as hereditarily transitive sets: an ordinal number is a transitive set whose members are also transitive (and thus ordinals). The class of all ordinals is a transitive class.
Any of the stages
V
α
{\displaystyle V_{\alpha }}
and
L
α
{\displaystyle L_{\alpha }}
leading to the construction of the von Neumann universe
V
{\displaystyle V}
and Gödel's constructible universe
L
{\displaystyle L}
are transitive sets. The universes
V
{\displaystyle V}
and
L
{\displaystyle L}
themselves are transitive classes.
This is a complete list of all finite transitive sets with up to 20 brackets:[1]
{
}
,
{\displaystyle \{\},}
{
{
}
}
,
{\displaystyle \{\{\}\},}
{
{
}
,
{
{
}
}
}
,
{\displaystyle \{\{\},\{\{\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
,
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\},\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\},\{\{\}\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
,
{
{
}
,
{
{
}
}
,
{
{
}
,
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\},\{\{\}\}\},\{\{\},\{\{\}\},\{\{\},\{\{\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
{
{
{
}
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\{\{\{\}\}\}\}\}\},}
{
{
}
,
{
{
}
}
,
{
{
{
}
}
}
,
{
{
{
{
}
}
}
}
,
{
{
}
,
{
{
{
}
}
}
}
}
,
{\displaystyle \{\{\},\{\{\}\},\{\{\{\}\}\},\{\{\{\{\}\}\}\},\{\{\},\{\{\{\}\}\}\}\},}
{
{
}
,
{
Zdroj: https://en.wikipedia.org?pojem=Transitive_set Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Your browser doesn’t support the object tag.
www.astronomia.sk |
www.biologia.sk | www.botanika.sk
| www.dejiny.sk | www.economy.sk
| www.elektrotechnika.sk |
www.estetika.sk | www.farmakologia.sk
| www.filozofia.sk | Fyzika
| www.futurologia.sk | www.genetika.sk
| www.chemia.sk
| www.lingvistika.sk | www.politologia.sk
| www.psychologia.sk
| www.sexuologia.sk | www.sociologia.sk
| www.veda.sk I www.zoologia.sk