一致同构是指
一致空间之间的
同构。设(X,U),(Y,V )是两个一致空间,若f:X→Y是单满映射,且f和f-1都是
一致连续的,则称f为一致同构。并且称空间X和Y为一致等价的,两个一致同构的合成、一个一致同构的逆以及一个空间到它自身上的恒等映射均为一致同构。所有一致空间的全体可以分成由一致等价的空间所组成的等价类。一个性质,若当它为某个一致空间X所具有时,也为每个与X一致等价的空间所具有,则称这个性质为一致不变性。
一致同构是指
一致空间之间的同构,设 是两个一致空间,若 是单满映射,且 和 都是
一致连续的,则称 为一致同构,并且称空间X和Y为一致等价的,两个一致同构的合成、一个一致同构的逆以及一个空间到它自身上的恒等映射均为一致同构,所有一致空间的全体可以分成由一致等价的空间所组成的等价类。一个性质:若当它为某个一致空间X所具有时,也为每个与X一致等价的空间所具有,则称这个性质为一致不变性。
或对 有 则f称为在E上一致连续.函数 一致连续的定义可完全类似给出,只要把 理解为 或 中的
范数 ,相对于一致连续,把f在E上连续称为逐点连续,一致连续函数必逐点连续,反之不一定,但在 的有界闭集上连续的函数必一致连续,若f定义在开区间 上,则f一致连续当且仅当f连续,且 与 存在且有限。例如,对函数 有 故g不在上一致连续,一致连续函数把柯西列映为柯西列,即若f一致连续,是柯西列,则也是柯西列;反之,定义在有界集上,把柯西列映为柯西列的函数必一致连续,一致连续函数的线性组合一致连续,两个一致连续函数的复合函数一致连续,一致连续性是由海涅(Heine,H.E.)于1870年引入的。