Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
SOLUTION TO MATH 8410, EXERCISE 2.4 PETE L. CLARK Prerequisites : This exercise uses Exercise 2.2 and Exercise 2.3. Statement : Let ( K, | | ) be a non-Archimedean normed field, and let L/K be a purely transcendental extension. Show that | | extends to a norm on L . Background : We will review the definition of a purely transcendental extension. More significantly, we will prove the result by transfinite induction , so let’s begin with a refresher 1 on that. Recall that a well-ordered set is a set S endowed with a total ordering rela- tion (a reflexive, anti-symmetric, transitive relation such that for all x, y S , at least one of x y and y x holds) which has the additional property that every nonempty subset T of S has a least element. For instance, the natural numbers N with their usual ordering are a well-ordered set, as are N ∪ {∞} , the natural numbers with an additional element such that x < for all x N . In fact, for any well-ordered set S , it turns out to be useful to define the well-ordered set S + = S ∪{∞} in the same way. (In particular, S + has a maximal element, whereas S need not.) The empty set is well-ordered. Any nonempty well-ordered set has a least ele- ment, which we might as well call 0. 2 If S is well-ordered, and x is any element of S except possibly the maximal element (if any), then the set { y S | x < y } is nonempty hence has a least element, the successor of x . In the natural numbers, the successor of n is nothing else than n +1, so we may as well denote the successor of x by x + 1 in the general case. An element
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/26/2011 for the course MATH 8410 taught by Professor Staff during the Fall '11 term at UGA.

Page1 / 3


This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online