The American Mathematical Monthly, Vol. 81, No. 4. (Apr., 1974), pp
|
|
- Jessica Arnold
- 5 years ago
- Views:
Transcription
1 Everywhere Differentiable, Nowhere Monotone, Functions Y. Katznelson; Karl Stromberg The American Mathematical Monthly, Vol. 81, No. 4. (Apr., 1974), pp Stable URL: The American Mathematical Monthly is currently published by Mathematical Association of America. Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact support@jstor.org. Wed Jan 16 14:39:
2 19741 EVERYWHERE DIFFERENTIABLE NOWHERE MONOTONE FUNCTIONS 349 Again let 4:R3 -+ R x R3 be defined by taking the spatial section,of an inertial observer. Then q5*(d9-9) = dq5*9 - q5*9 = dq5*9- q5*y = (dive - a)dx A dy A dz vanishes, by hypothesis, for each inertial observer. By the same reasoning as before one concludes that d 9 -Y = 0, and we are finished. Work supported in part by N. S. F. grant G. P References 1. Y. Choquet-Bruhat, Geometric diffkrentielle et systkmes exterieurs, Dunod, Paris, Harley Flanders, Differential forms, Academic Press, New York, J. A. Wheeler, Gravitation as geometry-11, a chapter in the book Gravitation and Relativity, edited by H. Y. Chiu and W. F. Hoffmann, Benjamin, New York, E. T. Whittaker, A history of the theories of aether and electricity, Vol. 2, Harper and Brothers, New York, EVERYWHERE DIFFERENTIABLE, NOWHERE MONOTONE, FUNCTIONS Y. KATZNELSON AND KARL STROMBERG The purpose of this paper is to construct an example of a real-valued function on R that is everywhere diiferentiable but is monotone on no interval and to examine further peculiar properties of any such function. Examples of such functions are seldom given, or even mentioned, in books on real analysis. The first explicit construction of such a function was given by Kopcke (1889). An example due to Pereno (1897) is reproduced in [I], pp We believe that the present construction, which grew out of a question asked of the first named author by the second, is shorter, more elementary, and easier to understand than any that we have seen. We proceed through a sequence of easy lemmas. LEMMA1. Let r and s be real numbers. (i) If r > s > 0, then (r -s)/(r2-s2)< 2/r. (ii) If r>l and s>1, then (r+s-2)/(r2+s2-2)<2/s. Proof. Assertion (i) is obvious. Inequality (ii) is equivalent to But this too is obvious when r > 1 and s > 1.
3 350 Y. KATZNELSON AND KARL STROMBERG [April LEMMA2. Let $(x) = (1 + 1 x I)-* for x E R. Then l/(b-a) J:$(x)dx c 4min {$(a), $(b)) whenever a and b are distinct real numbers. Proof. We may obviously suppose that a < b. In case 0 2 a, we have by Lemma 1 that The case that b 2 0 follows from the evenness of 4.Thus we suppose that a < 0 < b. Then Lemma 1 yields LEMMA3. If $ is as in Lemma 2 and $ is any function of the form where c,,...,c, and A,,...,A, aye positive real numbers and a,,...,a, are any real numbers, then whenever a and b are distinct real numbers. Proof. This follows at once from Lemma 2 and the fact that LEMMA4. Let ($,):=, and each n define be any sequence of functions as in Lemma 3. For x E R Suppose that :=,$,(a) = s < co for some a E R. Then the series F(x) = Z,"=,Y,,(x) converges uniformly on every bounded subset of R, the function F is differentiable at a, and F'(a) = s. In particular, if C:==, $,,(t) = f(t) < co for all t E R, then F is difserentiable everywhere on R and F' = f.
4 19741 EVERYWHERE DIFFERENTIABLE NOWHERE MONOTONE FUNCTIONS 35 1 Proof. Let b E R satisfy b 5 1 a 1. Then, using Lemma 3, -b 5 x 5 b implies Thus, uniform convergence on [- b, b] follows from the Weierstrass M-test. To prove that F1(a) = s, let E > 0 be given. Choose N such that 10. E,"=,+,$,,(a) < E. Since each $, is continuous at a, there exists some 6 > 0 such that whenever 0 < I h I < S and 1 5 n $ N. Therefore, using Lemma 3 again, 0 < I h I < 6 implies that LEMMA5. Let Il;..,In be disjoint open intervals, let aj be the midpoint of Ij, and 'let E and y,,..., y,, be positive real numbers. Then there exists a as in Lemma 3 such that for each j Yj yj + E if XE Xi, (iii) $(x) c E if x 6 I1U '.-UIn. Proof. Choose cj = yj + el2 and write q5j(~)= cjq5(aj(x - aj)), where Aj is cho5en so large that q5j(x) < ~/2n if x 6 Ij (one needs only to check this inequality at an endpoint of Xi). Take $ = 4, ,. Since the Ij's are disjoint and since 4j takes its maximum value cj at aj, properties (i), (ii), and (iii) are evident. THEOREM. Let {aj}7=, and {pj}im_, be disjoint countable subsets of R. Then there exists a real-valued, everywhere differentiable, function F on R satisfying F1(aj) = 1, Ft(pj) < 1for all j, and 0 < Ft(x) 5 4. for all x.
5 352 Y. KATZNELSON AND KARL STROMBERG [April Proof. We obtain F as in Lemma 4 by first constructing F' = f = E,"=, $,, in such a way that more precisely, the partial sums f, = Z", 1 A,: fn(aj)> n (1 5j 5 n), IJ,, or, Supposing that this were done we would have and, choosing n >j, F1(aj)= lim f,(aj) = 1, n'm 0 < F1(x)= lim f,(x) 5 1, n+m m F1(Pj)= fn- t(pj> + $k(pj) k=n and thus we would have the desired F. We proceed inductively. First choose an open interval I with midpoint a, such that p, $I. Then apply Lemma 5 with E = yl = 4 to obtain f, = IJ, that satisfies A,, Bl, C,. Suppose that n > 1 and that f,-, and I),-,have been chosen which satisfy A,-,, B,-,, C,-,. Select disjoint open intervals I,,...,I, such that, for each j~ (1,...,n), isth them id point ofij, Ijn {PI,...,P,} = and fn-,(x) <f,-,(aj) + 6 for x E Ij, where Now apply Lemma 5, with E = 1/(2n. 2") and yj = 1 - (lln)-f,- to obtain IJ,. Plainly C, obtains. Also,(aj) (1 5 j j n),
6 19741 EVERYWHERE DIFFERENTIABLE NOWHERE MONOTONE FUNCTIONS 353 (1 5 j 5 n), and so A, obtains. To check B,, notice that if x E Ij, then while if x q! UYElIj, then This completes the proof. COROLLARY. Thereexists a real-valued, everywhere differentiable, function on R such that H is monotone on no subinterval of R and H' is bounded. Proof. Let {aj),?= and {Pj)j"=, be disjoint dense subsets of R. Apply the preceding theorem to obtain everywhere differentiable functions F and G on R such that H for all j and x. Now write H = F - G. Then for all j and x. Since {aj)jm,, and {Pi);= on an interval. are both dense, H cannot be monotone REMARKS. Let H be any function as in the preceding Corollary. (a) H has a local maximum and a local minimum in every interval of R. In fact, if a < b, we can choose a < p in [a, b] such that H1(a)> 0 and H1(P)< 0. Then H takes an absolute maximum value on [a,p] at some y E [a,pi. Clearly a < y < P, and so H(y) is a local maximum value for H. Similar reasoning produces a local minimum in [a, b]. (b) Since H' is bounded, it is clear from the mean value theorem that H is absolutely continuous on every closed interval of R. Thus H' is Lebesgue integrable on each such interval and for all x E R.
7 354 JUDITH V. GRABINER [April (c) H' is not Riemann integrable on any closed interval [a, b], for assume that it is. Then H' is continuous a.e. on [a, b]. But it is clear that H'(t) = 0 if H' is continuous at t,and so H' = 0 a.e. on [a, b]. It follows from (b) that H is a constant on [a, b] -a palpable contradiction. (d) H' is of Baire class one, being the pointwise limit of the continuous functions H,(x) = n[h(x + lln) - H(x)],and so the set of points at which H' is continuous is residual; i.e., its complement is of first category. (e) WriteA = {x: Hf(x) >O)andB = {x: H1(x) <O). Thus AnI and B n I both have positive Lebesgue measure for every interval I. In fact, assuming that there exists some interval I = [a, b] such that Bn I has measure zero, it follows that H' 2 0 a.e. on I. Therefore, since for all x E I, we conclude that H is nondecreasing on I- a contradiction. Similarly, if A n I had measure zero, then H would be nonincreasing on I. Reference 1. E. W. Hobson, Theory of Functions of a Real Variable 11, Dover, New York, IS MATHEMATICAL TRUTH TIME-DEPENDENT? JUDITH V. GRABINER 1. Introduction. Is mathematical truth time-dependent? Our immediate impulse is to answer no. To be sure, we acknowledge that standards of truth in the natural sciences have undergone change; there was a Copernican revolution in astronomy, a Darwinian revolution in biology, an Einsteinian revolution in physics. But do scientific revolutions like these occur in mathematics? Mathematicians have most often answered this question as did the nineteenth-century mathematician Hermann Hankel, who said, "In most sciences, one generation tears down what another has builf, and what one has established, the next undoes. In mathematics alone, each generation builds a new story to the old structure." [20, p Hankel's view is not, however, completely valid. There have been several major upheavals in mathematics. For example, consider the axiomatization of' geometry in ancient Greece, which transformed mathematics from an experimental science into a wholly intellectual one. Again, consider the discovery of non-euclidean geometries
The American Mathematical Monthly, Vol. 81, No. 4. (Apr., 1974), pp
Maxwell's Equations Theodore Frankel The American Mathematical Monthly, Vol. 81, No. 4. (Apr., 1974), pp. 343-349. Stable URL: http://links.jstor.org/sici?sici=0002-9890%28197404%2981%3a4%3c343%3ame%3e2.0.co%3b2-d
More informationThe American Mathematical Monthly, Vol. 104, No. 8. (Oct., 1997), pp
Newman's Short Proof of the Prime Number Theorem D. Zagier The American Mathematical Monthly, Vol. 14, No. 8. (Oct., 1997), pp. 75-78. Stable URL: http://links.jstor.org/sici?sici=2-989%2819971%2914%3a8%3c75%3anspotp%3e2..co%3b2-c
More informationThe American Mathematical Monthly, Vol. 100, No. 8. (Oct., 1993), pp
A Visual Explanation of Jensen's Inequality Tristan Needham The American Mathematical Monthly, Vol. 100, No. 8. (Oct., 1993), pp. 768-771. Stable URL: http://links.jstor.org/sici?sici=0002-9890%28199310%29100%3a8%3c768%3aaveoji%3e2.0.co%3b2-8
More informationJournal of the American Mathematical Society, Vol. 2, No. 2. (Apr., 1989), pp
An Estimate for Character Sums Nicholas M. Katz Journal of the American Mathematical Society, Vol. 2, No. 2. (Apr., 1989), pp. 197-200. Stable URL: http://links.jstor.org/sici?sici=0894-0347%28198904%292%3a2%3c197%3aaefcs%3e2.0.co%3b2-l
More informationThe College Mathematics Journal, Vol. 21, No. 4. (Sep., 1990), pp
Tabular Integration by Parts David Horowitz The College Mathematics Journal, Vol. 21, No. 4. (Sep., 1990), pp. 307-311. Stable URL: http://links.jstor.org/sici?sici=0746-8342%28199009%2921%3a4%3c307%3atibp%3e2.0.co%3b2-o
More informationThe College Mathematics Journal, Vol. 16, No. 2. (Mar., 1985), pp
On Rearrangements of the Alternating Harmonic Series Fon Brown; L. O. Cannon; Joe Elich; David G. Wright The College Mathematics Journal, Vol. 16, No. 2. (Mar., 1985), pp. 135-138. Stable URL: http://links.jstor.org/sici?sici=0746-8342%28198503%2916%3a2%3c135%3aorotah%3e2.0.co%3b2-q
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
On Runs of Residues Author(s): D. H. Lehmer and Emma Lehmer Source: Proceedings of the American Mathematical Society, Vol. 13, No. 1 (Feb., 1962), pp. 102-106 Published by: American Mathematical Society
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationProceedings of the American Mathematical Society, Vol. 88, No. 1. (May, 1983), pp
Approximate Identities and H1(R) Akihito Uchiyama; J. Michael Wilson Proceedings of the American Mathematical Society, Vol. 88, No. 1. (May, 1983), pp. 53-58. Stable URL: http://links.jstor.org/sici?sici=0002-9939%28198305%2988%3a1%3c53%3aaia%3e2.0.co%3b2-4
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
On the Probability of Covering the Circle by Rom Arcs Author(s): F. W. Huffer L. A. Shepp Source: Journal of Applied Probability, Vol. 24, No. 2 (Jun., 1987), pp. 422-429 Published by: Applied Probability
More informationProceedings of the American Mathematical Society, Vol. 57, No. 2. (Jun., 1976), pp
Elliptic Curves and Dedekind Domains Michael Rosen Proceedings of the American Mathematical Society, Vol. 57, No. 2. (Jun., 1976), pp. 197-201. Stable URL: http://links.jstor.org/sici?sici=0002-9939%28197606%2957%3a2%3c197%3aecadd%3e2.0.co%3b2-7
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More informationBounded Derivatives Which Are Not Riemann Integrable. Elliot M. Granath. A thesis submitted in partial fulfillment of the requirements
Bounded Derivatives Which Are Not Riemann Integrable by Elliot M. Granath A thesis submitted in partial fulfillment of the requirements for graduation with Honors in Mathematics. Whitman College 2017 Certificate
More informationThe College Mathematics Journal, Vol. 24, No. 4. (Sep., 1993), pp
Taylor Polynomial Approximations in Polar Coordinates Sheldon P. Gordon The College Mathematics Journal, Vol. 24, No. 4. (Sep., 1993), pp. 325-330. Stable URL: http://links.jstor.org/sici?sici=0746-8342%28199309%2924%3a4%3c325%3atpaipc%3e2.0.co%3b2-m
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
!"#$%%&"%&"'()"*+,&%$-,./',%+"0()%$)-"&%$"!$1,'$/$2"#3/+)"4%-/,+5!6'(%$7589":6;/3"
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationMathematics of Operations Research, Vol. 2, No. 2. (May, 1977), pp
New Finite Pivoting Rules for the Simplex Method Robert G. Bland Mathematics of Operations Research, Vol. 2, No. 2. (May, 1977), pp. 103-107. Stable URL: http://links.jstor.org/sici?sici=0364-765x%28197705%292%3a2%3c103%3anfprft%3e2.0.co%3b2-t
More informationProceedings of the American Mathematical Society, Vol. 17, No. 5. (Oct., 1966), pp
On the Existence and Uniqueness of the Real Logarithm of a Matrix Walter J. Culver Proceedings of the American Mathematical Society, Vol. 17, No. 5. (Oct., 1966), pp. 1146-1151. Stable URL: http://links.jstor.org/sici?sici=0002-9939%28196610%2917%3a5%3c1146%3aoteauo%3e2.0.co%3b2-b
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
Merging of Opinions with Increasing Information Author(s): David Blackwell and Lester Dubins Source: The Annals of Mathematical Statistics, Vol. 33, No. 3 (Sep., 1962), pp. 882-886 Published by: Institute
More informationDetection of Influential Observation in Linear Regression. R. Dennis Cook. Technometrics, Vol. 19, No. 1. (Feb., 1977), pp
Detection of Influential Observation in Linear Regression R. Dennis Cook Technometrics, Vol. 19, No. 1. (Feb., 1977), pp. 15-18. Stable URL: http://links.jstor.org/sici?sici=0040-1706%28197702%2919%3a1%3c15%3adoioil%3e2.0.co%3b2-8
More informationAmerican Journal of Mathematics, Vol. 109, No. 1. (Feb., 1987), pp
A Simple Algorithm for Cyclic Vectors Nicholas M. Katz American Journal of Mathematics, Vol. 109, No. 1. (Feb., 1987), pp. 65-70. Stable URL: http://links.jstor.org/sici?sici=0002-9327%28198702%29109%3a1%3c65%3aasafcv%3e2.0.co%3b2-a
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationMind Association. Oxford University Press and Mind Association are collaborating with JSTOR to digitize, preserve and extend access to Mind.
Mind Association Response to Colyvan Author(s): Joseph Melia Source: Mind, New Series, Vol. 111, No. 441 (Jan., 2002), pp. 75-79 Published by: Oxford University Press on behalf of the Mind Association
More informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationVariance of Lipschitz Functions and an Isoperimetric Problem for a Class of Product Measures
Variance of Lipschitz Functions and an Isoperimetric Problem for a Class of Product Measures Sergei G. Bobkov; Christian Houdré Bernoulli, Vol. 2, No. 3. (Sep., 1996), pp. 249-255. Stable URL: http://links.jstor.org/sici?sici=1350-7265%28199609%292%3a3%3c249%3avolfaa%3e2.0.co%3b2-i
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
Uncountably Many Inequivalent Analytic Actions of a Compact Group on Rn Author(s): R. S. Palais and R. W. Richardson, Jr. Source: Proceedings of the American Mathematical Society, Vol. 14, No. 3 (Jun.,
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
6625 Author(s): Nicholas Strauss, Jeffrey Shallit, Don Zagier Source: The American Mathematical Monthly, Vol. 99, No. 1 (Jan., 1992), pp. 66-69 Published by: Mathematical Association of America Stable
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
A Generic Property of the Bounded Syzygy Solutions Author(s): Florin N. Diacu Source: Proceedings of the American Mathematical Society, Vol. 116, No. 3 (Nov., 1992), pp. 809-812 Published by: American
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
The Indices of Torsion-Free Subgroups of Fuchsian Groups Author(s): R. G. Burns and Donald Solitar Source: Proceedings of the American Mathematical Society, Vol. 89, No. 3 (Nov., 1983), pp. 414-418 Published
More informationOn Convergence of Sequences of Measurable Functions
On Convergence of Sequences of Measurable Functions Christos Papachristodoulos, Nikolaos Papanastassiou Abstract In order to study the three basic kinds of convergence (in measure, almost every where,
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationMathematics of Computation, Vol. 17, No. 83. (Jul., 1963), pp
Abscissas and Weight Coefficients for Lobatto Quadrature H. H. Michels Mathematics of Computation, Vol. 17, No. 83. (Jul., 1963), pp. 237-244. Stable URL: http://links.jstor.org/sici?sici=0025-5718%28196307%2917%3a83%3c237%3aaawcfl%3e2.0.co%3b2-7
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
On the Hahn-Banach Extension Property Author(s): Jonathan M. Borwein Source: Proceedings of the American Mathematical Society, Vol. 86, No. 1, (Sep., 1982), pp. 42-46 Published by: American Mathematical
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationA Note on a Method for the Analysis of Significances en masse. Paul Seeger. Technometrics, Vol. 10, No. 3. (Aug., 1968), pp
A Note on a Method for the Analysis of Significances en masse Paul Seeger Technometrics, Vol. 10, No. 3. (Aug., 1968), pp. 586-593. Stable URL: http://links.jstor.org/sici?sici=0040-1706%28196808%2910%3a3%3c586%3aanoamf%3e2.0.co%3b2-j
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationTHE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE
THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY by arxiv:170109087v1 [mathca] 9 Jan 017 MAGNUS D LADUE 0 Abstract In [1] Grossman Turett define the Cantor game In [] Matt Baker proves several results
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More information( f ^ M _ M 0 )dµ (5.1)
47 5. LEBESGUE INTEGRAL: GENERAL CASE Although the Lebesgue integral defined in the previous chapter is in many ways much better behaved than the Riemann integral, it shares its restriction to bounded
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationThe Lebesgue Integral
The Lebesgue Integral Having completed our study of Lebesgue measure, we are now ready to consider the Lebesgue integral. Before diving into the details of its construction, though, we would like to give
More informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationBiometrika Trust. Biometrika Trust is collaborating with JSTOR to digitize, preserve and extend access to Biometrika.
Biometrika Trust An Improved Bonferroni Procedure for Multiple Tests of Significance Author(s): R. J. Simes Source: Biometrika, Vol. 73, No. 3 (Dec., 1986), pp. 751-754 Published by: Biometrika Trust Stable
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationSpaces of continuous functions
Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition
More informationCovering Lemmas and an Application to Nodal Geometry on Riemannian Manifolds
Covering Lemmas and an Application to Nodal Geometry on Riemannian Manifolds Guozhen Lu Proceedings of the American Mathematical Society, Vol. 117, No. 4. (Apr., 1993), pp. 971-978. Stable URL: http://links.jstor.org/sici?sici=0002-9939%28199304%29117%3a4%3c971%3aclaaat%3e2.0.co%3b2-t
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More information1 Measure and Category on the Line
oxtoby.tex September 28, 2011 Oxtoby: Measure and Category Notes from [O]. 1 Measure and Category on the Line Countable sets, sets of first category, nullsets, the theorems of Cantor, Baire and Borel Theorem
More informationJournal of Applied Probability, Vol. 13, No. 3. (Sep., 1976), pp
Buffon's Problem with a Long Needle Persi Diaconis Journal of Applied Probability, Vol. 13, No. 3. (Sep., 1976), pp. 614-618. Stable URL: http://links.jstor.org/sici?sici=0021-9002%28197609%2913%3a3%3c614%3abpwaln%3e2.0.co%3b2-p
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationCARDINALITY OF THE SET OF REAL FUNCTIONS WITH A GIVEN CONTINUITY SET
CARDINALITY OF THE SET OF REAL FUNCTIONS WITH A GIVEN CONTINUITY SET JIAMING CHEN AND SAM SMITH Abstract. Expanding on an old result of W. H. Young, we determine the cardinality of the set of functions
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationPart 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 informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
Modalities in Ackermann's "Rigorous Implication" Author(s): Alan Ross Anderson and Nuel D. Belnap, Jr. Source: The Journal of Symbolic Logic, Vol. 24, No. 2 (Jun., 1959), pp. 107-111 Published by: Association
More informationCourse 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 informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
On the Bound for a Pair of Consecutive Quartic Residues of a Prime Author(s): R. G. Bierstedt and W. H. Mills Source: Proceedings of the American Mathematical Society, Vol. 14, No. 4 (Aug., 1963), pp.
More informationG1CMIN Measure and Integration
G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,
More informationCHAPTER 5. The Topology of R. 1. Open and Closed Sets
CHAPTER 5 The Topology of R 1. Open and Closed Sets DEFINITION 5.1. A set G Ω R is open if for every x 2 G there is an " > 0 such that (x ", x + ") Ω G. A set F Ω R is closed if F c is open. The idea is
More informationPhilosophy of Science Association
Philosophy of Science Association Why Bohm's Theory Solves the Measurement Problem Author(s): Tim Maudlin Source: Philosophy of Science, Vol. 62, No. 3 (Sep., 1995), pp. 479-483 Published by: The University
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationChapter 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 information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationLebesgue 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 informationLIMITS OF DIFFERENTIABLE FUNCTIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 1, January 1996 LIMITS OF DIFFERENTIABLE FUNCTIONS UDAYAN B. DARJI (Communicated by J. Marshall Ash) Abstract. Suppose that {f n} is
More informationMAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationLecture 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 informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationMeasure and Category. Marianna Csörnyei. ucahmcs
Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,
More information1 Independent increments
Tel Aviv University, 2008 Brownian motion 1 1 Independent increments 1a Three convolution semigroups........... 1 1b Independent increments.............. 2 1c Continuous time................... 3 1d Bad
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationEach copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
The Classification of 1-Manifolds: A Take-Home Exam Author(s): David Gale Source: The American Mathematical Monthly, Vol. 94, No. 2 (Feb., 1987), pp. 170-175 Published by: Mathematical Association of America
More information2 Topology of a Metric Space
2 Topology of a Metric Space The real number system has two types of properties. The first type are algebraic properties, dealing with addition, multiplication and so on. The other type, called topological
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More information