For a real matrix and a fixed vector , every vector in the image of a linear map defined by is orthogonal to exactly when . Indeed, . If this vanishes for every , choose to obtain . Equivalently each column of is orthogonal to . Requiring the statement only for nonzero changes nothing, since the zero input already has zero dot product. This is the orthogonal complement relation between the image of a linear map and the kernel of a linear map defined by its transpose.
Articles by others on the same topic
There are currently no matching articles.