Abstract
The combination of an additive abelian group with a ring yields a module, and a particular type of module is a linear vector spaceāone of the most ubiquitous mathematical structures across all branches of physics. After defining vector spaces, the first part of this chapter describes inner products, linear functionals, Gram-Schmidt orthogonalization for both coordinate and function spaces, and Hilbert spaces. This is followed by a discussion that parses the sometimes-blurry distinctions among the various types of sums and products for vector spaces. Tensors and tensor spaces are introduced, with the focus in this chapter on the metric tensor; antisymmetric tensors are discussed in Chap. 7. The chapter concludes with a discussion of cosets and quotient spaces.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
I have assumed you are familiar with vector algebra as described in these first two paragraphs. If a short practice session is needed, see Problem 4.1.
- 2.
We often shorten this even further to just āspace.ā Once we get to our discussion of topology, āspaceā will have a different and broader meaning.
- 3.
Paul Adrien Maurice Dirac, (1902ā1984), Swiss/British physicist. The origin of the terms ābraā and āketā is a pun. Taken together in a scalar, or inner, product they form a ābracketā symbol such as \(\langle u\vert v\rangle \). See Sect. 4.3
- 4.
Note that when we multiply two real numbers in the vector space \({\mathbb {R}}^1\), or two complex numbers in the vector space \({\mathbb {C}}^1\) (see Example 4.3 (1) and (4) below), one factor is assigned to G and the other is assigned to F.
- 5.
- 6.
- 7.
- 8.
This will be important when we discuss Hilbert spaces in Sect. 4.4.4
- 9.
For notational clarity in this example, we use bold-faced letters rather than kets to represent vectors, and coordinate subscripts rather than numerical superscripts to distinguish components.
- 10.
We use the term ācoordinate spaceā to mean that the basis vectors in the space may be written in a standard coordinate basis. We contrast this with function spaces, where the basis vectors are normalized functions.
- 11.
The concept of a dual space appears in many different guises across mathematics and physics. In the present context and because of the complex conjugation bijection, the space \(G^*\) is sometimes called a conjugate space to G. However, this term is sometimes used to denote dual spaces generally, regardless of whether complex conjugation is involved.
- 12.
In this text we use the āconjugation conventionā as adopted by physicists. Mathematicians tend to reverse the conjugation between the bra and ket vectors.
- 13.
Anti-symmetric combinations of one-forms are the objects of study in exterior algebra and exterior calculus We will return to this subject in Chap. 7
- 14.
The Latin prefix sesqui- means āone-half more, half again as much.ā A sesquilinear map, therefore, is āmore than linear,ā but not so much as to be bilinear. Other terms used to describe this map are conjugate bilinear and hermitian bilinear.
- 15.
Terminology varies slightly among authors. We follow the convention in [6], pp. 10ā11.
- 16.
- 17.
- 18.
Jƶrgen Pedersen Gram (1850ā1916), Danish number theorist and analyst; Erhard Schmidt (1876ā1959), German analyst.
- 19.
The special functions arise as solutions to differential equations that are solved using integrating factors, which then give the weight functions w(x). See, for example, the treatment in [1]
- 20.
Alternative theories of integration are beyond the scope of this text, but see [20]) as a starting point if you are interested in exploring them.
- 21.
- 22.
If the inner product is strictly positive (Definition 4.6) the space is often called a pre-Hilbert space .
- 23.
- 24.
- 25.
See the comments above regarding the sum \(W = U + V\). As with all terms and symbols, it is always a good idea to double check the definitions used (and the conditions assumed) in any given text or article.
- 26.
Just think of Newtonās second law in Cartesian vs. spherical coordinatesāthe same physics, but two very different appearances.
- 27.
Relatedly, a particular choice of a coordinate system can cause one to conclude the presence or absence of a particular phenomenon, when in fact the āphenomenonā is nothing more than a coordinate effect. A famous example of this pertains to the event horizon of a black hole. For many years it was believed that a singularity occurred at the event horizon (within which nothing is visible to an outside observer). In fact, the event horizon āsingularityā was just a coordinate effect, and the only ārealā singularity is at the center of the black hole.
- 28.
Further, the tensor product \({\mathbf {u}} \otimes {\mathbf {v}}\) should not be confused with the more familiar cross-product (\(\times \)) of two vectors. For one thing, the associative property does not hold for the cross-product; this is something you may already know from your earlier study of vectors, but we will see this when we discuss algebras in Chap. 5. More fundamentally, and in terms of structure, the cross-product \({\mathbf {w}} = {\mathbf {u}} \times {\mathbf {v}}\) yields a vector, with all three vectors being in the same vector space. This is to be contrasted with the tensor product, which yields tensors defined in a different (tensor) space from the vector spaces involved in the construction.
- 29.
For ket vectors, write the basis vector index as a subscript \(({\hat{\mathbf {e}}}_i)\) and the component index as a superscript \((u^i)\). Bra vectors use the opposite positional pattern for indices. The summation convention specifies that we sum over repeated indices, but only when one index is āupā and the other is ādown.ā When applied āinternallyā to a single term \((S^{ij}_i)\) it is called a contractionĀ of tensor indices. We have used this convention previously in the text without calling it as such.
- 30.
The origin of these terms relates to how tensor components transform under coordinate transformations. We will return to this topic in Chap. 7
- 31.
Metric spaces are considered in a topological context in Sect. 6.4.2
- 32.
How the basis tensors combine in this and other situations will be examined more closely in Chap. 7. Here, we lose nothing by focusing solely on the components.
- 33.
As stated in Sect. 1.2.2 ā...wherever there is an equivalence relation, there is a quotient structure, and vice versa.ā
- 34.
For sets, an identifying characteristic; for groups, an invariant subgroup; for rings, an invariant subring (ideal).
- 35.
References
Arfken, G.B., Weber, H.J., Harris, F.E.: Mathematical Methods for PhysicistsāA Comprehensive Guide, 7th edn. Academic Press, Waltham, MA (2013)
Bishop, R.L., Goldberg, S.I.: Tensor Analysis on Manifolds. Macmillan, New York (1968)
Braun, M.: Differential Equations and Their Applications, 4th edn. Springer, New York (1993)
Byron, Jr., F.W., Fuller, R.W.: Mathematics of Classical and Quantum Mechanics, (Two volumes bound as one). Dover, New York (1992); an unabridged, corrected republication of the work first published in two volumes by Addison-Wesley, Reading, MA, (Vol. 1 (1969) and Vol. 2 (1970))
Callister, W.D.: Materials Science and EngineeringāAn Introduction, 7th edn. Wiley, New York (2007)
Choquet-Bruhat, Y., DeWitt-Morette, C., Dillard-Bleick, M.: Analysis, Manifolds and Physics, Part I: Basics, 1996 Printing. Elsevier, Amsterdam (1982)
Debnath, L., MikunsiÅski, P.: Introduction to Hilbert Spaces with Applications, 3rd edn. Elsevier Academic Press, Burlington, MA (2005)
Courant, R., Hilbert, D.: Methods of Mathematical Physics, First, English edn. Second Printing. Interscience Publishers, New York (1955)
Geroch, R.: Mathematical Physics. Chicago Lectures in Physics. University of Chicago Press, Chicago (1985)
Halmos, P.R.: Introduction to Hilbert Space and the Theory of Spectral Multiplicity, 2nd edn. AMS Chelsea, Providence, RI (1957)
Halmos, P.R.: Finite-Dimensional Vector Spaces, 2nd edn. D.Van Nostrand, Princeton, NJ (1958)
Hassani, S.: Mathematical PhysicsāA Modern Introduction to its Foundations, 2nd edn. Springer, Switzerland (2013)
Hirsch, M.W., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, San Diego, CA (1974)
Hoffman, K., Kunze, R.: Linear Algebra, 2nd edn. Prentice-Hall, Englewood Cliffs, NJ (1971)
Hubbard, J.H., West, B.H.: Differential Equations: A Dynamical Systems Approach, Part I. Springer-Verlag, New York (1991); Differential Equations: A Dynamical Systems ApproachāHigher-Dimensional Systems. Springer-Verlag, New York (1995)
Riley, K.F., Hobson, M.P., Bence, S.J.: Mathematical Methods for Physics and Engineering, Third Edition, Eighth printing with Corrections. Cambridge University Press, Cambridge (2012)
Roman, P.: Some Modern Mathematics for Physicists and Other Outsiders, 2 Volumes. Pergamon Press, Elmsford, NY (1975)
Simmons, G. F.: Introduction to Topology and Modern Analysis. McGraw-Hill, New York (1963), now in reprint by McGraw-Hill, India (2003)
Taylor, A.E., Lay, D.C.: Introduction to Functional Analysis, 2nd edn. Wiley, New York (1980)
Wilcox, H.J., Myers, D.L.: An Introduction to Lebesgue Integration and Fourier Series. Robert E. Krieger Publishing Co., Huntington, N.Y (1978); unabridged corrected edition, Dover, New York (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
Ā© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Starkovich, S.P. (2021). Vector and Tensor Spaces. In: The Structures of Mathematical Physics. Springer, Cham. https://doi.org/10.1007/978-3-030-73449-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-73449-7_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-73448-0
Online ISBN: 978-3-030-73449-7
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)