Действительное векторное пространство замкнуто относительно заданного сложения и умножения на скаляр и удовлетворяет аксиомам векторного пространства. Базис — это независимый порождающий список: каждый вектор имеет единственное представление координат в этом списке. Для проверки независимости столбцов матрицы решите однородную систему Ac=0; только нулевой вектор коэффициентов означает независимость. Порождающее множество может содержать избыточные векторы, поэтому одного лишь порождающего свойства недостаточно для базиса.
Приведение к ступенчатому виду выявляет опорные элементы и свободные переменные без изменения множества решений линейной системы. Ранг — это размерность образа столбцов, эквивалентно числу опорных элементов. Дефект (нуль- ранг) — это размерность ядра: для отображения из n-мерной области ранг плюс дефект равно n. В неоднородной системе строка с нулевыми коэффициентами при nonzero правой части означает несоответствие; свободные переменные дают бесконечно много решений только после установления совместности. Размерность кообласти не обязательно равна рангу.
Квадратная матрица обратима тогда и только тогда, когда её определитель отличен от нуля, ядро тривиально, а ранг равен размеру матрицы. Эти утверждения не требуют, чтобы каждый элемент был ненулевым. Определители треугольных матриц равны произведению диагональных элементов, поэтому матрица, зависящая от комплексной переменной, может быть вырожденной в комплексных корнях, отсутствующих в вычислениях только по действительным числам. Обмен строк меняет знак определителя; прибавление кратной одной строки другой не изменяет его. Проверяйте вырожденность перед применением формулы обратной матрицы.
Собственный вектор ненулевой и удовлетворяет Av=λv, поэтому собственные значения являются корнями det(A−λI). Диагонализируемость требует полного независимого базиса собственных векторов над выбранным полем. Различные собственные значения дают независимые собственные векторы, тогда как кратные собственные значения могут иметь слишком малое собственное подпространство. Действительная симметричная матрица обладает действительным ортонормированным базисом собственных векторов. Действительная матрица нечетной размерности имеет хотя бы одно действительное собственное значение, поскольку её действительный характеристический многочлен имеет нечетную степень; однако этого самого факта недостаточно для диагонализируемости или того, чтобы все собственные значения были действительными.