任意开集一定存在开区间包含于之

假设A为开集，则一定存在一个开区间$I_P$满足，$I_P$ $\subset$ A.

这是因为开集A里面的每一点P $\in$ A 都是内点，即P为内点。而根据内点的定义，一定存在一个以点P为圆心，$\delta$为半径的开邻域$U(P,\delta )$包含于A。这里开邻域为开区间，故可取$I_P=U(P,\delta )$。