作业帮 > 数学 > 作业

设R、S是A上关系,证明:对于n>=1,有(R交S)^n包含于R^n交S^n.

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/09 05:39:53
设R、S是A上关系,证明:对于n>=1,有(R交S)^n包含于R^n交S^n.
n>2与n=2没有实质上的区别,只对n=2证明.设<x,y>∈(R∩S)²=(R∩S)º(R∩S).意思是:存在z∈A.使<x,z>∈R∩S.<z,y>∈R∩S,它们的意思又是:<x,z>∈R.<x,z>∈S.<z,y>∈R,<z,y>∈S.从<x,z>∈R.<z,y>∈R,得到<x,y>∈R² 从<x,z>∈S,<z,y>∈S.得到<x,y>∈S² 所以<x,y>∈R²∩S².即有:(R∩S)²包含于R²∩S².(n>2时,只需把z∈A,换成z1,z2,……,z(n-1)∈A.即可.)