InverseTransformation.md (3431B)
1 # Inverse Transformation (and matricies) 2 3 Khan U2 4 5 **Definition:** The inverse of a transformation is the transformation that undoes the original transformation for the entire domain codomain of the original transformation. 6 7 This transformation must be [Bijective](Bijective.md) otherwise there will be issues with mappings either there are outputs without inputs or there are outputs with multiple inputs. 8 9 A transformation is invertible if and only if there exists an f^-1 such that f^-1 composed with f is I (identity function). 10 11 (in the world of L.T.'s) Assume the standard matrix of f is A and the standard matrix of f^-1 is B. We then know: 12 13 AB = I 14 15 ## Unique? 16 17 Inverse functions are unique (there is only one). 18 19 Let's assume they are not. We then find A(x) = B(x) for all x in R^n. This means A and B are the same function, but they are not. This is a contradiction. 20 21 ## Invertible? 22 23 To find this we know it needs to be bijective. When solving for RREF if there are instances in the R^m space, where R^m is the codomain, that are not mapped to (found by having a row of zeroes where we can't map to everything based on the combination) then the standard matrix is not invertible as it stands from R^n to R^m. 24 25 As such, T is onto iff C(A) = R^m (columns span R^m). **We know this is only true when RREF has a pivot in each row. ([Rank](Rank.md) of the matrix = m)** 26 27 For injectivity we test for one-to-one. To find this we need to make sure the rank of the matrix is equal to n where n is the number of columns. 28 29 Basically, we need a square matrix that is linearly independent (rows = columns). 30 31 As such, the matrix is only invertable if the RREF is the identity matrix in R^n. 32 33 Another thing about this; if the determinant is not 0 the matrix is invertible if not then it is not invertible. 34 35 ## Solving 36 37 #### Intuitive 38 39 There are formulas and stuff for solving this, but let's think from an intuitive sense first. To solve for the inverse of some matrix we need to find the matrix that converts from the original matrix to the identity matrix. If we are to create an augmented matrix where the left is the original matrix and the right is the identity matrix we can then perform changes to both sides to convert the left side to the identity matrix. By doing this we will then be left with the right side as the inverse matrix. 40 41 That's a lot of text so let's do a simple example of a 2x2 matrix: 42 43 $A=\begin{bmatrix} 44 2 & 3 &| 1 & 0 \\ 45 1 & 2 & |0 & 1 46 \end{bmatrix}$ 47 48 $\begin{bmatrix} 49 1 & 1 & |1 & -1 \\ 50 0 & 1 &|-1 & 2 51 \end{bmatrix}$ 52 53 $\begin{bmatrix} 54 1 & 0 & |2 & -3 \\ 55 0 & 1 & |-1 & 2 56 \end{bmatrix}$ 57 58 Solution: 59 60 $A^{-1} =\begin{bmatrix} 61 2 & -3 \\ 62 -1 & 2 63 \end{bmatrix}$ 64 65 As can be seen we simply make changes on the left side and update the former identity accordingly to track what matrix would result in such a matrix on the left side starting from the original matrix. 66 67 #### Formulaic 68 69 The formula is useful, but simply a description of the rules we can apply. For the 2x2 formula we 0 the first column from the second row, zero the second column from the first row, and then normalize both rows. 70 71 I was going to show this derivation, but it is trivial and long. 72 73 ##### 2x2 Formula: 74 75 $A =\begin{bmatrix} 76 a & b \\ 77 c & d 78 \end{bmatrix}$ 79 80 $A^{-1}= 81 \frac{1}{ad-bc} 82 \begin{bmatrix} 83 d & -b \\ 84 -c & a 85 \end{bmatrix}$ 86 87 The interestinge thing about this is the denominator of the fraction out front is the determinant of the matrix.