506 ：
１３２人目の素数さん：
教えてください。
b:R^n×R^n -> R 対称双線形形式
G={A∈GL(n,R);任意のu,v∈R^nに対してb(Au,Av)=b(u,v)}
がGL(n,R)の部分多様体となる事を示せ。
関数fを
f:GL(n,R) ->R
f(X)=b(Xu,Xv)
としてP∈f^(-1)(b(u,v))を取って、Pの接空間を計算したのですが
点Pに於ける接ベクトルをQとしてb(Qu,Pv)+b(Pu,Qv)のような式が出て、
どうやって全射である事を証明すればいいのかわかりません。
