| dbo:abstract
|
- Es coneix com a invariant per nusos qualsevol funció f del conjunt de tots els nusos possibles a qualsevol conjunt tal que, siguin K i K' dos nusos (o, alternativament, homeomorfs), es compleixi f(K) = f(K'). Val la pena observar que no s'imposa com a condició la recriprocitat, pel que f(K) = f(K') no té per què implicar que K i K' siguin isòtops (podem tenir nusos diferents que prenguin el mateix valor per un invariant donat). Pel que fa al conjunt d'arribada dels invariants per nusos més usuals hi predominen els polinomis, tot i que també són usats invariants que assignen a cada polinomi un grup (com en el cas del grup fonamental del complementari del nus) o un nombre (com passa amb els ). Un dels invariants no trivials amb conjunt d'arribada més petit és l', que assigna a cada nus un valor del conjunt {0, 1}. Un dels primers invariants per nusos estudiats fou el grup fonamental del complementari (degut a les primeres definicions formals del concepte de nus). Tot i que és un invariant complet (és a dir, que sí que distingeix els nusos unívocament) la seva complexitat portà a definir els anys següents diversos invariants polinòmics. (ca)
- In the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some invariants are indeed numbers (algebraic), but invariants can range from the simple, such as a yes/no answer, to those as complex as a homology theory (for example, "a knot invariant is a rule that assigns to any knot K a quantity φ(K) such that if K and K' are equivalent then φ(K) = φ(K')."). Research on invariants is not only motivated by the basic problem of distinguishing one knot from another but also to understand fundamental properties of knots and their relations to other branches of mathematics. Knot invariants are thus used in knot classification, both in "enumeration" and "duplication removal". A knot invariant is a quantity defined on the set of all knots, which takes the same value for any two equivalent knots. For example, a knot group is a knot invariant. Typically a knot invariant is a combinatorial quantity defined on knot diagrams. Thus if two knot diagrams differ with respect to some knot invariant, they must represent different knots. However, as is generally the case with topological invariants, if two knot diagrams share the same values with respect to a [single] knot invariant, then we still cannot conclude that the knots are the same. From the modern perspective, it is natural to define a knot invariant from a knot diagram. Of course, it must be unchanged (that is to say, invariant) under the Reidemeister moves ("triangular moves"). Tricolorability (and n-colorability) is a particularly simple and common example. Other examples are knot polynomials, such as the Jones polynomial, which are currently among the most useful invariants for distinguishing knots from one another, though currently it is not known whether there exists a knot polynomial which distinguishes all knots from each other. However, there are invariants which distinguish the unknot from all other knots, such as Khovanov homology and knot Floer homology. Other invariants can be defined by considering some integer-valued function of knot diagrams and taking its minimum value over all possible diagrams of a given knot. This category includes the crossing number, which is the minimum number of crossings for any diagram of the knot, and the bridge number, which is the minimum number of bridges for any diagram of the knot. Historically, many of the early knot invariants are not defined by first selecting a diagram but defined intrinsically, which can make computing some of these invariants a challenge. For example, knot genus is particularly tricky to compute, but can be effective (for instance, in distinguishing mutants). The complement of a knot itself (as a topological space) is known to be a "complete invariant" of the knot by the Gordon–Luecke theorem in the sense that it distinguishes the given knot from all other knots up to ambient isotopy and mirror image. Some invariants associated with the knot complement include the knot group which is just the fundamental group of the complement. The knot quandle is also a complete invariant in this sense but it is difficult to determine if two quandles are isomorphic. The peripheral subgroup can also work as a complete invariant. By Mostow–Prasad rigidity, the hyperbolic structure on the complement of a hyperbolic link is unique, which means the hyperbolic volume is an invariant for these knots and links. Volume, and other hyperbolic invariants, have proven very effective, utilized in some of the extensive efforts at knot tabulation. In recent years, there has been much interest in homological invariants of knots which categorify well-known invariants. Heegaard Floer homology is a homology theory whose Euler characteristic is the Alexander polynomial of the knot. It has been proven effective in deducing new results about the classical invariants. Along a different line of study, there is a combinatorially defined cohomology theory of knots called Khovanov homology whose Euler characteristic is the Jones polynomial. This has recently been shown to be useful in obtaining bounds on slice genus whose earlier proofs required gauge theory. Mikhail Khovanov and Lev Rozansky have since defined several other related cohomology theories whose Euler characteristics recover other classical invariants. Catharina Stroppel gave a representation theoretic interpretation of Khovanov homology by categorifying quantum group invariants. There is also growing interest from both knot theorists and scientists in understanding "physical" or geometric properties of knots and relating it to topological invariants and knot type. An old result in this direction is the Fáry–Milnor theorem states that if the total curvature of a knot K in satisfies where κ(p) is the curvature at p, then K is an unknot. Therefore, for knotted curves, An example of a "physical" invariant is ropelength, which is the length of unit-diameter rope needed to realize a particular knot type. (en)
- En théorie des nœuds, un invariant de nœuds est une quantité définie pour chaque nœud qui est la même pour tous les nœuds équivalents. On parlera d'équivalence lorsqu'on peut passer d'un nœud à un autre par un ensemble de mouvements de Reidemeister. Ces invariants topologiques peuvent être de tout type : des booléens, des scalaires, des polynômes (polynôme d'Alexander, le polynôme de Jones, le (en)) ou encore le groupe fondamental du complément d'un nœud, les (en) de Vassiliev et l' (en). La tricolorabilité est un invariant de nœuds.
* Portail des mathématiques (fr)
- 매듭 이론에서 매듭 불변량은 동일한 각 매듭에 대해 동일하게 정의되는 양이다. 이러한 양은 넓은 의미에서 어떤 수학적 대상도 될 수 있다. 매듭의 동일성은 주로 에 의해 주어지지만 위상동형에 의해 주어질 수 있다. 일부 불변량은 실제로 대수적인 의미의 수이지만, 불변량은 예/아니오 대답과 같은 단순한 것부터 호몰로지 이론과 같은 복잡한 것까지 다양하다. 예를 들어, 매듭 불변량은 매듭 K에 양 φK를 할당하는 규칙이고, K 와 K' 가 동일하면 φ(K) = φ(K')이다. 불변량에 대한 연구는 한 매듭을 다른 매듭과 구별하는 기본적인 문제에 의해 동기가 부여될 뿐만 아니라 매듭의 기본 성질 및 수학의 다른 분야와의 관계를 이해하기 위한 것이다. 따라서 매듭 불변량은 매듭 분류에 사용되며, "열거"와 "중복 제거" 모두에서 사용된다. 현대적인 관점에서 매듭 다이어그램으로부터 매듭 불변량을 정의하는 것이 자연스럽다. 물론 이는 라이데마이스터 변형에 의해 바뀌지 않아야 한다. 즉, 라이데마이스터 변형에 대해 불변이다. 삼색 칠하기 가능성(및 n-색칠 가능성)은 특히 간단하고 일반적인 예이다. 다른 예는 존스 다항식과 같은 이다. 매듭 다항식은 현재 매듭을 서로 구별하는 데 가장 유용한 불변량 중 하나이지만, 현재 모든 매듭을 서로 구별하는 매듭 다항식이 있는지 여부는 알려져 있지 않다. 그러나 호바노프 호몰로지 및 매듭 플뢰어 호몰로지와 같이 풀린매듭을 다른 모든 매듭과 구별하는 불변량은 존재한다. 다른 불변량은 매듭 다이어그램의 일부 정수 값 함수를 고려하고 주어진 매듭의 모든 가능한 다이어그램에 대해 최소값을 취함으로써 정의될 수 있다. 이 범주에는 매듭 다이어그램에 대한 최소 교차 수인 와 매듭 다이어그램에 대한 최소 다리 수인 가 포함된다. 역사적으로 초기 매듭 불변량의 대부분은 먼저 다이어그램을 선택하여 정의되지 않고 본질적으로 정의되어 이러한 불변량 중 일부를 계산하는 것이 어려울 수 있다. 예를 들어, 매듭 종수는 계산하기가 특히 까다롭지만 효과적일 수 있다(예: 를 구별하는 경우). 매듭 자체의 여공간(위상수학적 공간으로서의)은 주어진 매듭을 주변 동위 및 까지 다른 모든 매듭과 구별한다는 의미에서 에 의해 매듭의 "완전 불변량"으로 알려져 있다. 매듭의 여공간과 관련된 일부 불변량에는 여공간의 기본군인 매듭군이 포함된다. 매듭 퀀들(영어: knot quandle) 도 이러한 의미에서 완전 불변이지만 두 개의 퀀들이 동형인지 여부를 결정하기는 어렵다. Mostow-Prasad 강성에 의해 쌍곡 연환의 여공간에 대한 쌍곡 구조는 유일하다. 이는 쌍곡 부피가 이러한 매듭과 연환에 대해 불변임을 의미한다. 부피 및 기타 쌍곡 불변량은 매듭표 작성에 대한 광범위한 노력의 일부에 활용되어 매우 효과적인 것으로 입증되었다. 최근 몇 년 동안 잘 알려진 불변량을 범주화하는 매듭의 호몰로지 불변량에 대한 관심이 높아지고 있다. Heegaard 플뢰어 호몰로지는 오일러 지표가 매듭의 알렉산더 다항식인 호몰로지 이론이다. 호몰로지 불변량은 고전적 불변량에 대한 새로운 결과를 추론하는 데 효과적인 것으로 입증되었다. 다른 연구 라인을 따라, 오일러 지표가 존스 다항식인 라고 하는 매듭에 대해 조합적으로 정의된 코호몰로지 이론이 있다. 이것은 최근에 이전에는 증명에 게이지 이론이 필요한 의 경계를 얻는 데 유용한 것으로 나타났다. 와 Lev Rozansky는 그 이후로 오일러 지표가 다른 고전적 불변량을 복구하는 여러 다른 관련 코호몰로지 이론을 정의했다. 은 양자군 불변량을 범주화하여 호바노프 호몰로지에 대한 이론적인 해석을 제시했다. 매듭 이론가와 과학자 모두 매듭의 "물리적" 또는 기하학적 특성을 이해하고 이를 위상 불변량 및 매듭 유형과 관련시키는 데 관심이 커지고 있다. 이 방향의 오래된 결과는 인데, 정리에 따르면 안의 매듭 K와 p에서의 곡률 κ(p)에 대해 K의 전체 곡률이 부등식 을 만족한다면, K는 풀린매듭이다. 따라서 매듭이 있는 곡선의 경우 을 만족한다. "물리적" 불변량 의 예는 특정 매듭 유형을 실현하는 데 필요한 단위 직경 밧줄의 길이인 이다. (ko)
- In de knopentheorie, een deelgebied van de topologie, is een knoopinvariant een voor elke knoop gedefinieerde grootheid (in de ruimste zin des woords), die hetzelfde is voor equivalente knopen. De equivalentie wordt vaak gegeven door omgevende isotopie, maar kan ook worden gegeven door een homeomorfisme. Sommige knoopinvarianten zijn gewoon getallen, maar knoopinvarianten kunnen variëren van eenvoudige wiskundige objecten, zoals een ja/nee antwoord op een vraag, tot zeer complexe knoopinvarianten zoals een homologietheorie. Onderzoek naar knoopinvarianten wordt niet alleen ingegeven door het fundamentele probleem om de ene knoop van de andere knoop te onderscheiden, maar ook om de fundamentele eigenschappen van knopen en hun relaties tot andere deelgebieden van de wiskunde te begrijpen. (nl)
- Инвариа́нт узла́ — любая характеристика узла (в простейшем число, но может быть многочленом, группой и так далее), которая определена для каждого узла и одинакова для эквивалентных узлов. Эквивалентность обычно задаётся объемлющей изотопией, но может задаваться и как гомеоморфизм. Исследования инвариантов мотивированы не только основной задачей теории — различением узлов — но также и необходимостью понять фундаментальные свойства узлов и их связью с другими областями математики. С современной точки зрения, естественно определять инвариант узла по его .Конечно, инвариант должен оставаться неизменным при движениях Рейдемейстера,это свойство эквивалентно инвариантности характеристики. (ru)
- Інваріант вузла — характеристика вузла (у найпростішому випадку число, але може бути многочленом, групою і так далі), визначена для кожного вузла і однакова для еквівалентних вузлів. Еквівалентність зазвичай задається , але може задаватися і як гомеоморфізм. Дослідження інваріантів мотивовані не тільки основним завданням теорії — розрізненням вузлів — але також і необхідністю зрозуміти фундаментальні властивості вузлів та їх зв'язком з іншими галузями математики. З сучасної точки зору, природно визначати інваріант вузла за його діаграмою. Звичайно, інваріант повинен залишатися незмінним під час рухів Рейдемейстера, ця властивість еквівалентна інваріантності характеристики. (uk)
|
| rdfs:comment
|
- En théorie des nœuds, un invariant de nœuds est une quantité définie pour chaque nœud qui est la même pour tous les nœuds équivalents. On parlera d'équivalence lorsqu'on peut passer d'un nœud à un autre par un ensemble de mouvements de Reidemeister. Ces invariants topologiques peuvent être de tout type : des booléens, des scalaires, des polynômes (polynôme d'Alexander, le polynôme de Jones, le (en)) ou encore le groupe fondamental du complément d'un nœud, les (en) de Vassiliev et l' (en). La tricolorabilité est un invariant de nœuds.
* Portail des mathématiques (fr)
- In de knopentheorie, een deelgebied van de topologie, is een knoopinvariant een voor elke knoop gedefinieerde grootheid (in de ruimste zin des woords), die hetzelfde is voor equivalente knopen. De equivalentie wordt vaak gegeven door omgevende isotopie, maar kan ook worden gegeven door een homeomorfisme. Sommige knoopinvarianten zijn gewoon getallen, maar knoopinvarianten kunnen variëren van eenvoudige wiskundige objecten, zoals een ja/nee antwoord op een vraag, tot zeer complexe knoopinvarianten zoals een homologietheorie. Onderzoek naar knoopinvarianten wordt niet alleen ingegeven door het fundamentele probleem om de ene knoop van de andere knoop te onderscheiden, maar ook om de fundamentele eigenschappen van knopen en hun relaties tot andere deelgebieden van de wiskunde te begrijpen. (nl)
- Es coneix com a invariant per nusos qualsevol funció f del conjunt de tots els nusos possibles a qualsevol conjunt tal que, siguin K i K' dos nusos (o, alternativament, homeomorfs), es compleixi f(K) = f(K'). Val la pena observar que no s'imposa com a condició la recriprocitat, pel que f(K) = f(K') no té per què implicar que K i K' siguin isòtops (podem tenir nusos diferents que prenguin el mateix valor per un invariant donat). (ca)
- In the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some invariants are indeed numbers (algebraic), but invariants can range from the simple, such as a yes/no answer, to those as complex as a homology theory (for example, "a knot invariant is a rule that assigns to any knot K a quantity φ(K) such that if K and K' are equivalent then φ(K) = φ(K')."). Research on invariants is not only motivated by the basic problem of distinguishing one knot from another but also to understand fundamental properties of knots and their relations to other branches of mathematics. Knot invariants are thus used in knot classifi (en)
- 매듭 이론에서 매듭 불변량은 동일한 각 매듭에 대해 동일하게 정의되는 양이다. 이러한 양은 넓은 의미에서 어떤 수학적 대상도 될 수 있다. 매듭의 동일성은 주로 에 의해 주어지지만 위상동형에 의해 주어질 수 있다. 일부 불변량은 실제로 대수적인 의미의 수이지만, 불변량은 예/아니오 대답과 같은 단순한 것부터 호몰로지 이론과 같은 복잡한 것까지 다양하다. 예를 들어, 매듭 불변량은 매듭 K에 양 φK를 할당하는 규칙이고, K 와 K' 가 동일하면 φ(K) = φ(K')이다. 불변량에 대한 연구는 한 매듭을 다른 매듭과 구별하는 기본적인 문제에 의해 동기가 부여될 뿐만 아니라 매듭의 기본 성질 및 수학의 다른 분야와의 관계를 이해하기 위한 것이다. 따라서 매듭 불변량은 매듭 분류에 사용되며, "열거"와 "중복 제거" 모두에서 사용된다. 다른 불변량은 매듭 다이어그램의 일부 정수 값 함수를 고려하고 주어진 매듭의 모든 가능한 다이어그램에 대해 최소값을 취함으로써 정의될 수 있다. 이 범주에는 매듭 다이어그램에 대한 최소 교차 수인 와 매듭 다이어그램에 대한 최소 다리 수인 가 포함된다. 따라서 매듭이 있는 곡선의 경우 을 만족한다. (ko)
- Инвариа́нт узла́ — любая характеристика узла (в простейшем число, но может быть многочленом, группой и так далее), которая определена для каждого узла и одинакова для эквивалентных узлов. Эквивалентность обычно задаётся объемлющей изотопией, но может задаваться и как гомеоморфизм. Исследования инвариантов мотивированы не только основной задачей теории — различением узлов — но также и необходимостью понять фундаментальные свойства узлов и их связью с другими областями математики. (ru)
- Інваріант вузла — характеристика вузла (у найпростішому випадку число, але може бути многочленом, групою і так далі), визначена для кожного вузла і однакова для еквівалентних вузлів. Еквівалентність зазвичай задається , але може задаватися і як гомеоморфізм. Дослідження інваріантів мотивовані не тільки основним завданням теорії — розрізненням вузлів — але також і необхідністю зрозуміти фундаментальні властивості вузлів та їх зв'язком з іншими галузями математики. (uk)
|
