Diễn Đàn MathScope - Xem bài viết đơn - Một bài về topo hữu hạn-đóng

99 · 04-07-2012, 07:28 AM

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.

04-07-2012, 07:28 AM	#2
99 +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.