h定理1(A≌B的必要条件):点(数)集 A 各元x按同一对应法则有对应y=y(x)∈B={y},A≌B的必要条件:B={y}中变量y是定义域为A的函数y=y(x);换言之,B 各元y=y(x)且各元y的对应x=x(y)的全体Q=A。
证:两图是否≌不能凭肉眼直观而须用坐标法严格证明。有A={x},求≌A的集。解:A各元x按同一变换法则保距变为y=y(x)使A变为B={y}≌A。所以定理中的A若≌B则B各元y必是由A各元x保距变为y=y(x)而变来的,从而使B={y}中变量y只能是定义域为A的函数y(x)。若B≌A则A、B各元有一一对应关系:(A各元)x←→y=y(x)——表明B各元y(x)的对应x=x(y)的全体Q=A。证毕。