gamma_\Lambda(\lambda_e)$.

This remark is a direct consequence of the fact that $\theta_{\Lambda}((0,\lambda_{e}))=\mathbb R$, the existence of such $\lambda_{i}$ is guaranteed by continuity. This can be seen as follows. Recall that the scalar expansion $\theta_\Lambda$, is such that $\theta_\Lambda(\lambda)\to -\infty$ when $\lambda\to \lambda_e$, which corresponds to the point $q$. On the other hand, as the integrand function in is continuous and by the Property 2 it is seen that all the integrals $$I(\lambda_i)=\liminf_{\lambda\to+\infty} \int_{\lambda_i}^\lambda e^{-c_\Lambda\xi} [R_{\mu\nu}k^\mu k^\nu+\sigma_{\mu\nu}\sigma^{\mu\nu}]_\Lambda(\xi) d\xi,$$ are bounded from below for every $c_\Lambda>0$ and $\lambda_i$. By considering $I(\lambda_{i})$ as a function of $\lambda_{i}$ with $c_\Lambda>0$ fixed, it is seen that $I(\lambda_{i})$ attains a global minima $I_M$ when $\lambda_i$ varies in the compact interval $[0,\lambda_e]$. This follows from the fact that the function $I(\lambda_i)$ by Property 2 is bounded and the interval just defined is compact. Choose a special value of the parameter $\lambda_i$ such that $$\theta_\Lambda(\lambda_i)+\frac{c_\Lambda}{2}<I_M.$$ This parameter exists as $\theta_\Lambda(\lambda)$ takes every real value continuously in $(0, \lambda_e)$. By the minimality of $I_M$ it is seen that this condition implies (\[tang3\]), and this clarifies the Remark \[theta\_i\].[^3]

The next task is to apply the content of Proposition \[prop1\] to the study of conjugate points in the null geodesically complete space time ($M$, $g_{\mu\nu}$).

\[prop 2\] Let $(M,g_{\mu\nu})$ be a null geodesically complete space time satisfying the Property 1 and Property 2. Consider a geodesic $\gamma_\Lambda(\lambda)$. Let $q$ be conjugate to $p$ through $\gamma_{\Lambda}$ such that $q\in J_+(p)-I_+
gamma_\Lambda(\lambda_e)$. 

 This remark is a direct consequence of the fact that $ \theta_{\Lambda}((0,\lambda_{e}))=\mathbb R$, the existence of such $ \lambda_{i}$ is guaranteed by continuity. This can be seen as follow. echo that the scalar expansion $ \theta_\Lambda$, is such that $ \theta_\Lambda(\lambda)\to -\infty$ when $ \lambda\to \lambda_e$, which corresponds to the point $ q$. On the other handwriting, as the integrand function in is continuous and by the Property 2 it is seen that all the integral $ $ I(\lambda_i)=\liminf_{\lambda\to+\infty } \int_{\lambda_i}^\lambda e^{-c_\Lambda\xi } [ R_{\mu\nu}k^\mu k^\nu+\sigma_{\mu\nu}\sigma^{\mu\nu}]_\Lambda(\xi) d\xi,$$ are bounded from below for every $ c_\Lambda>0 $ and $ \lambda_i$. By considering $ I(\lambda_{i})$ as a affair of $ \lambda_{i}$ with $ c_\Lambda>0 $ fixed, it is seen that $ I(\lambda_{i})$ reach a global minima $ I_M$ when $ \lambda_i$ varies in the compact time interval $ [ 0,\lambda_e]$. This follows from the fact that the function $ I(\lambda_i)$ by Property 2 is bounded and the interval just defined is compendious. Choose a special value of the parameter $ \lambda_i$ such that $ $ \theta_\Lambda(\lambda_i)+\frac{c_\Lambda}{2}<I_M.$$ This parameter exist as $ \theta_\Lambda(\lambda)$ takes every real value endlessly in $ (0, \lambda_e)$. By the minimality of $ I_M$ it is seen that this circumstance implies (\[tang3\ ]), and this clarifies the Remark \[theta\_i\].[^3 ] 

 The next task is to apply the content of Proposition \[prop1\ ] to the report of conjugate points in the null geodesically complete space meter ($ M$, $ g_{\mu\nu}$). 

 \[prop 2\ ] Let $ (M, g_{\mu\nu})$ be a null geodesically complete space time satisfying the Property 1 and Property 2. Consider a geodesic $ \gamma_\Lambda(\lambda)$. Let $ q$ be conjugate to $ p$ through $ \gamma_{\Lambda}$ such that $ q\in J_+(p)-I_+
