Its what happens when you systematically multiply a bunch of numbers together, then organize the results into a list. And then show that for finitedimensional spaces, you only need sums of boundedly many terms. Tensor product of vector spaces c if m1,1 and m2,2 are two tensor products of e and f, then there is a bijective linear map u such that the following diagram is commutative. The tensor product of two vector spaces is a new vector space with the property that bilinear maps out of the cartesian product of the two spaces are equivalently linear maps out of the tensor product the tensor product of vector spaces is just the special case of the tensor product of modules over some ring r r for the case that this ring happens to be a field. Tensor products of archimedean partially ordered vector spaces. The graphics look ratty in windows adobe pdf viewers when not scaled up, but look just fine in this. Tensor products, wedge products and differential forms. Instead, the construction below of the tensor product v rc complexi cation of v of a real vectorspace v with c over r is exactly right, as will be discussed later. The tensor product let us start by constructing the tensor product v w. 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. The chapter also proves the existence of a tensor product of any two vector. Particular tensor products are those involving only copies of a given vector space v and its dual v these give all the tensors associated to the. Even in fairly concrete linear algebra, the question of extension of scalars to convert a real vector space to a complex vector space is possibly mysterious. Let v and w be vector spaces over a eld k, and choose bases fe igfor v and ff jgfor w.
Smith october 14, 2011 abstract an introductory overview of vector spaces, algebras, and linear geometries over an arbitrary commutative. Given two vector spaces, there is a unique algebraic notion of a tensor product, which is. The purpose of x2 is to show that a tensor product always does exist. In preparing this two volume work our intention is to present to engineering and science students a modern introduction to vectors and tensors. Of course we may be working in a vacuumit is conceivable that the axioms for a tensor product are inconsistent or only sometimes consistent. A short introduction to tensor products of vector spaces. The third chapter extends tensor theory to spaces other than vector spaces, namely manifolds. The term tensor product has many different but closely related meanings in its original sense a tensor product is a representing object for a suitable sort of bilinear map and multilinear map. What these examples have in common is that in each case, the product is a bilinear map. For instance, the components of a vector and of a covector coincide with their usual coordinates with respect to the bases and. There is a natural isomorphism of vector spaces mapping to consequently, for any and the element can be regarded as a tensor of type and is called the tensor product of and. The free vector space over f generated by ais the vector space freea consisting of all formal nite linear combinations of elements of a. On tensor products, vector spaces, and kronecker products. Tensor products first arose for vector spaces, and this is the only setting where they occur in physics and engineering, so well describe tensor products of vector.
In propositions 1,2,3, we assume given a tensor product h k. The tensor product is just another example of a product like this. Uxvx be a bilinear map from uxv to a vector space x. This is a beginners question on what exactly is a tensor product, in laymens term, for a beginner who has just learned basic group theory and basic ring theory. Nov 18, 2018 so a tensor product is like a grownup version of multiplication. The multiplication is given by concatenating such symbols, imposing the distributive law under addition, and requiring that scalar multiplication commute with the tensor product. Tensor on a vector space encyclopedia of mathematics. To give a construction of the tensor product, we need the notion of a free vector space.
Positions are not absolute they must be measured relative to a reference point. The tensor product of two rmodules is built out of the examples given above. 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. The eld f is a vector space over itself, with its usual operations. Chapter 22 tensor algebras, symmetric algebras and exterior. Then there is a unique vector space aover kand a bilinear map f. Notes on locally convex topological vector spaces 5 ordered family of. This is a way of getting a new big vector space from two or more smaller vector spaces in the simplest way one can imagine. Dimensionality of a vector space and linear independence. A useful lemma about the tensor product is that it is unique, in the following sense. If a a is commutative, then this is a special case of the tensor product in a multicategory. This is a common occurrence when studying the injective and projective tensor products of functionsequence spaces and tvss. Suppose that for every bilinear map f defined on uxv there is a.
Tensor products of vector spaces are to cartesian products of sets as direct sums of vectors spaces are to disjoint unions of sets. If v 1 and v 2 are any two vector spaces over a eld f, the tensor product is a bilinear map. Most of the time, the vectors will be shown in the ket notation, like j i. Overview 5 overview and summary this monograph is meant as a user guide for both tensor products and wedge products. The chapter mentions only vector spaces over the field c of complex numbers and assumes e and f as two vector spaces.
Tensor algebras, symmetric algebras and exterior algebras 22. The state of such a system is a unit vector in a kdimensional. The notion of extension of scalars has important senses in situations which are qualitatively di erent than complexi cation of real vector spaces. 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. After completing this task, we will brie y translate our result to the language of category theory. The foundation of tensor products lies in a natural extension of the notion of linear map. A vector space also called a linear space is a collection of objects called vectors, which may be added together and multiplied scaled by numbers, called scalars.
The tensor product of vector spaces is just the special case of the tensor product of modules over some ring r r for the case that this ring happens to be a field. Hilbert spaces, tensor products this lecture will formalize many of the notions introduced informally in the second lecture. The most classical versions are for vector spaces modules over a field, more generally modules over a ring, and even more generally algebras over a commutative monad. This chapter describes the several theorems and propositions related to the tensor product of vector spaces. To volume 2 this is the second volume of a twovolume work on vectors and tensors. The concept of tensor product will be discussed using the examples of the tensors s, t and u of order 2, 3, and 2, respectively, knowing that the argument can be generalized to any ntuple tensors of any order. As a result, we need learn something about the hilbert spaces for the purpose of learning quantum mechanics. On tensor products, vector spaces, and kronecker products we begin with the denition of the tensor product.
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. This talk discusses a peculiar issue arising in functional analysis. If we call this point o the origin, then the position vector for point p can be defined as follows. Tensor products of vector spaces we can use the same process to define the tensor product of any two vector spaces. A basis for the tensor product is all products of basis elements in one space. Introductiontovectorspaces,vector algebras,andvectorgeometries richard a. A vector space v is a collection of objects with a vector. 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 components of the product are computed according to the formula let, and let the numbers and be fixed with and. Tensorproduct spaces the most general form of an operator in h 12 is. B is the free rmodule generated by the cartesian product and g is the rmodule generated by the same relations as above. Elementary tensor products a tensor product of two vectors is an outer product that.
Quotient spaces are emphasized and used in constructing the exterior and the symmetric algebras of a vector space. We say that t satisfies the char acteristic property of the tensor product with respect to v and w if there is a bilinear. The tensor product is a space which allows us to replace some bilinear more generally multilinear maps by linear maps. Note that there are two pieces of data in a tensor product. A gentle introduction to tensors washington university in. Denition 1 let v and wbe vector spaces over a eld fwith bases and, respectively. 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. Vector addition a quantity related to the displacement vector is the position vector for a point. Chapter 22 tensor algebras, symmetric algebras and. 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. We now show two nonzero elementary tensors in vector spaces are equal only under the \obvious circumstances. C,\otimes with a right and left action, respectively, of some monoid a a, their tensor product over a a is the quotient of their tensor product in c c by this action.
Note that the three vector spaces involved arent necessarily the same. A tensor product of xand yis a vector space zover k, together with a bilinear map. The components of a tensor with respect to this basis are also called the components of the tensor with respect to the basis of the space. This volume contains frequent references to volume 1. It is also called kronecker product or direct product. A dyad is a special tensor to be discussed later, which explains the name of this product.
If v1 and v2 are any two vector spaces over a field f, the tensor product is a bilinear map. In fact, rs is the smallest submodule that contains s. The linear structures are genuine vector spaces or vector spaces with additional binary operations. It is this chapter that provides the foundations for tensor applications in physics. While we do not discuss general differentiable manifolds, we do include a chapter on vector and tensor fields defined on hypersurfaces in a euclidean manifold. Chapter 4 has four parts involving products of two vectors and their vector spaces.
469 1617 1318 1026 965 1508 1507 902 988 908 456 1074 750 1255 702 72 1449 980 472 342 483 381 311 184 1166 292 658 680 274 1214 519 599 924 417 410 1028 374 380 957 566 1021 650 1372 605 329 818