ЛЕММУ на Английском - Английский перевод

• lemma

Примеры использования Лемму на Русском языке и их переводы на Английский язык

Папакирьякопулос доказал лемму Дена с помощью построения башни накрытий.
Papakyriakopoulos proved Dehn's lemma using a tower of covering spaces.

Используя эту лемму, мы можем показать, что дерево имеет логарифмическую высоту.
Using this lemma we can now show that the height of the tree is logarithmic.

Все эти доказательства используют лемму Гаусса о примитивных многочленах.
Many of these simple proofs use Gauss's lemma on primitive polynomials as a main step.

Хаф использовал локальную лемму Ловаса, чтобы показать, что существует некоторое максимальное N, которое может быть минимальным модулем покрывающей системы.
Hough used the Lovász local lemma to show that there is some maximum N.

Лемму можно доказать, если заметить, что любая вершина из G′ может быть инцидентна максимум двум ребрам- одно из M и одно из M′.
The lemma can be proven by observing that each vertex in G′ can be incident to at most 2 edges: one from M and one from M′.

Сойфер( стр. 238- 239) дает то же доказательство через лемму Цорна, переоткрытое в 2005 студентом бакалавриата Дмитро Карабашем.
Soifer(2008, pp. 238-239) gives the same proof via Zorn's lemma, rediscovered in 2005 by undergraduate student Dmytro Karabash.

Поэтому лемму достаточно доказать только в последнем случае потому что случаи, когдаK′ ϕ∼= I или графK′ ϕ является точкой, тривиальны.
Therefore it suffices to prove the lemma for this latter case because the cases K′ϕ∼= I or K′ϕ is a point are trivial.

Другое доказательство, использующее лемму Цорна, дал Лайош Поза, а также привел в тезисах диссертации 1951 Эндрю Дирак.
Every member of this intersection is a valid coloring of G. A different proof using Zorn's lemma was given by Lajos Pósa, and also in the 1951 Ph.D. thesis of Gabriel Andrew Dirac.

Эту лемму, в свою очередь, можно использовать для вычисления хроматического числа кнезеровских графов, задачи, которую решил Ласло Ловас другим способом.
This lemma, in turn, can be used to calculate the chromatic number of the Kneser graphs, a problem first solved in a different way by László Lovász.

Грюнбаум приписывает основную лемму в этом результате, что любое множество d+ 3 точек содержит вершины циклического многогранника с( d+ 2) вершинами Мише Перлесу.
Grünbaum attributes the key lemma in this result, that every set of d+ 3 points contains the vertices of a(d+ 2)-vertex cyclic polytope, to Micha Perles.

По иронии судьбы, Бернсайд сделал много оригинальных вкладов в теорию групп, и лемму Бернсайда иногда в шутку называют« леммой, не принадлежащей Бернсайду».
Ironically, Burnside made many original contributions to Group Theory, and Burnside's Lemma is sometimes jokingly referred to as"the lemma that is not Burnside's.

Теперь мы можем доказать лемму Бержа от противного- граф G имеет паросочетание, большее чем у M тогда и только тогда, когда G имеет расширяющий путь.
Let us now prove the contrapositive of Berge's lemma: G has a matching larger than M if and only if G has an augmenting path.

Филлип Сайдак дал следующее конструктивное доказательство, которое не использует доведение до абсурда или лемму Евклида о том, что, если простое число p делит ab, оно должно делить либо a, либо b.
Filip Saidak gave the following proof by construction, which does not use reductio ad absurdum or Euclid's Lemma that if a prime p divides ab then it must divide a or b.

Используя лемму Йонеды можно доказать, что пучок в категории O( X){\ displaystyle O( X)}, определенный указанным способом, совпадает с пучком в топологическом смысле.
Using the Yoneda lemma, it is possible to show that a presheaf on the category O(X) is a sheaf on the topology defined above if and only if it is a sheaf in the classical sense.

В 2008 году Нго Бао Тяу доказал: фундаментальную лемму, которая изначально предполагалась Ленглендсом в 1983 году и требовалась для доказательства некоторых важных гипотез в программе Ленглендса.
In 2008, Ngô Bảo Châu proved the"fundamental lemma", which was originally conjectured by Langlands in 1983 and being required in the proof of some important conjectures in the Langlands program.

