Cтраница 2
Другими словами, собственный фильтр ( идеал) максимален тогда и только тогда, когда он является максимальным элементом в упорядоченном множестве всех собственных фильтров ( идеалов) в А. [16]
Фильтр этого агрегата состоит из двух стальных затянутых сеткой обечаек; первая, предназначенная для средней очистки, заполняется фарфоровыми кольцами, смоченными машинным или веретенным маслом, а во второй, служащей для тонкой очистки, в качестве собственного фильтра применяется минеральная вата ил И синтетический материал. [17]
V, Таким образом, V является фильтром. V - собственный фильтр, так как Д не пусто. Это доказывает, что V - простой фильтр. Используя двойственность, докажем, что если V - простой фильтр, то Д является простым идеалом. [18]
Поскольку Л невырожденная, нулевой элемент алгебры Л не плотен. Таким образом, V - собственный фильтр, и, следовательно, алгебра Л / У невырожденная. [19]
Поскольку А невырожденная, нулевой элемент алгебры А не плотен. Таким образом, У - собственный фильтр, и, следовательно, алгебра А / У невырожденная. Так как а общезначима в невырожденной булевой алгебре, а. [20]
Множество Е имеет мощность а. Отсюда следует, что всякий собственный фильтр над множеством /, содержащий Е, является а-регулярным. [21]
Это множество замкнуто по умножению и здесь нет нуля. Следовательно, это множество принадлежит собственному фильтру и обладает моделью. [22]
Согласно предложению 4.1.1, порожденный множеством Е фильтр F не содержит пустого множества и, следовательно, является собственным. Это очень легко выводится из определения собственного фильтра, и мы предлагаем читателю сделать это в качестве упражнения. [23]
Собственный идеал не содержит единицу, и собственный фильтр не содержит нуль. [24]
Предположим, что фильтр D является со-регулярным. Тогда Q Е О, а так как D - собственный фильтр, получаем - E § D, откуда следует, что D счетно-неполон. [25]
Набор Т называется совместным, если он обладает хотя бы одной моделью. Набор формул Т называется непротиворечивым, если фильтр, порожденный этим Т, является собственным фильтром в У. [26]
Исключение модуляции сигнала цепью накала, что достигается питанием накала первой лампы постоянным током. Для этой цели в схеме применяется отдельный выпрямитель Д4, собранный по мостовой схеме и имеющий собственный фильтр. [27]
Тот факт, что D - ультрафильтр, используется при доказательстве эквивалентности третьей и четвертой строк из этого списка. Это единственное место во всем доказательстве теоремы, где действительно нужно, чтобы D был ультрафильтром, а не просто собственным фильтром. [28]
Аналогичное утверждение справедливо для собственных фильтров. [29]
В простейших стабилизаторах напряжения используется один общий фильтр или одна общая для всех розеток электрическая схема. В более сложных стабилизаторах на каждую розетку работает свой фильтр. Это значит, что не все устройства системы запитывают-ся через один общий фильтр, а каждое устройство имеет свой собственный фильтр. [30]