This document summarizes and reviews several papers by Brian Thomson on integration and differentiation theory. Specifically, it discusses Thomson's work on:
1. Providing a new proof of Lebesgue's differentiation theorem using Vitali coverings.
2. Developing a general theory of abstract differentiation based on the notion of derivation bases, and proving a key result relating differentiation and integration.
3. Surveying differentiation theory in the Handbook of Measure Theory, focusing on derivation bases and proving that a function's lim sup equals zero almost everywhere, relating differentiation and integration under weak conditions.
ON THE CATEGORY OF ORDERED TOPOLOGICAL MODULES OPTIMIZATION AND LAGRANGE’S PR...IJESM JOURNAL
A category is an algebraic structure made up of a collection of objects linked together by morphisms. As a foundation of mathematics, categories were created as a way of relating algebraic structures and systems of topological spaces In this paper we define a derivative using cones in the category of topological modules and use the Lagrange’s principle to obtain optimization results in the category.
An exact solution of einstein equations for interior field of an anisotropic ...eSAT Journals
Abstract
In this paper, an anisotropic relativistic fluid sphere with variable density, which decreases along the radius and is maximum at
the centre, is discussed. Spherically symmetric static space-time with spheroidal physical 3-space is considered. The source is an
anisotropic fluid.
The solution is an anisotropic generalization of the solution discussed by Vaidya and Tikekar [1]. The physical three space
constant time has spheroidal solution. The line element of the solution can be expressed in the form Patel and Desai [2]. The
material density is always positive. The solution efficiently matches with Schwarzschild exterior solution across the boundary. It is
shown that the model is physically reasonable by studying the numerical estimates of various parameters. The density vs radial
pressure relation in the interior is discussed numerically. An anisotropy effect on the redshift is also studied numerically.
Key Words: Cosmology, Anisotropic fluid sphere, Radial pressure, Radial density, Relativistic model.
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Topological Field Theories In N Dimensional Spacetimes And Cartans Equationsguest9fa195
This paper presents action principles for topological field theories in n-dimensional spacetimes inspired by Cartan's structure equations. The actions involve vielbeins, connections, and auxiliary fields. A canonical analysis shows the theories are topological. As an example, a 2-dimensional theory with local degrees of freedom resembling gravity coupled to matter is constructed by imposing constraints, destroying the topological character. The formalism provides a framework for geometric theories in n-dimensions and constructing modifications of gravity.
1. Miller indices arise from finding the plane intercepts with the crystal axes, taking their reciprocals, and reducing to integers.
2. Miller indices represent the components of the plane equation and each set of indices corresponds to a set of parallel planes.
3. Important crystal planes and forms are often given special names based on their symmetry and Miller indices. The reciprocal lattice is used to relate planes and directions in a crystal lattice.
Three levels of scientific hypotheses are curves/functions, models, and theories. Curves represent empirical relationships between variables, models incorporate adjustable parameters, and theories are broad sets of principles. Curve fitting involves three steps: 1) determining variables, 2) selecting a model family of curves, and 3) estimating parameter values for the best fitting curve. Models play an essential role by representing families of curves and allowing indirect confirmation of hypotheses. Overlooking models can misconstrue processes like measurement and curve fitting.
On the Logical Origin of the Laws Governing the Fundamental Forces of Nature:...Ramin (A.) Zahedi
- The document presents a new algebraic-axiomatic matrix approach to derive the fundamental laws of nature from basic axioms.
- It is shown that the laws governing fundamental forces like gravity and electromagnetism can be derived as general covariant massive field equations from axioms assuming rational relativistic energy-momentum and linearizing energy-momentum relations.
- The derived field equations include a torsion field that generates the invariant mass of each field and represent generalized forms of Einstein, Maxwell, Yang-Mills, Dirac, and Rarita-Schwinger equations.
ON THE CATEGORY OF ORDERED TOPOLOGICAL MODULES OPTIMIZATION AND LAGRANGE’S PR...IJESM JOURNAL
A category is an algebraic structure made up of a collection of objects linked together by morphisms. As a foundation of mathematics, categories were created as a way of relating algebraic structures and systems of topological spaces In this paper we define a derivative using cones in the category of topological modules and use the Lagrange’s principle to obtain optimization results in the category.
An exact solution of einstein equations for interior field of an anisotropic ...eSAT Journals
Abstract
In this paper, an anisotropic relativistic fluid sphere with variable density, which decreases along the radius and is maximum at
the centre, is discussed. Spherically symmetric static space-time with spheroidal physical 3-space is considered. The source is an
anisotropic fluid.
The solution is an anisotropic generalization of the solution discussed by Vaidya and Tikekar [1]. The physical three space
constant time has spheroidal solution. The line element of the solution can be expressed in the form Patel and Desai [2]. The
material density is always positive. The solution efficiently matches with Schwarzschild exterior solution across the boundary. It is
shown that the model is physically reasonable by studying the numerical estimates of various parameters. The density vs radial
pressure relation in the interior is discussed numerically. An anisotropy effect on the redshift is also studied numerically.
Key Words: Cosmology, Anisotropic fluid sphere, Radial pressure, Radial density, Relativistic model.
International Journal of Mathematics and Statistics Invention (IJMSI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJMSI publishes research articles and reviews within the whole field Mathematics and Statistics, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Topological Field Theories In N Dimensional Spacetimes And Cartans Equationsguest9fa195
This paper presents action principles for topological field theories in n-dimensional spacetimes inspired by Cartan's structure equations. The actions involve vielbeins, connections, and auxiliary fields. A canonical analysis shows the theories are topological. As an example, a 2-dimensional theory with local degrees of freedom resembling gravity coupled to matter is constructed by imposing constraints, destroying the topological character. The formalism provides a framework for geometric theories in n-dimensions and constructing modifications of gravity.
1. Miller indices arise from finding the plane intercepts with the crystal axes, taking their reciprocals, and reducing to integers.
2. Miller indices represent the components of the plane equation and each set of indices corresponds to a set of parallel planes.
3. Important crystal planes and forms are often given special names based on their symmetry and Miller indices. The reciprocal lattice is used to relate planes and directions in a crystal lattice.
Three levels of scientific hypotheses are curves/functions, models, and theories. Curves represent empirical relationships between variables, models incorporate adjustable parameters, and theories are broad sets of principles. Curve fitting involves three steps: 1) determining variables, 2) selecting a model family of curves, and 3) estimating parameter values for the best fitting curve. Models play an essential role by representing families of curves and allowing indirect confirmation of hypotheses. Overlooking models can misconstrue processes like measurement and curve fitting.
On the Logical Origin of the Laws Governing the Fundamental Forces of Nature:...Ramin (A.) Zahedi
- The document presents a new algebraic-axiomatic matrix approach to derive the fundamental laws of nature from basic axioms.
- It is shown that the laws governing fundamental forces like gravity and electromagnetism can be derived as general covariant massive field equations from axioms assuming rational relativistic energy-momentum and linearizing energy-momentum relations.
- The derived field equations include a torsion field that generates the invariant mass of each field and represent generalized forms of Einstein, Maxwell, Yang-Mills, Dirac, and Rarita-Schwinger equations.
This document provides an overview and history of "Proofs Without Words" (PWWs), which are visual proofs of mathematical theorems without accompanying words or equations. The document begins by discussing the ancient Chinese visual proof of the Pythagorean theorem. It then discusses how PWWs gained recognition in the 1970s when mathematics journals began publishing them regularly. The document presents examples of PWWs from geometry, calculus, and integer sums, providing traditional proofs alongside for comparison. It analyzes how PWWs convey information visually and whether they satisfy the definition of a formal proof. Overall, the document explores the value and philosophical debate around PWWs as a form of visual mathematical reasoning.
This document summarizes and compares different models of a beam balance experiment. It finds that simpler models are often nested within more complex models. The simplest model (SIMP) represents the mass ratio as a single parameter, while a more complex model (COMP) adds a second parameter. An even more complex model (COMPTOO) adds a third object on the beam. The document examines problems with selecting the best model based only on fit to the data, and discusses alternatives like parsimony and falsification.
This document provides an overview of general philosophy of science and introduces some key concepts in logic that are relevant to philosophy of science. It discusses how general philosophy of science seeks to understand science across many disciplines rather than focusing on a single field. It also introduces deductive logic and different types of arguments, focusing on the distinction between valid and sound arguments. The document examines how logic has been used as a tool in philosophy of science but may have limitations, as scientific theories are not always logical deductions from evidence alone.
The History and Evolution of the Concept of InfinityJohn Batchelor
This document provides a detailed overview of the history and evolution of the concept of infinity in mathematics. It discusses how early Greek mathematicians like Euclid, Archimedes, and Eudoxus began the formal study of infinity and developed key concepts like π and methods like exhaustion. Later mathematicians like Euler, Gauss, and Cantor made major contributions, with Cantor developing set theory and the distinction between different types of infinities. The document also examines how infinity relates to fields like astronomy, art, and philosophy. It discusses open problems and paradoxes involving infinity that remain unsolved.
Numerical solution of heat equation through double interpolationIOSR Journals
In this article an attempt is made to find the solution of one-dimensional Heat equation with initial and boundary conditions using the techniques of numerical methods, and the finite differences. Applying Bender-Schmidt recurrence relation formula we found u(x ,t) values at lattice points. Further using the double interpolation we found the solution of Heat equation as double interpolating polynomial
This document describes a new method called Likelihood-based Sufficient Dimension Reduction (LAD) for estimating the central subspace. LAD obtains the maximum likelihood estimator of the central subspace under the assumption of conditional normality of the predictors given the response. Analytically and in simulations, LAD is shown to often perform much better than existing methods like Sliced Inverse Regression, Sliced Average Variance Estimation, and Directional Regression. LAD also inherits useful properties from maximum likelihood theory, such as the ability to estimate the dimension of the central subspace and test conditional independence hypotheses.
Dimensional analysis is a technique for simplifying physical problems by reducing the number of variables. It is useful for presenting experimental data, solving problems without exact theories, checking equations, and establishing relative importance of phenomena. Dimensional analysis refers to the physical nature and units of quantities. It can be used to develop equations for fluid phenomena, convert between unit systems, and reduce variables in experiments. Two common methods are Rayleigh's method, which determines expressions involving a maximum of four variables, and Buckingham's π-method, which arranges variables into dimensionless groups. Dimensional analysis provides a partial solution and requires understanding the relevant phenomena.
Study of Correlation Theory with Different Views and Methodsamong Variables i...inventionjournals
Correlation among two numbers is an important concept and this relationship among two variables may be direct or indirect/inverse. Generally, correlation of two numbers is studyin statistics .The different types of correlation among numbers may be positively correlated, negatively correlated and perfectly correlated in statistics. Generally theserelationship is direct or indirect/inverse.So,in this paper it is tried to explore correlation among numbers/variables inunitary methods, ratio and proportion, variation methods.
Two-temperature elasto-thermo diffusive response inside a spherical shell wit...IJERA Editor
The present work deals with the investigation of elasto-thermo diffusion interaction of a homogeneous isotropic
spherical shell in the context of two-temperature generalized theory of thermo-elasticity with diffusion. The
inner and outer boundaries of the spherical shell are free from stress and subjected to a time dependent thermal
stoke. The chemical potential is also assumed to be a function of time on the boundary of the shell. The
governing equations are solved in the Laplace transformation by using aoperator theory. The inverse of the
transformed solution is carried out by applying a method of Bellman et al.. The stress, conductive temperature,
displacement, mass concentration and chemical potential are computed numerically and presented graphically in
a number of figures for copper material. A comparison of the results for three different models two-temperature
Lord Shulman model (2TLS), two-temperature Green Naghdi model (2TGN-III) and two-temperature threephase-
lag model (2T3P) arealso presented for the different types of temperature field (one-temperature and twotemperature).
Here are the steps to re-write equation (1.4) in the form v2 = 1 − θ2 and observe that dv/dθ is infinite at θ = ±1:
1) Equation (1.4) is:
(dθ/dx)2 = 1 - θ2
2) Let v = dθ/dx. Then the above equation can be written as:
v2 = 1 - θ2
3) Taking the derivative of both sides with respect to θ gives:
2v dv/dθ = -2θ
4) Solving for dv/dθ gives:
dv/dθ = -θ/v
5) Note
A New Method to Compute the Adjoint and Inverse of a 3 × 3 non – singular Mat...inventionjournals
This document presents a new method for computing the determinant, adjoint, and inverse of 3x3 non-singular matrices. The method uses six diagonals - three with a "+" sign and three with a "-" sign - to efficiently calculate the determinant. The adjoint is computed by replacing the elements of the original matrix with cofactors. Finally, the inverse can be found by dividing the adjoint by the determinant. An example calculation is provided to illustrate the method. The author concludes that this offers an easy way to quickly find the solution for 3x3 matrices.
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...mathsjournal
The main purpose of this research is to find out the best method through iterative methods for solving the nonlinear equation. In this study, the four iterative methods are examined and emphasized to solve the nonlinear equations. From this method explained, the rate of convergence is demonstrated among the 1st degree based iterative methods. After that, the graphical development is established here with the help of the four iterative methods and these results are tested with various functions. An example of the algebraic equation is taken to exhibit the comparison of the approximate error among the methods. Moreover, two examples of the algebraic and transcendental equation are applied to verify the best method, as well as the level of errors, are shown graphically.
This document discusses dimensional analysis, which is a mathematical technique used in fluid mechanics to reduce the number of variables in a problem by combining dimensional variables to form non-dimensional parameters. Dimensional analysis allows problems to be expressed in terms of non-dimensional parameters to show the relative significance of each parameter. It has various uses including checking dimensional homogeneity of equations, deriving equations, planning experiments, and analyzing complex flows using scale models. The Buckingham π theorem states that any relationship between physical quantities can be written as a relationship between dimensionless pi groups formed from the variables. Dimensional analysis is applied by setting up a dimensional matrix to determine the minimum number of pi groups needed to describe the relationship.
1) Mathematics is found in many natural phenomena such as ratios, proportions, geometric shapes, symmetry, and fractals. Concepts like congruence and ratios are important in everyday activities.
2) Foams and bubbles exhibit mathematical properties like Plateau's laws which describe how soap films meet. Fractal patterns are seen in trees, ferns, coastlines, and other natural forms.
3) Symmetry is ubiquitous in nature from bilateral symmetry in animals to radial and rotational symmetries in plants and crystals. Snowflakes have sixfold symmetry while sea stars have fivefold symmetry.
Berlin - Conceptual Aspects of Gauge-Gravity DualitySebastian De Haro
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms for those who already suffer from conditions like depression and anxiety.
This paper proposes a maximum likelihood estimation method for determining the parameters of a modified Gutenberg-Richter magnitude-frequency relation proposed by Lomnitz-Adler and Lomnitz. The relation is a double exponential function with parameters a and B. The maximum likelihood method provides equations that allow iterative determination of parameter a from earthquake catalog data. Parameter B can then be estimated from the data and value of a. The method is demonstrated on a Chinese earthquake catalog, obtaining values of a = 0.10 and B = 10.34.
The document discusses Einstein's field equations and Heisenberg's uncertainty principle. It begins by providing background on Einstein's field equations, which relate the geometry of spacetime to the distribution of mass and energy within it. It then discusses some key mathematical aspects of the field equations, including their nonlinear partial differential form. Finally, it notes that the field equations can be consolidated with Heisenberg's uncertainty principle to provide a unified description of gravity and quantum mechanics.
The document discusses group theory and its applications in physics. It begins by introducing symmetry groups that are important in physics, including translations, rotations, and Lorentz transformations. It then discusses the use of group theory in formulating fundamental forces and the Standard Model of particle physics. The document provides definitions of group theory concepts like groups, operations, identity, and inverse. It explains how group theory provides a mathematical framework for describing physical symmetries.
The International Journal of Engineering & Science is aimed at providing a platform for researchers, engineers, scientists, or educators to publish their original research results, to exchange new ideas, to disseminate information in innovative designs, engineering experiences and technological skills. It is also the Journal's objective to promote engineering and technology education. All papers submitted to the Journal will be blind peer-reviewed. Only original articles will be published.
The papers for publication in The International Journal of Engineering& Science are selected through rigorous peer reviews to ensure originality, timeliness, relevance, and readability.
1. The document discusses the history and concepts of set theory, including how it was founded by Georg Cantor and how work by Zermelo and Fraenkel led to the commonly used ZFC set of axioms.
2. Various concepts in set theory are defined, such as empty sets, singleton sets, finite and infinite sets, unions, intersections, differences, and subsets.
3. The document also discusses applications of set theory and related fields like fuzzy logic, rough set theory, and how fuzzy set theory has been applied in rock engineering characterization.
A Survey On The Weierstrass Approximation TheoremMichele Thomas
The document provides a survey of the Weierstrass approximation theorem and related results in approximation theory over the past century. It begins with an introduction to the theorem proved by Weierstrass in 1885, which showed that continuous functions can be uniformly approximated by polynomials on compact intervals. The document then discusses several improvements, generalizations, and ramifications of the theorem developed in subsequent decades, including results on approximating functions by trigonometric polynomials, Bernstein polynomials, and rational functions. It concludes by mentioning several influential theorems in approximation theory from the 20th century, such as Stone's theorem on uniform approximation by collections of functions.
A talk presented at the University of New South Wales on the occasion of Ian Sloan's 80th birthday, remembering our work together and thinking about how math is used in science.
This document provides an overview and history of "Proofs Without Words" (PWWs), which are visual proofs of mathematical theorems without accompanying words or equations. The document begins by discussing the ancient Chinese visual proof of the Pythagorean theorem. It then discusses how PWWs gained recognition in the 1970s when mathematics journals began publishing them regularly. The document presents examples of PWWs from geometry, calculus, and integer sums, providing traditional proofs alongside for comparison. It analyzes how PWWs convey information visually and whether they satisfy the definition of a formal proof. Overall, the document explores the value and philosophical debate around PWWs as a form of visual mathematical reasoning.
This document summarizes and compares different models of a beam balance experiment. It finds that simpler models are often nested within more complex models. The simplest model (SIMP) represents the mass ratio as a single parameter, while a more complex model (COMP) adds a second parameter. An even more complex model (COMPTOO) adds a third object on the beam. The document examines problems with selecting the best model based only on fit to the data, and discusses alternatives like parsimony and falsification.
This document provides an overview of general philosophy of science and introduces some key concepts in logic that are relevant to philosophy of science. It discusses how general philosophy of science seeks to understand science across many disciplines rather than focusing on a single field. It also introduces deductive logic and different types of arguments, focusing on the distinction between valid and sound arguments. The document examines how logic has been used as a tool in philosophy of science but may have limitations, as scientific theories are not always logical deductions from evidence alone.
The History and Evolution of the Concept of InfinityJohn Batchelor
This document provides a detailed overview of the history and evolution of the concept of infinity in mathematics. It discusses how early Greek mathematicians like Euclid, Archimedes, and Eudoxus began the formal study of infinity and developed key concepts like π and methods like exhaustion. Later mathematicians like Euler, Gauss, and Cantor made major contributions, with Cantor developing set theory and the distinction between different types of infinities. The document also examines how infinity relates to fields like astronomy, art, and philosophy. It discusses open problems and paradoxes involving infinity that remain unsolved.
Numerical solution of heat equation through double interpolationIOSR Journals
In this article an attempt is made to find the solution of one-dimensional Heat equation with initial and boundary conditions using the techniques of numerical methods, and the finite differences. Applying Bender-Schmidt recurrence relation formula we found u(x ,t) values at lattice points. Further using the double interpolation we found the solution of Heat equation as double interpolating polynomial
This document describes a new method called Likelihood-based Sufficient Dimension Reduction (LAD) for estimating the central subspace. LAD obtains the maximum likelihood estimator of the central subspace under the assumption of conditional normality of the predictors given the response. Analytically and in simulations, LAD is shown to often perform much better than existing methods like Sliced Inverse Regression, Sliced Average Variance Estimation, and Directional Regression. LAD also inherits useful properties from maximum likelihood theory, such as the ability to estimate the dimension of the central subspace and test conditional independence hypotheses.
Dimensional analysis is a technique for simplifying physical problems by reducing the number of variables. It is useful for presenting experimental data, solving problems without exact theories, checking equations, and establishing relative importance of phenomena. Dimensional analysis refers to the physical nature and units of quantities. It can be used to develop equations for fluid phenomena, convert between unit systems, and reduce variables in experiments. Two common methods are Rayleigh's method, which determines expressions involving a maximum of four variables, and Buckingham's π-method, which arranges variables into dimensionless groups. Dimensional analysis provides a partial solution and requires understanding the relevant phenomena.
Study of Correlation Theory with Different Views and Methodsamong Variables i...inventionjournals
Correlation among two numbers is an important concept and this relationship among two variables may be direct or indirect/inverse. Generally, correlation of two numbers is studyin statistics .The different types of correlation among numbers may be positively correlated, negatively correlated and perfectly correlated in statistics. Generally theserelationship is direct or indirect/inverse.So,in this paper it is tried to explore correlation among numbers/variables inunitary methods, ratio and proportion, variation methods.
Two-temperature elasto-thermo diffusive response inside a spherical shell wit...IJERA Editor
The present work deals with the investigation of elasto-thermo diffusion interaction of a homogeneous isotropic
spherical shell in the context of two-temperature generalized theory of thermo-elasticity with diffusion. The
inner and outer boundaries of the spherical shell are free from stress and subjected to a time dependent thermal
stoke. The chemical potential is also assumed to be a function of time on the boundary of the shell. The
governing equations are solved in the Laplace transformation by using aoperator theory. The inverse of the
transformed solution is carried out by applying a method of Bellman et al.. The stress, conductive temperature,
displacement, mass concentration and chemical potential are computed numerically and presented graphically in
a number of figures for copper material. A comparison of the results for three different models two-temperature
Lord Shulman model (2TLS), two-temperature Green Naghdi model (2TGN-III) and two-temperature threephase-
lag model (2T3P) arealso presented for the different types of temperature field (one-temperature and twotemperature).
Here are the steps to re-write equation (1.4) in the form v2 = 1 − θ2 and observe that dv/dθ is infinite at θ = ±1:
1) Equation (1.4) is:
(dθ/dx)2 = 1 - θ2
2) Let v = dθ/dx. Then the above equation can be written as:
v2 = 1 - θ2
3) Taking the derivative of both sides with respect to θ gives:
2v dv/dθ = -2θ
4) Solving for dv/dθ gives:
dv/dθ = -θ/v
5) Note
A New Method to Compute the Adjoint and Inverse of a 3 × 3 non – singular Mat...inventionjournals
This document presents a new method for computing the determinant, adjoint, and inverse of 3x3 non-singular matrices. The method uses six diagonals - three with a "+" sign and three with a "-" sign - to efficiently calculate the determinant. The adjoint is computed by replacing the elements of the original matrix with cofactors. Finally, the inverse can be found by dividing the adjoint by the determinant. An example calculation is provided to illustrate the method. The author concludes that this offers an easy way to quickly find the solution for 3x3 matrices.
A NEW STUDY TO FIND OUT THE BEST COMPUTATIONAL METHOD FOR SOLVING THE NONLINE...mathsjournal
The main purpose of this research is to find out the best method through iterative methods for solving the nonlinear equation. In this study, the four iterative methods are examined and emphasized to solve the nonlinear equations. From this method explained, the rate of convergence is demonstrated among the 1st degree based iterative methods. After that, the graphical development is established here with the help of the four iterative methods and these results are tested with various functions. An example of the algebraic equation is taken to exhibit the comparison of the approximate error among the methods. Moreover, two examples of the algebraic and transcendental equation are applied to verify the best method, as well as the level of errors, are shown graphically.
This document discusses dimensional analysis, which is a mathematical technique used in fluid mechanics to reduce the number of variables in a problem by combining dimensional variables to form non-dimensional parameters. Dimensional analysis allows problems to be expressed in terms of non-dimensional parameters to show the relative significance of each parameter. It has various uses including checking dimensional homogeneity of equations, deriving equations, planning experiments, and analyzing complex flows using scale models. The Buckingham π theorem states that any relationship between physical quantities can be written as a relationship between dimensionless pi groups formed from the variables. Dimensional analysis is applied by setting up a dimensional matrix to determine the minimum number of pi groups needed to describe the relationship.
1) Mathematics is found in many natural phenomena such as ratios, proportions, geometric shapes, symmetry, and fractals. Concepts like congruence and ratios are important in everyday activities.
2) Foams and bubbles exhibit mathematical properties like Plateau's laws which describe how soap films meet. Fractal patterns are seen in trees, ferns, coastlines, and other natural forms.
3) Symmetry is ubiquitous in nature from bilateral symmetry in animals to radial and rotational symmetries in plants and crystals. Snowflakes have sixfold symmetry while sea stars have fivefold symmetry.
Berlin - Conceptual Aspects of Gauge-Gravity DualitySebastian De Haro
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise causes chemical changes in the brain that may help protect against mental illness and improve symptoms for those who already suffer from conditions like depression and anxiety.
This paper proposes a maximum likelihood estimation method for determining the parameters of a modified Gutenberg-Richter magnitude-frequency relation proposed by Lomnitz-Adler and Lomnitz. The relation is a double exponential function with parameters a and B. The maximum likelihood method provides equations that allow iterative determination of parameter a from earthquake catalog data. Parameter B can then be estimated from the data and value of a. The method is demonstrated on a Chinese earthquake catalog, obtaining values of a = 0.10 and B = 10.34.
The document discusses Einstein's field equations and Heisenberg's uncertainty principle. It begins by providing background on Einstein's field equations, which relate the geometry of spacetime to the distribution of mass and energy within it. It then discusses some key mathematical aspects of the field equations, including their nonlinear partial differential form. Finally, it notes that the field equations can be consolidated with Heisenberg's uncertainty principle to provide a unified description of gravity and quantum mechanics.
The document discusses group theory and its applications in physics. It begins by introducing symmetry groups that are important in physics, including translations, rotations, and Lorentz transformations. It then discusses the use of group theory in formulating fundamental forces and the Standard Model of particle physics. The document provides definitions of group theory concepts like groups, operations, identity, and inverse. It explains how group theory provides a mathematical framework for describing physical symmetries.
The International Journal of Engineering & Science is aimed at providing a platform for researchers, engineers, scientists, or educators to publish their original research results, to exchange new ideas, to disseminate information in innovative designs, engineering experiences and technological skills. It is also the Journal's objective to promote engineering and technology education. All papers submitted to the Journal will be blind peer-reviewed. Only original articles will be published.
The papers for publication in The International Journal of Engineering& Science are selected through rigorous peer reviews to ensure originality, timeliness, relevance, and readability.
1. The document discusses the history and concepts of set theory, including how it was founded by Georg Cantor and how work by Zermelo and Fraenkel led to the commonly used ZFC set of axioms.
2. Various concepts in set theory are defined, such as empty sets, singleton sets, finite and infinite sets, unions, intersections, differences, and subsets.
3. The document also discusses applications of set theory and related fields like fuzzy logic, rough set theory, and how fuzzy set theory has been applied in rock engineering characterization.
A Survey On The Weierstrass Approximation TheoremMichele Thomas
The document provides a survey of the Weierstrass approximation theorem and related results in approximation theory over the past century. It begins with an introduction to the theorem proved by Weierstrass in 1885, which showed that continuous functions can be uniformly approximated by polynomials on compact intervals. The document then discusses several improvements, generalizations, and ramifications of the theorem developed in subsequent decades, including results on approximating functions by trigonometric polynomials, Bernstein polynomials, and rational functions. It concludes by mentioning several influential theorems in approximation theory from the 20th century, such as Stone's theorem on uniform approximation by collections of functions.
A talk presented at the University of New South Wales on the occasion of Ian Sloan's 80th birthday, remembering our work together and thinking about how math is used in science.
This document provides an overview of string theory and superstring theory. It discusses the following key points:
1) A Calabi-Yau manifold is a smooth space that is Ricci flat and represents a deformation that smooths out an orbifold singularity from a space-time perspective.
2) In the 1960s, particle physics was dominated by S-matrix theory, which focused on scattering matrix properties rather than fundamental fields. S-matrix theory assumed analyticity, crossing, and unitarity of scattering amplitudes.
3) Early string theory models treated particles as vibrating strings to address limitations of S-matrix theory for high spin particles. This led to the development of bosonic string theory and super
A Review Article on Fixed Point Theory and Its Applicationijtsrd
The theory of fixed point is one of the most important and powerful tools of the modern mathematics not only it is used on a daily bases in pure and applied mathematics but it is also solving a bridge between analysis and topology and provide a very fruitful are of interaction between the two. The theory of fixed points belongs to topology, a part of mathematics created at the end of the nineteenth century. The famous French mathematician H. Poincare 1854 1912 was the founder of the fixed point approach. He had deep insight into its future importance for problems of mathematical analysis and celestial mechanics and took an active part in its development. Dr. Brajraj Singh Chauhan "A Review Article on Fixed Point Theory & Its Application" Published in International Journal of Trend in Scientific Research and Development (ijtsrd), ISSN: 2456-6470, Volume-3 | Issue-5 , August 2019, URL: https://www.ijtsrd.com/papers/ijtsrd26431.pdfPaper URL: https://www.ijtsrd.com/mathemetics/applied-mathematics/26431/a-review-article-on-fixed-point-theory-and-its-application/dr-brajraj-singh-chauhan
Bianchi type i wet dark universe in bimetric relativityAlexander Decker
This academic article summarizes a document investigating the role of Wet Dark Fluid in a Bianchi Type-I cosmological model within the framework of bimetric theory of relativity. The document proposes a new equation of state for dark energy known as Wet Dark Fluid and uses it to study a Bianchi Type-I universe model in bimetric relativity. It is concluded that the Bianchi Type-I model in bimetric relativity does not accommodate Wet Dark Fluid, as both the Wet Dark Fluid energy density and metric terms are found to be identically zero, resulting in only a vacuum solution.
This document presents a five dimensional cosmological model with a perfect fluid coupled to a massless scalar field in general relativity. The field equations are solved assuming an equation of state of p=ρ and a relation between the metric potentials of R=kAn, where k and n are constants. The solutions show the scale factors and scalar field as functions of time. The model expands anisotropically with no initial singularity and decelerates similarly to standard cosmology. Physical quantities like density and pressure diverge initially but vanish at later times.
This document provides an introduction to tensors. It discusses that familiar physics equations like F=ma are only strictly true for isotropic systems, and more general tensor forms are needed for anisotropic systems. It gives the example of a polarizability tensor to relate polarization and electric field for an anisotropic medium. It also discusses preliminaries of tensors, including how coordinate transformations define tensors and the Kronecker delta and Levi-Civita tensors used to represent identities and cross products.
This document provides an introduction to dimensional analysis. It discusses how dimensional analysis is rooted in fundamental concepts of science, such as how physical properties are described through comparison to other objects and quantities. Dimensional analysis uses a system of base physical quantities that are defined by comparison and addition operations. It allows expressing physical relationships in a reduced, dimensionless form. The document outlines the basic steps and principles of dimensional analysis, using an example problem to illustrate its application.
Metadynamics is a computer simulation method in computational physics, chemistry, and biology. It is used to estimate the free energy and other state functions of a system, where ergodicity is hindered by the form of the system's energy landscape.
This document presents a study of five dimensional string cosmological models with bulk viscosity in general relativity. It investigates three cases of the field equations and determines solutions for each. For case I, the solution reduces the model to Minkowski spacetime. For case II, the solution yields a model that expands from a big bang and stops expanding at a finite time, with the volume increasing over time. The energy density is only due to bulk viscosity and Lyra geometry. For case III, three specific solutions are presented: one that reduces to a flat 5D spacetime; one that contracts/expands depending on constants; and one that follows power law inflation. Physical properties like expansion, shear, and density are also analyzed for each case.
This document discusses dimensional analysis and its physical foundations. It begins by defining physical properties and quantities, and distinguishing between base and derived quantities. Base quantities like length, mass, and time are defined by comparison and addition operations involving physical objects or events. Dimensional analysis uses the dimensions of physical quantities to reduce complex problems and infer similarity between systems. The document traces the history and development of dimensional analysis and discusses its applications and theoretical underpinnings.
This document discusses dimensional analysis and its physical foundations. It begins by defining physical properties and quantities, and distinguishing between base and derived quantities. Base quantities like length, mass, and time are defined by physical comparison and addition operations. Dimensional analysis uses the dimensions (units) of quantities to reduce complex problems and infer similarity between systems. The document outlines the basic concepts and principles of dimensional analysis, providing context for its theoretical underpinnings and wide applications in science and engineering.
1. Citations
From References: 0
Article From Reviews: 0
MR2388593 26A42 (39A10)
Thomson, Brian S. (3-SFR)
Henstock-Kurzweil integrals on time scales. (English summary)
Panamer. Math. J. 18 (2008), no. 1, 1–19.
{There will be no review of this item.}
c Copyright American Mathematical Society 2009
Citations
From References: 0
Article From Reviews: 0
MR2384585 (2009a:26006) 26A39 (01A60 26A42)
Thomson, Brian S. (3-SFR)
The natural integral on the real line.
Sci. Math. Jpn. 67 (2008), no. 1, 23–35.
This essay is dedicated to Ralph Henstock (1923–2007) and his theory of integration. The author
argues that a Riemann-type integral on the real line which was introduced by Henstock (and at the
same time by Czech mathematician J. Kurzweil) and which covers the Lebesgue integral, is not
just easier to present than the last one—it is easier to present than the Riemann integral. The name
for this integral proposed in the title of the paper is considered by the author as a suitable brand in
the mathematical market which could persuade the academic community to introduce this theory
into the undergraduate curriculum.
The notions of the covering relations and the one of the integration basis introduced by the author
of the paper are used to give an account of Henstock’s ideas on the way to generalize his definition
in a more abstract setting. A program for developing the integration theory is sketched.
Reviewed by V. A. Skvortsov
c Copyright American Mathematical Society 2009
Citations
From References: 0
Article From Reviews: 0
2. MR2321251 (2008c:26001) 26-01 (26A06 97D80)
Thomson, Brian S. (3-SFR)
Rethinking the elementary real analysis course.
Amer. Math. Monthly 114 (2007), no. 6, 469–490.
This is an important paper for mathematical education and should be read by anyone planning
a course or about to write a text on analysis or calculus. Ever since Henstock rather brashly
said “Lebesgue is dead!” at the Stockholm meeting in 1962 there have been many hardy souls,
colleagues, students and disciples of either Henstock or Kurzweil suggesting the more reasonable
and practical “Riemann is dead!”. Many papers have been written that make this point, as well
as books by both Henstock and Kurzweil, the author of the present paper, Bartle, DePree and
Schwarz, Leader, Lee and V´ born´ , Mawhin, McLeod, McShane, and no doubt others; as well
y y
Dieudonn´ , in the book that is quoted at the beginning of the present article, made the same point
e
from a completely different point of view. All argue that by now the teaching of both the Riemann
and Riemann-Stieltjes integrals should cease; these integrals should be replaced by the Newton
and Cauchy integrals in elementary calculus courses and by the generalized Riemann integral
in elementary analysis courses, the latter being taught in a way that would lead into Lebesgue
theory in more advanced courses. To date the conservative nature of academia has not heard these
arguments.
The present paper suggests a very attractive method for the elementary analysis course mentioned
above. The author has a rather extreme aversion to the plethora of gauges and tags that are the norm
in most approaches to the generalized Riemann integral. Instead he suggests that the basis of the
analysis course should be Cousin’s Lemma. This very elementary formulation of the completeness
axiom of the real line allows for proofs of all the properties normally deduced from that axiom,
including the properties of continuous functions normally considered in basic analysis courses—
proofs that are both simple and transparent. It further leads very naturally into the generalized
Riemann integral and later to measure theory if that is desired. The paper is very clearly written
and is very persuasive but is not an easy read, especially towards the end, and the reader may need
the help of a standard book on the generalized Riemann integral. In addition the author shows that
a simple recent extension of Cousin’s Lemma will allow some very neat proofs of more subtle
properties that may or may not be appropriate for the first analysis course but certainly would
allow for the progression to a more advanced course and to measure theory.
It is difficult to change a very well-established academic and publishing tradition but the reviewer
hopes that this article will start at least the beginnings of a change. There are already non- or semi-
commercial web texts that are moving in this direction, some under the influence of the Dump-the-
Riemann-Integral-Project (see http://classicalrealanalysis.com/drip.aspx) and others less radical
being produced by the Trillia Group (http://www.trillia.com). These should all be explored by
anyone teaching in this field.
Reviewed by P. S. Bullen
References
1. R. G. Bartle, A Modern Theory of Integration, Graduate Studies in Math., no. 32, American
3. Mathematical Society, Providence, 2001. MR1817647 (2002d:26001)
2. , Return to the Riemann integral, this Monthly 103 (1996) 625–632. MR1413583 (97h:26007)
3. J. Hagood, The Lebesgue differentiation theorem via nonoverlapping interval covers, Real
Anal. Exch. 29 (2003–04) 953–956. MR2083830 (2005d:26007)
4. J. Hagood and B. S. Thomson, Recovering a function from a Dini derivative, this Monthly [to
appear]. cf. MR 2006i:26010
5. R. Henstock, The efficiency of convergence factors for functions of a continuous real variable,
J. London Math. Soc. 30 (1955) 273–286. MR0072968 (17,359f)
6. R. Henstock, A Riemann-type integral of Lebesgue power, Canad. J. Math. 20 (1968) 79–87.
MR0219675 (36 #2754)
7. J. Kurzweil, Generalized ordinary differential equations and continuous dependence on a pa-
rameter, Czechoslovak Math. J. 7 (1957) 418–449. MR0111875 (22 #2735)
8. S. Leader, What is a differential? A new answer from the generalized Riemann integral, this
Monthly 93 (1986) 348–356. MR0841112 (87e:26002)
9. S. Leader, The Kurzweil-Henstock Integral and Its Differentials. A Unified Theory of Integration
on R and Rn , Marcel Dekker, New York, 2001. MR1837270 (2002i:26005)
10. H. Lebesgue, Lecons sur L’Int´ gration, Chelsea, New York, 1973; reprint of the 1928 Paris
¸ e
2nd ed.
11. ´
J. Mawhin, Introduction a l’analyse, 2nd. Cabay Libraire-Editeur S.A., Louvain-la-Neuve,
´
France, 1981. MR0631523 (83h:26003)
12. E. J. McShane, A unified theory of integration, this Monthly 80 (1973) 349–359. MR0318434
(47 #6981)
13. E. J. McShane, Unified Integration, Academic, New York, 1983. MR0740710 (86c:28002)
14. A. Smithee, The Integral Calculus, available at http://www.classicalrealanalysis. com.
15. B. S. Thomson, On full covering properties, Real Anal. Exchange 6 (1980/81) 77–93.
MR0606543 (82c:26008)
16. E. Zakon, Mathematical Analysis, available at http://www.trillia.com.
Note: This list reflects references listed in the original paper as accurately as possible with no
attempt to correct errors.
c Copyright American Mathematical Society 2008, 2009
Citations
From References: 1
Article From Reviews: 1
4. MR2202919 (2006i:26010) 26A42 (26A24 26A39)
Hagood, John W. (1-NAZ-MS); Thomson, Brian S. (3-SFR)
Recovering a function from a Dini derivative.
Amer. Math. Monthly 113 (2006), no. 1, 34–46.
The inversion formula
b
F (b) − F (a) = D+ F (x) dx
a
for a function F having finite upper right-hand Dini derivative D+ F (x) at each x ∈ R is discussed.
The authors seek a suitable Riemann-type definition of the integral to obtain this formula without
an integrability assumption for D+ F . To this purpose, the notion of so-called right full cover (a
special case of covering relation due to the second author [B. S. Thomson, Mem. Amer. Math. Soc.
93 (1991), no. 452, vi+96 pp.; MR1078198 (92d:26002)]) is introduced. The inversion formula
is established for any continuous F , with the integral being understood as the lower (Henstock-
Kurzweil-type) integral defined with respect to right full covers. Clearly, an analogous result holds
for any of the remaining three Dini derivatives D+ F , D− F , D− F .
Reviewed by Piotr Sworowski
References
1. R. G. Bartle, A Modern Theory of Integration, American Methematical Society, Providence,
2001. MR1817647 (2002d:26001)
2. J. Hagood, The Lebesgue differentiation theorem via nonoverlapping interval covers, Real
Anal. Exch. 29 (2003–04) 953–956. MR2083830 (2005d:26007)
3. R. Henstock, A Riemann-type integral of Lebesgue power, Canad. J. Math. 20 (1968) 79–87.
MR0219675 (36 #2754)
4. R. Henstock, Linear Analysis, Butterworth, London, 1967. MR0419707 (54 #7725)
5. S. Leader, What is a differential? A new answer from the generalized Riemann integral, this
Monthly 93 (1986) 348–356. MR0841112 (87e:26002)
6. H. Lebesgue, Lecons sur l’Int´ gration, 3rd ed., Chelsea, New York, 1973; reprint of the 2nd
¸ e
ed., Gauthier-Villars, Paris, 1928.
7. P. Y. Lee and D. S. Zhao, Upper and lower Henstock integrals, Real Anal. Exchange 22 (1996–
97) 734–739. MR1460984 (98h:26010)
8. S. Saks, Theory of the Integral, Dover, New York, 1964; reprint of the 2nd revised ed., G.E.
Stechert, Warsaw, 1937. MR0167578 (29 #4850)
9. B. S. Thomson, On full covering properties. Real Anal. Exchange 6 (1980–81) 77–93.
MR0606543 (82c:26008)
Note: This list reflects references listed in the original paper as accurately as possible with no
attempt to correct errors.
c Copyright American Mathematical Society 2006, 2009
5. Citations
From References: 0
Article From Reviews: 0
MR2083831 (2005g:26014) 26A45
Thomson, Brian S. (3-SFR)
Vitali coverings and Lebesgue’s differentiation theorem. (English summary)
Real Anal. Exchange 29 (2003/04), no. 2, 957–972.
The author gives a new proof of the well-known Lebesgue differentiation theorem, by considering
arbitrary functions which possess the Vitaly property instead of considering monotonic functions.
He also proves that every continuous monotonic function has the Vitaly property on every Borel
set. Some characterizations and criteria of the Vitaly property are also given.
ˇ
Reviewed by Zivorad Tomovski
c Copyright American Mathematical Society 2005, 2009
Citations
From References: 0
Article From Reviews: 1
MR1954615 (2004b:28008) 28A15 (26A24)
Thomson, Brian S. (3-SFR)
Differentiation.
Handbook of measure theory, Vol. I, II, 179–247, North-Holland, Amsterdam, 2002.
Differentiation is a vast subject and it’s no wonder that Brian Thomson’s survey paper is the
longest (68 pages) among the articles of the Handbook of measure theory. The central theme of
the paper around which the material is arranged is that of derivation bases. Abstract differentiation
theory is discussed by several monographs. Unfortunately, they “require a serious devotion to a
viewpoint and an elaborate language in order to enter their universe” as Thomson puts it. In other
words, they offer abstract schemes that are difficult to follow and do not seem to be rewarding
enough.
In the first half of the paper Thomson offers a fairly simple and rather general theory of abstract
differentiation. Its basic notion is the covering relation which is simply a set of pairs (I, x), where
I is a subset and x is an element of a given set X. (In the simplest special case we put X = R
and take those pairs (I, x) where I is an interval and x ∈ I.) By a derivation basis we mean a
collection B of covering relations satisfying certain axioms. These axioms express the condition
that the basis is a filter, has a local structure, and is compatible with the topology on X if there
is given any. (In the simplest special case of the so-called interval basis we take the collection of
covering relations {(I, x): |I| < δ, x ∈ I} for every δ > 0.)
If a function h is defined on the set of pairs that occur in the covering relations of the basis then
6. its B lim sup at a point x is defined as inf β sup(I,x)∈β h(I, x), where β runs through all covering
relations of the basis. (If h is an interval function then, in the case of the interval basis we obtain
the upper derivative of h.) The B lim inf of h is defined analogously.
A basic ingredient of the theory is the dual basis B∗ defined in a natural way. (In the case of
the interval basis the dual basis consists of those covering relations that correspond to all Vitali
coverings of R.) Other notions to be introduced are the variation of h with respect to the basis and
the outer measure induced by the variation.
Now let X be a metric space, let µ be a locally finite Borel measure on X, and suppose that for
every pair (I, x) of the covering relations of a given basis the set I is a bounded Borel set with 0 <
1
µ(I) < ∞. Let f be integrable with respect to µ, and define h(I, x) = µ(I) I |f (t) − f (x)| dµ(t).
The main result (Theorem 41) of the theory offered by Thomson states that B lim h = 0 holds µ∗ -
almost everywhere, where µ∗ is the outer measure induced by the variation of µ with respect to
the dual basis B∗ .
This remarkable theorem gives the strongest possible result using the weakest possible con-
ditions. We have to bear in mind, however, that under these very general conditions nothing
guarantees that µ∗ = µ or µ∗ = 0. If, for example, X = R2 and B is the set of covering relations
βδ where (I, x) ∈ βδ if I is a rectangle of diameter < δ and x ∈ I, then λ∗ ≡ 0, since, by a clas-
sical example due to H. Bohr, the B-derivative of the integral of an integrable function does not
exist in general.
It is the question whether or not µ∗ = µ holds, where the geometry of the basis B enters into the
discussion. Thomson gives a review of those conditions that imply this equality and, consequently,
the differentiation of integrals. In this part of the paper he gives a survey of the literature of the
density property, Vitali type covering theorems, net bases, halo properties, the (Q)-property and
the Besicovitch-Morse property.
Other topics closely related to differentiation are also discussed. These include the integration
of derivatives (Henstock-Kurzweil integral and its variants), the symmetric derivative, unusual
density bases on R, the approximate derivative, the theorem of de la Vall´ e Poussin and the
e
Radon-Nikod´ m theorem. The list of references of this highly readable and fascinating article
y
contains 91 items.
{For the entire collection see MR1953489 (2003h:28001)}
Reviewed by M. Laczkovich
c Copyright American Mathematical Society 2004, 2009
Citations
From References: 0
Article From Reviews: 0
7. MR1876254 (2003e:01030) 01A70 (01A60)
Bruckner, Andrew M. (1-UCSB); Thomson, Brian S. (3-SFR)
Real variable contributions of G. C. Young and W. H. Young.
Expo. Math. 19 (2001), no. 4, 337–358.
The authors discuss some of the contributions of W. H. and G. C. Young to real variable theory.
They point out that most of the papers attributed to W. H. Young alone were in fact joint work with
Grace.
Among the topics discussed are: inner limiting sets, now known as Gδ sets, and the classification
of sets arising in analogous ways; questions about the derivates of functions in a given Baire
class; the unsolved problems of the characterisation of derivatives and whether the product of
two derivatives is a derivative; and the Denjoy-Young-Saks theorem. The authors also describe
later work by other authors. The Youngs’ work on differentials and semicontinuous functions is
mentioned.
The authors seem to have concentrated on the point-set aspects of real-variable theory; some
other work in the field is omitted; for instance, the work on integration theory does not appear, nor
does their joint expository paper of 1912 on variants of the Riesz-Fischer theorem.
Reviewed by F. Smithies
References
1. G. C. Young and W. H. Young. Selected papers. Edited by S. D. Chatterji and H. Wefelscheid.
Presses Polytechniques et Universitaires Romandes, Lausanne, 2000. ISBN: 2–88074-445–8
MR1781670 (2001j:01062)
2. S. Agronsky. A generalization of a theorem of Maximoff and applications. Trans. American
Math. Soc., 273:767–779, 1982. MR0667173 (83k:26003)
3. S. Agronsky, R. Biskner, A. M. Bruckner, and J. Maˇ´k. Representations of functions by
rı
derivatives. Trans. American Math. Soc., 263:493–500, 1981. MR0594421 (82e:26006)
4. A. Alikhani-Koopaei. Borel measurability of extreme path derivatives. Real Analysis Exchange,
12:216–246, 1986/87. MR0873894 (88e:26004)
5. A. Alikhani-Koopaei. Extreme path derivatives of a function with respect to a nonporous system
of paths. Real Analysis Exchange, 14:77–98, 1988/89. MR0988357 (90c:26016)
6. S. Banach. Sur les fonctions d´ riv´ es des fonctions mesurables. Fund. Math., 3:128–132, 1922.
e e
7. C. L. Belna. Cluster sets of arbitrary real functions: a partial survey. Real Analysis Exchange,
1:7–20, 1976. MR0460563 (57 #556)
8. L. Belowska. R´ solution d’un probl` me de M. Z. Zahorski sur les limites approximatives.
e e
Fund. Math., 48:277–286, 1960. MR0121445 (22 #12183)
9. A. Besicovitch. Diskussion der stetigen Funktionen im Zusammenhang mit der Frage uber ihre
Differentierbarkeit. Bull. Acad. Sci. de Russie, 19:527–540, 1925.
10. A. M. Bruckner. Differentiation of Real Functions. Lecture Notes in Mathematics 659.
Springer-Verlag, Berlin, 1978. MR0507448 (80h:26002)
11. A. M. Bruckner. The problem of characterizing derivatives, revisited. Real Analysis Exchange,
21 No. 1 (1995–96) 112–133. MR1377522 (97g:26004)
8. 12. A. M. Bruckner and C. Goffman. The boundary behaviour of real functions in the upper half
plane. Rev. Roum. Math. Pures et Appl., 11:507–518, 1966. MR0206173 (34 #5995)
13. A. M. Bruckner, J. Maˇ´k, and C. E. Weil. Baire 1 null functions. Contemp. Math., 42:29–41,
rı
1985. MR0807974 (87c:26004)
14. A. M. Bruckner, J. Maˇ´k, and C. E. Weil. Some aspects of products of derivatives. Amer. Math.
rı
Monthly, 99 no. 2:134–145, 1992. MR1144354 (93c:26006)
15. A. M. Bruckner, R. J. O’Malley, and B. S. Thomson. Path derivaties: a unified view of cer-
tain generalized derivatives. Trans. American Math. Soc., 283:97–125, 1984. MR0735410
(86d:26007)
16. J. C. Burkill and U. S. Haslam-Jones. On derivates and approximate derivates of measurable
functions. Proc. London Math. Soc., 32:346–355, 1931.
17. M. L. Cartwright. Grace Chisholm Young. J. London Math. Soc., 19:185–191, 1944.
MR0013107 (7,106s)
ee `
18. G. Choquet. Application des propri´ t´ s descriptives de la fonction contingent a la th´ orie e
e `
des fonctions de variable re´ lle et a la g´ ometrie diff´ rentieille. J. Math. Pures et Appl., (9)
e e
26:115–226, 1947. MR0023897 (9,419c)
19. M. R. Chowdhury. The Schoenflies-Young controversy. Jahangirnagar Rev. Part A: Sci. 5
(1981), 13–21 (1983). MR0747907 (86f:01026)
20. E. F. Collingwood. Cluster sets of arbitrary functions. Proc. Nat. Acad. Science U.S.A.,
46:1236–1242, 1960. MR0117338 (22 #8119)
21. E. F. Collingwood and A. J. Lohwater. The Theory of Cluster Sets. Cambridge University Press,
London, 1966. MR0231999 (38 #325)
22. A. Cs´ sz´ r. Sur une g´ n´ ralisation de la notion de d´ riv´ e. Acta Sci. Math. (Szeged), 16:137–
a a e e e e
159, 1955. MR0075268 (17,718g)
23. A. Denjoy. M´ moire sur les nombres d´ riv´ es des fonctions continue. J. Math. Pures et Appl.,
e e e
(7) 1:105–240, 1915.
24. M. J. Evans and P. D. Humke. On equality of unilateral derivates. Proc. American Math. Soc.,
79:609–613, 1980. MR0572313 (81h:26002)
25. M. J. Evans and L. Larson. Qualitative differentiation. Trans. American Math. Soc., 280:303–
320, 1983. MR0712262 (85g:26004)
26. H. Fejziˇ . Decomposition of Peano derivatives. Proc. Amer. Math. Soc. 119 (1993), no. 2,
c
599–609. MR1155596 (93k:26003)
27. R. J. Fleissner. Multiplication and the fundamental theorem of the calculus. Real Analysis
Exchange, 2:7–34, 1976. MR0507383 (58 #22430)
28. R. J. Fleissner. Distant bounded variation and products of derivatives. Fund. Math., 94:1–11,
1977. MR0425041 (54 #12999)
29. J. Foran. On the product of derivatives. Fund. Math., 80:293–294, 1973. MR0325872 (48
#4218)
30. C. Freiling and D. Rinne. Symmetric derivatives of non-measurable functions. Real Analysis
Exchange, 14:517–522, 1988–89. MR0995996 (90d:26011)
31. K. Garg. An analogue of Denjoy’s theorem. Ganita, 12:9–14, 1961. MR0145019 (26 #2556)
32. K. Garg. Applications of Denjoy’s analogue II. Acta. Math. Acad. Sci. Hungar., 14:183–186,
9. 1963. MR0152613 (27 #2589)
33. K. Garg. Applications of Denjoy’s analogue III. Acta. Math. Acad. Sci. Hungar., 14:187–195,
1963. MR0152614 (27 #2590)
34. K. Garg. On nowhere monotone functions. Rev. Roum. Math. Pures et Appl., 8:83–90, 1963.
MR0151560 (27 #1545)
35. K. Garg. Applications of Denjoy’s analogue I. Ann. Polon. Math., 15:159–165, 1964.
MR0165051 (29 #2342)
36. C. Goffman. On the approximate limits of real functions. Acta Sci. Math., 23:76–78, 1962.
MR0140623 (25 #4040)
37. C. Goffman and W. T. Sledd. Essential cluster sets. J. London Math. Soc., (2) 1:295–302, 1969.
MR0268384 (42 #3282)
38. O. H´ jek. Note sur la mesurabilit´ B de la d´ riv´ e sup´ rieure. Fund. Math., 44:238–240, 1957.
a e e e e
MR0095228 (20 #1734)
39. E. H. Hanson. A theorem of Denjoy, Young and Saks. Bull. American Math. Soc., 40:691–694,
1934. MR1562954
40. G. H. Hardy. William Henry Young. J. London Math. Soc., 17:218–237, 1942. MR0008804
(5,58o)
41. F. Hausdorff. Set Theory. Chelsea, New York, 1957. MR0086020 (19,111a)
42. E. W. Hobson. On inner limiting sets of points in a linear interval. Proc. London Math. Soc.,
2:316–326, 1904.
43. E. W. Hobson. The theory of functions of a real variable, (2nd ed.) I,II. Cambridge, 1926.
44. S. Kempsity. Sur les fonctions approximativement discontinues. Fund. Math., 6:6–8, 1924.
45. M. Kulbacka. Sur l’ensemble des points de l’asym´ trie approximative. Acta Sci. Math. Szeged,
e
21:90–95, 1960. MR0117307 (22 #8088)
46. K. Kuratowski. Topology. Academic Press, London, 1966. MR0217751 (36 #840)
47. M. Laczkovich. A Baire two function with non-Borel upper symmetric derivative. Real Analysis
Exchange, 13:258–264, 1987/88. MR0923730 (89a:26005)
48. H. Lebesgue. Sur les fonctions repr´ sentable analytiquement. Journ. de Math., (6) 1:139–216,
e
1904.
49. M. Matejdes. The semi-Borel classification of the exreme path derivatives. Real Analysis
Exchange, 15:216–238, 1989/90. MR1042538 (91a:26007)
50. J. Maˇ´k. Multipliers of summable derivatives. Real Analysis Exchange, 8:486–493, 1982/83.
rı
MR0700199 (84f:26006)
51. J. Maˇ´k. Multipliers of non-negative derivatives. Real Analysis Exchange, 9:258–272, 1983/84.
rı
MR0742789 (85h:26006)
52. J. Maˇ´k. Transformations and multipliers of derivatives. Contemp. Math., 42:119–134, 1985.
rı
MR0807985 (87d:26006)
53. J. Maˇ´k. Characteristic functions that are products of derivatives. Real Analysis Exchange,
rı
12:67–68, 1986/87. MR1087488 (91k:26004)
54. J. Maˇ´k and C. E. Weil. Products of powers of nonnegative derivatives. Trans. American Math.
rı
Soc., 276:361–373, 1983. MR0684515 (84m:26008)
55. I. Maximoff. On approximately continuous functions. Bull. American Math. Soc., 264–268,
10. 1939. MR1563963
56. L. Miˇ´k. Halbborelsche Funktionen und extreme Ableitungen. Math. Slovaca, 27:409–421,
sı
1977. MR0536842 (80f:26004)
57. M. Neubauer. Ueber die partiiellen Derivierten unstiger Funktionen. Monatshefte Mayth. Phys.,
38:139–146, 1931. MR1549907
58. C. Neugebauer. Darboux functions of Baire class 1 and derivatives. Proc. American Math. Soc.,
13:838–843, 1962. MR0143850 (26 #1400)
59. R. J. O’Malley. Strong essential cluster sets. Fund. Math., 78:38–42, 1973. MR0507891 (58
#22566)
60. R. J. O’Malley. The set where an approximate derivative is a derivative. Proc. American Math.
Soc., 54:122–124, 1976. MR0390143 (52 #10969)
61. R. J. O’Malley and C. E. Weil. The oscillatory behaviour of certain derivatives. Trans. American
Math. Soc., 234:467–481, 1977. MR0453940 (56 #12193)
62. J. Oxtoby. Measure and Category. Springer-Verlag, Berlin, 1971. MR0584443 (81j:28003)
63. D. Preiss. Level sets of derivatives. Trans. American Math. Soc., 272:161–184, 1982.
MR0656484 (83h:26009)
64. D. Preiss. Algebra generated by derivatives. Real Analysis Exchange, 8:208–215, 1982/83.
MR0694508 (84g:26004)
65. H. Rademacher. Ueber partiielle und totalle Differenzierbarkeit I. Math. Ann., 79:340–359,
1919. MR1511935
66. F. Riesz and B. Sz.-Nagy. Functional Analysis. Ungar, New York, 1955. MR0071727 (17,175i)
67. S. Saks. Sur les nombres d´ riv´ s des fonctions. Fund. Math., 5:98–104, 1924.
e e
68. S. Saks. Theory of the Integral. Monografie Matematyczne 7, Warsaw, 1937.
69. W. Sierpi´ ski. Sur les fonctions d´ iv´ e des fonctions discontinues. Fund. Math., 3:123–127,
n e e
1921.
70. G. Sindalovski. The derived numbers of continuous functions. Izv. Akad. Nauk SSSR, 2:943–
978, 1968. MR0239016 (39 #375)
71. K. B. Taylor. Darboux-like properties and monotonicity for generalized derivatives. Doctoral
Dissertation, UC Santa Barabara, June, 1985.
72. B. S. Thomson. Real Functions. Lecture Notes in Mathematics 1170. Springer-Verlag, Berlin,
1985. MR0818744 (87f:26001)
73. G. Tolstoff. Sur la d´ riv´ e approximative exacte. Rec. Math. (Mat. Sbornik) N. S., 499–504,
e e
1938. MR0004284 (2,352d)
74. A. J. Ward. On the differential structure of real functions. Proc. London Math. Soc., 39:339–
362, 1935.
75. C. E. Weil. On approximate and Peano derivatives. Proc. Amer. Math. Soc., 20:487–490, 1969.
MR0233944 (38 #2265)
76. L. C. Young. Mathematicians and their times. North-Holland, New York, 1981. MR0629980
(83h:01006)
77. W. H. Young and G. C. Young. The Theory of Sets of Points (2nd Edition). Chelsea, New York,
1972.
78. Z. Zahorski. Sur la premi` re deriv´ e. Trans. American Math. Soc., 69:1–54, 1950. MR0037338
e e
11. (12,247c)
ıˇ
79. L. Zaj´cek. On the intersection of the sets of the right and the left internal approximate deriva-
tives. Czech. Math. J., (23) 98:521–526, 1973. MR0318412 (47 #6959)
80. A. Zygmund. Smooth functions. Duke Math. J., 12:47–76, 1945. MR0012691 (7,60b)
Note: This list reflects references listed in the original paper as accurately as possible with no
attempt to correct errors.
c Copyright American Mathematical Society 2003, 2009
Citations
From References: 1
Article From Reviews: 0
MR1778525 (2001h:26014) 26A39 (26A45)
Thomson, Brian S. (3-SFR)
The space of Denjoy-Perron integrable functions. (English summary)
Real Anal. Exchange 25 (1999/00), no. 2, 711–726.
Let {En } be an increasing sequence of closed sets covering a fixed interval [a, b] of the real
line. DP [a, b] denotes the space of all Henstock-Kurzweil integrable functions f : [a, b] → R, and
DP ({En }) the space of all functions f ∈ DP [a, b] such that the primitive F of f is BV∗ (in the
Saks sense) on each set En .
In this paper it is proved that: (1) the sequence of seminorms pn (f ) = Var(F, En ) defines
on DP ({En }) a metrizable, complete, locally convex topology T({En }); (2) L∞ is the dual of
DP ({En }) endowed with the topology T({En }); (3) the Alexiewicz norm topology on DP [a, b]
is the finest convex topology such that each of the canonical injections from the spaces DP ({En })
into DP [a, b] is continuous.
Reviewed by B. Bongiorno
c Copyright American Mathematical Society 2001, 2009
Citations
From References: 5
Article From Reviews: 0
12. MR1704758 (2000g:26006) 26A45 (28A12)
Thomson, Brian S. (3-SFR)
Some properties of variational measures. (English summary)
Real Anal. Exchange 24 (1998/99), no. 2, 845–853.
Let F be a nonnegative interval function and let E ⊂ [a, b]. The gauge variation of F on E is
the infimum over gauge δ of sup { τ (ai , bi )} , where the supremum is taken over all disjoint
collections {(ai , bi )} of open subintervals of (a, b) for which there is a point ξi ∈ E ∩ (ai , bi )
satisfying the condition bi − ai < δ(ξi ).
In this paper it is proved that if the gauge variation of F is σ-finite on all closed subsets of E that
have zero Lebesgue measure, then it is σ-finite on E.
Reviewed by B. Bongiorno
c Copyright American Mathematical Society 2000, 2009
Citations
From References: 5
Article From Reviews: 0
MR1691755 (2000g:28029) 28C10 (26A30)
Shi, Hongjian (3-SFR); Thomson, Brian S. (3-SFR)
Haar null sets in the space of automorphisms on [0, 1]. (English summary)
Real Anal. Exchange 24 (1998/99), no. 1, 337–350.
Let G be an arbitrary Polish group. A Borel probability measure µ on G is called left [resp.,
right] transverse to a universally measurable subset X of G provided µ(gX) = 0 [resp., µ(Xg) =
0] for all g in G. The authors give examples to show that these two notions are independent in
the group H[0, 1] of all homeomorphisms h of [0, 1] with h(0) = 0 and h(1) = 1, where the
group operation is the composition of functions and the topology is that of uniform convergence.
Moreover, answering a question of Jan Mycielski (1992), they define a Borel subset X of H[0, 1]
such that there is a Borel probability measure µ on H[0, 1] which is both left and right transverse
to X, but there is no Borel probability measure ν on H[0, 1] with ν(gXh) = 0 for all g, h in G.
The latter means that X is not Haar null in the sense of J. P. R. Christensen (1974).
An announcement of the results in this version of the paper appears in the same volume of the
journal in a report of a conference [Real Anal. Exchange 24 (1998/99), no. 1, 113–116].
{Reviewer’s remarks: (1) In the definition of g on p. 343, “I” should be replaced by another
subinterval of [0, 1]. The definition of g on p. 344 requires a similar modification. (2) The rep-
resentation of S on p. 345 seems wrong. One should use there the sets (0, 2−n ] ∩ Q, rather than
{2−n : n = m, m + 1, · · ·}.}
Reviewed by Z. Lipecki
c Copyright American Mathematical Society 2000, 2009
13. Citations
From References: 1
Article From Reviews: 0
MR1609830 (99f:28005) 28A12 (26A46)
Thomson, Brian S. (3-SFR)
σ-finite Borel measures on the real line. (English summary)
Real Anal. Exchange 23 (1997/98), no. 1, 185–192.
Let f be an ACG∗ function on [a, b] in the sense of S. Saks [Theory of the integral, Second revised
edition. English translation by L. C. Young. With two additional notes by Stefan Banach, Dover,
New York, 1964; MR0167578 (29 #4850)(§8, Chapter VII)]. Given ∅ = E ⊂ [a, b] denote by
G(E) the class of all strictly positive, finite functions on E and, for δ ∈ G(E), put
V (f, E, δ) = sup |f (bi ) − f (ai )|,
where the sup is taken over all collections of nonoverlapping intervals [ai , bi ] ⊂ [a, b] such
that there is an xi ∈ E ∩ [ai , bi ] with 0 < bi − ai < δ(xi ). Defining µ∗ (∅) = 0 and µ∗ (E) =
f f
inf{V (f, E, δ); δ ∈ G(E)} for ∅ = E ⊂ [a, b], one arrives at a metric outer measure µ∗ whose re-
f
striction to the σ-algebra of Borel subsets of [a, b] is a Borel measure µ on [a, b] which is shown to
enjoy the following properties: (1) There is a sequence of closed sets Fn ⊂ [a, b] such that µ(Fn ) <
∞ for each n and Fn = [a, b]; (2) µ is absolutely continuous with respect to Lebesgue measure;
(3) µ(B) = µ∗ (B) = B |f (x)|dx for every Borel set B ⊂ [a, b]. Conversely, if a Borel measure
f
µ on [a, b] satisfies (1),(2), then there is an ACG∗ function f on [a, b] such that (3) is valid, too.
Reviewed by J. Kr´ la
c Copyright American Mathematical Society 1999, 2009
Citations
From References: 0
Article From Reviews: 1
MR1610467 (99c:26004) 26A24 (26A42)
Freiling, C. (1-CASSB); Rinne, D. (1-CASSB); Thomson, B. S. (3-SFR)
A Riemann-type integral based on the second symmetric derivative. (English summary)
J. London Math. Soc. (2) 56 (1997), no. 3, 539–556.
If F is continuous and at each point x in an interval f (x) = SD2 F (x) = limh→0 (F (x + h) +
F (x − h) − 2F (x))/h2 exists, the problem motivating this article is the following: How can
one recover F (x) using a Riemann-style integral? Alternatively, if K = [a, b] and for 0 < p ≤
(a + b)/2, how can one recover ∆Kp F = F (a) + F (b) − F (a + p) − F (b − p) using an integral
involving partition sums? The solution is a second-order integral defined on “2-intervals” Kp =
([a, b], [a + p, b − p]) involving a gauge, an exceptional set E and a second gauge on E × N, so that
14. for partitions using “regular” 2-intervals one obtains the integral I(f, Kp ) as a limit of partition
sums. Several elaborate, but straightforward, partitioning arguments for rectangles in the plane are
needed and occur at the beginning of the paper along with a covering theorem guaranteeing the
existence of the required partitions. These are in turn needed to guarantee the uniqueness of the
b
integral (and its properties). A first-order integral a f is given by limp→0+ I(f, ([a, b], [a + p, b −
p]))/p providing the limit exists. This integral is more general than the Riemann-complete integral
and exists and can be used to determine the Fourier coefficients of an everywhere convergent
trigonometric series when given the limit function f (x). This, as is asserted at the beginning of
the paper, is the problem which kept SD2 F “as an object of study for nearly a century and a half”.
Reviewed by James Foran
References
1. J. M. ASH,C. FREILING and D. RINNE, ‘Uniqueness of rectangularly convergent trigono-
metric series’, Ann. of Math. 137 (1993) 145–166. MR1200079 (93m:42002)
2. A. M. BRUCKNER, Differentiation of real functions, Lecture Notes in Mathematics 659
(Springer, Berlin, 1978). MR0507448 (80h:26002)
3. J. C. BURKILL, Integrals and trigonometric series’, Proc. London Math. Soc. 1 (1951) 46–57.
MR0042533 (13,126e)
4. A. DENJOY, Lecons sur le calcul des coefficients d’une seTrie trigonomeTtrique (Hermann,
¸
Paris, 1941–49).
5. C. FREILING, ‘Symmetric derivates, scattered and semi-scattered sets’, Trans. American Math.
Soc. 318 (1990) 705–720. MR0989574 (90g:26003)
6. C. FREILING and D. RINNE, ‘A symmetric density property, monotonicity and the approx-
imate symmetric derivative’, Proc. Amer. Math. Soc. 104 (1988) 1098–1102. MR0936773
(89g:26009)
7. C. FREILING and B. S. THOMSON, ‘Scattered sets, chains and the Baire category theorem’,
Real Anal. Exchange 21 (1995–96) 440–458. MR1407261 (97i:26005)
8. R. HENSTOCK, The general theory of integration (Oxford University Press, 1991).
MR1134656 (92k:26011)
9. R. D. JAMES, ‘A generalised integral (II)’, Canad. J. Math. 2 (1950) 297–306. MR0036344
(12,94e)
10. J. MARCINKIEWICZ and A. ZYGMUND, ‘On the differentiability of functions and the
summability of trigonometrical series’, Fund. Math. 26 (1936) 1–43.
11. D. PREISS and B. S. THOMSON, ‘The approximate symmetric integral’, Canad. J. Math. 41
(1989) 508–555. MR1013466 (90m:26018)
12. A. ZYGMUND, Trigonometric series (Cambridge University Press, 1968). MR0236587 (38
#4882)
Note: This list, extracted from the PDF form of the original paper, may contain data conversion
errors, almost all limited to the mathematical expressions.
c Copyright American Mathematical Society 1999, 2009
15. Citations
From References: 5
Article From Reviews: 0
MR1426684 (97j:26008) 26A39
Bongiorno, B. (3-SFR); Pfeffer, W. F. (3-SFR); Thomson, B. S. (3-SFR)
A full descriptive definition of the gage integral. (English summary)
Canad. Math. Bull. 39 (1996), no. 4, 390–401.
A Kurzweil-Henstock-type sum integrability of a function over a compact nondegenerate interval
(called a cell) in Rn is defined.
Necessary and sufficient conditions are given for a continuous F defined on the family of all
subcells of a cell A ⊂ Rn to be derivable to F almost everywhere in A and such that F is the
indefinite integral of F . These conditions are given in terms of the critical or essential critical
variation of F and the fact that F belongs to AC∗ . In this way a generalization of the descriptive
definition of the Denjoy-Perron integral to n-dimensional cells is presented.
ˇ
Reviewed by S. Schwabik
c Copyright American Mathematical Society 1997, 2009
Citations
From References: 0
Article From Reviews: 1
MR1407282 (97i:26004) 26A21 (26A24)
Freiling, C. (1-CASSB); Thomson, B. S. (3-SFR)
Scattered sets and gauges. (English summary)
Real Anal. Exchange 21 (1995/96), no. 2, 701–707.
As the abstract to this note promises: “An elementary and natural method for demonstrating that
certain exceptional sets are scattered is presented.” Recall that a set of real numbers is scattered
if every nonempty subset has an isolated point. Likewise, a set is called right [left] scattered if
every nonempty subset has a point isolated on the right [left]; any such set is called semi-scattered.
Finally, a set is splattered if every nonempty subset has a point isolated on at least one side. Under
various names (e.g., separierte Mengen, clairsem´ , and zertreute Mengen) and sometimes with no
e
name, scattered sets have found their way into the literature of real analysis for over a century,
occurring as countable exceptional sets to some behavior. Here the authors provide the following
tool: If δ is a gauge function (i.e., a function into R+ ) defined on all of R except possibly for some
countable set, then, except for a right [left] scattered set, every point is the limit from the right
[left] of some sequence {xi }, for which δ(xi ) is bounded above zero. They then illustrate how this
tool may be used to provide quite nice proofs of several known results involving exceptional sets
which are scattered, semi-scattered, or splattered. These include results of T. Viola [Ann. Ecole ´
16. Norm. (3) 50 (1933), 71–125; Zbl 007.05901], Z. Charzy´ ski [Fund. Math. 21 (1931), 214–225;
n
Zbl 008.34401], M. J. Evans and L. M. Larson [Acta Math. Hungar. 43 (1984), no. 3-4, 251–257;
MR0733857 (85h:26005)], and Freiling [Trans. Amer. Math. Soc. 318 (1990), no. 2, 705–720;
MR0989574 (90g:26003)].
{See also the following review [ MR1407261 (97i:26005)].}
Reviewed by Michael Evans
c Copyright American Mathematical Society 1997, 2009
Citations
From References: 1
Article From Reviews: 1
MR1407265 (97g:26009) 26A39
Skvortsov, V. A. (RS-MOSC); Thomson, B. S. (3-SFR)
Symmetric integrals do not have the Marcinkiewicz property. (English summary)
Real Anal. Exchange 21 (1995/96), no. 2, 510–520.
One of the more surprising results in the Perron integral theory is the Marcinkiewicz theorem:
a function is Perron integrable iff it has one pair of continuous major and minor functions. This
result, which is in the classic book of Saks, has been extended to the CP-integral and to the AP-
integral. However, in his unpublished thesis, Sklyarenko showed that the result is false for the
SCP-integral; and later the first author showed that this is also the case for the dyadic Perron
integral. The present interesting paper shows that the Marcinkiewicz theorem fails for all known
Perron integrals defined using symmetric derivatives; that is, in each case there is a non-integrable
function with a pair of continuous major and minor functions in the sense of the integral. The
authors point out that in all cases where the theorem fails the associated derivative at a point does
not use the function value at that point. The methods of proof use the idea of symmetric variation,
details of which can be found in the book by the second author [Symmetric properties of real
functions, Dekker, New York, 1994; MR1289417 (95m:26002)].
Reviewed by P. S. Bullen
c Copyright American Mathematical Society 1997, 2009
Citations
From References: 1
Article From Reviews: 1
17. MR1407261 (97i:26005) 26A21 (54H05)
Freiling, C. (1-CASSB); Thomson, B. S. (3-SFR)
Scattered sets, chains and the Baire category theorem. (English summary)
Real Anal. Exchange 21 (1995/96), no. 2, 440–458.
Whereas the article by the same authors reviewed immediately above [Real Anal. Exchange 21
(1995/96), no. 2, 701–707; MR1407282 (97i:26004)] provides a convenient tool for showing
that an exceptional set in real analysis is scattered, semi-scattered, or splattered, this interesting
companion article presents a much more in-depth analysis of the structure of such sets.
Fundamental to this analysis are the notions of a chain of open sets and its associated scattered
set. A chain of open sets is a well-ordered, possibly transfinite, sequence G0 ⊆ G1 ⊆ G2 ⊆ · · · of
open subsets of R. For each ordinal α, Rα [resp. Lα ] denotes the set of finite right [resp. left] hand
endpoints of components of Gα . Then R = α Rα [resp. L = α Lα ] is left [resp. right] scattered.
The set R [resp. L] is called the associated left [resp. right] scattered set of the chain and R ∩ L
[resp. R ∪ L] is called the associated scattered [resp. splattered] set of the chain. The authors show
that every set that is scattered [resp. left scattered, right scattered] is the associated scattered [resp.
left scattered, right scattered] set of some chain. Actually, they establish an even more detailed
analysis of the structure of the set in question and the above is a corollary. Characterizations of
certain splattered sets are also given.
The authors proceed to show that any application of the Baire category theorem on the real line
leads naturally to a chain of open sets and hence to an exceptional scattered set. Some applications
of this “scattered Baire theorem” are provided. One interesting example is the following variation
of the Cantor-Bendixson theorem: Every set can be partitioned into four pieces, the first scattered,
the second left scattered and having no isolated points, the third right scattered and having no
isolated points, and the fourth having only bilateral limit points.
Reviewed by Michael Evans
c Copyright American Mathematical Society 1997, 2009
Citations
From References: 4
Article From Reviews: 3
MR1289417 (95m:26002) 26Axx (42A24)
Thomson, Brian S. (3-SFR)
Symmetric properties of real functions. (English summary)
Monographs and Textbooks in Pure and Applied Mathematics, 183.
Marcel Dekker, Inc., New York, 1994. xvi+447 pp. $150.00. ISBN 0-8247-9230-0
This book is designed to give the reader (who is presumed to know only the basics of Lebesgue
theory) an almost complete picture of the subject: symmetric real analysis of functions. The text
consists of comments, short insightful proofs and constructions; theorems and examples involving
18. long proofs are either broken down into lemmas or are given a reference so the reader can pursue
them in the literature. The author also provides a historical view of the subject matter and includes a
large miscellany of results involving symmetric relations. An appendix with some material needed
for the text, several pages of problems (49) and an extensive bibliography round out the text.
Generalizations of the ordinary first and second derivatives, the first and second symmetric
derivatives, are
SDf (x) = lim(f (x + t) − f (x − t))/2t and
t→0
SD2 f (x) = lim(f (x + t) + f (x − t) − 2f (x))/t2 .
t→0
A function is said to be symmetrically continuous at a point x if the numerator of SDf (x)
approaches 0 as t approaches 0; it is said to be symmetric at x if the numerator of SD2 f (x)
approaches 0 as t approaches 0. A natural question which occurs throughout the book is “To
what extent do symmetric concepts behave like the ordinary ones?” Since the attention given to
symmetric real analysis is largely due to applications to trigonometric series, problems involving
such series are naturally a recurring theme. It is only possible, in a brief summary, to give a few of
the many threads of which this book is woven.
In Chapter 1, two theorems of Riemann involving trigonometric series are given credit for
originating and motivating the study of the second symmetric derivative. These lead naturally
to theorems which give conditions guaranteeing the linearity or convexity of a function. The
approximate symmetric derivative of f , ASDf (x), is introduced (the symmetric derivative at x
with respect to a set of t with density 1 at 0) and the chapter concludes with an important result
of Khinchin: If f is measurable then f is differentiable at almost every point where SDf (x) <
∞ and, in particular, at almost every point where SDf (x) exists. Chapter 2 deals with symmetric
continuity and symmetry and begins with results obtained in the first half of the 20th century. It
is centered on a theorem of Charzy´ ski which asserts that if −∞ < SDf (x) ≤ SDf (x) < ∞
n
at every point of an interval, then the set of points of discontinuity of f is a scattered set; i.e.,
each nonempty subset of the set contains an isolated point (thus, it is also nowhere dense and at
most countable). A variety of related results complete the chapter. Chapter 3 deals with covering
theorems, theorems which assert that a specific type of cover of a set contains a certain type
of subcover. The author studied these properties extensively in two earlier survey articles [Real
Anal. Exchange 8 (1982/83), no. 1, 67–207; MR0694507 (84i:26008a); Real Anal. Exchange
8 (1982/83), no. 2, 278–442; MR0700194 (84i:26008b)]. Recent results of Freiling and Rinne
along with those of the author and Preiss and others are presented. Such theorems are essential to
monotonicity theorems, differentiation and the theory of integration (which is to follow in Chapter
9). Symmetry here means that a point x is contained in an interval of the form [x − h, x + h]
in a cover. Properties involving the numerator of SD2 f are called even properties and these are
the subject of Chapter 4. Monotonicity theorems (theorems which assert sufficient conditions for
a function to be monotone nondecreasing and which are important for integrals) are the subject
of Chapter 5. The central result is the monotonicity theorem for the symmetric approximate
derivative, which was only recently given a correct proof. Properties involving the numerator of
SDf (x) are called odd properties and form the subject of Chapter 6. Since these properties do not
involve the value of the function f at the point x, they tend to be trickier and involve functions
19. which are not measurable. Chapter 7 is a study of the symmetric derivative. While symmetrically
differentiable functions need not be measurable, a surprising result of the author and Preiss is
that the symmetric derivative of a function on an interval is necessarily measurable. Chapter 8
develops the notion of symmetric variation, which is used for the integrals developed in Chapter
9. For example, let Sδ (f, E) = |f (xi + hi ) − f (xi − hi )|, where the sum is over sequences
of nonoverlapping intervals with xi in E; then the symmetric variation of f on E is V Sf (E) =
sup Sδ (f, E). In Chapter 9, this variation and the monotonicity theorem for the approximate
symmetric derivative are used to produce an integral definable as a Riemann type integral. An
integral based on ASD2 , capable of computing the Fourier coefficients of a function which has
an even convergent Fourier series, is presented. Along with these results of the author and Preiss,
Chapter 9 contains information on other integrals more general than that of Lebesgue.
Reviewed by James Foran
c Copyright American Mathematical Society 1995, 2009
Citations
From References: 0
Article From Reviews: 0
MR1228433 (94i:26003) 26A24
Thomson, Brian S. (3-SFR)
The range of a symmetric derivative.
Real Anal. Exchange 18 (1992/93), no. 2, 615–618.
The author gives a simple proof of the result that there is no symmetrically differentiable function
whose symmetric derivative assumes just two finite values, obtained by Z. Buczolich and M.
Laczkovich [Acta Math. Hungar. 57 (1991), no. 3-4, 349–362; MR1139329 (92k:28002)]. He
also proves that, given three real numbers α, β, γ, with α < γ < β, γ = 1 (α + β), there is no
2
symmetrically differentiable function whose symmetric derivative assumes just the three values
α, β and γ.
Reviewed by Tapan Kumar Dutta
c Copyright American Mathematical Society 1994, 2009
Citations
From References: 1
Article From Reviews: 1
20. MR1192420 (94a:28008) 28A12 (26A42)
Pfeffer, Washek F. (1-CAD); Thomson, Brian S. (3-SFR)
Measures defined by gages. (English summary)
Canad. J. Math. 44 (1992), no. 6, 1303–1316.
A finitely additive volume ν(A) ≥ 0 is given for each set A in a family S of subsets of a locally
compact Hausdorff space X, A having closure A− and interior A◦ . We are given that if A, B ∈ S
then A− is compact, A ∩ B ∈ S, there are disjoint sets Cj ∈ S (1 ≤ j ≤ n) with union A − B, and
for each x ∈ X, {A ∈ S: x ∈ A◦ } is a neighbourhood base at x. In the language of the reviewer
[see, e.g., The general theory of integration, Oxford Univ. Press, New York, 1991; MR1134656
(92k:26011)], the authors construct a McShane-type division space and integrals of functions
f (x)ν(I), for x ∈ A− , A ∈ S, I ∈ S, but not necessarily x ∈ I − , using the name “partition”
instead of “division”. The variation ν ∗ (E) of χ(E; x)ν(I), for χ the characteristic function of
E ⊂ X, is shown to be an outer measure of E with various properties. Gage measurability of
certain sets E ⊂ X is defined and proved to be equivalent to the classical definition that, given
ε > 0, there are a closed set F and an open set G with F ⊂ E ⊂ G, ν ∗ (G − F ) < ε. For S ∗ the
family of such E ⊂ X, and M the family of Carath´ odory ν ∗ -measurable sets of X, then S ∗ ⊂
e
M , while if E ∈ M and ν (E) < ∞ then E ∈ S . If the measure from ν ∗ is σ-finite then S ∗ =
∗ ∗
M . If it is not σ-finite and if Σ is the family of all σ-finite sets in X, Σ ⊂ S ∗ if X is metacompact
(each open cover C ∗ of X has an open refinement C with {E ∈ C: x ∈ E} finite for each x ∈ X).
But if X is only meta-Lindel¨ f (i.e., {E ∈ C: x ∈ E} countable) the relation between Σ and S ∗
o
can depend very interestingly on whether the continuum hypothesis is true, or whether it is false,
but with Martin’s axiom true.
Reviewed by Ralph Henstock
c Copyright American Mathematical Society 1994, 2009
Citations
From References: 0
Article From Reviews: 1
MR1171794 (93g:26012) 26A39 (42A16)
Cross, George E. (3-WTRL); Thomson, Brian S. (3-SFR)
Symmetric integrals and trigonometric series.
Dissertationes Math. (Rozprawy Mat.) 319 (1992), 49 pp.
The paper has a good historical introduction, and incorporates part of an unpublished manuscript
of J. Maˇ´k that gives estimates and properties on the real line of
rı
h
F (x + h) − F (x − h) 1
M2 F (x, h) =
s − 2 {F (x + t) − F (x − t)} dt
2h h 0
(h > 0) for integrable functions F . The authors use a second symmetric variation Vs2 of functions
ξ(x, h) of real numbers x and sufficiently small h > 0 to define a variational integral analogous
21. to the one used in Denjoy-Perron-gauge theory. Vs2 is proved to be an outer measure, and many
special cases of variational equivalence are given. For example, if f is Lebesgue or Denjoy-Perron
integrable on [a, b] then f is Vs2 -integrable on [a, b]. The converse holds if f ≥ 0 and is Vs2 -
integrable, and if f and |f | are Vs2 -integrable. If f is Vs2 -integrable on [a, b], there is a set B of
full measure in (a, b) such that f is Vs2 -integrable on [c, d] for all c < d, c, d ∈ B. Sometimes c
cannot be a. The second derivative of x(1 − x2 )1/2 is integrable over [−1, 1] but not over [−1, d]
(−1 < d < 1). Additivity over abutting intervals sometimes fails. Close connections with James’
P 2 -integral and with J. C. Burkill’s SCP-integral are given. Maˇ´k’s integration by parts formula
rı
based on (GF − G F ) = GF − G F is proved, and then Burkill’s integration by parts, the
usual form, is given following Sklyarenko. Finally, the results are applied to trigonometric series
to give theorems of Maˇ´k, Burkill, W. H. Young, and C. de la Vall´ e-Poussin. This paper is full of
rı e
interesting insights into things old and new.
Reviewed by Ralph Henstock
c Copyright American Mathematical Society 1993, 2009