Transitive set

In set theory, a branch of mathematics, a set A is called transitive if either of the following equivalent conditions holds: * whenever x \in A , and y \in x , then y \in A . * whenever x \in A , and x is not an urelement, then x is a subset of A . Similarly, a class M is transitive if every element of M is a subset of M .

In set theory, a branch of mathematics, a set A is called transitive if either of the following equivalent conditions holds: whenever x \in A , and y \in x , then y \in A . whenever x \in A , and x is not an urelement, then x is a subset of A . Similarly, a class M is transitive if every element of M is a subset of M . \bigcup X = \{y \mid \exists x \in X: y \in x\} . Moreover, if X is transitive, then \textstyle\bigcup X is transitive. If X and Y are transitive, then X\cup Y and X \cup Y \cup \{X,Y\} are transitive. In general, if Z is a class all of whose elements are transitive sets, then \bigcup Z and Z\cup\bigcup Z are transitive. (The first sentence in this paragraph is the case of Z=\{X,Y\} .) A set X that does not contain urelements is transitive if and only if it is a subset of its own power set, X \subseteq \mathcal{P}(X) . The power set of a transitive set without urelements is transitive. \operatorname{TC}(X) = \bigcup \left\{ X,\; \bigcup X,\; \bigcup\bigcup X,\; \bigcup\bigcup\bigcup X,\; \bigcup\bigcup\bigcup\bigcup X, \ldots\right\}. Proof. Denote X_0 = X and X_{n+1} = \textstyle\bigcup X_n . Then we claim that the set T = \operatorname{TC}(X) = \bigcup_{n=0}^\infty X_n is transitive, and whenever T_1 is a transitive set including X then T \subseteq T_1 . Assume y \in x \in T . Then x \in X_n for some n and so y \in \textstyle\bigcup X_n = X_{n+1} . Since X_{n+1} \subseteq T , y \in T . Thus T is transitive. Now let T_1 be as above. We prove by induction that X_n \subseteq T_1 for all n , thus proving that T \subseteq T_1 . The base case holds since X_0 = X \subseteq T_1 . Now assume X_n \subseteq T_1 . Then X_{n+1} = \textstyle\bigcup X_n \subseteq \bigcup T_1 . But T_1 is transitive so \textstyle\bigcup T_1 \subseteq T_1 , hence X_{n+1} \subseteq T_1 . This completes the proof. Note that this is the set of all of the objects related to X by the transitive closure of the membership relation, since the union of a set can be expressed in terms of the relative product of the membership relation with itself. ==Transitive models of set theory== Transitive classes are often used for construction of interpretations of set theory in itself, usually called inner models. The reason is that properties defined by bounded formulas are absolute for transitive classes. A transitive set (or class) that is a model of a formal system of set theory is called a transitive model of the system (provided that the element relation of the model is the restriction of the true element relation to the universe of the model). Transitivity is an important factor in determining the absoluteness of formulas. In the superstructure approach to non-standard analysis, the non-standard universes satisfy strong transitivity. Here, a class \mathcal{C} is defined to be strongly transitive if, for each set S\in\mathcal{C} , there exists a transitive superset T with S\subseteq T\subseteq\mathcal{C} . A strongly transitive class is automatically transitive. This strengthened transitivity assumption allows one to conclude, for instance, that \mathcal{C} contains the domain of every binary relation in \mathcal{C} . ==See also== End extension Transitive relation Supertransitive class ==Notes== ==References==

Text derived from https://en.wikipedia.org/w/index.php?oldid=1370777805 under CC BY-SA 4.0; modifications have been made.