Đủ điều kiện để đảm bảo điểm cố định duy nhất (không phải điểm cố định nhỏ nhất / lớn nhất) cho các hàm đơn điệu trên mạng hoàn chỉnh


8

Định lý điểm cố định của Tarski nói rằng các điểm cố định của toán tử đơn điệu trên một mạng hoàn chỉnh là một mạng hoàn chỉnh. Do đó, chúng tôi có một điểm cố định lớn nhất và điểm cố định nhỏ nhất duy nhất cho một toán tử đơn điệu trên một mạng hoàn chỉnh.

Các điểm cố định có thể là duy nhất nhưng nói chung có thể là nhiều.

Câu hỏi của tôi sẽ là, trong những điều kiện nào một chức năng đơn điệu có thể có một điểm cố định duy nhất trên một mạng hoàn chỉnh? Có một số điều kiện thực tế đủ để đảm bảo một điểm cố định duy nhất? Sẽ rất hữu ích khi biết điều này, bởi vì đôi khi bạn có một toán tử đơn điệu chỉ định một thuộc tính. Nó có thể là không tầm thường để đánh vần cho dù đó là điểm sửa chữa lớn nhất hoặc điểm sửa chữa ít nhất bạn thực sự muốn chỉ định. Trong một số trường hợp, hai sự trùng hợp và bạn biết lặp đi lặp lại từ trên xuống hoặc từ dưới lên đều mang lại kết quả như nhau và bạn sẽ rất vui khi nhận được kết quả đơn giản hơn hoặc hiệu quả hơn.


Đối với các bản đồ đảo ngược thứ tự, có kết quả của Anders Bjorner dx.doi.org/10.1007/BF02483901 .
Michał Kukieła

Câu trả lời:


6

μTôi= =k<Tôifk()νTôi= =k<Tôifk()μTôi= =νTôiTôiff, nó không đầy đủ trừ khi bạn chuẩn bị khám phá các xấp xỉ vô hạn.


4

Định lý điểm cố định của Banach trong không gian số liệu xây dựng là một nguồn của các điểm cố định duy nhất. Xem câu hỏi cstheory này cho cả phát biểu của định lý và bằng chứng xây dựng (vì vậy về cơ bản bạn có được một thuật toán đơn giản). Tài liệu tham khảo này cũng có thể bạn quan tâm.

Sự tồn tại và tính duy nhất của điểm cố định trong các bộ và ứng dụng được sắp xếp từng phần cho các phương trình vi phân thông thường . Juan J. Nieto và Rosana Rodriguez-Lopez. 2007


Để biết mối quan hệ giữa các định lý điểm cố định của Banach và Tarski, hãy xem câu hỏi trên MathOverflow: mathoverflow.net/questions/34511/ phỏng
Michał Kukieła
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.