Bourbaki

Bài tập 20, § 6

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

Lý thuyết tập hợp, III, 246

Bourbaki marks this one as harder than the rest.

(a) Để một lực lượng α\alpha là chính quy (Bài tập 17), điều cần thiết là đối với mọi lực lượng β≠0\beta\neq0 ta phải có

αβ=α⋅∑m<αmβ. \alpha^\beta=\alpha\cdot\sum_{m<\alpha}m^\beta.

(Sử dụng Bài tập 19 và xét riêng các trường hợp (i) β\beta là hữu hạn, (ii) ℵ0≤β<α\aleph_0\leq\beta<\alpha, (iii) β≥α\beta\geq\alpha; cũng sử dụng Bài tập 3 của § 3.). Giả thuyết liên tục tổng quát suy ra rằng điều kiện trên cũng là đủ.

(b) Chứng minh rằng, nếu một lực lượng α\alpha có tính chất αm=α\alpha^m=\alpha đối với mọi lực lượng mm sao cho 0<m<α0<m<\alpha, thì α\alpha là chính quy (sử dụng Bài tập 3 của § 3).

(c) Chứng minh rằng mệnh đề “đối với mọi lực lượng chính quy α\alpha và mọi lực lượng mm sao cho 0<m<α0<m<\alpha, ta có α=αm\alpha=\alpha^m” là tương đương với giả thuyết liên tục tổng quát (sử dụng (a)).

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

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.