紧集上的连续映射 为了将一元连续函数在闭区间上的重要性质推广到多元连续函 数,为此先定义多元函数在点集的边界点连续的概念。 定义 11.3.1 设点集 K ⊂ n R ,f : K→ m R 为映射(向量值函数), x K 0 ∈ 。如果对于任意给定的ε > 0,存在δ > 0,使得当 0 xx K ∈O( ,) δ ∩ 时
Interpretation An interpretation I of F is , where D is a non-empty set called the domain of individuals. I0 is a mapping defined on the constants of F satisfying 1. If c is an individual constant, then I0(c) ∈ D. 2. If f n is an n-ary function constant, then I0(f n) : Dn → D