Множество - отображение
Cтраница 1
Множество отображений из L ( V, M, s), которые транс-версалъны к N на К, открыто и всюду плотно. [1]
Множество отображений, элементы которого образуют полугруппу относительно операции умножения отображений. [2]
 |
Типы дефектов в конденсированных средах и соответствующие им подмногообразия дефектов Е. а-точечный дефект. 6 - линейный дефект. в-планарный дефект. [3] |
Множество отображений ( 6) разбивается на гомотопич. [4]
Множество Q отображений интервала 1 вЕ, имеющих на I примитивную, образует замкнутое ( а значит. I, Е) отображений интервала I в Е, наделенное топологией равномерной сходимости на любой компактной части интервала 1 ( Общая топология, гл. [5]
Среди множества возможных отображений большое значение имеет конформное отображение - такое отображение, которое в пределах малых площадей Дсо имеет геометрически подобные фигуры относительно исходной. [6]
X изучаются множества отображений топологического пространства в равномерное пространство ( называемые функциональными пространствами); эти множества, наделенные в свою очередь надлежащей топологической структурой, обладают интересными свойствами, играющими важную роль даже в классическом аналиве. [7]
Тип функции определяет множество отображений из данной области определения в область результата. Областью определения функции является декартово произведение множеств значений нескольких типов данных ( в частности, одного), областью результата - множество значений некоторого одного типа. Отображения в область, задаваемую типом попе ( ничто) с пустым множеством значений, называются процедурами. Соответственно при задании типа функции указывается область определения и область результата, а для типа процедуры - только область определения. Составляющие области определения называются типами формальных параметров. [8]
Таким образом, множество отображений, которые удовлетворяют аксиомам (2.19) - (2.21), являются нечетким отрицанием. [9]
В силу теоремы 7.1.3 множество отображений Ui равностепенно непрерывно. [10]
Обозначим Ч / l множество неотрицательных непрерывных монотонных отображений т: R - R, удовлетворяющих соотношениям m ( 0) 0, lim / п ( м) оо. [11]
Для доказательства того, что множество отображений образует группу, нам придется поступить, как всегда, - проверить выполнение групповых аксиом. Мы занимались такого рода проверкой много раз, и общая процедура нам хорошо знакома. Однако наш опыт обращения с отображениями крайне ограничен, и они по-прежнему представляются нам какими-то странными образованиями, которые могут - и весьма сложным способом - переставлять элементы множеств. Поэтому будем проводить проверку очень тщательно, уделяя особое внимание некоторым тонким вопросам. В результате детального исследования мы установим, какие именно множества отображений множества на себя образуют группу. Вообще говоря, далеко не всякое отображение может служить элементом группы. Мы исследуем, насколько совместимы свойства отображения с групповыми аксиомами, и выясним, каким условиям должно удовлетворять отображение, являющееся элементом группы. [12]
O ( Q M) обозначает множество отображений f: fi - - M, для которых непрерывны Dhf с любым мультииндексом. [13]
Теперь необходимо описать те операции над множествами отображений, которые приведут к построению универсального нумератора. [14]
Приведем пример одного часто используемого в теории множеств определяемого отображения. Рассмотрим формулу ( р ( х у) у S ( x), которая, как мы знаем, достаточно просто формализуется в ZF. Поэтому формула у - S ( x ] определяет отображение. Тогда для каждого множества А область значений ran ( у S ( x) A) отображения S относительно множества А будет множеством по аксиоме подстановки. [15]
Страницы: 1 2 3 4