φ_bの定義が明示的なので逆写像も具体的に記述出来るかと思ったんですが無理そうですね
内積とか何かプラスアルファが無いといけなさそうですね