Rearrangement of series. The theorem of LevySteiniz.


 Caren Parks
 1 years ago
 Views:
Transcription
1 Rearrangement of series. The theorem of LevySteiniz. Instituto Universitario de Matemática Pura y Aplicada Universidad Politécnica de Valencia, SPAIN Poznań (Poland). October 20
2 Rearrangement of series. Surprising phenomenon in mathematical analysis: Infinite sums of numbers do NOT satisfy the commutative property.
3 Series a k. Sequence of real number a, a 2,..., a k,..., called terms of the series. We want to associate to them a sum. Idea of Cauchy. Partial Sums s := a, s 2 := a + a 2,..., s k := a + a a k. The series converges if the limit ĺım s k = s exists and this limit is called the sum of the series s = k= a k. x k = + x + x converges if and only if x <. Its sum is k=0 x k = x.
4 Aspects to study about series. () Convergence. k= k = π 2 /6 (Euler). 2 (2) Asymptotic behaviour. The harmonic series k diverges (Euler). Its partial sums s k behave asymptotically like log k. This means ĺım k s k log k =. Euler proved also that the series p, the sum extended to the prime numbers p diverges. (3) An aspect that is exclusive to series is rearrangement.
5 Rearrangement of series A rearrangement of the series a k is the series a π(k), where is a bijection. π : N N A series a k is unconditionally convergent if the series a π(k) converges for each bijection π. If the series a k converges, the set of sums is S( a k ) := {x R x = a π(k) for some π} k= It is the set of sums of all the rearrangements of the series.
6 The Theorem of Riemann Theorem (Riemann, 857) Let a k be a series of real numbers. ak is unconditionally convergent if and only if a k is convergent, that is the series is absolutely convergent. If a k converges, but not unconditionally, then S( a k ) = R.
7 Riemann ( ). Riemann integral, Riemann s surfaces, the Cauchy Riemann equation, the theorem of Riemann Lebesgue, the theorem of Riemann s function in complex analysis, Riemann s zeta function,...
8 The center of Mathematics between 800 y 933 was Göttingen (Germany). Gauss, Dirichlet, Riemann, Hilbert y Klein were there.
9 The Theorem of Riemann Idea of the proof: If a k converges absolutely, Cauchy s criterion ensures that every rearrangement converges to the same sum. Suppose that a k converges but not absolutely. Let p k y q k be the positive and negative terms of the series respectively. Possible cases: pk converges, q k converges, then a k converges. pk =, q k converges, then a k =. pk converges, q k =, then a k =. Thus p k = y q k =. Fix α R, select the first n() with p p n() > α; then the first n(2) with p p n() + q q n(2) < α. Since ĺım a k = 0, the rest of the proof is εδ.
10 The alternate harmonic series. The alternate harmonic series = k= ( )k+ k = log 2. Leibniz s criterion shows that this series is convergent. It is not absolutely convergent. The result was known to Mercator (S. XVII). There are many different proofs, for example by a theorem of Abel on power series using the development of log( + x).
11 The alternate harmonic series. An elementary proof: Put I n := π/4 0 tg n xdx. We have: () (I n ) n is decreasing. (2) I n = n I n 2. Integrating by parts. (3) 2(n+) I n 2(n ). (4) Using induction in (2) and I = 2 log 2, we get 4(n + ) I 2n+ = n ( ) k+ 2k 2 k= Multiplying by 2 we obtain the result. log 2 4n.
12 The alternate harmonic series. The rearrangement of Laurent = = ( 2 ) 4 + ( 3 6 ) 8 + ( 5 0 ) 2... = = = = 2 ( ) = log 2. 2
13 The alternate harmonic series. A rearrangement of the alternate harmonic series is called simple if the positive and negative terms separately are in the same order as in the original series. For example, Laurent s rearrangement is simple. In a simple rearrangement we denote by r n the number of positive terms between the first n of the rearrangement. Theorem of Pringsheim, 883 A simple rearrangement a π(k) of the alternate harmonic series converges if and only if ĺım n r nn =: α <. In this case k= a π(k) = log log(α( α) ). For the Laurent s rearrangement we have α = /3 y log log( ) = log 2. 2
14 Series of vectors. What happens if we consider series of vectors? Example in R 2 : (( ) k+ k, 0). The set of sums is R {0}. It is not all the space R 2, but it is an affine subspace R 2. This phenomenon was observed by Levy for n = 2 in 905 and by Steinitz for n 3 in 93.
15 The Theorem Levy Steinitz. Notation. E is a real locally convex Hausdorff space. Examples: R n, l p, p, L p, p (Banach spaces), H(Ω), C (Ω) (Fréchet spaces: metrizable and complete), D, D, H(K), A(Ω),...(more complicated spaces). uk is a convergent series and S( u k ) is its set of sums (of all its convergent rearrangements). Set of summing functionals Γ( u k ) := {x E x, u k < } E. The annihilator of G E is G := {x E x, g = 0 g G}.
16 The Theorem Levy Steinitz. The Theorem Levy Steinitz. 905, 93. If u k is a convergent series of vectors in R n, then S( u k ) = u k + Γ( u k ) is an affine subspace of R n. P. Rosenthal, in an article in the American Mathematical Monthly in 987 explaining this theorem, remarked that it is a beautiful result, which deserves to be better known, but that the difficulty of its proof is out of proportion of the statement.
17 The Theorem Levy Steinitz. The inclusion in the statement is easy and holds in general: Let x = u π(k) S( u k ). We want to see that x u k Γ( u k ). To do this, fix x Γ( u k ). By Riemann s theorem, we get x, x u k = x, u π(k) x, u k = 0, since the series x, u k is absolutely convergent.
18 The Theorem Levy Steinitz. Idea of the proof of the other inclusion: Let E be a complete metrizable space (A) S( u k ) S e ( u k ). Expanded set of sums S e ( u k ) := {x E π (j m ) m : x = ĺım m j m u π(k) }. (B) S e ( u k ) = u k + m= Z m. Z m = Z m ( u k ) := { k J u k J {m, m +, m + 2,...} finite}.
19 The Theorem Levy Steinitz. Idea of the proof of the other inclusion: Continued: (C) u k + m=z m u k + m=co(z m ). co(c) is the convex hull of C. (D) u k + m=co(z m ) = u k + Γ( u k ), by the HahnBanach theorem. The problem is to find conditions to ensure that the inclusions (A) y (C) are equalities.
20 The Theorem Levy Steinitz. The equality in (A) follows in the finite dimensional case from the following lemma. Lemma of polygonal confinement of Steinitz For every real Banach space E of finite dimension m there is a constant 0 < C(E) m such that for every finite set of vectors x, x 2,..., x n satisfying n x k = 0 there s a bijection σ on {, 2,..., n} such that for all r =, 2,...n. r j= x σ(j) C(E) máx j=,...n x j The exact value of the constant C(E) is unknown even for Hilbert spaces of finite dimension m > 2. For m = 2, C(l 2 2 ) = 5 2.
21 The Theorem Levy Steinitz. The equality in (C) follows in the finite dimensional case from the following lemma. Roundoff coefficients Lemma. Let E be a real Banach space of finite dimension m. Let x, x 2,..., x n be a finite set of vectors such that x j for all j =,..., n. For each x co( k I x k I {,..., n}) there is J {, 2,..., n} such that x k J x k m 2.
22 The work of NashWilliams and White NashWilliams and White ( ) obtained the following results applying graph theory: Let π be a bijection on N. They defined the width w(π) of π in a combinatorial way with values in N {0, }. w(π) = if and only if there is a series a k of real numbers such that a π(k) converges to a different sum. w(π) = 0 if and only if a π(k) converges to the sum a k when aπ(k) converges. w(π) N if and only if for a convergent series a k the series aπ(k) has the same sum or diverges. In this case, if we fix π, they determine the set of accumulation points of the sequences of partial sums of series of the form a π(k) with a k = 0. They also extend their results for series in R n, n 2.
23 Series in infinite dimensional Banach spaces. The study of series in infinite dimensional spaces was initiated by Orlicz in Banach and his group used to meet in the Scottish Café in Lvov (now Ukraine). The problems they formulated were recorded in the Scottish Book, that was saved and published by Ulam. Problem 06: Does a result analogous to the Levy Steinitz theorem hold for Banach spaces of infinite dimension? The prize was a bottle of wine; smaller by the way than the prize for the approximation problem of Mazur, that was solved by Enflo. In that case the prize was a goose. The negative answer was obtained by Marcinkiewicz with an example in L 2 [0, ].
24 The Scottish Cafe, Lvov.
25 The Scottish Cafe, Lvov. 200.
26 The example of Marcinkiewicz. Consider the following functions in L 2 [0, ]. Here χ A is the characteristic function of A. x i,k := χ [ k 2 i, k+ 2 i ], y i,k := x i,k, 0 i <, 0 k < 2 i. Clearly x i,k 2 = 2 i for each i, k. One has (x 0,0 + y 0,0 ) + (x,0 + y,0 ) + (x, + y, ) + (x 2,0 + y 2,0 ) +... = 0 x 0,0 + (x,0 + x, + y 0,0 ) + (x 2,0 + x 2, + y,0 ) + (x 2,2 + x 2,3 + y, ) +... = No rearrangement converges to the constant function /2, since all the partial sums are functions with entire values.
27 The example of Marcinkiewicz. x 00 x 0 x 0 0 /2 0 /2
28 The example of Marcinkiewicz. x 20 x x 22 x
29 Series in infinite dimensional Banach spaces. DvoretskyRogers Theorem A Banach space E is finite dimensional if and only if every unconditionally convergent series in E is absolutely convergent. This is a very important result in the theory of nuclear locally convex spaces of Grothendieck and in the theory of absolutely summing operators of Pietsch. Example. In l 2, we set u k := (0,..,0, /k, 0,...). The series u k is not absolutely convergent since u k = =. But, unconditionally in l 2. k u k = (, /2, /3,..., /k,...)
30 Series in infinite dimensional Banach spaces. Theorem of Mc Arthur Every Banach space E of infinite dimension contains a series whose set of sums reduces to a point, but is not unconditionally convergent. Idea in l 2. Denote by e i the canonical basis. e e + (/2)e 2 (/2)e 2 + (/2)e 2 (/2)e 2 + (/4)e 3... = 0. We have 2 n terms of the form 2 n+ e n with alternate signs. If a rearrangement converges, its sum must be 0, as can be seen looking at each coordinate. However, it is not unconditionally convergent, for if it were, then (2, 2, 2,...) l 2. For an arbitrary Banach space, one uses basic sequences.
31 Series in infinite dimensional Banach spaces. Theorem of Kadets and Enflo Every Banach space E of infinite dimension contains a series whose set of sums consists exactly of two different points. Theorem of J.O. Wojtaszczyk Every Banach space E of infinite dimension contains a series whose set of sums is an arbitrary finite set which is affinely independent. The theorem of Levy Steinitz fails in a drastic way for infinite dimensional Banach spaces.
32 Series in infinite dimensional Banach spaces. Theorem of Ostrovski There is a series in L 2 ([0, ] [0, ]) whose set of sums is not closed. Problem. Is there a series u k in a Banach space whose set of sums S( u k ) is a nonclosed affine subspace? Theorem. Every separable Banach space contains a series whose set of sums is all the space.
33 Series in infinite dimensional spaces. Problem. Is it possible to extend the theorem of Levy Steinitz for some infinite dimensional spaces? YES. A locally convex Hausdorff space E is called nuclear if every unconditionally convergent series is absolutely convergent. For Fréchet of (DF)spaces this coincides with the original definition of Grothendieck. In general this is not the case. Examples. H(Ω), C (Ω), S, S, H(K), D, D, A(Ω).
34 The theorem of Banaszczyk. Theorem of Banaszczyk. 990, 993. Let E be a Fréchet space. The following conditions are equivalent: () E is nuclear. (2) For each convergent series u k in E we have S( u k ) = u k + Γ( u k ). This is a very deep result. Both directions are difficult. extensions of the lemmas of confinement and of roundingoff coefficients with HilbertSchmidt operators, a characterization of nuclear Fréchet spaces with volume numbers, topological groups, etc are needed.
35 Series in nonmetrizable spaces. Bonet and Defant studied in 2000 the set of sums of series in nonmetrizable spaces and, in particular, in (DF)spaces, like the space S of Schwartz or the space H(K) of germs of holomorphic functions on the compact set K in the complex plane. The notation E = ind n E n means that E is the increasing union of the Banach spaces E n E n+ with continuous inclusions, and E is endowed with the finest locally convex topology such that all the inclusions E n E are continuous.
36 Series in nonmetrizable spaces. Theorem of Bonet and Defant Let u k be a convergent series in the nuclear (DF)space E = ind n E n (then it converges in a Banach step E n(0) ). The following holds: (a) S( u k ) = u k + Γ loc ( u k ), where Γ loc( u k ) := {x E n x, x = 0 x E n with n n(0) u k, x < } is a subspace of E. (b) If E is not isomorphic to the direct sum ϕ of copies of R, then there is a convergent series in E whose set of sums is a nonclosed subspace of E.
37 Series in nonmetrizable spaces. Theorem of Bonet and Defant Let E = ind n E n be a complete (DF)space such that every convergent sequence in E converges in one of the Banach spaces E n. If we have S( u k ) = u k + Γ loc( u k ) for every convergent series u k in E, then the space E is nuclear.
38 Series in nonmetrizable spaces. The proof of the theorem requires new improvements in the lemmas of confinement and roundoff. The techniques of proof for the positive part can be utilized for more general spaces, including the space of distributions D or the space of real analytic functions A(Ω), thus obtaining that the set of sums of a convergent series is an affine subspaces that need not be closed. The result about nuclear (DF)spaces not isomorphic to ϕ requires deep results due to Bonet, Meise, Taylor (99) and Dubinski, Vogt (985) about the existence of quotients of nuclear Fréchet spaces without the bounded approximation property and their duals.
39 Other open problems. Does every nonnuclear Fréchet space contain a convergent series uk such that its set of sums consists exactly of two points? Improve the converse for nonmetrizable spaces. Find concrete spaces E and conditions on a convergent series u k in E to ensure that the set of sums S( u k ) has exactly the form of the Theorem of Levy and Steinitz. Chasco and Chobayan have results of this type for spaces L p of pintegrable functions.
40 Some references. W. Banaszczyk, The Steinitz theorem on rearrangement of series for nuclear spaces, J. reine angew. Math. 403 (990), W. Banaszczyk, Rearrangement of series in nonnuclear spaces, Studia Math. 07 (993), J. Bonet, A. Defant, The LevySteinitz rearrangement theorem for duals of metrizable spaces, Israel J. Math. 7 (2000), M.I. Kadets, V.M. Kadets, Series in Banach Spaces Operator Theory: Advances and Applications 94, Birkhäuser Verlag, Basel 997. P. Rosenthal, The remarkable theorem of Levy and Steinitz, Amer. Math. Monthly 94 (987),
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction
ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZPÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationTHE PRIME NUMBER THEOREM
THE PRIME NUMBER THEOREM NIKOLAOS PATTAKOS. introduction In number theory, this Theorem describes the asymptotic distribution of the prime numbers. The Prime Number Theorem gives a general description
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More information16.3 Fredholm Operators
Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An ndimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0534405967. Systems of Linear Equations Definition. An ndimensional vector is a row or a column
More informationOn Nicely Smooth Banach Spaces
E extracta mathematicae Vol. 16, Núm. 1, 27 45 (2001) On Nicely Smooth Banach Spaces Pradipta Bandyopadhyay, Sudeshna Basu StatMath Unit, Indian Statistical Institute, 203 B.T. Road, Calcutta 700035,
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationDoug Ravenel. October 15, 2008
Doug Ravenel University of Rochester October 15, 2008 s about Euclid s Some s about primes that every mathematician should know (Euclid, 300 BC) There are infinitely numbers. is very elementary, and we
More informationAN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract
AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION T. M. Atanackovic 1 and B. Stankovic 2 Dedicated to Professor Ivan H. Dimovski on the occasion of his 7th birthday Abstract An expansion
More informationMath 5311 Gateaux differentials and Frechet derivatives
Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.
More informationSeries Convergence Tests Math 122 Calculus III D Joyce, Fall 2012
Some series converge, some diverge. Series Convergence Tests Math 22 Calculus III D Joyce, Fall 202 Geometric series. We ve already looked at these. We know when a geometric series converges and what it
More informationMathematical Methods of Engineering Analysis
Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................
More informationMath 4310 Handout  Quotient Vector Spaces
Math 4310 Handout  Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More information1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form
1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and
More information2 Complex Functions and the CauchyRiemann Equations
2 Complex Functions and the CauchyRiemann Equations 2.1 Complex functions In onevariable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationMath212a1010 Lebesgue measure.
Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.
More informationA NEW APPROACH TO THE CORONA THEOREM FOR DOMAINS BOUNDED BY A C 1+α CURVE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 40, 2015, 767 772 A NEW APPROACH TO THE CORONA THEOREM FOR DOMAINS BOUNDED BY A C 1+α CURVE José Manuel EnríquezSalamanca and María José González
More informationRandom graphs with a given degree sequence
Sourav Chatterjee (NYU) Persi Diaconis (Stanford) Allan Sly (Microsoft) Let G be an undirected simple graph on n vertices. Let d 1,..., d n be the degrees of the vertices of G arranged in descending order.
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationMonotone maps of R n are quasiconformal
Monotone maps of R n are quasiconformal K. Astala, T. Iwaniec and G. Martin For Neil Trudinger Abstract We give a new and completely elementary proof showing that a δ monotone mapping of R n, n is K quasiconformal
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationMatrix Norms. Tom Lyche. September 28, Centre of Mathematics for Applications, Department of Informatics, University of Oslo
Matrix Norms Tom Lyche Centre of Mathematics for Applications, Department of Informatics, University of Oslo September 28, 2009 Matrix Norms We consider matrix norms on (C m,n, C). All results holds for
More informationA Domain Embedding/Boundary Control Method to Solve Elliptic Problems in Arbitrary Domains
A Domain Embedding/Boundary Control Method to Solve Elliptic Problems in Arbitrary Domains L. Badea 1 P. Daripa 2 Abstract This paper briefly describes some essential theory of a numerical method based
More information1 Review of complex numbers
1 Review of complex numbers 1.1 Complex numbers: algebra The set C of complex numbers is formed by adding a square root i of 1 to the set of real numbers: i = 1. Every complex number can be written uniquely
More informationGeometrical Characterization of RNoperators between Locally Convex Vector Spaces
Geometrical Characterization of RNoperators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
More informationA CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT
Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally
More informationx if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
More informationMATHEMATICAL METHODS OF STATISTICS
MATHEMATICAL METHODS OF STATISTICS By HARALD CRAMER TROFESSOK IN THE UNIVERSITY OF STOCKHOLM Princeton PRINCETON UNIVERSITY PRESS 1946 TABLE OF CONTENTS. First Part. MATHEMATICAL INTRODUCTION. CHAPTERS
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationDIVISORS AND LINE BUNDLES
DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More informationLimit processes are the basis of calculus. For example, the derivative. f f (x + h) f (x)
SEC. 4.1 TAYLOR SERIES AND CALCULATION OF FUNCTIONS 187 Taylor Series 4.1 Taylor Series and Calculation of Functions Limit processes are the basis of calculus. For example, the derivative f f (x + h) f
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationSolving Systems of Linear Equations
LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how
More informationINTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES
INTEGRAL OPERATORS ON THE PRODUCT OF C(K) SPACES FERNANDO BOMBAL AND IGNACIO VILLANUEVA Abstract. We study and characterize the integral multilinear operators on a product of C(K) spaces in terms of the
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationChapter 5. Banach Spaces
9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on
More information9 More on differentiation
Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More informationMINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFTINVARIANT SUBSPACES OF L 2 (R n )
MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFTINVARIANT SUBSPACES OF L 2 (R n ) MARCIN BOWNIK AND NORBERT KAIBLINGER Abstract. Let S be a shiftinvariant subspace of L 2 (R n ) defined by N generators
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationMATH 110 Spring 2015 Homework 6 Solutions
MATH 110 Spring 2015 Homework 6 Solutions Section 2.6 2.6.4 Let α denote the standard basis for V = R 3. Let α = {e 1, e 2, e 3 } denote the dual basis of α for V. We would first like to show that β =
More informationTheta Functions. Lukas Lewark. Seminar on Modular Forms, 31. Januar 2007
Theta Functions Lukas Lewark Seminar on Modular Forms, 31. Januar 007 Abstract Theta functions are introduced, associated to lattices or quadratic forms. Their transformation property is proven and the
More informationCONVERGENCE OF SEQUENCES OF ITERATES OF RANDOMVALUED VECTOR FUNCTIONS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 97 2003 NO. 1 CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOMVALUED VECTOR FUNCTIONS BY RAFAŁ KAPICA (Katowice) Abstract. Given a probability space (Ω,
More informationMISS. INDUCTION SEQUENCES and SERIES. J J O'Connor MT1002 2009/10
MISS MATHEMATICAL INDUCTION SEQUENCES and SERIES J J O'Connor MT002 2009/0 Contents This booklet contains eleven lectures on the topics: Mathematical Induction 2 Sequences 9 Series 3 Power Series 22 Taylor
More informationRecursion Theory in Set Theory
Contemporary Mathematics Recursion Theory in Set Theory Theodore A. Slaman 1. Introduction Our goal is to convince the reader that recursion theoretic knowledge and experience can be successfully applied
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationCongruent Numbers, the Rank of Elliptic Curves and the Birch and SwinnertonDyer Conjecture. Brad Groff
Congruent Numbers, the Rank of Elliptic Curves and the Birch and SwinnertonDyer Conjecture Brad Groff Contents 1 Congruent Numbers... 1.1 Basic Facts............................... and Elliptic Curves.1
More information1 Valuations of the field of rational numbers
1 Valuations of the field of rational numbers We will begin by reviewing the construction of real numbers from rational numbers. Recall that the field of rational numbers Q is a totally ordered field by
More informationUNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY. Master of Science in Mathematics
1 UNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY Master of Science in Mathematics Introduction The Master of Science in Mathematics (MS Math) program is intended for students who
More informationMATH MathematicsNursing. MATH Remedial Mathematics IBusiness & Economics. MATH Remedial Mathematics IIBusiness and Economics
MATH 090  MathematicsNursing MATH 091  Remedial Mathematics IBusiness & Economics MATH 094  Remedial Mathematics IIBusiness and Economics MATH 095  Remedial Mathematics IScience (3 CH) MATH 096
More informationOn the structure of C algebra generated by a family of partial isometries and multipliers
Armenian Journal of Mathematics Volume 7, Number 1, 2015, 50 58 On the structure of C algebra generated by a family of partial isometries and multipliers A. Yu. Kuznetsova and Ye. V. Patrin Kazan Federal
More informationSection 1.3 P 1 = 1 2. = 1 4 2 8. P n = 1 P 3 = Continuing in this fashion, it should seem reasonable that, for any n = 1, 2, 3,..., = 1 2 4.
Difference Equations to Differential Equations Section. The Sum of a Sequence This section considers the problem of adding together the terms of a sequence. Of course, this is a problem only if more than
More informationDeriving character tables: Where do all the numbers come from?
3.4. Characters and Character Tables 3.4.1. Deriving character tables: Where do all the numbers come from? A general and rigorous method for deriving character tables is based on five theorems which in
More informationPETER G. CASAZZA AND GITTA KUTYNIOK
A GENERALIZATION OF GRAM SCHMIDT ORTHOGONALIZATION GENERATING ALL PARSEVAL FRAMES PETER G. CASAZZA AND GITTA KUTYNIOK Abstract. Given an arbitrary finite sequence of vectors in a finite dimensional Hilbert
More informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics ManuscriptNr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan BechtluftSachs, Marco Hien Naturwissenschaftliche
More informationUltraproducts and Applications I
Ultraproducts and Applications I Brent Cody Virginia Commonwealth University September 2, 2013 Outline Background of the Hyperreals Filters and Ultrafilters Construction of the Hyperreals The Transfer
More informationSPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM
SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM ALEX WRIGHT 1. Intoduction A fixed point of a function f from a set X into itself is a point x 0 satisfying f(x 0 ) = x 0. Theorems which establish the
More informationMikołaj Krupski. Regularity properties of measures on compact spaces. Instytut Matematyczny PAN. Praca semestralna nr 1 (semestr zimowy 2010/11)
Mikołaj Krupski Instytut Matematyczny PAN Regularity properties of measures on compact spaces Praca semestralna nr 1 (semestr zimowy 2010/11) Opiekun pracy: Grzegorz Plebanek Regularity properties of measures
More informationOn the existence of Gequivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of Gequivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationSECTION 102 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
More informationThe HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line
The HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More information10.2 Series and Convergence
10.2 Series and Convergence Write sums using sigma notation Find the partial sums of series and determine convergence or divergence of infinite series Find the N th partial sums of geometric series and
More informationRACSAM. A note on FréchetUrysohn locally convex spaces. 1 Introduction. Jerzy Ka kol and M. López Pellicer
RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. 101 (2), 2007, pp. 127 131 Análisis Matemático / Mathematical Analysis A note on FréchetUrysohn locally convex spaces Jerzy Ka ol and M. López Pellicer Abstract.
More informationComplex Function Theory. Second Edition. Donald Sarason >AMS AMERICAN MATHEMATICAL SOCIETY
Complex Function Theory Second Edition Donald Sarason >AMS AMERICAN MATHEMATICAL SOCIETY Contents Preface to the Second Edition Preface to the First Edition ix xi Chapter I. Complex Numbers 1 1.1. Definition
More informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
More informationFIXED POINT ITERATION
FIXED POINT ITERATION We begin with a computational example. solving the two equations Consider E1: x =1+.5sinx E2: x =3+2sinx Graphs of these two equations are shown on accompanying graphs, with the solutions
More informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More informationTHE SINE PRODUCT FORMULA AND THE GAMMA FUNCTION
THE SINE PRODUCT FORMULA AND THE GAMMA FUNCTION ERICA CHAN DECEMBER 2, 2006 Abstract. The function sin is very important in mathematics and has many applications. In addition to its series epansion, it
More informationFixed Point Theorems
Fixed Point Theorems Definition: Let X be a set and let T : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation
More informationOn the largest prime factor of x 2 1
On the largest prime factor of x 2 1 Florian Luca and Filip Najman Abstract In this paper, we find all integers x such that x 2 1 has only prime factors smaller than 100. This gives some interesting numerical
More informationTHE PRIME NUMBER THEOREM AND THE RIEMANN HYPOTHESIS. A marriage of calculus and arithmetic. BERNARD RUSSO University of California, Irvine
THE PRIME NUMBER THEOREM AND THE RIEMANN HYPOTHESIS A marriage of calculus and arithmetic BERNARD RUSSO University of California, Irvine MARINA HIGH SCHOOL JUNE 7, 2011 Biographical Sketch Bernard Russo
More informationTopics in weak convergence of probability measures
This version: February 24, 1999 To be cited as: M. Merkle, Topics in weak convergence of probability measures, Zb. radova Mat. Inst. Beograd, 9(17) (2000), 235274 Topics in weak convergence of probability
More informationFixed Point Theory. With 14 Illustrations. %1 Springer
Andrzej Granas James Dugundji Fixed Point Theory With 14 Illustrations %1 Springer Contents Preface vii 0. Introduction 1 1. Fixed Point Spaces 1 2. Forming New Fixed Point Spaces from Old 3 3. Topological
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the Jhomomorphism could be defined by
More informationFunctional analysis and its applications
Department of Mathematics, London School of Economics Functional analysis and its applications Amol Sasane ii Introduction Functional analysis plays an important role in the applied sciences as well as
More informationarxiv:math/0510680v3 [math.gn] 31 Oct 2010
arxiv:math/0510680v3 [math.gn] 31 Oct 2010 MENGER S COVERING PROPERTY AND GROUPWISE DENSITY BOAZ TSABAN AND LYUBOMYR ZDOMSKYY Abstract. We establish a surprising connection between Menger s classical covering
More informationCONTINUED FRACTIONS AND FACTORING. Niels Lauritzen
CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents
More informationTaylor Polynomials and Taylor Series Math 126
Taylor Polynomials and Taylor Series Math 26 In many problems in science and engineering we have a function f(x) which is too complicated to answer the questions we d like to ask. In this chapter, we will
More information