线性代数的问题,学过线代的兄弟来看看~判断各集合对指定的运算是否成为是属于实数域R上的线性空间:全体实二元数组,对于下面定义的运算:1.(a1,b1)@(a2,b2)=(a1+a2,b1+b2+a1a2)2.k#(a1,b1)=(ka1,k
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/01 14:26:11
![线性代数的问题,学过线代的兄弟来看看~判断各集合对指定的运算是否成为是属于实数域R上的线性空间:全体实二元数组,对于下面定义的运算:1.(a1,b1)@(a2,b2)=(a1+a2,b1+b2+a1a2)2.k#(a1,b1)=(ka1,k](/uploads/image/z/5073926-14-6.jpg?t=%E7%BA%BF%E6%80%A7%E4%BB%A3%E6%95%B0%E7%9A%84%E9%97%AE%E9%A2%98%2C%E5%AD%A6%E8%BF%87%E7%BA%BF%E4%BB%A3%E7%9A%84%E5%85%84%E5%BC%9F%E6%9D%A5%E7%9C%8B%E7%9C%8B%7E%E5%88%A4%E6%96%AD%E5%90%84%E9%9B%86%E5%90%88%E5%AF%B9%E6%8C%87%E5%AE%9A%E7%9A%84%E8%BF%90%E7%AE%97%E6%98%AF%E5%90%A6%E6%88%90%E4%B8%BA%E6%98%AF%E5%B1%9E%E4%BA%8E%E5%AE%9E%E6%95%B0%E5%9F%9FR%E4%B8%8A%E7%9A%84%E7%BA%BF%E6%80%A7%E7%A9%BA%E9%97%B4%EF%BC%9A%E5%85%A8%E4%BD%93%E5%AE%9E%E4%BA%8C%E5%85%83%E6%95%B0%E7%BB%84%2C%E5%AF%B9%E4%BA%8E%E4%B8%8B%E9%9D%A2%E5%AE%9A%E4%B9%89%E7%9A%84%E8%BF%90%E7%AE%97%EF%BC%9A1.%EF%BC%88a1%2Cb1%EF%BC%89%40%28a2%2Cb2%29%3D%28a1%2Ba2%2Cb1%2Bb2%2Ba1a2%292.k%23%28a1%2Cb1%29%3D%EF%BC%88ka1%2Ck)
线性代数的问题,学过线代的兄弟来看看~判断各集合对指定的运算是否成为是属于实数域R上的线性空间:全体实二元数组,对于下面定义的运算:1.(a1,b1)@(a2,b2)=(a1+a2,b1+b2+a1a2)2.k#(a1,b1)=(ka1,k
线性代数的问题,学过线代的兄弟来看看~
判断各集合对指定的运算是否成为是属于实数域R上的线性空间:
全体实二元数组,对于下面定义的运算:
1.(a1,b1)@(a2,b2)=(a1+a2,b1+b2+a1a2)
2.k#(a1,b1)=(ka1,kb1+k(k-1)a1^2/2)
注:@和#是定义运算的符号.
线性代数的问题,学过线代的兄弟来看看~判断各集合对指定的运算是否成为是属于实数域R上的线性空间:全体实二元数组,对于下面定义的运算:1.(a1,b1)@(a2,b2)=(a1+a2,b1+b2+a1a2)2.k#(a1,b1)=(ka1,k
要证是线性空间,首先要满足数乘和加法运算.见矩阵分析(王永茂 机械工业出版社)
第一章.验证满足8条性质即可.
先定义“@”为加法运算,“#”为数乘运算
首先由于是R数域,肯定满足加法的封闭性
由定义知道1)(a1,b1)@(a2,b2)=(a1+a2,b1+b2+a1a2)=(a2+a1,b2+b1+a2a1)=(a2,b2)@(a1,b1),满足加法的交换率.
2)满足加法的结合率:
[(a1,b1)@(a2,b2)]@(a3,b3)=[(a1+a2,b1+b2+a1a2)]@(a3,b3)=[(a1+a2+a3,b1+b2+b3+a1a3+a2a3+a1a2)]
(a1,b1)@[(a2,b2)@(a3,b3)]=(a1,b1)@(a2+a3,b2+b3+a2a3)=(a1+a2+a3,b1+b2+b3+a1a2+a1a3+a2a3)
很明显 [(a1,b1)@(a2,b2)]@(a3,b3)=(a1,b1)@[(a2,b2)@(a3,b3)]
3)在空间R上存在零元素0,对任意的(ai,bi)在空间中有(ai,bi)@(0,0)=(ai,bi)
4)对于任何(ai,bi)属于空间,有负元素(-ai,ai*ai-bi)使(ai,bi)@(-ai,ai*ai-bi)=0
5)存在单位数1属于R,满足1#(a1,b1)=(a1,b1)
6)k#[m#(a1,b1)]=k#(ma1,mb1+m(m-1)a1^2/2),类似的能得到k#[m#(a1,b1)]=[k#m]#(a1,b1)这步你自己推一下
7)(k+m)#(a1,b1)=k#(a1,b1)@k#(a1,b1)这步你也根据定义证明
8)k#[(a1,b1)@(a2,b2)]=k#(a1,b1)@k#(a2,b2)也是根据定义你自己算一下把
因此所给定的系统在给定的空间上是线性空间