设H2是R5上的Heisenberg群, D是一个赋予次洛伦兹度量的左不变括号生成分布.设可达到集I＋（0）（J＋（0））是原点0的时间（因果）未来.该文证明了I＋（0）是......