Lista de problemas matemáticos sin resolver - List of unsolved problems in mathematics

Muchos problemas matemáticos aún no se han resuelto. Estos problemas no resueltos ocurren en múltiples dominios, que incluyen física teórica , ciencias de la computación , álgebra , análisis , combinatoria , geometrías algebraicas , diferenciales , discretas y euclidianas , gráficas , grupos , modelos , números , teorías de conjuntos y de Ramsey , sistemas dinámicos y ecuaciones diferenciales parciales. . Algunos problemas pueden pertenecer a más de una disciplina de las matemáticas y ser estudiados utilizando técnicas de diferentes áreas. Los premios se otorgan a menudo por la solución de un problema de larga data, y las listas de problemas no resueltos, como la lista de Problemas del Premio Millennium , reciben una atención considerable.

Este artículo es una combinación de problemas notables sin resolver derivados de muchas fuentes, incluidas, entre otras, listas consideradas autorizadas. La lista no es completa, al menos por la razón de que las entradas pueden no estar actualizadas en el momento de verlas. Esta lista incluye problemas que la comunidad matemática considera que varían ampliamente tanto en dificultad como en importancia para la ciencia en su conjunto.

Listas de problemas matemáticos sin resolver

Varios matemáticos y organizaciones han publicado y promovido listas de problemas matemáticos sin resolver. En algunos casos, las listas se han asociado a premios para los descubridores de soluciones.

Lista Numero de
problemas
Número sin resolver
o resuelto de forma incompleta
Propuesto por Propuesto
en
Problemas de Hilbert 23 15 David Hilbert 1900
Los problemas de Landau 4 4 Edmund Landau 1912
Los problemas de Taniyama 36 - Yutaka Taniyama 1955
Las 24 preguntas de Thurston 24 - William Thurston mil novecientos ochenta y dos
Los problemas de Smale 18 14 Stephen Smale 1998
Problemas del Premio del Milenio 7 6 Instituto de Matemáticas Clay 2000
Problemas de Simon 15 <12 Barry Simon 2000
Problemas sin resolver de matemáticas para el siglo XXI 22 - Jair Minoro Abe, Shotaro Tanaka 2001
Los desafíos matemáticos de DARPA 23 - DARPA 2007
La función zeta de Riemann , tema del célebre e influyente problema sin resolver conocido como la hipótesis de Riemann

Problemas del Premio del Milenio

De los siete problemas originales del Millennium Prize establecidos por el Clay Mathematics Institute en 2000, seis aún no se han resuelto en agosto de 2021:

El séptimo problema, la conjetura de Poincaré , ha sido resuelto; sin embargo, una generalización llamada la conjetura de Poincaré lisa de cuatro dimensiones —es decir, si una esfera topológica de cuatro dimensiones puede tener dos o más estructuras lisas desiguales— aún está sin resolver.

Problemas no resueltos

Álgebra

En la representación de la esfera de Bloch de un qubit , un SIC-POVM forma un tetraedro regular . Zauner conjeturó que existen estructuras análogas en espacios complejos de Hilbert de todas las dimensiones finitas.

Problemas con el portátil

  • El Dneister Notebook ( Dnestrovskaya Tetrad ) recopila varios cientos de problemas no resueltos en álgebra, en particular la teoría de anillos y la teoría de módulos .
  • El Cuaderno Erlagol ( Erlagolskaya Tetrad ) recopila problemas no resueltos en álgebra y teoría de modelos.

Conjeturas y problemas

Análisis

El área de la región azul converge a la constante de Euler-Mascheroni , que puede ser o no un número racional.

Conjeturas y problemas

Preguntas abiertas

Otro

Combinatoria

Conjeturas y problemas

Otro

Sistemas dinámicos

Un detalle del conjunto de Mandelbrot . No se sabe si el conjunto de Mandelbrot está conectado localmente o no.

Conjeturas y problemas

Preguntas abiertas

Juegos y rompecabezas

Juegos combinatorios

Juegos con información imperfecta

Geometría

Geometría algebraica

Conjeturas
Otro

Recubrimiento y embalaje

