Nó (matemática)

noção matemática

Em matemática, um é uma inserção de um círculo no espaço euclidiano tridimensional, (também conhecido como ), considerando até deformações contínuas (isotopias). Uma diferença crucial entre as noções padrão matemática e convencional de um é que nós matemáticos são fechados - não há fins para amarrar ou desatar em um nó matemático. Propriedades físicas, como atrito e espessura, também não se aplicam, embora existam definições matemáticas de um nó que levam essas propriedades em consideração. O termo também é aplicado a inserções de em , especialmente no caso . O ramo da matemática que estuda nós é conhecido como teoria do nó, e tem muitas relações simples para a teoria dos grafos.

O nó de trevo.

Definição Formal

editar

Um nó é uma inserção do círculo (S¹) no espaço euclidiano tridimensional (), ou na esfera tridimensional, , uma vez que a esfera tridimensional é compacta.[1] Dois nós são definidos como equivalentes se houver uma isotopia de ambiente entre eles.

Projeção

editar

Um nó em (ou alternativamente na esfera tridimensional, ) pode ser projetado em um plano (ou respectivamente uma esfera ). Esta projeção é quase sempre regular, o que significa que é injetora em toda parte, exceto em um número finito de pontos de cruzamento, que são as projeções de apenas dois pontos do nó, e esses pontos não são colineares. Neste caso, ao escolher um lado da projeção, pode-se codificar completamente a classe isotópica do nó por sua projeção regular, registrando-se uma simples informação sobre/sob nesses cruzamentos. Nos termos da teoria dos grafos, uma projeção regular de um nó, ou diagrama de nó, é, portanto, um gráfico planar de quarta valência com vértices decorados acima ou abaixo. As modificações locais deste gráfico que permitem ir de um diagrama a qualquer outro diagrama do mesmo nó (até a isotopia ambiental do plano) são chamadas movimentos Reidemeister.

Tipos de nós

editar
 
Um nó pode ser desatado se o laço é quebrado

O nó mais simples, chamado o nó trivial, é um círculo incorporado em R³. No sentido comum da palavra, o nó trivial não é "atado". Os nós mais simples não triviais sãoː

Vários nós, ligados ou emaranhados, são chamados de enlaces. Nós são enlaces com um único componente.

 
Uma tabela de todos os nós principais com até sete cruzamentos representados como diagramas de nó com o seu gráfico mediano.

Nós mansos x selvagens

editar

Um nó poligonal é um nó cuja imagem em é a união de um conjunto finito de segmentos de linha.[3] Um nó manso é qualquer nó equivalente a um nó poligonal.[3]

Os nós que não são mansos são chamados selvagens, e podem ter comportamento patológico.[4] Na teoria do nó e na teoria dos coletores tridimensionais, muitas vezes o adjetivo "manso" é omitido. Os nós lisos, por exemplo, são sempre mansos.

 
Tipo de nó selvagem

Nó enquadrado

editar

Um nó enquadrado é a extensão de um nó manso para uma inserção do toro sólido D 2  ×  S 1 em S 3.

O enquadramento do nó é o número de enlaces da imagem da fita I × S1 com o nó. Um nó enquadrado pode ser visto como a fita inserida e o enquadramento é o número de torções. Esta definição generaliza a uma analogia para enlaces enquadrados. As ligações enquadradas são consideradas equivalentes se as suas extensões para toros sólidos forem isotópicas de ambiente.

Os diagramas de ligação enquadrados são diagramas de enlaces com cada componente marcado, para indicar o enquadramento, por um número inteiro que representa uma inclinação em relação ao meridiano e à longitude preferida. Uma maneira padrão de exibir um diagrama de link sem marcações representando um link emoldurado é usar o enquadramento de quadro-negro. Este enquadramento é obtido convertendo-se cada componente numa fita que fica plana sobre o plano. Um movimento Reidemeister do tipo I muda claramente o enquadramento do quadro-negro (muda o número de torções em uma fita), mas os outros dois movimentos não. Substituir o movimento tipo I por um movimento modificado de tipo I dá um resultado para diagramas de link com enquadramento de quadro-negro semelhante ao teorema de Reidemeister: diagramas de ligação, com enquadramento de quadro-negro, representam enlaces enquadrados equivalentes se e somente se eles são conectados por uma sequência de movimentos tipos I, II e III (modificados).

