Bourbaki

Bài tập 1, § 5

Nhãn 03IV, cố định. Trích dẫn là [Bourbaki, Tag 03IV].

Lý thuyết tập hợp, II, 127

Cho (Xι)ι∈I(\mathrm{X}_\iota)_{\iota \in \mathbf{I}} là một họ các tập hợp. Chứng minh rằng nếu (Yι)ι∈I(\mathrm{Y}_\iota)_{\iota \in \mathbf{I}} là một họ các tập hợp sao cho Yι⊂Xι\mathrm{Y}_\iota \subset \mathrm{X}_\iota với mọi ι∈I\iota \in \mathrm{I}, thì

∏ι∈IYι=⋂ι∈Iprι−1(Yι).\prod_{\iota \in \mathrm{I}} \mathrm{Y}_\iota = \bigcap_{\iota \in \mathrm{I}} \overset{-1}{\mathrm{pr}_\iota}(\mathrm{Y}_\iota).
Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Không có.

Trích dẫn đến

Không có.

Bản dịch máy từ tiếng Anh, bởi gpt-5.4. Chưa được người kiểm tra.