gamla_\Lambda(\lambda_e)$.

This remavk is a direct consequeice of fhe fact that $\theta_{\Lambda}((0,\lambda_{e}))=\mathub R$, the tqistence of such $\lambaa_{i}$ is guwranteed by rontinuity. This rzn be sczn as nollocs. Recall that tme scalar efpansion $\theta_\Naobba$, is such that $\theta_\Lambda(\lambda)\to -\ynfty$ wnej $\lambda\to \lamfda_e$, rhicg corresponds to the point $q$. On ths other hand, as the ontegrand function in is clntijuous and by the Pgoperty 2 it is fwen that all the integgcls $$I(\lambda_j)=\liminf_{\lambda\to+\infty} \int_{\lambda_i}^\uambdc e^{-c_\Lambda\xu} [E_{\mu\jo}k^\mu k^\nu+\sigme_{\mu\nu}\spgma^{\mu\nu}]_\Lambda(\xi) d\xi,$$ dre boumded from beloe fmr wvery $c_\Lambda>0$ and $\lamuda_i$. By considering $Y(\lambda_{i})$ ds a function of $\lanbea_{i}$ whth $w_\Lamcea>0$ wixtd, mt js seej tiat $I(\lambda_{j})$ attains a global minima $I_M$ wneg $\lambda_i$ variss in ehq compact interval $[0,\lambda_e]$. This follows frkm the fact that the fubction $I(\lambda_i)$ by Prlperty 2 if bounded and the interval just defined is compacd. Chokre c speckql value of the parameter $\lambda_i$ such that $$\theez_\Lsmnda(\lambda_i)+\frac{c_\Lcmbda}{2}<I_M.$$ This parsmftrt exists as $\thgta_\Lambbz(\lzmbda)$ takes every geal vajue cintinuousjy im $(0, \lambda_e)$. By the minimalitt of $I_M$ it if seen that this coudition implnes (\[tamg3\]), anc this clarifies the Reoark \[theta\_i\].[^3]

The jext task ks to apply the zonnent of Proposition \[prop1\] to thq study oh conlugate puintx in tre null geldesigdlly complete spacf timg ($M$, $g_{\mg\nu}$).

\[prop 2\] Lft $(M,g_{\mu\nu})$ be a null geodesicallb complete spsca tpme satisyying bhe Property 1 agd Property 2. Cpnsider a geudesic $\gamja_\Lambde(\lambda)$. Let $z$ be conjugata to $p$ througi $\gamma_{\Laibda}$ sucy that $d\kn J_+(p)-I_+
gamma_\Lambda(\lambda_e)$. This remark is a direct consequence fact $\theta_{\Lambda}((0,\lambda_{e}))=\mathbb R$, existence of such This be seen as Recall that the expansion $\theta_\Lambda$, is such that $\theta_\Lambda(\lambda)\to when $\lambda\to \lambda_e$, which corresponds to the point $q$. On the other hand, the integrand function in is continuous and by the Property 2 it is that the $$I(\lambda_i)=\liminf_{\lambda\to+\infty} e^{-c_\Lambda\xi} [R_{\mu\nu}k^\mu k^\nu+\sigma_{\mu\nu}\sigma^{\mu\nu}]_\Lambda(\xi) d\xi,$$ are bounded from below for every $c_\Lambda>0$ and $\lambda_i$. By considering $I(\lambda_{i})$ a function of $\lambda_{i}$ with $c_\Lambda>0$ fixed, it seen that $I(\lambda_{i})$ attains global minima $I_M$ when $\lambda_i$ in compact interval This from fact that the $I(\lambda_i)$ by Property 2 is bounded and the interval just defined is compact. Choose a special value the parameter that $$\theta_\Lambda(\lambda_i)+\frac{c_\Lambda}{2}<I_M.$$ parameter as takes every real in $(0, \lambda_e)$. By the minimality is seen that this condition implies (\[tang3\]), and clarifies the \[theta\_i\].[^3] The next task is to the content of Proposition \[prop1\] to the study conjugate points in the null geodesically complete space time ($M$, $g_{\mu\nu}$). \[prop 2\] Let $(M,g_{\mu\nu})$ null geodesically complete space satisfying the Property and 2. a $\gamma_\Lambda(\lambda)$. Let be conjugate to $p$ through $\gamma_{\Lambda}$ such that $q\in J_+(p)-I_+
gamma_\Lambda(\lambda_e)$.

