|
|
|
Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé ! * Quy định về việc viết bài trong diễn đàn MathScope * Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây |
| Ðiều Chỉnh | Xếp Bài |
04-07-2012, 12:19 AM | #1 |
+Thành Viên+ Tham gia ngày: Jun 2012 Bài gởi: 91 Thanks: 44 Thanked 21 Times in 19 Posts | Một bài về topo hữu hạn-đóng Đề bài Định nghĩa:
Hỏi: Không gian topo hữu hạn - đóng có tính chất điểm bất động hay không? ------------------- Theo mình câu trả lời là không nếu card(X) > 1. Tuy nhiên, phần lý luận chưa thật hoàn chỉnh.
Mình xin cám ơn, thay đổi nội dung bởi: yYukataYy, 04-07-2012 lúc 12:23 AM |
04-07-2012, 07:28 AM | #2 |
+Thành Viên+ Tham gia ngày: Nov 2007 Bài gởi: 2,995 Thanks: 537 Thanked 2,429 Times in 1,376 Posts | Bạn chứng minh rằng tồn tại song ánh của $X$ mà không có điểm bất động. Giả sử $f$ là song ánh của $X,$ khi đó ký hiệu $Fix(f)$ là tập các điểm bất động của $f.$ Xét quan hệ sau trên tập các song ánh : $f\geq g$ khi và chỉ khi $Fix(f)\supset Fix(g)$ và $f = g$ trên $X-Fix(f).$ Đến đây ta có thể dùng bổ đề Zorn để lấy ra phần tử cực tiểu. Phần tử ý là một song ánh mà không có điểm bất động. Dễ thấy song ánh liên tục với topo của bạn. Chú ý: đây chỉ là ý tưởng của mình, chứ 99 chưa kiểm tra kỹ càng. |
The Following User Says Thank You to 99 For This Useful Post: | yYukataYy (04-07-2012) |
04-07-2012, 09:49 AM | #3 | |
+Thành Viên+ Tham gia ngày: Jun 2012 Bài gởi: 91 Thanks: 44 Thanked 21 Times in 19 Posts | Trích:
Mình cũng dựa vào gợi ý của bạn, và thử chứng minh bài toán như sau. Tuy mình có học về bổ đề Zorn, nhưng đó chỉ là những chứng minh trong sách, chưa lần nào mình áp dụng. Nên mình rất mong bạn sẽ xem qua giùm mình phần chứng minh nhé. Trước khi có thể áp dụng Bổ đề Zorn, mình phải kiểm tra xem với mọi dây chuyền $f_1 \ge f_2 \ge f_3 \ge ...$ đều phải có phần tử tối tiểu. Thật vậy, định nghĩa f như sau: Với mọi $a \in X$, ta gọi $X_a = \bigcup\limits_{i = 1}^\infty f_i(a)$. Theo quan hệ so sánh ta đang xét, $X_a$ chỉ có khả năng có 1 hoặc 2 phần tử. Trong trường hợp có 2 phần tử, thì chắc chắn $X_a$ một phần tử là a. Nếu $X_a$ chỉ có 1 phần tử, ta định nghĩa f(a) là phần tử đó. Nếu $X_a$ có 2 phần tử, ta định nghĩa f(a) sao cho $f(a) \neq a$. Có thể thấy, với f định nghĩa như vậy, f sẽ là phần tử tối tiểu của dây chuyền. Do đó tập song ánh từ X đến chính nó với quan hệ $\ge$ có ánh xạ tối tiểu g.
Như vậy, topo hữu hạn đóng không có tính chất điểm bất động. ----------------------------------- Mặc dù mình ghi là "Có thể thấy, với f định nghĩa như vậy, f sẽ là phần tử tối tiểu của dây chuyền." Tuy nhiên với định nghĩa của mình thì việc chứng minh mệnh đề này có vẻ hơi luộm thuộm, mình không biết có thể định nghĩa f theo một cách khác, để việc chứng minh là đơn giản hơn không. Mình cám ơn bạn nhiều, thay đổi nội dung bởi: yYukataYy, 04-07-2012 lúc 10:07 AM | |
04-07-2012, 02:15 PM | #4 |
+Thành Viên+ Tham gia ngày: Nov 2007 Bài gởi: 2,995 Thanks: 537 Thanked 2,429 Times in 1,376 Posts | Cám ơn bạn, nhận xét của bạn là chính xác và chúng ta sắp giải được rồi Ta sửa lại một chút : Giả sử $X$ không đếm được, và $\mathbb{N}$ là tập con của $X.$ Khi đó vẫn như trên, ta xây dựng song ánh $f$ của $X - \mathbb{N}$. Khi đó theo chứng minh ở trên thì có thể xây dựng được sao cho $f$ có nhiều nhất một điểm bất động là $a.$ Bây giờ mở rộng $f$ lên X thành song ánh sao cho tập điểm bất động của $f$ là $\mathbb{N}\cup \{a\},$ đây là tập đếm được nên việc sắp xếp không còn khó khăn gì nữa. @ Mình không quan tâm lắm đến sự phức tạp của lời giải nếu bài toán vẫn chưa được giải quyết |
The Following User Says Thank You to 99 For This Useful Post: | yYukataYy (04-07-2012) |
Bookmarks |
|
|