8
$\begingroup$

In general, for a set $X$, why is it true that $\mathrm{rank}(X)=\sup\{\mathrm{rank}(y)+1\mid y\in X\}$?

The definition of rank I have is that $\text{rank}(x)=\text{ the least }\alpha\text{ such that }x\in V_{\alpha+1}$. I suppose these must be the same thing?

  • 1
    It is the definition of the rank.2011-12-12
  • 0
    As @AsafKaragila said, this is generally the definition. If, by chance, it's not the definition you've been given, but stated somewhere as a consequence, you should provide the definition you have. Otherwise, the question would be better as something like "why does this definition make sense?".2011-12-12

1 Answers 1

10

This is the definition of the rank of the set $X$. $\newcommand{rank}{\operatorname{rank}}$

We use the fact that $\in$ is well-founded, and that the ordinals are well-ordered. These properties allow us to define recursively this function. $$\rank:V\to\operatorname{Ord}$$

And allows us to talk about the sets $V_\alpha=\{x\in V\mid \rank (x)<\alpha\}$, for an ordinal $\alpha$. This is known as the von Neumann hierarchy.


Given the definition of $\rank$ as the least $\alpha$ such that $x\subseteq V_\alpha$, we can show the equivalence by induction.

Suppose that for an ordinal $\alpha$ we have that if $\rank(y)<\alpha$ then the equivalence holds.

If $\sup\{\rank(y)+1\mid y\in x\}=\beta<\alpha$ then we have that $y\in x$ implies that $y\in V_\beta$ and therefore $x\in V_{\beta+1}\subseteq V_\alpha$ and thus $\rank(x)<\alpha$, and the equivalence holds.

Otherwise, $\sup\{\rank(y)+1\mid y\in x\}=\alpha$, and given $\beta<\alpha$ we can find $y\in x$ such that $y\notin V_\beta$. In particular this means that $x\nsubseteq V_\beta$ therefore $x\notin V_{\beta+1}$. And indeed $\alpha$ is the minimal ordinal such that $x\in V_{\alpha+1}$, as we wanted.

  • 0
    Thanks for adding that part.2011-12-13
  • 0
    No problem, it is my pleasure! :-)2011-12-13
  • 0
    In the first half of your answer: don't we need that the ordinals are a strict well-order?2013-03-06
  • 0
    If the set that constitutes the range of the function is not a strict linear order the $\sup$-definition goes broken because the resulting function is not well-defined.2013-03-06
  • 0
    @Matt, well obviously. :-) But if the order wasn't strict there was some $\alpha\lea\alpha$, which is $\alpha\in\alpha$ which means $\{\alpha\}$ has no $\in$-minimal element.2013-03-06
  • 0
    But you wrote that we use the well-foundedness of the ordinals to define the function.2013-03-06
  • 0
    @Matt: Yes. My point is that the order defined by $\in$, and therefore is irreflexive. So it has to be strict.2013-03-06
  • 0
    It has got to be both: strict _and_ linear.2013-03-06
  • 0
    @Matt: No, it has to be strict and have a well-defined $\sup$ function. It happens that well-orders have this property. Are you suggesting that I should have prefaced my answer with a proof that ordinals are well-ordered?2013-03-06
  • 0
    No you are writing that the set in the range has to be well-founded. I am saying it has to be well-ordered.2013-03-06
  • 0
    @Matt: Maybe now we can end this futile back-and-forth, and return to less-futile discussions?2013-03-06