Last thursday, I introduced the construction of John Conway’s beautiful surreal numbers. Today I’m going to show you how to do arithmetic using surreals. It’s really quite amazing how it all works! If you haven’t read the original post introducing surreals, you’ll definitely want to [go back and read that][surreals] before looking at this post!<\/p>\n
Last thursday, I introduced the construction of John Conway’s beautiful surreal numbers. Today I’m going to show you how to do arithmetic using surreals. It’s really quite amazing how it all works! If you haven’t read the original post introducing surreals, you’ll definitely want to [go back and read that][surreals] before looking at this post!<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[24,43],"tags":[],"class_list":["post-124","post","type-post","status-publish","format-standard","hentry","category-goodmath","category-numbers"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-20","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/124","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=124"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/124\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=124"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=124"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=124"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nTransfinite Induction and ≤
\n——————————–
\nI’m going to start off by working through the way that the recursive
\ndefinition of the surreals and the “≤” operator work. It’s based on
\nsomething called *transfinite induction*.
\nTransfinite induction is based on the use of *ordinals*. The idea is to use the basic technique of mathematical induction – only instead of doing induction over the numbers themselves, you’re doing induction over the *ordinals* associated with sets of numbers.
\nSo, the way that we make “≤” work is induction over the ordinals. Ordinal N is the set of surreal numbers whose birthday is N.
\nThe set containing the surreal 0 has ordinal 0 in the surreals. 0 ≤ 0 is true, because there is nothing in its right set (∅) that is not less than or equal to anything in its left set; and there’s nothing in its left set that is greater than or equal to anything in its right set.
\nOrdinal 1 for the surreals is the set { -1, 1 }. Does ≤ work for -1, 0, and 1? Check it through; it does.
\nSince each new ordinal introduces a set of numbers constructed from the previous ordinals; and the construction rule requires the values in a new ordinal to be built from valid values of *previous* ordinals, then the new values will *also* work correctly with “≤”.
\nAll of the other arithmetic on surreals works using definitions that similarly depend on transfinite induction.
\nAddition with Surreal Numbers
\n——————————–
\nAddition for surreals is pretty straightforward:
\nIf x = { XL<\/sub> | XR<\/sub> } and y = { YL<\/sub> | YR<\/sub> } are surreal numbers, then
\nx + y = {XL<\/sub> + y ∪ x + YL<\/sub> | XR<\/sub>+y ∪ x + YR<\/sub>} where
\n* if X is a set of surreal numbers, and y is a surreal number, then X+y = {x+y|x ∈ X}.
\nOnce again, take note of the fact that this definition is recursive, and applies to all surreal numbers by transfinite induction.
\nSo, to translate into english a bit: to add two surreals x and y, take the left side of x, and add it each member of it to y; take the left side of y, and add each member of it to X. Same basic idea for the right side.
\nSo, for example, let’s look at 2 + 3.
\n* {1|} + {2|} = {{1}+{2|} ∪ {1|}+2 | ∅ ∪ ∅ } =
\n* {{{0|}}+{2|}) ∪ {{0|}+{1|}} |} = {{3|}} ∪ {2|}|} = {3,4|} = {4|} = 5.
\nTo get subtraction into the picture, we need to define *negation* for surreal numbers:
\n* -0 = 0;
\n* if x={ XL<\/sub> | XR<\/sub> }, then -x = { {-xr | xr ∈ XR<\/sub>} | {-lx | xl ∈ XL<\/sub>}}
\nAnd now, we can say:
\n* For any two surreal numbers x and y, x – y = x + (-y)
\nMultiplication with Surreal Numbers
\n—————————————
\nThe definition of multiplication is very similar to the definition for addition:
\nIf x = {XL<\/sub> | XR<\/sub> } and y = {YL<\/sub> | YR<\/sub> }, then:
\nz = x × y = { ZL<\/sub> | ZR<\/sub> } where:
\n* ZL<\/sub> = (XL<\/sub>× y + x×YL<\/sub> – XL<\/sub>×YL<\/sub>) ∪ (XR<\/sub>×y + x×YR<\/sub> – XR<\/sub>×YR<\/sub>)
\n* ZR<\/sub> = (XL<\/sub>× y + x×YR<\/sub> – XL<\/sub>×YR<\/sub>) ∪ (XR<\/sub>×y + x×YL<\/sub> – XR<\/sub>×YL<\/sub>); and
\n* if S and T are sets of surreals (e.g., XL<\/sub> above), then S×T= { s×t | s ∈ S, t ∈ T };
\n* if t is a surreal and S is a set of surreals, then t × S = S × t = { t }×S. (Note that this implies that if S is ∅, then t×S={∅|∅} = 0; and therefore S×T=0 if S or T = ∅.)
\nTo make it easier to write things out, we can write x×y as four components: l1<\/sub>, l2<\/sub>, r1<\/sub>, and r2<\/sub>, where:
\n* l1<\/sub> = XL<\/sub>× y + x×YL<\/sub> – XL<\/sub>×YL<\/sub>
\n* l2<\/sub> = XR<\/sub>×y + x×YR<\/sub> – XR<\/sub>×YR<\/sub>
\n* r1<\/sub>=XL<\/sub>× y + x×YR<\/sub> – XL<\/sub>×YR<\/sub>
\n* r2<\/sub> = XR<\/sub>×y + x×YL<\/sub> – XR<\/sub>×YL<\/sub>
\n* x×y = {l1<\/sub> ∪ l2<\/sub> | r1<\/sub> ∪ r2<\/sub> }
\nMultiplication is a bit hard to follow, so we’ll work through a couple of examples.
\nLet’s start with 0×1. In surreal format, that’s: 0 × {0|}.
\nWe’ll look at l1<\/sub> first:
\n1. l1<\/sub> = ∅×{0|} + 0×{0} – ∅×{0} =
\n2. ∅ + 0×{0} – ∅×{0} = ∅
\nThe same thing happens to all four terms: 0 always contributes an ∅ component, which turns every term it’s a part of into ∅. In fact, the above works for any number multiplied with zero: zero’s part of every combination is always ∅, which eliminates the contribution from the other number, so the result will always end up being {∅ | ∅} = 0.
\nHow about 1×1 =
\n{0|}×{0|} =
\n* l1 = {0}×{0|} + {0|}×{0} – {0}×{0} = {0} + {{0|}×0} – {0} = {{0|} × 0} = {0}.
\n* l2 = ∅×{0|} + {0|}×∅ – ∅×∅ = ∅
\n* r1 = {0}×{0|} + {0|}×∅ – {0};×∅ = {0} + ∅ – ∅ = ∅.
\n* r2 = ∅×{0|} + {0|}×{0} – ∅×∅ = ∅ + 0 + ∅ = ∅
\nSo 1×1 = { {0} ∪ ∅ | ∅ ∪ ∅ } = {0|} = 1.
\nOne last example: 2 × 2, aka {1|} × {1|}. I’m actually going to cheat with this one. I’ve written some Java code to do basic surreal manipulations, so I’m going to let it spit out the pieces.
\n1. L1 = { {{{{{|0}|{0|}}|{{0|}|}}|{{{0|}|}|}}|{{{{0|}|}|}|}} }
\n2. L2 = ∅
\n3. R1 = ∅
\n4. R2 = ∅
\nSo 2×2 = { {{{{{|0}|{0|}}|{{0|}|}}|{{{0|}|}|}}|{{{{0|}|}|}|}} | } =
\n* {{{{{-1|1}|{1|}}|{{1|}|}}|{{{1|}|}|}}|} =
\n* {{{{0|2}|{2|}}|{{2|}|}}|} =
\n* {{{1|3}|{3|}}|} =
\n* {{2|4}|} =
\n* {3|} =
\n* 4.
\nSee, it works!
\nWhy should I care?
\n——————-
\nThe thing about surreal numbers that’s fascinating is that they’re such a simple construction – and yet they manage to capture the richness of behavior of the real numbers, while also giving us a handle on playing with infinitely large and infinitely small values. They’re a lot like Church numerals in lambda calculus, where you start with one trivial little thing – nothing but two empty sets in the surreal numbers! – and you can create *everything*.
\nUltimately, all of the definitions of arithmetic reduce to nothing more than a bunch of recursive set unions; and yet, somehow, using nothing but those set unions, we can get absolutely everything to work exactly the way we expect real numbers to work.
\nWhen you think about it that way – we’ve built up everything we need to be able to do any algebraic operation, using nothing but the empty set and set unions – it’s just amazing.
\n[surreals]: http:\/\/scienceblogs.com\/goodmath\/2006\/08\/introducing_the_surreal_number.php<\/p>\n","protected":false},"excerpt":{"rendered":"