To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We began listing the axioms for the real number system in chapter 7. The axioms given were those of arithmetic and order. A system satisfying these axioms is called an ordered field. Thus the real number system is an ordered field. But this is not a full description of the real numbers. As we saw at the end of the last chapter, the system of rational numbers is another example of an ordered field.
To complete the description of the real number system, another axiom is required. We call this axiom the continuum axiom. Its purpose is to ensure that sufficient real numbers exist to fill up the ‘holes’ in the system of rational numbers (§8.14).
The method of exhaustion
This has nothing to do with getting your way at committee meetings. It is a method invented by Archimedes for finding the areas of regions with curved boundaries. We shall use the method to motivate the continuum axiom.
Briefly, the method involves packing polygons inside the region until its area is exhausted. In principle, one can calculate the area of any union of a finite number of the polygons. The area of the region in question is then identified with the smallest real number which is larger than each such polygonal area.
One of the shapes considered by Archimedes was the region trapped between a parabola and one of its chords. This example will be used to illustrate the idea. It is important to bear in mind that the argument to be used does not have the same status as those which we use when we prove theorems.
A system which satisfies the axioms of arithmetic is called a field. A system which satisfies both the axioms of arithmetic and the axioms of order is called an ordered field. The real number system ℝ is an ordered field which satisfies a further axiom called the continuum axiom. This is discussed in the next chapter. For the moment we only wish to comment on the fact that, while there are many distinct ordered fields, the system ℝ is unique (See §9.21.)
In this chapter our aim is to introduce the ordered field ℚ of all rational numbers (or fractions) and to discuss the reasons why this ordered field is not adequate for the purposes for which we require the real number system ℝ. As a preliminary to this objective, it is necessary to begin by providing a precise, formal definition of the system ℕ of natural numbers (or whole numbers) and to investigate the properties of this system. The main tool in this investigation is the exceedingly important principle of induction.
The sets ℕ and ℚ (and also the set ℤ of integers) will be defined as subsets of ℝ. Note, however, that, since no use at all will be made of the continuum axiom in this chapter, it follows that any ordered field contains subsets with the same structure as ℕ, ℚ and ℤ. In particular, any ordered field contains an ordered subfield with the same structure as ℚ. In some sense therefore, ℚ is the ‘simplest’ possible ordered field.
Let n be some fixed positive integer and let (A, f) be some fixed algebra of type n + 1. (A, f) is called an n-dimensional superassociative system if f(f(x0,…, xn), ȳ) = f(x0, f(x1, ȳ), …, f(xn, ȳ)) for any x0, …, xn ∈ A and for any ȳ ∈ An. The semigroup ({f(., ā) | ā ∈ An},∘) is called the semigroup of inner right translations of (A, f). In the present note a theorem is derived in order to determine all n-dimensional superassociative systems with a given semigroup of inner right translations. As an example, using this method all two-element superassociative systems are determined.
Using asymptotic estimates for the Green's function of irregular multipoint eigenvalue problems, we state sufficient conditions for the uniform convergence of the expansion of functions into a series of eigenfunctions.
This paper is concerned with the study of a mathematical model of the injection of fluid into a finite Hele–Shaw cell. The mathematical problem is one of solving Laplace's equation in an unknown region whose boundary changes with time. By a transformation of the dependent variable, an elliptic variational inequality formulation of the moving boundary problem is obtained. The variational inequality is shown to have a unique solution up to the time at which the cell is filled. Regularity results for the solution of the inequality are obtained by studying a penalty approximation of the inequality.
This note presents a lower bound, in terms of the diameter ratio of the inner and outer conductors, for the electrostatic capacity of certain two-dimensional condensers. We use double Steiner symmetrization to prove that the minimizing condenser consists of a line segment placed symmetrically within a circle; the capacity of this condenser is known explicitly.
A monotone iteration scheme for the solution of the initial boundary problems associated with a system of semilinear parabolic differential equations has been developed that does not require the nonlinearities to be quasimonotone. The class of equations to which this scheme applies includes physical models that describe combustion processes involving Arrhenius reaction terms.
where pi(t), 0≦i≦n, and q(t) are continuous and positive on some half-line [a, ∞). It is known that (*) always has “strictly monotone” nonoscillatory solutions defined on [a, ∞), so that of particular interest is the extreme situation in which such strictly monotone solutions are the only possible nonoscillatory solutions of (*). In this paper sufficient conditions are given for this situation to hold for (*). The structure of the solution space of (*) is also studied.
We obtain an explicit formula for the essential norm of a Hankel operator with its symbol in the space PC, which is the closure in L∞ of the space of piecewise continuous functions on the unit circle . It follows from this formula that functions in PC can be approximated as closely by functions in C, the continuous functions on the circle, as by functions in the much larger space H∞ + C. This is an example of the way in which properties of the Hardy spaces can be derived from properties of Hankel operators.
In this paper, a class of Boolean rings containing the class discussed in papers by Seever (1968) and Faires (1976), is defined in such a way that an extension of the classical Vitali–Hahn–Saks theorem holds for exhausting additive set functions. Some new compact topological spaces K for which C(K) is a Grothendieck space are constructed and a Nikodym type theorem is deduced from it. The Boolean algebras of Seever and Faires and those we study here are defined by ‘interpolation properties’ between disjoint sequences in the algebra. We give an example at the end of the paper that illustrates the difficulties arising when we try to find a larger class of Boolean algebras, defined in terms of such properties, for which the Vitali–Hanh–Saks theorem holds.
Consider solutions 〈H(x, ε), G(x, ε)〉 of the von Kármán equations for the swirling flow between two rotating coaxial disks
and
We assume that |H(x, ε)| + |Hʹ(x, ε)| + |G(x, ε)|≦B. This work considers shapes and asymptotic behaviour as ε→0+. We consider the type of limit functions 〈H(x), G(x)〉 that are permissible. In particular, if 〈H(x, ε), G(x, ε)〉 also satisfy the boundary conditions H(0, ε)=H(1, ε)=0, Hʹ(0, ε)=Hʹ(1, ε)=0 then H(x) has no simple zeros. That is, there does not exist a point Z ε [0, 1] such that H(x)=0, Hʹ(z)≠0. Moreover, the case of “cells” which oscillate is studied in detail.
A sufficient condition on the angles of a bounded open subset of ℝn is given, ensuring the best regularity of solutions of a class of elliptic problems with non-linear mixed boundary conditions.