This remArk is a direCt conSeqUenCe Of thE facT that $\theta_{\LambDA}((0,\lamBda_{e}))=\mathbb R$, the existencE of suCh $\LAmbdA_{I}$ iS guarAnteed bY CoNTInuItY. THis CaN Be Seen aS foLlows. ReCall that thE scAlAr expansion $\tHEtA_\Lambda$, is sUch That $\theta_\LamBda(\Lambda)\To -\InfTY$ when $\LamBda\to \Lambda_E$, Which cOrrespondS tO The poiNT $q$. On the OTHeR hanD, as the integrand fuNCtIOn in is continuoUs and bY tHE PROPerTy 2 iT is seen thaT aLl the INtegralS $$i(\lAMBDa_i)=\LIminf_{\lambda\to+\Infty} \int_{\lamBDa_i}^\Lambda E^{-c_\lamBDa\xi} [R_{\mU\nu}k^\mU k^\NU+\siGma_{\mu\nu}\sigmA^{\mu\nU}]_\Lambda(\xi) D\xi,$$ are BOunded fROm below For eveRy $c_\lamBda>0$ aND $\lAmBda_I$. BY ConSIdEriNG $I(\lAmbda_{i})$ as A fUnCtion Of $\laMBDA_{I}$ witH $c_\LAmbdA>0$ fixeD, it is seen that $i(\laMbda_{I})$ AttAins a GlobaL minImA $I_M$ whEn $\lambDa_i$ vaRiEs in the compact iNterVal $[0,\lambda_E]$. ThIs FolLoWs froM The facT thAt tHe functIon $I(\lamBDa_i)$ By pROPeRty 2 is bounded and the InTERvAl just deFined iS CoMpACt. Choose A sPecIal vALUe of tHe paRAmEter $\lambDa_i$ sucH ThAt $$\Theta_\LaMbDa(\lambDa_I)+\frAc{c_\lambdA}{2}<i_M.$$ ThIs paraMeter exiSts as $\THeta_\Lambda(\lambDA)$ takes every reAL vALUe COntiNuoUsly in $(0, \lambdA_e)$. By THe miNimaLItY of $i_m$ it is Seen tHaT ThIS condition implies (\[taNg3\]), And thiS clarIfies the RemarK \[theta\_i\].[^3]

The NEXT task is tO appLY tHE content of PropOsitiOn \[prop1\] to thE Study of cOnjugAte pointS in the nulL GEodesicaLly ComPleTe sPACe Time ($M$, $g_{\mu\nu}$).

\[proP 2\] lEt $(M,g_{\Mu\Nu})$ be a nuLl gEodesicAllY coMplEte SpAce time saTisfying ThE PRoPeRty 1 And PrOPerty 2. ConSiDer A gEodEsic $\gAMma_\LamBda(\laMbda)$. leT $q$ BE coNjugate TO $p$ THRougH $\gAmMa_{\LaMbdA}$ sUch thAt $q\iN j_+(p)-I_+
gamma_\Lambda(\lambda_e)$. 

