4.1: Transformation

Last updated

Mar 8, 2022
Save as PDF
- 4: Transformational Geometry
- 4.2: Analytic Transformational Geometry

$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$

$\newcommand{\id}{\mathrm{id}}$ $\newcommand{\Span}{\mathrm{span}}$

( \newcommand{\kernel}{\mathrm{null}\,}\) $\newcommand{\range}{\mathrm{range}\,}$

$\newcommand{\RealPart}{\mathrm{Re}}$ $\newcommand{\ImaginaryPart}{\mathrm{Im}}$

$\newcommand{\Argument}{\mathrm{Arg}}$ $\newcommand{\norm}[1]{\| #1 \|}$

$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$\newcommand{\Span}{\mathrm{span}}$

$\newcommand{\id}{\mathrm{id}}$

$\newcommand{\Span}{\mathrm{span}}$

$\newcommand{\kernel}{\mathrm{null}\,}$

$\newcommand{\range}{\mathrm{range}\,}$

$\newcommand{\RealPart}{\mathrm{Re}}$

$\newcommand{\ImaginaryPart}{\mathrm{Im}}$

$\newcommand{\Argument}{\mathrm{Arg}}$

$\newcommand{\norm}[1]{\| #1 \|}$

$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

$\newcommand{\Span}{\mathrm{span}}$ $\newcommand{\AA}{\unicode[.8,0]{x212B}}$

$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$

$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$

$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vectorC}[1]{\textbf{#1}}$

$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$

$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$

$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$

$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$

$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$

$\newcommand{\avec}{\mathbf a}$

$\newcommand{\bvec}{\mathbf b}$

$\newcommand{\cvec}{\mathbf c}$

$\newcommand{\dvec}{\mathbf d}$

$\newcommand{\dtil}{\widetilde{\mathbf d}}$

$\newcommand{\evec}{\mathbf e}$

$\newcommand{\fvec}{\mathbf f}$

$\newcommand{\nvec}{\mathbf n}$

$\newcommand{\pvec}{\mathbf p}$

$\newcommand{\qvec}{\mathbf q}$

$\newcommand{\svec}{\mathbf s}$

$\newcommand{\tvec}{\mathbf t}$

$\newcommand{\uvec}{\mathbf u}$

$\newcommand{\vvec}{\mathbf v}$

$\newcommand{\wvec}{\mathbf w}$

$\newcommand{\xvec}{\mathbf x}$

$\newcommand{\yvec}{\mathbf y}$

$\newcommand{\zvec}{\mathbf z}$

$\newcommand{\rvec}{\mathbf r}$

$\newcommand{\mvec}{\mathbf m}$

$\newcommand{\zerovec}{\mathbf 0}$

$\newcommand{\onevec}{\mathbf 1}$

$\newcommand{\real}{\mathbb R}$

$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$

$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$

$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$

$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$

$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$

$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$

$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$

$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$

$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$

$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$

$\newcommand{\bcal}{\cal B}$

$\newcommand{\ccal}{\cal C}$

$\newcommand{\scal}{\cal S}$

$\newcommand{\wcal}{\cal W}$

$\newcommand{\ecal}{\cal E}$

$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$

$\newcommand{\gray}[1]{\color{gray}{#1}}$

$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$

$\newcommand{\rank}{\operatorname{rank}}$

$\newcommand{\row}{\text{Row}}$

$\newcommand{\col}{\text{Col}}$

$\renewcommand{\row}{\text{Row}}$

$\newcommand{\nul}{\text{Nul}}$

$\newcommand{\var}{\text{Var}}$

$\newcommand{\corr}{\text{corr}}$

$\newcommand{\len}[1]{\left|#1\right|}$

$\newcommand{\bbar}{\overline{\bvec}}$

$\newcommand{\bhat}{\widehat{\bvec}}$

$\newcommand{\bperp}{\bvec^\perp}$

$\newcommand{\xhat}{\widehat{\xvec}}$

$\newcommand{\vhat}{\widehat{\vvec}}$

$\newcommand{\uhat}{\widehat{\uvec}}$

$\newcommand{\what}{\widehat{\wvec}}$

$\newcommand{\Sighat}{\widehat{\Sigma}}$

$\newcommand{\lt}{<}$

$\newcommand{\gt}{>}$

$\newcommand{\amp}{&}$

$\definecolor{fillinmathshade}{gray}{0.9}$

4.1.1 Planar Transformations

Definition: Transformation

A function is a transformation if and only if it is one-to-one and onto.

Definition: Planar Transformation

A transformation is a planar transformation if and only if it is from ℝ² to ℝ².

For this course all transformations will be transformations of the Euclidean plane.

Describe the effect of each of the following transformations by considering the effects on the region (area) with the following vertices. (0,0), (2,0), (3,5), (0,4). Hint: map the vertices, then map the lines connecting the vertices.

T₁: (x, y) → (y, x).
T₂: (x, y) → (x/2, y/2).
T₃: (x, y) → (1-x³, 1-y³)
T₄: (x, y) → ((x²+y²)^1/2x, (x²+y²)^1/2y).

4.1.2 Isometry

Definition: Isometry

A transformation is an isometry if and only if ll P - Q ll = ll T(P) - T(Q) ll.

Determine which of the following transformations are isometries.

T₁: (x, y)→ (2x, 2y)
T₁: (x, y)→ (-y, -x)
T₁: (x, y)→ $\begin{bmatrix} cosθ & sinθ \\ -sinθ & cosθ \end{bmatrix}$ $\begin{bmatrix} x \\ y \end{bmatrix}$

Lemma

The composition of two isometries is an isometry.

Theorem: Isometries preserve colinearity

For any isometry T if A, B and C are colinear, then T(A), T(B) and T(C) are colinear.

Corollary: Isometries preserve betweeness

For any isometry T if A-B-C then T(A)-T(B)-T(C).

Theorem: Isometries preserve triangles

For any isometry T and any three points △ABC ≌ △T(A)T(B)T(C).

Theorem: Isometries preserve angles

For any isometry T m∠ABC = m∠T(A)T(B)T(C) and any three points.

Theorem: Isometries preserve parallelism

For any isometry if T ℓ₁ ll ℓ₂ and only if T(ℓ₁) ll T(ℓ₂).

Theorem: Isometries preserve circles

For any isometry T circles are mapped to congruent circles.

4.1.3 Dilations

Definition: Dilation

A transformation is a dilation if and only if it can be defined by a point Z and a ratio k such that T(P)=Q where Z-P-Q and llZQll/llZPll=k.

Definition: Similarity

A transformation is a similarity if and only if it can be expressed as a composition of an isometry and a dilation.

Lemma: Similarity scales segments uniformly

For any similarity T, llT(A)T(B)ll/llABll=k.

Theorem: Similarity preserves colinearity

For any similarity T if A, B, and C are colinear, then T(A), T(B), and T(C) are colinear.

Corollary: Similarity preserves betweeness

For any similarity T if then A-B-C then T(A)-T(B)-T(C).

Theorem: Similarity preserves triangle similarity

For any similarity T and any three points △ABC∽△T(A)T(B)T(C).

Theorem: Similarity preserves angles

T For any similarity and any three points ∠mABC∽ ∠ mT(A)T(B)T(C).

Theorem: Similarity preserves parallelism

For any similarity T ℓ₁ ll ℓ₂ if and only if T(ℓ₁) ll T(ℓ₂).

Theorem

For any similarity T circles are mapped to circles.

Lemma: Similarities are closed

The composition of two similarities is a similarity.

Search

Text Color

Text Size

Margin Size

Font Type

Definition: Transformation

Definition: Planar Transformation

Definition: Isometry

Lemma

Theorem: Isometries preserve colinearity

Corollary: Isometries preserve betweeness

Theorem: Isometries preserve triangles

Theorem: Isometries preserve angles

Theorem: Isometries preserve parallelism

Theorem: Isometries preserve circles

Definition: Dilation

Definition: Similarity

Lemma: Similarity scales segments uniformly

Theorem: Similarity preserves colinearity

Corollary: Similarity preserves betweeness

Theorem: Similarity preserves triangle similarity

Theorem: Similarity preserves angles

Theorem: Similarity preserves parallelism

Theorem

Lemma: Similarities are closed

4.1.1 Planar Transformations

Definition: Transformation

Definition: Planar Transformation

4.1.2 Isometry

Definition: Isometry

Lemma

Theorem: Isometries preserve colinearity

Corollary: Isometries preserve betweeness

Theorem: Isometries preserve triangles

Theorem: Isometries preserve angles

Theorem: Isometries preserve parallelism

Theorem: Isometries preserve circles

4.1.3 Dilations

Definition: Dilation

Definition: Similarity

Lemma: Similarity scales segments uniformly

Theorem: Similarity preserves colinearity

Corollary: Similarity preserves betweeness

Theorem: Similarity preserves triangle similarity

Theorem: Similarity preserves angles

Theorem: Similarity preserves parallelism

Theorem

Lemma: Similarities are closed

Support Center

How can we help?