DOCSLIB.ORG

Polynomials Over Power Series and Their Applications to Limit Computations (Lecture Version)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Polynomials Over Power Series and Their Applications to Limit Computations (Lecture Version) Polynomials over Power Series and their Applications to Limit Computations (lecture version) Marc Moreno Maza University of Western Ontario IBM Center for Advanced Studie September 17, 2018 Plan 1 From Formal to Convergent Power Series 2 Polynomials over Power Series Weierstrass Preparation Theorem Properties of Power Series Rings Puiseux Theorem and Consequences Algebraic Version of Puiseux Theorem Geometric Version of Puiseux Theorem The Ring of Puiseux Series The Hensel-Sasaki Construction: Bivariate Case Limit Points: Review and Complement 3 Limits of Multivariate Real Analytic Functions At isolated poles for bivariate functions Limit along a semi-algebraic set At isolated poles for multivariate functions Proof of the main lemma 4 Computations of tangent cones and intersection multiplicities Tangent Cones Iintersection Multiplicities Plan 1 From Formal to Convergent Power Series 2 Polynomials over Power Series Weierstrass Preparation Theorem Properties of Power Series Rings Puiseux Theorem and Consequences Algebraic Version of Puiseux Theorem Geometric Version of Puiseux Theorem The Ring of Puiseux Series The Hensel-Sasaki Construction: Bivariate Case Limit Points: Review and Complement 3 Limits of Multivariate Real Analytic Functions At isolated poles for bivariate functions Limit along a semi-algebraic set At isolated poles for multivariate functions Proof of the main lemma 4 Computations of tangent cones and intersection multiplicities Tangent Cones Iintersection Multiplicities Formal power series (1/4) Notations K is a complete field, that is, every Cauchy sequence in K converges. K[[X1;:::;Xn]] denotes the set of formal power series in X1;:::;Xn with coefficients in K. e These are expressions of the form Σe aeX where e is a multi-index e e1 en with n coordinates (e1; : : : ; en), X stands for X1 ··· Xn , jej = e1 + ··· + en and ae 2 K holds. e For f = Σe aeX and d 2 N, we define P e (d) P f(d) = jej=d aeX and f = k≤d f(k); which are the homogeneous part and polynomial part of f in degree d. Addition and multiplication For f; g 2 K[[X1;:::;Xn]], we define f + g = P (f + g ) and fg = P Σ (f g ) : d2N (d) (d) d2N k+`=d (k) (`) Formal power series (2/4) Order of a formal power series For f 2 K[[X1;:::;Xn]], we define its order as minfd j f 6= 0g if f 6= 0; ord(f) = (d) 1 if f = 0: Remarks For f; g 2 K[[X1;:::;Xn]], we have ord(f + g) ≥ minford(f); ord(g)g and ord(fg) = ord(f) + ord(g): Consequences K[[X1;:::;Xn]] is an integral domain. M = ff 2 K[[X1;:::;Xn]] j ord(f) ≥ 1g is the only maximal ideal of K[[X1;:::;Xn]]. k We have M = ff 2 K[[X1;:::;Xn]] j ord(f) ≥ kg for all k 2 N. Formal power series (3/4) Krull Topology Recall M = ff 2 K[[X1;:::;Xn]] j ord(f) ≥ 1g. Let (fn)n2N be a sequence of elements of K[[X]] and let f 2 K[[X]]. We say that (fn)n2N converges to f if for all k 2 N there exists N 2 N s.t. for all k n 2 N we have n ≥ N ) f − fn 2 M , (fn)n2N is a Cauchy sequence if for all k 2 N there exists N 2 N s.t. k for all n; m 2 N we have n; m ≥ N ) fm − fn 2 M . Proposition 1 We have T Mk = h0i, k2N If every Cauchy sequence in K converges, then every Cauchy sequence of K[[X]] converges too. Formal power series (4/4) Proposition 2 For all f 2 K[[X1;:::;Xn]], the following properties are equivalent: (i) f is a unit, (ii) ord(f) = 0, (iii) f 62 M. Sketch of proof This follows from the classical observation that for g 2 K[[X1;:::;Xn]], with ord(g) > 0, the following holds in K[[X1;:::;Xn]] (1 − g)(1 + g + g2 + ··· ) = 1 Since (1 + g + g2 + ··· ) is in fact a sequence of elements in K[[X1;:::;Xn]], proving the above relation formally requires the use of Krull Topology. Abel's Lemma (1/2) Geometric series From now on, the field K is equipped with an absolute value. The geometric e series Σe X is absolutely convergent provided that jx1j < 1;:::; jxnj < 1 all hold. Then we have Σ xe1 ··· xen = 1 : e 1 n (1−x1)···(1−xn) Abel's Lemma e n Let f = Σe aeX 2 K[[X]], let x = (x1; : : : ; xn) 2 K , let M 2 R>0 and Let ρ1; : : : ; ρn be real numbers such that e n (i) jaex j ≤ M holds for all e 2 N , (ii)0 < ρj < jxjj holds for all j = 1 ··· n. Then f is uniformly and absolutely convergent in the polydisk n D = fz 2 K j jzjj < ρjg: In particular, the limit of the sum is independent of the summand order. Abel's Lemma (2/2) Corollary 1 e Let f = Σe aeX 2 K[[X]]. Then, the following properties are equivalent: n (i) There exists x = (x1; : : : ; xn) 2 K , with xj 6= 0 for all j = 1 ··· n, s.t. e Σe aex converges. n e (ii) There exists ρ = (ρ1; : : : ; ρn) 2 R>0 s.t. Σe aeρ converges. n e (iii) There exists σ = (σ1; : : : ; σn) 2 R>0 s.t. Σe jaejσ converges. Definition A power series f 2 K[[X]] is said convergent if it satisfies one of the conditions of the above corollary. The set of the convergent power series of K[[X]] is denoted by KhXi. Remark It can be shown that, within its domain of convergence, a formal power series is a multivariate holomorphic function. Conversely, any multivariate holomorphic function can be expressed locally as the sum of a power series. ρ-norm of a power series Notation n e Let ρ = (ρ1; : : : ; ρn) 2 R>0 . For all f = Σe aeX 2 K[[X]], we define e k f kρ = Σe jaejρ : Proposition 3 For all f; g 2 K[[X]] and all λ 2 K, we have k f kρ = 0 () f = 0, k λf kρ = jλj k f kρ, k f + g kρ ≤ k f kρ + k g kρ, If f = Σk≤d f(d) is the decomposition of f into homogeneous parts, then k f k = Σ k f k holds. ρ k≤d (d) ρ If f; g are polynomials, then k fg kρ ≤ k f kρk f kρ, limρ!0k f kρ = jf(0)j. Convergent power series form a ring (1/5) Notation n Let ρ = (ρ1; : : : ; ρn) 2 R>0 . We define Bρ = ff 2 K[[X]] j k f kρ < 1g Theorem 0 The set Bρ is a Banach algebra. Moreover, if ρ ≤ ρ holds then we have Bρ0 ⊆ Bρ. S We define KhXi := ρBρ KhXi is a subring of K[[X]]. Cauchy's estimate e e Observe that for all f = Σe aeX 2 K[[X]], we have for all e 2 N kfkρ jaej ≤ ρe : Convergent power series form a ring (2/5) Theorem 1 The set Bρ is a Banach algebra. Moreover, 0 1 if ρ ≤ ρ holds then we have Bρ0 ⊆ Bρ, 2 S we have ρBρ = KhXi. Proof (1/3) From Proposition 3, we know that Bρ is a normed vector space. Proving that k fg kρ ≤ k f kρ k g kρ holds for all f; g 2 K[[X]] is routine. Thus, Bρ is a normed algebra. To prove (1), it remains to show that Bρ is complete. (j) e Let (fj)j2N be a Cauchy sequence in Bρ. We write fj = Σe ae X . n From Cauchy's estimate, for each e 2 N , for all i; j 2 N we have (j) (i) k fj − fi kρ jae − ae j ≤ ρe . Convergent power series form a ring (3/5) Proof (2/3) n (j) Since K is complete, for each e 2 N , the sequence (ae )j2N converges to an element ae 2 K. e We define f = Σe aeX . It must be shown that (i) f 2 Bρ holds and (ii) limj!1 fj = f holds in the metric topology induced by the ρ-norm of the normed vector space Bρ. Hence we must show that (i) k f kρ < 1 holds, and (ii) for all " > 0 there exists j0 2 N s.t. for all j 2 N we have j ≥ j0 ) k f − fj kρ ≤ ". Let " > 0. Since (fj)j2N is a Cauchy sequence in Bρ, there exists j0 2 N s.t. for all j ≥ j0 and all i ≥ 0 we have P (j+i) (j) e " e jae − ae jρ = k fj+i − fj kρ < 2 : Convergent power series form a ring (4/5) Proof (3/3) n (i) Let s 2 N be fixed. Since for each e 2 N the sequence (ae − ae )i2N converges to 0 in K, there exists i0 2 N s.t. for all j ≥ j0 and all i ≥ i0 we have Ps (j+i) e " jej=0 jae − ae jρ < 2 : Therefore, for all j ≥ j0 and all i ≥ i0 we have Ps (j) e jej=0 jae − ae jρ ≤ Ps (j+i) e P (j+i) (i) e " " jej=0 jae − ae jρ + e jae − ae jρ < 2 + 2 = ": Since the above holds for all s, we deduce that for all j ≥ j0 P (j) e k f − fj kρ = e jae − ae jρ ≤ "; which proves (ii). Finally, (i) follows from k f kρ ≤ k f − fj0 kρ + k fj0 kρ ≤ " + k fj0 kρ < 1: Convergent power series form a ring (5/5) Corollary 2 KhXi is a subring of K[[X]].
Load more

