やり直す必要なんかない
バナッハ空間あたりから勉強すればいい