Table Of Content“K29544” — 2017/8/12
STRANGE
FUNCTIONS IN
REAL ANALYSIS
THIRD EDITION
“K29544” — 2017/8/12
“K29544” — 2017/8/12
STRANGE
FUNCTIONS IN
REAL ANALYSIS
THIRD EDITION
Alexander Kharazishvili
Razmadze Mathematical Institute
Tbilisi, Georgia
“K29544” — 2017/8/12
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
© 2018 by Taylor & Francis Group, LLC
CRC Press is an imprint of Taylor & Francis Group, an Informa business
No claim to original U.S. Government works
Printed on acid-free paper
Version Date: 20170812
International Standard Book Number-13: 978-1-4987-7314-0 (Hardback)
This book contains information obtained from authentic and highly regarded sources. Reasonable
efforts have been made to publish reliable data and information, but the author and publisher cannot
assume responsibility for the validity of all materials or the consequences of their use. The authors and
publishers have attempted to trace the copyright holders of all material reproduced in this publication
and apologize to copyright holders if permission to publish in this form has not been obtained. If any
copyright material has not been acknowledged please write and let us know so we may rectify in any
future reprint.
Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced,
transmitted, or utilized in any form by any electronic, mechanical, or other means, now known or
hereafter invented, including photocopying, microfilming, and recording, or in any information
storage or retrieval system, without written permission from the publishers.
For permission to photocopy or use material electronically from this work, please access
www.copyright.com (http://www.copyright.com/) or contact the Copyright Clearance Center, Inc.
(CCC), 222 Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization
that provides licenses and registration for a variety of users. For organizations that have been granted
a photocopy license by the CCC, a separate system of payment has been arranged.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and
are used only for identification and explanation without intent to infringe.
Visit the Taylor & Francis Web site at
http://www.taylorandfrancis.com
and the CRC Press Web site at
http://www.crcpress.com
“K29544” — 2017/8/24
Table of Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Chapter 0. Introduction: Basic concepts . . . . . . . . . . 1
Chapter 1. Cantor and Peano type functions . . . . . . . 33
Chapter 2. Functions of first Baire class . . . . . . . . . . 53
Chapter 3. Semicontinuous functions
that are not countably continuous . . . . . . . . . . . . . . 71
Chapter 4. Singular monotone functions . . . . . . . . . . 81
Chapter 5. A characterization of constant
functions via Dini’s derived numbers . . . . . . . . . . . . 95
Chapter 6. Everywhere differentiable
nowhere monotone functions . . . . . . . . . . . . . . . . .103
Chapter 7. Continuous nowhere approximately
differentiable functions . . . . . . . . . . . . . . . . . . . . 115
Chapter 8. Blumberg’s theorem and
Sierpin´ski-Zygmund functions . . . . . . . . . . . . . . . . 127
Chapter 9. The cardinality of first Baire class . . . . . . 143
Chapter 10. Lebesgue nonmeasurable functions
and functions without the Baire property . . . . . . . . . 153
Chapter 11. Hamel basis and
Cauchy functional equation . . . . . . . . . . . . . . . . . 175
v
“K29544” — 2017/8/24
vi table of contents
Chapter 12. Summation methods and
Lebesgue nonmeasurable functions . . . . . . . . . . . . . 195
Chapter 13. Luzin sets, Sierpin´ski sets,
and their applications . . . . . . . . . . . . . . . . . . . . . 209
Chapter 14. Absolutely nonmeasurable
additive functions . . . . . . . . . . . . . . . . . . . . . . . 229
Chapter 15. Egorov type theorems . . . . . . . . . . . . . 241
Chapter 16. A difference between the Riemann
and Lebesgue iterated integrals . . . . . . . . . . . . . . . 255
Chapter 17. Sierpin´ski’s partition
of the Euclidean plane . . . . . . . . . . . . . . . . . . . . 265
Chapter 18. Bad functions defined on
second category sets . . . . . . . . . . . . . . . . . . . . . 281
Chapter 19. Sup-measurable and weakly
sup-measurable functions . . . . . . . . . . . . . . . . . . 295
Chapter 20. Generalized step-functions and
superposition operators . . . . . . . . . . . . . . . . . . . 313
Chapter 21. Ordinary differential equations
with bad right-hand sides . . . . . . . . . . . . . . . . . . 329
Chapter 22. Nondifferentiable functions from
the point of view of category and measure . . . . . . . . 343
Chapter 23. Absolute null subsets of the plane
with bad orthogonal projections . . . . . . . . . . . . . . 369
Appendix 1. Luzin’s theorem
on the existence of primitives . . . . . . . . . . . . . . . . 383
Appendix 2. Banach limits on the real line . . . . . . . . 391
“K29544” — 2017/8/24
table of contents vii
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . 401
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
“K29544” — 2017/8/24
“K29544” — 2017/8/24
Preface
At the presenttime, many strange(or singular)objects in various fields
of mathematics are known, and no working mathematician is greatly sur-
prised if he meets some objects of this type during his investigations. In
connection with strange (singular) objects, classical mathematical analysis
must be noticed especially. It is sufficient to recall here the well-known
examples of continuous nowhere differentiable real-valued functions, ex-
amples of Lebesgue measurable real-valued functions nonintegrable on any
nonemptyopensubintervaloftherealline,examplesofLebesgueintegrable
real-valued functions with everywhere divergent Fourier series, and others.
There is a very powerful technique in modern mathematics by means
of which we can obtain various kinds of strange objects. This is the so-
calledcategorymethodbasedonthecelebratedBairetheoremfromgeneral
topology. Obviously, this theorem plays one of the most important roles
in mathematical analysis and its applications. Let us recall that, according
to the Baire theorem, in any complete metric space E (also, in any locally
compact topological space E) the complement of a first category subset of
E is everywhere dense in E, and it often turns out that this complement
consists preciselyof strange(ina certainsense)elements. Many interesting
applicationsofthecategorymethodarepresentedintheexcellenttextbook
byOxtoby[202]inwhichthedeepanalogybetweenmeasureandcategoryis
thoroughlydiscussedaswell. Inthisconnection,themonographbyMorgan
[192] must also be pointed out where an abstract concept generalizing the
notions of measure and category is introduced and investigated in detail.
Unfortunately,thecategorymethoddoesnotalwaysworkandwesome-
times need an essentially different approach to questions concerning the
existence of singular objects.
This book is devoted to some strange functions (and point sets) in real
analysis and their applications. Those functions can be frequently met
duringvariousstudiesinanalysisandplayanessentialrolethere,especially
as counterexamples to numerous statements that at first sight seem to be
very natural but, finally, fail to be true in certain extraordinary situations
(see,e.g.,[78]). Anotherimportantroleofstrangefunctions,withrespectto
ix
