霍金和埃利斯引理8.5.5的另一个证明
Yet another proof of Hawking and Ellis's Lemma 8.5.5
摘要：
Hawking和Ellis [1]首先证明了未来柯西视界的零生成元是过去完全的。然后，Budzyovski，Kondracki和Królak概述了一个证明，从原来的一个错误中找到自由[2]。最后，一周前，Minguzzi发表了他的证明版本[3]，修补了前两个版本中一个以前未被注意到的漏洞。我不知道最后一个证明中有什么缺陷，但它相当困难。在这篇文章中，我提出了一个更简单的问题。
英文摘要：
The fact that the null generators of a future Cauchy horizon are past complete was proved first by Hawking and Ellis [1]. Then Budzyński, Kondracki, and Królak outlined a proof free from an error found in the original one [2]. Finally, a week ago Minguzzi published his version of proof [3] patching a previously unnoticed hole in the preceding two. I am not aware of any flaws in that last proof, but it is quite difficult. In this note I present a simpler one.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
