检验以下集合对于所指的线性运算是否构成实数域上的-|||-线性空间:-|||-全体实数的二元数列,对于下面定义的运算:-|||-((a)_(1),(b)_(1))oplus ((a)_(2),(b)_(2))=((a)_(1)+(a)_(2),(b)_(1)+(b)_(2)+(a)_(1)(a)_(2)) ,-|||-((a)_(1),(b)_(1))=(k(a)_(1),k(b)_(1)+dfrac (k(k-1))(2)({a)_(1)}^2) ;