La definición formal de una singularidad en GR no es sencillo, y existen diferentes definiciones que no son completamente iguales.
Intuitivamente, una singularidad es un lugar donde alguna cantidad física se convierte en mal definidos: GR que cantidad es casi siempre la curvatura, ya que es la cantidad física GR está interesado en.
Sin embargo, una definición que en realidad termina siendo usado mucho es la de "geodésico de la incompletitud", lo que significa que hay geodesics (de manera más general: convenientemente suaves curvas parametrizadas), que no pueden ser arbitrariamente extendida. Esta definición abstrae la idea de que, para un agujero negro de la solución, hay timelike geodesics que sólo puede ser extendido para finito de tiempo adecuado. Sin embargo esta definición no hablar acerca de por qué el geodesics son incompletos, solo que ellos son.
Otra definición implica la noción de que hay regiones que necesitan ser cortados a cabo desde el colector de alguna manera, y esto está relacionado con el anterior, ya que habrá geodesics que se cruzan estas regiones que se han cortado en el colector. Pero de nuevo, no dice por qué se fueron cortados.
Probablemente hay otras definiciones. Tenga en cuenta que, con la última definición, siempre se puede construir una singularidad sólo por el corte de los bits de salida del colector (ver más abajo).
El Hawking-Penrose teoremas de singularidad se expresan en términos de geodésica de la incompletitud. Ya no puedo recordar si son más fuertes que eso: son las singularidades necesariamente la curvatura de singularidades? Sospecho que no, pero también sospecho que es porque demostrando que sería demasiado duro, y en la práctica.
Creo que es razonablemente claro que para el segundo y tercer sentidos, que si las cantidades físicas que se comportan bien en la singularidad, entonces usted podría de alguna manera siempre extender el colector pasado, la construcción de una mayor colector de que no tienen la singularidad: esta sin duda estaría de acuerdo con la construcción de la singularidad del caso que he mencionado anteriormente. Sin embargo, yo podría estar equivocado, de que siempre se puede hacer eso (es difícil ver lo que podría ir mal hacer esto, sin embargo: posiblemente algunas mundial topológico problema).
Creo que si uso el informal 'divergente cantidad física la idea, entonces sí, es claro que las singularidades no debería existir en una teoría completa.
Sin embargo, es importante entender que las singularidades predicho por el GR son bastante tóxicos: no hay escape en el sentido de que de alguna manera podría tomar arbitrariamente un largo (correcto) tiempo para realmente llegar a la singularidad, de modo que no importa en realidad: por el contrario hay timelike geodesics que cruzan la singularidad (y son, por tanto, incompleta) en lo finito y, en la práctica, los valores pequeños de tiempo apropiado.
No soy consciente de singularidades en QM.