扩张定理

扩张定理(extension theorem)是反映正规空间中连续映射的扩张性质的一条定理，是超实数域到超结构的扩张定理.设 X是度量空间，C 是其闭子空间，则任意C 到R 的连续映射f都可扩张到X 上，即总存在 g:X-R是连续映射，且 g|c=R。