Complementos dos nós

editar

Dado um nó na esfera tridimensional, o complemento do nó são todos os pontos da esfera tridimensional não contidos no nó. Um teorema importante de Gordon e Luecke afirma que no máximo dois nós têm complementos homeomórficos (o nó original e seu reflexo no espelho). Isso, com efeito, transforma o estudo dos nós no estudo de seus complementos e, por sua vez, na teoria dos coletores tridimensionais.[5]

Decomposição JSJ

editar

A decomposição JSJ e o teorema de hiperbolização de Thurston reduz o estudo de nós na esfera tridimensional ao estudo de vários coletores geométricos através de operações de splicing ou satélites. No nó ilustrado, a decomposição JSJ divide o complemento na união de três coletores: dois complementos trevo e o complemento dos anéis borromeanos. O complemento de trevo tem a geometria de  , enquanto que o complemento de anéis Borromeanos tem a geometria de  .

Aplicações da teoria dos grafos

editar
 

Uma outra representação conveniente dos diagramas do nó[6][7] foi introduzida por Peter Tait em 1877.[8][9]

Qualquer diagrama de nó define um grafo planar cujos vértices são os cruzamentos e cujas arestas são caminhos entre cruzamentos sucessivos. Exatamente uma face deste gráfico planar é ilimitada; cada uma das outras é homeomorfa a um disco bidimensional. Essas faces devem ser coloridas em preto ou branco, de modo que a face ilimitada seja preta e quaisquer duas faces que compartilhem uma borda limite tenham cor oposta. O teorema da curva de Jordan implica que exista exatamente uma forma de coloração.

 
O gráfico planar associado a um diagrama de nó.

Construímos um novo grafo planar cujos vértices são as faces brancas e cujas arestas correspondem aos cruzamentos. Podemos rotular cada aresta neste gráfico como uma aresta esquerda ou uma aresta direita, dependendo de qual caminho parece passar sobre o outro como nós vemos o cruzamento correspondente de um dos pontos finais da borda. Bordas esquerda e direita são tipicamente indicadas por marcação das bordas esquerdas com + e as bordas direitas com -, ou desenhando bordas esquerdas com linhas sólidas e bordas direitas com linhas tracejadas.

O diagrama de nó original é o grafo medial desse novo grafo planar, com o tipo de cada cruzamento determinado pelo sinal da borda correspondente. Alterar o sinal de cada borda é o mesmo que refletir o nó em um espelho.

Sem nós e sem enlaces

editar
 
Left guide
 
Os sete gráficos da família Petersen. Não importa como esses gráficos estejam incorporados no espaço tridimensional, pelo menos dois ciclos terão número de ligações diferente de zero.

Em duas dimensões, apenas os grafos planares podem ser encaixados no plano euclidiano sem cruzamentos, mas em três dimensões, qualquer grafo não direcionado pode ser incorporado no espaço sem cruzamentos. No entanto, um análogo espacial dos grafos planares é fornecido pelos grafos com incorporações sem enlaces e sem nós. Uma incorporação sem enlace é uma incorporação do grafo com a propriedade de que quaisquer dois ciclos são desvinculados; uma incorporação sem nó é uma incorporação do grafo com a propriedade de que qualquer ciclo simples é desatado. Os grafos que possuem incorporações sem enlace têm uma caracterização de grafo proibida envolvendo a família Petersen, um conjunto de sete grafos que estão intrinsecamente ligados: não importa como eles são incorporados, alguns ciclos serão ligados uns aos outros. Uma caracterização completa dos grafos com incorporação sem nó não é conhecida, mas o grafo completo K7 é um dos grafos mínimos proibidos para a incorporação sem nó: não importa como K7 é incorporado, ele vai conter um ciclo que forma um nó de trevo.[10]

