上下区间的问题

http://hjcapple.github.io/2014/09/23/zero-index.html

为了表示出自然数的子序列，2, 3, ... , 12，不使用省略记号那三个点号，我们可以选择4种约定方式：

• a) 2 ≤ i < 13
• b) 1 < i ≤ 12
• c) 2 ≤ i ≤ 12
• d) 1 < i < 13

• 是否有什么理由，使选择其中一种约定比其它约定要好呢？是的，确实有理由。可以观察到，a) 和 b)有个优点，上下边界的相减得到的差，正好等于子序列的长度。另外，作为推论，下面观察也成立：在 a)，b)中，假如两个子序列相邻的话，其中一个序列的上界，就等于另一个序列的下界。但上面观察，并不能让我们从a), b)两者中选出更好的一个。让我们重新开始分析。

  一定存在最小的自然数。假如像b)和d)那样，子序列并不包括下界，那么当子序列从最小的自然数开始算起的时候，会使得下界进入非自然数的区域。这就比较丑陋了。所以对于下界来说，我们更应该采用≤，正如a)或c)那样。现在考虑，假如子序列包括上界，那么当子序列从最小的自然数开始算起，并且序列为空的时候，上界也会进入非自然数的区域。这也是丑陋的。所以，对于上界，我们更应该采用 <, 正如a)或b)那样。因此我们得出结论，约定a)是更好的选择。