3
$\begingroup$

Define $(a,b) < (a',b')$ if $\max(a,b) < \max(a',b')$ or $\max(a,b) = \max(a',b')$ and $b < b'$ or $\max(a,b) = \max(a',b')$ and $b = b'$ and $a < a'$.

Now I want to prove that the order-type of $(\{(b,c) : \max(b,c) = a\}, <)$ is equal to $a + a + 1$, does someone have a hint how to do this? I can't find the bijection. All elements are ordinals.

Thanks.

  • 0
    @Arturo: $a,b,c$ are ordinals.2010-12-12
  • 0
    T: I think you've misstated the order relation: shouldn't it be "$\max(a,b)\lt \max(a',b')$, or $\max(a,b)\mathbf{=}\max(a',b')$ and $b'\lt b$, or $\max(a,b)\mathbf{=}\max(a',b')$ and $b=b'$ and $a\lt a'$"?2010-12-12
  • 0
    @Arturo: Yes, you're right. Sorry, I corrected it.2010-12-12
  • 1
    You and Arturo seem to have $b'$ and $b$ mixed up.2010-12-13
  • 0
    @JDH: Oops; quite right. I was just focusing on the issue of maxima. Thanks, Joel.2010-12-13

1 Answers 1

5

Hint: The set naturally breaks up into three disjoint parts: $\{(a,a)\}$, the set $\{(b,a)\mid b\lt a\}$; and the set $\{(a,b)\mid b\lt a\}$. Every element of the latter is less than each element of the middle one, and each element of the middle one is stricly smaller than $(a,a)$.

  • 0
    Oh, haha. I staired at this for some while but I was thinking about a $\leq$ in the definition instead of $=$. Thanks!2010-12-13