设是布尔代数,在S上定义二元运算⊕,x,y∈S有x⊕y=(x∧y')∨(x'∧y),那么<S,⊕>能否构成代数系统?如果能,指出是哪种代数系统。
检验以下集合对于所指的线性运算是否构成实数域上的线性空间:
1)次数等于n(n≥1)的实系数多项式的全体,对于多项式的加法和数量乘法;
2)设A是一个nxn实矩阵,A的实系数多项式f(A)的全体,对于矩阵的加法和数量乘法;
3)全体n级实对称(反称,上三角形)矩阵,对于矩阵的加法和数量乘法;
4)平面上不平行于某一向量的全部向量所成的集合,对于向量的加法和数量乘法;
5)全体实数的二元数列,对于下面定义的运算:
6)平面上全体向量,对于通常的加法和如下定义的数量乘法:
7)集合与加法同6),数量乘法定义为
8)全体正实数R+,加法与数量乘法定义为
S及其S上的运算*如下定义,问各种定义下的*运算是否满足结合律、交律,
S,*>中是否有幺元,零元,S中哪些元素有逆元,哪些元素没有逆元.
(1)S为I(整数集),x*y=x-y
(2)S为I(整数集),x*y=x+y-xy
(3)S为Q(有理数集),x*y=x+y/2
(4)S为N(自然数集),x*y=2xy
(5)S为N(自然数集)x*y-max(x,y)(min(x,y))
(6)S为N(自然数集),x*y=x
在表5-7所列出的集合和运算中.请根据运算的是否封闭,在相应的位置上填写“是”或“否”(其中N是自然数集合,I是整数集合)。
设A是P上一个m级矩阵,定义Pmxn上一个二元函数f(X,Y)=Tr(X'AY),X,Y∈Pmxn,
其中Tr是矩阵的迹。
1)证明:f(X,Y)是Pmxn上的双线性函数;
2)求f(X,Y)在基下的度量矩阵,(Eij表示i行j列的元素为1,而其余元素全为零的mxn矩阵。)
R为实数集合,S=RxR,*为S上的运算,定义为对任意求*的幺元,当x≠0时,求的逆元.