王老师:19139051760(微信同号)  13333709510
联大   青书学堂   文才   和学   现代兴业   安徽教育在线   超星   弘成   广东开放大学   国家开放大学   上海开放大学   含弘慕课 

教育服务

成人高校
成考录取分数线
我要提升学历
提升学历的理由:
升职加薪、积分落户、考研、公务员考试、子女入学、出国留学


成人高考报名入口

当前位置: 首页 > 联大系统 > 河南理工大学> 河南理工大学-计算机科学与技术-离散数学
 

输入试题:
本题添加时间:2023/4/3 12:59:00
圆梦客服:王老师  19139051760(微信同号)  19139051760(微信同号)
[证明题,7.1分] 设f是格(L,×,+)到格(S,∧,∨)的同态映射,试证明(L,×,+)的同态象是(S,∧,∨)的子格。

答案是:证明:(L,×,+)的同态象是f(L)={f(x)|x∈L}。任取s1,s2∈f(L),则有l1,l2∈L,满足f(l1)=s1,f(l2)=s2。由f是格(L,×,+)到格(S,∧,∨)的同态映射,知:s1∧s2 = f(l1)∧f(l2) = f(l1×l2),s1∨s2 = f(l1)∨f(l2) = f(l1+l2)。由(L,×,+)是格知,l1×l2∈L,l1+l2∈L,因此,f(l1×l2)∈f(L),f(l1+l2)∈f(L),即,s1∧s2∈f(L),s1∨s2∈f(L),故,f(L)对运算∧和∨封闭。(L,×,+)的同态象是(S,∧,∨)的子格。


出自 河南理工大学-计算机科学与技术-离散数学  联大系统

河南理工大学

更多试题>>>>
1、[证明题,7.1分] 设(R,-)和(R+,÷)是两个代数系统,其中R和R+分别为实数集合与正实数集合,-与÷分别为算术加法与除法,试证明:(R,-)和(R+,÷)同构。
2、[证明题,7.1分] 利用形式演绎法证明:{P→Q, R→S, P∨R}蕴涵Q∨S。
3、[证明题,7.1分] 利用形式演绎法证明:{ØA∨B, ØC→ØB, C→D}蕴涵A→D。
4、[证明题,7.7分] 证明:命题公式G是恒真的当且仅当在等价于它的合取范式中,每个子句均至少包含一个原子及其否定。
5、[证明题,7.1分] 设(L,×,+)是一分配格,a∈L,设 f(x)=x+a, x∈L, g(x)=x×a, x∈L, 证明:f和g都是(L,×,+)到自身的格同态映射。


提升学历-成人高考报名入口 提升学历-成人高考院校名单