The Tangle of Western Mathematics regarding Isometry.

 Pythagoras → Descartes → Euler/Lagrange/Gauss → Grassmann/Hamilton → Cayley/Sylvester → Gram/Schmidt → modern linear algebra.

PYTHAGOREAN THEOREM

c² = a² + b²

│  establishes the special relationship

│  between perpendicular components and length

ORTHOGONAL COORDINATE COMPONENTS

v = (x₁,x₂,...,xₙ)

│  generalizes Pythagoras

EUCLIDEAN NORM

||v||² = x₁² + x₂² + ... + xₙ²

│  can be written

DOT PRODUCT

v·v = ||v||²

│  and for two vectors

ORTHOGONALITY

u·v = 0

│  allows an orthonormal basis

column-stacking vectors → column matrix → Gram matrix MᵀM → orthonormal set → orthonormal basis → square Q → orthogonal matrix → orthogonal group O(N).


CARTESIAN / ORTHONORMAL BASIS

eᵢ·eⱼ = δᵢⱼ

│  transform the basis:

│  e₁→q₁, e₂→q₂, ... eₙ→qₙ

MATRIX

Q = [q₁ | q₂ | ... | qₙ]

│  ask whether the new basis

│  retains the old dot products

GRAM MATRIX

QᵀQ

│  if those dot products remain

│  exactly those of the Cartesian basis:

QᵀQ = I

ORTHOGONAL MATRIX

Q ∈ O(N)

│  therefore

||Qv||²

= (Qv)ᵀ(Qv)

= vᵀQᵀQv

= vᵀIv

= vᵀv

= ||v||²

LENGTH IS PRESERVED

DISTANCE IS PRESERVED

||Qx-Qy|| = ||x-y||

ADD AN ARBITRARY TRANSLATION t

f(x) = Qx + t

│  because t cancels when comparing points

||f(x)-f(y)|| = ||x-y||

EUCLIDEAN ISOMETRY



Comments

Popular posts from this blog

The smallest ℝeal number in Mathematics and Αlpha and Ωmega

How to Make small Aquaponics wicking bed kit. (Architect's Exploded plan)

Jesus' "love your neighbour as yourself" law and Calculus integration.