title: Globalmente hiperbólico
text: # Globalmente hiperbólico
  
  El término globalmente hiperbólico se refiere a una propiedad matemática relacionada con la estructura causal de la variedad diferenciable que representa el espacio-tiempo. En un espacio-tiempo globalmente hiperbólico o una región globalmente hiperbólica del espacio-tiempo, es posible predecir cualquier evento futuro si se conocen una serie de datos iniciales sobre una cierta hipersuperficie tridimensional, llamada hipersuperficie de Cauchy.
  
  # Globalmente hiperbólico
  ## Definición
  
  Un espacio-tiempo, o más generalmente un conjunto abierto U del mismo, es globalmente hiperbólico si se cumplen las dos condiciones siguientes:
  * Para cada par de puntos $p,q\in U$, el conjunto $J^{-}(p)\cap J^{+}(q)$ es compacto y subconjunto de $U$ [aquí $J^{\pm }(S)$ denota el futuro (pasado) causal de una región $S$ del espacio-tiempo].
  * Se cumplen la condición de causalidad sobre $U$, es decir, no puede encontrarse ninguna curva espacio-temporal cerrada que pase por la región (en las referencias clásicas se impone una condición más restrictiva, llamada "causalidad fuerte" y que intuitivamente significa que no existen curvas causales "casi cerradas"; pero se ha demostrado recientemente que basta con "causalidad").
  Esencialmente esas condiciones implican que cualquier cosa que suceda en ese espacio-tiempo o región del mismo está determinada por las ecuaciones de campo de Einstein y por un conjunto de datos medibles sobre una cierta hipersuperficie, llamada hipersuperficie de Cauchy.
  
  # Globalmente hiperbólico
  ## Definición
  ### Teorema de hiperbolicidad global
  
  Si un espacio-tiempo o una región son globalmente hiperbólicos entonces existe una familia de hipersuperficies de Cauchy que constituyen una foliación de ese espacio-tiempo o región (es decir, la región o espacio-tiempo pueden ser divididos en una infinidad de hipersuperficies de Cauchy "apiladas" unas sobre las otras).
  
  # Globalmente hiperbólico
  ## Definición
  ### Definición alternativa
  
  El teorema anterior ha llevado a algunos autores a definir un espacio-tiempo o región del mismo como globalmente hiperbólico de una manera alternativa. Se dice que un espacio-tiempo o una región del mismo es globalmente hiperbólico si existe dentro de él una hipersuperficie de Cauchy.