2 . 若，则称为维空间向量集，为零向量，对于，任意，定义：
①数乘运算：；
②加法运算：；
③数量积运算：；
④向量的模：，
对于中一组向量，若存在一组不同时为零的实数使得，则称这组向量线性相关，否则称为线性无关，
(1)对于，判断下列各组向量是否线性相关：
①；
②；
(2)已知线性无关，试判断是否线性相关，并说明理由；
(3)证明：对于中的任意两个元素，均有，