Hệ thống kiến thức toán cao cấp 2 năm 2024

Giáo trình “ Toán cao cấp 2” do tập thể các tác giả là giảng viên Trường ĐH Công nghiệp Hà Nội biên soạn gồm 4 chương, cung cấp cho bạn đọc các kiến thức về:: Hàm nhiều biến, Tích phân hàm nhiều biến, Phương trình vi phân, Phương trình sai phân.

Xem thêm

Toán học cao cấp Tập 2 Phép tính giải tích một biến số

Bộ sách "Toán học cao cấp" là giáo trình dành cho sinh viên các trường đại học kĩ thuật, bao gồm những vấn đề cơ bản của đại số và giải tích toán học, giúp rèn luyện tư duy khoa học, cung cấp công cụ toán cho sinh viên có thể tự học. Các khái niệm cơ bản của đại số và giải tích toán học được trình bày một cách chính xác với nhiều ví dụ minh họa. Cuối mỗi chương đều có phần tóm tắt với các định nghĩa chính, các định lí và các công thức chủ yếu, cùng với phần bài tập được chọn lọc, kèm đáp số và gợi ý.

Xem thêm

Bài tập Toán cao cấp. Tập 3: Phép tính tích phân. Lý thuyết chuỗi. Phương trình vi phân

Bộ sách Bài tập Toán cao cấp của tác giả Nguyễn Thủy Thanh (3 tập) nhà xuất bản ĐHQG Hà Nội. Tập 2 Phép tính vi phân gồm các nội dung: Giới hạn và liên tục của hàm số: Giới hạn của dãy số, giới hạn hàm một biến, hàm liên tục. Phép tính vi phân hàm một biến: Đạo hàm; vi phân; các định lý cơ bản về hàm khả vi. Phép tính vi phân hàm nhiều biến: Đạo hàm riêng; vi phân của hàm nhiều biến; cực trị của hàm nhiều biến.

Nội dung Text: Giáo trình Toán cao cấp 2 - PGS. TS Phạm Ngọc Anh, PGS. TS Lê Bá Long

