TRƯỜNG ĐẠI HỌC AN GIANG KHOA SƯ PHẠM KHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC SƯ PHẠM NGÀNH TOÁN Đề tài GVHD: Th.s Phạm Thị Thu Hoa SV thực hiện: Nguyễn Thị Xuyên Chuyên ngành: Hình học Long Xuyên, 5 - 2008 GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 1 LỜI NÓI ĐẦU Hình học nói chung là môn học khá thú vị đối với mỗi sinh viên. Lịch sử phát triển Hình học rất lâu đời với ý tưởng phục vụ nhu cầu sống của con người. Đến giai đoạn của Euclide, người ta được mở rộng thêm hiểu biết với tác phẩm “Nguyên lý” rất nổi tiếng có tất cả 13 quyển. Tác phẩm “Nguyên lý” trình bày cách xây dựng môn Hình học bằng phương pháp tiên đề. Trong tác phẩm, tác giả nêu ra các định nghĩa, định đề và tiên đề. Trong đó có 5 định đề có nội dung quan trọng và vấn đề đặt ra là định đề 5 của Euclide có phải là một định đề hay không? Hay nó có thể được chứng minh như một định lý? Việc tìm lời giải cho bài toán này đã thu hút rất nhiều nhà Toán học trong một thời gian dài. Và chưa ai làm sáng tỏ được cho đến ngày 6/2/1826, vấn đề được giải quyết bởi nhà Toán học người Nga, Lobachevsky (1792–1856), ông đã trình bày nghiên cứu củ a mình tại khoa Toán – Lý trường đại học Ka–zan (Nga). Lobachevsky chứng minh rằng: không thể chứng minh định đề 5. Định đề 5 đúng là một định đề chứ không phải định lý. Từ đó, ông giữ nguyên các định đề của Euclide và thay định đề 5 bằng một mệnh đề phủ định, dựa vào đó chứng minh các định lý của các hệ thống Hình học mới mà ngày nay ta gọi là Hình học phi Euclide hay Hình học Lobachevsky. Nghiên cứu Hình học phi Euclide chúng ta s ẽ thấy được những kết quả hết sức bất ngờ và thú vị hoàn toàn trái ngược với Hình học Euclide. Luận văn được trình bày gồm 3 chương: +Chương I: Một số kiến thức chuẩn bị. +Chương II: Hình học phi Euclide. +Chương III: Mẫu đĩa Poincare và mẫu nửa trên mặt phẳng Poincare. Luận văn được thực hiện và hoàn thành tại trường Đại Học An Giang với sự hướng d ẫn nhiệt tình của cô Phạm Thị Thu Hoa. Nhân dịp này tôi xin bày tỏ lòng biết ơn chân thành tới cô hướng dẫn, quý thầy cô khoa Sư phạm và Bộ môn Toán trường Đại học An Giang, cảm ơn các bạn lớp DH5A1 đã giúp tôi hoàn thành luận văn này trong suốt quá trình học tập. Xin chúc quý thầy cô được dồi dào sức khoẻ, hạnh phúc và công tác tốt. Do sự hạn chế về thời gian và khả năng nghiên cứu khoa học nên Khóa luận khó tránh khỏi nhữ ng thiếu sót, rất mong sự chỉ bảo của quý thầy cô và các bạn. Tôi xin chân thành cảm ơn ! Long Xuyên, tháng 5 năm 2008 Tác giả GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 2 MỤC LỤC Lời nói đầu 1 Mục lục 2 Các ký hiệu 5 Chương I. KIẾN THỨC CHUẨN BỊ 6 1. Vài nét về lịch sử ra đời của Hình học phi Euclide 6 1.1 .Hình học Euclide. 6 1.2 .Về định đề 5 của Euclide 7 1.3 .Sự ra đời của Hình học phi Euclide 7 2.Kiến thức bổ tr ợ 8 2.1. Tứ giác saccheri: 8 2.2. Dạng song tuyến tính và dạng toàn phương trong không gian vectơ 8 2.2.1. Dạng song tuyến tính: 8 2.2.2. Dạng toàn phương: 8 3. Thể hiện khái niệm cơ bản của hình học Euclide 9 3.1. Mô hình xạ ảnh của không gian Euclide. 9 3.2. Cái tuyệt đối 9 3.3. Khái niệm vuông góc của hai đường thẳng. 10 3.4. Khái niệm siêu cầu: 10 Chương II. HÌNH HỌC PHI EUCLIDE 12 1. Không gian vectơ giả Euclide 12 1.1. Định nghĩa 12 1.2. Định lý. 13 2. Hình học giả Euclide 14 2.1. Định nghĩa không gian giả Euclide bằng tiên đề 14 2.2. Mục tiêu trực chuẩn 14 2.2.1. Định lý 14 2.2.2. Định lý 15 GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 3 2.3. Định nghĩa 16 2.4. Định nghĩa 16 2.4.1. Mệnh đề. 16 2.4.2. Định lý 16 2.4.3. Hệ quả: 17 2.4.4. Định lý. 17 2.5. Modul của vectơ – độ dài đoạn thẳng 19 2.5.1. Biểu thức tọa độ của tích vô hướng 19 2.5.2. Modul của vectơ. 19 2.5.3. Độ dài đoạn thẳng 19 2.5.4 . Một số khái niệm khác 20 2.6. Định nghĩa 21 2.6.1. Định lý 21 2.6.2. Mệnh đề. 22 2.6.3. Định lý. 22 2.7. Mô hình xạ ảnh của không gian giả k n Ε 23 2.7.1. Xây dựng mô hình. 23 2.7.2. Thể hiện khái niệm giả Euclide trên mô hình 24 2.8. Phép đồng dạng trong không gian k n Ε – Hình học giả Euclide 27 2.8.1. Phương trình của phép đồng dạng – phép dời trong k n Ε . 27 2.8.2. Định lý. 29 3. Hình học Lobachevsky 31 3.1 Định nghĩa 31 3.2. Một số quy ước. 31 3.3. Các định nghĩa. 32 3.4. Khái niệm vuông góc 32 3.5. Phương trình của phép dời hình trong H n 33 3.6. Khoảng cách giữa hai điểm trong H n 33 3.7. Góc giữa hai đường thẳng 34 Chương III: MẪU ĐĨA POINCARE VÀ MẪU NỬA TRÊN 35 1. Mẫu đĩa Poincare và hình học Lobachevsky. 35 1.1. Mặt phẳng Hyperbolic trong mẫu đĩa Poincare 35 GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 4 1.1.1. Các định nghĩa. 35 1.1.2. Khoảng cách mêtric trên mặt Hyperbolic 37 1.1.3. Định nghĩa khoảng cách Hyperbolic từ A đến B 37 1.1.4. Những đường thẳng song song 38 1.1.5. Định lý. 38 1.1.6. Định lý. 39 1.1.7. Định lý Lobachevsky 39 1.1.8. Định lý. 41 1.1.9. Định lý 41 1.1.10. Định lý. 42 1.1.11. Định lý 42 1.1.12. Định lý Pythagorean Hyperbolic. 42 2. Mẫu nửa trên mặt phẳng Poincare 42 2.1. Các định nghĩa. 42 2.1.1. Đ iểm 42 2.1.2. Đường thẳng. 43 2.1.3. Phép nghịch đảo 43 2.1.4. Góc 43 2.1.5. Sự bằng nhau của các đoạn thẳng và các góc 44 Kết luận 47 Tài liệu tham khảo. 48 GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 5 CÁC KÝ HIỆU V n : không gian vectơ thực n- chiều A n : không gian afin thực n- chiều P n: không gian xạ ảnh n- chiều k n uuur E : không gian vectơ giả Euclide n- chiều chỉ số k k n E : không gian giả Euclide n- chiều chỉ số k ⊕: Tổng trực tiếp f r : k n uuur E → k n uuur E : ánh xạ tuyến tính liên kết giữa giữa hai không gian vectơ giả Euclide n- chiều chỉ số k H 2 : không gian Lobachevsky 2- chiều P r : r- phẳng xạ ảnh H r : r- phẳng Lobachevsky [u] * : ma trận chuyển vị của ma trận [u] GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 6 Chương I. KIẾN THỨC CHUẨN BỊ 1. Vài nét về lịch sử ra đời của Hình học phi Euclide 1.1 . Hình học Euclide Như ta đã biết Euclide là một nhà hình học vĩ đại. Tên tuổi của ông gắn liền với tác phẩm “Nguyên lý” rất nổi tiếng có tất cả 13 quyển. Trong đó có 8 quyển dành cho hình học phẳng và hình học không gian. Kiến thức trong những cuốn sách này bao gồm toàn bộ nội dung hình học sơ cấp, mà một phần của nó được dạy trong các trường phổ thông hiện nay. Về phương pháp: Ta thấy Euclide đã cố gắ ng xây dựng môn hình học bằng phương pháp tiên đề. Trong cuốn sách đầu tiên Euclide đã nêu ra 23 định nghĩa của các khái niệm: điểm, đường, đường thẳng, mặt, mặt phẳng, đường thẳng song song. Sau định nghĩa Euclide trình bày các “định đề” và “tiên đề” là những mệnh đề mà sự đúng đắn của nó được thừa nhận, không chứng minh. Có 5 định đề nói về hình học đó là: 1). Từ một điểm b ất kỳ này đến một điểm bất kỳ khác có thể vẽ được một đường thẳng. 2). Một đường thẳng có thể kéo dài mãi về cả hai phía. 3). Với một điểm bất kỳ làm tâm và với bán kính tuỳ ý có thể vẽ được một đường tròn. 4). Hai góc vuông thì bằng nhau 5).Nếu một đường thẳng cắt hai đường thẳng khác tạo thành hai góc trong cùng phía có tổng bé hơn hai vuông, thì hai đường thẳng đó c ắt nhau về phía có hai góc đó. Có 5 tiên đề nội dung rộng hơn dùng cho các suy luận toán học nói chung: 1). Hai cái cùng bằng cái thứ ba thì bằng nhau. 2). Thêm những cái bằng nhau vào những cái bằng nhau thì được những cái bằng nhau. 3). Bớt những cái bằng nhau từ những cái bằng nhau thì được những cái bằng nhau. 4). Các hình chồng khít lên nhau thì bằng nhau. 5). Toàn thể lớn hơn bộ phận. GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 7 Sau khi đã có các định nghĩa, các định đề và tiên đề Euclide đã trình bày các định lý và chứng minh các định lý đó. Các định lý này đều được cố gắng dựa vào các định lý đã có trước hoặc các tiên đề và định đề. 1.2. Về định đề 5 của Euclide Định đề 5 của Euclide đóng vai trò đặc biệt trong lịch sử phát triển của hình học nói riêng và Toán học nói chung. Khi nghiên cứu tập “Nguyên lý”, các nhà toán học đều băn khoăn: Định đề 5 có thật là một định đề hay không? Hay nó có thể được chứng minh như là một định lý? Có lẽ như chính Euclide cũng băn khoăn như vậy, bởi vì ông đã cố trì hoãn việc áp dụng định đề đó vào việc chứng minh các đị nh lý. Thế là nhiều nhà toán học đã cố gắng tìm cách chứng minh định đề 5. Có thể nói trong lịch sử toán học chưa bao giờ có một vấn đề toán học được nhiều người nghiên cứu đến thế, và giải quyết nó lại cần nhiều thời gian đến thế (từ thế kỷ II trước CN đến giữa thế kỷ XIX ). Hầu hết các nhà toán học đều thất bại. Họ cứ tưởng là đã chứng minh được định đề 5, nhưng thật ra thì không phải, vì trong khi chứng minh họ đã sử dụng một điều tương đương với định đề đó. Chẳng hạn, Pro–duyt (Produs Diadochus 410 – 485) trong chứng minh của mình ông đã sử dụng mệnh đề: “ Nếu hai đường thẳng a và b song song thì khoảng cách từ bất kỳ điểm nào của đường thẳng a tới đường thẳng b đề u bằng nhau”. Mệnh đề này có vẻ hiển nhiên nhưng để chứng minh nó ta phải dùng định đề 5 (vòng luẩn quẩn!). Nhiều nhà toán học đã chứng minh định đề 5 bằng phương pháp phản chứng. Hãy giả sử định đề 5 không đúng, rồi cố rút ra những đều vô lý, những mâu thuẫn, nhưng họ không thành công vì họ tưởng đã tìm ra cái vô lý nhưng thực ra lại chẳng vô lý chút nào!. 1.3. Sự ra đời của Hình học phi Euclide Cuối cùng, vào ngày 6/2/1826 vấn đề đã được giải quyết bởi nhà toán học người Nga, Lobachevsky (1792–1856), khi ông trình bày nghiên cứu của mình tại khoa Toán – Lý trường Đại học Ka–zan (Nga). Lobachevsky chứng minh rằng: Không thể chứng minh được định đề 5. Định đề 5 đúng là một định đề chứ không phải định lý. Ông giữ nguyên các định đề của Euclide và thay định đề 5 bằng một mệnh đề phủ định: “Qua một điể m nằm ngoài một đường thẳng có thể kẻ ít nhất hai đường thẳng song song với đường thẳng đã cho”, dựa vào đó chứng minh các định lý của hệ thống hình học mới. Ngày nay chúng ta gọi hình học mà Lobachevsky xây dựng là hình học phi Euclide hay hình học Lobachevsky hoàn toàn trái ngược với hình học Euclide. Chẳng hạn, trong hình học của Lobachevsky: tổng các góc của tam giác bé hơn GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 8 180 0 , có tam giác mà tổng số đo các góc bé tuỳ ý, diện tích tam giác bị chặn trên quỹ tích những điểm cách đều một đường thẳng phải là cặp đường thẳng, … Tuy nhiên trong nội bộ của hình học đó không hề có mâu thuẫn nào. 2. Kiến thức bổ trợ 2.1. Tứ giác Saccheri Xét một tứ giác AA ’ B ’ B có hai góc vuông kề đáy AB và có hai cạnh bên AA ’ và B ’ B bằng nhau. Do đối xứng qua trung trực của đoạn AB, các góc A ’ và B ’ bằng nhau Nếu công nhận định đề 5 thì lập tức suy ra rằng hai góc A’ và B ’ đều vuông và tứ giác AA ’ B ’ B là một hình chữ nhật. Ngược lại như saccheri đã chứng minh, nếu tìm được ít nhất một tứ giác dạng như trên có hai góc ở đỉnh vuông thì sẽ chứng minh được định đề 5. 2.2 Dạng song tuyến tính và dạng toàn phương trong không gian vectơ 2.2.1 . Dạng song tuyến tính Định nghĩa: Dạng song tuyến tính trên một không gian vectơ V n là một hàm số S( yx r r , ) của hai vectơ xác định trên toàn bộ V n và có tính chất tuyến tính đối với từng vectơ, tức là: ⎩ ⎨ ⎧ +=+ +=+ ),(),(),( ),(),(),( 22112211 22112211 yxSyxSyyxS yxSyxSyxxS rrrrrrr r r r r rrr λµµµ λλλλ (1) Hay một cách tổng quát: 1122112211 ),( µ λ µ µ λ λ = ++ yyxxS r rrr )y,x(S 11 r r + 1 λ 2 µ )y,x(S 21 r r + 2 λ 1 µ ),( 12 yxS rr + + 2 λ 2 µ ),( 22 yxS rr Với các vectơ và số thực tham gia trong đẳng thức đó được lấy tùy ý. 2.2.2. Dạng toàn phương Định nghĩa: Trong không gian vectơ V n cho dạng song tuyến đối xứng ),( yxS r r . Hàm số của một vectơ P( x r )= ),( xxS r r , với mọi x r n V∈ gọi là dạng toàn phương xác định bởi dạng song tuyến tính ),( yxS r r Ngược lại: ),( yxS r r gọi là dạng đối cực của dạng toàn phương )(xP r B’ A’ H’ H B A GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Khóa Luận Tốt Nghiệp Trang 9 3.Thể hiện khái niệm cơ bản của hình học Euclide 3.1 . Mô hình xạ ảnh của không gian Euclide Ta chọn trong không gian xạ ảnh thực n chiều P n , một siêu phẳng P n–1 làm siêu phẳng vô tận. Như vậy ta được một không gian afin thực n chiều A n (như đã mô tả trong giáo trình hình học xạ ảnh). Bằng cách định nghĩa một tích vô hướng trong nền của A n thì A n trở thành một không gian Euclide. Mô hình đó của không gian Euclide được gọi là mô hình xạ ảnh của không gian Euclide. Bây giờ, ta hãy chọn không gian đó một mục tiêu trực chuẩn {} n1, i1n E;A + , tức là n1 i AE + ∗ uuuuuur j1n EA + = ij δ , i, j = 1, 2, …, n. Ta gọi { } 1n1, E;A + i là mục tiêu xạ ảnh sinh ra mục tiêu {} n1, i1n E;A + . Điều đó có nghĩa là, A i là giao điểm của đường thẳng A n+1 E i với siêu phẳng P n–1 , i = n,1 , còn E có tọa độ với mọi mục tiêu trực chuẩn {} n1, i1n E;A + là (1, 1, …, 1) tức là : ∑ = ++ = n 1i i1n1n EAEA Ta nhắc lại rằng, nếu điểm M thuộc Ε n có tọa độ đối với mục tiêu {} n1, i1n E;A + là (X 1 , X 2 , …, …, X n ) thì nó sẽ có tọa độ đối với mục tiêu xạ ảnh { } 1n1, E;A + i là (x 1 : x 2 : …: x n+1 ) với x n+1 ≠ 0 và 1n i i x x X + = , i = 1, 2, …, n. Đối với mục tiêu trực chuẩn đã chọn, hai vectơ u = (u 1 , u 2 , …, u n ), v = (v 1 , v 2 , …, v n ) sẽ có tích vô hướng là: i n 1i i vuv*u ∑ = = = [u] * . [v]. 3.2 . Cái tuyệt đối Trong không gian xạ ảnh P n với mục tiêu đã chọn { } 1n1, E;A + i nói trên, phương trình của siêu phẳng vô tận P n–1 là x n+1 = 0. Trong siêu phẳng P n–1 , ta chọn mục tiêu xạ ảnh là { } n1, E';A i , trong đó E’ là giao điểm của A n+1 E với P n–1 . Ta xét siêu mặt trái xoan không T có phương trình đối với mục tiêu đã chọn trong siêu phẳng P n–1 là: [x] * [x] = ∑ = n 1i 2 i x = 0 (1) Siêu mặt T gọi là cái tuyệt đối T của không gian xạ ảnh P n . Cái tuyệt đối trong mặt phẳng xạ ảnh là: x 1 2 + x 2 2 = 0 đó là cặp điểm I(1: i: 0), J(1:–i: 0) được gọi là cặp điểm xyclic. [...]... Hệ quả (1) Phép đồng dạng tỷ số m biến một đoạn thẳng AB thành một đoạn thẳng A’B’, sao cho d(A’,B’) = md(A,B) (2) Phép đồng dạng bất kỳ không làm thay đổi tỷ số độ dài của hai đoạn thẳng tùy ý Vậy tỷ số độ dài của hai đoạn thẳng là một đối tượng nghiên cứu của hình học giả Euclide (3) Phép dời hình không làm thay đổi độ dài đoạn thẳng 2.8.2 Phép dời trong không gian giả Euclide Ε 1 2 Trước hết ta hãy... ta chấp nhận được định đề 5 của Hình học Lobachevsky thì ta có: Tổng ba góc của một tam giác bé hơn 1800 Không tồn tại một đường thẳng nào cách đều một đường thẳng khác Nếu ba góc của một hình tứ giác là vuông thì góc thứ tư bé hơn một vuông Nếu một đường thẳng cắt một trong hai đường thẳng song song thì nó có thể không cắt đường kia Những đường thẳng song song với cùng một đường thì có thể không song... cự là một đơn ánh và tích những ánh xạ đẳng cự là ánh xạ đẳng cự nên ánh xạ đẳng cự từ một không gian giả Euclide đến chính nó là một song ánh và ánh xạ ngược cũng là một ánh xạ đẳng cự, nó được gọi là một biến đổi đẳng cự của không gian đó Như vậy ta có tập hợp các phép biến đổi đẳng cự của không gian giả Euclide lập thành một nhóm con của nhóm biến đổi afin của không gian giả Euclide 2.7 Mô hình. .. Nguyễn Thị Xuyên 1 Mẫu đĩa Poincare và hình học Lobachevsky Định đề đặc trưng của hình học Lobachevsky: Qua hai điểm tồn tại duy nhất một đường thẳng chứa nó Cho một đường thẳng bất kỳ, một đoạn với chiều dài bất kỳ có thể định nghĩa được trên nó Với một điểm bất kỳ làm tâm và với bán kính tùy ý, có thể vẽ được một đường tròn Tất cả các góc vuông đều bằng nhau Qua một điểm không nằm trên đường thẳng có... n 2.7.1 Xây dựng mô hình Trong không gian xạ ảnh Pn ta chọn một siêu phẳng Pn–1 là siêu phẳng vô tận và gọi An là không gian afin tương ứng Ta làm cho An trở thành một không gian giả Euclide Ε k bằng cách xác định một tích vô hướng thỏa mãn các tiên đề n (E*1, , E*4) Vậy ta được một mô hình Ε k gọi là mô hình xạ ảnh của không gian n k giả Euclide Ε n Gọi {A n +1 ; E i }1,n là một mục tiêu trực chuẩn... phương trình của một siêu cầu (có thể là siêu cầu điểm hoặc siêu cầu ảo) Vậy định lý được chứng minh Khóa Luận Tốt Nghiệp Trang 11 GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên Chương II HÌNH HỌC PHI EUCLIDE 1 Không gian vectơ giả Euclide 1.1 Định nghĩa Cho không gian Vn là không gian vectơ n chiều trên trường số thực, Vn được gọi là không gian vectơ giả Euclide n chiều chỉ số k uur Ký hiệu:... của nhóm L cũng biến Hn thành chính nó Mỗi phép biến đổi của L được gọi là một phép dời của Hn Hình học của nhóm L trên Hn gọi là hình học Lobachevsky n – chiều Tất nhiên mỗi phép biến đổi của nhóm L cũng biến r – phẳng của Hn thành r – phẳng của Hn, cho nên r – phẳng là đối tượng nghiên cứu của hình học Lobachevsky 3.2 Một số quy ước Ta quy ước gọi các điểm thuộc Hn là các điểm thông thường, những... mọi số thực λ và với mọi vectơ a và b r (E*4) Có n vectơ a i , i = 1, n sao cho: r r a i * a i > 0, với i ≤ k, r r a i * a i < 0, với i > k, r r a i * a j = 0, với i ≠ j Khi đó không gian An được gọi là không gian giả Euclide n chiều chỉ số k, kí hiệu Ε k n Ta có không gian giả Euclide n – chiều chỉ số n chính là không gian Euclide 2.2 Mục tiêu trực chuẩn Trong không gian giả Euclide Ε k , ta xét một. .. không gian Euclide ta có định lý sau + Định lý Một siêu mặt bậc hai trong không gian giả Euclide Ε k là một siêu cầu khi n và chỉ khi nó cắt siêu phẳng vô tận theo cái tuyệt đối T* + Mệnh đề Trong không gian giả Euclide Ε k , có một và chỉ một siêu cầu qua (n+1) n điểm độc lập Chứng minh Giả sử cho siêu cầu S(O, R) và (n + 1) điểm độc lập A1, A2, …, An+1 thuộc siêu cầu S Trong không gian giả Euclide chọn... d(O, Ai) ⇒ f là phép đồng dạng R 2.8 Phép đồng dạng trong không gian Ε k – Hình học giả Euclide n Ta ký hiệu Kn là nhóm các phép biến đổi xạ ảnh của không gian Pn và khi đó hình học xạ ảnh là hình học của nhóm Kn Nếu trong Pn ta chọn siêu phẳng Pn–1 làm siêu phẳng vô tận thì tập hợp các phép biến đổi xạ ảnh bảo tồn Pn–1 làm thành một nhóm con của Kn Nhóm này đẳng cấu với nhóm An của tất cả các phép afin . THỨC CHUẨN BỊ 6 1. Vài nét về lịch sử ra đời của Hình học phi Euclide 6 1.1 .Hình học Euclide. 6 1.2 .Về định đề 5 của Euclide 7 1.3 .Sự ra đời của Hình học phi Euclide 7 2.Kiến thức bổ. gọi là Hình học phi Euclide hay Hình học Lobachevsky. Nghiên cứu Hình học phi Euclide chúng ta s ẽ thấy được những kết quả hết sức bất ngờ và thú vị hoàn toàn trái ngược với Hình học Euclide. . Ngày nay chúng ta gọi hình học mà Lobachevsky xây dựng là hình học phi Euclide hay hình học Lobachevsky hoàn toàn trái ngược với hình học Euclide. Chẳng hạn, trong hình học của Lobachevsky: