Конструктивный объект
Конструкти́вный объе́кт, название, установившееся за математическими объектами, возникающими в результате развёртывания так называемых конструктивных процессов. При описании того или иного конкретного конструктивного процесса обычно «...предполагается, что отчётливо охарактеризованы объекты, которые в данном рассмотрении фигурируют в качестве нерасчленяемых на части исходных объектов; предполагается, что задан список тех правил образования новых объектов из ранее построенных, которые в данном рассмотрении фигурируют в качестве описаний допустимых шагов конструктивных процессов; предполагается, что процессы построения осуществляются отдельными шагами, причём выбор каждого очередного шага произволен в тех границах, которые определяются списком ранее построенных объектов и совокупностью тех правил образования, которые фактически можно применить к ранее построенным объектам» (Шанин. 1962. С. 16). Такое описание конструктивного процесса, а тем самым и конструктивного объекта, разумеется, не может претендовать на то, чтобы быть точным математическим определением. Однако конкретные математические теории всегда имеют дело лишь с такими конкретными типами конструктивных объектов, которые допускают точную характеризацию. Приведённое выше описание конструктивного объекта служит в таких ситуациях ориентиром для выбора соответствующих точных определений.
Примером точно определённого типа конструктивного объекта могут служить слова в каком-либо фиксированном алфавите (буквы этого алфавита играют роль исходных объектов; новые слова получаются из уже имеющихся путём приписывания к последним справа букв рассматриваемого алфавита). Другими примерами типов конструктивных объектов могут служить конечные графы, конечные абстрактные топологические комплексы, релейно-контактные схемы (выбор соответствующих исходных объектов и правил образования не представляет труда). Как конструктивные объекты могут быть также определены рациональные числа, алгебраические многочлены, алгоритмы и исчисления различных точно определённых типов, конечные автоматы, конечно определённые группы и другие им подобные математические объекты.
Конструктивные объекты играют важную роль в тех математических теориях, в которых возникает потребность в рассмотрении объектов, допускающих отчётливое индивидуальное задание средствами той или иной математической символики. В рамках теоретико-множественной математики, неограниченно использующей абстракцию актуальной бесконечности, конструктивные объекты и произвольные множества конструктивных объектов рассматриваются одновременно и наравне с прочими математическими объектами, среди которых конструктивные объекты выделяются лишь своей большей «осязаемостью». В рамках конструктивной математики конструктивные объекты (или объекты, задаваемые ими) представляют собой единственно допускаемый к рассмотрению тип математических объектов, и рассмотрение их здесь ведётся на базе отказа от применения абстракции актуальной бесконечности и на основе специальной конструктивной логики, учитывающей, в частности, специфику определения конструктивных объектов.