Tensor products of vector spaces are to cartesian products of sets as direct sums of vectors spaces are to disjoint unions of sets. Basis for tensor product of infinite dimensional vector spaces. It is this chapter that provides the foundations for tensor applications in physics. Another way of generalizing the idea of tensor, common in nonlinear analysis, is via the multilinear maps definition where instead of using finite dimensional vector spaces and their algebraic duals, one uses infinite dimensional banach spaces and their continuous dual. By the obvious correspondence of bilinear maps v 1 v 2. In preparing this two volume work our intention is to present to engineering and science students a modern introduction to vectors and tensors.
A useful lemma about the tensor product is that it is unique, in the following sense. Direct sums let v and w be nite dimensional vector spaces, and let v fe ign i1 and w ff jg m j1. The product we want to form is called the tensor product and is denoted by v w. Then v is union of vector spaces v a associated with all points a in space. Oct 10, 2017 said another way, the hom tensor adjunction is a closed monoidal structure on the category of vector spaces. Jun 25, 2010 however, im having some problems with his definition of the tensor product of two vector spaces, and i hope you could help me clear it out. And then show that for finitedimensional spaces, you only need sums of boundedly many terms. Tensor on a vector space encyclopedia of mathematics. We would like the product v bw to satisfy the additive relations pv 1 v 2qbw v 1 bw v 2 bw 1 v bpw 1 w 2q v bw 1 v bw 2 2. Moreover, if, then any algebra structure in is defined by a tensor of type, called the structure tensor of the algebra. For an arbitrary point space the function f is called the point difference, and it is customary to use the suggestive notation f, x y x. I have decided to put that into a separate question. Free vectors, taken as they are, do not form a linear vector space. We allow k 0, in which case the tensor is just a real number.
Taking tensor products with the one dimensional vector space k is in e ect useless. Nov 18, 2018, we can build a new vector space, also called their tensor product v. Suppose that for every bilinear map f defined on uxv there is a unique linear map c defined on x such that fcb. If v 1 and v 2 are any two vector spaces over a eld f, the tensor product is a bilinear map. The second kind of tensor product of the two vectors is a socalled contravariant tensor product. Introduction to the tensor product james c hateley in mathematics, a tensor refers to objects that have multiple indices. Because it is often denoted without a symbol between the two vectors, it is also referred to as the open product. We do not rule out nite dimensional or inseparable. Thus, a0 a iei is formed from a a ie i via the conversion e i ei, whereas b b je j is formed from b0 b je j via the conversion e e j. Tensors on vector spaces let v be a finite dimensional vector. Tensor products, wedge products and differential forms. An introduction to semitensor product of matrices and its. T s r t s r tensor product is linear in both variables.
On tensor products, vector spaces, and kronecker products. Gill williamson abstract we present the basic concepts of tensor products of vectors spaces, exploiting the special properties of vector spaces as opposed to more general modules. V over the same eld f, we will construct a tensor product u v occasionally still known also as the \kronecker. The tensor product of two modules a and b over a commutative ring r is defined in exactly the same way as the tensor product of vector spaces over a field. Tensor products rst arose for vector spaces, and this is the only setting where they occur in physics and engineering, so well describe tensor products of vector spaces rst. The tensor product texu \otimes v tex of two finite dimensional vector spaces u and v over the same field is the dual of the vector space of all bilinear forms on. The vector as something with magnitude and direction and defined by the above rules is an element of one case of the mathematical structure, the vector space. Our goal is to try to characterize the tensor product and describe some of its various properties especially for nitedimensional vector spaces. The book broke ground as the first formal introduction to linear algebra, a branch of modern mathematics that studies vectors and vector spaces. Finite dimensional vector spaces combines algebra and geometry to discuss the three dimensional area where vectors can be plotted. The third chapter extends tensor theory to spaces other than vector spaces, namely manifolds. How does this definition of the tensor product of hilbert spaces match up with the one we are familiar with when dealing with tensors in general relativity. A vector space v is a collection of objects with a vector.
It makes a careful distinction between real and complex spaces, with an emphasis on real spaces, and focuses on those elements of the theory that are especially important in applications to continuum mechanics. The concept of tensor products can be used to address these problems. A wish list let v and w be nite dimensional complex vector spaces. In quantum mechanics the state of a physical system is a vector in a complex vector space. A tensor product of rmodules m, n is an rmodule denoted m. Sections 15 concern special properties of bilinear forms, all vector spaces being assumed to be finite dimensional. Even in fairly concrete linear algebra, the question of extension of scalars to convert a. Roughly speaking, the classical matrix theory can mainly deal with oneor two dimensional data. The tensor product is just another example of a product like this. Denition 1 let v and wbe vector spaces over a eld fwith bases and, respectively. Tensor products first arose for vector spaces, and this is the only setting where they. Let be finite dimensional, let be a basis of it, and let be the dual basis of the space. Isomorphisms and tensor products in this handout, we work out some examples of isomorphisms involving tensor products of vector spaces.
B is the free rmodule generated by the cartesian product and g is the rmodule generated by the same relations as above. V occasionally still known also as the kronecker product of u, v, which is also an fvector space. This chapter studies, in the setting of vector spaces over a field, the basics concerning multilinear functions, tensor products, spaces of linear functions, and algebras related to tensor products. Notes on locally convex topological vector spaces 5 ordered family of. V 2 more spaces might be needed if the particles have orbital angular momentum or they are moving. Roughly speaking this can be thought of as a multidimensional array. The direct sum of vector spaces let s and x be sets equipped with a surjective map x. To define it we start by defining for any set the free vector space over. Here are the main results about tensor products summarized in one theorem. The tensor product of v and w denoted by v w is a vector space. Recall that a tensor product of v and v0 is a pait t,t consisting of a vector space t over f and a bilinear pairing t.
The order of the vectors in a covariant tensor product is crucial, since, as one can easily verify, it is the case that 9 a. That is, all of the formalism we develop here is valid so long as the operations of addition, scalar multiplication, and for some of the material inner product are. Introduction 1, basic multilinear algebra 2, tensor products of vector. Dimension of infinite product of vector spaces mathoverflow. A short introduction to tensor products of vector spaces.
W, the tensor product of v and w, as the quotient vector space ab. Note that there are two pieces of data in a tensor product. Note also that the term minkowski space is also used for analogues in any dimension. N0are linear, then we get a linear map between the direct sums, m n. Quantum physics ii, lecture notes 10 mit opencourseware. A euclidean point space is not a vector space but a vector space with inner product is made a euclidean point space by defining f, vv v v12 1 2. Readers who are already wellversed in functional analysis will probably find more rigorous manuscripts such as. Thus this scalar quantity serves as an inner product for the space. Using tensor products, one can construct operations on two dimensional functions which inherit properties of one dimensional operations. A gentle introduction to tensors washington university in. What these examples have in common is that in each case, the product is a bilinear map. Then the vector addition and scalar multiplication is the group addition and scalar multiplication for the cosets.
Linear vector spaces and cartesian tensors is primarily concerned with the theory of finite dimensional euclidian spaces. On tensor products, vector spaces, and kronecker products we begin with the denition of the tensor product. Pairings of tensor products we begin with the case of tensor products, as all others will be easily deduced from it after we have done the hard work in this case. Uxvx be a bilinear map from uxv to a vector space x. You start with two vector spaces, v that is ndimensional, and w that is mdimensional.
The main purpose of semi tensor product of matrices is to use matrix tools to deal with higher dimensional data. However, given two normed vector spaces, there are several infinite families of norms. It is characterised as the vector space tsatisfying the following property. The tensors of type one are naturally identi ed with the vector space v itself. The matrix representations of the linear operators on vector. In order to compute the coordinates ai the dual reciprocal basis ek is introduced in such a way that ek e i. This approach is resumed much later in chapter 9 for the wedge product, after the reader is more familiar with that object. One, for instance, is via the tensor product of hilbert spaces. A vector in the primary space can be converted to a vector in the conjugate dual space, and vice versa, by the operation of transposition.
A dyad is a special tensor to be discussed later, which explains the name of this product. Note that the three vector spaces involved arent necessarily the same. A vector in the primary space can be converted to a vector in the conjugate dual space and vice versa by the operation of transposition. It is also called kronecker product or direct product. The notation for each section carries on to the next. Thanks for contributing an answer to mathematics stack exchange. The important thing is that it takes two quantum numbers to specify a basis state in h 12 a basis that is not formed from tensorproduct states is an entangledstate basis in the beginning, you should. But certain quantities are associated with two or more directions, such a quantity is called tensor. To accomplish this, various notions of duality are introduced and employed. We say that t satis es the characteristic property of the tensor product with respect to v and w if there is a bilinear map h. The double contraction of two tensors as defined by 1. Introduction to the tensor product james c hateley. He extended the indeterminate product to n dimensions in 1886 7.
V 2 is a four dimensional complex vector space spanned by. Since the end of chapter 8 some basic tools of lie group theory and lie group representation theory kns are requested. Tensor product of vector spaces by the noncommutative definition. Thus a0 a iei is formed via the conversion e i ei whereas b b je j is formed via the conversion ej e j. All of the material in this lecture is true for any vector in a. A good starting point for discussion the tensor product is the notion of direct sums. Chapter 1 surveys the mathematicians description of the tensor product as a quotient space, and then places the tensor product in the framework of category theory. Contents tensor products if and are finite dimensional vector spaces then the cartesian product is naturally a vector space called the direct sum of and and denoted. Nor84, yok92, are about properties of a whole space of tensors.
Let v and w be vector spaces over a eld k, and choose bases fe igfor v and ff jgfor w. In this paper we lay the foundations for a systematic study of tensor products of subspaces of c. S has the structure of a vector space over f, for each s2s. This chapter is about properties of a single tensor and its coordinate representation, a hypermatrix. Observables are linear operators, in fact, hermitian operators acting on this complex vector space. Tensorproduct spaces the most general form of an operator in h 12 is. Tensor products also turn out to be computationally e. You can see that the spirit of the word tensor is there. The notion of extension of scalars has important senses in situations which are qualitatively di erent than complexi cation of real vector spaces. The vector space of tensors of type kis denoted tkv.
V and v is a pait t,t consisting of a vector space t over f and a. Just to make the exposition clean, we will assume that v and w are. The state space for the dynamics of the two particles must contain the tensor product v 1. Let v and v be finitedimensional vector spaces over a field f.
We envision a tensor product v bw as a vector space, which is spanned by linear combinations of elements v bw such that v pv and w pw. To derive the characteristic property of the tensor product, we use the bilinear map h2 mlv. And then show that for finite dimensional spaces, you only need sums of boundedly many terms. F between vector spaces e and f, will be defined by duality with another vector space whose definition is very close to the notion of tensor product between spaces, but only equivalent to it in the case of finite dimensional spaces. Then we will look at special features of tensor products of vector spaces including contraction, the tensor products of ralgebras, and nally the tensor algebra of an rmodule. Hence the multi dimensional daking, all the major properties of the conventional matrix product remain true for this generalized product. The stress at a point of an elastic solid is an example of a tensor which depends on two directions one normal to the area and other that of the force on it. Tensor product and tensor functors mit opencourseware. Such representations are triples v, w, a, where v, w are. A tensor product of xand yis a vector space zover k, together with a bilinear map.
Let v and w be two finitedimensional vector spaces over f. V is a homomorphism of vector spaces, then there is a unique. Elementary tensor products a tensor product of two vectors is an outer product that. The rst two sections introduce 1 a hypermatrix, 2 a tensor as an element of a tensor product of vector spaces, its coordinate representation as a hypermatrix, and a tensor as a. Ps i also have a similar problem with walds definition of a direct sum of hilbert spaces.
1385 818 1483 704 674 739 1212 676 1327 63 1543 1373 204 1684 1462 1126 1306 253 348 153 613 1106 934 726 1063 1625 885 560 1400 773 1275 1163 618 615 630 1077