设X,Y是任意两个集合,按定义一切序对(x,y)所构成的集合:
X×Y := {(x,y)|(x∈X)∧(y∈Y)}
叫做集合X,Y(按顺序)的直积或笛卡尔积,X×X叫做X^2。
集合中的对角线:
△ = {(a,b)∈X^2| a = b }
是X^2的一个子集,它给出集X中元素的相等关系,事实上,a△b表示(a,b)∈△。即a=b。
2024-10-07
设X,Y是任意两个集合,按定义一切序对(x,y)所构成的集合:
X×Y := {(x,y)|(x∈X)∧(y∈Y)}
叫做集合X,Y(按顺序)的直积或笛卡尔积,X×X叫做X^2。
集合中的对角线:
△ = {(a,b)∈X^2| a = b }
是X^2的一个子集,它给出集X中元素的相等关系,事实上,a△b表示(a,b)∈△。即a=b。