Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgements
- Chapter 1 Introduction
- Chapter 2 Definition and Fundamental Existence Theorem
- Chapter 3 The Basic Operations
- Chapter 4 Real Numbers and Ordinals
- Chapter 5 Normal Form
- Chapter 6 Lengths and Subsystems which are Sets
- Chapter 7 Sums as Subshuffles, Unsolved Problems
- Chapter 8 Number Theory
- Chapter 9 Generalized Epsilon Numbers
- Chapter 10 Exponentiation
- References
- Index
Chapter 6 - Lengths and Subsystems which are Sets
Published online by Cambridge University Press: 03 May 2010
- Frontmatter
- Contents
- Preface
- Acknowledgements
- Chapter 1 Introduction
- Chapter 2 Definition and Fundamental Existence Theorem
- Chapter 3 The Basic Operations
- Chapter 4 Real Numbers and Ordinals
- Chapter 5 Normal Form
- Chapter 6 Lengths and Subsystems which are Sets
- Chapter 7 Sums as Subshuffles, Unsolved Problems
- Chapter 8 Number Theory
- Chapter 9 Generalized Epsilon Numbers
- Chapter 10 Exponentiation
- References
- Index
Summary
Up to now we have considered basic material which in some form is contained in [1], At this point we begin to consider problems that are new and more specialized. In this chapter we are interested in information regarding upper bounds of lengths of surreal numbers obtained by various operations. This will allow us to obtain subclasses of the proper class of surreal numbers which are actually subsets and closed under desirable operations. Our first result is an easy one.
Theorem 6.1. l(a+b) ≤ l(a) ⊕ l(b).
Proof. We use induction as usual. A typical upper or lower element in the canonical representation of a+b has the form a0+b or a+b0. Without loss of generality consider a0+b. By the inductive hypothesis l(a0+b) ≤ l(a0+b) ⊕ ≤ l(b) < l(a) ⊕ l(b). The result follows by theorem 2.3.
This result is sharp. In fact, we already know that in the special case where a and b are ordinals we obtain equality. If a and b are not ordinals then we usually have a proper inequality. For example, l(1) = 1 but l(½) = 2, hence l(1) ≤ l(½) + l(½).
Incidentally, the sign sequence formula of the preceding chapter makes it comparatively routine to study the question of when equality is obtained. We do not pursue this here since we are at present more interested in bounds.
- Type
- Chapter
- Information
- An Introduction to the Theory of Surreal Numbers , pp. 95 - 103Publisher: Cambridge University PressPrint publication year: 1986