Geometria discreta

Geometria discreta e geometria combinatória são ramos da geometria que estudam propriedades combinatórias e métodos construtivos de objetos geométricos discretos . A maioria das problemas em geometria discreta envolvem conjuntos discretos e conjuntos finitos de objetos geométricos básicos, tais como pontos, linhas, planos, círculos, esferas, polígonos, e assim por diante. O assunto se concentra nas propriedades combinatórias desses objetos, como como eles se cruzam ou como eles podem ser organizados para cobrir um objeto maior.

Uma coleção de círculos e o gráfico de discos unitários correspondente

A geometria discreta tem uma grande sobreposição com geometria convexa e geometria computacional e está intimamente relacionada a assuntos como geometria finita, otimização combinatória, geometria digital, geometria diferencial discreta, teoria de geométrica de gráficos, geometria tórica e topologia combinatória .

História editar

Embora poliedros e mosaicos tenham sido estudados por muitos anos por pessoas como Kepler e Cauchy, a geometria discreta moderna tem suas origens no final do século XIX. Os primeiros tópicos estudados foram: a densidade de embalagens circulares de Thue, configurações projetivas de Reye e Steinitz, a geometria dos números de Minkowski e as cores dos mapas de Tait, Heawood e Hadwiger .

László Fejes Tóth, HSM Coxeter e Paul Erdős, lançaram as bases da geometria discreta .[1][2][3]

Tópicos editar

Poliedros e polítopos editar

Um polítopo é um objeto geométrico com lados planos que existe em qualquer número de dimensões. Um polígono é um polítopo em duas dimensões, um poliedro em três dimensões, e assim por diante em mais dimensões (como um polítopo 4 em quatro dimensões ). Algumas teorias generalizam ainda mais a ideia de incluir objetos como polítopos ilimitados ( apeirotopos e pavimentações ) e polítopos abstratos .

A seguir, são apresentados alguns dos aspectos dos polítopos estudados em geometria discreta:

  • Combinações poliédricas
  • Polítopos de treliça
  • Polinômios de Ehrhart
  • Teorema de Pick
  • Conjectura de Hirsch

Embalagens, coberturas e inclinações editar

Embalagens, coberturas e inclinações são formas de organizar objetos uniformes (normalmente círculos, esferas ou ladrilhos) de maneira regular em uma superfície ou coletor .

Um empacotamento de esferas é um arranjo de esferas não sobrepostas dentro de um espaço contido. As esferas consideradas são geralmente todas de tamanho idêntico, e o espaço geralmente é um espaço euclidiano tridimensional . No entanto, problemas de empacotamento de esferas podem ser generalizados para considerar esferas desiguais,em um espaço euclidiano n- dimensional (onde o problema se torna empacotamento circular em duas dimensões ou empacotamento hiperesférico em dimensões mais altas) ou espaços não-euclidianos, como espaço hiperbólico .

Um mosaico de uma superfície plana é o lado a lado de um plano usando uma ou mais formas geométricas, chamados ladrilhos, sem sobreposições e sem espaços. Em matemática, os mosaicos podem ser generalizados para dimensões superiores.

Os tópicos específicos nesta área incluem:

Rigidez estrutural e flexibilidade editar

 
Os gráficos são desenhados como hastes conectadas por dobradiças rotativas. O ciclo gráfico C 4 desenhado como um quadrado pode ser transformado em um paralelogramo pela força azul, de modo que é um gráfico flexível. K 3, desenhado como um triângulo, não pode ser alterado por qualquer força que lhe seja aplicada, por isso, é um gráfico rígido.

A rigidez estrutural é uma teoria combinatória para prever a flexibilidade de conjuntos formados por corpos rígidos conectados por articulações ou dobradiças flexíveis.

Os tópicos nesta área incluem:

Estruturas de incidência editar

 
Sete pontos são elementos de sete linhas no plano de Fano, um exemplo de uma estrutura de incidência.

As estruturas de incidência generalizam planos (como os planos afins, projetivos e Möbius), como pode ser visto em suas definições axiomáticas. As estruturas de incidência também generalizam os análogos de dimensões mais altas e as estruturas finitas são algumas vezes chamadas de geometrias finitas .

Formalmente, uma estrutura de incidência é um trio

 

onde P é um conjunto de "pontos", L é um conjunto de "retas" e   é a relação de incidência . Os elementos de   são chamados de sinalizadores. E se

 

dizemos que o ponto p "está na reta"   .

Os tópicos nesta área incluem:

  • Configurações
  • Arranjos de retas
  • Arranjos de hiperplanos
  • Edificações

Matróides orientados editar

Um matróide orientado é uma estrutura matemática que abstrai as propriedades de gráficos orientados e de arranjos de vetores em um espaço vetorial sobre um corpo ordenado (particularmente para espaços vetoriais parcialmente ordenados ).[4] Em comparação, um matróide comum (ou seja, não orientado) abstrai as propriedades de dependência comuns também a gráficos, que não são necessariamente direcionados, e a arranjos de vetores sobre corpos, que não são necessariamente ordenados.[5][6]

Teoria geométrica dos gráfos editar

