Linear mapping, Linear transformation, Linear operator, Linear map, isomorphism, homomorphism

SolitaryRoad.com

Website owner:  James Miller

[ Home ] [ Up ] [ Info ] [ Mail ]

LINEAR MAPPING (OR LINEAR TRANSFORMATION)

Def. Linear mapping (or linear transformation). A linear mapping (or linear transformation) is a mapping defined on a vector space that is linear in the following sense: Let V and W be vector spaces over the same field F. A linear mapping is a mapping V→ W which takes ax + by into ax' + by' for all a and b if it takes vectors x and y in V into x' and y' in W. The numbers a and b may be real, complex or of any field for which multiplication with elements of the field is defined.

A linear mapping is a mapping that "preserves" the two basic operations of a vector space, that of vector addition and that of scalar multiplication. A linear mapping effects a vector space homomorphism. If it is nonsingular it effects a vector space isomorphism. A consequence of the linearity of a mapping is that subspaces are mapped into subspaces.

An example of such a mapping in n-dimensional space, V_n(F), is

y = Ax

where x and y are n-vectors and A is an nxn matrix. This represents a mapping of n-space into itself.

Note. There are alternative but equivalent definitions of a linear mapping.

Alternate definition 1. Let V and W be vector spaces over the same field F. A linear mapping is a mapping Q: V → W that satisfies the following two conditions:

1. For any x,y in V, Q(x + y) = Q(x) + Q(y)

2. For any a in F and any x in V, Q(ax) = aQ(x)

By combining the above two conditions of linearity we obtain a third definition:

Alternate definition 2. Let V and W be vector spaces over the same field F. A linear mapping is a mapping Q: V → W such that

Q(av₁ + bv₂) = aQ(v₁) + bQ(v₂)

for all vectors v₁, v₂ ε V and scalars a, b ε F.

A generalization of this definition gives the following basic property of linear mappings:

Basic property. If Q: V → W is a linear mapping over a field F, then for any scalars a_i in F and vectors v_i in V

Q(a₁v₁ + a₂v₂ + ......... + a_nv_n) = a₁Q(v₁) + a₂Q(v₂) + ............... + a₂Q(v₂)

Synonyms: Linear Transformation, Linear Operator, Linear map, Vector Space Homomorphism, Linear vector function, Morphism, Homogeneous affine transformation

Isomorphism. Two axiomatically-defined abstract mathematical systems as, for example, two groups, rings, linear spaces , etc. are said to be isomorphic to each other if they are equivalent structurally, algebraically; in their internal workings, with like elements corresponding in a one-to-one fashion; the differences between them being only superficial ones as in the names we give the elements and the way we denote the law of combination.

Homomorphism. As with an isomorphism, a homomorphism is also a correspondence between two mathematical structures that are structurally, algebraically identical. However, there is an important difference between a homomorphism and an isomorphism. An isomorphism is a one-to-one mapping of one mathematical structure onto another. A homomorphism is a many-to-one mapping of one structure onto another. Where an isomorphism maps one element into another element, a homomorphism maps a set of elements into a single element. Its definition sounds much the same as that for an isomorphism but allows for the possibility of a many-to-one mapping. An isomorphism is actually a special case of a homomorphism.

Concept of an operator. The term “operator” is another term for function. An operator assigns an object from one set (the range) to an object from another set (the domain). If we are talking about vector spaces we think of an operator as “operating” on one vector to produce another vector. It is viewed as a black box that operates on vectors to produce other vectors. The black box has an input and an output. We input a vector into the box and it then outputs a vector. An example is the matrix A in the matrix equation y = Ax where A is viewed as a black box that operates on the vector x to produce vector y. Here matrix A maps a vector x from one space (the domain) into the vector y in another space (the range).

Linear transformation y = Ax. The linear transformation of primary interest in matrix theory is the transformation y =Ax. If A is an mxn matrix then A can be viewed as a linear operator that maps n-vectors of n-space into m-vectors of m-space. If A is an n-square matrix it can be viewed as mapping n-vectors into n-vectors i.e. mapping n-space into itself. Matrix A may be singular or non-singular. The mapping has an inverse if and only if the matrix A is non-singular. The inputs that matrix A operates on can be viewed as vectors or as points. It is just a matter of point of view, of outlook, of terminology. We can think of matrix A as mapping figures in n-space into other figures. When we think of y = Ax as mapping points into other points we may call it a linear point transformation — just to emphasize that point of view.

For the case of point transformations of real n-space into itself it is natural to ask what kind of transformation y = Ax effects on figures. What effect does it have on circles in 2-space, spheres in 3-space, etc.? In fact, provided the determinant |A| ≠0, it is a special kind of affine transformation called a homogeneous affine transformation. Such transformations carry points into points, straight lines into straight lines, parallel lines into parallel lines, and if a point divides a line segment into a given ratio, the image of the point divides the image of the segment into the same ratio. Every curve or surface of second degree is carried into another of the second degree and, in general, every curve or surface of degree n is carried into another of the same degree. A region of space is carried into an image region whose volume is a constant factor (namely, Δ, the determinant of the transformation) times the volume of the original region. A homogeneous affine transformation in three dimensional space produces an effect that is equivalent to some rotation of the coordinate system about the origin and then three contractions/elongations perpendicular to the three coordinate planes with certain coefficients k₁, k₂, k₃.

References

James & James. Mathematics Dictionary.

Lipschutz. Linear Algebra.

Klein. Elementary Mathematics from an Advanced Standpoint. Geometry.