Идеи Старра заинтересовали Шепли и Фолкмана: в рамках частной переписки ученые доказали получившие их имя лемму и теорему, а затем эти результаты были опубликованы в работе Старра 1969 года.
Starr's ideas interested the mathematicians Lloyd Shapley and Jon Folkman, who proved their eponymous lemma and theorem in"private correspondence", which was reported by Starr's published paper of 1969.

В 1922 году Куратовский доказал лемму в формулировке, близкой к современной для семейства множеств, упорядоченных по включению и замкнутых относительно объединения вполне упорядоченных цепей.
Kazimierz Kuratowski proved in 1922 a version of the lemma close to its modern formulation it applies to sets ordered by inclusion and closed under unions of well-ordered chains.

Леса высоты d можно интерпретировать как последовательность лесов высоты d- 1( образованных удалением корней деревьев высоты d) и можно использовать лемму Хигмана, чтобы показать, что эти последовательности вполне квазиупорядоченны.
The basic idea of the proof that this relation is a well-quasi-ordering is to use induction on d; the forests of height d may be interpreted as sequences of forests of height d- 1(formed by deleting the roots of the trees in the height-d forest) and Higman's lemma can be used together with the induction hypothesis to show that these sequences are well-quasi-ordered.

В этой работе Нетер также доказала лемму Нетер о нормализации, в которой говорится, что конечно порожденная область целостности A над полем k содержит набор алгебраически независимых элементов x1,…, x1,…, xn, таких, что A является целой над k.
In this paper Noether also introduced the Noether normalization lemma, showing that a finitely generated domain A over a field k has a set{ x1,…, xn} of algebraically independent elements such that A is integral over k.

Задачи о вершинном покрытии в d{\ displaystyle d}- однородных гиперграфах имеет ядра с O( k d){\ displaystyle O( k^{ d})} ребрами, если использовать лемму о подсолнечнике, и не имеет ядер размера O( k d- ε){\ displaystyle O( k^{ d-\ varepsilon})}, если только не coNP⊆{\ displaystyle\ subseteq} NP/ poly.
The vertex cover problems in d{\displaystyle d}-uniform hypergraphs has kernels with O( k d){\displaystyle O(k^{d})} edges using the sunflower lemma, and it does not have kernels of size O( k d- ε){\displaystyle O(k^{d-\varepsilon})} unless coNP⊆ NP/poly{\displaystyle{\text{coNP}}\subseteq{\text{NP/poly.

Ключевые слова: лемма Гейне- Бореля, мультипликативный сегмент, гипердействительная структура.
Key words: Heine-Borel lemma, multiplicative cut, hyper-real structure.

Лемма доказывается индукцией по j.
The lemma can be proven by induction on j.

Лемма Золотарева легко выводится из леммы Гаусса и наоборот.
Zolotarev's lemma can be deduced easily from Gauss's lemma and vice versa.

См., например, доказательство леммы 4 в статье Алвареза, Блеса и Серна Àlvarez et al 2002.
See, e.g., the proof of Lemma 4 in Àlvarez, Blesa& Serna 2002.

Комплексный анализ: комплексная производная, голоморфные функции, интеграл Коши, теорема о вычетах, лемма Шварца.
Complex analysis: complex derivative, holomorphic functions, Cauchy integral, residue theorem, Schwarz lemma.

Волна остается на курсе к колонии на Лемме II.
The wave is continuing on a course to the Lemma II colony.

Она продолжает движение к Лемме II.
It's still on a course to Lemma II.

Ниже приведен хорошо известный результат, касающийся характеризации минимальных сепараторов: Лемма.
The following is a well-known result characterizing the minimal separators: Lemma.

Для доказательства леммы Берж нам сначала нужна другая лемма.
To prove Berge's lemma, we first need another lemma.

Однако каждая функция f n{\ displaystyle f_{ n}} имеет интеграл- 1, поэтому не выполняется неравенство леммы Фату.
However, every function fn has integral -1, hence the inequality in Fatou's lemma fails.