Generalização

editar

Na matemática contemporânea, o termo é usado às vezes para descrever um fenômeno mais geral relacionado a incorporações. Dado um conector   com um subconector  , às vezes se diz que   pode fazer um nó em   se houver uma incorporação de   em   que não é isotópica para  . Os nós tradicionais formam o caso em que   e   ou  

O teorema de Schoenflies afirma que o círculo não faz nó na esfera bidimensional: cada círculo na esfera bidimensional é isotópica para o círculo padrão. O Teorema de Alexander afirma que a esfera bidimensional não faz nó na esfera tridimensional. No categoria topológica de nós mansos, sabe-se que a  -esfera não faz nó em  -esfera para todos os  . Este é um teorema de Brown e Mazur. A esfera de chifres de Alexander é um exemplo de um nó bidimensional na esfera tridimensional que não é manso. Na categoria liso, a  -esfera é conhecida por não fazer nó na  -esfera desde que  .

Haefliger provou que não existem nós de dimensão j lisos em   desde que  , e deu exemplos adicionais de esferas atadas para todos   tal que  .   é chamado codimensão do nó. Um aspecto interessante do trabalho de Haefliger é que as classes de isotopia de encaixes de   em   formam um grupo, com operação de grupo dada pela soma da conexão, desde que a codimensão seja maior que dois. Haefliger baseou seu trabalho no teorema do cobordismo de Smale. Um dos teoremas de Smale é que quando se trata de nós em codimensões maiores que dois, mesmo os nós não equivalentes possuem complementos difeomórficos. Isto dá ao assunto um sabor diferente do que a teoria de nós de codimensão 2. Se se permitem isotopias topológicas ou PL, Zeeman provou que as esferas não fazem nó quando a codimensão é maior do que dois.

Outros ficheiros

editar
 
Commons
O Commons possui imagens e outros ficheiros sobre Nó (matemática)
 
Wikilivros
O Wikilivros tem um livro chamado Nós matemáticos

Veja também

editar

Referências

  1. Cromwell (2004), p. 33; Adams (1994), pp. 246–250.
  2. Adams (1994), Table 1.1, p. 280; Livingstone (1996), Appendix A: Knot Table, p. 221.
  3. a b Armstrong (1983), p. 215.
  4. Livingstone (1996), Section 2.1 Wild Knots and Unknottings, pp. 11–14.
  5. Adams (1994), pp. 261–262.
  6. Adams, Colin C. (2001). The Knot Book. [S.l.]: American Mathematical Society. pp. 52–55 
  7. «Celtic Knotwork: the ultimate tutorial». Entrelacs (em inglês). 27 de março de 2019. Consultado em 31 de outubro de 2022 
  8. Tait, Peter G. (11 de maio de 1877). «On Knots I». Proceedings of the Royal Society of Edinburgh. 28: 145–190 
  9. Tait, Peter G. (11 de maio de 1877). «On Links (Abstract)». Proceedings of the Royal Society of Edinburgh. 9 (98): 321–332 
  10. Ramirez Alfonsin, J. L. (1999), «Spatial graphs and oriented matroids: the trefoil», Discrete and Computational Geometry, 22 (1): 149–158, doi:10.1007/PL00009446 .
  • Adams, Colin C. (1994). The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots. [S.l.]: W. H. Freeman & Company 
  • Armstrong, M. A. (1983) [1979]. Basic Topology. Col: Undergraduate Texts in Mathematics. New York: Springer-Verlag. ISBN 0-387-90839-0 
  • Cromwell, Peter R. (2004). Knots and Links. [S.l.]: Cambridge University Press, Cambridge. ISBN 0-521-83947-5. MR 2107964. doi:10.1017/CBO9780511809767 
  • Farmer, David W.; Stanford, Theodore B. (1995). Knots and Surfaces: A Guide to Discovering Mathematics. [S.l.: s.n.] 
  • Livingstone, Charles (1996). Knot Theory. [S.l.]: The Mathematical Association of America 

Ligações externas

editar