ON SETS OF CONSTANT WIDTH

Size: px
Start display at page:

Download "ON SETS OF CONSTANT WIDTH"

Transcription

1 92 GERALD FREILICH [February 2. A. E. Mayer, Grösste Polygone mit gegebenen Seitenvektoren, Comment. Math. Helv. vol. 10 (1938) pp H. Hadwiger, Über eine Mittelwertformel für Richtungsfunktionale im Vektorraum und einige Anwendungen, J. Reine Angew. Math. vol. 185 (1943) pp R. Courant and E. J. McShane, Differential and integral calculus, Interscience, 1947, vol. 2, pp Los Angeles City College ON SETS OF CONSTANT WIDTH GERALD FREILICH Sets of constant width in En ( " will denote Euclidean «-space) form an important subset of the set of all convex sets in En. For example, the Hausdorff k measure (0<k^n) of a subset of En is usually defined in terms of coverings of this set by arbitrary sets. However, because of the property that an arbitrary set is contained in a set of constant width of the same diameter, it is possible to refine this definition so that we need only consider coverings by sets of constant width. Unfortunately one cannot further refine the definition of Hausdorff measure, say to coverings by spheres, since it is not true that an arbitrary set is contained in a sphere of the same diameter. Thus in computing Hausdorff measures, the problem arises to find properties of sets of constant width that are analogous to those of spheres. It is the purpose of this paper to prove such a property; namely we establish a uniformity condition on sets of constant width (which incidentally does not hold for arbitrary convex sets). Roughly speaking, this uniformity condition states that parallel crosssections of a set of constant width vary continuously and that the variation for sets of given diameter d can be characterized independent of the particular set. Though the motivation given above for theorems of this type arises from measure theory, I think that the results are interesting from a purely geometric point of view. For the properties of convex sets and, in particular, sets of constant width, that will be used in this paper, the reader is referred to Theorie der konvexen Körper by J. Bonnesen and W. Fenchel, Ergebnisse der Mathematik, vol. 3, part 1, We shall in addition use the following notation: As usual, the symbol -* will denote implication between sen- Received by the editors August 3, 1949 and, in revised form, October 25, 1949.

2 i95i] ON SETS OF CONSTANT WIDTH 93 tences. Also Lebesgue» measure over E" will be denoted by n, and if A is a subset of En, then I f(x)d nx Ja will stand for the (Lebesgue) integral of / over A with respect to the measure,. The remainder of the notation will be standard. Thus for example, if c is a subset of E2, then ^(e1 r\ e [(i, z) e c]) will denote the one-dimensional Lebesgue measure of the set of all points z of E1 for which (1, z) lies in c. Definition. If c is a set of constant width in En, and k is a positive integer less than», then we define the function gj on En~k to E1 (the reals) by the formula k k gc(x) = =C*( H [(xi,, xn_*, 0i,, Zk) cj), for x "-*. Intuitively, g*(x) can be thought of as the measure of a -dimensional cross-section of the set c. We now establish our uniformity conditions on sets of constant width, Theorem 1 below proving it for one-dimensional cross sections, and Theorem 2 proving it for higher-dimensional cross-sections. Theorem 1. If eis a set in E" of constant width, diam c = d, and 5 > 0, then (x G T1, y E En-\ *-, S a) -»( I gl(x) - gl(y) I ^ 2m-(8df\ Proof. Let c be the projection of c into the first (» 1) coordinates, that is, c = En~l H E [(xi,, xn_!, t) G c, for some t, <x> <<<»], X and let ß be the boundary of c. Then c is a set of constant width in En~\ The following fact is well known: If A is a convex function on the interval (Eli^E[a^ x xg. b]) to E1 and X>0, then either

3 94 GERALD FREILICH [February or sup I h(x) h(a) = sup h(x) h(y) \, l*-«láx *-» SX sup I h(x) h(b) = sup h(x) h(y). I*-»ISX i-ií SX Suppose now that * <?, ygc, and 0< x y i 5. Then the line determined by x and y intersects ß in two points; thus there exist ogi", > c such that E [x = a or x = b] = (ß C\ E [z = y + t(x - y), -» <t < «]). X M Since the function g\ confined to the set (er\ E [z- a + t(b - a), 0 t l]) is a convex function, we conclude that either or Hence it follows that I gc(x) - gc(y) Ú sup ge(z) - gc(a) \, «-o áí I gc(x) - gc(y) á sup ge(z) - ge(b). I«-»ISJ sup I gc(x) - gc(y) - sup gc(x) - gc(y).»g«t» e,l*-iils«isjj.i'eê.lï-i'lsa Now let x /3, ygc, 0< x y\ gs. Since at is a boundary point of c, it follows that there is a unique number t for which (*i,, xn-i, t) (E.c and also that there exists an (n 2)-dimensional supporting plane PQE"-1 of c through x. Let P' be the line in En determined by (xi,, xn-i, 0) and (xu, xn-i, 1). Then, considering PC-E"-1 as imbedded in E", P and P' obviously determine an (re ^-dimen- sional supporting plane to c through (xh, xn-i, t). Since c is a set of constant width, we may choose ;e' c such that \x x'\ =d, and such that (x[,, x'n-i, t) c. Hence c C ( - H [ z - (xi, xli, t) I á J) - 5. Now the intersection of 5 with the 2-dimensional plane determined by (xi,, x _i, 0), (yi,, yn_i, 0), and (yu, y _i, 1) is a disc of radius r^d, whose circumference passes through (xu,

4 1951] ON SETS OF CONSTANT WIDTH 95 Xn-i, t), and such that the «th coordinate of its center is /. Since the length of the vertical chord of this disc passing through (yi,, 3V-i, t) is 2(r2-(.r-\x-y\)2yi2 = 2(2r-\x-y\-\x-y\2)1'2, and since g](x) =0, we conclude that I gl(x) - gl(y) = (y) ^ 2(2r \x-y\-\x-y Hence sup \gl(x)-gl(y)\ \x-v\ S The proof is complete. Definition. For k a positive integer, let û2m{8djl'\ a(k) = ^k(ek i\ E [\ z\ ^ 1]). 1/2 Y* Z 2{2bd) Theorem 2. If c is a set of constant width in En, diam c = d, k is a positive integer, i<k<n, and 5>0, then (xeen-k,yeen-k, \x-y\i8) -» (U*(x) - gi(y) è 2m-(8d)1,2-a(k - 1) ( /2)*_1). Proof. For xg n_*, GE*-1, define Then /»(0 = gc(xi,, X _fc, <i,, tk-l). /»(') = jzi(e1 r\ e [(*i,, xn_*, /i,---, <»_!, z) g e]). Suppose now that xg-e"-*, yg-e"-*, \x y\ 8. Then k k k gc(x) - gc(y) =»G(jE A [(Xi,, X _*, 01,, 2») G c]) - < fc( n [(yu, yn_4, fi,, 2*) G c]) = f f*(t)dj k-it- f fv(t)dj(yit - f (fjlq - fmafat- Also, since (xi,, x _4, h,, tk-i) - (yi,, y _*, h,,

5 96 GERALD FREILICH tk-î) = I x y ^ 5, it follows by Theorem 1 that Finally, let I /»(*) - fv(t) = gc(xl,, Xn-k, h, ', h-l) gc(yi,, yn-k, h,, íi_0 g2"!-(5 )"s1 iorte.e"-k c> = Eh~ir\E [(wi,, Wn-k, zi,, zt-,1, w»_*+i) G c z for some w (E -E"-*"1"1]. Then diam c'^d and (I G CE*-1 - c')) -» (/,(<) = /,«) = 0). Hence, applying the isodiametric inequality, we have I g,{x) - g](y) = I f (fx(t) - fy(t))dj^-it This completes the proof. Brown University ^ f I/.(*)-/,(<) I Cm = f I/.(0-/»(í) 6-.í á 23'2(5d)1/2-^_1(C') á 23'2(Ôd)1l2-a(k - lhá/2)*-1.

A GENERALIZATION OF A THEOREM OF FENCHEL

A GENERALIZATION OF A THEOREM OF FENCHEL A GENERALIZATION OF A THEOREM OF FENCHEL OLOF HANNER AND HANS RADSTRÖM 1. The following lemma in the theory of convex sets is well known (see [1, 10]).1 Lemma. Let M be a given set of points in a euclidean

More information

Deviation Measures and Normals of Convex Bodies

Deviation Measures and Normals of Convex Bodies Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion

More information

GENERALIZED L2-LAPLACIANS

GENERALIZED L2-LAPLACIANS GENERALIZED L2-LAPLACIANS VICTOR L. SHAPIRO1 1. Given a function F(x, y) in Z,ä on the plane, we shall say that F(x, y) has/(x, y) as a generalized L2-Laplacian if 8 t-1 j F(x + tu, y + tv)dudv - F(x,

More information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

Notes on uniform convergence

Notes on uniform convergence Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean

More information

ON FUNCTIONS REPRESENTABLE AS A DIFFERENCE OF CONVEX FUNCTIONS

ON FUNCTIONS REPRESENTABLE AS A DIFFERENCE OF CONVEX FUNCTIONS ON FUNCTIONS REPRESENTABLE AS A DIFFERENCE OF CONVEX FUNCTIONS PHILIP HARTMAN l Introduction* A function f(x) defined on a convex x-set D will be called a dc function on D if there exists a pair of convex

More information

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

More information

By Philip J. Davis. (1.1) // < >jdxdy = w y(pí), i =1,2,...,N.

By Philip J. Davis. (1.1) // < >jdxdy = w y(pí), i =1,2,...,N. A Construction Approximate of Nonnegative Quadratures* By Philip J. Davis 1. Introduction. In a paper which appeared in 1957, V. Tchakaloff [1] proved the following theorem. Let B be a closed bounded set

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

A UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS

A UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS A UNIVERSAL SEQUENCE OF CONTINUOUS FUNCTIONS STEVO TODORCEVIC Abstract. We show that for each positive integer k there is a sequence F n : R k R of continuous functions which represents via point-wise

More information

THE PRESERVATION OF CONVERGENCE OF MEASURABLE FUNCTIONS UNDER COMPOSITION

THE PRESERVATION OF CONVERGENCE OF MEASURABLE FUNCTIONS UNDER COMPOSITION THE PRESERVATION OF CONVERGENCE OF MEASURABLE FUNCTIONS UNDER COMPOSITION ROBERT G. BARTLE AND JAMES T. JOICHI1 Let / be a real-valued measurable function on a measure space (S,, p.) and let

More information

Z(J5L_ + J«L+...+_«_

Z(J5L_ + J«L+...+_«_ ON THE LOCATION OF THE ROOTS OF THE JACOBIAN OF TWO BINARY FORMS, AND OF THE DERIVATIVE OF A RATIONAL FUNCTION* By J. L. WALSH Introduction Professor Bôcher has shown how the roots of certain algebraic

More information

On self-circumferences in Minkowski planes

On self-circumferences in Minkowski planes extracta mathematicae Article in press On self-circumferences in Minkowski planes Mostafa Ghandehari, Horst Martini Department of Mathematics, University of Texas at Arlington, TX 76019, U.S.A. Faculty

More information

DIFFERENTIABILITY VIA DIRECTIONAL DERIVATIVES

DIFFERENTIABILITY VIA DIRECTIONAL DERIVATIVES PROCEEDINGS OK THE AMERICAN MATHEMATICAL SOCIETY Volume 70, Number 1, lune 1978 DIFFERENTIABILITY VIA DIRECTIONAL DERIVATIVES KA-SING LAU AND CLIFFORD E. WEIL Abstract. Let F be a continuous function from

More information

Lebesgue measure and integration

Lebesgue measure and integration Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas

More information

NOTE ON A THEOREM OF KAKUTANI

NOTE ON A THEOREM OF KAKUTANI NOTE ON A THEOREM OF KAKUTANI H. D. BRUNK 1. Introduction. Limit theorems of probability have attracted much attention for a number of years. For a wide class of limit theorems, the language and methods

More information

LINEAR FUNCTIONALS ON CERTAIN BANACH SPACES. e. J. mcshane

LINEAR FUNCTIONALS ON CERTAIN BANACH SPACES. e. J. mcshane LINEAR FUNCTIONALS ON CERTAIN BANACH SPACES e. J. mcshane 1. Introduction. The purpose of this note is to present wh is believed to be a simple proof of a theorem on the represention of linear functionals

More information

ON THE "BANG-BANG" CONTROL PROBLEM*

ON THE BANG-BANG CONTROL PROBLEM* 11 ON THE "BANG-BANG" CONTROL PROBLEM* BY R. BELLMAN, I. GLICKSBERG AND O. GROSS The RAND Corporation, Santa Monica, Calif. Summary. Let S be a physical system whose state at any time is described by an

More information

ON TOPOLOGISING THE FIELD C(t)

ON TOPOLOGISING THE FIELD C(t) ON TOPOLOGISING THE FIELD C(t) J. H. WILLIAMSON In many questions concerning the existence of fields over the complex field, with topologies satisfying given compatibility axioms, it is sufficient to restrict

More information

THE FIXED POINT PROPERTY FOR CONTINUA APPROXIMATED FROM WITHIN BY PEANO CONTINUA WITH THIS PROPERTY

THE FIXED POINT PROPERTY FOR CONTINUA APPROXIMATED FROM WITHIN BY PEANO CONTINUA WITH THIS PROPERTY PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 91, Number 3, July 1984 THE FIXED POINT PROPERTY FOR CONTINUA APPROXIMATED FROM WITHIN BY PEANO CONTINUA WITH THIS PROPERTY AKIRA TOMINAGA ABSTRACT.

More information

ON REARRANGEMENTS OF SERIES H. M. SENGUPTA

ON REARRANGEMENTS OF SERIES H. M. SENGUPTA O REARRAGEMETS OF SERIES H. M. SEGUPTA In an interesting paper published in the Bulletin of the American Mathematical Society, R. P. Agnew1 considers some questions on rearrangement of conditionally convergent

More information

THE ISODIAMETRIC PROBLEM AND OTHER INEQUALITIES IN THE CONSTANT CURVATURE 2-SPACES

THE ISODIAMETRIC PROBLEM AND OTHER INEQUALITIES IN THE CONSTANT CURVATURE 2-SPACES THE ISODIAMETRIC PROBLEM AND OTHER INEQUALITIES IN THE CONSTANT CURVATURE -SPACES MARÍA A HERNÁNDEZ CIFRE AND ANTONIO R MARTÍNEZ FERNÁNDEZ Abstract In this paper we prove several new inequalities for centrally

More information

A CONVEXITY CONDITION IN BANACH SPACES AND THE STRONG LAW OF LARGE NUMBERS1

A CONVEXITY CONDITION IN BANACH SPACES AND THE STRONG LAW OF LARGE NUMBERS1 A CONVEXITY CONDITION IN BANACH SPACES AND THE STRONG LAW OF LARGE NUMBERS1 ANATOLE BECK Introduction. The strong law of large numbers can be shown under certain hypotheses for random variables which take

More information

ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99

ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99 ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements

More information

Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n

Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n Lecture 2 1.10 Cell attachments Let X be a topological space and α : S n 1 X be a map. Consider the space X D n with the disjoint union topology. Consider further the set X B n and a function f : X D n

More information

(1) ll/il = fh\f(x)\w(x)dx,

(1) ll/il = fh\f(x)\w(x)dx, PROCEEDINGS of the AMERICAN MATHEMATICAL Volume 94, Number 3, July 1985 SOCIETY ON AN L APPROXIMATION PROBLEM ANDRÂS KROÓl Abstract. Let Cw[a, b] denote the space of real continuous functions with norm

More information

SEPARABILITY OF STOCHASTIC PROCESSES

SEPARABILITY OF STOCHASTIC PROCESSES SEPARABILITY OF STOCHASTIC PROCESSES S. H. COLEMAN1 This paper applies a generalization of the Daniell theory of integration to stochastic processes with values in a compact Hausdorff space. A consistent

More information

Combinatorial Interpretations of a Generalization of the Genocchi Numbers

Combinatorial Interpretations of a Generalization of the Genocchi Numbers 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.6 Combinatorial Interpretations of a Generalization of the Genocchi Numbers Michael Domaratzki Jodrey School of Computer Science

More information

Max-Planck-Institut fur Mathematik in den Naturwissenschaften Leipzig Uniformly distributed measures in Euclidean spaces by Bernd Kirchheim and David Preiss Preprint-Nr.: 37 1998 Uniformly Distributed

More information

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from

More information

Scalar and vector fields

Scalar and vector fields Scalar and vector fields What is a field in mathematics? Roughly speaking a field defines how a scalar-valued or vectorvalued quantity varies through space. We usually work with scalar and vector fields.

More information

Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio ( )

Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio ( ) Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio (2014-2015) Etienne Tanré - Olivier Faugeras INRIA - Team Tosca October 22nd, 2014 E. Tanré (INRIA - Team Tosca) Mathematical

More information

Course Summary Math 211

Course Summary Math 211 Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.

More information

PERIODIC SOLUTIONS OF SYSTEMS OF DIFFERENTIAL EQUATIONS1 IRVING J. EPSTEIN

PERIODIC SOLUTIONS OF SYSTEMS OF DIFFERENTIAL EQUATIONS1 IRVING J. EPSTEIN PERIODIC SOLUTIONS OF SYSTEMS OF DIFFERENTIAL EQUATIONS1 IRVING J. EPSTEIN Introduction and summary. Let i be an»x» matrix whose elements are continuous functions of the real variable t. Consider the system

More information

Banach Journal of Mathematical Analysis ISSN: (electronic)

Banach Journal of Mathematical Analysis ISSN: (electronic) Banach J. Math. Anal. 2 (2008), no., 70 77 Banach Journal of Mathematical Analysis ISSN: 735-8787 (electronic) http://www.math-analysis.org WIDTH-INTEGRALS AND AFFINE SURFACE AREA OF CONVEX BODIES WING-SUM

More information

REVIEW FOR THIRD 3200 MIDTERM

REVIEW FOR THIRD 3200 MIDTERM REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

More information

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1) 1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line

More information

THE PRODUCT OF A LINDELÖF SPACE WITH THE SPACE OF IRRATIONALS UNDER MARTIN'S AXIOM

THE PRODUCT OF A LINDELÖF SPACE WITH THE SPACE OF IRRATIONALS UNDER MARTIN'S AXIOM proceedings of the american mathematical society Volume 110, Number 2, October 1990 THE PRODUCT OF A LINDELÖF SPACE WITH THE SPACE OF IRRATIONALS UNDER MARTIN'S AXIOM K. ALSTER (Communicated by Dennis

More information

ELEMENTARY GROUPS BY HOMER BECHTELL

ELEMENTARY GROUPS BY HOMER BECHTELL ELEMENTARY GROUPS BY HOMER BECHTELL 1. Introduction. The purpose of this paper is to investigate two classes of finite groups, elementary groups and E-groups. The elementary groups have the property that

More information

ON PARTIALLY ORDERED SETS POSSESSING A UNIQUE ORDER-COMPATIBLE TOPOLOGY

ON PARTIALLY ORDERED SETS POSSESSING A UNIQUE ORDER-COMPATIBLE TOPOLOGY ON PARTIALLY ORDERED SETS POSSESSING A UNIQUE ORDER-COMPATIBLE TOPOLOGY E. S. WÖLK1 1. Introduction. Let A" be a partially ordered set (poset) with respect to a relation ^, and possessing least and greatest

More information

ON FUNCTIONS WITH BOUNDED DERIVATIVES

ON FUNCTIONS WITH BOUNDED DERIVATIVES ON FUNCTIONS WITH BOUNDED DERIVATIVES BY OYSTEIN ORE 1. The following well known theorem is due to A. Markoff:! Letf (x) be a polynomial of degree n and let M0 be the maximum of \fn(x) \ in the interval

More information

The Stong Isoperimetric Inequality of Bonnesen

The Stong Isoperimetric Inequality of Bonnesen Department of Mathematics Undergraduate Colloquium University of Utah January, 006 The Stong Isoperimetric Inequality of Bonnesen Andres Treibergs University of Utah Among all simple closed curves in the

More information

Introduction to Algebraic and Geometric Topology Week 3

Introduction to Algebraic and Geometric Topology Week 3 Introduction to Algebraic and Geometric Topology Week 3 Domingo Toledo University of Utah Fall 2017 Lipschitz Maps I Recall f :(X, d)! (X 0, d 0 ) is Lipschitz iff 9C > 0 such that d 0 (f (x), f (y)) apple

More information

Taylor and Maclaurin Series

Taylor and Maclaurin Series Taylor and Maclaurin Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Background We have seen that some power series converge. When they do, we can think of them as

More information

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S) 106 CHAPTER 3. TOPOLOGY OF THE REAL LINE 3.3 Limit Points 3.3.1 Main Definitions Intuitively speaking, a limit point of a set S in a space X is a point of X which can be approximated by points of S other

More information

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems

More information

Math 141: Lecture 11

Math 141: Lecture 11 Math 141: Lecture 11 The Fundamental Theorem of Calculus and integration methods Bob Hough October 12, 2016 Bob Hough Math 141: Lecture 11 October 12, 2016 1 / 36 First Fundamental Theorem of Calculus

More information

ON A MEASURE THEORETIC AREA FORMULA

ON A MEASURE THEORETIC AREA FORMULA ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel

More information

SOME INEQUALITIES RELATED TO ABEL'S METHOD OF SUMMATION

SOME INEQUALITIES RELATED TO ABEL'S METHOD OF SUMMATION SOME INEQUALITIES RELATED TO ABEL'S METHOD OF SUMMATION 1. It is well known that if W. B. PENNINGTON (1) x = e-llu, then there exists a constant p such that (2) lim sup 22 a"xn 22 a" ^ p lim sup nan for

More information

MATH1013 Calculus I. Functions I 1

MATH1013 Calculus I. Functions I 1 1 Steward, James, Single Variable Calculus, Early Transcendentals, 7th edition, Brooks/Coles, 2012 Based on Briggs, Cochran and Gillett: Calculus for Scientists and Engineers: Early Transcendentals, Pearson

More information

Fuchsian groups. 2.1 Definitions and discreteness

Fuchsian groups. 2.1 Definitions and discreteness 2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this

More information

A Method of Computing Eigenvectors and Eigenvalues on an. Analog Computer. By Lucien Neustadt*

A Method of Computing Eigenvectors and Eigenvalues on an. Analog Computer. By Lucien Neustadt* A Method of Computing Eigenvectors and Eigenvalues on an Analog Computer By Lucien Neustadt* 1. Introduction. Many papers have been written in recent years describing methods for finding the eigenvalues

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

Invariant differential operators on the sphere

Invariant differential operators on the sphere Third CoE Talk at the University of Tokyo p. 1/21 Invariant differential operators on the sphere Michael Eastwood Australian National University Third CoE Talk at the University of Tokyo p. 2/21 The round

More information

STRONGLY CONNECTED SPACES

STRONGLY CONNECTED SPACES Undergraduate Research Opportunity Programme in Science STRONGLY CONNECTED SPACES Submitted by Dai Bo Supervised by Dr. Wong Yan-loi Department of Mathematics National University of Singapore Academic

More information

1 Review of di erential calculus

1 Review of di erential calculus Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts

More information

MEAN OSCILLATION OVER CUBES AND HOLDER CONTINUITY

MEAN OSCILLATION OVER CUBES AND HOLDER CONTINUITY MEAN OSCILLATION OVER CUBES AND HOLDER CONTINUITY NORMAN G. MEYERS A function u = u(x), x=(xu, xn), is said to have bounded mean oscillation on a bounded cube C0 if u(x) is integrable over Co and there

More information

SMOOTHNESS OF FUNCTIONS GENERATED BY RIESZ PRODUCTS

SMOOTHNESS OF FUNCTIONS GENERATED BY RIESZ PRODUCTS SMOOTHNESS OF FUNCTIONS GENERATED BY RIESZ PRODUCTS PETER L. DUREN Riesz products are a useful apparatus for constructing singular functions with special properties. They have been an important source

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

TOPOLOGICAL GROUPS MATH 519

TOPOLOGICAL GROUPS MATH 519 TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

AN EXTREMUM PROPERTY OF SUMS OF EIGENVALUES' HELMUT WIELANDT

AN EXTREMUM PROPERTY OF SUMS OF EIGENVALUES' HELMUT WIELANDT AN EXTREMUM PROPERTY OF SUMS OF EIGENVALUES' HELMUT WIELANDT We present in this note a maximum-minimum characterization of sums like at+^+aa where a^ ^a are the eigenvalues of a hermitian nxn matrix. The

More information

Epiconvergence and ε-subgradients of Convex Functions

Epiconvergence and ε-subgradients of Convex Functions Journal of Convex Analysis Volume 1 (1994), No.1, 87 100 Epiconvergence and ε-subgradients of Convex Functions Andrei Verona Department of Mathematics, California State University Los Angeles, CA 90032,

More information

EMBEDDING IN TOPOLOGICAL VECTOR SPACES

EMBEDDING IN TOPOLOGICAL VECTOR SPACES proceedings of the american mathematical society Volume 65, Number 2, August 1977 EMBEDDING IN TOPOLOGICAL VECTOR SPACES GARY RICHARDSON Abstract. Let LX denote the set of all continuous linear functional

More information

2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets 2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

More information

Helly s Theorem with Applications in Combinatorial Geometry. Andrejs Treibergs. Wednesday, August 31, 2016

Helly s Theorem with Applications in Combinatorial Geometry. Andrejs Treibergs. Wednesday, August 31, 2016 Undergraduate Colloquium: Helly s Theorem with Applications in Combinatorial Geometry Andrejs Treibergs University of Utah Wednesday, August 31, 2016 2. USAC Lecture on Helly s Theorem The URL for these

More information

Higher Order Derivatives

Higher Order Derivatives Higher Order Derivatives A higher order derivative is the derivative of a derivative. For example, let f(x) = 3x x. Its derivative is f (x) = x + x. The derivative of f (x) is an example of a higher order

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

Robust Farkas Lemma for Uncertain Linear Systems with Applications

Robust Farkas Lemma for Uncertain Linear Systems with Applications Robust Farkas Lemma for Uncertain Linear Systems with Applications V. Jeyakumar and G. Li Revised Version: July 8, 2010 Abstract We present a robust Farkas lemma, which provides a new generalization of

More information

A NOTE ON CONTRACTIVE MAPPINGS

A NOTE ON CONTRACTIVE MAPPINGS A NOTE ON CONTRACTIVE MAPPINGS E. RAKOTCH1 A well-known theorem of Banach [l] states: if A is a mapping of a complete metric space X into itself, and there exists a number 0

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

ON THE REPRESENTATION OF A FUNCTION BY CERTAIN FOURIER INTEGRALS*

ON THE REPRESENTATION OF A FUNCTION BY CERTAIN FOURIER INTEGRALS* ON THE REPRESENTATION OF A FUNCTION BY CERTAIN FOURIER INTEGRALS* BY HARALD CRAMER 1. Introduction. Let us consider a complex-valued function f(t) of the real variable t, which is bounded for all real

More information

UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES

UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES MATH. SCAND. 90 (2002), 152 160 UNIFORMLY DISTRIBUTED MEASURES IN EUCLIDEAN SPACES BERND KIRCHHEIM and DAVID PREISS For every complete metric space X there is, up to a constant multiple, at most one Borel

More information

Existence and Uniqueness

Existence and Uniqueness Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect

More information

THE INVERSE FUNCTION THEOREM

THE INVERSE FUNCTION THEOREM THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)

More information

A Short Note on Gage s Isoperimetric Inequality

A Short Note on Gage s Isoperimetric Inequality A Short Note on Gage s Isoperimetric Inequality Hong Lu Shengliang Pan Department of Mathematics, East China Normal University, Shanghai, 262, P. R. China email: slpan@math.ecnu.edu.cn December 7, 24 Abstract

More information

ANOTHER CLASS OF INVERTIBLE OPERATORS WITHOUT SQUARE ROOTS

ANOTHER CLASS OF INVERTIBLE OPERATORS WITHOUT SQUARE ROOTS ANTHER CLASS F INVERTIBLE PERATRS WITHUT SQUARE RTS DN DECKARD AND CARL PEARCY 1. Introduction. In [2], Halmos, Lumer, and Schäffer exhibited a class of invertible operators on Hubert space possessing

More information

Theorems of Sylvester and Schur

Theorems of Sylvester and Schur Theorems of Sylvester and Schur T.N. Shorey An old theorem of Sylvester states that a product of consecutive positive integers each exceeding is divisible by a prime greater than. We shall give a proof

More information

Creating materials with a desired refraction coefficient: numerical experiments

Creating materials with a desired refraction coefficient: numerical experiments Creating materials with a desired refraction coefficient: numerical experiments Sapto W. Indratno and Alexander G. Ramm Department of Mathematics Kansas State University, Manhattan, KS 66506-2602, USA

More information

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS

CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,

More information

REQUIRED MATHEMATICAL SKILLS FOR ENTERING CADETS

REQUIRED MATHEMATICAL SKILLS FOR ENTERING CADETS REQUIRED MATHEMATICAL SKILLS FOR ENTERING CADETS The Department of Applied Mathematics administers a Math Placement test to assess fundamental skills in mathematics that are necessary to begin the study

More information

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure

More information

A HARNACK INEQUALITY FOR NONLINEAR EQUATIONS

A HARNACK INEQUALITY FOR NONLINEAR EQUATIONS A HARNACK INEQUALITY FOR NONLINEAR EQUATIONS BY JAMES SERRIN Communicated by Lawrence Markus, March 18, 1963 Recently Moser has obtained a Harnack inequality for linear divergence structure equations with

More information

Hausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014

Hausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014 Hausdorff measure Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto October 29, 2014 1 Outer measures and metric outer measures Suppose that X is a set. A function ν :

More information

DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP

DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP Yaguchi, Y. Osaka J. Math. 52 (2015), 59 70 DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP YOSHIRO YAGUCHI (Received January 16, 2012, revised June 18, 2013) Abstract The Hurwitz

More information

1 Directional Derivatives and Differentiability

1 Directional Derivatives and Differentiability Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=

More information

A GENERALIZATION OF THE FLAT CONE CONDITION FOR REGULARITY OF SOLUTIONS OF ELLIPTIC EQUATIONS

A GENERALIZATION OF THE FLAT CONE CONDITION FOR REGULARITY OF SOLUTIONS OF ELLIPTIC EQUATIONS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 100, Number 2. June 1987 A GENERALIZATION OF THE FLAT CONE CONDITION FOR REGULARITY OF SOLUTIONS OF ELLIPTIC EQUATIONS GARY M. LIEBERMAN ABSTRACT.

More information

(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.

(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2. 1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of

More information

ON THE LOCAL EXISTENCE OF SOLUTIONS OF CERTAIN FUNCTIONAL-DIFFERENTIAL EQUATIONS

ON THE LOCAL EXISTENCE OF SOLUTIONS OF CERTAIN FUNCTIONAL-DIFFERENTIAL EQUATIONS ON THE LOCAL EXISTENCE OF SOLUTIONS OF CERTAIN FUNCTIONAL-DIFFERENTIAL EQUATIONS ROBERT J. OBERG A natural way of generalizing ordinary differential equations is to permit the unknown function to appear

More information

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär

CHAPTER 1. Preliminaries Basic Relevant Algebra Introduction to Differential Geometry. By Christian Bär CHAPTER 1 Preliminaries 1.1. Basic Relevant Algebra 1.2. Introduction to Differential Geometry By Christian Bär Inthis lecturewegiveabriefintroductiontothe theoryofmanifoldsandrelatedbasic concepts of

More information

PROPERTIES OF C 1 -SMOOTH FUNCTIONS WITH CONSTRAINTS ON THE GRADIENT RANGE Mikhail V. Korobkov Russia, Novosibirsk, Sobolev Institute of Mathematics

PROPERTIES OF C 1 -SMOOTH FUNCTIONS WITH CONSTRAINTS ON THE GRADIENT RANGE Mikhail V. Korobkov Russia, Novosibirsk, Sobolev Institute of Mathematics PROPERTIES OF C 1 -SMOOTH FUNCTIONS WITH CONSTRAINTS ON THE GRADIENT RANGE Mikhail V. Korobkov Russia, Novosibirsk, Sobolev Institute of Mathematics e-mail: korob@math.nsc.ru Using Gromov method of convex

More information

IK"" f dxn. K in Rn is defined as a closed bounded point set containing the origin 0. Denote by

IK f dxn. K in Rn is defined as a closed bounded point set containing the origin 0. Denote by THE THEOREM OF MINKOWSKI-HLAWKA BY KURT M:AIILER Let Rn where n >_ 2, be the n-dimensional Euclidean space of all points X (x, xn) with real coordinates. A symmetrical bounded star body K in Rn is defined

More information

ASYMPTOTIC DISTRIBUTION OF THE MAXIMUM CUMULATIVE SUM OF INDEPENDENT RANDOM VARIABLES

ASYMPTOTIC DISTRIBUTION OF THE MAXIMUM CUMULATIVE SUM OF INDEPENDENT RANDOM VARIABLES ASYMPTOTIC DISTRIBUTION OF THE MAXIMUM CUMULATIVE SUM OF INDEPENDENT RANDOM VARIABLES KAI LAI CHUNG The limiting distribution of the maximum cumulative sum 1 of a sequence of independent random variables

More information

FOURIER COEFFICIENTS OF BOUNDED FUNCTIONS 1

FOURIER COEFFICIENTS OF BOUNDED FUNCTIONS 1 FOURIER COEFFICIENTS OF BOUNDED FUNCTIONS 1 BERNARD FRIEDMAN The results of this paper are divided into two parts. First: inequalities for the Fourier coefficients of any bounded function ; second : an

More information

Class Meeting # 1: Introduction to PDEs

Class Meeting # 1: Introduction to PDEs MATH 18.152 COURSE NOTES - CLASS MEETING # 1 18.152 Introduction to PDEs, Spring 2017 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u =

More information

Chapter IV Integration Theory

Chapter IV Integration Theory Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading

More information

Introduction to Functions

Introduction to Functions Mathematics for Economists Introduction to Functions Introduction In economics we study the relationship between variables and attempt to explain these relationships through economic theory. For instance

More information