Cтраница 3
Теорема и ее доказательство остаются верными, если в (7.1) и (7.3) знаки неравенств и заменить на и соответственно. [31]
Теорема 1 и ее доказательство переносятся на произвольные строго устойчивые распределения, Если Р 8 0 6 не зависи. [32]
Теорема 1а распространяется на распределенияf принадлежащие к области притяжения устойчивого распределения. [33]
Теорема 2 имеет интересную историю. [34]
Теорема остается верной и в случае, когда х - - оо, х - - - ( - оо и х - - ос. [35]
Теорема 1 имеет много следствий. [36]
Теорема была сформулирована так, чтобы охватить и сходимость к нормальным распределениям. [37]
Теорема ( и метод доказательства) легко распространяется на другие методы суммирования. [38]
Теорема 1 довольно просто обобщается на случай / ( - медиан. [39]
![]() |
Граф без эйлерова цикла. [40] |
Теорема 2 следует из ( 1), а теорема 3 - из ( 2), если вспомнить, что все операции рассматриваются по модулю 2, так что, например, 2 0 ( тоо. Кроме того, существуют доказательства этих теорем [21, 17, 6], не использующие предположения о фундаментальности циклов и разрезов. Следовательно, сформулированные теоремы справедливы для любых матриц циклов и разрезов. Последние определяются аналогичным образом. [41]
Теорема 6.8 имеет следующий геометрический смысл. [42]
Теорема 8.7 показывает, что существует естественное взаимно-однозначное соответствие между простыми идеалами и простыми фильтрами решетки А. Мы получим это соответствие, сопоставив каждому простому идеалу Д его дополнение V - Д: Л - Д до решетки А, В силу 8.7 теоретико-множественное дополнение - Д является простым фильтром и каждый простой фильтр представим в форме - Д, где Д - некоторый простой идеал. [43]
Теорема 13 2 устанавливает, что каждый фильтр в имплика-тивной решетке определяет отношение эквивалентности, являющееся конгруэнцией относительно Л, [), - Мы докажем теперь, что и, наоборот, каждая такая конгруэнция определяется некоторым фильтром. [44]
Теорема 1.3, дополняющая теоремы I, 12.2 и I, 12.3, не содержит никаких утверждений о разности Ь - а. Так как Ь - а двойственно а Ь, то такие утверждения легко получить из 1.3 и I, 12.2, I, 12.3 посредством принципа двойственности. [45]