射影 (集合論)
J ⊂ I が添字集合 I の真の部分集合で、W ⊂ XJ を射影 πJ の終域の部分集合とするとき、W の逆像は
π J − 1 ( W ) = W × X I ∖ J = { ( x i ) i ∈ I ∈ X I ∣ ( x j ) j ∈ J ∈ W } {\displaystyle \pi _{J}^{-1}(W)=W\times X_{I\setminus J}=\{(x_{i})_{i\in I}\in X_{I}\mid (x_{j})_{j\in J}\in W\}}
と書くことができる。従って集合 π −1J (W) は円筒集合(ドイツ語版)でもある。
↑ Halmos 1960, p. 32.
↑ Halmos 1960, p. 36.
↑ Fischer 2008, p. 38.
↑ Halmos 1960.
↑ Wengenroth 2008, p. 14.
↑ Willard 2012, p. 52.
↑ Kusolitsch 2014, p. 6.
↑ Wengenroth 2008.