在实数集合R上定义二元运算*,x*y=xy-2x-2y+6.
(1)验证*满足结合律
(2)求的幺元和零元
(3)对任意非零元的x,求<R,*>其在中的逆元.
如果a*(b*c)=(a*b)*c、那么二元运算*称为可结合的。从它可推得更强的结果,即在任何仅含运算*的表达式中,括号的位置不影响结果,就是,仅仅出现于表达式中的运算对象和次序是重要的。为了证明这个“推广的结合律”,我们定义“*表达式集合”如下:
(a)(基础)单个运算对象a1是*表达式。
(b)(归纳)设e1和e2是*表达式,那么(e1*e2)是一个*表达式。
(c)(极小性)只有有限次应用(a)和(b)构成的式子才是*表达式。
推广的结合律陈述如下;
设e是一个表达式、它有a1a2…,an个运算对象,且以此次序出现于表达式中,那么e=(a1*(a2*(a3*(…(an-1*an))…)))
证明这个推广的结合律。(提示:用数学归纳法第二原理。)
用有限集合和集合运算描述上的下述语言(例如偶数长度的串的集合是{aa,ab,ba,bb}):
(a)奇数长度的串的集合。
(b)恰好包含一个a的串的集合.
(c)或者以一个a开始,或者以两个b结束,或者两者都具备的串的集合。
(d)至少含有3个连接s的串的集合。
(e)包含子串“bbab”的串的集合,
设Q为有理效集(既约分数的集合),F为n/m形分数集合,其中m,n是整数,m≠0.对分数集F证明:如下定义的F上的等价关系~是(这里,-为一元添负号运算)上的司余关系:
A.线性规划
B.最小二乘法
C.微积分运算
D.积分运算