>>594
前半、関数の定義域を先に決めなければ、内積や直交系が定義できないのでは？

後半、テイラー級数が収束してもとの関数に一致する範囲を定義域にできそう。