nLab tensor product of vector spaces

Contents

Context

Linear algebra

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

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 RR for the case that this ring happens to be a field.

The tensor product of vector spaces makes the category Vect of all vector spaces into a monoidal category, in fact a distributive monoidal category.

Definition

Definition

Given two vector spaces over some field kk, V 1,V 2Vect kV_1, V_2 \in Vect_k, their tensor product of vector spaces is the vector space denoted

V 1 kV 2Vect V_1 \otimes_k V_2 \in Vect

whose elements are equivalence classes of formal linear combinations of tuples (v 1,v 2)(v_1,v_2) with v iV iv_i \in V_i, for the equivalence relation given by

(kv 1,v 2)k(v 1,v 2)(v 1,kv 2) (k v_1 , v_2) \;\sim\; k( v_1 , v_2) \;\sim\; (v_1, k v_2)
(v 1+v 1,v 2)(v 1,v 2)+(v 1,v 2) (v_1 + v'_1 , v_2) \; \sim \; (v_1,v_2) + (v'_1, v_2)
(v 1,v 2+v 2)(v 1,v 2)+(v 1,v 2) (v_1 , v_2 + v'_2) \; \sim \; (v_1,v_2) + (v_1, v'_2)

More abstractly this means that the tensor product of vector spaces is the vector space characterized by the fact that

  1. it receives a bilinear map

    V 1×V 2V 1V 2 V_1 \times V_2 \longrightarrow V_1 \otimes V_2

    (out of the Cartesian product of the underlying sets)

  2. any other bilinear map of the form

    V 1×V 2V 3 V_1 \times V_2 \longrightarrow V_3

    factors through the above bilinear map via a unique linear map

    V 1×V 2 bilinear V 3 !linear V 1 kV 2 \array{ V_1 \times V_2 &\overset{bilinear}{\longrightarrow}& V_3 \\ \downarrow & \nearrow_{\mathrlap{\exists ! \, linear}} \\ V_1 \otimes_k V_2 }

References

Last revised on August 25, 2023 at 08:56:53. See the history of this page for a list of all contributions to it.