สเปซเวกเตอร์จริงมีคุณสมบัติปิดภายใต้การบวกและการคูณด้วยสเกลาร์ที่กำหนดไว้ และสอดคล้องกับ_genre_ของสเปซเวกเตอร์ ระบบฐานคือชุดเวกเตอร์อิสระที่ครอบคลุม: เวกเตอร์ทุกตัวมีการแสดงพิกัดที่เป็นเอกลักษณ์ในชุดนั้น การทดสอบความเป็นอิสระของคอลัมน์เมทริกซ์ ให้แก้ระบบสมการ Ac=0; หากมีเพียงเวกเตอร์สัมประสิทธิ์ศูนย์เท่านั้นจึงเป็นอิสระ ชุดที่ครอบคลุมอาจมีเวกเตอร์ซ้ำซ้อน ดังนั้นการครอบคลุมเพียงอย่างเดียวไม่ทำให้เป็นระบบฐาน
Row reduction exposes pivots and free variables without changing the solution set of a linear system. Rank is the dimension of the column image, equivalently the number of pivots. Nullity is the kernel dimension: for a map from an n-dimensional domain, rank+nullity=n. In a nonhomogeneous system, a zero coefficient row with nonzero right side means inconsistency; free variables give infinitely many solutions only after consistency has been established. The codomain dimension need not equal rank.
A square matrix is invertible exactly when its determinant is nonzero, its kernel is zero and its rank equals its size. These statements do not require each entry to be nonzero. Triangular determinants are products of diagonal entries, so a matrix depending on a complex variable can be singular at complex roots absent from a real-only calculation. Row swaps reverse determinant sign; adding a multiple of one row to another leaves it unchanged. Check singularity before applying an inverse formula.
An eigenvector is nonzero and satisfies Av=λv, so eigenvalues are roots of det(A−λI). Diagonalisation requires a full independent eigenvector basis over the chosen field. Distinct eigenvalues give independent eigenvectors, while repeated eigenvalues may have too small an eigenspace. A real symmetric matrix has a real orthonormal eigenbasis. A real odd-dimensional matrix has at least one real eigenvalue because its real characteristic polynomial has odd degree; that alone does not imply diagonalisation or all eigenvalues real.