Về định lí điểm bất động cho lớp ánh xạ tựa co trên không gian S-mêtric thứ tự bộ phận

Mục tiêu của nghiên cứu này là thiết lập một số định lí điểm bất động cho lớp ánh xạ tựa co trên không gian S-mêtric thứ tự bộ phận. Kết quả nghiên cứu chứng minh rằng các kết quả chính của Caballero, Harjani và Sadarangani (2010) được suy ra từ các định lí này. Đồng thời, nghiên cứu này cung cấp một số ví dụ minh họa cho kết quả đạt được.
Nội dung trích xuất từ tài liệu:
Về định lí điểm bất động cho lớp ánh xạ tựa co trên không gian S-mêtric thứ tự bộ phận Tạp chí Khoa học – Số 01 (2013): 8 – 16 Trường Đại học An Giang VỀ ĐỊNH LÍ ĐIỂM BẤT ĐỘNG CHO LỚP ÁNH XẠ TỰA CO TRÊN KHÔNG GIAN S-MÊTRIC THỨ TỰ BỘ PHẬN Nguyễn Trung Hiếu1 và Nguyễn Thị Kiều Trang2 ABSTRACT The objectives of the present study were to construct several fixed-point theorems for contractive-like mappings in partially ordered S-metric spaces. The findings proved that several main results of Caballero, Harjani and Sadarangani (2010) were derived from these theorems. In addition, some examples were provided to illustrate the results obtained. Keywords: fixed point, S-metric space, contractive-like mapping, altering distance function Title: Towards several fixed-point theorems for contractive-like mappings in partially ordered S-metric spaces TÓM TẮT Mục tiêu của nghiên cứu này là thiết lập một số định lí điểm bất động cho lớp ánh xạ tựa co trên không gian S-mêtric thứ tự bộ phận. Kết quả nghiên cứu chứng minh rằng các kết quả chính của Caballero, Harjani và Sadarangani (2010) được suy ra từ các định lí này. Đồng thời, nghiên cứu này cung cấp một số ví dụ minh họa cho kết quả đạt được. Từ khóa: điểm bất động, không gian S-mêtric, ánh xạ tựa co, hàm biến thiên khoảng cách 1. GIỚI THIỆU Các định lí điểm bất động là công cụ hữu ích trong việc khảo sát sự tồn tại nghiệm của một số bài toán liên quan đến phương trình vi phân, phương trình tích phân, phương trình đạo hàm riêng. Trong lí thuyết điểm bất động, nguyên lí ánh xạ co Banach trên không gian mêtric đầy đủ có vai trò quan trọng nhất. Cùng với sự phát triển của toán học, nguyên lí ánh xạ co Banach được mở rộng cho những lớp ánh xạ khác nhau cũng như cho những không gian khác nhau. Trong hướng nghiên cứu đó, một số tác giả đã mở rộng nguyên lí ánh xạ co Banach sang một số không gian mêtric suy rộng. Gần đây, Sedghi, Shobe và Aliouche (2012) đã giới thiệu một khái niệm mêtric suy rộng như sau. Định nghĩa 1.1. Cho X là một tập khác rỗng. Một S-mêtric trên X là ánh xạ S : X  X  X  [0, ) thỏa mãn các điều kiện sau với mọi x , y, z , a  X . (1) S (x , y, z )  0 nếu và chỉ nếu x  y  z ; (2) S (x , y, z )  S (x , x , a )  S (y, y, a )  S (z , z , a ) . Cặp (X; S) được gọi là không gian S-mêtric. Đồng thời, Sedghi và cs. (2012) cũng đã giới thiệu một số tính chất của S-mêtric và mở rộng nguyên lí ánh xạ co Banach trên không gian mêtric đầy đủ sang không gian S -mêtric đầy đủ, kết quả chính là Theorem 3.1. Từ đó, việc mở rộng các định lí điểm bất động trên không gian mêtric sang không gian S-mêtric được một số tác giả quan tâm và đạt được một số kết quả nhất định (Trần Văn Ân & Nguyễn Văn Dũng, 2012; Nguyễn Văn Dũng, 2013; Nguyễn Văn Dũng & Nguyễn Trung Hiếu, 2013; Nguyễn Trung Hiếu, Nguyễn Thị Thanh Lý & Nguyễn Văn Dũng, 2013; Sedghi & Nguyễn Văn Dũng, 2012). 1 ThS. Khoa Sư phạm Toán – Tin, Trường Đại học Đồng Tháp Email: ngtrunghieu@dthu.edu.vn 2 Khoa Sư phạm Toán – Tin, Trường Đại học Đồng Tháp 8 Tạp chí Khoa học – Số 01 (2013): 8 – 16 Trường Đại học An Giang Trong bài báo của mình, Khan, Swaleh và Sessa (1984) đã giới thiệu khái niệm hàm biến thiên khoảng cách như sau. Định nghĩa 1.2. Hàm y : [0, ¥ ) ® [0, ¥ ) được gọi là hàm biến thiên khoảng cách nếu các điều kiện sau được thỏa mãn. (1) y là hàm liên tục và không giảm; (2) y (t ) = 0 nếu và chỉ nếu t = 0 . Đồng thời, trong bài báo này các tác giả cũng đã thiết lập định lí điểm bất động bằng cách sử dụng hàm biến thiên khoảng cách. Từ đó, việc thiết lập các định lí điểm bất động thông qua lớp hàm biến thiên khoảng cách được một số tác giả quan tâm nghiên cứu (Sastry & Babu, 1999; Shatanawi & AlRawashdeh, 2012). Gần đây, Caballero, Harjani và Sadarangani (2010) đã giới thiệu lớp hàm F như sau. Định nghĩa 1.3. Kí hiệu F là lớp các hàm b : [0, + ¥ ) ® [0,1) thỏa mãn điều kiện: Nếu b (t n ) ® 1 thì t n ® 0 . Bằng cách sử dụng lớp hàm biến thiên khoảng cách và lớp hàm F , Caballero và cs. (2010) đã giới thiệu lớp ánh xạ tựa co trên không gian mêtric thứ tự bộ phận và thiết lập một số định lí điểm bất động cho lớp ánh xạ này, kết quả chính là Theorem 2.2, Theorem 2.3 và Theorem 2.4. Trong bài báo này, chúng tôi giới thiệu lớp ánh xạ tựa co trên không gian S-mêtric thứ tự bộ phận, thiết lập một số định lí điểm bất động cho lớp ánh xạ này và chứng tỏ rằng từ các kết quả này có thể suy ra được các kết quả chính của Caballero, Harjani và Sadarangani (2010). Đồng thời, chúng tôi cũng xây dựng ví dụ minh họa cho kết quả đạt được. Trước hết, chúng tôi giới thiệu một số khái niệm và kết quả được sử dụng trong bài báo này. Các khái niệm và kết quả này được trích từ các kết quả của Sedghi và cs. (2012), Trần Văn Ân và Nguyễn Văn Dũng (2012), Caballero và cs. (2010 ). Mệnh đề 1.4. Cho (X , S ) là không gian S -mêtric. Khi đó S (x , x , y ) = S (y, y, x ) với mọi x , y Î X . Mệnh đề 1.5. Cho (X , S ) là không gian S -mêtric. Khi đó S (x , x , z ) £ 2S (x , x , y ) + S (y, y ...