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 đề.
49 trang |
Chia sẻ: vietpd | Lượt xem: 3740 | Lượt tải: 1
Bạn đang xem trước 20 trang tài liệu Luận văn Một số tìm hiểu về hình học phi Euclide, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
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ả knΕ ...........................................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 knΕ – 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 knΕ . ........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 Hn. .......................................33
3.6. Khoảng cách giữa hai điểm trong Hn ..............................................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
Vn: không gian vectơ thực n- chiều
An: không gian afin thực n- chiều
Pn: 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
nE : không gian giả Euclide n- chiều chỉ số k
⊕ : Tổng trực tiếp
f
r
: kn
uuur
E → kn
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
H2: không gian Lobachevsky 2- chiều
Pr: r- phẳng xạ ảnh
Hr: 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
1800, 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ơ Vn là
một hàm số S( yx rr, ) của hai vectơ xác định trên toàn bộ Vn và có tính chất tuyến
tính đối với từng vectơ, tức là:
⎩⎨
⎧
+=+
+=+
),(),(),(
),(),(),(
22112211
22112211
yxSyxSyyxS
yxSyxSyxxS
rrrrrrr
rrrrrrr
λµµµ
λλλλ
(1)
Hay một cách tổng quát:
1122112211 ),( µλµµλλ =++ yyxxS rrrr )y,x(S 11 rr + 1λ 2µ )y,x(S 21 rr + 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ơ Vn cho dạng song tuyến đối
xứng ),( yxS rr . Hàm số của một vectơ P( xr )= ),( xxS rr , với mọi xr nV∈ gọi là dạng
toàn phương xác định bởi dạng song tuyến tính ),( yxS rr
Ngược lại: ),( yxS rr 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 Pn, một siêu phẳng Pn–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 An (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 An thì An 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à n 1 iA E+ ∗
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à, Ai là giao điểm của đường
thẳng An+1Ei với siêu phẳng Pn–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à (X1, X2, …, …, Xn) thì nó sẽ có tọa độ đối với mục tiêu xạ ảnh
{ }
1n1,
E;A +i là (x1: x2: …: xn+1) với xn+1 ≠ 0 và
1n
i
i x
xX
+
= , i = 1, 2, …, n.
Đối với mục tiêu trực chuẩn đã chọn, hai vectơ u = (u1, u2, …, un),
v = (v1, v2, …, vn) 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 Pn 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 Pn–1 là xn+1 = 0.
Trong siêu phẳng Pn–1, ta chọn mục tiêu xạ ảnh là{ } n1,E';Ai , trong đó E’ là
giao điểm của An+1E với Pn–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 Pn–1 là: [x]*[x] = ∑
=
n
1i
2
ix = 0 (1)
Siêu mặt T gọi là cái tuyệt đối T của không gian xạ ảnh Pn .
Cái tuyệt đối trong mặt phẳng xạ ảnh là: x12 + x22 = 0 đó là cặp điểm
I(1: i: 0), J(1:–i: 0) được gọi là cặp điểm xyclic.
GVHD: Th.s Phạm Thị Thu Hoa SVTH: Nguyễn Thị Xuyên
Khóa Luận Tốt Nghiệp Trang 10
3.3. Khái niệm vuông góc của hai đường thẳng
Định lý: Điều kiện cần và đủ để hai đường thẳng d và d’ vuông góc với
nhau là hai điểm vô tận của chúng liên hợp đối với cái tuyệt đối T.
Chứng minh
Ta dựng qua gốc An+1 của mục tiêu{ } n1,i1n E;A + hai đường thẳng d1 và d1’,
lần lượt song song với d và d’. Trên d1 và d1’ lần lượt lấy hai điểm X và X’