Cтраница 3
Итак, с каждой линейной оболочкой V в R ассоциируется целое положительное число г п, которое мы назвали ее размерностью: г dim V. Один из вариантов определения размерности основан на понятии ранга системы векторов. [31]
Приведенное утверждение - прямое следствие теоремы Дика. Оно демонстрирует важность понятия свободной группы. Мы увидем ниже ( см. 1.1.13), что d ( Fn) n, и таким образом два понятия ранга совпадают. [32]
В системе кодов S, помимо операций, которыми определяются арифметические и предикатные функции, введем операцию выделения содержимого адреса или, коротко, операцию по адресу, обозначаемую символом, который ставится слева вверху перед кодом. Содержание этой операции следующее: каждому коду а из S ставится в соответствие код а из S. Код а называется адресом, кода а. Код а называется содержимым адреса а. Последовательное применение операции выделения содержимого адреса приводит к понятию ранга адреса. [33]