KHÁI NIỆM TẬP HỢP Ở TRUNG HỌC PHỔ THÔNG SỰ NỐI KHỚP GIỮA HAI VAI TRÒ ĐỐI TƯỢNG VÀ CÔNG CỤ

Header Page of 185 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Văn Ngọc Thảo Quyên KHÁI NIỆM TẬP HỢP Ở TRUNG HỌC PHỔ THÔNG: SỰ NỐI KHỚP GIỮA HAI VAI TRÒ ĐỐI TƯỢNG VÀ CÔNG CỤ LUẬN VĂN THẠC SĨ GIÁO DỤC HỌC Thành phố Hồ Chí Minh – 2014 Footer Page of 185 Header Page of 185 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Văn Ngọc Thảo Quyên KHÁI NIỆM TẬP HỢP Ở TRUNG HỌC PHỔ THÔNG: SỰ NỐI KHỚP GIỮA HAI VAI TRÒ ĐỐI TƯỢNG VÀ CÔNG CỤ Chuyên ngành : Lí luận phương pháp dạy học môn Toán Mã số : 60 14 01 11 LUẬN VĂN THẠC SĨ GIÁO DỤC HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: TS TRẦN LƯƠNG CÔNG KHANH Thành phố Hồ Chí Minh – 2014 Footer Page of 185 Header Page of 185 LỜI CAM ĐOAN Tôi xin cam đoan luận văn công trình nghiên cứu độc lập hướng dẫn giáo viên hướng dẫn, trích dẫn nêu luận văn xác trung thực TP Hồ Chí Minh, ngày 09 tháng năm 2014 TÁC GIẢ Văn Ngọc Thảo Quyên Footer Page of 185 Header Page of 185 LỜI CẢM ƠN Người Tôi muốn gửi lời cảm ơn chân thành Thầy Khanh Tôi xin phép gọi Thầy Thầy Khanh thay TS Trần Lương Công Khanh nhằm bày tỏ lòng biết ơn sâu sắc Thầy người hướng dẫn tận tình giúp đỡ nhiều, theo sát để Tôi hoàn thành luận văn Tôi xin trân trọng cảm ơn PGS.TS Lê Thị Hoài Châu, PGS.TS Lê Văn Tiến, TS Nguyễn Thị Nga, TS Lê Thái Bảo Thiên Trung, TS Vũ Như Thư Hương nhiệt tình giảng dạy cho kiến thức didactic toán, cung cấp cho công cụ hiệu để thực việc nghiên cứu Tôi xin gửi lời cảm ơn đến Ban Giám Hiệu em học sinh trường THCS – THPT Lương Thế Vinh, quận 1, Thành phố Hồ Chí Minh giúp thực thực nghiệm luận văn Cuối cùng, Tôi xin gửi lời cảm ơn chân thành đến tất bạn khóa, người chia sẻ khó khăn suốt khóa học TP Hồ Chí Minh, ngày 09 tháng năm 2014 TÁC GIẢ Văn Ngọc Thảo Quyên Footer Page of 185 Header Page of 185 MỤC LỤC Trang phụ bìa Lời cam đoan Lời cảm ơn Mục lục Danh mục chữ viết tắt Danh mục bảng MỞ ĐẦU Chương KHẢO SÁT KHOA HỌC LUẬN VỀ VAI TRÒ ĐỐI TƯỢNG VÀ CÔNG CỤ CỦA TẬP HỢP 1.1 Sự hình thành phát triển lý thuyết tập hợp Cantor 1.1.1 Lực lượng tập vô hạn 1.1.2 Giả thuyết continuum 1.1.3 Các nghịch lý lý thuyết tập hợp Cantor 1.2 Tiên đề hóa lý thuyết tập hợp: hệ tiên đề Zermelo-Fraenkel, hệ tiên đề von Neumann-Bernays-Gödel, hệ tiên đề Russell 12 1.2.1 Hệ tiên đề lý thuyết Zermelo-Fraenkel 12 1.2.2 Hệ tiên đề von Neumann-Bernays-Gödel lý thuyết lớp 13 1.2.3 Lý thuyết kiểu 14 1.3 Lý thuyết tập hợp toán học đại 15 1.3.1 Lý thuyết tập hợp chuyên luận Bourbaki 15 1.3.2 Vai trò lý thuyết tập hợp toán học đại 16 Kết luận chương 17 Chương VAI TRÒ ĐỐI TƯỢNG VÀ CÔNG CỤ CỦA TẬP HỢP TRONG SÁCH GIÁO KHOA TOÁN TRUNG HỌC PHỔ THÔNG 18 2.1 Phân tích sách Đại số 10 18 2.1.1 Mục đích đưa khái niệm Tập hợp vào sách giáo khoa 18 2.1.2 Tập hợp - đối tượng dạy học chương trình Toán THPT 19 Footer Page of 185 Header Page of 185 2.2 Khảo sát chương trình Toán THPT ban hành 29 2.2.1 Hàm số đồ thị 30 2.2.2 Phương trình bất phương trình_hệ phương trình hệ bất phương trình 33 2.2.3 Đại số tổ hợp 34 2.2.4 Xác suất thống kê 36 2.2.5 Hình học 39 Kết luận chương 41 Chương ĐỐI CHIẾU VÀ THỰC NGHIỆM KIỂM CHỨNG 43 3.1 Độ lệch chuyển hóa sư phạm khái niệm tập hợp 43 3.1.1 Kết chương 43 3.1.2 Kết chương 44 3.1.3 Chuyển hóa sư phạm khái niệm tập hợp nối khớp hai vai trò đối tượng công cụ tập hợp 44 3.2 Nghiên cứu thực nghiệm 46 3.2.1 Đối tượng thực nghiệm 46 3.2.2 Hình thức thực nghiệm 46 3.2.3 Phân tích tiên nghiệm phân tích hậu nghiệm toán thực nghiệm 46 Kết luận chương 66 KẾT LUẬN 67 TÀI LIỆU THAM KHẢO 69 PHỤ LỤC Footer Page of 185 Header Page of 185 DANH MỤC CÁC CHỮ VIẾT TẮT HS : Học sinh GV : Giáo viên SGK : Sách giáo khoa SGV : Sách giáo viên SBT : Sách tập THCS : Trung học sở THPT : Trung học phổ thông KNV : Kiểu nhiệm vụ Tr : Trang Nxb : Nhà xuất PT : Phương trình HPT : Hệ phương trình BPT : Bất phương trình HBPT : Footer Page of 185 Hệ bất phương trình Header Page of 185 DANH MỤC CÁC BẢNG Bảng 2.1 Nhiệm vụ minh họa kiểu nhiệm vụ T1 27 Bảng 2.2 Thống kê tập hai kiểu nhiệm vụ T1 T2 28 Bảng 2.3 Thống kê tập hai kiểu nhiệm vụ T8 T9 36 Bảng 2.4 Ngôn ngữ biến cố 37 Bảng 3.1 Bảng chọn giá trị biến Bài 51 Bảng 3.2 Kết số lượng học sinh chọn chiến lược giải 52 Bảng 3.3 Bảng lựa chọn giá trị biến dạy học 54 Bảng 3.4 Số lượng học sinh chọn theo bạn giải thích thường gặp 56 Bảng 3.5 Bảng chọn giá trị biến Bài 60 Bảng 3.6 Thống kê số lượng học sinh chọn chiến lược giải 62 Footer Page of 185 Header Page of 185 MỞ ĐẦU Ghi nhận câu hỏi ban đầu Tập hợp đưa vào giảng dạy trung học phổ thông từ lớp 10 Hơn nữa, tập hợp lại giới thiệu chương I sách giáo khoa Đại số 10 Bên cạnh đó, tập hợp sử dụng để định nghĩa nhiều khái niệm chương trình như: Đồ thị hàm số; Phương trình tương đương; Tổ hợp, Chỉnh hợp, Hoán vị; Quỹ tích… Các phép toán tập hợp lại vận dụng triệt để việc giải bất phương trình, hệ bất phương trình “ Để giải hệ bất phương trình ta giải bất phương trình lấy giao tập nghiệm” [5, tr.10] Từ ghi nhận dẫn đến câu hỏi sau: Sự nối khớp vai trò đối tượng vai trò công cụ tập hợp thể sách giáo khoa thực tế giảng dạy trung học phổ thông? Khung lý thuyết tham chiếu Nghiên cứu đặt phạm vi Didactic toán, mà cụ thể thuyết nhân học hợp đồng Didactic Trong đó, thuyết nhân học giúp hình thành mối quan hệ thể chế tri thức tập hợp, bước chuyển hóa sư phạm việc dạy học tập hợp tổ chức toán học (praxéologie) trình bày chương trình toán trung học phổ thông Qua phân tích thể chế, tìm ràng buộc qui tắc hợp đồng tồn chương trình Mục đích nghiên cứu Chúng nghiên cứu luận văn nhằm mục đích là: nối khớp hai vai trò đối tượng công cụ tập hợp sách giáo khoa thực tế giảng dạy bậc trung học phổ thông Dựa vào khung lý thuyết tham chiếu đặt hai câu hỏi nghiên cứu sau: Q1: Đối với khái niệm tập hợp, tri thức bác học tri thức cần dạy lệch nào? Q2: Đối với kiểu nhiệm vụ có can thiệp tập hợp, sách giáo khoa cung cấp đủ khối logos để phục vụ cho khối praxis chưa? Footer Page of 185 Header Page 10 of 185 Cấu trúc luận văn Luận văn gồm: Mở đầu Chương 1: Khảo sát khoa học luận vai trò đối tượng công cụ tập hợp Chương 2: Vai trò đối tượng công cụ tập hợp sách giáo khoa toán THPT Chương 3: Đối chiếu thực nghiệm kiểm chứng Kết luận Phương pháp nghiên cứu Toàn nghiên cứu thực theo sơ đồ sau: Khảo sát khoa học luận Trả lời câu hỏi Phát biểu giả thuyết Phân tích thể chế Thực nghiệm Giải thích sơ đồ: Chúng thực khảo sát khoa học luận đối chiếu song song với phân tích thể chế chương trình toán trung học phổ thông Từ việc phân tích đối chiếu giúp trả lời câu hỏi nghiên cứu đặt phát biểu giả thuyết nghiên cứu Cuối thực nghiệm giúp bổ sung trả lời câu hỏi, việc khẳng định hay bác bỏ giả thuyết nghiên cứu ban đầu Phương hướng thực Dựa vào phương pháp nghiên cứu, định hướng nội dung chương sau: Chương 1: Khảo sát khoa học luận vai trò đối tượng công cụ tập hợp - Lịch sử hình thành lý thuyết tập hợp Cantor xuất ảnh hưởng Footer Page 10 of 185 Header Page 73 of 185 HS21: HS22: HS23: Footer Page 73 of 185 65 Header Page 74 of 185 66 Kết luận chương Kết đối chiếu chương chương cho thấy: Tập hợp khái niệm Toán học không định nghĩa từ giai đoạn hình thành lịch sử (lý thuyết tập hợp Cantor) đến cách giới thiệu SGK Việc không định nghĩa dẫn đến xuất nghịch lý trình hình thành phát triển lí thuyết tập hợp Mặc dù vậy, SGK không đưa tường minh ngầm ẩn qui ước giúp HS tránh nghịch lý Do đó, đề xuất qui ước bổ sung trình giảng dạy tập hợp Lý thuyết tập hợp vừa tảng, vừa ngôn ngữ biểu đạt ngành toán học Trong phạm vi chương trình Toán THPT, khái niệm tập hợp phép toán xuất năm chủ đề 12 kiểu nhiệm vụ Công cụ khảo sát bao hàm thức SGK SBT dừng lại biểu đồ Ven (với số quy ước ngầm ẩn) thay sử dụng chứng minh chặt chẽ mệnh đề có huy động lượng tử phổ dụng (∀) lượng tử tồn (∃) Điều dẫn đến hệ lụy giải nhiệm vụ mà phát biểu qui tắc hợp đồng sau: Đối với toán dùng biểu đồ Ven để minh họa tính Đúng/ Sai mệnh đề liên quan đến bao hàm thức, học sinh nhiệm vụ minh họa tất trường hợp xảy tập hợp cho mệnh đề Sau tiến hành thực nghiệm 123 HS với thời gian làm 20 phút chia thành hai phiếu, kiểm chứng tính hợp thức qui tắc cho thấy SGK chưa cung cấp đủ khối logos để phục vụ cho khối praxis toán “Dùng biểu đồ Ven minh họa tính Đúng/ Sai mệnh đề liên quan bao hàm thức tập hợp” Footer Page 74 of 185 Header Page 75 of 185 67 KẾT LUẬN Qua nghiên cứu, luận văn trả lời hai câu hỏi: Q1: Đối với khái niệm tập hợp, tri thức bác học tri thức cần dạy lệch nào? Q2: Đối với kiểu nhiệm vụ có can thiệp tập hợp, sách giáo khoa cung cấp đủ khối logos để phục vụ cho khối praxis chưa? - Việc nghiên cứu hội tụ chuỗi lượng giác đưa Cantor đến toán khảo sát, so sánh phân loại lực lượng tập vô hạn mà lời giải trở thành phần quan trọng lý thuyết tập hợp Cantor - Vì khái niệm tập hợp không định nghĩa, trình hình thành phát triển lý thuyết tập hợp làm nảy sinh hai nhóm nghịch lý: nghịch lý liên quan đến ngôn ngữ chưa hình thức hóa nghịch lý liên quan đến tính chất đặc trưng tập - Việc giải nghịch lý khiến nhà toán học phải tiên đề hóa khái niệm tập hợp Trong số hệ tiên đề Zermelo-Fraenkel, hệ tiên đề von NeumannBernays-Gödel hệ tiên đề Russell, hệ tiên đề ZF công nhận tiên đề hóa phù hợp với lý thuyết tập hợp Cantor - Khái niệm tập hợp đưa vào SGK với mục đích: ôn tập hệ thống lại kiến thức tập hợp HS biết trước Mặc dù ngôn ngữ mệnh đề SGV xem điểm so với chương trình Toán lớp 6, công cụ khảo sát bao hàm thức SGK SBT dừng lại biểu đồ Ven (với số quy ước ngầm ẩn) thay sử dụng chứng minh chặt chẽ mệnh đề có huy động lượng tử phổ dụng (∀) lượng tử tồn (∃) - Tập hợp khái niệm Toán học không định nghĩa từ giai đoạn hình thành lịch sử (lý thuyết tập hợp Cantor) đến cách giới thiệu SGK Việc không định nghĩa dẫn đến xuất nghịch lý trình hình thành phát triển lí thuyết tập hợp Mặc dù vậy, SGK không đưa tường minh ngầm ẩn qui ước giúp HS tránh nghịch lý Do đó, đề xuất qui ước bổ sung trình giảng dạy tập hợp: Footer Page 75 of 185 Header Page 76 of 185 68 Không có tập hợp tất tập hợp Không có tập hợp phần tử Một tập hợp E hoàn toàn xác định với phần tử x bất kỳ, ta kiểm tra cách khách quan x ∈ E x ∉ E Khi định nghĩa khái niệm phần bù tập, tập xét SGK quy ước tập tập E Điều không vi phạm quy ước “Không có tập hợp tất tập hợp” Thật vậy, với tập A , A , …, A n , tồn E = n  A chứa tất tập A i i i =1 - Ngày nay, lý thuyết tập hợp vừa tảng, vừa ngôn ngữ biểu đạt ngành toán học Trong chương trình Toán THPT, ngôn ngữ tập hợp dùng để diễn đạt kiến thức Toán năm chủ đề 12 kiểu nhiệm vụ: Hàm số đồ thị Phương trình hệ phương trình Đại số tổ hợp Xác suất thống kê Hình học - Hai kiểu nhiệm vụ liên quan khái niệm tập hợp có mặt sách Đại số 10 là: T1 Dùng biểu đồ Ven để minh họa tính đúng, sai mệnh đề liên quan đến bao hàm thức T2 Thực phép toán tập hợp tập hợp số - Qua thực nghiệm kiểm chứng qui tắc hợp đồng: “Đối với toán dùng biểu đồ Ven để minh họa tính đúng, sai mệnh đề liên quan đến bao hàm thức, học sinh nhiệm vụ minh họa tất trường hợp xảy tập hợp cho mệnh đề” Footer Page 76 of 185 Header Page 77 of 185 69 TÀI LIỆU THAM KHẢO Tiếng Việt Đậu Thế Cấp (2004), Lý thuyết tập hợp logic, Nhà xuất giáo dục Phan Hữu Chân, Trần Lâm Hách (1997), Nhập môn lý thuyết tập hợp logic, Nhà xuất giáo dục Phan Đức Chính (1972), Từ điển Toán học Anh – Việt, Nxb Khoa học kỹ thuật Phan Đình Diệu (2006), Logich toán & sở toán học, Nxb ĐH Quốc gia Hà Nội Trần Văn Hạo, Vũ Tuấn, Doãn Minh Cường, Đỗ Mạnh Hùng, Nguyễn Tiến Tài (2009), SGK Đại số 10 (cơ bản), Nxb Giáo dục Trần Văn Hạo, Vũ Tuấn, Doãn Minh Cường, Đỗ Mạnh Hùng, Nguyễn Tiến Tài (2009), SGV Đại số 10 (cơ bản), Nxb Giáo dục Trần Văn Hạo,Vũ Tuấn, Đào Ngọc Nam, Lê Văn Tiến, Vũ Viết Yên (2007), SGK Đại số Giải tích 11 (cơ bản), Nxb Giáo dục Trần Văn Hạo, Vũ Tuấn, Đào Ngọc Nam, Lê Văn Tiến, Vũ Viết Yên (2007), SBT Đại số Giải tích 11, Nxb Giáo dục Trần Văn Hạo, Vũ Tuấn, Đào Ngọc Nam, Lê Văn Tiến, Vũ Viết Yên (2007), SGV Đại số Giải tích 11 (cơ bản), Nxb Giáo dục 10 Trần Lương Công Khanh (2013), Lịch sử lý thuyết tập hợp, giảng dành cho học viên cao học ngành Lý luận phương pháp dạy học môn toán, Trường Đại học Sư phạm Tp Hồ Chí Minh, tài liệu lưu hành nội 11 Lê Duy Ninh (11/1997), Các yếu tố lý thuyết Tập hợp Logic toán với giáo dục khái niệm tập hợp THPT, Tạp chí NCGD (T2023) 12 Nguyễn Nhật Phương (2012), Thay đổi phạm vi hệ thống biểu đạt giải biện luận phương trình chứa tham số THPT, Luận văn thạc sĩ, Trường Đại học Sư phạm TP Hồ Chí Minh 13 TS Chu Trọng Thanh, TS Trần Hưng, Cơ sở toán học đại kiến thức môn toán phổ thông, 2011, Nhà xuất giáo dục Việt Nam 14 Vũ Tuấn, Doãn Minh Cường, Trần Văn Hạo, Đỗ Mạnh Hùng, Phạm Phu, Footer Page 77 of 185 Header Page 78 of 185 70 Nguyễn Tiến Tài (2009), SBT Đại số 10 (cơ bản), Nxb Giáo dục 15 Hoàng Tụy (1964), Lý thuyết tập hợp gì?, Nxb Giáo dục 16 Nguyễn Thanh Sơn (1999), Lý thuyết tập hợp, Giáo trình cho Trường ĐHKT TP.HCM Tiếng Anh 17 Muller F A (2011), Cantor-Von Neumann Set-Theory, Logique et Analyse, volume 54, no 213, pp 31-48, Belgian National Centre for Logical Investigation Tiếng Pháp 18 Borel E (1908), Annales scientifiques de l’École Normale Supérieure, série 3, tome 25, Les paradoxes de la théories des ensembles, p 443-448, GauthierVillars 19 Bourbaki N (1970), Éléments de mathématiques, Livre I, Théorie des ensembles, Éditions Hermann, nouvelle édition, Paris 20 Dahan-Dalmendico A., Peiffer J (1986), Une histoire des mathématiques, routes et dédales, Éditions du Seuil 21 Richard J A (1905), Les principes des mathématiques et le problème des ensembles, Revue générale des sciences pures et appliquées, no 12, 30/6/1905, p 541-543 22 Vidal C (2003), Georg Cantor et la découverte des infinis, mémoire de maîtrise de philosophie, université Paris Panthéon-Sorbonne Footer Page 78 of 185 Header Page 79 of 185 PHỤ LỤC Phụ lục Hệ tiên đề Zermelo-Fraenkel Hệ tiên đề Zermelo-Fraenkel Hệ tiên đề Zermelo-Fraenkel (hệ tiên đề ZF) gồm tiên đề sau: Tiên đề đẳng thức: Hai tập hợp chúng có phần tử A = B ⇔ (∀x, x ∈ A ⇒ x ∈ B) ∧ (∀x, x ∈ B ⇒ x ∈ A) Tiên đề tập rỗng: Tồn tập hợp phần tử (tập rỗng), ký hiệu ∅ Bản số tập rỗng ký hiệu Thật ra, tiên đề tập rỗng suy từ tiên đề lại Tiên đề đôi: Cho hai tập hợp, tồn tập thứ ba có hai phần tử hai tập ∀A, ∀B, ∃C (A ∈ C ∧ B ∈ C) Ký hiệu C = {A, B} Lưu ý A, B không thiết phải hai tập phân biệt Tiên đề cho phép chứng minh tồn tập có phần tử (singleton) cách đặt A = B Tiên đề phép hợp: Với tập bất kỳ, tồn tập mà phần tử chứa phần tử tập ban đầu ∀A, ∃B (∀C, C ∈ B ⇔ ∃D (D ∈ A ∧ D ∈ C)) Ký hiệu B = ∪A B =  x x∈a Ví dụ: A = {x , x , x }  D D D    C C C   D  C    B = ∪A = { x1 }, { x }, {x3 } B = ∪A = {x1 , x }, { x } B = ∪A =           D D C    D  D D   D D D    D D   D  x1 , x }, { x } B = ∪A = { x1 }, {x , x } B = ∪A = {x1 , x , x } {                  C  C C    C   C  Footer Page 79 of 185 Header Page 80 of 185 Tiên đề tập tập con: Với tập bất kỳ, tồn tập chứa tập tập ban đầu ∀A, ∃B (∀C (C ∈ B ⇔ C ⊂ A)) Chú ý: C ⊂ A cách viết tắt ∀D, D ∈ C ⇒ D ∈ A Ký hiệu B = ℘(A) Tiên đề vô hạn: Tồn tập hợp X thỏa ∅ ∈ X với x ∈ X, x ∪ {x} ∈ X Ý nghĩa tiên đề tồn tập vô hạn Thật vậy, xây dựng tập N từ tiên đề cách đặt ∅ = 0, {0} = 1, {0, 1} = 2… Tiên đề cách hiểu: Với tập hợp E, với tính chất 18 P diễn đạt ngôn ngữ lý thuyết tập hợp, tồn tập F chứa phần tử E thỏa mãn tính chất P Có thể phát biểu cách hình thức tiên đề sau: ∀E, ∀P, ∃F, ∀x [x ∈ F ⇔ (x ∈ E ∧ P(x)] Tiên đề thay thế: Một quan hệ hàm với n tham số a , a , , a n công thức phép tính vị từ n + biến x, y, a , a , , a n gắn phần tử x với phần tử y Khi đó: ∀ a , a , , a n , ∀x, ∀y, ∀y' {[F(x, y, a , a , , a n ) ∧ F(x, y', a , a , , a n )] ⇒ y = y'} ⇒ ∀a, ∃b, ∀y (y ∈ b ⇔ [∃x, x ∈ a ∧ F(x, y, a , a , , a n )] Tiên đề hợp thức: Với tập không rỗng A, tồn tập B phần tử A cho phần tử A phần tử B A ≠ ∅ ⇒ (∃B (B ∈ A ∧ A ∩ B = ∅)) Chứng minh không tồn tập tất tập hợp Giả sử tồn S tập tất tập hợp Theo tiên đề cách hiểu, A = {E ∈ S| E ∉ E} tập A ∈ S theo định nghĩa S Vì A ∈ S nên theo định nghĩa A, đặt vấn đề A ∈ A hay A ∉ A Nếu A ∈ A theo định nghĩa A, ta có A ∉ A Nếu A ∉ A thì theo định nghĩa A, ta có A ∈ A Mâu thuẫn 18 Tính chất hiểu công thức phép tính vị từ biến Footer Page 80 of 185 Header Page 81 of 185 chứng tỏ không tồn tập tất tập hợp Chứng minh không tồn tập hợp phần tử Giả sử ∃A, A ∈ A Theo tiên đề đôi, tồn {A} Theo tiên đề hợp thức, tồn B ∈ {A}, B ∩ {A} = ∅ Vì {A} có phần tử B ∈ {A} nên B = A, tức A ∩ {A} = ∅ Mặt khác A ∈ A (giả sử phản chứng) A ∈ {A} (do B ∈ {A}) nên A ∈ A ∩ {A} Điều mâu thuẫn với A ∩ {A} = ∅ Vậy ∀A, A ∉ A Mối liên hệ tập tất tập hợp tập hợp phần tử Kết cho thấy tập hợp thỏa hệ tiên đề ZF không phần tử Do đó, “tập” tập hợp không phần tử cách diễn đạt khác “tập” tất tập hợp hai “tập” không tồn lý thuyết ZF Footer Page 81 of 185 Header Page 82 of 185 Phụ lục Hệ tiên đề von Neumann-Bernays-Gödel Trong hệ tiên đề này, ta dùng chữ thường a, b, c… để tập hợp chữ in hoa A, B, C để lớp Lưu ý ∀a, ∃A (a ∈ A) cách viết {{x}, {x,y}} thay Tiên đề tập hợp gồm: Tiên đề đẳng thức: a = b ⇔ (∀x, x ∈ a ⇒ x ∈ b) ∧ (∀x, x ∈ b ⇒ x ∈ a) Tiên đề tập rỗng ∃ x, ∀y (y ∉ x) Tiên đề đôi ∀a, ∀b, ∃c (a ∈ c ∧ b ∈ c) Tiên đề phép hợp ∀a, ∃b (∀c, c ∈ b ⇔ ∃d (d ∈ a ∧ d ∈ c)) Tiên đề tập tập ∀a, ∃b (∀c (c ∈ b ⇔ (∀d, d ∈ c ⇒ d ∈ a) ) ) Tiên đề vô hạn ∃x (∅ ∈ x ∧ ∀y (y ∈ x ⇒ y ∪ {y} ∈ x) ) Tiên đề thay ∀X ( (∀u ∃!v ∈ X) ⇒ ∀u, ∃v, ∀t ( t ∈v ⇔ ∃w ( w ∈ u ∧ ∈ X) ) ) Các tiên đề lập lớp gồm: Tiên đề đẳng thức A = B ⇔ ∀x ( x ∈ A ⇔ x ∈ B) Hai lớp chúng có phần tử Tiên đề tách lớp ∀X, ∀Y, ∃Z, ∀u ( u ∈ Z ⇔ u ∈ X ∧ u ∈ Y ) Footer Page 82 of 185 Header Page 83 of 185 Giao hai lớp lớp: với hai lớp X, Y, tồn lớp Z gồm phần tử thuộc X thuộc Y 10 Tiên đề lớp đầy đủ ∀X, ∃Y, ∀v ( u ∈ Y ⇔ u ∉ X ) 11 ∀X, ∀Y, ∃u ( u ∈ Y ⇔ ∃v ( < v,u > ∈ X ) ) 12 ∀X, ∃Y, ∀u ( u ∈ Y ⇔ ∃r, ∃s ( u = < r,s > ∧ s ∈ X ) ) 13 ∀X, ∃Y, ∀a ( a ∈ Y ⇔ ∃b, ∃c ( < b,c > = a ∧ < c,b > ∈ X ) ) 14 ∀X, ∃Y, ∀u ( u ∈ Y ⇔ ∃a, ∃b, ∃c ( < a,b,c > ∈ X ∧ < b,c,a > ∈ Y ∧ < b,c,a > = u ) ) 15 ∀X, ∃Y, ∀u ( u ∈ Y ⇔ ∃a, ∃b, ∃c ( < a,b,c > ∈ X ∧ < a,c,b > ∈ Y ∧ < a,c,b > = u ) ) 16 Tiên đề chọn ∃X, ∀a ( a ≠ ∅ ⇒ ∃!u ( u ∈ a ∧ < a,u > ∈ X ) ) 17 Tiên đề hợp thức ∀X ( X ≠ ∅ ⇒ ∃u ( u ∈ X ∧ u ∩ X = ∅) Một lớp không rỗng chứa tập phần tử chung với lớp cho Footer Page 83 of 185 Header Page 84 of 185 Phụ lục Các qui tắc định kiểu Gồm bốn qui tắc: Qui tắc khởi tạo: Để giải thích kiểu R p q đối tượng kiểu ta dùng giản đồ: p q pRq Qui tắc giới thiệu: Để giới thiệu phần tử A B kiểu R ta dùng giản đồ: p: A q: B (p, q): A R B Qui tắc giản ước: Qui tắc dùng để giản ước phần tử kiểu từ giả thiết ban đầu Một kiểu có nhiều cách giản ước Do đó, kiểu có nhiều giản đồ để giản ước phần tử Qui tắc tính toán: Qui tắc qui định cách thức tính toán biểu thức kiểu trở nên đơn giản Footer Page 84 of 185 Header Page 85 of 185 Phụ lục Phiếu thực nghiệm HS PHIẾU SỐ Các em học sinh thân mến! Bài làm không nhằm mục đích đánh giá lực học sinh mà giúp tiến hành nghiên cứu: “Khái niệm tập hợp Trung học phổ thông: nối khớp hai vai trò đối tượng công cụ” Vì vậy, em cho biết số ý kiến  Lưu ý làm bài: Không dùng bút xóa Bài 1: Cho hình minh họa sau: Hình Hình Hình B A Hình Hình Hình Câu hỏi dành cho em : Hãy chọn hình minh họa tương ứng với tập hợp cho bên cách điền số thích hợp vào dấu “…”: Footer Page 85 of 185 Header Page 86 of 185 minh họa hình … minh họa hình … minh họa hình … minh họa hình … minh họa hình … PHIẾU SỐ Bài 2: Dùng biểu đồ Ven minh họa tính Đúng/ Sai mệnh đề: Sau làm hai bạn A B Bài làm bạn A Bài làm bạn B Xét minh họa: Xét minh họa: C A B Ta có: Nên mệnh đề Vậy Ta thấy : nên mệnh đề sai Câu hỏi dành cho em : Em nêu ý kiến (bằng cách đánh dấu X vào cột Chọn cột Không chọn bảng sau) Sau giải thích em chọn Nếu được, em đề xuất cách giải khác Footer Page 86 of 185 Header Page 87 of 185 Bài làm hai bạn Chọn Không chọn A B Giải thích: …………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… Cách giải khác …………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… …………………………………………………………………………………………… Bài 3: Hãy dùng biểu đồ Ven minh họa tính Đúng/ Sai mệnh đề ……………………………………………………………………………… …………………………………………………………………………………… …………………………………………………………………………………… …………………………………………………………………………………… …………………………………………………………………………………… …………………………………………………………………………………… Footer Page 87 of 185 ... ghi nhn trờn ó dn chỳng tụi n cõu hi sau: S ni khp gia vai trũ i tng v vai trũ cụng c ca hp c th hin nh th no sỏch giỏo khoa v thc t ging dy trung hc ph thụng? Khung lý thuyt tham chiu Nghiờn cu... Page 10 of 185 Cu trỳc lun Lun gm: M u Chng 1: Kho sỏt khoa hc lun v vai trũ i tng v cụng c ca hp Chng 2: Vai trũ i tng v cụng c ca hp sỏch giỏo khoa toỏn THPT Chng 3: i chiu v thc nghim kim... xỏc nh lch ca chuyn húa s phm i vi khỏi nim hp v s ni khp gia hai vai trũ i tng v cụng c ca hp Nghiờn cu chng ny c nh hng bng hai nhúm cõu hi di õy: Lý thuyt hp i nhm gii quyt gỡ? Quỏ trỡnh