Um grafo geométrico é um gráfico no qual os vértices ou arestas estão associadas a objetos geométricos . Os exemplos incluem grafos euclidianos, o 1- esqueleto de um poliedro ou polítopo, gráficos de interseção e gráficos de visibilidade .

Os tópicos nesta área incluem:

Complexos simpliciais editar

Um complexo simplicial é um espaço topológico de um certo tipo, construído pela "colagem" de pontos, segmentos de retas, triângulos e suas contrapartes n- dimensionais (veja a ilustração). Complexos simpliciais não devem ser confundidos com a noção mais abstrata de um conjunto simplicial que aparece na teoria moderna da homotopia simplicial. A contrapartida puramente combinatória a um complexo simplicial é um complexo simplicial abstrato .

Topologia combinatória editar

A disciplina de topologia combinatória usou conceitos combinatórios em topologia e, no início do século XX, se transformou no campo da topologia algébrica .

Em 1978, a situação foi revertida - métodos da topologia algébrica foram usados para resolver um problema na matemática combinatória - quando László Lovász provou a conjectura de Kneser, iniciando assim um novo estudo da topologia combinatória . A prova de Lovász usou o teorema de Borsuk-Ulam e esse teorema mantém um papel de destaque nesse novo campo. Este teorema tem muitas versões e análogos equivalentes e tem sido usado no estudo de problemas de divisão justa .

  • Lema de Sperner
  • Mapas regulares

Treliças e grupos discretos editar

Um grupo discreto é um grupo G equipado com a topologia discreta . Com essa topologia, G se torna um grupo topológico . Um subgrupo discreto de um grupo topológico G é um subgrupo H cuja topologia relativa é a discreta. Por exemplo, os números inteiros Z formam um subgrupo discreto dos reais R (com a topologia métrica padrão), mas os números racionais Q não.

Uma treliça em um grupo topológico compacto localmente é um subgrupo discreto com a propriedade de que o espaço do quociente possui uma medida invariante finita. No caso especial de subgrupos do R n, isso equivale à noção geométrica habitual de uma treliça, e tanto a estrutura algébrica das treliças e a geometria da totalidade de todos as malhas são relativamente bem compreendidas. Resultados profundos de Borel, Harish-Chandra, Mostow, Tamagawa, MS Raghunathan, Margulis, Zimmer, obtidos entre os anos 50 e 70, forneceram exemplos e generalizaram grande parte da teoria ao conjunto de grupos de Lie nilpotentes e grupos algébricos semi - simples em um corpo local . Na década de 1990, Bass e Lubotzky iniciaram o estudo de treliças de árvores, que continua sendo uma área de pesquisa ativa.

Os tópicos nesta área incluem:

  • Grupos de reflexão
  • Grupos de triângulos

Geometria digital editar

A geometria digital lida com conjuntos discretos (geralmente conjuntos de pontos discretos) considerados modelos digitalizados ou imagens de objetos do espaço euclidiano 2D ou 3D.

Simplificando, a digitalização está substituindo um objeto por um conjunto discreto de pontos. As imagens que vemos na tela da TV, a exibição raster de um computador ou nos jornais são de fato imagens digitais .

Suas principais áreas de aplicação são computação gráfica e análise de imagens .[7]

Geometria diferencial discreta editar

Geometria diferencial discreta é o estudo de contrapartes discretas de noções em geometria diferencial . Em vez de curvas e superfícies suaves, existem polígonos, malhas e complexos simpliciais . É utilizado no estudo de computação gráfica e topologia combinatória .

Os tópicos nesta área incluem:

  • Operador discreto de Laplace
  • Cálculo externo discreto
  • Cálculo discreto
  • Teoria discreta de Morse
  • Topologia combinatória
  • Análise de formas espectrais
  • Geometria diferencial abstrata
  • Análise em fractais

Ver também editar

Notas editar

Referências

  1. Pach, János; et al. (2008), Intuitive Geometry, in Memoriam László Fejes Tóth, Alfréd Rényi Institute of Mathematics 
  2. Katona, G. O. H. (2005), «Laszlo Fejes Toth – Obituary», Studia Scientiarum Mathematicarum Hungarica, 42 (2) 
  3. Bárány, Imre (2010), «Discrete and convex geometry», in: Horváth, János, A Panorama of Hungarian Mathematics in the Twentieth Century, I, ISBN 9783540307211, New York: Springer, pp. 431–441 
  4. Rockafellar 1969. Björner et alia, Chapters 1-3. Bokowski, Chapter 1. Ziegler, Chapter 7.
  5. Björner et alia, Chapters 1-3. Bokowski, Chapters 1-4.
  6. Because matroids and oriented matroids are abstractions of other mathematical abstractions, nearly all the relevant books are written for mathematical scientists rather than for the general public. For learning about oriented matroids, a good preparation is to study the textbook on linear optimization by Nering and Tucker, which is infused with oriented-matroid ideas, and then to proceed to Ziegler's lectures on polytopes.
  7. See Li Chen, Digital and discrete geometry: Theory and Algorithms, Springer, 2014.

Referências editar