Difference between revisions of "Characteristic property of the tensor product/Statement"
From Maths
m (Typo and category) |
m (→Statement: typo) |
||
| Line 16: | Line 16: | ||
-->Let {{M|\mathbb{F} }} be a [[field]] and let {{M|\big((V_i,\mathbb{F})\big)_{i\eq 1}^k}} be a family of ''[[dimension (vector space)|finite dimensional]]'' [[vector spaces]] over {{M|\mathbb{F} }}. Let {{M|(W,\mathbb{F})}} be another vector space over {{M|\mathbb{F} }}. Then{{rITSMJML}}: | -->Let {{M|\mathbb{F} }} be a [[field]] and let {{M|\big((V_i,\mathbb{F})\big)_{i\eq 1}^k}} be a family of ''[[dimension (vector space)|finite dimensional]]'' [[vector spaces]] over {{M|\mathbb{F} }}. Let {{M|(W,\mathbb{F})}} be another vector space over {{M|\mathbb{F} }}. Then{{rITSMJML}}: | ||
| − | * If {{M|A:V_1\times\cdots\times V_k\rightarrow W}} | + | * If {{M|A:V_1\times\cdots\times V_k\rightarrow W}} is any [[multilinear map]] |
** there exists a unique [[linear map]], {{M|\overline{A}:V_1\otimes\cdots\otimes V_k\rightarrow X}} such that: | ** there exists a unique [[linear map]], {{M|\overline{A}:V_1\otimes\cdots\otimes V_k\rightarrow X}} such that: | ||
*** {{M|\overline{A}\circ p\eq A}} (that is: the diagram on the right [[commutative diagram|commutes]]) | *** {{M|\overline{A}\circ p\eq A}} (that is: the diagram on the right [[commutative diagram|commutes]]) | ||
Where {{M|p:V_1\times\cdots\times V_k\rightarrow V_1\otimes\cdots\otimes V_k}} by {{M|p:(v_1,\ldots,v_k)\mapsto v_1\otimes\cdots\otimes v_k}} (and is {{m|p}} is [[multilinear map|multilinear]]) {{#if:{{{full|}}}|(see '''claim 1''' for the proof of this)|}} | Where {{M|p:V_1\times\cdots\times V_k\rightarrow V_1\otimes\cdots\otimes V_k}} by {{M|p:(v_1,\ldots,v_k)\mapsto v_1\otimes\cdots\otimes v_k}} (and is {{m|p}} is [[multilinear map|multilinear]]) {{#if:{{{full|}}}|(see '''claim 1''' for the proof of this)|}} | ||
<div style="clear:both;"></div><noinclude> | <div style="clear:both;"></div><noinclude> | ||
| + | |||
==References== | ==References== | ||
<references/> | <references/> | ||
{{Theorem Of|Linear Algebra|Abstract Algebra}} | {{Theorem Of|Linear Algebra|Abstract Algebra}} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 22:07, 20 December 2016
- Notice: this page is supposed to be transcluded, use full=true to show claims and extra things
Contents
[hide]Statement
Let F be a field and let ((Vi,F))ki=1 be a family of finite dimensional vector spaces over F. Let (W,F) be another vector space over F. Then[1]:- If A:V1×⋯×Vk→W is any multilinear map
- there exists a unique linear map, ¯A:V1⊗⋯⊗Vk→X such that:
- ¯A∘p=A (that is: the diagram on the right commutes)
- there exists a unique linear map, ¯A:V1⊗⋯⊗Vk→X such that:
Where p:V1×⋯×Vk→V1⊗⋯⊗Vk by p:(v1,…,vk)↦v1⊗⋯⊗vk (and is p is multilinear)
References
