International
Tables for Crystallography Volume B Reciprocal space Edited by U. Shmueli © International Union of Crystallography 2006 |
International Tables for Crystallography (2006). Vol. B. ch. 1.3, pp. 26-28
|
Throughout this text, will denote the set of real numbers, the set of rational (signed) integers and the set of natural (unsigned) integers. The symbol will denote the Cartesian product of n copies of : so that an element x of is an n-tuple of real numbers: Similar meanings will be attached to and .
The symbol will denote the set of complex numbers. If , its modulus will be denoted by , its conjugate by (not ), and its real and imaginary parts by and :
If X is a finite set, then will denote the number of its elements. If mapping f sends an element x of set X to the element of set Y, the notation will be used; the plain arrow → will be reserved for denoting limits, as in
If X is any set and S is a subset of X, the indicator function of S is the real-valued function on X defined by
The set can be endowed with the structure of a vector space of dimension n over , and can be made into a Euclidean space by treating its standard basis as an orthonormal basis and defining the Euclidean norm:
By misuse of notation, x will sometimes also designate the column vector of coordinates of ; if these coordinates are referred to an orthonormal basis of , then where denotes the transpose of x.
The distance between two points x and y defined by allows the topological structure of to be transferred to , making it a metric space. The basic notions in a metric space are those of neighbourhoods, of open and closed sets, of limit, of continuity, and of convergence (see Section 1.3.2.2.6.1).
A subset S of is bounded if sup as x and y run through S; it is closed if it contains the limits of all convergent sequences with elements in S. A subset K of which is both bounded and closed has the property of being compact, i.e. that whenever K has been covered by a family of open sets, a finite subfamily can be found which suffices to cover K. Compactness is a very useful topological property for the purpose of proof, since it allows one to reduce the task of examining infinitely many local situations to that of examining only finitely many of them.
Let φ be a complex-valued function over . The support of φ, denoted Supp φ, is the smallest closed subset of outside which φ vanishes identically. If Supp φ is compact, φ is said to have compact support.
If , the translate of φ by t, denoted , is defined by Its support is the geometric translate of that of φ:
If A is a non-singular linear transformation in , the image of φ by A, denoted , is defined by Its support is the geometric image of Supp φ under A:
If S is a non-singular affine transformation in of the form with A linear, the image of φ by S is , i.e. Its support is the geometric image of Supp φ under S:
It may be helpful to visualize the process of forming the image of a function by a geometric operation as consisting of applying that operation to the graph of that function, which is equivalent to applying the inverse transformation to the coordinates x. This use of the inverse later affords the `left-representation property' [see Section 1.3.4.2.2.2(e)] when the geometric operations form a group, which is of fundamental importance in the treatment of crystallographic symmetry (Sections 1.3.4.2.2.4, 1.3.4.2.2.5).
When dealing with functions in n variables and their derivatives, considerable abbreviation of notation can be obtained through the use of multi-indices.
A multi-index is an n-tuple of natural integers: . The length of p is defined as and the following abbreviations will be used:
Leibniz's formula for the repeated differentiation of products then assumes the concise form while the Taylor expansion of f to order m about reads
In certain sections the notation will be used for the gradient vector of f, and the notation for the Hessian matrix of its mixed second-order partial derivatives:
The Riemann integral used in elementary calculus suffers from the drawback that vector spaces of Riemann-integrable functions over are not complete for the topology of convergence in the mean: a Cauchy sequence of integrable functions may converge to a non-integrable function.
To obtain the property of completeness, which is fundamental in functional analysis, it was necessary to extend the notion of integral. This was accomplished by Lebesgue [see Berberian (1962), Dieudonné (1970), or Chapter 1 of Dym & McKean (1972) and the references therein, or Chapter 9 of Sprecher (1970)], and entailed identifying functions which differed only on a subset of zero measure in (such functions are said to be equal `almost everywhere'). The vector spaces consisting of function classes f modulo this identification for which are then complete for the topology induced by the norm : the limit of every Cauchy sequence of functions in is itself a function in (Riesz–Fischer theorem).
The space consists of those function classes f such that which are called summable or absolutely integrable. The convolution product: is well defined; combined with the vector space structure of , it makes into a (commutative) convolution algebra. However, this algebra has no unit element: there is no such that for all ; it has only approximate units, i.e. sequences such that tends to g in the topology as . This is one of the starting points of distribution theory.
The space of square-integrable functions can be endowed with a scalar product which makes it into a Hilbert space. The Cauchy–Schwarz inequality generalizes the fact that the absolute value of the cosine of an angle is less than or equal to 1.
The space is defined as the space of functions f such that The quantity is called the `essential sup norm' of f, as it is the smallest positive number which exceeds only on a subset of zero measure in . A function is called essentially bounded.
Let , . Then the function is called the tensor product of f and g, and belongs to . The finite linear combinations of functions of the form span a subspace of called the tensor product of and and denoted .
The integration of a general function over may be accomplished in two steps according to Fubini's theorem. Given , the functions exist for almost all and almost all , respectively, are integrable, and Conversely, if any one of the integrals is finite, then so are the other two, and the identity above holds. It is then (and only then) permissible to change the order of integrations.
Fubini's theorem is of fundamental importance in the study of tensor products and convolutions of distributions.
Geometric intuition, which often makes `obvious' the topological properties of the real line and of ordinary space, cannot be relied upon in the study of function spaces: the latter are infinite-dimensional, and several inequivalent notions of convergence may exist. A careful analysis of topological concepts and of their interrelationship is thus a necessary prerequisite to the study of these spaces. The reader may consult Dieudonné (1969, 1970), Friedman (1970), Trèves (1967) and Yosida (1965) for detailed expositions.
Most topological notions are first encountered in the setting of metric spaces. A metric space E is a set equipped with a distance function d from to the non-negative reals which satisfies: By means of d, the following notions can be defined: open balls, neighbourhoods; open and closed sets, interior and closure; convergence of sequences, continuity of mappings; Cauchy sequences and completeness; compactness; connectedness. They suffice for the investigation of a great number of questions in analysis and geometry (see e.g. Dieudonné, 1969).
Many of these notions turn out to depend only on the properties of the collection of open subsets of E: two distance functions leading to the same lead to identical topological properties. An axiomatic reformulation of topological notions is thus possible: a topology in E is a collection of subsets of E which satisfy suitable axioms and are deemed open irrespective of the way they are obtained. From the practical standpoint, however, a topology which can be obtained from a distance function (called a metrizable topology) has the very useful property that the notions of closure, limit and continuity may be defined by means of sequences. For non-metrizable topologies, these notions are much more difficult to handle, requiring the use of `filters' instead of sequences.
In some spaces E, a topology may be most naturally defined by a family of pseudo-distances , where each satisfies (i) and (iii) but not (ii). Such spaces are called uniformizable. If for every pair there exists such that , then the separation property can be recovered. If furthermore a countable subfamily of the suffices to define the topology of E, the latter can be shown to be metrizable, so that limiting processes in E may be studied by means of sequences.
The function spaces E of interest in Fourier analysis have an underlying vector space structure over the field of complex numbers. A topology on E is said to be compatible with a vector space structure on E if vector addition [i.e. the map ] and scalar multiplication [i.e. the map ] are both continuous; E is then called a topological vector space. Such a topology may be defined by specifying a `fundamental system S of neighbourhoods of ', which can then be translated by vector addition to construct neighbourhoods of other points .
A norm ν on a vector space E is a non-negative real-valued function on such that Subsets of E defined by conditions of the form with form a fundamental system of neighbourhoods of 0. The corresponding topology makes E a normed space. This topology is metrizable, since it is equivalent to that derived from the translation-invariant distance . Normed spaces which are complete, i.e. in which all Cauchy sequences converge, are called Banach spaces; they constitute the natural setting for the study of differential calculus.
A semi-norm σ on a vector space E is a positive real-valued function on which satisfies (i′) and (iii′) but not (ii′). Given a set Σ of semi-norms on E such that any pair (x, y) in is separated by at least one , let B be the set of those subsets of E defined by a condition of the form with and ; and let S be the set of finite intersections of elements of B. Then there exists a unique topology on E for which S is a fundamental system of neighbourhoods of 0. This topology is uniformizable since it is equivalent to that derived from the family of translation-invariant pseudo-distances . It is metrizable if and only if it can be constructed by the above procedure with Σ a countable set of semi-norms. If furthermore E is complete, E is called a Fréchet space.
If E is a topological vector space over , its dual is the set of all linear mappings from E to (which are also called linear forms, or linear functionals, over E). The subspace of consisting of all linear forms which are continuous for the topology of E is called the topological dual of E and is denoted E′. If the topology on E is metrizable, then the continuity of a linear form at can be ascertained by means of sequences, i.e. by checking that the sequence of complex numbers converges to in whenever the sequence converges to f in E.
References
Berberian, S. K. (1962). Measure and integration. New York: Macmillan. [Reprinted by Chelsea, New York, 1965.]Google ScholarDieudonné, J. (1969). Foundations of modern analysis. New York and London: Academic Press.Google Scholar
Dieudonné, J. (1970). Treatise on analysis, Vol. II. New York and London: Academic Press.Google Scholar
Dym, H. & McKean, H. P. (1972). Fourier series and integrals. New York and London: Academic Press.Google Scholar
Friedman, A. (1970). Foundations of modern analysis. New York: Holt, Rinehart & Winston. [Reprinted by Dover, New York, 1982.]Google Scholar
Sprecher, D. A. (1970). Elements of real analysis. New York: Academic Press. [Reprinted by Dover Publications, New York, 1987.]Google Scholar
Trèves, F. (1967). Topological vector spaces, distributions, and kernels. New York and London: Academic Press.Google Scholar
Yosida, K. (1965). Functional analysis. Berlin: Springer-Verlag.Google Scholar