Bài tập 15, § 2
Nhãn 03UP, cố định. Trích dẫn là [Bourbaki, Tag 03UP].
Lý thuyết tập hợp, III, 225
(a) Cho và là hai số thứ tự. Hãy chỉ ra rằng bất đẳng thức tương đương với , và nó kéo theo các bất đẳng thức , , với mọi số thứ tự , và nếu .
(b) Suy ra từ (a) rằng không tồn tại tập hợp nào mà mọi số thứ tự đều thuộc về nó (dùng Bài tập 14 (d)).
(c) Cho , , là ba số thứ tự. Chứng minh rằng mỗi quan hệ trong các quan hệ , đều suy ra ; và rằng mỗi quan hệ trong các quan hệ , đều suy ra với điều kiện .
(d) Chứng minh rằng quan hệ suy ra , và rằng suy ra với điều kiện .
(e) Hai số thứ tự và thỏa mãn khi và chỉ khi tồn tại một số thứ tự sao cho . Khi đó số thứ tự này là duy nhất và thỏa mãn ; nó được ký hiệu là .
(f) Cho , , là ba số thứ tự sao cho . Chứng minh rằng tồn tại hai số thứ tự , sao cho và , (x. no. 5, Định lý 3, Hệ quả 3). Hơn nữa, và được xác định duy nhất bởi các điều kiện này.
Lời giải
Chưa có lời giải nào được viết.