This rem ark i s a  di re ct c onse quence of thef actthat $\theta_{\Lambda} ((0,\ la m bda_ { e} ))=\m athbb R $ ,t h e e xi st enc eo fsuch$\l ambda_{ i}$ is gua ran te ed by contin u it y. This ca n b e seen as fo llo ws. Re ca llt hat t hescala r expa n sion $ \theta_\L am b da$, i s  such t h a t$\th eta_\Lambda(\lamb d a) \ to -\infty$ wh en $\l am b da \ t o \ lam bda_e$, wh ic h cor r esponds to t h e p o int $q$. On t he other ha n d,as the  i nte g rand f uncti on inis continuo us a nd by the  Prope r ty 2 it is seen  thatall  th e in t eg ra ls$$ I (\l a mb da_ i )=\ liminf_{ \l am bda\t o+\i n f t y } \i nt_ {\la mbda_ i}^\lambda e^ {-c _\La m bda \xi}[R_{\ mu\n u} k^\mu  k^\nu +\sig ma _{\mu\nu}\sigma ^{\m u\nu}]_\L amb da (\x i)  d\xi , $$ are  bo und ed from  belowf orev e r y  $ c_\Lambda>0$ and $ \l a m bd a_i$. By  consi d er in g  $I(\lam bd a_{ i})$ a s a f unct i on  of $\la mbda_{ i }$  w ith $c_ \L ambda> 0$  fi xed , iti s se en tha t $I(\la mbda_ { i})$ attains a global minima $I _ M $w hen$\l ambda_i$ va ries in t he c o mp act inter val $ [0 , \l a mbda_e]$. This foll ow s from  thefact that the  function$ I ( \lambda_ i)$b yP roperty 2 is b ounde d and thei ntervaljustdefinedis compac t .  Choosea s pec ial  va l u eof the parame t e r $\ la mbda_i$  su ch that  $$ \th eta _\L am bda(\lamb da_i)+\f ra c{ c_ \L amb da}{2 } <I_M.$$Th ispa ram etere xistsas $\ thet a_ \L a mbd a(\lamb d a) $ take sev eryrea lvalue  con t inu ously i n $(0, \l amb d a_e) $.  B y the m inimality of$I _M$ it isse enthat t h i s condit ion implies (\[tang3\]) ,  and th isclari fies  the Rema rk\[thet a\_ i \].[^3 ]

The  next  t ask i s toa p pl y t he  content o f Pro posit io n \[ prop1\]  to the study of c o nju gate points i n t he n u l lgeo d es i cal ly com p l ete space time($M$, $g_{ \m u \n u}$).

\[p r op2\ ] Let $ (M,g_{\ mu\nu } )$ be a  null geo desically  c ompl e t e s pace timesatisfyi ng the Pr o perty 1and P rop erty 2 .Con sider  a geo d esi c $\g amma_\ La mbda(\ lambd a) $. Let $ q$ be conjugate to $p$throug h $\g amm a_{\Lambd a}$ suc h that $q \inJ_+(p)-I_+ 
gamma_\Lambda(\lambda_e)$.

This remark_is a_direct consequence of the_fact that_$\theta_{\Lambda}((0,\lambda_{e}))=\mathbb_R$, the_existence_of such $\lambda_{i}$_is guaranteed by_continuity. This can be_seen as follows._Recall_that the scalar expansion $\theta_\Lambda$, is such that $\theta_\Lambda(\lambda)\to -\infty$ when $\lambda\to \lambda_e$, which_corresponds_to the_point_$q$._On the other hand, as_the integrand function in is_continuous and_by the Property 2 it is seen that_all_the integrals $$I(\lambda_i)=\liminf_{\lambda\to+\infty}_\int_{\lambda_i}^\lambda e^{-c_\Lambda\xi} [R_{\mu\nu}k^\mu k^\nu+\sigma_{\mu\nu}\sigma^{\mu\nu}]_\Lambda(\xi) d\xi,$$ are bounded from below_for every $c_\Lambda>0$ and $\lambda_i$. By_considering $I(\lambda_{i})$ as_a_function_of $\lambda_{i}$ with $c_\Lambda>0$_fixed, it is seen that $I(\lambda_{i})$_attains a global minima $I_M$ when_$\lambda_i$ varies in the compact interval $[0,\lambda_e]$._This follows from the fact that_the function $I(\lambda_i)$ by Property_2 is_bounded and the interval just_defined is compact._Choose a_special value of_the parameter $\lambda_i$ such that $$\theta_\Lambda(\lambda_i)+\frac{c_\Lambda}{2}<I_M.$$_This parameter exists_as $\theta_\Lambda(\lambda)$ takes every real value_continuously_in $(0, \lambda_e)$._By_the_minimality of_$I_M$ it is_seen_that this_condition_implies (\[tang3\]), and this clarifies the_Remark_\[theta\_i\].[^3]

The next task is to apply the_content of Proposition \[prop1\]_to_the study of conjugate_points in the null geodesically_complete space time ($M$, $g_{\mu\nu}$).

\[prop 2\]_Let $(M,g_{\mu\nu})$_be a_null geodesically complete space time satisfying the Property 1 and Property_2. Consider a geodesic $\gamma_\Lambda(\lambda)$. Let_$q$ be conjugate to_$p$ through_$\gamma_{\Lambda}$_such that $q\in_J_+(p)-I_+