当函数满足 双射 的时候,才有逆函数 f−1={⟨y,x⟩∣x∈A∧y∈B⟨x,y⟩∈f} 根据以上定义, f:R+→Rf(x)=x2 这个函数没有逆函数,因为不满足 满射 给出值域比较麻烦,所以不好表示这种情况,所以逆函数的定义域默认为原来的上域