リーマンは写像定理をディリクリ形式で書いてこれの最小値が解であるといったが、ディリクリ形式に対応する内積空間が完備でないと解はない