射影

直積について解説していきます。 定義 \(A,B\)をそれぞれ集合とする。\(A\times B:=\) {\((a,b):a\in A,b\in B\)}を\(A\)と\(B\)の直積集合という。 ここで\((a,b)...