ノルム空間に内積が入る条件