Difference between revisions of "Linear map"
From Maths
(Created page with "==Definition== Given two vector spaces {{M|(U,F)}} and {{M|(V,F)}} (it is important that they are over the same field) we say that a map, <math>T:(U,F)\righta...") |
m |
||
| Line 3: | Line 3: | ||
<math>\forall \lambda,\mu\in F</math> and <math>\forall x,y\in U</math> we have <math>T(\lambda x+\mu y) = \lambda T(x) + \mu T(y)</math> | <math>\forall \lambda,\mu\in F</math> and <math>\forall x,y\in U</math> we have <math>T(\lambda x+\mu y) = \lambda T(x) + \mu T(y)</math> | ||
| + | |||
| + | ==Notations== | ||
| + | Some authors use <math>L</math> for a linear map. | ||
| + | |||
| + | Because linear maps can often (always if {{M|U}} and {{M|V}} are finite dimensional) be represented as a [[Matrix|matrix]] sometimes the notation <math>Tv</math> is used instead of <math>T(v)</math> | ||
==Homomorphism and isomorphism== | ==Homomorphism and isomorphism== | ||
A linear map is a vector space homomorphism, if it is a [[Bijection|bijection]] then it is a vector space isomorphism. | A linear map is a vector space homomorphism, if it is a [[Bijection|bijection]] then it is a vector space isomorphism. | ||
| + | |||
| + | ==Categories== | ||
| + | The set of all linear maps from {{M|(U,F)}} to {{M|(V,F)}} is often denoted by <math>\mathcal{L}(U,V)</math> or <math>\text{Hom}(U,V)</math> | ||
{{Definition|Linear Algebra}} | {{Definition|Linear Algebra}} | ||
Revision as of 15:34, 7 March 2015
Definition
Given two vector spaces (U,F) and (V,F) (it is important that they are over the same field) we say that a map, T:(U,F)→(V,F) or simply T:U→V (because mathematicians are lazy), is a linear map if:
∀λ,μ∈F and ∀x,y∈U we have T(λx+μy)=λT(x)+μT(y)
Notations
Some authors use L for a linear map.
Because linear maps can often (always if U and V are finite dimensional) be represented as a matrix sometimes the notation Tv is used instead of T(v)
Homomorphism and isomorphism
A linear map is a vector space homomorphism, if it is a bijection then it is a vector space isomorphism.
Categories
The set of all linear maps from (U,F) to (V,F) is often denoted by L(U,V) or Hom(U,V)
