| This theorem is proved by using the Nakai criterion and the Riemann-Roch theorem for surfaces. | Эта теорема доказана при помощи критерия Накаи и теоремы Римана - Роха для поверхности. |
| The envelope theorem is an important tool for comparative statics of optimization models. | Теорема важна для сравнительной статики в оптимизационных моделях. |
| Unlike in the film, somebody correctly points out that the Pythagorean theorem recited applies only to right triangles, not all isosceles triangles. | В отличие от фильма, кто-то справедливо замечает, что теорема Пифагора распространяется на прямоугольные треугольники, а не на равнобедренные. |
| The source coding theorem for symbol codes places an upper and a lower bound on the minimal possible expected length of codewords as a function of the entropy of the input word (which is viewed as a random variable) and of the size of the target alphabet. | Теорема об источнике шифрования для кодов символов приводит верхнюю и нижнюю границу к минимально возможной длине зашифрованных слов как функция энтропии от входного слова (которое представлено как случайная переменная) и от размера требуемой азбуки. |
| The Hasse-Minkowski theorem reduces the problem of classifying quadratic forms over a number field K up to equivalence to the set of analogous but much simpler questions over local fields. | Теорема Минковского - Хассе сводит проблему классификации неособых квадратичных форм над числовым полем с точностью до эквивалентности к набору аналогичных задач над локальными полями. |
| The Robertson-Seymour theorem proves that, for the particular case of graph minors, a family that is closed under minors always has a finite obstruction set. | Теорема Робертсона - Сеймура доказывает, что в определённых случаях миноров графа, семейство, замкнутое по минорам, всегда имеет конечное препятствующее множество. |
| The theorem is stated in the seventeenth of a series of 23 papers by Neil Robertson and Paul Seymour. | Теорема была сформулирована в семнадцати статьях из серии из 23 статей Нейла Робертсона и Пола Сеймура. |
| The proof is based on a theorem of Robertson and Seymour that the families of graphs with unbounded treewidth have arbitrarily large grid minors. | Доказательство опирается на теорему Робертсона и Сеймура о том, что семейства графов с неограниченной древесной шириной имеют произвольно большие миноры-решётки. |
| Some examples of finite obstruction sets were already known for specific classes of graphs before the Robertson-Seymour theorem was proved. | Некоторые примеры конечных препятствующих множеств были уже известны для некоторых классов ещё до доказательства теоремы Робертсона - Сеймура. |
| According to the Robertson-Seymour theorem, there exists a finite set H of minimal elements in S. These minimal elements form a forbidden graph characterization of F: the graphs in F are exactly the graphs that do not have any graph in H as a minor. | Согласно теореме Робертсона - Сеймура существует конечное множество Н минимальных элементов в S. Эти минимальные элементы образуют характеризацию запрещёнными графами множества F - графы из F являются в точности теми графами, которые не имеют какого-либо графа из H в качестве минора. |
| The original De Bruijn-Erdős theorem is the case k = ℵ0 of this generalization, since a set is finite if and only if its cardinality is less than ℵ0. | Оригинальная теорема де Брёйна - Эрдёша является частным случаем к = ℵ0 этого обобщения, поскольку множество конечно тогда и только тогда, когда его мощность меньше ℵ0. |
| The De Bruijn-Erdős theorem shows that, for this problem, there exists a finite unit distance graph with the same chromatic number as the whole plane, so if the chromatic number is greater than five then this fact can be proved by a finite calculation. | Теорема де Брёйна - Эрдёша показывает, что для этой задачи существует конечный граф единичных расстояний с тем же хроматическим числом, что и вся плоскость целиком, так что если хроматическое число больше четырёх, то этот факт может быть доказан конечными вычислениями. |
| If a graph does not have finite chromatic number, then the De Bruijn-Erdős theorem implies that it must contain finite subgraphs of every possible finite chromatic number. | Если граф не имеет конечного хроматического числа, тогда из теоремы де Брёйна - Эрдёша следует, что граф должен содержать конечные подграфы для каждого возможного хроматического числа. |
| Gottschalk states his proof more generally as a proof of the theorem of Rado (1949) that generalizes the De Bruijn-Erdős theorem. | Готтшальк утверждает, что его доказательство более обще, чем доказательство теоремы Радо (Rado 1949), которая обобщает теорему де Брёйна - Эрдёша. |
| Its applications include extending the four-color theorem and Dilworth's theorem from finite graphs and partially ordered sets to infinite ones, and reducing the Hadwiger-Nelson problem on the chromatic number of the plane to a problem about finite graphs. | Теорема применяется для расширения задачи четырёх красок и теоремы Дилуорса для конечных графов и множеств с частичным порядком до бесконечных вариантов, сведения задачи Нельсона - Эрдёша - Хадвигера о хроматическом числе плоскости к задачам на конечных графах. |
| Hall (2015, Theorem 4.34 and following discussion.) | Hall, 2015, с. Theorem 4.34 и последующее обсуждение. |
| A proof of this fact can be found in (Hörmander 1990, pp. 25), Theorem 1.4.1. | Доказательство этого факта можно найти в статье Хёрмандера (Hörmander 1990, С. 25), Theorem 1.4.1. |
| Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic. | Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике. |
| The tweakable narrow-block encryption (LRW) is an instantiation of the mode of operations introduced by Liskov, Rivest, and Wagner (see Theorem 2). | Настраиваемое узкоблочное шифрование (LRW) представляет собой экземпляр режима операций, введенного Лисковым, Ривестом и Вагнером (see Theorem 2). |
| If r < n, then it is possible to append n - r rows to an r× n Latin rectangle to form a Latin square, using Hall's marriage theorem. | Если г < n, то можно добавить n - r строк к латинскому прямоугольнику с размерами r× n, чтобы сформировать латинский квадрат, используя теорему Холла о свадьбах theorem. |
| For comparison, the Riemann-Roch theorem for a curve states that χ(D) = χ(0) + deg(D). | Для сравнения, теорема Римана - Роха для кривой утверждает, что χ (D) = χ (0) + d e g (D) {\displaystyle \chi (D)=\chi (0)+deg(D)}. |
| The Riemann-Hurwitz formula concerning (ramified) maps between Riemann surfaces or algebraic curves is a consequence of the Riemann-Roch theorem. | Формула Римана - Гурвица, относяющаяся к (разветвлённым) отображениям между римановыми поверхностями или алгебраическими кривыми, является следствием теоремы Римана - Роха. |
| Under the hand of Peter Roquette: The first main achievement of F. K. Schmidt is the discovery that the classical theorem of Riemann-Roch on compact Riemann surfaces can be transferred to function fields with finite base field. | Согласно Петру Рокетту: Первое большое достижение Ф. К. Шмидта - открытие факта, что классическая теорема Римана - Роха на компактных римановых поверхностях может быть перенесена на поле функций с конечным базовым полем. |
| His work reinterprets Riemann-Roch not as a theorem about a variety, but about a morphism between two varieties. | Его работа даёт другое толкование теоремы Римана - Роха, не как теоремы о многообразии, а как теоремы о морфизме между двумя многообразиями. |
| Many earlier results such as the Riemann-Roch theorem and the Hodge theorem have been generalized or understood better using sheaf cohomology. | Многие более ранние результаты, такие как теорема Римана - Роха и теорема Ходжа были обобщены и лучше поняты благадаря когомологиям пучков. |