幂级数收敛域定义