范数可由内积诱导的充要条件