文中涉及的拓扑空间约定都包含在标准全域 U 的个体集 S 中,非标准全域~*U 是扩大.m(α)表示α点的单子,x≈α表示x∈m(α).定义1 设(G,I_1,·,e_1)及(H,I_2,·,e_2)是拓扑群,f:G→H,若对每一 V∈I_2(e_2)存在 W∈I_1(e_1)使对...文中涉及的拓扑空间约定都包含在标准全域 U 的个体集 S 中,非标准全域~*U 是扩大.m(α)表示α点的单子,x≈α表示x∈m(α).定义1 设(G,I_1,·,e_1)及(H,I_2,·,e_2)是拓扑群,f:G→H,若对每一 V∈I_2(e_2)存在 W∈I_1(e_1)使对任意的 g_1,g_2∈G,若 g_1·g_2^(-1)∈W,即有 f(g)·f^(-1)(g_2)∈V,则称 f 在 G 上一致连续.容易验证,若 f 在 G 上一致连续,则其在 G 上连续.展开更多
文摘文中涉及的拓扑空间约定都包含在标准全域 U 的个体集 S 中,非标准全域~*U 是扩大.m(α)表示α点的单子,x≈α表示x∈m(α).定义1 设(G,I_1,·,e_1)及(H,I_2,·,e_2)是拓扑群,f:G→H,若对每一 V∈I_2(e_2)存在 W∈I_1(e_1)使对任意的 g_1,g_2∈G,若 g_1·g_2^(-1)∈W,即有 f(g)·f^(-1)(g_2)∈V,则称 f 在 G 上一致连续.容易验证,若 f 在 G 上一致连续,则其在 G 上连续.
