7
$\begingroup$

I am trying to learn the theory of the Surreal numbers and I am therefore going over all the theorems and trying to prove them for myself.

I am struggling to complete the proof of $x1 = x$.

I have the following. Assume x is a surreal number. Then $x1 = \{X_L1 + x0 - X_L0, \ X_R1 + xØ - X_RØ | X_L1 + xØ - X_LØ, \ X_R1 + x0 - X_R0 \} = \{X_L, X_R | X_R, X_L\}$

Why is this the same as x?. I would argue that this is the same as $\{X_R | X_L\}$, but this is not a surreal number (per definition). Could someone explain to me how you go from $\{X_L, X_R | X_R, X_L\} \equiv \{X_L | X_R\}=x$

$\endgroup$
5
  • $\begingroup$ The empty set has no elements in it, and so the terms in your expression involving $\emptyset$ do not contribute any representatives to the product $x1$. $\endgroup$ Commented Apr 29, 2018 at 13:25
  • $\begingroup$ I understand that all the terms involving $\emptyset$ and 0 does not contribute any representatives to the product, but there are still the four terms $X_L1, X_R1, X_L1, X_R1$ which I am questioning. I can't get rid of the extra $X_R1$ on the left side and $X_L1$ on the left side. $\endgroup$ Commented Apr 29, 2018 at 13:30
  • 2
    $\begingroup$ My opinion is that basically any serious question about the surreal numbers is fine on MathOverflow. Furthermore, I admire any student who tries to go through the development of the surreals from first principles, and MO is a good resource for such a student to get help. I once ran an intersession graduate seminar at the University of Amsterdam developing this theory from the ground up, and those students faced similar questions to this one at the beginning. $\endgroup$ Commented Apr 29, 2018 at 15:25
  • 1
    $\begingroup$ For interesting reading, including adventures in proving the basic properties of the surreals, see Knuth's little book Surreal Numbers. $\endgroup$ Commented Apr 29, 2018 at 16:32
  • $\begingroup$ @JoelDavidHamkins That's a fair point. $\endgroup$ Commented Apr 29, 2018 at 17:07

1 Answer 1

15
$\begingroup$

If you look at the Wikipedia entry for surreal multiplication, you find

The recursive formula for multiplication contains arithmetic expressions involving the operands and their left and right sets, such as the expression $$X_{R}y+xY_{R}-X_{R}Y_{R}$$ that appears in the left set of the product of x and y. This is to be understood as the set of surreal numbers resulting from choosing one number from each set that appears in the expression and evaluating the expression on these numbers. (In each individual evaluation of the expression, only one number is chosen from each set, and is substituted in each place where that set appears in the expression.)

In your case, since $1=\{0\mid\ \}$, you have that $1_R=\emptyset$, the empty set. Thus, any part of the term involving $1_R$ will have no elements and therefore contribute no elements to that side of the final surreal number value for the product.

For example, the term $X_R1+x\emptyset−X_R\emptyset$ in your expression adds no elements to the final value. But in your calculation, you seem to have indicated that you think it adds $X_R1$; this is wrong and this is exactly where your calculation makes a mistake.

Perhaps you thought that in the expression $X_R1+x\emptyset-X_R\emptyset$, the latter two terms just evaluate to $0$ and therefore cancel out, giving $X_R1$. But that is not right. The correct meaning of this term is: for every element $r\in X_R$ and every $y\in\emptyset$, we contribute the surreal numbers $r1+xy-ry$ to that part of the product surreal value. But since there are no such $y$, we actually end up contributing nothing to the product from this term, even though the first part of the expression $X_R1$, if it had appeared alone, would have contributed $r1$.

The situation is something like the Cartesian product $X\times\emptyset$, which is empty even when $X$ is not empty, simply because elements $x\in X$ have no partner $y\in\emptyset$ with which to form a pair $(x,y)$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .