The transitive hull of a set (often called for transitive closure ) is the smallest superset of that is transitive . The existence and uniqueness can be proven in ZF (the axiom of choice is not necessary for this). The substitution scheme and the axiom of infinity are decisive . Since is the smallest transitive superset of , then applies if and only if is transitive.
X
{\ displaystyle X}
T
C.
(
X
)
{\ displaystyle TC (X)}
X
{\ displaystyle X}
T
C.
(
X
)
{\ displaystyle TC (X)}
X
{\ displaystyle X}
T
C.
(
X
)
=
X
{\ displaystyle TC (X) = X}
X
{\ displaystyle X}
construction
By induction on it can be shown that for every set a function exists with which
N
{\ displaystyle \ mathbb {N}}
X
{\ displaystyle X}
f
X
{\ displaystyle f_ {X}}
dom
(
f
X
)
=
N
0
{\ displaystyle \ operatorname {dom} (f_ {X}) = \ mathbb {N} _ {0}}
f
X
(
0
)
=
X
{\ displaystyle f_ {X} (0) = X}
∀
n
∈
N
0
:
f
X
(
n
+
1
)
=
⋃
f
X
(
n
)
{\ displaystyle \ forall n \ in \ mathbb {N} _ {0}: f_ {X} (n + 1) = \ bigcup f_ {X} (n)}
Fulfills. The substitution scheme now ensures the existence of the set
M.
X
: =
{
f
X
(
n
)
|
n
∈
N
0
}
{\ displaystyle M_ {X}: = \ {f_ {X} (n) | n \ in \ mathbb {N} _ {0} \}}
and exists
because of the axiom of union
⋃
M.
X
{\ displaystyle \ bigcup M_ {X}}
,
which one can quickly prove the required properties. So it applies
T
C.
(
X
)
{\ displaystyle TC (X)}
T
C.
(
X
)
=
⋃
n
∈
N
0
f
X
(
n
)
{\ displaystyle TC (X) = \ bigcup _ {n \ in \ mathbb {N} _ {0}} f_ {X} (n)}
.
Remarks
An iterated set union is defined here, namely
f
X
(
n
)
=
⋃
n
X
{\ displaystyle f_ {X} (n) = {\ bigcup} ^ {n} X}
, special .
X
=
{
x
|
x
∈
X
}
,
⋃
X
=
{
x
|
(
∃
y
∈
X
)
x
∈
y
}
{\ displaystyle X = \ {x | x \ in X \}, \ \; \ bigcup X = \ {x | (\ exists y \ in X) x \ in y \}}
If the element relation is understood as a homogeneous relation, then on the right side there is the n -fold concatenation of with itself, i.e. its n . Potency (see relation §Homogeneous relations : powers). This can be further simplified too
∈
{\ displaystyle \ in}
∈
{\ displaystyle \ in}
∈
n
{\ displaystyle {\ in} ^ {n}}
f
X
(
n
)
=
⋃
n
X
=
{
x
|
x
∈
n
+
1
X
}
{\ displaystyle f_ {X} (n) = {\ bigcup} ^ {n} X = \ {x | x {\ in} ^ {n + 1} X \}}
, such as
M.
X
=
{
⋃
n
X
|
n
∈
N
0
}
=
{
X
,
⋃
X
,
⋃
⋃
X
,
⋃
⋃
⋃
X
,
⋃
⋃
⋃
⋃
X
,
...
}
{\ displaystyle M_ {X} = \ {{\ bigcup} ^ {n} X | n \ in \ mathbb {N} _ {0} \} = \ {X, \ bigcup X, \ bigcup \ bigcup X, \ bigcup \ bigcup \ bigcup X, \ bigcup \ bigcup \ bigcup \ bigcup X, \ ldots \}}
.
The transitive envelope then becomes too
T
C.
(
X
)
=
⋃
M.
X
=
⋃
n
=
1
∞
{
x
|
x
∈
n
X
}
=
⋃
n
=
0
∞
⋃
n
X
{\ displaystyle TC (X) = \ bigcup M_ {X} = \ bigcup _ {n = 1} ^ {\ infty} \ {x | x \ in ^ {n} X \} = \ bigcup _ {n = 0 } ^ {\ infty} {\ bigcup} ^ {n} X}
.
application
In many proofs in set theory one needs the transitivity of a set for a certain argument. If one can also show that the statement is valid for a set , if one finds a superset for which it is valid, then it makes sense to move from to the transitive envelope.
X
{\ displaystyle X}
Y
⊇
X
{\ displaystyle Y \ supseteq X}
X
{\ displaystyle X}
A similar procedure can be found, for example, in the proof of the epsilon induction method .
generalization
Let be a set with a homogeneous relation on it. The - transitive envelope is then given by
X
{\ displaystyle X}
R.
{\ displaystyle R}
R.
{\ displaystyle R}
T
C.
R.
(
X
)
: =
⋃
n
=
0
∞
{
x
|
(
∃
y
∈
X
)
x
R.
n
y
}
=
{
x
|
(
∃
y
∈
X
)
x
R.
∗
y
}
{\ displaystyle TC_ {R} (X): = \ bigcup _ {n = 0} ^ {\ infty} \ {x | (\ exists y \ in X) x \, R ^ {n} y \} = \ {x | (\ exists y \ in X) x \, R ^ {*} y \}}
This is the archetype of under , the reflexive-transitive envelope of the relation . is the smallest superset of that is -transitive . In the case, the generalized definition replicates the special case above.
X
{\ displaystyle X}
R.
∗
{\ displaystyle R ^ {*}}
R.
{\ displaystyle R}
T
C.
R.
(
X
)
{\ displaystyle TC_ {R} (X)}
X
{\ displaystyle X}
R.
{\ displaystyle R}
R.
= ∈
{\ displaystyle R = \ in}
See also
Remarks
↑ The axiom of union was, of course, needed beforehand to prove the existence of the function .
f
X
{\ displaystyle f_ {X}}
↑ a b are ad hoc designations
f
X
,
M.
X
{\ displaystyle f_ {X}, M_ {X}}
↑ a b With understood as a homogeneous relation and the transitive envelope can also be understood as
∈
{\ displaystyle \ in}
∈
+
: =
⋃
n
∈
N
∈
n
{\ displaystyle {\ in} ^ {+}: = \ textstyle \ bigcup _ {n \ in {\ mathbb {N}}} {\ in} ^ {n}}
T
C.
(
X
)
=
{
x
|
x
∈
+
X
}
{\ displaystyle TC (X) = \ {x | x {\ in} ^ {+} X \}}
.
See e.g. BG O'Regan: for homogeneous relations , Gerard O'Regan: Guide to Discrete Mathematics. Sets, Relations and Functions (= Texts in Computer Science (TCS) ). Springer International Publishing, Switzerland 2016, p.
R.
∗
: =
⋃
n
∈
N
0
R.
n
,
R.
+
: =
⋃
n
∈
N
R.
n
{\ displaystyle R ^ {*}: = \ textstyle \ bigcup _ {n \ in {\ mathbb {N} _ {0}}} R ^ {n}, \ \; R ^ {+}: = \ textstyle \ bigcup _ {n \ in {\ mathbb {N}}} R ^ {n}}
R.
{\ displaystyle R}
25-51 , doi : 10.1007 / 978-3-319-44561-8_2 . Page 39.
↑ Using Replacement to prove transitive closure is a set without recursion , on: StackExchange Mathematics, as of: 2018
↑ Wolfram Pohlers: Set Theory (PDF) , University of Münster, Institute for Mathematical Logic and Basic Research, Lecture Script, SS 1994, page 31. The definition given there is similar to the one given here under construction, but has been converted into an equivalent, more easily readable one.
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">