区间长度

区间长度 (Interval Length)

区间长度→数分/实分析/测度论基础概念→量实数轴连通子集（区间）大小→数轴上起点终点几何距离→微积基础→通勒贝格测度与概率。设a≤b→$l(I)=b-a$→不依赖端含否→闭$[a,b]$/开$(a,b)$/半闭长度同=b-a。几何→单点大小零→去端点不改变总长。

特殊情：退化→a=b→单点→$l([a,a])=0$→零测集→有限并长零。空集→l=0。无界→含±∞→$[a,+\infty)$长=+∞→$(-\infty,+\infty)$长+∞→广义实数自洽。

性质与进阶

三核心性质（后成一般测度公理基）：①非负→$l(I)\ge0$（符物几何直觉）；②平移不变→$l(I+c)=l(I)$→仅改位不变大小；③有限可加→I割为有限不交子→长=子长和→可数无交涉可数可加→现代测度论核。

从长度到测度：黎曼积分→定义域割微小→每子区间长$\Delta x_i$×f→矩形面基。高级→复杂集（有理数/康托尔集）→勒贝格测度m→区间测度m(I)=l(I)→保为测度基准→唯一满足"平移不变+单位区间[0,1]测度为1"的测度→学区间长度不止简减式b-a→建对实集拓扑结与度量直觉。