1. 1 BỘ CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG HỌC VIỆN CÔNG NGHỆ BƯU CHÍNH VIỄN THÔNG -- PGS. TS PHẠM NGỌC ANH, PGS. TS LÊ BÁ LONG GIÁO TRÌNH TOÁN CAO CẤP 2 Hà Nội, tháng 4 năm 2021 1
2. Lời nói đầu 3 Lời nói đầu Giáo trình Toán cao cấp 2 được biên soạn theo Đề cương tín chỉ học phần Toán cao cấp 2 đã được Học viện Công nghệ Bưu chính Viễn thông ban hành năm 2012 dành cho sinh viên đại học hệ chính qui nhóm ngành kinh tế, bao gồm: Khoa Quản trị kinh doanh, Khoa Tài chính Kế toán, Khoa Đa phương tiện và Khoa Marketing của Học viện. Gần như độc lập với môn Toán cao cấp 1, nội dung môn Toán cao cấp 2 là các kiến thức cơ bản về Đại số tuyến tính nhằm cung cấp và hỗ trợ cho cho sinh viên khối ngành Kinh tế trong việc học tập, nghiên cứu, phân tích các mô hình kinh tế. Giáo trình được thiết kế theo 5 chương tương ứng với thời lượng hai tín chỉ gồm các nội dung sau: Chương 1: Lôgic mệnh đề, tập hợp, ánh xạ. Chương 2: Không gian véc tơ n chiều. Chương 3: Ma trận và định thức. Chương 4: Hệ phương trình tuyến tính. Chương 5: Phép biến đổi tuyến tính và dạng toàn phương trên không gian n R . Nội dung của cuốn sách được tổng kết từ bài giảng của hai tác giả trong nhiều năm và có tham khảo các giáo trình của các trường đại học khác. Chính vì thế, giáo trình này cũng có thể dùng làm tài liệu học tập, tài liệu tham khảo cho sinh viên của các trường đại học và cao đẳng khối ngành Kinh tế. Toán học ngoài vai trò là công cụ cho các ngành khoa học khác, còn cung cấp phương pháp tư duy lập luận chính xác chặt chẽ. Vì vậy việc học toán cũng giúp ta rèn luyện phương pháp tư duy. Một vài phương pháp tư duy Toán học đã được giảng dạy và cung cấp từng bước trong quá trình học tập ở phổ thông nhưng chỉ với mức độ đơn giản. Trong Chương 1 các vấn đề này được trình bày lại một cách có hệ thống. Các chương còn lại của giáo trình là đại số tuyến tính. Kiến thức của các chương liên hệ chặt chẽ với nhau, kết quả của chương này là công cụ của chương khác. Vì vậy người học cần thấy được mối liên hệ giữa các chương. Đặc điểm của môn học này là tính khái quát hoá và
3. 4 Lời nói đầu trừu tượng cao. Một số khái niệm được khái quát hoá từ những kết quả của Hình học giải tích ở phổ thông, vì vậy khi học ta nên liên hệ đến các kết quả đó. Giáo trình được trình bày theo cách thích hợp đối với người tự học. Trước khi nghiên cứu các nội dung chi tiết, người đọc nên xem phần giới thiệu của mỗi chương để thấy được mục đích, ý nghĩa, yêu cầu chính của chương đó. Trong mỗi chương, mỗi nội dung, người đọc có thể tự đọc và hiểu được cặn kẽ thông qua cách diễn đạt và chứng minh rõ ràng. Đặc biệt người học nên chú ý đến các nhận xét, bình luận để hiểu sâu hơn hoặc mở rộng tổng quát hơn các kết quả. Hầu hết các bài toán được xây dựng theo lược đồ: Đặt bài toán, chứng minh sự tồn tại lời giải bằng lý thuyết và cuối cùng nêu thuật toán giải quyết bài toán này. Các ví dụ là để minh họa trực tiếp khái niệm, định lý hoặc các thuật toán, vì vậy sẽ giúp người đọc dễ dàng hơn khi tiếp thu bài học. Cuối mỗi chương đều có các bài tập sắp xếp từ dễ đến khó. Các bài tập dễ chỉ kiểm tra trực tiếp nội dung vừa học còn các bài tập khó đòi hỏi phải sử dụng các kiến thức tổng hợp. Một số nội dung của cuốn sách đã được dạy hoặc dạy một phần ở phổ thông. Tài liệu này có nội dung thuần túy toán học, tuy nhiên ở mức độ có thể chúng tôi giới thiệu một số ví dụ, bài tập liên quan đến chuyên ngành nhằm minh họa và thấy được ứng dụng của Toán cao cấp 2. Mặc dù vậy nội dung vẫn ở dạng cơ bản vì đối tượng chủ yếu là sinh viên năm thứ nhất Đại học - Cao đẳng, chưa được trang bị kiến thức về chuyên ngành. Tuy rằng tác giả đã rất cố gắng, song các thiếu sót còn tồn tại trong giáo trình là điều khó tránh khỏi. Tác giả rất mong sự đóng góp ý kiến của bạn bè đồng nghiệp, học viên xa gần và xin cám ơn vì điều đó. Cuối cùng chúng tôi bày tỏ sự cám ơn đối với Ban Giám đốc Học viện Công nghệ Bưu Chính Viễn Thông, Khoa Cơ bản 1 và bạn bè đồng nghiệp đã khuyến khích động viên, tạo nhiều điều kiện thuận lợi để chúng tôi hoàn thành giáo trình này. Hà nội, ngày 15 tháng 04 năm 2021.
4. Bảng ký hiệu 5 Bảng ký hiệu N, Z, Q, R, C Tập số tự nhiên, số nguyên, số hữu tỉ, số thực, số phức N∗ , Z∗ , Q∗ , R∗ , C∗ Tập số tương ứng loại trừ số 0 a∈X a là phần tử của X, a thuộc X A⊂X A chứa trong X, A là tập con của X ∀ lượng từ phổ biến; với mọi ∃ lượng từ tồn tại; tồn tại f :X→Y ánh xạ f từ X vào Y g◦f hợp của ánh xạ f và ánh xạ g Pn [x] Tập hợp các đa thức biến x bậc ≤ n θ Véc tơ không, ma trận không SpanS Không gian véc tơ con sinh bở hệ véc tơ S r(S), r(A) Hạng của hệ véc tơ S, hạng của ma trận A dimV Chiều của không gian véc tơ V (v)B Tọa độ véc tơ v trong cơ sở B [v]B Ma trận cột có phần tử là tọa độ véc tơ v trong cơ sở B [aij ]m×n Ma trận cỡ m × n có phần tử aij At Ma trận chuyển vị của ma trận A A−1 Ma trận nghịch đảo của ma trận A CA Ma trận phụ hợp của ma trận A det(A), |A| Định thức của ma trận A DB {v1 , . . . , vn } Định thức của hệ véc tơ {v1 , . . . , vn } trong cơ sở B Home(V, W) Tập các ánh xạ tuyến tính từ V vào W End(V) Tập các phép biến đổi tuyến tính của V [f ]B Ma trận của phép biến đổi tuyến tính trong cơ sở B PA (λ), Pf (λ) Đa thức đặc trưng của ma trận A, ánh xạ f
5. Mục lục Lời nói đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Bảng ký hiệu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Mục lục . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Chương 1. Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ 10 1.1. Lôgic mệnh đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.1.1. Mệnh đề và các phép liên kết mệnh đề . . . . . . . . . . 11 1.1.2. Các tính chất (hay còn gọi là các luật lôgic) . . . . . . . 14 1.2. Tập hợp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.2.1. Khái niệm tập hợp . . . . . . . . . . . . . . . . . . . . . 16 1.2.2. Tập con . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.2.3. Các phép toán trên các tập hợp . . . . . . . . . . . . . . 19 1.2.4. Hàm mệnh đề, lượng từ phổ biến và lượng từ tồn tại . . 21 1.2.5. Tích Đề Các . . . . . . . . . . . . . . . . . . . . . . . . . 22 1.3. Ánh xạ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.3.1. Các định nghĩa và ví dụ . . . . . . . . . . . . . . . . . . 23 1.3.2. Phân loại ánh xạ . . . . . . . . . . . . . . . . . . . . . . 25 1.3.3. Ánh xạ hợp, ánh xạ ngược . . . . . . . . . . . . . . . . . 27 Bài tập Chương 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 Hướng dẫn giải bài tập Chương 1 . . . . . . . . . . . . . . . . . . . . 32 Chương 2. Không gian véc tơ n chiều 36 2.1. Khái niệm và tính chất của không gian véc tơ . . . . . . . . . . 37 2.1.1. Định nghĩa không gian véc tơ . . . . . . . . . . . . . . . 37 2.1.2. Tính chất cơ bản của không gian véc tơ . . . . . . . . . . 39 2.2. Không gian véc tơ con . . . . . . . . . . . . . . . . . . . . . . . 41
6. Mục lục 7 2.2.1. Khái niệm không gian véc tơ con . . . . . . . . . . . . . 41 2.2.2. Sự hình thành không gian véc tơ con . . . . . . . . . . . 42 2.3. Độc lập tuyến tính, phụ thuộc tuyến tính . . . . . . . . . . . . . 44 2.3.1. Các khái niệm . . . . . . . . . . . . . . . . . . . . . . . . 44 2.3.2. Tính chất của các hệ độc lập tuyến tính, phụ thuộc tuyến tính . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 2.4. Cơ sở - Số chiều của không gian véc tơ . . . . . . . . . . . . . . 48 2.4.1. Hạng của hệ véc tơ . . . . . . . . . . . . . . . . . . . . . 48 2.4.2. Cơ sở, số chiều của không gian véc tơ . . . . . . . . . . . 54 2.5. Tọa độ của véc tơ trong cơ sở . . . . . . . . . . . . . . . . . . . 57 Bài tập Chương 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 Hướng dẫn giải bài tập Chương 2 . . . . . . . . . . . . . . . . . . . . 61 Chương 3. Ma trận và định thức 65 3.1. Ma trận . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66 3.1.1. Khái niệm ma trận . . . . . . . . . . . . . . . . . . . . . 66 3.1.2. Phép toán ma trận . . . . . . . . . . . . . . . . . . . . . 70 3.1.3. Ma trận chuyển cơ sở . . . . . . . . . . . . . . . . . . . . 77 3.2. Định thức . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 3.2.1. Hoán vị và phép thế . . . . . . . . . . . . . . . . . . . . 83 3.2.2. Định nghĩa định thức . . . . . . . . . . . . . . . . . . . . 86 3.2.3. Các tính chất cơ bản của định thức . . . . . . . . . . . . 90 3.2.4. Khai triển định thức theo một hàng hoặc theo một cột . 96 3.2.5. Khai triển theo k hàng hoặc k cột (Công thức Laplace) . 100 3.3. Ma trận nghịch đảo . . . . . . . . . . . . . . . . . . . . . . . . . 105 3.3.1. Điều kiện cần và đủ để tồn tại ma trận nghịch đảo . . . 106 3.3.2. Các phương pháp tìm ma trận nghịch đảo . . . . . . . . 108 3.4. Hạng của ma trận . . . . . . . . . . . . . . . . . . . . . . . . . . 110 3.4.1. Định nghĩa và cách tìm hạng của ma trận bằng phép biến đổi tuyến tính . . . . . . . . . . . . . . . . . . . . . 110 3.4.2. Tìm hạng của ma trận bằng ứng dụng định thức (tham khảo) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
7. 8 Mục lục 3.4.3. Xác định tính chất độc lập của hệ véc tơ bằng ứng dụng định thức . . . . . . . . . . . . . . . . . . . . . . . . . . 116 Bài tập Chương 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 Hướng dẫn giải bài tập Chương 3 . . . . . . . . . . . . . . . . . . . . 125 Chương 4. Hệ phương trình tuyến tính 132 4.1. Khái niệm hệ phương trình tuyến tính . . . . . . . . . . . . . . 133 4.1.1. Dạng tổng quát của hệ phương trình tuyến tính . . . . . 134 4.1.2. Dạng ma trận của hệ phương trình tuyến tính . . . . . . 135 4.1.3. Dạng véc tơ của hệ phương trình tuyến tính . . . . . . . 135 4.2. Định lý tồn tại nghiệm . . . . . . . . . . . . . . . . . . . . . . . 136 4.3. Một số phương pháp giải hệ phương trình tuyến tính . . . . . . 138 4.3.1. Phương pháp Cramer (còn gọi là phương pháp định thức)138 4.3.2. Phương pháp ma trận nghịch đảo . . . . . . . . . . . . . 142 4.3.3. Phương pháp khử Gauss . . . . . . . . . . . . . . . . . . 144 4.3.4. Ứng dụng hệ phương trình tuyến tính để tìm cơ sở của không gian sinh bởi một hệ véc tơ . . . . . . . . . . . . . 151 4.4. Hệ phương trình tuyến tính thuần nhất . . . . . . . . . . . . . . 153 4.4.1. Nghiệm của hệ phương trình tuyến tính thuần nhất . . . 153 4.4.2. Cấu trúc tập nghiệm của hệ phương trình tuyến tính thuần nhất . . . . . . . . . . . . . . . . . . . . . . . . . 153 4.4.3. Hệ nghiệm cơ bản của hệ phương trình tuyến tính thuần nhất . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 4.4.4. Mối liên hệ giữa nghiệm của hệ không thuần nhất và hệ phương trình thuần nhất tương ứng . . . . . . . . . . . . 159 4.5. Một số mô hình tuyến tính trong phân tích kinh tế . . . . . . . 160 4.5.1. Mô hình cân bằng thị trường . . . . . . . . . . . . . . . 160 4.5.2. Mô hình cân bằng kinh tế vĩ mô . . . . . . . . . . . . . . 162 Bài tập Chương 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164 Hướng dẫn giải bài tập Chương 4 . . . . . . . . . . . . . . . . . . . . 168 Chương 5. Phép biến đổi tuyến tính và dạng toàn phương trên Rn 177
8. Mục lục 9 5.1. Phép biến đổi tuyến tính . . . . . . . . . . . . . . . . . . . . . . 178 5.1.1. Khái niệm, tính chất, phép toán . . . . . . . . . . . . . . 178 5.1.2. Ma trận của phép biến đổi tuyến tính trong một cơ sở . 183 5.1.3. Véc tơ riêng, giá trị riêng của phép biến đổi tuyến tính và ma trận vuông . . . . . . . . . . . . . . . . . . . . . . 190 5.1.4. Chéo hóa ma trận . . . . . . . . . . . . . . . . . . . . . . 198 5.1.5. Một vài ứng dụng của đa thức đặc trưng và bài toán chéo hóa . . . . . . . . . . . . . . . . . . . . . . . . . . . 203 5.2. Dạng toàn phương trên Rn . . . . . . . . . . . . . . . . . . . . . 207 5.2.1. Định nghĩa và biểu thức tọa độ của dạng toàn phương . 207 5.2.2. Ma trận của dạng toàn phương trong một cơ sở . . . . . 210 5.2.3. Đưa biểu thức tọa độ của một dạng toàn phương về dạng chính tắc . . . . . . . . . . . . . . . . . . . . . . . . . . . 215 5.2.4. Luật quán tính . . . . . . . . . . . . . . . . . . . . . . . 220 Bài tập Chương 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222 Hướng dẫn giải bài tập Chương 5 . . . . . . . . . . . . . . . . . . . . 228 Tài liệu tham khảo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238
9. 10 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ Chương 1 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ 1.1. Lôgic mệnh đề . . . . . . . . . . . . . . . . . . . . . 11 1.2. Tập hợp . . . . . . . . . . . . . . . . . . . . . . . . . 16 1.3. Ánh xạ . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Bài tập Chương 1 . . . . . . . . . . . . . . . . . . . . . . 29 Hướng dẫn giải bài tập Chương 1 . . . . . . . . . . . . . 32 Toán học là một ngành khoa học lý thuyết được phát triển trên cơ sở tuân thủ nghiêm ngặt các quy luật lập luận của tư duy lôgic hình thức. Các quy luật cơ bản của lôgic hình thức đã được phát triển từ thời Aristote (Arít-xtốt) (thế kỷ thứ 3 trước công nguyên) cùng với sự phát triển rực rỡ của văn minh cổ Hy Lạp. Tuy nhiên mãi đến thế kỷ 17 với những công trình của De Morgan (Đờ Mocgan), Boole ... thì lôgic hình thức mới có một cấu trúc đại số đẹp đẽ và cùng với lý thuyết tập hợp giúp làm chính xác hoá các khái niệm toán học và thúc đẩy toán học phát triển mạnh mẽ. Việc nắm vững lôgic hình thức không những giúp sinh viên học tốt môn toán mà còn có thể vận dụng trong thực tế và biết lập luận một cách chính xác. Khái niệm tập hợp, ánh xạ là các khái niệm cơ bản: vừa là công cụ vừa là ngôn ngữ của toán học hiện đại. Vì vai trò nền tảng của nó nên khái niệm tập hợp được đưa rất sớm vào chương trình toán phổ thông (toán lớp 6). Khái niệm tập hợp được Cantor (Căng-to) đưa ra vào cuối thế kỷ 19. Sau đó được chính xác hoá bằng hệ tiên đề về tập hợp. Có thể tiếp thu lý thuyết tập hợp theo nhiều mức độ khác nhau. Chúng ta chỉ tiếp cận lý thuyết tập hợp ở mức độ trực quan kết hợp với các phép toán lôgic hình thức như “và”, “hoặc”, phép kéo theo, phép tương đương, lượng từ phổ biến, lượng từ tồn tại. Với các phép toán lôgic này ta có tương ứng các phép toán giao, hợp, hiệu các tập hợp con của các tập hợp.
10. 1.1. Lôgic mệnh đề 11 Khái niệm ánh xạ là sự mở rộng khái niệm hàm số đã được biết. Khái niệm này giúp ta mô tả các phép tương ứng từ một tập này đến tập kia thoả mãn điều kiện rằng mỗi phần tử của tập nguồn chỉ cho ứng với một phần tử duy nhất của tập đích và mọi phần tử của tập nguồn đều được cho ứng với phần tử của tập đích. Ở đâu có tương ứng thì ta có thể mô tả được dưới ngôn ngữ ánh xạ. Nắm vững và sử dụng một cách chính xác các luật lôgic mệnh đề, vận dụng triệt để các kiến thức về lý thuyết tập hợp, ánh xạ là một yếu tố quan trọng đối với bất kỳ sinh viên nào muốn đạt kết quả tốt trong học tập các môn toán nói riêng cũng như trong mọi lĩnh vực nghiên cứu khác. 1.1. Lôgic mệnh đề 1.1.1. Mệnh đề và các phép liên kết mệnh đề a. Khái niệm mệnh đề Lôgic mệnh đề là một hệ thống lôgic đơn giản nhất, với đơn vị cơ bản là các mệnh đề mang nội dung của các phán đoán, mỗi phán đoán được giả thiết là có một giá trị chân lý nhất định là đúng hoặc sai. Như vậy mệnh đề thường được phát biểu dưới dạng câu khẳng định hoặc phủ định. Câu dưới dạng nghi vấn, mệnh lệnh, yêu cầu không phải dạng mệnh đề ta xét. Để chỉ các mệnh đề chưa xác định nào đó ta dùng các chữ cái p, q, r, ... và gọi chúng là các biến mệnh đề. Nếu mệnh đề p đúng ta cho p nhận giá trị 1 và p sai ta cho nhận giá trị 0. Giá trị 1 hoặc 0 được gọi là thể hiện của p. Chẳng hạn: “7 > 9” là mệnh đề sai, “tam giác đều là một tam giác cân”, hay “tam giác ABC là tam giác vuông tại đỉnh A khi và chỉ khi BC 2 = AC 2 +AB 2 ” . là những mệnh đề đúng, “x .. 3” không phải là một mệnh đề. Phủ định của mệnh đề p là mệnh đề được ký hiệu p, đọc là không p . Mệnh đề p đúng khi p sai và p sai khi p đúng. Tương tự ngôn ngữ thông thường, người ta dùng các liên từ để nối các câu đơn thành câu phức hợp, các liên từ thường gặp như “và”, “hay là”, “hoặc. . . hoặc..”, “nếu . . . thì”. . . Mệnh đề phức hợp được xây dựng từ các mệnh đề đơn giản bằng các phép liên kết lôgic mệnh đề. b. Các phép liên kết lôgic mệnh đề 1) Phép hội: Hội của hai mệnh đề p, q là một mệnh đề, được kí hiệu là
11. 12 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ p ∧ q (đọc là p và q). Mệnh đề p ∧ q chỉ đúng khi p và q cùng ( đúng, sai khi ít p nhất một trong hai mệnh đề p hoặc q sai. Có thể kí hiệu là q. 2) Phép tuyển: Tuyển của hai mệnh đề p, q là một mệnh đề, được kí hiệu là p ∨ q (đọc là p hoặc q). Mệnh đề p ∨ q chỉ sai khi p và q cùng  sai, đúng khi p ít nhất một trong hai mệnh đề p hoặc q đúng. Có thể kí hiệu là  q. Ở đây “p hoặc q” không được hiểu theo nghĩa loại trừ, tách biệt trong đó cả p, q không thể cùng đúng, mà tất nhiên p ∨ q đúng khi cả p, q cùng đúng. 3) Phép kéo theo: Mệnh đề p kéo theo q , ký hiệu p ⇒ q, là mệnh đề chỉ sai khi p đúng q sai. Chú ý 1.1. • Nếu p sai thì mệnh đề p ⇒ q luôn đúng. Hay “từ điều sai suy ra mọi điều tuỳ ý”. • Hai mệnh đề p, q ở đây phải thuộc cùng một vấn đề, không thể là hai mệnh đề “xa lạ” không có liên quan gì với nhau. • Trong phép kéo theo p ⇒ q, p được gọi là giả thiết, q là kết luận. • Phép kéo theo q ⇒ p được gọi là đảo hoặc mệnh đề đảo của phép kéo theo p ⇒ q. Ta còn diễn tả p ⇒ q bằng một trong các cách sau: • Nếu p thì q; • Muốn có p cần có q; • Muốn có q thì có p là đủ; • p là một điều kiện đủ của q; • q là một điều kiện cần của p. Phép kéo theo là liên kết lôgic mệnh đề thường gặp nhất trong các định lý. Ví dụ 1.1. (tính chất của tam giác đều) Nếu tam giác ABC là tam giác đều thì đó là một tam giác cân.
12. 1.1. Lôgic mệnh đề 13 Ví dụ 1.2. a) (Định lý Vi-et thuận) Nếu phương trình bậc hai ax2 + bx + c = 0, a 6= 0 có b c hai nghiệm x1 , x2 thì x1 + x2 = − và x1 x2 = . a a b) (Định lý Vi-et đảo) Nếu có hai số x1 , x2 sao cho x1 + x2 = S, x1 x2 = P và S 2 ≥ 4P thì x1 , x2 là hai nghiệm của phương trình bậc hai x2 − Sx + P = 0. Ví dụ 1.3. (Định lý điều kiện cần về cực trị của hàm số) Cho hàm số y = f (x) xác định trên Df , a ∈ Df . Nếu hàm số khả vi tại a và đạt cực trị địa phương tại a thì f 0 (a) = 0. Ta đều đã biết điều ngược lại của các mệnh đề trên chưa chắc đúng, nghĩa là điều kiện f 0 (a) = 0 chỉ là điều kiện cần để đạt cực trị tại a và không phải là điều kiện đủ. 4) Phép tương đương: Mệnh đề (p ⇒ q) ∧ (q ⇒ p) được gọi là mệnh đề p tương đương q, ký hiệu p ⇔ q. Mệnh đề tương đương còn được phát biểu dưới dạng: khi và chỉ khi, điều kiện cần và đủ, điều kiện ắt có và đủ. Ví dụ 1.4. (Định lý Pi-ta-go) Tam giác ABC là tam giác vuông tại đỉnh A khi và chỉ khi BC 2 = AC 2 + AB 2 . Một công thức gồm các biến mệnh đề và các phép liên kết mệnh đề được gọi là một công thức mệnh đề. Bảng liệt kê các thể hiện của công thức mệnh đề được gọi là bảng chân trị. Bảng 1.1 Bảng chân trị của phép phủ định p p 1 0 0 1 Từ định nghĩa ta có bảng chân trị của các phép liên kết mệnh đề p ∨ q, p ∧ q, p ⇒ q và q ⇔ p như sau: Từ bảng chân trị ta nhận thấy p ⇔ q là một mệnh đề đúng khi cả hai mệnh đề p và q cùng đúng hoặc cùng sai và mệnh đề p ⇔ q sai trong trường hợp ngược lại.
13. 14 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ Bảng 1.2 Bảng chân trị thể hiện giá trị các liên kết mệnh đề p q p p∨q p∧q p⇒q q⇒p p⇔q p∨q 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 Chú ý 1.2. • Mỗi định lý sau khi được chứng minh là một mệnh đề đúng. • Mỗi định lý đã được chứng minh lại là căn cứ để chứng minh định lý khác. • Có hai loại mệnh đề được sử dụng làm căn cứ để chứng minh một mệnh đề: 1. Các mệnh đề đã được thừa nhận là đúng: đó là các định nghĩa và tiên đề. 2. Các mệnh đề đã được chứng minh là đúng. Một công thức mệnh đề được gọi là hằng đúng nếu nó luôn nhận giá trị 1 với mọi thể hiện của các biến mệnh đề có trong công thức. 1.1.2. Các tính chất (hay còn gọi là các luật lôgic) Ta ký hiệu mệnh đề tương đương hằng đúng là “≡” đọc là “đồng nhất bằng” thay cho ký hiệu “⇔”. Tính chất 1.1. Dùng bảng chân trị ta dễ dàng kiểm chứng các mệnh đề hằng đúng sau: 1) Luật phủ định kép: p ≡ p. 2) Luật giao hoán: p∧q ≡q∧p p ∨ q ≡ q ∨ p.
14. 1.1. Lôgic mệnh đề 15 3) Luật kết hợp: p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r. 4) Luật phân phối: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r). 5) Luật bài trung: mệnh đề p ∨ p luôn đúng (p ∨ p ≡ 1). Luật mâu thuẫn: mệnh đề p ∧ p luôn sai (p ∧ p ≡ 0). 6) Luật De Morgan: p ∨ q ≡ p ∧ q; p ∧ q ≡ p ∨ q. 7) (p ⇒ q) ≡ (p ∨ q) 8) Luật phản chứng: p ⇒ q ≡ q ⇒ p. 9) Luật lũy đẳng: p ∨ p ≡ p; p ∧ p ≡ p. 10) Luật hấp thu: p ∨ (p ∧ q) ≡ p p ∧ (p ∨ q) ≡ p. Luật lôgic 7) cho ta biểu diễn phủ định của mệnh đề p ⇒ q như sau: p ⇒ q ≡ p ∨ q ≡ p ∧ q. Theo luật phản chứng mệnh đề p ⇒ q và q ⇒ p tương đương hằng đúng với nhau. Vì vậy có thể sử dụng một trong hai dạng trên phụ thuộc tính trực quan dễ hiểu khi phát biểu. Phương pháp suy luận phản chứng: Để chứng minh mệnh đề p ⇒ q là đúng, ta giả thiết là p đúng và q sai. Nếu ta chỉ ra được rằng từ giả thiết đó dẫn đến mâu thuẫn thì mệnh đề p ∧ q là sai. Theo Luật phủ định kép và Luật De Morgan thì p ∨ q là đúng, khi đó theo Luật Lôgic 7) thì p ⇒ q là mệnh đề đúng.
15. 16 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ 1.2. Tập hợp 1.2.1. Khái niệm tập hợp Khái niệm tập hợp và phần tử là các khái niệm cơ bản của toán học, không thể định nghĩa qua những khái niệm đã biết (cũng giống như khái niệm điểm, đường thẳng, mặt phẳng). Các khái niệm “tập hợp”, “phần tử” xét trong mối quan hệ phần tử của tập hợp trong lý thuyết tập hợp là giống với khái niệm “đường thẳng”, “điểm” và quan hệ điểm thuộc đường thẳng được xét trong hình học. Một cách trực quan, ta có thể xem tập hợp như một sự tụ tập các vật, các đối tượng nào đó mà mỗi vật hay đối tượng là một phần tử của tập hợp. Tập hợp được đặc trưng bởi tính chất rằng một phần tử bất kỳ chỉ có thể hoặc thuộc hoặc không thuộc tập hợp. Có thể lấy ví dụ về các tập hợp có nội dung toán học hoặc không toán học. Chẳng hạn: tập hợp các số tự nhiên là tập hợp mà các phần tử của nó là các số 0, 1, 2, 3, ... còn tập hợp các cuốn sách trong thư viện của Học viện Công nghệ Bưu chính Viễn thông là tập hợp mà các phần tử của nó là các cuốn sách có đóng dấu thư viện. Thường ký hiệu các tập hợp bởi các chữ in A, B, ..., X, Y, ... và các phần tử bởi các chữ thường x, y, ... Nếu phần tử x thuộc A ta ký hiệu x ∈ A, nếu x không thuộc A ta ký hiệu x ∈ / A. Ta cũng nói tắt “tập” thay cho thuật ngữ “tập hợp”. Tập rỗng là tập không chứa phần tử nào, ký hiệu ∅ . Chẳng hạn tập nghiệm thực của phương trình x2 + 1 = 0 là tập rỗng. Một số cách biểu diễn tập hợp 1. Liệt kê các phần tử của tập hợp trong dấu ngoặc nhọn Trường hợp tập hợp có hữu hạn phần tử hoặc các phần tử của tập hợp có thể biểu diễn theo một quy luật dễ nhận biết thì ta có thể liệt kê các phần tử trong dấu ngoặc nhọn. Ví dụ 1.5. • Mỗi tập thể lớp sinh viên Học viện là một tập hợp và có thể liệt kê theo danh sách lớp. • Bộ ba cán bộ lớp: lớp trưởng, lớp phó, bí thư chi đoàn của một lớp cụ thể là một tập hợp, có thể liêt kê theo tên. • Tập các số tự nhiên lẻ nhỏ hơn 10 là {1, 3, 5, 7, 9}.
16. 1.2. Tập hợp 17 • Tập hợp các nghiệm của phương trình x2 − 1 = 0 là {−1, 1}. 2. Nêu đặc trưng tính chất của các phần tử tạo thành tập hợp Có những tập hợp không thể liệt kê các phần tử của chúng, khi đó ta mô tả tập hợp này bằng cách đặc trưng các tính chất của phần tử tạo nên tập hợp. Ví dụ 1.6. • {x ∈ R | x2 + 1 = 0} = ∅. Tập hợp các nghiệm thực của phương trình x2 + 1 = 0 là tập rỗng. • W = {x, y, z ∈ R | x + y + z = 0} là tập hợp các số thực thỏa mãn x + y + z = 0 hoặc tập hợp những điểm (x, y, z) thỏa mãn phương trình x + y + z = 0, đó là mặt phẳng qua gốc O có véc tơ pháp tuyến ~n = (1, 1, 1). • Ký hiệu C[a,b] là tập hợp các hàm số liên tục trên [a, b]. Các tập hợp số thường gặp: • Tập các số tự nhiên N = {0, 1, 2, . . .}; • Tập các số nguyên Z = {0, ±1, ±2, . . .};   p • Tập các số hữu tỉ Q = | q 6= 0, p, q ∈ Z ; q • Tập các số thực R; • Tập các số phức C = {z = x + iy | x, y ∈ R; i2 = −1}. Ví dụ 1.7. a) 2N = {0, 2, 4, . . .} là tập các số tự nhiên chẵn. Trường hợp này ta có thể biểu diễn tập hợp bằng cách liệt kê một số phần tử ban đầu của tập hợp, các phần tử tiếp theo dễ dàng nhận được theo quy luật hình thành các phần tử của tập hợp, chẳng hạn tiếp sau 4 là 6 ...; n3 − 1   b) P = p ∈ Q | p = 2 ; n ∈ N là tập các số hữu tỷ có dạng p = 3n + 1 n3 − 1 trong đó n là số tự nhiên. Trường hợp này tập hợp được đặc 3n2 + 1 trưng bởi tính chất tạo nên phần tử của tập hợp.
17. 18 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ 3. Giản đồ Venn: Để có hình ảnh trực quan về tập hợp, người ta thường biểu diễn tập hợp như là miền phẳng giới hạn bởi đường cong khép kín không tự cắt được gọi là giản đồ Venn. Giản đồ Venn của tập A là hình ảnh minh họa cho A và không phải chính tập A (điều này cũng giống như không thể lấy bức ảnh của anh A thay cho anh A). Vì vậy khi chứng minh ta chỉ sử dụng giản đồ Venn như hình ảnh minh họa. 1.2.2. Tập con Định nghĩa 1.1. Tập A được gọi là tập con của B nếu mọi phần tử của A đều là phần tử của B, khi đó ta ký hiệu A ⊂ B hay B ⊃ A. Khi A là tập con của B ta còn nói A bao hàm trong B , hay B bao hàm A, hay B chứa A. Ta có N ⊂ Z ⊂ Q ⊂ R ⊂ C. Một cách hình thức ta có thể xem tập rỗng là tập con của mọi tập hợp, nghĩa là với mọi tập X : ∅ ⊂ X. Tập hợp tất cả các tập con của X được ký hiệu là P(X). Vậy A ∈ P(X) khi và chỉ khi A ⊂ X. Tập X ⊂ X là tập con của chính nó nên là phần tử lớn nhất, còn ∅ là phần tử nhỏ nhất trong P(X). Ví dụ 1.8. Cho X = {a, b, c}. Ta có P(X) = {∅, {a}, {b}, {c}, {a, b}, {b, c}, {c, a}, X}. Ta thấy X có 3 phần tử thì P(X) có 23 = 8 phần tử. Ta có thể chứng minh tổng quát rằng nếu X có n phần tử thì P(X) có 2n phần tử. Định nghĩa 1.2. Hai tập A, B bằng nhau, kí hiệu A = B, khi và chỉ khi A ⊂ B và B ⊂ A Để chứng minh A ⊂ B ta chỉ cần chứng minh x ∈ A ⇒ x ∈ B và vì vậy khi chứng minh A = B ta cần chứng minh x ∈ A ⇔ x ∈ B.
18. 1.2. Tập hợp 19 1.2.3. Các phép toán trên các tập hợp a. Phép hợp Hợp của hai tập A và B, ký hiệu A ∪ B, là tập hợp gồm các phần tử thuộc ít nhất một trong hai tập hợp A, B. Nghĩa là A ∪ B = {x | (x ∈ A) ∨ (x ∈ B)}.  x∈A Vậy x ∈ A ∪ B ⇔ (x ∈ A) ∨ (x ∈ B) hay x ∈ A ∪ B ⇔  x ∈ B. b. Phép giao: Giao của hai tập A và B, ký hiệu A ∩ B, là tập hợp gồm các phần tử thuộc đồng thời hai tập hợp A, B. Nghĩa là A ∩ B = {x | (x ∈ A) ∧ (x ∈ B)}. ( x∈A Vậy x ∈ A ∩ B ⇔ (x ∈ A) ∧ (x ∈ B) hay x ∈ A ∩ B ⇔ x ∈ B. c. Hiệu hai tập: Hiệu của hai tập A và B, ký hiệu A \ B, là tập hợp gồm các phần tử thuộc A nhưng không thuộc B. Nghĩa là A \ B = {x | (x ∈ A) ∧ (x ∈ / B)}. ( x∈A Vậy x ∈ A \ B ⇔ (x ∈ A) ∧ (x ∈ / B) hay x ∈ A \ B ⇔ x∈ / B. Hình 1.1 Minh họa các phép toán trên các tập hợp Chú ý 1.3. • Phép hợp, phép giao còn được mở rộng cho một họ các tập hợp: A1 ∪ A2 ∪ . . . ∪ An hoặc nk=1 Ak là tập các phần tử thuộc ít nhất một S trong các tập Ak .
19. 20 Mở đầu về lôgic mệnh đề, tập hợp, ánh xạ A1 ∩ A2 ∩ . . . ∩ An hoặc nk=1 Ak là tập các phần tử thuộc đồng thời tất T cả các tập Ak . Vậy [n x∈ Ak ⇔ ∃k0 : x ∈ Ak0 ; k0 ∈ {1, . . . , n}. k=1 n \ x∈ Ak ⇔ x ∈ Ak ; ∀k ∈ {1, . . . , n}. k=1 • Trường hợp B ⊂ U thì tập U \ B được gọi là phần bù của B trong U , ký hiệu là CUB . Khi U đã xác định (không sợ nhầm lẫn) thì ta ký hiệu tắt B thay cho CUB . Áp dụng lôgic mệnh đề ta dễ dàng kiểm chứng lại các tính chất sau đúng với mọi tập con của tập U nào đó. 1. A ∪ A = A, A ∩ A = A (tính lũy đẳng); 2. A ∪ B = B ∪ A, A ∩ B = B ∩ A (tính giao hoán); 3. A ∪ (B ∪ C) = (A ∪ B) ∪ C; A ∩ (B ∩ C) = (A ∩ B) ∩ C (tính kết hợp); 4. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C); A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) (tính phân bố); 5. A = A, A ∪ ∅ = A, A ∩ U = A; 6. A ∪ A = U, A ∩ A = ∅; 7. A ∪ B = A ∩ B, A ∩ B = A ∪ B (luật De Morgan); 8. A \ B = A ∩ B = A ∩ (A ∩ B) = A \ (A ∩ B) = CAA∩B ; 9. A ∩ B ⊂ A ⊂ A ∪ B, A ∩ B ⊂ B ⊂ A ∪ B; ( ( A⊂C D⊂A 10. ⇒ A ∪ B ⊂ C; ⇒ D ⊂ A ∩ B. B⊂C D⊂B
20. 1.2. Tập hợp 21 1.2.4. Hàm mệnh đề, lượng từ phổ biến và lượng từ tồn tại a. Hàm mệnh đề Một mệnh đề phụ thuộc vào biến x ∈ D, ký hiệu S(x), được gọi là hàm mệnh đề xác định trên tập hợp D. Khi cho biến x một giá trị cụ thể thì ta được mệnh đề. Ta gọi tập DS(x) := {x ∈ D | S(x)} là miền đúng của mệnh đề S(x). Ví dụ 1.9. • S(x) : x2 − 1 = 0, x ∈ R thì DS(x) = {−1, 1}; • S(x) : x2 − 5x + 6 ≤ 0, x ∈ R thì DS(x) = [2, 3]. b. Lượng từ phổ biến và lượng từ tồn tại Ký hiệu ∀ (đọc là với mọi) được gọi là lượng từ phổ biến. Ký hiệu ∃ (đọc là tồn tại) được gọi là lượng từ tồn tại. Cho S(x) là một hàm mệnh đề xác định trên tập hợp D. Khi đó: • Mệnh đề (∀x ∈ D)S(x) (đọc là với mọi x ∈ D, S(x)) là một mệnh đề đúng nếu DS(x) = D và sai trong trường hợp ngược lại. Khi D đã xác định thì ta thường viết tắt ∀x, S(x) hay (∀x), S(x). • Mệnh đề (∃x ∈ D)S(x) (đọc là tồn tại x ∈ D, S(x)) là một mệnh đề đúng nếu DS(x) 6= ∅ và sai trong trường hợp ngược lại. • Để chứng minh một mệnh đề với lượng từ phổ biến là đúng thì ta phải chứng minh mệnh đề đúng trong mọi trường hợp, còn với mệnh đề tồn tại đúng ta chỉ cần chứng minh ít nhất một trường hợp đúng là đủ. • Trường hợp DS(x) chỉ có đúng một phần tử thì lượng từ tồn tại tương ứng được ký hiệu là (∃! x ∈ D, S(x)) và đọc tồn tại duy nhất x ∈ D, S(x). • Phép phủ định lượng từ   ∀ x ∈ D, S(x) ≡ ∃x ∈ D, S(x) ;   ∃ x ∈ D, S(x) ≡ ∀x ∈ D, S(x) . Ví dụ 1.10.