Conjeturas y problemas
  • Problema de Borsuk sobre los límites superior e inferior para el número de subconjuntos de menor diámetro necesarios para cubrir un conjunto n- dimensional acotado .
  • El problema de cobertura de Rado : si la unión de un número finito de cuadrados paralelos al eje tiene un área unitaria, ¿qué tan pequeña puede ser el área más grande cubierta por un subconjunto disjunto de cuadrados?
  • La conjetura de Erdős-Oler de que cuando es un número triangular , los círculos de empaque en un triángulo equilátero requieren un triángulo del mismo tamaño que los círculos de empaque
  • El problema del número de besos para dimensiones distintas de 1, 2, 3, 4, 8 y 24
  • La conjetura de Reinhardt de que el octágono suavizado tiene la densidad de empaquetamiento máxima más baja de todos los conjuntos de planos convexos simétricos centralmente
  • Problemas de empaquetamiento de esferas , incluida la densidad del empaquetamiento más denso en dimensiones distintas de 1, 2, 3, 8 y 24, y su comportamiento asintótico para dimensiones elevadas.
  • Empaquetamiento cuadrado en un cuadrado : ¿cuál es la tasa de crecimiento asintótica del espacio desperdiciado?
  • Conjetura de empaquetamiento de Ulam sobre la identidad del sólido convexo de peor empaquetamiento

Geometría diferencial

Conjeturas y problemas

Geometría discreta

En tres dimensiones, el número de besos es 12, porque 12 esferas unitarias no superpuestas pueden ponerse en contacto con una esfera unitaria central. (Aquí, los centros de las esferas exteriores forman los vértices de un icosaedro regular ). Los números de besos solo se conocen exactamente en las dimensiones 1, 2, 3, 4, 8 y 24.
Conjeturas y problemas
Preguntas abiertas
Otro

Geometría euclidiana

Conjeturas y problemas
Preguntas abiertas
Otro

Teoría de grafos

Coloreado y etiquetado de gráficos

Un ejemplo de la conjetura de Erdős-Faber-Lovász: un gráfico formado por cuatro camarillas de cuatro vértices cada uno, dos de los cuales se cruzan en un solo vértice, puede ser de cuatro colores.
Conjeturas y problemas

Dibujo gráfico

Conjeturas y problemas
Otro

Rutas y ciclos en gráficos

Conjeturas y problemas

Representación de gráficos en palabras

Teoría de grafos miscelánea

Conjeturas y problemas
Preguntas abiertas

Teoría de grupos

El grupo de Burnside libre es finito; en su gráfico de Cayley , que se muestra aquí, cada uno de sus 27 elementos está representado por un vértice. La cuestión de qué otros grupos son finitos permanece abierta.

Problemas con el portátil

  • El Cuaderno Kourovka es una colección de problemas sin resolver en teoría de grupos, publicado por primera vez en 1965 y actualizado muchas veces desde entonces.

Conjeturas y problemas

Preguntas abiertas

Teoría de modelos y lenguajes formales

Conjeturas y problemas

  • La conjetura Cherlin-Zilber : Un grupo sencilla cuyo primer orden teoría es estable en es un grupo algebraica simple a través de un cuerpo algebraicamente cerrado.
  • Problema generalizado de la altura de las estrellas
  • ¿Para qué campos numéricos se aplica el décimo problema de Hilbert ?
  • Conjetura de Kueker
  • La conjetura de la brecha principal, por ejemplo, para teorías de primer orden incontables , para AEC y para modelos saturados de una teoría contable.
  • Conjetura de categoricidad de Shelah para : Si una oración es categórica por encima del número Hanf, entonces es categórica en todos los cardinales por encima del número Hanf.
  • Conjetura de categoricidad eventual de Shelah: Para cada cardinal existe un cardinal tal que si un AEC K con LS (K) <= es categórico en un cardinal arriba, entonces es categórico en todos los cardinales arriba .
  • La conjetura del campo estable: todo campo infinito con una teoría estable de primer orden se cierra separadamente.
  • La conjetura de la bifurcación estable para teorías simples
  • Problema de función exponencial de Tarski
  • El problema de la universalidad para los gráficos libres de C: ¿Para qué conjuntos finitos C de gráficos tiene la clase de gráficos contables libres de C un miembro universal bajo incrustaciones fuertes?
  • El problema del espectro de universalidad: ¿Existe una teoría de primer orden cuyo espectro de universalidad sea mínimo?
  • Conjetura de Vaught

Preguntas abiertas

  • Suponga que K es la clase de modelos de una teoría de primer orden contable que omite innumerables tipos . Si K tiene un modelo de cardinalidad, ¿tiene un modelo de cardinalidad continua?
  • ¿ Tienen las gráficas de Henson la propiedad de modelo finito ?
  • ¿Tiene una estructura homogénea finitamente presentada para un lenguaje relacional finito finitos muchos reductos ?
  • ¿Existe una teoría de primer orden o-mínimo con una función transexponencial (crecimiento rápido)?
  • Si la clase de modelos atómicos de una teoría completa de primer orden es categórica en el , ¿es categórica en todos los cardinales?
  • ¿Está todo campo mínimo infinito de característica cero algebraicamente cerrado ? (Aquí, "mínimo" significa que cada subconjunto definible de la estructura es finito o co-finito).
  • (BMTO) ¿Es decidible la teoría monádica de Borel del orden real? (MTWO) ¿Es consistentemente decidible la teoría monádica del buen orden?
  • ¿Es demasiado decidible la teoría del campo de la serie Laurent ? del campo de polinomios terminado ?
  • ¿Existe una lógica L que satisfaga tanto la propiedad de Beth como la interpolación Δ, sea compacta pero no satisfaga la propiedad de interpolación?

Otro

  • Determinar la estructura del orden de Keisler.

Teoría de los números

General

6 es un número perfecto porque es la suma de sus divisores positivos propios, 1, 2 y 3. No se sabe cuántos números perfectos hay, ni si alguno de ellos es impar.
Conjeturas, problemas e hipótesis
Preguntas abiertas
Otro

Teoría de números aditivos

Conjeturas y problemas
Preguntas abiertas
Otro

Teoría algebraica de números

Conjeturas y problemas
Otro
  • Caracterizar todos los campos numéricos algebraicos que tienen alguna base de potencia .

Teoría de números computacionales

números primos

La conjetura de Goldbach establece que todos los enteros pares mayores que 2 pueden escribirse como la suma de dos primos. Aquí esto se ilustra para los números enteros pares del 4 al 28.
Conjeturas, problemas e hipótesis
Preguntas abiertas

Teoría de conjuntos

Nota: Estas conjeturas se refieren a modelos de teoría de conjuntos de Zermelo-Frankel con elección , y es posible que no puedan expresarse en modelos de otras teorías de conjuntos, como las diversas teorías de conjuntos constructivas o la teoría de conjuntos no bien fundamentada .

Conjeturas, problemas e hipótesis.

Preguntas abiertas

Topología

El problema de desanudar se pregunta si existe un algoritmo eficiente para identificar cuándo la forma presentada en un diagrama de nudos es en realidad el desanudo .

Conjeturas y problemas

Problemas resueltos desde 1995

El flujo de Ricci , aquí ilustrado con una variedad 2D, fue la herramienta clave en la solución de Grigori Perelman a la conjetura de Poincaré .

Álgebra

Análisis

Combinatoria

Sistemas dinámicos

Teoría de juego

Geometría

Siglo 21

siglo 20

Teoría de grafos

Teoría de grupos

Teoría de los números

Siglo 21

siglo 20

Teoría de Ramsey

Ciencias de la computación teóricas

Topología

Sin categorizar

Siglo 21

2010
2000

siglo 20

Ver también

Referencias

Otras lecturas

Libros que discuten problemas resueltos desde 1995

Libros que discuten problemas no resueltos

enlaces externos

  1. ^ El cuaderno de Sverdlovsk: recopila problemas sin resolver en la teoría de semigrupos , Universidad Estatal de los Urales , 1979
  2. ^ El cuaderno de Sverdlovsk: recopila problemas no resueltos en la teoría de semigrupos , Universidad Estatal de los Urales , 1989
  3. ^ Fuks 1974 , p. 47, 88, 116, 134, 158, 159, 186, 210, 242, 243, 292, 318.
  4. Boltiansky , 1965 , p. 83.
  5. ^ Grunbaum 1971 , p. 6.
  6. ^ VG Vizing Algunos problemas no resueltos para la teoría de grafos // Encuestas matemáticas rusas , 23: 6 (144) (1968), 117-134; Matemáticas rusas. Encuestas, 23: 6 (1968), 125–141
  7. ^ Sprinjuk 1967 , p. 150-154.