能线性表示和线性相关互为充要么?