математика, алгебра, теория групп, линейные системы
Альфредо Капелли
Альфредо Капелли - итальянский математик конца XIX - начала XX века. В линейной алгебре его имя важно прежде всего из-за теоремы Кронекера-Капелли, которая формулирует критерий совместности системы через равенство рангов матрицы коэффициентов и расширенной матрицы.
Альфредо Капелли родился в 1855 году и работал в итальянской математической традиции, где активно развивались алгебра, теория групп, инварианты и методы работы с линейными системами. Его имя известно не только по теореме Кронекера-Капелли: в алгебре встречается также тождество Капелли. Но для тем о формулах совместности особенно важна линия, связанная с системами линейных уравнений. Капелли помогает объяснить, почему ранговый критерий не сводится к простому техническому наблюдению после метода Гаусса, а имеет собственную историческую формулировку.
Энциклопедические источники указывают, что Капелли, по-видимому, первым сформулировал результат в близком современному виде с использованием термина ранга матрицы в работе 1892 года о совместности или несовместности нескольких линейных уравнений. Для пользователя это важная деталь: если на странице формулы просто написать, что формулу открыл один автор, получится исторически грубо. Более честно сказать, что название теоремы отражает две линии: лекционную традицию Кронекера и опубликованную формулировку Капелли.
В учебной практике Капелли особенно уместен на страницах, где сравниваются rank A и rank[A|b]. Его имя связывает страницы о ранге расширенной матрицы, несовместности, единственном решении и бесконечном числе решений. Такая авторская справка нужна для понимания атрибуции: почему в названии критерия стоят две фамилии и как это связано с конкретной проверкой задачи.
Исторический контекст
К концу XIX века матричный и ранговый язык становился все более удобным способом говорить о системах линейных уравнений. Ранее противоречия и свободные параметры видели через конкретные вычисления, но строгая формулировка через ранги позволила отделить вопрос существования решения от вопроса его нахождения. Капелли работал именно в такой среде: алгебра становилась языком, который компактно описывает совместность, независимость и структуру решений. Поэтому историческая справка о нем должна объяснять не только дату и фамилию, но и сам смысл рангового критерия.
Вклад в формулы
В текущем разделе вклад Капелли связан с современной формой теоремы Кронекера-Капелли: система Ax = b совместна тогда и только тогда, когда rank A = rank[A|b]. Через эту формулировку объясняются условия несовместности, единственного решения, бесконечного числа решений и число свободных параметров. Страница Капелли нужна для всех формул, где пользователь встречает равенство или неравенство этих рангов, потому что она дает аккуратную историческую рамку без ложного единоличного авторства.
Связь с формулами
С этим именем связано 8 формул: Ранг расширенной матрицы системы, Теорема Кронекера-Капелли, Условие несовместности линейной системы и еще 5. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.
Библиография
Encyclopedia of Mathematics. Kronecker-Capelli theorem.
Alfredo Capelli. Sulla compatibilita o incompatibilita di piu equazioni lineari fra piu incognite, 1892.
The MacTutor History of Mathematics archive. Biographical materials on nineteenth-century algebraists.
Ранг расширенной матрицы показывает, добавляет ли столбец правых частей новое независимое условие к строкам матрицы коэффициентов. Это ключ к проверке совместности системы.
Теорема Кронекера-Капелли дает точный критерий совместности линейной системы: решение существует тогда и только тогда, когда ранги матрицы коэффициентов и расширенной матрицы равны.
Линейная система несовместна, если ранг расширенной матрицы больше ранга матрицы коэффициентов. Это означает, что правые части добавляют противоречивое условие, которое нельзя получить из левых частей уравнений.
Линейная система с n неизвестными имеет единственное решение, если она совместна и общий ранг равен числу неизвестных. Тогда все переменные ведущие, свободных параметров не остается.
Совместная линейная система имеет бесконечно много решений, если общий ранг меньше числа неизвестных. Тогда остаются свободные переменные, и все решения описываются параметрами.
В совместной линейной системе число свободных переменных равно числу неизвестных минус ранг матрицы коэффициентов. Эти переменные становятся параметрами общего решения.
Общее решение совместной линейной системы записывают как одно частное решение плюс линейную комбинацию направлений однородной системы. Параметров столько, сколько свободных переменных.
Размерность пространства решений однородной системы Ax = 0 равна числу неизвестных минус ранг матрицы A. Это частный и особенно важный случай подсчета свободных переменных.
$\dim\ker A=n-\operatorname{rank}A$
Cookie и аналитика
Мы используем cookie и Яндекс.Метрику, чтобы видеть посещаемость, улучшать навигацию и находить ошибки на страницах. Аналитика включится только после вашего согласия.
