БСЭ БСЭ - Большая Советская Энциклопедия (ЗН)

(от французского imaginaire — мнимый, 1777, опубликовано в 1794).

В 19 в. роль символики возрастает. В это время появляются знаки абсолютной величины |x| (К. Вейерштрасс, 1841), вектора (О. Коши, 1853), определителя

(А. Кэли, 1841) и др. Многие теории, возникшие в 19 в., например Тензорное исчисление, не могли быть развиты без подходящей символики.

Наряду с указанным процессом стандартизации З. м. в современной литературе весьма часто можно встретить З. м., используемые отдельными авторами только в пределах данного исследования.

С точки зрения математической логики, среди З. м. можно наметить следующие основные группы: А) знаки объектов, Б) знаки операций, В) знаки отношений. Например, знаки 1, 2, 3, 4 изображают числа, т. е. объекты, изучаемые арифметикой. Знак операции сложения + сам по себе не изображает никакого объекта; он получает предметное содержание, когда указано, какие числа складываются: запись 1 + 3 изображает число 4. Знак > (больше) есть знак отношения между числами. Знак отношения получает вполне определённое содержание, когда указано, между какими объектами отношение рассматривается. К перечисленным трём основным группам З. м. примыкает четвёртая: Г) вспомогательные знаки, устанавливающие порядок сочетания основных знаков. Достаточное представление о таких знаках дают скобки, указывающие порядок производства действий.

Знаки каждой из трёх групп А), Б) и В) бывают двух родов: 1) индивидуальные знаки вполне определённых объектов, операций и отношений, 2) общие знаки «неременных», или «неизвестных», объектов, операций и отношений.

Примеры знаков первого рода могут служить (см. также таблицу):

A 1) Обозначения натуральных чисел 1, 2, 3, 4, 5, 6, 7, 8, 9; трансцендентных чисел е и p; мнимой единицы i.

Б 1) Знаки арифметических действий +, —, ·, ´,:; извлечения корня , дифференцирования

знаки суммы (объединения) È и произведения (пересечения) Ç множеств; сюда же относятся знаки индивидуальных функций sin, tg, log и т.п.

B 1) Знаки равенства и неравенства =, >, <, ¹, знаки параллельности || и перпендикулярности ^, знаки принадлежности Î элемента некоторому множеству и включения Ì одного множества в другое и т.п.

Знаки второго рода изображают произвольные объекты, операции и отношения определённого класса или объекты, операции и отношения, подчинённые каким-либо заранее оговорённым условиям. Например, при записи тождества ( a + b )( a — b ) = a 2 — b 2буквы а и b обозначают произвольные числа; при изучения функциональной зависимости у = х 2буквы х и у — произвольные числа, связанные заданным отношением; при решении уравнения

x 2— 1 = 0

х обозначает любое число, удовлетворяющее данному уравнению (в результате решения этого уравнения мы узнаём, что этому условию соответствуют лишь два возможных значения +1 и —1).

С логической точки зрения, законно такого рода общие знаки называть знаками переменных, как это принято в математической логике, не пугаясь того обстоятельства, что «область изменения» переменного может оказаться состоящей из одного единственного объекта или даже «пустой» (например, в случае уравнений, не имеющих решения). Дальнейшими примерами такого рода знаков могут служить:

A 2) Обозначения точек, прямых, плоскостей и более сложных геометрических фигур буквами в геометрии.

Б 2) Обозначения f, F, j для функций и обозначения операторного исчисления, когда одной буквой L изображают, например, произвольный оператор вида:

Обозначения для «переменных отношений» менее распространены, они находят применение лишь в математической логике (см. Алгебра логики ) и в сравнительно абстрактных, по преимуществу аксиоматических, математических исследованиях.

Лит.: Cajori F., A history of mathematical notations, v. 1—2, Chi., 1928—29.

Зна'ки отли'чия нагру'дные,в СССР одна из форм награждения граждан, способствующих своей деятельностью укреплению хозяйственной и оборонной мощи государства. Учреждаются Президиумом Верховного Совета СССР. В Положении о соответствующем З. о. н. указываются показатели, за достижение которых награждаются этим знаком. Награждение производится Президиумом Верховного Совета СССР по представлению Совета Министров СССР или, в соответствии с Положением о З. о. н., приказом соответствующего министерства или ведомства.