счетный
121АВТОМАТ ВЕРОЯТНОСТНЫЙ — обобщение автомата конечного, в к ром функции переходов и выходов являются случайными функциями. Другими словами, А. в. может быть задан системой где А, S, В конечные алфавиты, имеющие тот же смысл, что и в конечном автомате, а случайные функции …
122БИКОМПАКТНОЕ ПРОСТРАНСТВО — топологическое пространство, в каждом открытом покрытии к рого содержится конечное подпокрытие того же пространства. Следующие утверждения равносильны: 1) пространство Xбикомпактно; 2) пересечение любой центрированной системы замкнутых в… …
123БИКОМПАКТНОЕ РАСШИРЕНИЕ — (би)компактификация, расширение топологического пространства, являющееся бикомпактным пространством. Б. р. существуют у любого топологич. пространства, у любого T1 пространства есть Б. р., являющиеся T1 пространствами, но наибольший интерес… …
124ГИЛЬБЕРТОВО ПРОСТРАНСТВО — векторное пространство Н над полем комплексных (или действительных) чисел вместе с комплексной (действительной) функцией ( х, у), определенной на и обладающей следующими свойствами. то существует такой элемент , что элемент хназ. пределом… …
125КОММУТАТИВНАЯ БАНАХОВА АЛГЕБРА — банахова алгебра Ас единицей над полем С, в к рой ху=ух для всех Всякий максимальный идеал К. б. а. Аявляется ядром нек рого линейного непрерывного мультипликативного функционала j на А, т …
126МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных …
127МОЩНОСТНАЯ ХАРАКТЕРИСТИКА — топологического пространства функция, сопоставляющая этому пространству бесконечное кардинальное число и принимающая одинаковые значения на гомеоморфных пространствах. М. х. наз. также кардинальными инвариантами. Областью определения М. х. может… …
128ОПЕРЕНИЕ — пространства счетное семейство Рпокрытий пространства Xмножествами, открытыми в нек ром объемлющем пространство Y, такое, что для каждой точки (здесь означает звезду точки хотносительно g, т. е. объединение всех элементов из g, содержащих точку… …
