設(shè)X,Y是任意兩個(gè)集合,按定義一切序?qū)Γ▁,y)所構(gòu)成的集合:
X×Y := {(x,y)|(x∈X)∧(y∈Y)}
叫做集合X,Y(按順序)的直積或笛卡爾積,X×X叫做X^2。
集合中的對(duì)角線:
△ = {(a,b)∈X^2| a = b }
是X^2的一個(gè)子集,它給出集X中元素的相等關(guān)系,事實(shí)上,a△b表示(a,b)∈△。即a=b。
2024-10-07
設(shè)X,Y是任意兩個(gè)集合,按定義一切序?qū)Γ▁,y)所構(gòu)成的集合:
X×Y := {(x,y)|(x∈X)∧(y∈Y)}
叫做集合X,Y(按順序)的直積或笛卡爾積,X×X叫做X^2。
集合中的對(duì)角線:
△ = {(a,b)∈X^2| a = b }
是X^2的一個(gè)子集,它給出集X中元素的相等關(guān)系,事實(shí)上,a△b表示(a,b)∈△。即a=b。