若X*Y=X*Z,X不为空,证明 X=Y.( *为笛卡儿积),提示:分Y等于空集和不空两种情况来证明

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/04 23:42:28
若X*Y=X*Z,X不为空,证明 X=Y.( *为笛卡儿积),提示:分Y等于空集和不空两种情况来证明

若X*Y=X*Z,X不为空,证明 X=Y.( *为笛卡儿积),提示:分Y等于空集和不空两种情况来证明
若X*Y=X*Z,X不为空,证明 X=Y.( *为笛卡儿积),
提示:分Y等于空集和不空两种情况来证明

若X*Y=X*Z,X不为空,证明 X=Y.( *为笛卡儿积),提示:分Y等于空集和不空两种情况来证明
lz:题目写错了,应该是对于非空的Z,总是有
X*Z=Y*Z,证明X=Y
---------------------------------------------
1.若Y=φ,由于X*Y=φ,若Z≠φ,必定有X=φ=Y
2.若Y≠φ,那么,对于非空的Z,
对于任意的x∈X,(x,z)∈Y*Z,
X*Y=X*Z->存在一一映射使得
(x,z)(y,z)
又∵对于任何z∈Z这个映射都是双射
∴对于任意x∈X和y∈Y,x,y之间都一一对应.
所以X=Y