Recommended publications
  • Class 1/28 1 Zeros of an Analytic Function
    Math 752 Spring 2011 Class 1/28 1 Zeros of an analytic function Towards the fundamental theorem of algebra and its statement for analytic functions. Definition 1. Let f : G → C be analytic and f(a) = 0. a is said to have multiplicity m ≥ 1 if there exists an analytic function g : G → C with g(a) 6= 0 so that f(z) = (z − a)mg(z). Definition 2. If f is analytic in C it is called entire. An entire function has a power series expansion with infinite radius of convergence. Theorem 1 (Liouville’s Theorem). If f is a bounded entire function then f is constant. 0 Proof. Assume |f(z)| ≤ M for all z ∈ C. Use Cauchy’s estimate for f to obtain that |f 0(z)| ≤ M/R for every R > 0 and hence equal to 0. Theorem 2 (Fundamental theorem of algebra). For every non-constant polynomial there exists a ∈ C with p(a) = 0. Proof. Two facts: If p has degree ≥ 1 then lim p(z) = ∞ z→∞ where the limit is taken along any path to ∞ in C∞. (Sometimes also written as |z| → ∞.) If p has no zero, its reciprocal is therefore entire and bounded. Invoke Liouville’s theorem. Corollary 1. If p is a polynomial with zeros aj (multiplicity kj) then p(z) = k k km c(z − a1) 1 (z − a2) 2 ...(z − am) . Proof. Induction, and the fact that p(z)/(z − a) is a polynomial of degree n − 1 if p(a) = 0. 1 The zero function is the only analytic function that has a zero of infinite order.
    [Show full text]
  • Informal Lecture Notes for Complex Analysis
    Informal lecture notes for complex analysis Robert Neel I'll assume you're familiar with the review of complex numbers and their algebra as contained in Appendix G of Stewart's book, so we'll pick up where that leaves off. 1 Elementary complex functions In one-variable real calculus, we have a collection of basic functions, like poly- nomials, rational functions, the exponential and log functions, and the trig functions, which we understand well and which serve as the building blocks for more general functions. The same is true in one complex variable; in fact, the real functions we just listed can be extended to complex functions. 1.1 Polynomials and rational functions We start with polynomials and rational functions. We know how to multiply and add complex numbers, and thus we understand polynomial functions. To be specific, a degree n polynomial, for some non-negative integer n, is a function of the form n n−1 f(z) = cnz + cn−1z + ··· + c1z + c0; 3 where the ci are complex numbers with cn 6= 0. For example, f(z) = 2z + (1 − i)z + 2i is a degree three (complex) polynomial. Polynomials are clearly defined on all of C. A rational function is the quotient of two polynomials, and it is defined everywhere where the denominator is non-zero. z2+1 Example: The function f(z) = z2−1 is a rational function. The denomina- tor will be zero precisely when z2 = 1. We know that every non-zero complex number has n distinct nth roots, and thus there will be two points at which the denominator is zero.
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • Bounded Holomorphic Functions on Finite Riemann Surfaces
    BOUNDED HOLOMORPHIC FUNCTIONS ON FINITE RIEMANN SURFACES BY E. L. STOUT(i) 1. Introduction. This paper is devoted to the study of some problems concerning bounded holomorphic functions on finite Riemann surfaces. Our work has its origin in a pair of theorems due to Lennart Carleson. The first of the theorems of Carleson we shall be concerned with is the following [7] : Theorem 1.1. Let fy,---,f„ be bounded holomorphic functions on U, the open unit disc, such that \fy(z) + — + \f„(z) | su <5> 0 holds for some ô and all z in U. Then there exist bounded holomorphic function gy,---,g„ on U such that ftEi + - +/A-1. In §2, we use this theorem to establish an analogous result in the setting of finite open Riemann surfaces. §§3 and 4 consider certain questions which arise naturally in the course of the proof of this generalization. We mention that the chief result of §2, Theorem 2.6, has been obtained independently by N. L. Ailing [3] who has used methods more highly algebraic than ours. The second matter we shall be concerned with is that of interpolation. If R is a Riemann surface and if £ is a subset of R, call £ an interpolation set for R if for every bounded complex-valued function a on £, there is a bounded holo- morphic function f on R such that /1 £ = a. Carleson [6] has characterized interpolation sets in the unit disc: Theorem 1.2. The set {zt}™=1of points in U is an interpolation set for U if and only if there exists ô > 0 such that for all n ** n00 k = l;ktn 1 — Z.Zl An alternative proof is to be found in [12, p.
    [Show full text]
  • Complex-Differentiability
    Complex-Differentiability Sébastien Boisgérault, Mines ParisTech, under CC BY-NC-SA 4.0 April 25, 2017 Contents Core Definitions 1 Derivative and Complex-Differential 3 Calculus 5 Cauchy-Riemann Equations 7 Appendix – Terminology and Notation 10 References 11 Core Definitions Definition – Complex-Differentiability & Derivative. Let f : A ⊂ C → C. The function f is complex-differentiable at an interior point z of A if the derivative of f at z, defined as the limit of the difference quotient f(z + h) − f(z) f 0(z) = lim h→0 h exists in C. Remark – Why Interior Points? The point z is an interior point of A if ∃ r > 0, ∀ h ∈ C, |h| < r → z + h ∈ A. In the definition above, this assumption ensures that f(z + h) – and therefore the difference quotient – are well defined when |h| is (nonzero and) small enough. Therefore, the derivative of f at z is defined as the limit in “all directions at once” of the difference quotient of f at z. To question the existence of the derivative of f : A ⊂ C → C at every point of its domain, we therefore require that every point of A is an interior point, or in other words, that A is open. 1 Definition – Holomorphic Function. Let Ω be an open subset of C. A function f :Ω → C is complex-differentiable – or holomorphic – in Ω if it is complex-differentiable at every point z ∈ Ω. If additionally Ω = C, the function is entire. Examples – Elementary Functions. 1. Every constant function f : z ∈ C 7→ λ ∈ C is holomorphic as 0 λ − λ ∀ z ∈ C, f (z) = lim = 0.
    [Show full text]
  • 1.1 Constructing the Real Numbers
    18.095 Lecture Series in Mathematics IAP 2015 Lecture #1 01/05/2015 What is number theory? The study of numbers of course! But what is a number? • N = f0; 1; 2; 3;:::g can be defined in several ways: { Finite ordinals (0 := fg, n + 1 := n [ fng). { Finite cardinals (isomorphism classes of finite sets). { Strings over a unary alphabet (\", \1", \11", \111", . ). N is a commutative semiring: addition and multiplication satisfy the usual commu- tative/associative/distributive properties with identities 0 and 1 (and 0 annihilates). Totally ordered (as ordinals/cardinals), making it a (positive) ordered semiring. • Z = {±n : n 2 Ng.A commutative ring (commutative semiring, additive inverses). Contains Z>0 = N − f0g closed under +; × with Z = −Z>0 t f0g t Z>0. This makes Z an ordered ring (in fact, an ordered domain). • Q = fa=b : a; 2 Z; b 6= 0g= ∼, where a=b ∼ c=d if ad = bc. A field (commutative ring, multiplicative inverses, 0 6= 1) containing Z = fn=1g. Contains Q>0 = fa=b : a; b 2 Z>0g closed under +; × with Q = −Q>0 t f0g t Q>0. This makes Q an ordered field. • R is the completion of Q, making it a complete ordered field. Each of the algebraic structures N; Z; Q; R is canonical in the following sense: every non-trivial algebraic structure of the same type (ordered semiring, ordered ring, ordered field, complete ordered field) contains a copy of N; Z; Q; R inside it. 1.1 Constructing the real numbers What do we mean by the completion of Q? There are two possibilities: 1.
    [Show full text]
  • Complex Manifolds
    Complex Manifolds Lecture notes based on the course by Lambertus van Geemen A.A. 2012/2013 Author: Michele Ferrari. For any improvement suggestion, please email me at: [email protected] Contents n 1 Some preliminaries about C 3 2 Basic theory of complex manifolds 6 2.1 Complex charts and atlases . 6 2.2 Holomorphic functions . 8 2.3 The complex tangent space and cotangent space . 10 2.4 Differential forms . 12 2.5 Complex submanifolds . 14 n 2.6 Submanifolds of P ............................... 16 2.6.1 Complete intersections . 18 2 3 The Weierstrass }-function; complex tori and cubics in P 21 3.1 Complex tori . 21 3.2 Elliptic functions . 22 3.3 The Weierstrass }-function . 24 3.4 Tori and cubic curves . 26 3.4.1 Addition law on cubic curves . 28 3.4.2 Isomorphisms between tori . 30 2 Chapter 1 n Some preliminaries about C We assume that the reader has some familiarity with the notion of a holomorphic function in one complex variable. We extend that notion with the following n n Definition 1.1. Let f : C ! C, U ⊆ C open with a 2 U, and let z = (z1; : : : ; zn) be n the coordinates in C . f is holomorphic in a = (a1; : : : ; an) 2 U if f has a convergent power series expansion: +1 X k1 kn f(z) = ak1;:::;kn (z1 − a1) ··· (zn − an) k1;:::;kn=0 This means, in particular, that f is holomorphic in each variable. Moreover, we define OCn (U) := ff : U ! C j f is holomorphicg m A map F = (F1;:::;Fm): U ! C is holomorphic if each Fj is holomorphic.
    [Show full text]
  • Be a Metric Space
    2 The University of Sydney show that Z is closed in R. The complement of Z in R is the union of all the Pure Mathematics 3901 open intervals (n, n + 1), where n runs through all of Z, and this is open since every union of open sets is open. So Z is closed. Metric Spaces 2000 Alternatively, let (an) be a Cauchy sequence in Z. Choose an integer N such that d(xn, xm) < 1 for all n ≥ N. Put x = xN . Then for all n ≥ N we have Tutorial 5 |xn − x| = d(xn, xN ) < 1. But xn, x ∈ Z, and since two distinct integers always differ by at least 1 it follows that xn = x. This holds for all n > N. 1. Let X = (X, d) be a metric space. Let (xn) and (yn) be two sequences in X So xn → x as n → ∞ (since for all ε > 0 we have 0 = d(xn, x) < ε for all such that (yn) is a Cauchy sequence and d(xn, yn) → 0 as n → ∞. Prove that n > N). (i)(xn) is a Cauchy sequence in X, and 4. (i) Show that if D is a metric on the set X and f: Y → X is an injective (ii)(xn) converges to a limit x if and only if (yn) also converges to x. function then the formula d(a, b) = D(f(a), f(b)) defines a metric d on Y , and use this to show that d(m, n) = |m−1 − n−1| defines a metric Solution.
    [Show full text]
  • Complex Analysis Qual Sheet
    Complex Analysis Qual Sheet Robert Won \Tricks and traps. Basically all complex analysis qualifying exams are collections of tricks and traps." - Jim Agler 1 Useful facts 1 X zn 1. ez = n! n=0 1 X z2n+1 1 2. sin z = (−1)n = (eiz − e−iz) (2n + 1)! 2i n=0 1 X z2n 1 3. cos z = (−1)n = (eiz + e−iz) 2n! 2 n=0 1 4. If g is a branch of f −1 on G, then for a 2 G, g0(a) = f 0(g(a)) 5. jz ± aj2 = jzj2 ± 2Reaz + jaj2 6. If f has a pole of order m at z = a and g(z) = (z − a)mf(z), then 1 Res(f; a) = g(m−1)(a): (m − 1)! 7. The elementary factors are defined as z2 zp E (z) = (1 − z) exp z + + ··· + : p 2 p Note that elementary factors are entire and Ep(z=a) has a simple zero at z = a. 8. The factorization of sin is given by 1 Y z2 sin πz = πz 1 − : n2 n=1 9. If f(z) = (z − a)mg(z) where g(a) 6= 0, then f 0(z) m g0(z) = + : f(z) z − a g(z) 1 2 Tricks 1. If f(z) nonzero, try dividing by f(z). Otherwise, if the region is simply connected, try writing f(z) = eg(z). 2. Remember that jezj = eRez and argez = Imz. If you see a Rez anywhere, try manipulating to get ez. 3. On a similar note, for a branch of the log, log reiθ = log jrj + iθ.
    [Show full text]
  • Smooth Versus Analytic Functions
    Smooth versus Analytic functions Henry Jacobs December 6, 2009 Functions of the form X i f(x) = aix i≥0 that converge everywhere are called analytic. We see that analytic functions are equal to there Taylor expansions. Obviously all analytic functions are smooth or C∞ but not all smooth functions are analytic. For example 2 g(x) = e−1/x Has derivatives of all orders, so g ∈ C∞. This function also has a Taylor series expansion about any point. In particular the Taylor expansion about 0 is g(x) ≈ 0 + 0x + 0x2 + ... So that the Taylor series expansion does in fact converge to the function g˜(x) = 0 We see that g andg ˜ are competely different and only equal each other at a single point. So we’ve shown that g is not analytic. This is relevent in this class when finding approximations of invariant man- ifolds. Generally when we ask you to find a 2nd order approximation of the center manifold we just want you to express it as the graph of some function on an affine subspace of Rn. For example say we’re in R2 with an equilibrium point at the origin, and a center subspace along the y-axis. Than if you’re asked to find the center manifold to 2nd order you assume the manifold is locally (i.e. near (0,0)) defined by the graph (h(y), y). Where h(y) = 0, h0(y) = 0. Thus the taylor approximation is h(y) = ay2 + hot. and you must solve for a using the invariance of the manifold and the dynamics.
    [Show full text]
  • Formal Power Series Rings, Inverse Limits, and I-Adic Completions of Rings
    Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely many variables over a ring R, and show that it is Noetherian when R is. But we begin with a definition in much greater generality. Let S be a commutative semigroup (which will have identity 1S = 1) written multi- plicatively. The semigroup ring of S with coefficients in R may be thought of as the free R-module with basis S, with multiplication defined by the rule h k X X 0 0 X X 0 ( risi)( rjsj) = ( rirj)s: i=1 j=1 s2S 0 sisj =s We next want to construct a much larger ring in which infinite sums of multiples of elements of S are allowed. In order to insure that multiplication is well-defined, from now on we assume that S has the following additional property: (#) For all s 2 S, f(s1; s2) 2 S × S : s1s2 = sg is finite. Thus, each element of S has only finitely many factorizations as a product of two k1 kn elements. For example, we may take S to be the set of all monomials fx1 ··· xn : n (k1; : : : ; kn) 2 N g in n variables. For this chocie of S, the usual semigroup ring R[S] may be identified with the polynomial ring R[x1; : : : ; xn] in n indeterminates over R. We next construct a formal semigroup ring denoted R[[S]]: we may think of this ring formally as consisting of all functions from S to R, but we shall indicate elements of the P ring notationally as (possibly infinite) formal sums s2S rss, where the function corre- sponding to this formal sum maps s to rs for all s 2 S.
    [Show full text]
  • Absolute Convergence in Ordered Fields
    Absolute Convergence in Ordered Fields Kristine Hampton Abstract This paper reviews Absolute Convergence in Ordered Fields by Clark and Diepeveen [1]. Contents 1 Introduction 2 2 Definition of Terms 2 2.1 Field . 2 2.2 Ordered Field . 3 2.3 The Symbol .......................... 3 2.4 Sequential Completeness and Cauchy Sequences . 3 2.5 New Sequences . 4 3 Summary of Results 4 4 Proof of Main Theorem 5 4.1 Main Theorem . 5 4.2 Proof . 6 5 Further Applications 8 5.1 Infinite Series in Ordered Fields . 8 5.2 Implications for Convergence Tests . 9 5.3 Uniform Convergence in Ordered Fields . 9 5.4 Integral Convergence in Ordered Fields . 9 1 1 Introduction In Absolute Convergence in Ordered Fields [1], the authors attempt to dis- tinguish between convergence and absolute convergence in ordered fields. In particular, Archimedean and non-Archimedean fields (to be defined later) are examined. In each field, the possibilities for absolute convergence with and without convergence are considered. Ultimately, the paper [1] attempts to offer conditions on various fields that guarantee if a series is convergent or not in that field if it is absolutely convergent. The results end up exposing a reliance upon sequential completeness in a field for any statements on the behavior of convergence in relation to absolute convergence to be made, and vice versa. The paper makes a noted attempt to be readable for a variety of mathematic levels, explaining new topics and ideas that might be confusing along the way. To understand the paper, only a basic understanding of series and convergence in R is required, although having a basic understanding of ordered fields would be ideal.
    [Show full text]