【解決済】内積空間の双対空間は内積をもつか？

少し前から疑問に思っていることについて書きます．
後で加筆・修正するつもりでとりあえず公開するので，まだあまり内容をチェックしていません．
（もし内容に不備があったらすみません．）

（追記 2023/04/12：コメントをいただき解決したので，理解したことを 別の記事 に書きました．）

導入

ノルム空間$V$に対して，その双対空間
$$V^{\ast }:=\{f\in K^V\mid f\text{は有界かつ線形}\}$$
は，作用素ノルム
$$\parallel f{\parallel }_{V^{\ast }}:=sup\{|f(v)|\mid v\in V,\parallel v{\parallel }_V\le 1\}$$
によってBanach空間となるのでした．
またHilbert空間の双対空間は，もとの空間と等距離（反）線形同型なHilbert空間となることが知られています（Rieszの表現定理）．

以上のことから，ぼんやり「完備でない内積空間についても，その双対空間は（もとの空間と同型ではなくても）Hilbert空間になるだろう」と思っていたのですが，ちゃんと考えてみるとよく分からなかったので，疑問を記事として書き残しておこうと思います．
答えをご存じの方がいたら，教えていただけると幸いです．

前提知識

以下，係数体$K\in \{\mathbb{R},\mathbb{C}\}$を固定し，ノルム空間$V$のノルムを$\parallel \cdot {\parallel }_V$，内積空間$V$の内積を$⟨\cdot ,\cdot {⟩}_V$と書くことにする．

さて，内積空間$V$とその元$v\in V$に対して，次の写像$$⟨\cdot ,v{⟩}_V:V\ni u\mapsto ⟨u,v{⟩}_V\in K$$
は有界線形作用素だから
$$\mathrm{\Psi }:V\ni v\mapsto ⟨\cdot ,v{⟩}_V\in V^{\ast }$$
という写像を考えることができ，次のことが容易に確かめられる．

• $\mathrm{\Psi }$は等距離（特に単射）である．つまり
  $$\parallel \mathrm{\Psi }(u)-\mathrm{\Psi }(v){\parallel }_{V^{\ast }}=\parallel u-v{\parallel }_V.$$

• $\mathrm{\Psi }$は反線形である．つまり
  $$\mathrm{\Psi }(u+\lambda v)=\mathrm{\Psi }(u)+\bar{\lambda }\mathrm{\Psi }(v).$$

さらに，$\mathrm{\Psi }$の全射性については次のことが分かっている．

したがって$V$がHilbert空間であれば，
$$⟨f,g{⟩}_{V^{\ast }}:=⟨{\mathrm{\Psi }}^{-1}(g),{\mathrm{\Psi }}^{-1}(f){⟩}_V$$
で定まる内積によって$V^{\ast }$はHilbert空間となる．

疑問

この記事の本題は，次の疑問である．

ノルム空間が（自身がもともと持っているノルムを誘導する）内積をもつかどうかについては，中線定理で判定することができる．

分かっていること

$\mathrm{\Psi }$が全射でなくても，像の稠密性が分かれば，近似によって内積の存在が示せる．

関係あるかもしれないことのメモ

あとがき

Hilbert空間$V$の双対空間$V^{\ast }$はHilbert空間なので，$V^{\ast }$上の作用素ノルムは中線定理
$$\parallel f+g{\parallel }_{V^{\ast }}^2+\parallel f-g{\parallel }_{V^{\ast }}^2=2(\parallel f{\parallel }_{V^{\ast }}^2+\parallel g{\parallel }_{V^{\ast }}^2)$$
を満たすわけですが，この等式は両辺を直接計算することによって示されたわけではなく，Rieszの表現定理を経由して間接的に示されています．
なんだか不思議な感じがしますね（しませんか？）．

（もしこの等式を直接計算によって示せるなら，$V$が完備でない場合にも同じ方法が使えるかもしれないですが，どうなんでしょうか．）

ここまで読んでいただき，ありがとうございました．