next up previous
Next: e_htls Up: e_htls Previous: e_htls

0. Characterizations

Definition. $ T:$   R$ ^m \rightarrow$   R$ ^n$ is a (homogeneous) linear transformation (h.l.t.) if

(i) $ T($v$ +$   w$ ) = T($v$ ) + T($w$ )$, for any v$ ,$   w (``additivity''), and

(ii) $ T(r$   v$ ) = rT($v$ )$, for any vector v and scalar $ r$ (``homogeneity'').



Example. Let $ A$ be an $ m \times n$ matrix, and let $ T _ A$ be defined by $ T _ A($x$ ) =$   x$ A$ (where x is any row vector). Then $ T _ A$ is a homogeneous linear transformation, by the rules for matrices.



Observations. If $ T$ is a homogeneous linear transformation, then

(a) $ T($0$ ) =$   0 (the origin goes to the origin),

(b) $ T(r$   v$ + s$   w$ ) = rT($v$ ) + s T($w$ )$ ($ T$ is compatible with linear combinations).



\fbox{\parbox{5.2in}{\parskip=1.0ex plus 0.4ex minus 0.4ex {
{\bf Theorem.} {\em...
...\)has the form \(T _ A(\mbox{\bf x}) = \mbox{\bf x} A\),
for a unique \(A\).
}}}



Outline of proof. For any $ T$, let $ A$ be the matrix whose $ i$-th row is $ T($e$ ^{(i)})$; then $ T($x$ )$ is the same as x$ A$ for x$ =$ one of the e$ ^{(i)}$ and so for any x, since every vector x in R$ ^ m$ is a linear combination of standard basis vectors and $ T$ preserves linear combinations. Thus $ T = T _ A$.

Remarks

(1) The word ``homogeneous'' really refers to the property (ii). Homogeneous linear transformations leave the origin fixed. We emphasize the word because we'll also be considering ``affine'' transformations, which are a generalization of linear transformations in which the origin can be moved. Because these still take lines to lines, some texts also call affine transformations ``linear''.

(2) If we're thinking about homogeneous linear transformations abstractly we'll use just the letter $ T$; if we have $ A$ in mind we'll use $ T _ A$. By the Theorem these two points of view are equivalent. Later on we'll use $ T$ for other kinds of transformations as well.

(3) The definition of $ T _ A($x$ )$ as x$ A$ assumes that the $ n$-tuple x is represented as a row vector; this is a common assumption in computer graphics packages. If we use column vectors, it would be $ A$   x. Notes in this course generally assume row vectors.

(4) In projective geometry, it is shown that any one-to-one transformation of R$ ^n$ onto itself taking lines to lines and the origin to the origin must be a homogeneous linear transformation. (This is a deep fact.)




next up previous
Next: e_htls Up: e_htls Previous: e_htls
Kirby A. Baker 2002-01-10