Вронскиан
определитель, состоящий из функций f1 (x), f2 (x),..., fn (x) и их производных до (n − 1)-го порядка
две матрицы одного и того же порядка, одну из которых можно получить из другой при помощи конечной совокупности элементарных операций; матрицы A и B, для которых существуют такие две невырожденные матрицы C и D, что имеет место равенство B = DAC; если A и B — квадратные матрицы, то можно принимать D = C−1
В теории матриц часто встречаются понятия равенства и эквивалентности матриц....
сохраняется эквивалентность матриц....
и полученная матрицы называются эквивалентными....
Для обозначения эквивалентности матриц используют знак «$ \sim$», например, $A\sim B$....
Замечание
Привести матрицу к ступенчатому виду можно с помощью эквивалентных преобразований.
Ветошкин А.М. МАТРИЦЫ С ЭКВИВАЛЕНТНЫМИ СИСТЕМАМИ СТРОК И СТОЛБЦОВ. Исследуются свойства класса матриц c эквивалентными системами строк и столбцов. Получено полезное представление ортогональных матриц, которое применяется для исследования блочных отражений. V
несколько базовых методов доказательства:
Метод редукции: путем последовательного применения логических эквивалентностей...
Эквивалентность: две пропозициональные формулы называются эквивалентными, если они имеют одинаковые значения...
Существование характеристической матрицы для логики
Под логической матрицей понимают набор:
М = $\lt$...
Матрица М в таком случае представляет собой контрмодель для формулы А....
те формулы, которые истинны в этой матрице.
Исследуются мультипликативные композиции векторных матриц. Определяются коммутативные, аддитивно и мультипликативно-обратные векторные матрицы. Приводится процедура матричного представления мультипликативных композиций двух и трех векторов.
определитель, состоящий из функций f1 (x), f2 (x),..., fn (x) и их производных до (n − 1)-го порядка
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
порождающая грамматика