Discussion
In the language of linear algebra, for given vector spaces U and V over the same field K, there is a natural way to map their cartesian product to their tensor product.
In general, this need not be injective because, for in, in and any nonzero in ,
Considering the underlying projective spaces P(U) and P(V), this mapping becomes a morphism of varieties
This is not only injective in the set-theoretic sense: it is a closed immersion in the sense of algebraic geometry. That is, one can give a set of equations for the image. Except for notational trouble, it is easy to say what such equations are: they express two ways of factoring products of coordinates from the tensor product, obtained in two different ways as something from U times something from V.
This mapping or morphism σ is the Segre embedding. Counting dimensions, it shows how the product of projective spaces of dimensions m and n embeds in dimension
Classical terminology calls the coordinates on the product multihomogeneous, and the product generalised to k factors k-way projective space.
Read more about this topic: Segre Embedding
Famous quotes containing the word discussion:
“My companion and I, having a minute’s discussion on some point of ancient history, were amused by the attitude which the Indian, who could not tell what we were talking about, assumed. He constituted himself umpire, and, judging by our air and gesture, he very seriously remarked from time to time, “you beat,” or “he beat.””
—Henry David Thoreau (1817–1862)
“The whole land seems aroused to discussion on the province of woman, and I am glad of it. We are willing to bear the brunt of the storm, if we can only be the means of making a break in that wall of public opinion which lies right in the way of woman’s rights, true dignity, honor and usefulness.”
—Angelina Grimké (1805–1879)
“If we had had more time for discussion we should probably have made a great many more mistakes.”
—Leon Trotsky (1879–1940)