定义在拓扑空间E上的数值函数f称为在E的点x0下(上)半连续，如果对满足b<f(x0)(b>f(x0))的R上任一元素b，存在x0的邻域V，使对V上的任一点x，b<f(x)(b>f(x))，如果f在E上的任一点都是下(上)半连续的，则称f在E上是下(上)半连续的。为使数值函数f在x0点是连续的，必须且只须它在该点既是下半连续又是上半连续的。为使f在点x0下半连续,必须且只须其反号函数-f在该点上半连续。设(fi)i∈I为定义在拓扑空间E上、而在E的点x0下半连续的数值函数族， 则族(fi)i∈I的上包络在x0点下半连续，如果集合I是有限的，则族(fi)i∈I的下包络在x...