FORMAL GROUPS OVER DISCRETE VALUATION RINGS. Contents
|
|
- Vernon Maxwell
- 5 years ago
- Views:
Transcription
1 FORMAL GROUPS OVER DISCRETE VALUATION RINGS GEUNHO GIM Cotets 1. The ivariat differetial 1 2. The formal logarithm 2 3. Formal groups over discrete valuatio rigs 3 Refereces 5 1. The ivariat differetial Throughout this sectio, F is a formal group over a rig R with formal group law F (X, Y ). Defiitio 1.1. A ivariat differetial o a formal group F is a differetial form satisfyig ω(t ) = P (T )dt R[[T ]]dt ω F (T, S) = ω(t ) (i.e., P (F (T, S))F 1 (T, S) = P (T ) where F 1 (X, Y ) is the partial derivative of F with respect to its first variable.) A ivariat differetial is said to be ormalized if P (0) = 1. Propositio 1.2. There exists a uique ormalized ivariat differetial o F/R give by the formula ω(t ) = F 1 (0, T ) 1 dt. Furthermore, every ivariat differetial is of the form aω for some a R. Proof. We first show that ω(t ) = F 1 (0, T ) 1 dt is a ormalized ivariat differetial. Sice F (T, S) T + S mod (T 2, T S, S 2 ), F 1 (0, S) = T F (T, S) T =0 1 mod (S) Thus, F 1 (0, T ) R[[T ]] is ivertible ad F 1 (0, T ) 1 1 mod (T ). We differetiate the equality F (U, F (T, S)) = F (F (U, T ), S) with respect to U ad get by chai rule. Puttig U = 0 gives us F 1 (U, F (T, S)) = F 1 (F (U, T ), S)F 1 (U, T ) F 1 (0, F (T, S)) = F 1 (F (0, T ), S)F 1 (0, T ) = F 1 (T, S)F 1 (0, T ) 1
2 ad F 1 (0, F (T, S)) 1 F 1 (T, S) = F 1 (0, T ) 1 Therefore, ω is a ormalized ivariat differetial. Suppose P (T )dt is a ivariat differetial satisfyig P (T ) = P (F (T, S))F 1 (T, S). Puttig T = 0 gives us P (0) = P (F (0, S))F 1 (0, S) = P (S)F 1 (0, S). Thus every ivariat differetial is a costat multiple of F 1 (0, T ) 1 dt depedig o P (0). Example 1.3. ω(t ) = dt is the ormailzed ivariat differetial for Ĝa. ω(t ) = dt 1+T = (1 T + T 2 T 3 + )dt is the ormalized ivariat differetial for Ĝm. Corollary 1.4. Let F ad G be formal groups over a rig R with ormalized ivariat differetials ω F ad ω G. Let f : F G be a homomorphism. The ω G f = f (0)ω F where f (T ) is the formal derivative of f(t ). Proof. Let F(X,Y) ad G(X,Y) be the formal group laws for F ad G. Let ω G (T ) = P G (T )dt ad (ω G f)(t ) = P G (f(t ))df(t ) = P G (f(t ))f (T )dt = P (T )dt. Sice f(0) = 0, we have P (0) = f (0). By Prop 1.2, it suffices to show that ω G f is a ivariat differetial for F. (ω G f)(f (T, S)) = ω G (f(f (T, S)) = ω G (G(f(T )), G(f(S))) = ω G (f(t )) = (ω G f)(t ) shows that ω G f is ideed a ivariat differetial for F. Corollary 1.5. Let p Z be a prime. The there are power series f(t ), g(t ) R[[T ]] with f(0) = g(0) = 0 such that [p](t ) = pf(t ) + g(t p ) Proof. Note that [p](t ) pt mod (T 2 ). Let ω(t ) = P (T )dt be the ormalized ivariat differetial for F. Above corollary gives pω(t ) = [p] (0)ω(T ) = (ω [p])(t ) = P ([p](t ))[p] (T )dt Sice P ([p](0)) = P (0) = 1, P ([p](t )) R[[T ]] ad [p] (T ) pr[[t ]]. If R has characteristic p, the [p] (T ) = 0, ad there is a power series g(t ) R[[T ]] such that [p](t ) = g(t p ). Otherwise, let [p](t ) = a i T i, the the coditio above implies p ia i for all i, which explais the existece of such f(t ) ad g(t ). 2. The formal logarithm Throughout this sectio, F is a formal group over a torsio-free rig R, ad K = R Q. Note that the atural map R R Q = K is ijective. 2
3 Defiitio 2.1. Let ω(t ) = (1 + c i T i )dt be the ormalized ivariat differetial o F. The formal logarithm of F is the power series log F (T ) = ω(t ) = (1 + c i T i )dt = T + c i i + 1 T i+1 K[[T ]] The formal expoetial of F is the uique power series exp F (T ) K[[T ]] satisfyig log F exp F (T ) = exp F log F (T ) = T. Example 2.2. logĝa (T ) = T = expĝa (T ). dt logĝm (T ) = 1 + T = ( 1) i 1 T i (= log(1 + T )). i expĝm (T ) = T i i! (= et 1). Propositio 2.3. log F (T ) = a 1 = b 1 = 1. a i i T i ad exp F (T ) = b i i! T i with a i, b i R ad Proof. The form of log F follows from the defiitio. Let f(t ) = log F (T ) = a i i T i ad g(t ) = exp F (T ) = b i i! T i with a i R ad b i K. Repeated differetiatio o f(g(t )) = T gives f (g(t ))g (T ) = 1, f (g(t ))g (T ) + f (g(t ))g (T ) 2 = 0, etc. The first equatio evaluated at T = 0 gives b 1 = 1 a 1 = 1. By usig those equalities, we ca show that b R[a 1,, a, b 1,, b 1 ] R iductively. Propositio 2.4. The map log F : F Ĝa gives a isomorphism of formal groups over K. Proof. Let ω(t ) be the ormalized ivariat differetial o F. Itegratig the equality ω(f (T, S)) = ω(t ) with respect to T gives us log F F (T, S) = log F (T ) + C(S) for some C(S) K[[S]]. Puttig T = 0 shows that C(S) = log F F (0, S) = log F (S). Thus log F is a homomorphism betwee two formal groups F ad Ĝa with a iverse exp F. 3. Formal groups over discrete valuatio rigs Throughout this sectio, R is a complete discrete valuatio rig with maximal ideal M, residue field k ad ormalized valuatio v. I this case, the group F(M) associated to F/R is well-defied. Let char R = 0 ad char k = p > 0. Sice [m] : F F is a isomorphism for p m, the torsio subgroup of F(M) is a p-group. 3
4 Theorem 3.1. Let x F(M) be a elemet of order p for some 1. The v(x) p p 1 Proof. From Cor 1.5, we have [p](t ) = pf(t ) + g(t p ) for some f(t ), g(t ) R[[T ]]. We use a iductio o. First assume that [p](x) = pf(x) + g(x p ) = 0. We have i R[[T ]] ad px(1 + ) = pf(x) = g(x p ) = x p ( ) + v(x) = v(px) = v(pf(x)) = v( g(x p )) v(x p ) = pv(x) Hece v(x). Now assume that the theorem is true for, ad let x be a elemet of order p +1. Note that [p](x) has order p. By iductio hypothesis, p p 1 v([p](x)) = v(pf(x) + g(xp )) mi{ + v(x), v(x p )} Note that the first expressio caot be greater tha +v(x) because v(x) > 0. Thus, v(x) = 1 p v(xp ) 1 p p p = 1 p +1 p Remark 3.2. Let R = Z p. There is o elemet x R satisfyig v(x) p p = 1 1 p p uless p = 2 ad = 1. Therefore F(pZ p) is torsio-free for p > 2 ad the 1 torsio group of F(2Z 2 ) cosists of elemets of order 2. Lemma 3.3. For all, Proof. ( [ ] ) v(!) = sice p [log p ] 1. p i Lemma 3.4. (a) Let f(t ) = the f(x) coverges i R. (b) Let g(t ) = coverges i R. v(!) [log p ] i=1 ( 1) p = (1 p [logp] ) i ( 1) a i i T i R[[T ]] with a i R. If x R satisfies v(x) > 0, b i i! T i R[[T ]] with b i R. If x R satisfies v(x) >, the g(x) 4
5 Proof. (a) We have a x v = v(a ) + v(x) v() v(x) (log p ) a x Thus v goes to ifiity as goes to ifiity. Sice v is oarchimedia ad R is complete, f(x) coverges i R. (b) We have ( b x ( 1) v = v(b )+v(x) v(!) v(x) = v(x)+( 1) v(x) )! by Lem 3.3. By assumptio, v(x) > 0 ad v b x goes to ifiity as goes! ifiity. Thus g(x) coverges i R. Theorem 3.5. Let K be a field of fractios of R. The formal logarithm iduces a homomorphism betwee groups log F : F(M) (K, +) Let r > be a iteger. The the formal logarithm iduces a isomorphism of groups log F : F(M r ) Ĝa(M r ) Proof. Lem 3.4 gives covergece of log F (x) for x M. By Prop 2.4, log F iduces a homomorphism betwee F(M) ad K. Also by Lem 3.4, exp F (x) coverges for x M r sice v(x) r >. Thus log F gives a isomorphism betwee F(M r ) ad Ĝa(M r ) with a iverse exp F. Remark 3.6. If the residue field k is fiite, the F(M) cotais a subgroup of fiite idex isomorphic to R. This is because each quotiet i the series F(M) F(M 2 ) F(M r ) = Ĝa(M r ) is of fiite idex ad Ĝa(M r ) = (R, +) (π r y y for a uiformizer π). Remark 3.7. logĝm : Ĝm(2Z 2 ) Ĝa(2Z 2 ) is ot a isomorphsm. For x 2Z 2, we ca check that v(logĝm (x)) 2. This meas the map logĝm is ot surjective. Refereces [1] C. Erickso, Oe dimesioal formal groups, at erickso/pdfs/ formal_groups.pdf. [2] J. Silverma, The Arithmetic of Elliptic Curves, Spriger,
Formal Groups. Niki Myrto Mavraki
Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal
More informationREGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS
REGULARIZATION OF CERTAIN DIVERGENT SERIES OF POLYNOMIALS LIVIU I. NICOLAESCU ABSTRACT. We ivestigate the geeralized covergece ad sums of series of the form P at P (x, where P R[x], a R,, ad T : R[x] R[x]
More informationChain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1
CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationPower series are analytic
Power series are aalytic Horia Corea 1 1 The expoetial ad the logarithm For every x R we defie the fuctio give by exp(x) := 1 + x + x + + x + = x. If x = 0 we have exp(0) = 1. If x 0, cosider the series
More informationPower series are analytic
Power series are aalytic Horia Corea 1 1 Fubii s theorem for double series Theorem 1.1. Let {α m }, be a real sequece idexed by two idices. Assume that the series α m is coverget for all ad C := ( α m
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationBasic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.
Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the
More information1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx
Problem A. Calculate ta(.) to 4 decimal places. Solutio: The power series for si(x)/ cos(x) is x + x 3 /3 + (2/5)x 5 +. Puttig x =. gives ta(.) =.3. Problem 2A. Let f : R R be a cotiuous fuctio. Show that
More informationFermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.
Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times
More information1 Elliptic Curves Over Finite Fields
1 Elliptic Curves Over Fiite Fields 1.1 Itroductio Defiitio 1.1. Elliptic curves ca be defied over ay field K; the formal defiitio of a elliptic curve is a osigular (o cusps, self-itersectios, or isolated
More informationCharacter rigidity for lattices and commensurators I after Creutz-Peterson
Character rigidity for lattices ad commesurators I after Creutz-Peterso Talk C3 for the Arbeitsgemeischaft o Superridigity held i MFO Oberwolfach, 31st March - 4th April 2014 1 Sve Raum 1 Itroductio The
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationSEMIGROUPS OF VALUATIONS DOMINATING LOCAL DOMAINS
SEMIGROUPS OF VALUATIONS DOMINATING LOCAL DOMAINS STEVEN DALE CUTKOSKY Let (R, m R ) be a equicharacteristic local domai, with quotiet field K. Suppose that ν is a valuatio of K with valuatio rig (V, m
More informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More information3 Gauss map and continued fractions
ICTP, Trieste, July 08 Gauss map ad cotiued fractios I this lecture we will itroduce the Gauss map, which is very importat for its coectio with cotiued fractios i umber theory. The Gauss map G : [0, ]
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationAdvanced Analysis. Min Yan Department of Mathematics Hong Kong University of Science and Technology
Advaced Aalysis Mi Ya Departmet of Mathematics Hog Kog Uiversity of Sciece ad Techology September 3, 009 Cotets Limit ad Cotiuity 7 Limit of Sequece 8 Defiitio 8 Property 3 3 Ifiity ad Ifiitesimal 8 4
More informationREAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS
REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai
More information3. Z Transform. Recall that the Fourier transform (FT) of a DT signal xn [ ] is ( ) [ ] = In order for the FT to exist in the finite magnitude sense,
3. Z Trasform Referece: Etire Chapter 3 of text. Recall that the Fourier trasform (FT) of a DT sigal x [ ] is ω ( ) [ ] X e = j jω k = xe I order for the FT to exist i the fiite magitude sese, S = x [
More informationOn groups of diffeomorphisms of the interval with finitely many fixed points II. Azer Akhmedov
O groups of diffeomorphisms of the iterval with fiitely may fixed poits II Azer Akhmedov Abstract: I [6], it is proved that ay subgroup of Diff ω +(I) (the group of orietatio preservig aalytic diffeomorphisms
More information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
More informationResolution Proofs of Generalized Pigeonhole Principles
Resolutio Proofs of Geeralized Pigeohole Priciples Samuel R. Buss Departmet of Mathematics Uiversity of Califoria, Berkeley Győrgy Turá Departmet of Mathematics, Statistics, ad Computer Sciece Uiversity
More informationLinear Elliptic PDE s Elliptic partial differential equations frequently arise out of conservation statements of the form
Liear Elliptic PDE s Elliptic partial differetial equatios frequetly arise out of coservatio statemets of the form B F d B Sdx B cotaied i bouded ope set U R. Here F, S deote respectively, the flux desity
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationAdvanced Stochastic Processes.
Advaced Stochastic Processes. David Gamarik LECTURE 2 Radom variables ad measurable fuctios. Strog Law of Large Numbers (SLLN). Scary stuff cotiued... Outlie of Lecture Radom variables ad measurable fuctios.
More informationFunctions of Bounded Variation and Rectifiable Curves
Fuctios of Bouded Variatio ad Rectifiable Curves Fuctios of bouded variatio 6.1 Determie which of the follwoig fuctios are of bouded variatio o 0, 1. (a) fx x si1/x if x 0, f0 0. (b) fx x si1/x if x 0,
More informationLecture 20: Multivariate convergence and the Central Limit Theorem
Lecture 20: Multivariate covergece ad the Cetral Limit Theorem Covergece i distributio for radom vectors Let Z,Z 1,Z 2,... be radom vectors o R k. If the cdf of Z is cotiuous, the we ca defie covergece
More informationLECTURE NOTES, 11/10/04
18.700 LECTURE NOTES, 11/10/04 Cotets 1. Direct sum decompositios 1 2. Geeralized eigespaces 3 3. The Chiese remaider theorem 5 4. Liear idepedece of geeralized eigespaces 8 1. Direct sum decompositios
More informationQuiz. Use either the RATIO or ROOT TEST to determine whether the series is convergent or not.
Quiz. Use either the RATIO or ROOT TEST to determie whether the series is coverget or ot. e .6 POWER SERIES Defiitio. A power series i about is a series of the form c 0 c a c a... c a... a 0 c a where
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationModern Algebra. Previous year Questions from 2017 to Ramanasri
Moder Algebra Previous year Questios from 017 to 199 Ramaasri 017 S H O P NO- 4, 1 S T F L O O R, N E A R R A P I D F L O U R M I L L S, O L D R A J E N D E R N A G A R, N E W D E L H I. W E B S I T E
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,
More information24 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS
24 MATH 101B: ALGEBRA II, PART D: REPRESENTATIONS OF GROUPS Corollary 2.30. Suppose that the semisimple decompositio of the G- module V is V = i S i. The i = χ V,χ i Proof. Sice χ V W = χ V + χ W, we have:
More informationHomework 9. (n + 1)! = 1 1
. Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More information17. Joint distributions of extreme order statistics Lehmann 5.1; Ferguson 15
17. Joit distributios of extreme order statistics Lehma 5.1; Ferguso 15 I Example 10., we derived the asymptotic distributio of the maximum from a radom sample from a uiform distributio. We did this usig
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationLaw of the sum of Bernoulli random variables
Law of the sum of Beroulli radom variables Nicolas Chevallier Uiversité de Haute Alsace, 4, rue des frères Lumière 68093 Mulhouse icolas.chevallier@uha.fr December 006 Abstract Let be the set of all possible
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationRead carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.
THE UNIVERSITY OF WARWICK FIRST YEAR EXAMINATION: Jauary 2009 Aalysis I Time Allowed:.5 hours Read carefully the istructios o the aswer book ad make sure that the particulars required are etered o each
More informationFall 2013 MTH431/531 Real analysis Section Notes
Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters
More informationTheorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.
Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is
More informationSOLVED EXAMPLES
Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as
More informationDistribution of Random Samples & Limit theorems
STAT/MATH 395 A - PROBABILITY II UW Witer Quarter 2017 Néhémy Lim Distributio of Radom Samples & Limit theorems 1 Distributio of i.i.d. Samples Motivatig example. Assume that the goal of a study is to
More informationN n (S n ) L n (Z) L 5 (Z),
. Maifold Atlas : Regesburg Surgery Blocksemiar 202 Exotic spheres (Sebastia Goette).. The surgery sequece for spheres. Recall the log exact surgery sequece for spheres from the previous talk, with L +
More informationLecture 4: Grassmannians, Finite and Affine Morphisms
18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,
More informationChapter 6 Principles of Data Reduction
Chapter 6 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 0 Chapter 6 Priciples of Data Reductio Sectio 6. Itroductio Goal: To summarize or reduce the data X, X,, X to get iformatio about a
More informationON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX0000-0 ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS MARCH T. BOEDIHARDJO AND WILLIAM B. JOHNSON 2
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics ad Egieerig Lecture otes Sergei V. Shabaov Departmet of Mathematics, Uiversity of Florida, Gaiesville, FL 326 USA CHAPTER The theory of covergece. Numerical sequeces..
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More informationMath 341 Lecture #31 6.5: Power Series
Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationEntropy Rates and Asymptotic Equipartition
Chapter 29 Etropy Rates ad Asymptotic Equipartitio Sectio 29. itroduces the etropy rate the asymptotic etropy per time-step of a stochastic process ad shows that it is well-defied; ad similarly for iformatio,
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More information3. Sequences. 3.1 Basic definitions
3. Sequeces 3.1 Basic defiitios Defiitio 3.1 A (ifiite) sequece is a fuctio from the aturals to the real umbers. That is, it is a assigmet of a real umber to every atural umber. Commet 3.1 This is the
More informationChapter 8. Euler s Gamma function
Chapter 8 Euler s Gamma fuctio The Gamma fuctio plays a importat role i the fuctioal equatio for ζ(s that we will derive i the ext chapter. I the preset chapter we have collected some properties of the
More informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationBIRKHOFF ERGODIC THEOREM
BIRKHOFF ERGODIC THEOREM Abstract. We will give a proof of the poitwise ergodic theorem, which was first proved by Birkhoff. May improvemets have bee made sice Birkhoff s orgial proof. The versio we give
More informationf(x)g(x) dx is an inner product on D.
Ark9: Exercises for MAT2400 Fourier series The exercises o this sheet cover the sectios 4.9 to 4.13. They are iteded for the groups o Thursday, April 12 ad Friday, March 30 ad April 13. NB: No group o
More informationMath 4107: Abstract Algebra I Fall Webwork Assignment1-Groups (5 parts/problems) Solutions are on Webwork.
Math 4107: Abstract Algebra I Fall 2017 Assigmet 1 Solutios 1. Webwork Assigmet1-Groups 5 parts/problems) Solutios are o Webwork. 2. Webwork Assigmet1-Subgroups 5 parts/problems) Solutios are o Webwork.
More informationA constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference
MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/
More informationHigher inverse Limits
Higher iverse Limits M.Ziegler Jue 1999 Let I be a totally ordered set. A projective system is a I-idexed family (A α ) of abelia groups together with a commutative system of homomorphisms π αβ : A β A
More informationLecture 7: Properties of Random Samples
Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ
More informationPhysics 116A Solutions to Homework Set #1 Winter Boas, problem Use equation 1.8 to find a fraction describing
Physics 6A Solutios to Homework Set # Witer 0. Boas, problem. 8 Use equatio.8 to fid a fractio describig 0.694444444... Start with the formula S = a, ad otice that we ca remove ay umber of r fiite decimals
More informationi is the prime factorization of n as a product of powers of distinct primes, then: i=1 pm i
Lecture 3. Group Actios PCMI Summer 2015 Udergraduate Lectures o Flag Varieties Lecture 3. The category of groups is discussed, ad the importat otio of a group actio is explored. Defiitio 3.1. A group
More informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
More informationMath 451: Euclidean and Non-Euclidean Geometry MWF 3pm, Gasson 204 Homework 3 Solutions
Math 451: Euclidea ad No-Euclidea Geometry MWF 3pm, Gasso 204 Homework 3 Solutios Exercises from 1.4 ad 1.5 of the otes: 4.3, 4.10, 4.12, 4.14, 4.15, 5.3, 5.4, 5.5 Exercise 4.3. Explai why Hp, q) = {x
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationSection 5.5. Infinite Series: The Ratio Test
Differece Equatios to Differetial Equatios Sectio 5.5 Ifiite Series: The Ratio Test I the last sectio we saw that we could demostrate the covergece of a series a, where a 0 for all, by showig that a approaches
More informationLecture XVI - Lifting of paths and homotopies
Lecture XVI - Liftig of paths ad homotopies I the last lecture we discussed the liftig problem ad proved that the lift if it exists is uiquely determied by its value at oe poit. I this lecture we shall
More informationDifferent kinds of Mathematical Induction
Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}
More informationA COUNTABLE SPACE WITH AN UNCOUNTABLE FUNDAMENTAL GROUP
A COUNTABLE SPACE WITH AN UNCOUNTABLE FUNDAMENTAL GROUP JEREMY BRAZAS AND LUIS MATOS Abstract. Traditioal examples of spaces that have ucoutable fudametal group (such as the Hawaiia earrig space) are path-coected
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More information1 Last time: similar and diagonalizable matrices
Last time: similar ad diagoalizable matrices Let be a positive iteger Suppose A is a matrix, v R, ad λ R Recall that v a eigevector for A with eigevalue λ if v ad Av λv, or equivaletly if v is a ozero
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Stirlig ad Lagrage Sprig 2003 This sectio of the otes cotais proofs of Stirlig s formula ad the Lagrage Iversio Formula. Stirlig s formula Theorem 1 (Stirlig s
More informationLECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK)
LECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK) Everythig marked by is ot required by the course syllabus I this lecture, all vector spaces is over the real umber R. All vectors i R is viewed as a colum
More informationThe Discrete Fourier Transform
The Discrete Fourier Trasform Complex Fourier Series Represetatio Recall that a Fourier series has the form a 0 + a k cos(kt) + k=1 b k si(kt) This represetatio seems a bit awkward, sice it ivolves two
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More information11.5 Alternating Series, Absolute and Conditional Convergence
.5.5 Alteratig Series, Absolute ad Coditioal Covergece We have see that the harmoic series diverges. It may come as a surprise the to lear that ) 2 + 3 4 + + )+ + = ) + coverges. To see this, let s be
More informationThe Structure of Z p when p is Prime
LECTURE 13 The Structure of Z p whe p is Prime Theorem 131 If p > 1 is a iteger, the the followig properties are equivalet (1) p is prime (2) For ay [0] p i Z p, the equatio X = [1] p has a solutio i Z
More informationRegn. No. North Delhi : 33-35, Mall Road, G.T.B. Nagar (Opp. Metro Gate No. 3), Delhi-09, Ph: ,
. Sectio-A cotais 30 Multiple Choice Questios (MCQ). Each questio has 4 choices (a), (b), (c) ad (d), for its aswer, out of which ONLY ONE is correct. From Q. to Q.0 carries Marks ad Q. to Q.30 carries
More informationAdditional Notes on Power Series
Additioal Notes o Power Series Mauela Girotti MATH 37-0 Advaced Calculus of oe variable Cotets Quick recall 2 Abel s Theorem 2 3 Differetiatio ad Itegratio of Power series 4 Quick recall We recall here
More informationA brief introduction to linear algebra
CHAPTER 6 A brief itroductio to liear algebra 1. Vector spaces ad liear maps I what follows, fix K 2{Q, R, C}. More geerally, K ca be ay field. 1.1. Vector spaces. Motivated by our ituitio of addig ad
More informationand each factor on the right is clearly greater than 1. which is a contradiction, so n must be prime.
MATH 324 Summer 200 Elemetary Number Theory Solutios to Assigmet 2 Due: Wedesday July 2, 200 Questio [p 74 #6] Show that o iteger of the form 3 + is a prime, other tha 2 = 3 + Solutio: If 3 + is a prime,
More information