Me gustaría que exponer y explicar brevemente algunos ejemplos de teoremas tener algunas hipótesis que son (como ya sabemos) realmente necesario en sus pruebas, pero cuyos usos en los argumentos son muy sutiles y difíciles de nota a primera vista. Estoy en busca de hipótesis o condiciones que parecen ser casi ausente de la prueba, pero que en realidad son escondido detrás de una realidad abstracta o los argumentos técnicos. Sería aún más interesante si esta desapercibido hipótesis no se señaló al principio, pero más tarde tuvo que ser añadido en otro artículo o publicación no porque la prueba del teorema estuviera mal, sino porque el autor no se dio cuenta de que esta o aquella condición en realidad estaba jugando un papel detrás de la escena y necesario para ser añadido. Y, por último, un punto extra si esta oculto hipótesis llevó a algunos de los más importantes de desarrollo o avance en el área alrededor del teorema en el sentido de que abre nuevas preguntas o nuevos caminos de investigación. Esta pregunta podría estar relacionado con este otro , pero aviso que no es el mismo que estoy hablando acerca de las sutilezas de la prueba de que no eran exactamente correcta pero incompleta en el sentido de no mencionar que algunos de objeto o resultado tenía que ser de uso tal vez en un muy tangencial manera.
Con el fin de poner un poco de orden en las posibles respuestas y hacer de este post útil para otras personas, me gustaría que dar referencias y, al menos, explicar las sutilezas que ayuda a la hipótesis de ocultar en una primera vista, exponer cómo se relacionan con la prueba real o el método de la prueba, y digo los pasos principales que fueron hechas por la comunidad hasta que esta condición oculta se encontró, es decir, puedes escribir en el hecho de una breve historia sobre la evolución de nuestra comprensión de las sutilezas y los matices que rodean el resultado que usted desea mencionar.
Un muy bien conocido y clásico ejemplo de este fenómeno es la teoría de la geometría clásica griega que, aunque correctamente desarrollado en la famosa obra de Euclides fue encontrado más tarde incompleto axiomatized como hubo algunos axiomas que Euclides usa pero no hizo mención como tal, sobre todo porque estas manipulaciones son tan intuitiva que no eran fáciles de reconocer que estaban siendo utilizados en un argumento. Felizmente, una mejor comprensión de estos axiomas y sus respectivas relaciones lógicas a través de un período de tiempo de estudio y de investigación que dura milenios llevado a la conclusión de que estos axiomas no se menciona explícitamente, pero necesario y para el desarrollo de nuevos tipos de geometría y geométricas diferentes mundos.
Tal vez este es uno (por ser el más clásico y expandido a través de tantos siglos y de las páginas de la investigación) el más conocido, importante y famoso ejemplo de los fenómenos estoy buscando. Sin embargo, también estoy interesado en otros pequeños y más humilde ejemplos de este fenómeno aparecen y se pasa en algunos de los más recientes documentos de trabajo, teoremas, lemas y los resultados en general.
Nota: yo voto por hacer este wiki de la comunidad, ya que parece que esta es la mejor manera de lidiar con este tipo de preguntas.