Un par de números primos (p, q) con q − p = 2; considerado como una única instancia de dos primos excepcionalmente próximos.

Principio

Organiza el estudio de las pequeñas brechas entre primos al centrarse en la diferencia mínima no trivial 2 entre primos y respalda conjeturas sobre la frecuencia y distribución de dichas brechas.

Demostración

Ejemplos concretos son (3, 5), (11, 13) y (17, 19). Se observan muchas parejas así, pero si existen infinitas sigue siendo una conjetura abierta.

Aplicación incorrecta

Llamar par de primos gemelos a cualquier par de primos consecutivos (por ejemplo tratar (2, 3) como gemelos por ser consecutivos) o confundir primos gemelos con primos primo (cousin primes, diferencia 4) o primos sexy (diferencia 6).

Consecuencia

La identificación correcta permite realizar estimaciones heurísticas de densidad, aplicar métodos de criba y desarrollar argumentos analíticos; una prueba sobre primos gemelos informaría directamente sobre brechas muy pequeñas entre primos.

Inversión

El concepto invertido son primos separados por grandes o crecientes brechas; estudiar primos aislados enfatiza la dispersión más que el agrupamiento.

Límite

Se aplica solo a pares de primos cuya diferencia es exactamente 2; excluye primos con otra diferencia y números compuestos. El par (2, 3) no es primo gemelo porque la diferencia es 1.

Tensión semántica

Compite con nociones relacionadas como prime gap (brecha entre primos en general), primos primo (diferencia 4) y el estudio más amplio de pequeñas brechas; la tensión radica en enfatizar diferencias fijas pequeñas o estadísticas asintóticas de brechas.

Síntesis

Un par de primos gemelos es la instancia de diferencia fija mínima (dos) en la taxonomía de brechas entre primos: fácil de enunciar y comprobar localmente, pero conectado a profundas preguntas abiertas sobre la distribución de los primos.