*Lịch sử hình thành khái niệm số phức.
Lịch sử số phức bắt đầu từ thế kỉ thứ XVI. Đó là thời kì Phục hưng của toán học châu Âu sau đêm trường trung cổ. Các đại lượng ảo −1, b −1, a b+ −1 xuất hiện đầu tiên từ thế kỉ XVI trong các công trình của của các nhà toán học Italy “Nghệ thuật vĩ đại hay là về các quy tắc của đại số” (1545) của G. Cardano (1501 – 1576) và “Đại số” (1572) của R.
Bombelli (1530 – 1572). Nhà toán học Đức Felix Klein (1849 – 1925) đã đánh giá công trình của G. Cardano như sau: “Tác phẩm quý giá đến tột đỉnh này đã chứa đựng mầm mống của đại số hiện đại và nó vượt xa tầm của toán học thời cổ đại”.
Khi giải phương trình bậc hai Cardano và Bombelli đã đưa vào xét kí hiệu −1 là lời giải hình thức của phương trình x2 + =1 0.
Xét biểu thức b −1là nghiệm hình thức của phương trình x2 + =b2 0. Khi đó biểu thức tổng quát hơn có dạng a b+ −1,b≠0có thể xem là nghiệm hình thức của phương trình
2 2
(x a− ) +b =0.
Về sau biểu thức dạng a b+ −1,b≠0 xuất hiện trong quá trình giải phương trình bậc hai, bậc ba (công thức Cardano) được gọi là đại lượng “ảo” và sau đó được Gauss gọi là số phức và thường được kí hiệu là a ib+ , trong đó kí hiệu i:= −1 được L.Euler đưa vào (năm 1777) gọi là đơn vị “ảo”.
Quá trình thừa nhận số phức như một công cụ quý giá của toán học đã diễn ra rất chậm chạp. Ngay tên gọi và kí hiệu i:= −1 là đơn vị ảo cũng đã gây nên nhiều nỗi băn khoăn, thắc mắc từ đó dẫn đến khủng hoảng niềm tin vì nó không có gì chung với số - một công cụ của phép đếm, mặc dù người ta vẫn xem nó là một kí hiệu trừu tượng thỏa mãn định nghĩa i2 = −1.
Sự khủng hoảng niềm tin càng trở nên sâu sắc hơn bởi việc chuyển một cách thiếu cân nhắc và thiếu thận trọng một số quy tắc của đại số thông thường cho các số phức đã sản sinh ra những nghịch lí khó chịu. Chẳng hạn như nghịch lí sau đây: vì i= −1 nên i2 = −1,
Cung cấp bởi 123cbook.com
–
nhưng đồng thời bằng cách sử dụng các quy tắc thông thường của phép toán khai căn bậc hai lại thu được
2 1 1 ( 1)( 1) ( 1)2 1 1
i = − − = − − = − = = Như vậy 1 1− = .
Ta nhấn mạnh lại rằng hệ thức i2 = −1 là định nghĩa số mới i cho phép ta đưa vào xét số phức. Điều đó có nghĩa rằng hệ thức đó không thể chứng minh, nó chỉ là quy ước.
Tuy vậy, cũng có người muốn chứng minh hệ thức đó. Trong cuốn sách “phương pháp tọa độ” của mình, viện sĩ L.S. Pointriagin đã mô tả lại chứng minh đó như sau:
Đầu tiên người ta lấy nửa đường tròn với đường kính AB. Từ điểm R tùy ý của nửa đường tròn hạ đường vuông góc RS là trung bình nhân giữa các độ dài của các đoạn AS và SB. Vì nói đến độ dài nên sẽ không sai sót lớn khi nói rằng bình phương đoạn RS bằng tích các đoạn thẳng AS và BS. Bây giờ, trở về với mặt phẳng phức, kí hiệu điểm -1 là A, điểm +1 là B và điểm i là R. Khi đó S sẽ là điểm 0. Tác giả của phép chứng minh đã lập luận như sau:
Đoạn thẳng RS là i, đoạn thẳng AS là -1 và SB là +1. Như vậy theo định lí vừa nhắc lại ở trên ta có
2 ( 1)( 1) 1 i = − + = −
Thật đáng tiếc là phép chứng minh kì lạ này vẫn được viết trong sách và giảng dạy ở một số trường phổ thông trước thế chiến thứ II.
Lịch sử toán học cũng ghi lại rằng Cardano cũng đã nhắc đến các nghiệm phức nhưng lại gọi chúng là các nghiệm “ngụy biện”. Chẳng hạn khi giải hệ phương trình
10 50 x y xy
+ =
=
Cardano đã tìm được nghiệm 5± −5 và ông đã gọi nghiệm này là “âm thuần túy” và thậm chí còn gọi là “nghiệm âm ngụy biện”.
Có lẽ tên gọi “ảo” là di sản vĩnh cửu của “một thời ngây thơ đáng trân trọng của số học”.
Thậm chí đối với nhiều nhà bác học lớn thế kỉ XVIII bản chất đại số và bản chất hình học của cỏc đại lượng ảo khụng được hỡnh dung một cỏch rừ ràng mà cũn đầy bớ ẩn. Chẳng Liên hệ bộ môn: bmtoan.123cbook@gmail.com
Cung cấp bởi 123cbook.com
–
hạn, lịch sử cũng ghi lại rằng I. Newton đã không thừa nhận cá đại lượng ảo và không xem các đại lượng ảo thuộc vào các khái niệm số, còn G. Leibniz thì thốt lên rằng: “Các đại lượng ảo – đó là nơi ẩn náu đẹp đẽ huyền diệu đối với tinh thần của đấng tối cao, đó dường như một giống lưỡng cư sống ở một chốn nào đó giữa cái có thật và cái không có thật”.
Người đầu tiên nhìn thấy lợi ích do đưa số phức vào toán học mang lại chính là nhà toán học Italy R. Bombelli. Trong cuốn “Đại số” (1572) ông đã định nghĩa các phép tính số học trên các đại lượng ảo và do đó ông đã sáng tạo nên lí thuyết các số “ảo”.
Thuật ngữ số phức được dùng đầu tiên bởi K. Gauss (năm 1831). Vào thế kỉ XVII – XVIII nhiều nhà toán học khác cũng đã nghiên cứu các tính chất của đại lượng ảo (số phức) và khảo sát các ứng dụng của chúng. Chẳng hạn L. Euler (1777 – 1855) nhà toán học Đức mở rộng khái niệm logarit cho số phức bất kì (1738), còn A. Moivre (1667 – 1754) nhà toán học Anh nghiên cứu và giải bài toán căn bậc tự nhiên đối với số phức (1736).
Sự nghi ngờ đối với số ảo (số phức) chỉ tiêu tan khi nhà toán học người Nauy là C.Wessel đưa ra sự minh họa hình học về số phức và các phép toán trên chúng trong công trình công bố năm 1799. Đôi khi phép biểu diễn minh họa số phức cũng được gọi là “sơ đố Argand” để ghi nhận công lao của nhà toán học Thụy Sỹ R. Argand – người thu được kết quả như của Wessel một cách độc lập.
Lí thuyết thuần túy số học đối với các số phức với tư cách là các cặp số thực có thứ tự (a,b), a R b R∈ , ∈ được xây dựng bởi nhà toán học Ailen là W.Hamilton (1837). Ở đây đơn vị “ảo” ichỉ đơn giản là một cặp số thực có thứ tự - cặp (0;1), tức là đơn vị “ảo” được lí giải một cách hiện thực.
Cho đến thế kỉ thứ XIX, Gauss mới thành công trong việc luận chứng một cách vững chắc khái niệm số phức. Tên tuổi của Gauss cũng gắn liền với phép chứng minh chính xác đầu tiên đối với định lí cơ bản của Đại số khẳng định rằng trong trường số phức C mọi phương trình đa thức đều có nghiệm.
Bản chất đại số của số phức thể hiện ở chỗ số phức là phần tử của trường mở rộng (đại số) C của trường số thực R thu được bằng phép ghép đại số cho R nghiệm i của phương trình
2 1 0
x + = .
Cung cấp bởi 123cbook.com
–
Với định lí cơ bản của Đại số, Gauss đã chứng minh được trường C trở thành trường đóng đại số. Điều đó có nghĩa là khi xét các nghiệm của phương trình đại số trong trường này ta không thu được thêm số mới. Đương nhiên trường số thực R (và do đó cả trường hữu tỉ Q) không có tính chất đóng đại số. Chẳng hạn, phương trình với hệ số thực có thể không có nghiệm thực.
Nhìn lại hơn 2500 năm từ thời Pythagor tới giờ, con đường phát triển khái niệm về số có thể tóm tắt bởi N → → → →Z Q R C với các bao hàm thức:
N ⊂ ⊂ ⊂ ⊂Z Q R C.
Bằng các kết quả sâu sắc trong các công trình của các nhà toán học K.Weierstrass, G.Frobenius, B.Peirce người ta mới nhận ra rằng mọi cố gắng mở rộng tập số phức theo con đường trên đều không có kết quả khả quan. K.Weierstrass đã chứng minh tập hợp số phức C không thể mở rộng thành tập hợp rộng hơn bằng cách ghép thêm số mới để trong tập hợp số rộng hơn thu được vẫn bảo toàn mọi phép tính và mọi quy luật của các phép toán đã đúng trong tập hợp số phức.
Nhìn lại lịch sử lâu dài của sự phát triển khái niệm số ta thấy rằng cứ mỗi lần khi đưa vào những số mới các nhà toán học cũng đồng thời đưa vào các quy tgawcs thực hiện các phép toán trên chúng. Đồng thời với điều đó các nhà Toán học luôn luôn cố gắng bảo toàn các quy luật số học cơ bản (luật giao hoán của phép cộng và phép nhân, luật kết hợp và luật phân bố, luật sắp xếp tuyến tính của tập hợp số). Tuy nhiên sự bảo toàn đó không phải khi nào cũng thực hiện được, ví dụ như khi xây dựng trường số phức người ta không bảo toàn được luật sắp xếp tuyến tính vốn có trong trường số thực.
Tổng kết lịch sử toàn bộ quá trình phát triển khái niệm số, nhà toán học Đức L.Kronecker (1823 - 1891) đã viết:
“Thượng đế đã tạo ra số tự nhiên, còn tất cả các loại số còn lại đều là công trình sáng tạo của con người”
Có thể nói rằng với khẳng định bất hủ này, L.Kronecker đã xác định nền móng vững chắc cho tòa lâu đài toán học tráng lệ , mà con người đang sở hữu.
Liên hệ bộ môn: bmtoan.123cbook@gmail.com
Cung cấp bởi 123cbook.com
–
*Khái niệm số phức
Ta biết rằng trường số thực ¡ nhận được bằng cách làm “đầy” trường số hữu tỉ
¤ , mà nó được xây dựng từ vành số nguyên ¢ . Việc làm đầy xuất phát từ sự nghiên cứu các phương trình đại số với hệ số hữu tỉ và giới hạn của các dãy số hữu tỉ. Tuy nhiên trường
¡ vẫn không đầy đủ, bởi vì ngay cả phương trình đơn giản
2 1 0 (1)
x + =
cũng không có nghiệm trong ¡ . Còn trong giải tích nếu chỉ giới hạn trong ¡ , người ta không thể giải thích được tại sao hàm ( ) 1 2
f x 1
= x
+ không thể khai triển được thành chuỗi lũy thừa trên toàn bộ đường thẳng.
Với lí do trên, buộc ta phải tìm kiếm trường K nào đó chứa ¡ như một trường con sao cho tối thiểu phương trình (1) có nghiệm. Ở đây ta nói ¡ là trường con của K nếu các phép toán trên ¡ được cảm sinh bởi các phép toán trên K.
*Xây dựng trường số phức
Giả sử trường £ chứa ¡ như một trường con mà phương trình x2 + =1 0 có nghiệm trong nó, khi đó £ phải có một phần tử i để i2 = −1. Vì ¡ ⊂£ nên £ chứa tất cả các phần tử dạng a ib a b+ , , ∈¡ . Do đó, một cách tự nhiên ta xét tập £ các cặp số thực (a,b): £ ={( , ) : ,a b a b∈¡ }.
Sau đó đưa vào quan hệ bằng nhau và các phép toán sao cho với chúng £ trở thành một trường chứa ¡ như một trường con (qua phép đồng nhất nào đó). Các phép toán náy được dẫn dắt từ các phép toán của trường ¡ với chú ý i2 = −1
i) Quan hệ bằng nhau: ( , ) ( , )a b = c d ⇔ =a c b d, = ii) Phép cộng: ( , ) ( , ) (a b + c d = +a c b d, + )
iii) Phép nhân: ( , ).( , ) (a b c d = ac bd ad bc− , + )
Tập hợp £ với quan hệ bằng nhau, các phép cộng và nhân xác định như trên lập thành một trường thỏa mãn các điều kiện sau:
1) ¡ chứa trong £ như một trường con (qua đồng nhất a∈¡ với ( ,0)a ∈£ ) 2) Tồn tại nghiệm của phương trình x2 + =1 0 trong £ .
Cung cấp bởi 123cbook.com