Call the four given column vectors . Direct componentwise calculation givesThe first two vectors are independent: their first two components give the determinant . They form a basis of , so .
Choose columns . This gives the matrixIts image is exactly , since all its columns belong to and its first two span . Its column sum is zero, so belongs to its kernel.
All linear maps with the stated kernel condition and image contained in factor uniquely through the quotient vector space . This quotient has dimension four. A linear map from it to the two-dimensional is specified by eight independent real coordinates, so the requested space has dimension . Requiring the image to equal , instead of being contained in , would not define a vector space; the printed containment is essential.
Articles by others on the same topic
There are currently no matching articles.