ベクトル領域存在条件