Dimension
Worksheet by Russell Blyth, revised by Mike May, S.J.
restart: with(LinearAlgebra): with(plots): with(plottools):
Warning, the name changecoords has been redefined
Warning, the assigned name arrow now has a global binding
Preparatory Work - Computing the Reduced Row Echelon Form
Consider a matrix A, as given below. How do we find a basis for the column space of the matrix? How do we find a basis for the null space of the matrix?
Let A be the matrix
A:= <<-3,-5,6,-6,6>|<0,-3,0,-2,-2>|<-3,1,6,-2,10>|<-10,-5,-10,8,-11>|<-13,-4,-4,6,-1>|<7,-3,16,-16,15>>;
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJBRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2Jy1JJG10ckdGJTYoLUkkbXRkR0YlNiMtSSNtbkdGJTY5USkmbWludXM7M0YoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRltzNiMtRl5zNjlRIjBGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GanItRltzNiMtRl5zNjlRKiZtaW51czsxMEYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVEqJm1pbnVzOzEzRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5USI3RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYoLUZbczYjLUZeczY5USkmbWludXM7NUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcb0Zqci1GW3M2Iy1GXnM2OUZncEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GanQtRltzNiMtRl5zNjlRKSZtaW51czs0RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmpyLUZocjYoLUZbczYjLUZeczY5USI2RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmRzRmp1RmlzRmN1LUZbczYjLUZeczY5USMxNkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2KC1GW3M2Iy1GXnM2OVEpJm1pbnVzOzZGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRKSZtaW51czsyRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRlt3LUZbczYjLUZeczY5USI4RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmp1LUZbczYjLUZeczY5USombWludXM7MTZGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRmhyNihGanVGW3ctRltzNiMtRl5zNjlRIzEwRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5USombWludXM7MTFGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRKSZtaW51czsxRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5USMxNUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkiQUdGKC1JJ1JUQUJMRUdGKDYlIihDRFglLUknTUFUUklYR0YoNiM3JzcoISIkIiIhRmh6ISM1ISM4IiIoNyghIiZGaHoiIiJGXltsISIlRmh6NygiIidGaXpGYltsRmp6RmBbbCIjOzcoISInISIjRmZbbCIiKUZiW2whIzs3KEZiW2xGZltsIiM1ISM2ISIiIiM6SSdNYXRyaXhHNiQlKnByb3RlY3RlZEdGKjcjLUZeXGw2Iy9JJCVpZEdGKEZieg==
Compute the rank of A:
Rank(A);
NiQtSSNtbkc2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGKDY5USIzRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHRjUvJSp1bmRlcmxpbmVHRjUvJSpzdWJzY3JpcHRHRjUvJSxzdXBlcnNjcmlwdEdGNS8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjUvJStleGVjdXRhYmxlR0Y1LyUpcmVhZG9ubHlHUSV0cnVlRigvJSljb21wb3NlZEdGNS8lKmNvbnZlcnRlZEdGNS8lK2ltc2VsZWN0ZWRHRjUvJSxwbGFjZWhvbGRlckdGNS8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZALyUvbWF0aGJhY2tncm91bmRHRkMvJStmb250ZmFtaWx5R0YvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0YyNyMiIiQ=
How does the rank of A relate to the dimensions of the vector spaces we are interested in studying? We row reduce A next:
RowReducedA := ReducedRowEchelonForm(A);
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USxSb3dSZWR1Y2VkQUYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNictSSRtdHJHRiU2KC1JJG10ZEdGJTYjLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZbczYjLUZeczY5USIwRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvRmpyRmNzRmpyRmpyLUZocjYoRmNzRmpyLUZbczYjLUZeczY5USkmbWludXM7MkYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcb0Zjc0Zqc0Zqci1GaHI2KEZjc0Zjc0Zjc0ZqckZqci1GW3M2Iy1GXnM2OVEpJm1pbnVzOzFGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG8tRmhyNihGY3NGY3NGY3NGY3NGY3NGY3NGZnQtRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JLFJvd1JlZHVjZWRBR0YoLUknUlRBQkxFR0YoNiUiKFNUJVwtSSdNQVRSSVhHRig2IzcnNygiIiIiIiFGYHZGYXZGYHZGYHY3KEZhdkZgdiEiI0ZhdkZjdkZgdjcoRmF2RmF2RmF2RmB2RmB2ISIiNyhGYXZGYXZGYXZGYXZGYXZGYXZGZnZJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRmd2NiMvSSQlaWRHRihGanU=
We conclude that:
1) The rank of the matrix is 3, so the set of 6 column vectors cannot be linearly independent. The biggest subset of linearly independent vectors has size 3.
Finding a basis of the Column Space
From the work above, we also conclude that:
2) The pivots of the reduced echelon form correspond to independent vectors. Thus the first, second, and fourth columns of vectors in A form a linearly independent set.
Let's see how to write the other three column vectors of A as linear combinations of the three columns with pivots. We first break the matrix up into a list of columns for ease of noation. We also produce a matrix B which is composed of the columns we claim span the column space.
v1:=Column(A,1): v2:=Column(A,2): v3:=Column(A,3):
v4:=Column(A,4): v5:=Column(A,5): v6:=Column(A,6):
ColumnList := [v1, v2, v3, v4, v5, v6];
B:= DeleteColumn(DeleteColumn(A,5..6),3);
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5UStDb2x1bW5MaXN0RigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNi0tRiQ2JUZocS1GJDYjLUknbXRhYmxlR0YlNictSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEpJm1pbnVzOzNGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZcczYjLUZfczYjLUZiczY5USkmbWludXM7NUYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GXHM2Iy1GX3M2Iy1GYnM2OVEiNkYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GXHM2Iy1GX3M2Iy1GYnM2OVEpJm1pbnVzOzZGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG9GX3QtRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl9vNjNRIixGKEZib0Zlby9GaG9GOy9Gam9RJDBlbUYoL0ZdcFEzdmVyeXRoaWNrbWF0aHNwYWNlRihGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JUZocS1GJDYjLUZpcjYnLUZcczYjLUZfczYjLUZiczY5USIwRihGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvRltzRmJ2LUZcczYjLUZfczYjLUZiczY5USkmbWludXM7MkYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0ZpdkZddUZkdS1GJDYlRmhxLUYkNiMtRmlyNidGW3MtRlxzNiMtRl9zNiMtRmJzNjlGZ3BGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvRl90Rml2LUZcczYjLUZfczYjLUZiczY5USMxMEYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0ZddUZkdS1GJDYlRmhxLUYkNiMtRmlyNictRlxzNiMtRl9zNiMtRmJzNjlRKiZtaW51czsxMEYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0Zoc0ZpeC1GXHM2Iy1GX3M2Iy1GYnM2OVEiOEYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GXHM2Iy1GX3M2Iy1GYnM2OVEqJm1pbnVzOzExRihGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvRl11RmR1LUYkNiVGaHEtRiQ2Iy1GaXI2Jy1GXHM2Iy1GX3M2Iy1GYnM2OVEqJm1pbnVzOzEzRihGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvLUZcczYjLUZfczYjLUZiczY5USkmbWludXM7NEYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0ZbW2xGX3QtRlxzNiMtRl9zNiMtRmJzNjlRKSZtaW51czsxRihGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvRl11RmR1LUYkNiVGaHEtRiQ2Iy1GaXI2Jy1GXHM2Iy1GX3M2Iy1GYnM2OVEiN0YoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0Zbcy1GXHM2Iy1GX3M2Iy1GYnM2OVEjMTZGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG8tRlxzNiMtRl9zNiMtRmJzNjlRKiZtaW51czsxNkYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GXHM2Iy1GX3M2Iy1GYnM2OVEjMTVGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG9GXXVGXXU3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JK0NvbHVtbkxpc3RHRig3KC1JJ1JUQUJMRUdGKDYlIihbUFAlLUknTUFUUklYR0YoNiM3JzcjISIkNyMhIiY3IyIiJzcjISInRmBfbCZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKC1GZV5sNiUiKDs8byctRmlebDYjNyc3IyIiIUZcX2xGYGBsNyMhIiNGYmBsRmRfbC1GZV5sNiUiKG8kem0tRmlebDYjNydGXF9sNyMiIiJGYF9sRmJgbDcjIiM1RmRfbC1GZV5sNiUiKDdUXyctRmlebDYjNyc3IyEjNUZeX2xGZGFsNyMiIik3IyEjNkZkX2wtRmVebDYlIigjcDZYLUZpXmw2IzcnNyMhIzg3IyEiJUZiYmxGYF9sNyMhIiJGZF9sLUZlXmw2JSIoZ3leJS1GaV5sNiM3JzcjIiIoRlxfbDcjIiM7NyMhIzs3IyIjOkZkX2w3IzcoLUZkX2w2Iy9JJCVpZEdGKEZnXmwtRmRfbDYjL0ZpY2xGXGBsLUZkX2w2Iy9GaWNsRmZgbC1GZF9sNiMvRmljbEZgYWwtRmRfbDYjL0ZpY2xGXGJsLUZkX2w2Iy9GaWNsRmhibA==
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJCRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2Jy1JJG10ckdGJTYlLUkkbXRkR0YlNiMtSSNtbkdGJTY5USkmbWludXM7M0YoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRltzNiMtRl5zNjlRIjBGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRKiZtaW51czsxMEYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2JS1GW3M2Iy1GXnM2OVEpJm1pbnVzOzVGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GanJGYHQtRmhyNiUtRltzNiMtRl5zNjlRIjZGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GZHNGaXMtRmhyNiUtRltzNiMtRl5zNjlRKSZtaW51czs2RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5USkmbWludXM7MkYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GW3M2Iy1GXnM2OVEiOEYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcby1GaHI2JUZndEZjdS1GW3M2Iy1GXnM2OVEqJm1pbnVzOzExRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZfbzYzUSJdRigvRmNvUShwb3N0Zml4RihGXXJGZ29GXnIvRl1wUTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRmFyRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM+SSJCR0YoLUknUlRBQkxFR0YoNiUiKCc0S3ItSSdNQVRSSVhHRig2IzcnNyUhIiQiIiEhIzU3JSEiJkZceEZgeDclIiInRl14Rl54NyUhIichIiMiIik3JUZieEZleCEjNkknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GaXg2Iy9JJCVpZEdGKEZmdw==
Now we can use LinearSolve to express the other columns as linear combinations of the spanning columns.
lc3 := LinearSolve(B,v3):
lc5 := LinearSolve(B,v5):
lc6 := LinearSolve(B,v6):
LinCombList := [lc3, lc5, lc6];
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USxMaW5Db21iTGlzdEYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYnLUYkNiVGaHEtRiQ2Iy1JJ210YWJsZUdGJTYlLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlGZ3BGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GXHM2Iy1GX3M2Iy1GYnM2OVEpJm1pbnVzOzJGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG8tRlxzNiMtRl9zNiMtRmJzNjlRIjBGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG8tRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRl9vNjNRIixGKEZib0Zlby9GaG9GOy9Gam9RJDBlbUYoL0ZdcFEzdmVyeXRoaWNrbWF0aHNwYWNlRihGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2JUZocS1GJDYjLUZpcjYlRltzRmdzRltzRmV0Rlx1LUYkNiVGaHEtRiQ2Iy1GaXI2JUZbc0Zbcy1GXHM2Iy1GX3M2Iy1GYnM2OVEpJm1pbnVzOzFGKEYwRjNGNkZkc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZXNGXG9GZXRGZXQ3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JLExpbkNvbWJMaXN0R0YoNyUtSSdSVEFCTEVHRig2JSIoK11wIy1JJ01BVFJJWEdGKDYjNyU3IyIiIjcjISIjNyMiIiEmSSdWZWN0b3JHNiQlKnByb3RlY3RlZEdGKjYjSSdjb2x1bW5HRigtRmF3NiUiKGduWyMtRmV3NiM3JUZod0Zqd0Zod0ZeeC1GYXc2JSIod0pmIy1GZXc2IzclRmh3Rmh3NyMhIiJGXng3IzclLUZeeDYjL0kkJWlkR0YoRmN3LUZeeDYjL0ZneUZmeC1GXng2Iy9GZ3lGXHk=
We can check that the indicated linear combinations produce the column vectors:
testv3 := (lc3[1]*v1+lc3[2]*v2+lc3[3]*v4):
testv5 := (lc5[1]*v1+lc5[2]*v2+lc5[3]*v4):
testv6 := (lc6[1]*v1+lc6[2]*v2+lc6[3]*v4):
testList := [testv3, testv5, testv6];
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USl0ZXN0TGlzdEYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYnLUYkNiVGaHEtRiQ2Iy1JJ210YWJsZUdGJTYnLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlRKSZtaW51czszRihGMEYzRjYvRjpGOEY8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ24vRmpuUSdub3JtYWxGKEZcby1GXHM2Iy1GX3M2Iy1GYnM2OUZncEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG8tRlxzNiMtRl9zNiMtRmJzNjlRIjZGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG8tRlxzNiMtRl9zNiMtRmJzNjlRKSZtaW51czsyRihGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvLUZcczYjLUZfczYjLUZiczY5USMxMEYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GX282M1EiLEYoRmJvRmVvL0Zob0Y7L0Zqb1EkMGVtRigvRl1wUTN2ZXJ5dGhpY2ttYXRoc3BhY2VGKEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlRmhxLUYkNiMtRmlyNictRlxzNiMtRl9zNiMtRmJzNjlRKiZtaW51czsxM0YoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GXHM2Iy1GX3M2Iy1GYnM2OVEpJm1pbnVzOzRGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG9GX3dGXnQtRlxzNiMtRl9zNiMtRmJzNjlRKSZtaW51czsxRihGMEYzRjZGZXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmZzRlxvRmN1Rmp1LUYkNiVGaHEtRiQ2Iy1GaXI2Jy1GXHM2Iy1GX3M2Iy1GYnM2OVEiN0YoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcb0Zbcy1GXHM2Iy1GX3M2Iy1GYnM2OVEjMTZGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG8tRlxzNiMtRl9zNiMtRmJzNjlRKiZtaW51czsxNkYoRjBGM0Y2RmVzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZmc0Zcby1GXHM2Iy1GX3M2Iy1GYnM2OVEjMTVGKEYwRjNGNkZlc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GZnNGXG9GY3VGY3U3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JKXRlc3RMaXN0R0YoNyUtSSdSVEFCTEVHRig2JSIna0c4LUknTUFUUklYR0YoNiM3JzcjISIkNyMiIiI3IyIiJzcjISIjNyMiIzUmSSdWZWN0b3JHNiQlKnByb3RlY3RlZEdGKjYjSSdjb2x1bW5HRigtRml6NiUiKT86InAiLUZdW2w2IzcnNyMhIzg3IyEiJUZoXGxGZFtsNyMhIiJGaltsLUZpejYlIig3b14nLUZdW2w2IzcnNyMiIihGYFtsNyMiIzs3IyEjOzcjIiM6RmpbbDcjNyUtRmpbbDYjL0kkJWlkR0YoRltbbC1GaltsNiMvRl9ebEZiXGwtRmpbbDYjL0ZfXmxGXl1s
Thus the three columns of A corresponding to the pivots in the reduced row echelon form are a basis for the column space (why are they linearly independent?). The remaining three columns of A are each linear combinations of these three columns. Note that the vectors in the column space are vectors in LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtRiM2JUYrLUklbXN1cEdGJDYlLUYsNjlRIlJGJ0YvRjJGNUY4RjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRmduRmpuLUkjbW5HRiQ2OVEiNUYnRi9GMkY1L0Y5RjdGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW4vRmhuUSdub3JtYWxGJ0Zqbi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGK0Yr
What is the dimension of the column space of A?
It should be noted that Maple will find a basis of the column space with the ColumnSpace command.
ColumnSpace(A);
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Jy1GJDYlRiwtRiQ2Iy1JJ210YWJsZUdGJTYnLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlGRy8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdGUy8lJWJvbGRHRjgvJSdpdGFsaWNHRjgvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHRlYvJStiYWNrZ3JvdW5kR0ZZLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y1LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHRlAvJSptYXRoY29sb3JHRlYvJS9tYXRoYmFja2dyb3VuZEdGWS8lK2ZvbnRmYW1pbHlHRmhvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0ZTLUZebzYjLUZhbzYjLUZkbzY5USIwRihGZm9GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYnJGZHItRl5vNiMtRmFvNiMtSSZtZnJhY0dGJTYqLUZkbzY5USombWludXM7NjJGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZici1GZG82OVEkMTM1RihGZm9GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYnIvJS5saW5ldGhpY2tuZXNzR1EiMUYoLyUrZGVub21hbGlnbkdRJ2NlbnRlckYoLyUpbnVtYWxpZ25HRl10LyUpYmV2ZWxsZWRHRjhGVEZXLUZebzYjLUZhbzYjLUZgczYqLUZkbzY5USombWludXM7NzFGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZickZlc0Zoc0ZbdEZedEZgdEZURlctRi02M1EiXUYoL0YxUShwb3N0Zml4RihGM0Y2RjkvRj1RMnZlcnl0aGlubWF0aHNwYWNlRihGPkZARkJGRUZIRkpGTEZORlFGVEZXLUYtNjNRIixGKC9GMVEmaW5maXhGKC9GNEY4L0Y3RjUvRjpRJDBlbUYoL0Y9UTN2ZXJ5dGhpY2ttYXRoc3BhY2VGKC9GP0Y4RkBGQkZFRkhGSkZMRk5GUUZURlctRiQ2JUYsLUYkNiMtRltvNidGZHJGXW9GZHItRl5vNiMtRmFvNiMtRmBzNiotRmRvNjlRIjJGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZici1GZG82OVEiM0YoRmZvRmlvRltwRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmJyRmhzRlt0Rl50RmB0RlRGV0ZkdkZbdUZidS1GJDYlRiwtRiQ2Iy1GW282J0ZkckZkckZdby1GXm82Iy1GYW82Iy1GYHM2Ki1GZG82OVEqJm1pbnVzOzkxRihGZm9GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYnJGZXNGaHNGW3RGXnRGYHRGVEZXLUZebzYjLUZhbzYjLUZgczYqLUZkbzY5USQzNDlGKEZmb0Zpb0ZbcEZdcEZfcEZhcEZjcEZlcEZncEZpcEZbcUZdcUZfcUZhcUZjcUZlcUZncUZpcUZbckZdckZfckZici1GZG82OVEkMjcwRihGZm9GaW9GW3BGXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYnJGaHNGW3RGXnRGYHRGVEZXRlt1Rlt1NyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM3JS1JJ1JUQUJMRUdGKDYlIigvRSlHLUknTUFUUklYR0YoNiM3JzcjIiIiNyMiIiFGXHo3IyMhI2kiJE4iNyMjISNyRmF6JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoLUZjeTYlIihDRClHLUZneTYjNydGXHpGanlGXHo3IyMiIiMiIiRGYVtsRmV6LUZjeTYlIignKjMnRy1GZ3k2IzcnRlx6Rlx6Rmp5NyMjISMiKkZhejcjIyIkXCQiJHEjRmV6NyM3JS1GZXo2Iy9JJCVpZEdGKEZleS1GZXo2Iy9GZ1xsRl1bbC1GZXo2Iy9GZ1xsRmdbbA==
Finding a basis of the Null Space
Now find a basis for the null space of A, that is, for the solution space of AX = 0.
The easiest way to solve for the solution space is to note that row reduction does not change the solution space. Thus we can look for the solution space for (RowReducedA)(X) = 0. We can find this with the LinearSolve command using back substitution.
Z:=ZeroVector(5):
RowReducedA := ReducedRowEchelonForm(A);
nullspace:= LinearSolve(RowReducedA,Z,method='subs');
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USxSb3dSZWR1Y2VkQUYoLyUnZmFtaWx5R1EwVGltZXN+TmV3flJvbWFuRigvJSVzaXplR1EjMTJGKC8lJWJvbGRHUSZmYWxzZUYoLyUnaXRhbGljR1EldHJ1ZUYoLyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR1EqWzAsMCwyNTVdRigvJStiYWNrZ3JvdW5kR1EuWzI1NSwyNTUsMjU1XUYoLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y7LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lKm1hdGhjb2xvckdGRC8lL21hdGhiYWNrZ3JvdW5kR0ZHLyUrZm9udGZhbWlseUdGMi8lLG1hdGh2YXJpYW50R1EnaXRhbGljRigvJSltYXRoc2l6ZUdGNS1JI21vR0YlNjNRIzo9RigvJSVmb3JtR1EmaW5maXhGKC8lJmZlbmNlR0Y4LyUqc2VwYXJhdG9yR0Y4LyUnbHNwYWNlR1EvdGhpY2ttYXRoc3BhY2VGKC8lJ3JzcGFjZUdGW3AvJSlzdHJldGNoeUdGOC8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZYLyUlc2l6ZUdGNS8lK2ZvcmVncm91bmRHRkQvJStiYWNrZ3JvdW5kR0ZHLUYkNiUtRl9vNjNRIltGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNictSSRtdHJHRiU2KC1JJG10ZEdGJTYjLUkjbW5HRiU2OUZncEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZbczYjLUZeczY5USIwRihGMEYzRjZGYHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmFzRlxvRmpyRmNzRmpyRmpyLUZocjYoRmNzRmpyLUZbczYjLUZeczY5USkmbWludXM7MkYoRjBGM0Y2RmBzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZhc0Zcb0Zjc0Zqc0Zqci1GaHI2KEZjc0Zjc0Zjc0ZqckZqci1GW3M2Iy1GXnM2OVEpJm1pbnVzOzFGKEYwRjNGNkZgc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYXNGXG8tRmhyNihGY3NGY3NGY3NGY3NGY3NGY3NGZnQtRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JLFJvd1JlZHVjZWRBR0YoLUknUlRBQkxFR0YoNiUiKHdAYCMtSSdNQVRSSVhHRig2IzcnNygiIiIiIiFGYHZGYXZGYHZGYHY3KEZhdkZgdiEiI0ZhdkZjdkZgdjcoRmF2RmF2RmF2RmB2RmB2ISIiNyhGYXZGYXZGYXZGYXZGYXZGYXZGZnZJJ01hdHJpeEc2JCUqcHJvdGVjdGVkR0YqNyMtRmd2NiMvSSQlaWRHRihGanU=
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USpudWxsc3BhY2VGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUZfbzYzUSJbRigvRmNvUSdwcmVmaXhGKC9GZm9GO0Znby9Gam9RLnRoaW5tYXRoc3BhY2VGKC9GXXBGX3IvRl9wRjtGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRiQ2Iy1JJ210YWJsZUdGJTYoLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1GJDYoLUZfbzYzUSomdW1pbnVzMDtGKEZbckZlb0Znby9Gam9RJDBlbUYoL0ZdcEZjc0ZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1JJW1zdWJHRiU2Ji1GLTY5USRfdDJGKEYwRjNGNkY5RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpbkZcby1GJDYjLUkjbW5HRiU2OVEiM0YoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8vJS9zdWJzY3JpcHRzaGlmdEdRIjBGKC8lLHBsYWNlaG9sZGVyR0Y4LUZfbzYzUSgmbWludXM7RihGYm9GZW9GZ28vRmpvUTBtZWRpdW1tYXRoc3BhY2VGKC9GXXBGXXVGXnBGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHEtRmZzNiZGaHMtRiQ2Iy1GXnQ2OVEiMkYoRjBGM0Y2RmF0RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZidEZcb0ZkdEZndEZpdC1GZnM2JkZocy1GJDYjLUZedDY5RmdwRjBGM0Y2RmF0RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZidEZcb0ZkdEZndC1GaHI2Iy1GW3M2Iy1GJDYnLUYkNiVGY3UtRl9vNjNRMSZJbnZpc2libGVUaW1lcztGKEZib0Zlb0Znb0Zic0Zkc0ZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcUZlcy1GX282M1EiK0YoRmJvRmVvRmdvRlx1Rl51Rl5wRmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiVGY3VGZHZGX3VGaXRGZnUtRmhyNiMtRltzNiNGZXMtRmhyNiMtRltzNiMtRiQ2JkZfc0ZfdUZndkZmdS1GaHI2Iy1GW3M2I0ZfdS1GaHI2Iy1GW3M2I0ZmdS1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkqbnVsbHNwYWNlR0YoLUknUlRBQkxFR0YoNiUiKFMvVSUtSSdNQVRSSVhHRig2IzcoNyMsKCZJJF90MkdGKDYjIiIkISIiJkZoeTYjIiIjRlt6JkZoeTYjIiIiRlt6NyMsKComRl56RmF6Rmd5RmF6RmF6KiZGXnpGYXpGXHpGYXpGYXpGX3pGW3o3I0ZneTcjLCZGXHpGW3pGX3pGYXo3I0ZcejcjRl96JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoNyMtRltbbDYjL0kkJWlkR0YoRmB5
Notice that the columns without pivots correspond to free variables in the null space. (In our examples the third, fifth, and sixth columns are not pivots.) The columns with pivots turn into equations where the pivot variable is equal to a linear combination of pivot variables.
We turn this into a basis by letting the free variables have values of zero and one in turn.
y1:=eval(nullspace,{_t2[1]=1,_t2[2]=0,_t2[3]=0}):
y2:=eval(nullspace,{_t2[1]=0,_t2[2]=1,_t2[3]=0}):
y3:=eval(nullspace,{_t2[1]=0,_t2[2]=0,_t2[3]=1}):
nullBasis := {y1, y2, y3};
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USpudWxsQmFzaXNGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdRIzEyRigvJSVib2xkR1EmZmFsc2VGKC8lJ2l0YWxpY0dRJXRydWVGKC8lKnVuZGVybGluZUdGOC8lKnN1YnNjcmlwdEdGOC8lLHN1cGVyc2NyaXB0R0Y4LyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGOy8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSptYXRoY29sb3JHRkQvJS9tYXRoYmFja2dyb3VuZEdGRy8lK2ZvbnRmYW1pbHlHRjIvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YoLyUpbWF0aHNpemVHRjUtSSNtb0dGJTYzUSM6PUYoLyUlZm9ybUdRJmluZml4RigvJSZmZW5jZUdGOC8lKnNlcGFyYXRvckdGOC8lJ2xzcGFjZUdRL3RoaWNrbWF0aHNwYWNlRigvJSdyc3BhY2VHRltwLyUpc3RyZXRjaHlHRjgvJSpzeW1tZXRyaWNHRjgvJShtYXhzaXplR1EpaW5maW5pdHlGKC8lKG1pbnNpemVHUSIxRigvJShsYXJnZW9wR0Y4LyUubW92YWJsZWxpbWl0c0dGOC8lJ2FjY2VudEdGOC8lMGZvbnRfc3R5bGVfbmFtZUdGWC8lJXNpemVHRjUvJStmb3JlZ3JvdW5kR0ZELyUrYmFja2dyb3VuZEdGRy1GJDYlLUZfbzYzUSJ8ZnJGKC9GY29RJ3ByZWZpeEYoL0Zmb0Y7RmdvL0Zqb1EudGhpbm1hdGhzcGFjZUYoL0ZdcEZfci9GX3BGO0ZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYnLUYkNiUtRl9vNjNRIltGKEZbckZdckZnb0ZeckZgckZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYjLUknbXRhYmxlR0YlNigtSSRtdHJHRiU2Iy1JJG10ZEdGJTYjLUkjbW5HRiU2OVEpJm1pbnVzOzFGKEYwRjNGNi9GOkY4RjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbi9Gam5RJ25vcm1hbEYoRlxvLUZfczYjLUZiczYjLUZlczY5USIyRihGMEYzRjZGaHNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmlzRlxvLUZfczYjLUZiczYjLUZlczY5RmdwRjBGM0Y2RmhzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpc0Zcby1GX3M2Iy1GYnM2Iy1GZXM2OVEiMEYoRjBGM0Y2RmhzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZpc0Zcb0ZodEZodC1GX282M1EiXUYoL0Zjb1EocG9zdGZpeEYoRl1yRmdvRl5yL0ZdcFEydmVyeXRoaW5tYXRoc3BhY2VGKEZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GX282M1EiLEYoRmJvRmVvL0Zob0Y7L0Zqb1EkMGVtRigvRl1wUTN2ZXJ5dGhpY2ttYXRoc3BhY2VGKEZecEZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcS1GJDYlRmZyLUYkNiMtRlxzNihGXnNGW3RGaHRGXnNGYnRGaHRGX3VGZnUtRiQ2JUZmci1GJDYjLUZcczYoRl5zRl5zRmh0RmJ0Rmh0RmJ0Rl91LUZfbzYzUSJ8aHJGKEZidUZdckZnb0ZeckZkdUZhckZgcEZicEZlcEZocEZqcEZccUZecUZgcUZicUZkcTcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPkkqbnVsbEJhc2lzR0YoPCUtSSdSVEFCTEVHRig2JSIoI3pZXC1JJ01BVFJJWEdGKDYjNyg3IyEiIjcjIiIjNyMiIiI3IyIiIUZkeEZkeCZJJ1ZlY3Rvckc2JCUqcHJvdGVjdGVkR0YqNiNJJ2NvbHVtbkdGKC1GZ3c2JSIoQ3onXC1GW3g2IzcoRl54RmB4RmR4Rl54RmJ4RmR4RmZ4LUZndzYlIihTIm9cLUZbeDYjNyhGXnhGXnhGZHhGYnhGZHhGYnhGZng3IzwlLUZmeDYjL0kkJWlkR0YoRml3LUZmeDYjL0ZdekZeeS1GZng2Iy9GXXpGZHk=
Looking at the rows corresponding to the free variables, these vectors are clearly linearly independent. We can check that they are also in the null space:
[(A.y1), (A.y2), (A.y3)];
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJbRigvJSVmb3JtR1EncHJlZml4RigvJSZmZW5jZUdRJXRydWVGKC8lKnNlcGFyYXRvckdRJmZhbHNlRigvJSdsc3BhY2VHUS50aGlubWF0aHNwYWNlRigvJSdyc3BhY2VHRjsvJSlzdHJldGNoeUdGNS8lKnN5bW1ldHJpY0dGOC8lKG1heHNpemVHUSlpbmZpbml0eUYoLyUobWluc2l6ZUdRIjFGKC8lKGxhcmdlb3BHRjgvJS5tb3ZhYmxlbGltaXRzR0Y4LyUnYWNjZW50R0Y4LyUwZm9udF9zdHlsZV9uYW1lR1EqMkR+T3V0cHV0RigvJSVzaXplR1EjMTJGKC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigtRiQ2Jy1GJDYlRiwtRiQ2Iy1JJ210YWJsZUdGJTYnLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlRIjBGKC8lJ2ZhbWlseUdRMFRpbWVzfk5ld35Sb21hbkYoLyUlc2l6ZUdGUy8lJWJvbGRHRjgvJSdpdGFsaWNHRjgvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHRlYvJStiYWNrZ3JvdW5kR0ZZLyUnb3BhcXVlR0Y4LyUrZXhlY3V0YWJsZUdGOC8lKXJlYWRvbmx5R0Y1LyUpY29tcG9zZWRHRjgvJSpjb252ZXJ0ZWRHRjgvJStpbXNlbGVjdGVkR0Y4LyUscGxhY2Vob2xkZXJHRjgvJTBmb250X3N0eWxlX25hbWVHRlAvJSptYXRoY29sb3JHRlYvJS9tYXRoYmFja2dyb3VuZEdGWS8lK2ZvbnRmYW1pbHlHRmlvLyUsbWF0aHZhcmlhbnRHUSdub3JtYWxGKC8lKW1hdGhzaXplR0ZTRl1vRl1vRl1vRl1vLUYtNjNRIl1GKC9GMVEocG9zdGZpeEYoRjNGNkY5L0Y9UTJ2ZXJ5dGhpbm1hdGhzcGFjZUYoRj5GQEZCRkVGSEZKRkxGTkZRRlRGVy1GLTYzUSIsRigvRjFRJmluZml4RigvRjRGOC9GN0Y1L0Y6USQwZW1GKC9GPVEzdmVyeXRoaWNrbWF0aHNwYWNlRigvRj9GOEZARkJGRUZIRkpGTEZORlFGVEZXRmZuRlxzRmZuRmVyNyMtX0YpSSxtcHJpbnRzbGFzaEdGKDYkNyM3JS1JJ1JUQUJMRUdGKDYlIig/WFsnLUknTUFUUklYR0YoNiM3JzcjIiIhRmd0Rmd0Rmd0Rmd0JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoLUZgdDYlIihnKCk9I0ZjdEZpdC1GYHQ2JSIpKUdzdyJGY3RGaXQ3IzclLUZpdDYjL0kkJWlkR0YoRmJ0LUZpdDYjL0ZqdUZhdS1GaXQ2Iy9GanVGZHU=
So {y1, y2, y3} is a basis for the null space of A. Note that the vectors in the null space are in LUklbXJvd0c2Iy9JK21vZHVsZW5hbWVHNiJJLFR5cGVzZXR0aW5nR0koX3N5c2xpYkdGJzYlLUkjbWlHRiQ2OVEhRicvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GJy8lJXNpemVHUSMxMkYnLyUlYm9sZEdRJmZhbHNlRicvJSdpdGFsaWNHUSV0cnVlRicvJSp1bmRlcmxpbmVHRjcvJSpzdWJzY3JpcHRHRjcvJSxzdXBlcnNjcmlwdEdGNy8lK2ZvcmVncm91bmRHUShbMCwwLDBdRicvJStiYWNrZ3JvdW5kR0ZDLyUnb3BhcXVlR0Y3LyUrZXhlY3V0YWJsZUdGNy8lKXJlYWRvbmx5R0Y3LyUpY29tcG9zZWRHRjcvJSpjb252ZXJ0ZWRHRjcvJStpbXNlbGVjdGVkR0Y3LyUscGxhY2Vob2xkZXJHRjcvJTBmb250X3N0eWxlX25hbWVHUSsyRH5Db21tZW50RicvJSptYXRoY29sb3JHRkMvJS9tYXRoYmFja2dyb3VuZEdGQy8lK2ZvbnRmYW1pbHlHRjEvJSxtYXRodmFyaWFudEdRJ2l0YWxpY0YnLyUpbWF0aHNpemVHRjQtRiM2JUYrLUklbXN1cEdGJDYlLUYsNjlRIlJGJ0YvRjJGNUY4RjtGPUY/RkFGREZGRkhGSkZMRk5GUEZSRlRGV0ZZRmVuRmduRmpuLUkjbW5HRiQ2OVEiNkYnRi9GMkY1L0Y5RjdGO0Y9Rj9GQUZERkZGSEZKRkxGTkZQRlJGVEZXRllGZW4vRmhuUSdub3JtYWxGJ0Zqbi8lMXN1cGVyc2NyaXB0c2hpZnRHUSIwRidGK0Yr .
What is the dimension of the null space?
What is the sum of the rank (the dimension of the column space) and the dimension of the null space?
We can also find a basis of the null space with the NullSpace command:
NullSpace(A);
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtb0dGJTYzUSJ8ZnJGKC8lJWZvcm1HUSdwcmVmaXhGKC8lJmZlbmNlR1EldHJ1ZUYoLyUqc2VwYXJhdG9yR1EmZmFsc2VGKC8lJ2xzcGFjZUdRLnRoaW5tYXRoc3BhY2VGKC8lJ3JzcGFjZUdGOy8lKXN0cmV0Y2h5R0Y1LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHUSoyRH5PdXRwdXRGKC8lJXNpemVHUSMxMkYoLyUrZm9yZWdyb3VuZEdRKlswLDAsMjU1XUYoLyUrYmFja2dyb3VuZEdRLlsyNTUsMjU1LDI1NV1GKC1GJDYnLUYkNiUtRi02M1EiW0YoRjBGM0Y2RjlGPEY+RkBGQkZFRkhGSkZMRk5GUUZURlctRiQ2Iy1JJ210YWJsZUdGJTYoLUkkbXRyR0YlNiMtSSRtdGRHRiU2Iy1JI21uR0YlNjlRKSZtaW51czsxRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHRlMvJSVib2xkR0Y4LyUnaXRhbGljR0Y4LyUqdW5kZXJsaW5lR0Y4LyUqc3Vic2NyaXB0R0Y4LyUsc3VwZXJzY3JpcHRHRjgvJStmb3JlZ3JvdW5kR0ZWLyUrYmFja2dyb3VuZEdGWS8lJ29wYXF1ZUdGOC8lK2V4ZWN1dGFibGVHRjgvJSlyZWFkb25seUdGNS8lKWNvbXBvc2VkR0Y4LyUqY29udmVydGVkR0Y4LyUraW1zZWxlY3RlZEdGOC8lLHBsYWNlaG9sZGVyR0Y4LyUwZm9udF9zdHlsZV9uYW1lR0ZQLyUqbWF0aGNvbG9yR0ZWLyUvbWF0aGJhY2tncm91bmRHRlkvJStmb250ZmFtaWx5R0ZccC8lLG1hdGh2YXJpYW50R1Enbm9ybWFsRigvJSltYXRoc2l6ZUdGU0Zgby1GYW82Iy1GZG82Iy1GZ282OVEiMEYoRmpvRl1wRl9wRmFwRmNwRmVwRmdwRmlwRltxRl1xRl9xRmFxRmNxRmVxRmdxRmlxRltyRl1yRl9yRmFyRmNyRmZyLUZhbzYjLUZkbzYjLUZnbzY5RkdGam9GXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYXJGY3JGZnJGaHJGX3MtRi02M1EiXUYoL0YxUShwb3N0Zml4RihGM0Y2RjkvRj1RMnZlcnl0aGlubWF0aHNwYWNlRihGPkZARkJGRUZIRkpGTEZORlFGVEZXLUYtNjNRIixGKC9GMVEmaW5maXhGKC9GNEY4L0Y3RjUvRjpRJDBlbUYoL0Y9UTN2ZXJ5dGhpY2ttYXRoc3BhY2VGKC9GP0Y4RkBGQkZFRkhGSkZMRk5GUUZURlctRiQ2JUZobi1GJDYjLUZebzYoRmBvLUZhbzYjLUZkbzYjLUZnbzY5USIyRihGam9GXXBGX3BGYXBGY3BGZXBGZ3BGaXBGW3FGXXFGX3FGYXFGY3FGZXFGZ3FGaXFGW3JGXXJGX3JGYXJGY3JGZnJGaHJGYG9GX3NGaHJGZXNGXHQtRiQ2JUZobi1GJDYjLUZebzYoRmBvRl51Rl9zRmhyRmhyRmhyRmVzLUYtNjNRInxockYoRmhzRjNGNkY5RmpzRj5GQEZCRkVGSEZKRkxGTkZRRlRGVzcjLV9GKUksbXByaW50c2xhc2hHRig2JDcjPCUtSSdSVEFCTEVHRig2JSIpSz0keiItSSdNQVRSSVhHRig2IzcoNyMhIiJGXXc3IyIiITcjIiIiRl93RmF3JkknVmVjdG9yRzYkJSpwcm90ZWN0ZWRHRio2I0knY29sdW1uR0YoLUZmdjYlIik3PiR6Ii1GanY2IzcoRl13NyMiIiNGX3dGXXdGYXdGX3dGY3ctRmZ2NiUiKSMqPiR6Ii1GanY2IzcoRl13Rl94RmF3Rl93Rl93Rl93RmN3NyM8JS1GY3c2Iy9JJCVpZEdGKEZodi1GY3c2Iy9GXHlGW3gtRmN3NiMvRlx5RmN4
Exercise:
1) Repeat all of the above for the matrix
E:= <<-1,3,2,4>|<2,-7,-5,-9>|<0,2,2,2>|<4,0,4,-4>|<5,1,6,-4>|<-3,4,1,7>>;
NiQtSSVtcm93RzYjL0krbW9kdWxlbmFtZUc2IkksVHlwZXNldHRpbmdHSShfc3lzbGliR0YoNiUtSSNtaUdGJTY5USJFRigvJSdmYW1pbHlHUTBUaW1lc35OZXd+Um9tYW5GKC8lJXNpemVHUSMxMkYoLyUlYm9sZEdRJmZhbHNlRigvJSdpdGFsaWNHUSV0cnVlRigvJSp1bmRlcmxpbmVHRjgvJSpzdWJzY3JpcHRHRjgvJSxzdXBlcnNjcmlwdEdGOC8lK2ZvcmVncm91bmRHUSpbMCwwLDI1NV1GKC8lK2JhY2tncm91bmRHUS5bMjU1LDI1NSwyNTVdRigvJSdvcGFxdWVHRjgvJStleGVjdXRhYmxlR0Y4LyUpcmVhZG9ubHlHRjsvJSljb21wb3NlZEdGOC8lKmNvbnZlcnRlZEdGOC8lK2ltc2VsZWN0ZWRHRjgvJSxwbGFjZWhvbGRlckdGOC8lMGZvbnRfc3R5bGVfbmFtZUdRKjJEfk91dHB1dEYoLyUqbWF0aGNvbG9yR0ZELyUvbWF0aGJhY2tncm91bmRHRkcvJStmb250ZmFtaWx5R0YyLyUsbWF0aHZhcmlhbnRHUSdpdGFsaWNGKC8lKW1hdGhzaXplR0Y1LUkjbW9HRiU2M1EjOj1GKC8lJWZvcm1HUSZpbmZpeEYoLyUmZmVuY2VHRjgvJSpzZXBhcmF0b3JHRjgvJSdsc3BhY2VHUS90aGlja21hdGhzcGFjZUYoLyUncnNwYWNlR0ZbcC8lKXN0cmV0Y2h5R0Y4LyUqc3ltbWV0cmljR0Y4LyUobWF4c2l6ZUdRKWluZmluaXR5RigvJShtaW5zaXplR1EiMUYoLyUobGFyZ2VvcEdGOC8lLm1vdmFibGVsaW1pdHNHRjgvJSdhY2NlbnRHRjgvJTBmb250X3N0eWxlX25hbWVHRlgvJSVzaXplR0Y1LyUrZm9yZWdyb3VuZEdGRC8lK2JhY2tncm91bmRHRkctRiQ2JS1GX282M1EiW0YoL0Zjb1EncHJlZml4RigvRmZvRjtGZ28vRmpvUS50aGlubWF0aHNwYWNlRigvRl1wRl9yL0ZfcEY7RmBwRmJwRmVwRmhwRmpwRlxxRl5xRmBxRmJxRmRxLUYkNiMtSSdtdGFibGVHRiU2Ji1JJG10ckdGJTYoLUkkbXRkR0YlNiMtSSNtbkdGJTY5USkmbWludXM7MUYoRjBGM0Y2L0Y6RjhGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduL0ZqblEnbm9ybWFsRihGXG8tRltzNiMtRl5zNjlRIjJGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRIjBGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRIjRGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRIjVGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRltzNiMtRl5zNjlRKSZtaW51czszRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZocjYoLUZbczYjLUZeczY5USIzRihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvLUZbczYjLUZeczY5USkmbWludXM7N0YoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcb0Zkc0Zpcy1GW3M2Iy1GXnM2OUZncEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GXnQtRmhyNihGZHMtRltzNiMtRl5zNjlRKSZtaW51czs1RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRmRzRl50LUZbczYjLUZeczY5USI2RihGMEYzRjZGYXNGPEY+RkBGQkZFRkhGSkZMRk5GUEZSRlRGVkZZRmVuRmduRmJzRlxvRml1LUZocjYoRl50LUZbczYjLUZeczY5USkmbWludXM7OUYoRjBGM0Y2RmFzRjxGPkZARkJGRUZIRkpGTEZORlBGUkZURlZGWUZlbkZnbkZic0Zcb0Zkcy1GW3M2Iy1GXnM2OVEpJm1pbnVzOzRGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG9GYHctRltzNiMtRl5zNjlRIjdGKEYwRjNGNkZhc0Y8Rj5GQEZCRkVGSEZKRkxGTkZQRlJGVEZWRllGZW5GZ25GYnNGXG8tRl9vNjNRIl1GKC9GY29RKHBvc3RmaXhGKEZdckZnb0Zeci9GXXBRMnZlcnl0aGlubWF0aHNwYWNlRihGYXJGYHBGYnBGZXBGaHBGanBGXHFGXnFGYHFGYnFGZHE3Iy1fRilJLG1wcmludHNsYXNoR0YoNiQ3Iz5JIkVHRigtSSdSVEFCTEVHRig2JSIoVypHVy1JJ01BVFJJWEdGKDYjNyY3KCEiIiIiIyIiISIiJSIiJiEiJDcoIiIkISIoRmN5RmR5IiIiRmV5NyhGY3khIiZGY3lGZXkiIidGW3o3KEZleSEiKkZjeSEiJUZheiIiKEknTWF0cml4RzYkJSpwcm90ZWN0ZWRHRio3Iy1GY3o2Iy9JJCVpZEdGKEZceQ==