Гомотопические - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Вводное упражнение состоит в том, чтобы классифицировать заглавные буквы английского алфавита в соответствии с гомеоморфизмом и гомотопической эквивалентностью. |
An introductory exercise is to classify the uppercase letters of the English alphabet according to homeomorphism and homotopy equivalence. |
Он заметил гомотопическую инвариантность индекса и попросил формулу для него с помощью топологических инвариантов. |
He noticed the homotopy invariance of the index, and asked for a formula for it by means of topological invariants. |
Он представил свое решение, которое в современных терминах сводится к комбинации метода Дюрана-Кернера с принципом гомотопического продолжения, в 1891 году. |
He presented his solution, that amounts in modern terms to a combination of the Durand–Kerner method with the homotopy continuation principle, in 1891. |
Примером геометрии является риманова геометрия, а примером топологии-гомотопическая теория. |
By examples, an example of geometry is Riemannian geometry, while an example of topology is homotopy theory. |
Гомотопическая эквивалентность является более грубым отношением, чем гомеоморфизм; класс гомотопической эквивалентности может содержать несколько классов гомеоморфизма. |
Homotopy equivalence is a coarser relationship than homeomorphism; a homotopy equivalence class can contain several homeomorphism classes. |
Основная цель состоит в том, чтобы найти алгебраические инварианты, которые классифицируют топологические пространства с точностью до гомеоморфизма, хотя обычно большинство классифицируют с точностью до гомотопической эквивалентности. |
The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence. |
Из этого следует, что два гомотопических эквивалентных пространства имеют изоморфные когомологии Пучков с постоянными коэффициентами. |
It follows that two homotopy equivalent spaces have isomorphic sheaf cohomology with constant coefficients. |
Наконец, если M - R, то этот гомотопический класс пуст. |
Lastly, if M is R, then this homotopy class is empty. |
Теория гомотопических типов отличается от теории интуитивистских типов главным образом своей обработкой типа равенства. |
Homotopy type theory differs from intuitionistic type theory mostly by its handling of the equality type. |
В частности, примерами современной топологии являются теория метризуемости, аксиоматическая теория множеств, гомотопическая теория и теория морса. |
In particular, instances of modern-day topology are metrizability theory, axiomatic set theory, homotopy theory, and Morse theory. |
Можно показать, что для любых двух отображений f, g из M в классифицирующее пространство, обратные связи которых являются одним и тем же расслоением V, отображения должны быть гомотопическими. |
It can be shown that for any two maps f, g from M to the classifying space whose pullbacks are the same bundle V, the maps must be homotopic. |
Эта область является областью активных исследований, о чем свидетельствует теория гомотопических типов. |
The field is an area of active research, as demonstrated by homotopy type theory. |
Следуя этой линии мышления, можно создать целую устойчивую гомотопическую категорию. |
Following this line of thought, an entire stable homotopy category can be created. |
В настоящее время ведутся исследования математических основ с использованием теории гомотопических типов. |
There is ongoing research into mathematical foundations using homotopy type theory. |
Из этого следует, что два гомотопических эквивалентных пространства имеют изоморфные когомологии Пучков с постоянными коэффициентами. |
It is owned by Tunbridge Wells Borough Council and managed by Kent High Weald Project and the Friends of Grosvenor and Hilbert Park. |
Теория гомотопических типов продолжает эту линию, используя теорию типов. |
Homotopy type theory continues in this line using type theory. |
- гомотопически эквивалентный - homotopy equivalent
- гомотопический тип - homotopy type
- гомотопическая группа - homotopy group
- абсолютная гомотопическая группа - absolute homotopy group
- гомотопическая резольвента - homotopic resolvent
- гомотопическая трансгрессия - homotopy transgression
- гомотопическая тривиальность - homotopy triviality
- гомотопически обратное отображение - homotopy inverse
- гомотопически равный - homotopically equal
- гомотопически тривиальное пространство - homotopically trivial space
- гомотопически тривиальное расслоение - homotopically trivial foliation
- гомотопически тривиальный - homotopically trivial
- гомотопический n-мерный остов - homotopy n-skeleton
- гомотопический инвариант - homotopy invariant
- гомотопический максимум - homotopic maximum
- гомотопическое соединение - homotopy jog
- мат. гомотопически обратное отображение - homotopy inverse mapping
- матем. гомотопически тонкий (о пучке) - homotopically fine
- на основе гомотопический - based homotopy
- послойный гомотопический тип - fiber homotopy type