Đến nội dung


Chú ý

Nếu các bạn đăng kí thành viên mà không nhận được email kích hoạt thì hãy kiểm tra thùng thư rác (spam). Nếu không biết cách truy cập vào thùng thư rác thì các bạn chịu khó Google hoặc đăng câu hỏi vào mục Hướng dẫn - Trợ giúp để thành viên khác có thể hỗ trợ.


bchl85

Đăng ký: 19-01-2005
Offline Đăng nhập: 08-03-2006 - 05:47
-----

#41731 Bài tập về Sup,..

Gửi bởi bchl85 trong 11-11-2005 - 22:16

Bác Ham Toan à, cháu ko hiểu cách làm của bác lắm.
Sao lại có supA - :) < x?
x :in A thì x :( A ... rồi làm sao để có được cái đó?

Bài này cháu làm thế này:
1) Như bác làm.

2) a + b :in A + B => a + b :D sup(A+B) :sum a :in A, b :in B
=> a :D sup(A+B) - b :sum a :in A, b :in B
=> sup(A+B) - b là upperbound(chặn trên) của a
supA là chặn trên nhỏ nhất
=> supA :D sup(A+B) - b
=> b :Leftrightarrow sup(A+B) - supA :forall b :forall :in B
=> sup(A+B) - supA là chặn trên của B
=> supB :sum sup(A+B) - supA
=> supA + sup B :sum sup(A+B)

Kết hợp 2 cái thì có dpcm