2重逆像と生成σ-加法族の可換性
2重逆像
$ {f^\gets}^\to
と
生成σ-加法族
$ \sigma
は交換可能
$ \forall X,Y\forall f:X\to Y\forall\mathcal Y\subseteq2^Y:{f^\gets}^\to(\sigma_Y(\mathcal Y))=\sigma_X({f^\gets}^\to(\mathcal Y))
#2026-06-12
09:34:09