Dạng toàn phương trong không gian thực

TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI KHOA TOÁN ĐỖ THỊ LOAN DẠNG TỒN PHƯƠNG TRONG KHƠNG GIAN THỰC KHỐ LUẬN TỐT NGHIỆP ĐẠI HỌC Chun ngành: Hình học Người hướng dẫn khoa học TH.S ĐINH THỊ KIM THUÝ HÀ NỘI, 2012 MỤC LỤC Trang LỜI MỞ ĐẦU NỘI DUNG Chương 1: Dạng tồn phương khơng gian thực 1.1 Định nghĩa dạng toàn phương 1.1.1 Ma trận biểu thức tọa độ dạng toàn phương .3 1.1.2 Biểu thức tọa độ dạng toàn phương sở khác .7 1.1.3 Định nghĩa dạng tồn phương tắc, chuẩn tắc 1.2 Hạng hạch dạng toàn phương 1.2.1 Định nghĩa hạch 1.2.2 Định nghĩa hạng 10 1.2.3 Mệnh đề 10 1.3 Luật qn tính dạng tồn phương 12 1.3.1 Định lí (Luật quán tính) 12 1.3.2 Định nghĩa số quán tính 13 1.3.3 Dạng toàn phương xác định 13 Bài tập chương 19 Chương 2: Một số phương pháp đưa dạng tồn phương dạng tắc 23 2.1 Định lí .23 2.2 Một số phương pháp đưa dạng tồn phương dạng tắc 25 2.2.1 Phương pháp Lagrange 25 2.2.2 Phương pháp biến đổi trực giao 28 2.2.3 Phương pháp Jacobi 38 Bài tập chương 43 KẾT LUẬN 49 TÀI LIỆU THAM KHẢO 50 LỜI CẢM ƠN Bài khóa luận hồn thành hướng dẫn nhiệt tình giáo Th.S Đinh Thị Kim Thúy Nhân dịp này, em xin bày tỏ lòng kính trọng biết ơn sâu sắc đến cô, người dành cho em hướng dẫn nhiệt tình, chu đáo nghiêm túc suốt trình học tập, nghiên cứu thực khóa luận Em xin gửi lời cảm ơn tới thầy cô giáo tổ Hình học thầy mơn trường ĐHSP HN2 giúp đỡ em trình học tập để thuận lợi cho việc nghiên cứu Dù cố gắng, lần làm quen với việc nghiên cứu khoa học lực có hạn nên khó tránh khỏi sai sót Em mong muốn nhận bảo, đóng góp q thầy cơ, khóa luận tốt Em xin chân thành cảm ơn! Hà Nội, tháng năm 2012 Sinh viên thực Đỗ Thị Loan LỜI CAM ĐOAN Qua thời gian nghiên cứu, giúp đỡ nhiệt tình cô giáo Th.S Đinh Thị Kim Thúy em hồn thành nội dung khóa luận Em xin cam đoan khóa luận thân nghiên cứu với hướng dẫn cô giáo Th.S Đinh Thị Kim Thúy không trùng với đề tài Nếu sai em xin chịu hoàn toàn trách nhiệm Hà Nội, tháng năm 2012 Sinh viên thực Đỗ Thị Loan LỜI MỞ ĐẦU Lý chọn đề tài Đại số tuyến tính môn học nghiên cứu không gian véctơ, ma trận, định thức, hệ phương trình tuyến tính coi môn học sở giúp học tốt mơn như: Hình Affin, Hình Euclide, Hình Xạ ảnh, Giải tích hàm… Ngồi có nhiều ứng dụng lĩnh vực khoa học khác Một phần quan trọng thiếu Đại số tuyến tính dạng tồn phương khơng gian thực Với mong muốn tìm hiểu nghiên cứu sâu mảng kiến thức này, đồng thời động viên cô giáo Th.S Đinh Thị Kim Thúy em mạnh dạn chọn đề tài “Dạng toàn phương khơng gian thực” làm đề tài khóa luận tốt nghiệp Đại học cho Đối tượng, phạm vi nghiên cứu - Đối tượng: dạng tồn phương khơng gian thực - Phạm vi: kiến thức liên quan đến dạng toàn phương Nhiệm vụ nghiên cứu Nghiên cứu dạng tồn phương Mục đích nghiên cứu Nghiên cứu dạng toàn phương để cung cấp kiến thức cho việc tiếp thu học môn hình học số mơn thuộc mơn giải tích chương trình Đại học Phương pháp nghiên cứu Nghiên cứu qua sách giáo khoa, sách tham khảo, internet tài liệu có liên quan Nội dụng khóa luận Nội dung khóa luận gồm chương: Chương 1: Dạng tồn phương khơng gian thực Chương trình bày định nghĩa dạng tồn phương, dạng tồn phương tắc, ma trận biểu thức tọa độ dạng toàn phương Những định nghĩa hạng hạch, luật quán tính dạng toàn phương Chương 2: Một số phương pháp đưa dạng tồn phương dạng tắc Chương trình bày số phương pháp đưa dạng toàn phương dạng tắc số phương pháp: Lagrange, biến đổi trực giao, Jacobi áp dụng phương pháp biến đổi trực giao để đưa đường mặt bậc hai dạng tắc NỘI DUNG Chương DẠNG TỒN PHƯƠNG TRONG KHƠNG GIAN THỰC 1.1 Định nghĩa dạng tồn phương Giả sử V khơng gian véctơ trường số thức Giả sử η: V × V → □ dạng song tuyến tính đối xứng khơng gian véctơ V Khi ánh xạ H : V → □ xác định v  H(v) = η(v, v) Được gọi dạng toàn phương V ứng với dạng song tuyến tính η Nói cách khác dạng tồn phương H : V → □ hàm số xác định không gian véctơ V có cơng thức xác định ảnh H(v) đa thức bậc tọa độ véctơ v sở  Chú ý: Nói chung, dạng tồn phương cho vơ số dạng song tuyến tính sinh Chẳng hạn, dạng song tuyến tính η(x, y) = 2xy − 3ax + 3ay, a ∈□ sinh dạng toàn phương H(x) = η(x, x) = 2x Tuy nhiên, với dạng toàn phương H(x) có dạng song tuyến tính đối xứng sinh Dạng song tuyến tính đối xứng gọi dạng cực H 1.1.1 Ma trận biểu thức tọa độ dạng toàn phương Giả sử H dạng toàn phương ứng với dạng song tuyến tính đối xứng   { η: V × V → □ , (ε) = ε1, ,εn sở V, với véctơ:  α = n ∑x i i=1   n  εi , β = ∈V ta có: ∑x jε j i=1 n n    n    (α,β) = η( ∑ x i εi , ∑ x ) η i=   i= i, j=1 n   Đặt aij = η(εi, ε j ) i, j η(α,β) = = 1, , n ∑ aijxix j   i, j=1 Định nghĩa: Ma trận A = (aij)n×n aij = η(εi, εj ) i, j = 1, , n ma trận dạng song tuyến tính đối xứng η sở (ε) V Khi A = (a ) ij n×n gọi ma trận dạng toàn phương H ứng với dạng song tuyến tính đối xứng η     Do η đối xứng nên η(εi, ε j ) = η(ε j , εi ) suy aij = a ji Suy ma trận A = ma trận có aij = nên ma trận A (a ij ) n×n a ji đối xứng n    biểu thức tọa độ H Biểu thức H(α) = η(α,α) = ∑ aijxix j i, j=1 sở (ε) Biểu thức tọa độ dạng ma trận: t H(v) = x Ax = xn )   a11  a (x1 x2 21 a12 a1n  x1  a a 22     an1 an2  x       ann  x n  2n Như việc nghiên cứu dạng toàn phương thực chất nghiên cứu ma trận sở khác nhau, hay cụ thể nghiên cứu lớp ma trận tồn đẳng Khi nói đến ma trận A dạng toàn phương ta ln hiểu A ma trận đối xứng Ngược lại, ma trận đối xứng A ma trận dạng tồn phương nh thức chính: D1 = 5, D2 = 1, D3 = • Với j=1 có 5t = ⇒ t = 11 11 5t + 2t t12 = • 0V ij= ta2có = − hệ: ⇒  2t + t 22  12 = t22 =  t − = −1   • ⇒ t 23 Với = 3 t j=3 33 ta có = hệ: 2t13 + t2 − t3 = 0 +   Vậy H có dạng tắc là: H(x) 2 = x + 5y + z  =1  e ε  51  Với  sở tắc là: ε2 = −2e221 + 5e2 12      ε3 = −e1 + 3e2 + e3  BÀI TẬP CHƯƠNG Bài 1: Tìm dạng tắc phép biến đổi tọa độ đưa dạng toàn phương sau dạng tắc Lagrange: 2 a) x1 + 5x −3 4x 1+2 2x x 3− 4x x b) x1x2 + x1x3 + x x 2 c) 2x1 + 18x +3 8x −12x x 2 3+ 8x 2x 3− 27x x Bài 2: Tìm dạng tắc dạng toàn phương sau ma trận chuyển từ sở ban đầu sở tắc đó: 2 a) 4x1 + 2x +3 2x 1−2 4x x 3+ 4x x − 3x x 2 b) −12x + − 23x −12x 212x x1 − 24x 3x + 8x x c) x1x2 + x x + x 3x + x4x1 Bài 3: Đưa dạng tồn phương sau dạng tắc biến đổi trực giao, tìm phép biến đổi ấy: 2 a) 6x1 + 5x +3 7x 1+2 4x x 3+ 4x x 2 b) 11x1 + 5x +3 2x + 2 16x 1x 3+ 4x2 x3 − 20x x 2 2 c) x1 + 2x +3 5x 1−2 6x x 3− 2x x + 2x x d) x1 + 2x + x 1+2 4x x 3+ 4x x + 4x x 2 e) 17x1 + 14x +3 14x1 − 2 4x1x3 − 4x 3x − 8x x Bài 4: Cho dạng toàn phương H : □ → □ xác định 2 H(x, y, z) = x + y + z + 4xy + 4xz + 4yz Tìm sở {v1, v2 , v 3} sở có dạng tắc □ cho biểu thức tọa độ H Bài 5: Cho dạng toàn phương H : □ → □ có ma trận sở tắc là:  17 −2 A  = −2 14   −2 −4  −2  −4 Tìm sở e2 ,e3} {e1, cho sở  14  dạng tồn phương H có dạng tắc Bài 6: Hai dạng tồn phương sau có tương đương trường số thực khơng 2 2 2 H1 =1 x +2 4x + x1 2+ 4x x − 2x x H2 = y +2 2y − y1 2+ 4y1 y3 − 22y3 y − 4y y Bài 7: Hãy đưa phương trình đường bậc hai sau dạng tắc nó, tìm tên đường: 2 2 a) 32x + 52xy − 7y + 180 = b) 19x + 6xy + 11y + 38x + 6y + 29 = 2 c) 4x + 12xy + 9y − x − y + = 2 2 d) 17x + 12xy + 8y = e) 19x + 6xy + 11y + 38x + 6y −1 = 2 f) 4x + 12xy + 9y − 4x − 4y + = Bài 8: Đưa phương trình mặt bậc hai sau dạng tắc: 2 a) 8x + 5y + 5z − 4xy − 4xz − 8yz − 3x − 6y − 6z = 2 b) 7x + y + z − 8xy − 8xz −16yz = Bài 9: Hãy xác định sở trực chuẩn không gian Euclide □ sở tắc dạng tồn phương H, viết dạng tắc H ứng với sở tắc 2 a) H(u) = 6x + 5y + 7z + 4xy + 4yz 2 b) H(u) = 11x + 5y + 2z + 16xy + 4xz − 20yz 2 2 c) H(u) = x + y + 5z − 6xy − 2xz + 2yz d) H(u) = x + y + z + 4xy + 4xz + 4yz Trong u = (x, y, z) Hướng dẫn  x = t Bài 1: a) t1 +2 t − t − t + t  1 2  1  với phép biến đổi tọa độ:  x2 = − t  t  21 x = t  3  3 x = y1 + y2 + y3  b) t − t − t , với phép biến đổi tọa độ: x = y + y  2 − y3  x3 = y3 2  c) 2 t1 + t − t3 , với phép biến đổi tọa độ: Bài 2: a) x + y −z ; 1    A =  01    −1     x = t − 3t +    1 2 − 3 t2 y3 3 + 3 x =   x y2 =  + y3 t b) x + y −z ;  −3 −1   6  A = −1 0 2    1     1 −1 −1    − c ) A=  x  − y 0 0  0   1 1   B 2 i t + t − t , với ma trận chuyển sở:  : 1 a )    1    −3 −1 b) 22  t1 + t − t3 , với  2  − 1  m a  trận chuyển sở:     = ( ,    22 −1 −    1 t1 − t , với ma trận chuyển sở: 0   1 Bài 4: Bài 5: e1 = ( , , 3 ), e2 = (0, , 1 1 −2 ),e3 = ,2 ( 18 , 18 ) −1  Bài 6: H1 có ma trận A =    −1   1 H2 có  ma trận 0B = 2   −1 −2  Đưa hai dạng   −1 1  1 −1 −1  c) , ), v =, 0), ( v , = 2( )3 3, ,3 6 −4 2 −1   −2   −1  tồn phương tắc, tương đương số quán tính Bài 7: 2 a) Y − X = , đường Hypebol 2 b) 10X + 20Y + 10 = , đường elip ảo c) Y = , X tùy ý, đường thẳng 2 d) 5X + 20Y = , suy biến điểm 2 e)+ Y = 1, đường elip f) Y = 2X , đường parabol Bài 8: eliptic 2 a) X + Y = Z, mặt paraboloit 2 b) X + Y = Z , mặt nón Bài 9: Đối với dạng tồn phương H khơng n gian véctơ Euclide □ nế u n biểu thức tọa độ H sở tắc{e1, ,en} H(u) aijxix =j ∑ i, j=n Thì sở trực □ sở tắc dạng chuẩn củan toàn phương H A gồm véctơ riêng hệ số = aij tắc ma trận giá trị ( ) a) n× n riêng ma trận A 2  e = ( , , )   3 2 2 −1 2 H(u e = ( ) =, , ) 3 3x + 6x + 9x ;  = ( −1 , , )  3 3  =1 ( 2e − ,2 , )   b )   e  3 2 −1 2  H(ue = (  ) = , , 3 9x3 ) + 18x 9x ;  −1 =2 ( , , )  e  3 3  e = (  , −1 ,  ) 3 1 2 c)  −2 He = ( , ( , u) ) = x + x − x ;  e = ( , , 0)    e = ( , , )   3 d) −2 2  H(u) e = ( , = 5x , ) − x2 − x3 ;  −1 , 0) e= ( ,  2  6 KẾT LUẬN Đề tài khóa luận tốt nghiệp “Dạng tồn phương khơng gian thực” nghiên cứu tìm hiểu số định nghĩa, định lí dạng tồn phương, số phương pháp đưa dạng tồn phương dạng tắc Do thời gian hồn thành khóa luận hạn chế, lực có hạn kinh nghiệm chưa nhiều nên khóa luận có đạt số kết định khó tránh khỏi sai sót Vì vậy, em mong muốn nhận giúp đỡ góp ý q thấy giáo để khóa luận em hoàn thiện Em xin chân thành cảm ơn! TÀI LIỆU THAM KHẢO Phan Hồng Trường, Hà Nội – 2001, Giáo trình đại số tuyến tính Nguyễn Duy Thuận, Đại số tuyến tính, Nxb Đại học Sư phạm Lê Bá Long, Nguyễn Phi Nga, 2006, Bài giảng Toán cao cấp A2 Trần Trọng Huệ, Nxb Đại học Quốc gia Hà Nội, 2004, Giáo trình Đại số tuyến tính Hình học giải tích, tập Nguyễn Văn Mậu - Đặng Huy Ruận - Nguyễn Thủy Thanh - Nguyễn Minh Tuấn, Đại số tuyến tính Hình học giải tích, Nxb Đại học Quốc gia Hà Nội Trần Văn Hạo, Đại số cao cấp, tập 1, Nxb Giáo Dục, 1997 Lương Hữu Thanh, Hà Nội – 1998, Hướng dẫn giải tập Đại số tuyến tính 10 ... Chương 1: Dạng toàn phương không gian thực 1.1 Định nghĩa dạng toàn phương 1.1.1 Ma trận biểu thức tọa độ dạng toàn phương .3 1.1.2 Biểu thức tọa độ dạng toàn phương sở khác... Dạng tồn phương khơng gian thực Chương trình bày định nghĩa dạng tồn phương, dạng tồn phương tắc, ma trận biểu thức tọa độ dạng toàn phương Những định nghĩa hạng hạch, luật qn tính dạng tồn phương. .. âm dạng tồn phương Giả sử (p, q) cặp số quán tính dương âm dạng tồn phương H khơng gian n chiều V thì: p + q = r(H) 1.3.3 Dạng toàn phương xác định 1.3.3.1 Định nghĩa Dạng toàn phương H không gian