{VERSION 4 0 "Mac OS X" "4.0" } {USTYLETAB {PSTYLE "Normal262" -1 200 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 1 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "He ading 4" -1 20 1 {CSTYLE "" -1 -1 "Times" 1 10 0 0 0 1 1 1 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered List 5" -1 201 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 144 2 0 2 2 -1 1 }{PSTYLE "Ordered List 1" -1 202 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 1 }{PSTYLE "Text Output" -1 2 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Bul let Item" -1 15 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 1 }{PSTYLE "Left Justified Maple Out put" -1 12 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Help" -1 10 1 {CSTYLE "" -1 -1 "Courier" 1 9 0 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Author" -1 19 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 8 8 2 0 2 0 2 2 -1 1 }{PSTYLE "Diagnosti c" -1 9 1 {CSTYLE "" -1 -1 "Courier" 1 10 64 128 64 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Normal259" -1 203 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 1 1 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Normal260" -1 204 1 {CSTYLE "" -1 -1 "Time s" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 } {PSTYLE "Heading 2" -1 4 1 {CSTYLE "" -1 -1 "Times" 1 14 0 0 0 1 2 1 2 2 2 2 1 0 0 1 }3 1 0 0 4 4 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered List 3" -1 205 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 72 2 0 2 2 -1 1 }{PSTYLE "Maple Plot" -1 13 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Dash Item" -1 16 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 1 }{PSTYLE "Heading 3" -1 5 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 1 1 2 2 2 2 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered List 4" -1 206 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 108 2 0 2 2 -1 1 }{PSTYLE " Maple Output" -1 11 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Line Printed Output" -1 6 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "List Item" -1 14 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 0 2 0 2 2 -1 1 }{PSTYLE "Normal258" -1 207 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Norma l261" -1 208 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Warning" -1 7 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Error" -1 8 1 {CSTYLE "" -1 -1 "Courier" 1 10 255 0 255 1 2 2 2 2 2 1 1 0 0 1 }1 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "F ixed Width" -1 17 1 {CSTYLE "" -1 -1 "Courier" 1 10 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Heading 1" -1 3 1 {CSTYLE "" -1 -1 "Times" 1 14 0 0 0 1 2 1 2 2 2 2 1 0 0 1 }1 1 0 0 6 4 2 0 2 0 2 2 -1 1 }{PSTYLE "Title" -1 18 1 {CSTYLE "" -1 -1 "Times" 1 18 0 0 0 1 2 1 1 2 2 2 1 0 0 1 }3 1 0 0 12 12 2 0 2 0 2 2 -1 1 } {PSTYLE "Exercise" -1 209 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 -12 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Normal257" -1 210 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 1 2 2 2 2 2 1 0 0 1 }3 1 0 0 0 0 2 0 2 0 2 2 -1 1 }{PSTYLE "Ordered List 2" -1 211 1 {CSTYLE "" -1 -1 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 1 0 0 1 }1 1 0 0 3 3 2 36 2 0 2 2 -1 1 }{CSTYLE "Help Variable" -1 25 "Courier" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Text" -1 200 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help Bold" -1 39 "Times" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Page Number" -1 33 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "2D Math Italic Small" -1 201 "Times" 1 1 0 0 0 1 1 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help Nonterminal" -1 24 "Courier" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Default" -1 38 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Maple Comment" -1 21 "Courier" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Maple Input" -1 0 "Courier" 1 12 255 0 0 1 2 1 2 2 1 2 0 0 0 1 }{CSTYLE "2D Math Small" -1 7 "Times" 1 1 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help Fixed" -1 23 "Courier" 1 10 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Popup" -1 31 "Times" 1 12 0 128 128 1 1 2 1 2 2 2 0 0 0 1 }{CSTYLE "Plot Title" -1 27 "Times" 1 10 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "2D Input" -1 19 "Times" 1 12 255 0 0 1 2 2 2 2 1 2 0 0 0 1 }{CSTYLE "Copyright" -1 34 "Times" 1 10 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Maple Input Placeholder" -1 202 "Couri er" 1 12 200 0 200 1 2 1 2 2 1 2 0 0 0 1 }{CSTYLE "2D Math Bold Small" -1 10 "Times" 1 1 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help Notes" -1 37 "Times" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Help Underlined Bol d" -1 41 "Times" 1 12 0 0 0 1 1 1 2 2 2 2 0 0 0 1 }{CSTYLE "Hyperlink" -1 17 "Times" 1 12 0 128 128 1 2 2 1 2 2 2 0 0 0 1 }{CSTYLE "2D Math \+ Symbol 2" -1 16 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Plo t Text" -1 28 "Times" 1 8 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help I talic" -1 42 "Times" 1 12 0 0 0 1 1 2 2 2 2 2 0 0 0 1 }{CSTYLE "Output Labels" -1 29 "Times" 1 8 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help \+ Heading" -1 26 "Times" 1 14 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Help Normal" -1 30 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "2D C omment" -1 18 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help \+ Maple Name" -1 35 "Times" 1 12 104 64 92 1 2 1 2 2 2 2 0 0 0 1 } {CSTYLE "2D Output" -1 20 "Times" 1 12 0 0 255 1 2 2 2 2 2 2 0 0 0 1 } {CSTYLE "Dictionary Hyperlink" -1 45 "Times" 1 12 147 0 15 1 2 2 1 2 2 2 0 0 0 1 }{CSTYLE "Help Emphasized" -1 22 "Times" 1 12 0 0 0 1 1 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help Italic Bold" -1 40 "Times" 1 12 0 0 0 1 1 2 2 2 2 2 0 0 0 1 }{CSTYLE "LaTeX" -1 32 "Times" 1 12 0 0 0 1 2 2 2 2 2 2 0 0 0 1 }{CSTYLE "Help Menus" -1 36 "Times" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Prompt" -1 1 "Courier" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "Help Underlined" -1 44 "Times" 1 12 0 0 0 1 2 2 1 2 2 2 0 0 0 1 }{CSTYLE "Help Underlined Italic" -1 43 "Times" 1 12 0 0 0 1 1 2 1 2 2 2 0 0 0 1 }{CSTYLE "2D Math Bold" -1 5 "Times" 1 12 0 0 0 1 2 1 2 2 2 2 0 0 0 1 }{CSTYLE "2D Math Italic" -1 3 "Times" 1 12 0 0 0 1 1 2 2 2 2 2 0 0 0 1 }{CSTYLE "" -1 203 "Times" 1 12 0 0 0 1 2 2 1 2 2 2 0 0 0 1 }{PSTYLE "" -1 212 1 {CSTYLE "" -1 -1 "Times" 1 14 0 0 0 1 2 1 2 2 2 2 1 0 0 1 }1 1 0 0 4 4 2 0 2 0 2 2 -1 1 }} {SECT 0 {EXCHG {PARA 4 "" 0 "" {TEXT 204 23 "Jordan Canonical Form I" }}{PARA 0 "" 0 "" {TEXT 205 0 "" }}{PARA 0 "" 0 "" {TEXT 205 0 "" }} {PARA 0 "" 0 "" {TEXT 205 16 "By Russell Blyth" }}{PARA 0 "" 0 "" {TEXT 205 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "restart: w ith(LinearAlgebra):" }}}{SECT 1 {PARA 3 "" 0 "" {TEXT 206 32 "Jordan C anonical Form - Examples" }}{EXCHG {PARA 0 "" 0 "" {TEXT 205 158 "For \+ an n x n matrix A over a field F, the Jordan canonical form can be f ound as long as the characteristic polynomial of A splits. Let's see a few examples." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 60 "A := Matr ix([[-2, 0, 2], [-2, -1, 3], [0, 0, -4]]);\nfactor(" }{MPLTEXT 1 0 33 "CharacteristicPolynomial(A,t));\n" }{MPLTEXT 1 0 14 "JordanForm(A);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 100 "A has three distinct eigenval ues and hence is diagonalizable. The Jordan canonical form is diagonal ." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 49 "B := Matrix([[1, 1, 1] , [0, 1, 0], [0, 0, 0]]);\n" }{MPLTEXT 1 0 40 "factor(CharacteristicPo lynomial(B,t));\n" }{MPLTEXT 1 0 14 "JordanForm(B);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 164 "Thus B is has two Jordan blocks, one 1x1 bloc k corresponding to the eigenvalue 0, and a 2x2 block corresponding to \+ the eigenvalue 1 - thus B is not diagonalizable." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 60 "C := Matrix([[1,1,1,1], [0,1,0,0], [0,0,1,0], [0,0,0,0]]);\n" }{MPLTEXT 1 0 40 "factor(CharacteristicPolynomial(C,t ));\n" }{MPLTEXT 1 0 14 "JordanForm(C);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 75 "Here there are three Jordan blocks - two corresponding t o the eigenvalue 1." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 60 "E := Matrix([[1,1,1,1], [0,1,0,0], [0,0,1,0], [0,0,0,1]]);\n" }{MPLTEXT 1 0 40 "factor(CharacteristicPolynomial(E,t));\n" }{MPLTEXT 1 0 14 "Jord anForm(E);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 65 "E has three Jordan blocks, all corresponding to the eigenvalue 1." }}{PARA 0 "" 0 "" {TEXT 205 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 60 "F := Matri x([[1,1,1,1], [0,1,0,0], [0,0,2,1], [0,0,0,2]]);\n" }{MPLTEXT 1 0 40 " factor(CharacteristicPolynomial(F,t));\n" }{MPLTEXT 1 0 14 "JordanForm (F);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 27 "F has two 2x2 Jordan blo cks" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 104 "G := Matrix([[1,1,1 ,1,1,1], [0,1,0,0,0,1], [0,0,1,1,1,0], [0,0,0,1,1,1],[0,0,0,0,2,1],[0, 0,0,0,0,2]]);\n" }{MPLTEXT 1 0 40 "factor(CharacteristicPolynomial(G,t ));\n" }{MPLTEXT 1 0 14 "JordanForm(G);" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 128 "G has a 2x2 Jordan block corresponding to the eigenvalu e 2, and a 3x3 and a 1x1 Jordan block corresponding to the eigenvalue 1." }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 0 "" }}{PARA 0 "" 0 "" {TEXT 205 140 "Note that G and H (below) have the same characteristic polyno mial, but different Jordan canonical forms. (Thus the Jordan canonical form is " }{TEXT 203 3 "not" }{TEXT 205 162 " determined by the chara cteristic polynomial alone - the diagonal entries of the Jordan canoni cal form, however, are determined by the characteristic polynomial.)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 104 "H := Matrix([[1,1,1,1,1, 1], [0,1,1,0,0,1], [0,0,1,1,1,0], [0,0,0,1,1,1],[0,0,0,0,2,1],[0,0,0,0 ,0,2]]);\n" }{MPLTEXT 1 0 40 "factor(CharacteristicPolynomial(H,t));\n " }{MPLTEXT 1 0 16 "JordanForm(H);\n" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 95 "Now find a basis with respect to which the linear operator T = L_B is in Jordan canonical form." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 4 "B;\n" }{MPLTEXT 1 0 38 "factor(CharacteristicPolynomia l(B,t));" }}}{EXCHG {PARA 204 "" 0 "" {TEXT 207 12 "We know that" } {TEXT 200 185 " K_0(T) has dimension 1, and K_1(T) has dimension 2, ma tching the multiplicities of the eigenvalues. We know that K_0(T) = N( T) and K_1(T) = N((T-I)^2). We find bases for these spaces. " }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 27 "id3 := IdentityMatrix(3);\n" }{MPLTEXT 1 0 21 "GES0 := NullSpace(B);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "beta01 := GES0[1];" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 31 "GES1 := NullSpace((B - id3)^2);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "beta11 := GES1[1];\n" }{MPLTEXT 1 0 20 "beta1 2 := GES1[2];\n" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 34 "There are thr ee basis vectors for " }{XPPEDIT 2 0 "Typesetting:-mrow(Typesetting:-m i(\"\"), Typesetting:-mverbatim(\"6#*$)I\"RG6\"\"\"$\"\"\"\"), Typeset ting:-mo(\";\", form = \"infix\", fence = \"false\", separator = \"tru e\", lspace = \"0em\", rspace = \"thickmathspace\", stretchy = \"false \", symmetric = \"false\", maxsize = \"infinity\", minsize = \"1\", la rgeop = \"false\", movablelimits = \"false\", accent = \"false\", font _style_name = \"2D Math\", size = \"12\", foreground = \"[0,0,0]\", ba ckground = \"[255,255,255]\"));" "-I%mrowG6#/I+modulenameG6\"I,Typeset tingGI(_syslibGF'6%-I#miGF$6#Q!F'-I*mverbatimGF$6#Q26#*$)I\"RG6\"\"\"$ \"\"\"F'-I#moGF$63Q\";F'/%%formGQ&infixF'/%&fenceGQ&falseF'/%*separato rGQ%trueF'/%'lspaceGQ$0emF'/%'rspaceGQ/thickmathspaceF'/%)stretchyGF " 0 "" {MPLTEXT 1 0 21 "v2 := (B-id3).beta11;" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 279 " Since v2 is not zero, beta11 is an eigenvector, is a good choice for t he final vector of the cycle of generalized eigenvectors corresponding to the eigenvalue 1, with the initial vector then being v2 (=beta12) \+ (v2 is an eigenvector of T corresponding to the eigenvalue 1). Check:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "(B-id3).beta12;" }}} {EXCHG {PARA 0 "" 0 "" {TEXT 205 116 "Since beta11 and v2 (= beta12 in this case) are independent, our Jordan basis is \{beta01, v2, beta12 \}. Try it out:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "Q := ;" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 205 59 "This matrix \+ then transforms B to its Jordan canonical form." }}}{EXCHG {PARA 0 "> \+ " 0 "" {MPLTEXT 1 0 11 "Q^(-1).B.Q;" }}}{SECT 1 {PARA 212 "" 0 "" {TEXT 204 9 "Exercises" }}{PARA 0 "" 0 "" {TEXT 200 40 "1. Find a Jord an basis for the matrix F." }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "" 0 "" {TEXT 200 40 "2. Find a Jordan basis for \+ the matrix H." }}}{EXCHG {PARA 0 "> " 0 "" {XPPEDIT 19 1 "" "%#%?G" }} }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}} {MARK "0 0 0" 0 }{VIEWOPTS 1 1 0 15 10 1804 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }