106 votos

Teoremas con una excepción extraordinaria o un pequeño número de excepciones esporádicas

El Teorema del isomorfismo del gráfico de Whitney da un ejemplo de excepción extraordinaria: una afirmación muy general es válida excepto para un caso muy específico.

Otro ejemplo es el teorema de clasificación para grupos simples finitos La afirmación es muy general, salvo en el caso de muy pocos (26) casos esporádicos.

Estoy buscando más de este tipo de teoremas-con-no-tan-esporádicos-excepciones

( añadido: ) donde las excepciones no vienen seguidas y/o al principio - sino que están dispersas realmente esporádicamente .

(¡Un agradecimiento tardío a Asaf!)

4 votos

Hay muchos ejemplos que provienen del problema de Waring: todo número suficientemente grande es una suma de como máximo 7 cubos, por ejemplo. Pero, eliminar "suficientemente grande" requiere cambiar el 7 por un 9.

1 votos

@Andres: Por favor, permíteme contar el problema de Waring como un otro ejemplo.

157 votos

Teorema: Todos los números naturales son mayores que $10$ , excepto $0,1,2,3,4,5,6,7,8,9$ .

85voto

Todo automorfismo de $S_n$ es interior si $n \neq 6$ .

P.D. Que $S_6$ tiene un automorfismo exterior "esencialmente" único es un hecho no evidente.

59voto

Jesse Madnick Puntos 13166

He publicado esta respuesta en otras preguntas, pero vale la pena repetirla:

El colector topológico $\mathbb{R}^n$ tiene una estructura suave única hasta el difeomorfismo siempre que $n \neq 4$ . Sin embargo, $\mathbb{R}^4$ admite un número incontable de estructuras lisas exóticas.

Editar: Otros pensamientos:

  • El Teorema del h-cobordismo se mantiene para $n= 0, 1, 2$ y $n \geq 5$ . Está abierto para $n = 3$ y falso (sin problemas) para $n=4$ .

  • He oído que muchos teoremas de la teoría de números sólo funcionan para la característica de campo $\neq 2$ (pero mi formación en teoría de números es lamentablemente escasa).

  • $(\mathbb{Z}/n\mathbb{Z})^\times$ es cíclico si $n = 1, 2, 4, p^k, 2p^k$ , donde $p$ es un primo de impar, $k \geq 1$ . (Es cierto que no hay un finito número de excepciones aquí, pero quería mencionarlo de todos modos).

0 votos

Pues bien, en la teoría de Galois hay una prueba sencilla que utiliza el discriminante para ver si el grupo de Galois de un cúbico irreducible es $A_3$ o $S_3$ pero lamentablemente falla en la característica 2 porque $1 = -1$ .

0 votos

Copiado de wikipedia

0 votos

@Herbert: Culpable de la acusación: algo, pero no todo, de lo que he escrito está efectivamente copiado al pie de la letra. Aun así, no creo que eso afecte a la calidad de la respuesta. Además, me gusta tu nuevo nombre de usuario :-)

46voto

user27515 Puntos 214

Teorema de Carmichael: Cada número de Fibonacci $F_n$ tiene un factor primo que no divide ningún número de Fibonacci anterior, excepto $F_1 = F_2 = 1$ , $F_6 = 8$ y $F_{12} = 144$ .

Este es un caso especial de su resultado más general: Sea $P,Q$ sean números enteros no nulos tales que $P^2 > 4Q$ y considerar la secuencia de Lucas $D_1 = 1$ ; $D_2 = P$ ; $D_{n+2} = P \cdot D_{n+1} - Q \cdot D_n$ . Entonces, todos menos un número finito de $D_n$ tienen un factor primo que no divide $D_m$ para cualquier $m < n$ las únicas excepciones posibles son $D_1$ , $D_2$ , $D_6$ y $D_{12}$ .

6 votos

Me resulta sorprendente que las excepciones siempre se produzcan (potencialmente) en los mismos miembros de la secuencia, independientemente de los valores de $P$ y $Q$ ¡! ¿Hay una breve explicación de por qué ocurre esto? ¿Hay un número infinito de $P,Q$ para lo cual, por ejemplo $D_{12}$ no tiene factores primos que no dividan $D_n, n\leq 11$ ?

1 votos

@Steven: Hay una prueba bastante legible en Minoru Yabuta, Una demostración sencilla del teorema de Carmichael sobre los divisores primitivos Fib. Quart., vol.39, pp.439-443 . La razón por la que estos términos son las únicas excepciones posibles es que el problema para todas las secuencias de Lucas puede reducirse a un análisis de la secuencia de Fibonacci y la secuencia de Fermat ( $M_1 = 1$ ; $M_2 = 3$ ; $M_{n+2} = 3 M_{n+1} - 2M_n$ ). Con un poco más de detalle, a cada secuencia de Lucas $D_n(P,Q)$ podemos asociar otra secuencia $E_n(P,Q)$ . (cont...)

1 votos

@Steven: (...inued) Una condición suficiente que $D_n(P,Q)$ tiene un "divisor primitivo" es que $E_n(P,Q)$ es "suficientemente grande". Para cada $n>2$ también podemos demostrar que $E_n(1,-1)$ (Fibonacci) o $E_n(3,2)$ (Fermat) es el mínimo para todo $E_n(P,Q)$ . De este modo, reducimos el problema a esas dos secuencias. Parece que la secuencia de Fibonacci es la única en la que el duodécimo término no tiene divisor primitivo.

42voto

Matthew Scouten Puntos 2518

Cada subregión simplemente conectada de $\mathbb C$ es conformemente equivalente al disco unitario, con la excepción de $\mathbb C$ sí mismo.

35voto

FARSHAD Puntos 31

Para los enteros positivos libres de cuadrados $d$ todo campo cuadrático imaginario $\mathbb{Q}(\sqrt{d})$ tiene un número de clase mayor que 1 a menos que $d$ es igual a uno de los números de Heegner: 1, 2, 3, 7, 11, 19, 43, 67, 163.

7 votos

Aunque esto es cierto, no creo que sea un buen ejemplo de lo que se preguntaba, porque hay resultados explícitos análogos para otros números de clase, y se sabe que el número de clase tiende a infinito como $-d$ tiende a $-\infty$ (por lo que se sabe que cada número de clase dado pertenecerá sólo a un número finito de campos cuadráticos imaginarios).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X