Свойство - пересечение
Cтраница 1
Свойство пересечений: каждый класс замкнутых множеств любой конечный подкласс которых имеет непустое пересечение, также имеет непустое пересечение. [1]
Свойство пересечений эквивалентно утверждению, что каждый класс замкнутых множеств с пустым пересечением содержит конечный подкласс с пустым пересечением. Следовательно, оно двойственно свойству Гейне - Бореля, и поэтому достаточно доказать его эквивалентность свойству Больцано - Вейерштрасса. [2]
Покажите, что свойство общего пересечения не является существенным с точки зрения гипотезы универсального отношения. [3]
Для доказательства нужно применить свойство пересечений. [4]
 |
Разрешение парадокса Бертрана. [5] |
Перечислим без доказательств некоторые свойства пересечений случайных линий с объектами. Полагаем всюду, что используются параметры 0 и р, и поэтому перечисляемые свойства будут инвариантны к любым переносам и вращениям, которые полностью сохраняют объект внутри сетчатки. Мы должны заранее ожидать, что некоторые из этих свойств будут зависеть от самой сетчатки. Например, если сетчатка очень велика по сравнению с объектом, то только малая доля случайных линий, брошенных на сетчатку, будет вообще пересекать объект. В дальнейшем будем обозначать длину периметра сетчатки через R и будем считать, что объект состоит из одной просто связной компоненты с границей В. Наш первый результат определяет, насколько велика вероятность пересечения случайной линией объекта. [6]
Здесь надо заметить, что так как операция ( вершина) В ( ГРУППА) проходит через все записи, ее можно не включать, ограничившись вершиной U ( ГРУППА), проходящей только через некоторые записи, ввиду того, что операция соединения имеет свойства пересечения множеств. [7]
В частности, если V и W - подмногообразия неособого многообразия У, класс пересечения V - W определен в Am ( Vr W), т dim V dim W - - dim У. Ожидаемые свойства пересечений и крат-ностей непосредственно следуют из общих свойств, доказанных в гл. [8]
Пересечение множеств иногда называют произведением множеств и обозначают XY. Однако свойства пересечения множеств несколько отличаются от свойств произведения в обычном арифметическом понимании. [9]
Теорему 6.1 нетрудно обобщить и показать, что пересечение произвольного числа моделей Эрбрана для множества дизъюнктов Дейталога S само является моделью Эрбрана S. Это свойство пересечения моделей имеет место не только в контексте Дейталога, но и в более общем случае логического программирования. Это свойство является одной из характеристик хорновских дизъюнктов. Для множеств дизъюнктов произвольного вида это свойство не имеет места. [10]
Ас и А не пересекаются. Второе утверждение сразу следует из свойства пересечений. [11]
Описанную технику можно с успехом применять для склеивания трансверсальных калибровок на цилиндре, где, так же как на сфере, проста геометрия пересечения. В общем случае склеивание не связано ни с какими свойствами пересечения. [12]
Глубина поля сканирующего электронного микроскопа уменьшается при увеличении разрешения, так что она всегда меньше глубины пор на поверхности образца. Поэтому на самом деле интенсивность вторичной электронной эмиссии определяется свойствами пересечения линии сканирования с пористой поверхностью. [14]
LDL S не обязательно является единственной минимальной моделью. Это свойство не выполняется не только из-за возможного наличия отрицательных литералов в телах правил LDL. Как показывает следующий пример, существуют множества, состоящие только из положительных дизъюнктов LDL, для которых свойство пересечения моделей не выполняется. [15]
Страницы: 1