«абстракция отождествления»

мат. abstraction of identification

АБСТРАКЦИЯ ОТОЖДЕСТВЛЕНИЯ

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

см. Алгоритм.

способ формирования общих абстрактных понятий, состоящий в том, что при рассмотрении к.-л. исходных объектов мы начинаем принимать во внимание лишь те их различия, к-рые в данной ситуации по тем или иным причинам оказываются для нас существенными, игнорируя другие - несущественные. Исходные объекты, различающиеся лишь несущественным образом, мы начинаем считать одинаковыми, и в речевом аспекте А. о. проявляется в том, что о двух одинаковых исходных объектах мы начинаем, отождествляя их, говорить как об одном и том же абстрактном объекте, закрепив за ним соответствующий термин. Так, напр., отождествляя одинаковые буквы( слова, алфавиты), мы приходим к понятию абстрактной буквы (абстрактного слова, абстрактного алфавита, см. [1], с. 7- 15); отождествляя эквивалентные фундаментальные последовательности рациональных чисел, мы приходим к понятию действительного числа;отождествляя изоморфные группы, мы приходим к понятию абстрактной группы и т. д.

См. также А бстракция математическая, Эквивалентность, Изоморфизм.

Лит.:[1] Марков А. А., "Тр. матем. ин-та АН СССР", 1954, т. 42; [2] его же, О логике конструктивной математики, М., 1972. Н. <М. <Нагорный.

см. абстракция отожествления

см. абстракция отожествления