Lúc đầu tôi định để bài này chung với bài viết Hiểu về giới hạn, tuy nhiên thấy nó quá dài nên tôi quyết định viết thành một bài riêng. Mục tiêu là đi tìm động cơ hình thành ý tưởng và khái niệm về giới hạn mà chúng ta vẫn học và dùng ngày nay.
Ở đây tôi sẽ không đi vào phân tích lịch sử hình thành giới hạn mà chủ yếu mượn nó để nói đến động cơ của việc hình thành ý tưởng giới hạn mà thôi. Đối tượng độc giả tôi hướng tới là các bạn học sinh THPT, những người đang chưa biết gì về giới hạn và vẫn còn hoài nghi về giới hạn chứ không phải là những người đã biết về nó và kiểm chứng lại nó.
Nghịch lý Zeno
Đầu tiên phải kể đến nhà triết học người Hy Lạp Zeno xứ Elea (496/490-430/429TCN). Vào thế kỷ thứ 5 TCN, ông đưa ra rất nhiều nghịch lý mà chính ông cũng không thể giải thích nổi, người ta gọi chúng là những nghịch lý của vô hạn (Paradoxes of the infinite). Xem mục Zeno’s Paradox trong quyển sách lịch sử Toán học của David Burton [1]. Điển hình trong số chúng là cuộc chạy đua giữa dũng sĩ Achille và một con rùa.
Achille chạy đua cùng rùa
Một ngày nọ, dũng sỹ Achille tham gia một cuộc đua với một chú rùa. Chú rùa xuất phát ở một vị trí cách xa Achille và cả hai cùng chạy trên một đường thẳng. Khi Achille chạy được đến chỗ rùa thì rõ ràng rùa cũng đã chạy được một quãng nữa. Do tốc độ giữa rùa và Achille chênh lệch nên khoảng cách giữa Achille và rùa sẽ ngắn lại nhưng Achille vẫn ở sau rùa. Tiếp tục, Achille lại chạy đến chỗ mà rùa ở khi nãy tuy nhiên đồng thời với Achille chạy, rùa cũng chạy được thêm một quãng nhỏ nữa, thế là Achille lại tiếp tục ở phía sau rùa dù khoảng cách đã được rút ngắn hơn. Cứ thế, Achille chạy đến chỗ rùa thì rùa lại chạy xa thêm một tí, mãi mãi Achille vẫn cứ ở sau rùa dù rằng khoảng cách có ngắn lại. Vậy hóa ra Achille sẽ không bao giờ đuổi kịp rùa? Thực tế đã chứng minh điều đó là không thể và dẫn đến nghịch lý nổi tiếng Zeno.
Ông nào biết rằng hơn 1600 năm sau, ý tưởng về giới hạn ra đời và chính nó có thể giải thích được điều mà ông đã hằn trăn trở. Chúng ta sẽ quay lại giải thích nghịch lý này bằng giới hạn của dãy số sau nhé. Cơ sở của cách giải quyết nghịch lý Achille và rùa chính là khoảng cách giữa Achille và rùa ngày càng rút ngắn lại, khi số lần Achille chạy đến địa điểm cũ của rùa tăng lên vô hạn lần thì cũng chính là lúc khoảng cách giữa Achille và rùa tiến về 0 và Achille có thể đuổi kịp rùa. (“Vô hạn” là gì nhỉ? OK, tôi sẽ viết bài khác nói về nó)
Một nghịch lý khác, cũng tương tự như nghịch lý Achille và rùa chính là Nghịch lý mũi tên không trúng đích. Mũi têm muốn đến đích thì nó bắt buộc phải đi qua điểm giữa, rồi để đến được điểm giữa nó phải đi qua một điểm giữa khác và cứ thế… Thời gian mà mũi tên phải trải qua là dài vô tận.
Mũi tên không bao giờ trúng đích
Sai lầm của Zeno là ông đã cứ nghĩ rằng tổng của vô hạn các phần tử hữu hạn là một con số vô hạn. Tuy nhiên Aristotle và Archimedes đã chứng minh điều này là sai khi các ông đã tìm được giá trị cụ thể của tổng vô hạn này mà sau này ta học đó chính là tổng của một chuỗi vô hạn. Xem điều này ở mục Sum of series trong quyển sách lịch sử Toán học của Victor J. Katz [2].
Đại lượng vô cùng nhỏ
Ở cả hai nghịch lý của Zeno, vấn đề đều phát sinh từ việc lấy tổng của vô hạn các phần tử mà kích thước của các phần tử này lại trở nên nhỏ dần đến một lượng gọi là vô cùng nhỏ [3]. Đây là một đại lượng có thể hiểu là nhỏ hơn bất cứ thứ gì trong thế giới này nhưng vẫn tồn tại. Trong thế giới các con số, nó là đại lượng nhỏ hơn bất cứ số dương nào có thể nhỏ được nhưng lại khác 0. Hơi trừu tượng nhỉ? Nếu bạn muốn biết rõ hơn về lịch sử hình thành đại lượng đặc biệt này, hãy đọc bài viết Lược sử về đại lượng vô cùng nhỏ (infinitesimal). Còn để hiểu một cách trực quan về nó, hãy đọc bài viết tiếp theo của tôi về Hiểu giới hạn.
Fermat đi tìm hệ số góc của tiếp tuyến
Trong chương trình phổ thông, chúng ta học về “đạo hàm” sau khi đã học về “giới hạn” [4]. Điều đó là vì trong sách thì đạo hàm được định nghĩa thông qua giới hạn. Tuy nhiên trong lịch sử hình thành của giới hạn lẫn đạo hàm thì đạo hàm lại xuất hiện trước cả giới hạn. Bạn sẽ thấy kỳ lạ ư? Tại sao đạo hàm dựa vào giới hạn mà lại xuất hiện trước được? Vâng, bởi vì khi người ta nghĩ tới đạo hàm, họ dùng một công cụ khác, đó chính là đại lượng vô cùng nhỏ. Người đầu tiên dùng cái này là nhà toán học người Pháp Pierre de Fermat (1601-1665), khi ông cố gắng tìm ra hệ số góc của tiếp tuyến một hàm số tại một điểm bất kỳ nằm trên đồ thị hàm số ấy. Điều thú vị là khi ông dùng nó, ông không ý thức được nó là gì, ông chỉ xem nó như là một công cụ giải quyết vấn đề mà thôi. Phương pháp ông đưa ra được gọi là Phương pháp bất bình đẳng Fermat (Fermat’s Method of Adequality). Xem mục Tangent and extrema (Tiếp tuyến và cực trị) trong sách lịch sử Toán học của Victor J. Katz [2] để biết thêm.
Tôi đã nói rõ về kỹ thuật này của Fermat trong bài viết Tại sao tiếp tuyến đồ thị hàm số lại liên quan đến đạo hàm bậc nhất?, ở đây tôi sẽ nói lại ý tưởng chính.
Xem lý luận của Fermat
Phương pháp của Fermat dựa nhiều vào lượng vô cùng nhỏ (infinitesimal) nhưng thật ra nó có hơi hướng của việc ứng dụng giới hạn vào trong đó. Vẫn còn có sự tranh cãi về đại lượng vô cùng nhỏ này vì nó không thuộc vào hệ thống số mà các nhà toán học đã từng biết đến. Tuy nhiên phương pháp của Fermat là hợp lý và kết quả mà nó mang lại là đẹp và không sai, do đó ông vẫn rất tự tin vào nó khi nói rằng “Hiếm có phương pháp nào tổng quát hơn” [2] nhưng thực ra ông đã lầm.
Xem nếu muốn biết tại sao kết quả của Fermat đúng
Newton và Leibniz
Phương pháp của Fermat tuy còn mơ hồ nhưng vẫn tiếp tục được sử dụng vì nó đóng vai trò quan trọng trong việc hình thành phương pháp tính đạo hàm. Nổi bậc trong số các nhà Toán học thời đại “sau Fermat” và cũng là thời đại thịnh vượng của Calculus chính là Newton và Leibniz. Cả hai ông đều đồng thời tìm ra những ý tưởng quan trọng đầu tiên về vi phân và tích phân. Hai cái tên này trong tác phẩm của Newton lần lượt là fluxion và fluent, còn của Leibniz lần lượt là differential và integral. Ngày nay chúng ta chọn cách đặt tên của Leibniz để nói về vi phân và tích phân.
Xem chuyện vui về Newton và Leibniz
Vào ngày 24/10/1676, Newton gởi lá thư thứ hai (và cũng là cuối cùng) của mình cho Leibniz để thông báo về các thành quả mà mình tìm được về vi phân và tích phân. Tuy nhiên ông sợ bị lộ mánh nên đã cố tình xáo trộn các chữ cái ở một câu kết quả quan trọng. Tuy nhiên Leibniz đã dịch được chúng và hiểu rằng Newton đang nói tới vi phân và tích phân, thứ mà mình cũng đã tìm ra rồi. Thế là ông quyết định viết thư hồi âm cho Newton và nói tường tận các kết quả nghiên cứu của mình để hy vọng hai người có thể hợp tác làm việc tiếp. Có lẽ vì bị bẽ bàng nên Newton đã không bao giờ hồi âm lại bức thư ấy.
Newton “chạm” đến khái niệm giới hạn khi làm việc với những đại lượng vô cùng nhỏ. Vấn đề ông nghiên cứu là về chuyển động. Ông cố gắng tìm vận tốc tức thời của một vật tại một điểm bất kỳ. Thường thì vận tốc được tính bằng quãng đường chia cho thời gian, Newton tự hỏi khi chúng ta xét hai khoảng thời gian kế cận nhau, cực nhỏ, nhỏ như ý tưởng của các đại lượng vô cùng bé thì vận tốc tại điểm đang xét là bao nhiêu?
Bạn có biết, ký hiệu , vốn để chỉ đạo hàm theo biến thời gian là ký hiệu được sáng tạo bởi Newton?
Tuy ông không chính thức định nghĩa giới hạn dưới dạng ε−δε−δ như ngày nay chúng ta vẫn học nhưng vô tình ông đã sử dụng ý tưởng về chúng trong cách giải thích về giới hạn của mình. Ông cũng là người đầu tiên đề xướng thuật ngữ “giới hạn”, xuất phát từ chữ Latin “Limes” có nghĩa là “bờ, mép, biên giới”.
Định nghĩa đầy đủ của giới hạn
Nhà Toán học người Pháp Augustin-Louis Cauchy (1789-1857) là người đã đưa ra định nghĩa về giới hạn, tuy nhiên ông định nghĩa dựa trên các đại lượng biến thiên (variable quantity). Ông không dùng khái niệm về nhưng vô tình trong các chứng minh toán học của mình, ông lại sử dụng đến chúng[^2]. Ông định nghia sự liên tục của hàm số bằng cách mô tả sự thay đổi vô cùng nhỏ của là cần thiết để sinh ra sự thay đổi vô cùng nhỏ của trong giáo trình giải tích của ông (Cours d’analyse).
Bạn có biết, Cauchy là người đầu tiên có công phát triển ngành giải tích phức? Ngành học áp dụng giới hạn và các phương pháp tính của số thực lên các hàm số với biến phức.
Mãi đến sau này, hai nhà Toán học Bernard Bolzano (1781-1848) và Karl Weierstrass (1815-1897) mới đưa ra định nghĩa chính thức về giới hạn dưới hình thức mà chúng ta vẫn sử dụng cho đến ngày nay. Có nhiều người tranh cãi rằng hai ông này nhờ ý tưởng của Cauchy mới định nghĩa được như vậy. Bolzano định nghĩa nó nhưng ông không công bố nó lúc còn sống, mãi sau này Weierstrass cũng tìm ra ý niệm tương tự nên xem như cả hai ông đều có công tìm ra định nghĩa này.
Kết
Vậy là chúng ta đã có một cái nhìn bao quát về quá trình lịch sử của việc hình thành khái niệm giới hạn. Từ chỗ ý nghĩ điên rồ của Zeno về các nghịch lý, đến việc hình thành các ý niệm về các đại lượng vô cùng nhỏ. Rồi việc dùng các đại lượng ấy trong việc tìm hệ số góc của tiếp tuyến đường cong của Fermat hay tìm vận tốc tức thời của Newton mà ngành toán học về các phép tính vi phân và tích phân ra đời. Định nghĩa của giới hạn cũng trưởng thành và ổn định từ đấy bởi Cauchy, Bolzano và Weierstrass.
Một quá trình rất dài như vậy, các nhà Toán học với những bộ óc khó có ai sánh kịp mới có thể hiểu và hình thành nên khái niệm giới hạn thì chúng ta, những người rất bình thường và không thông minh bằng, tiếp nhận nó một cách rất khiêng cưỡng và khó chịu. Ở bài viết tiếp theo, tôi sẽ cùng bạn hiểu về giới hạn một cách tường minh và gần gũi nhất.
Bài này tôi đã đăng trên trang Tôi Tự Học.
Tài liệu tham khảo
[1] David M. Burton. The history of mathematics: an introduction. Seventh edition. McGrawHill.
[2] Victor J. Katz. A history of mathematics. An introduction. 3rd edition. Addison-Wesley.
[3] Senior topic 3a. Australian Mathematical Sciences Institute (AMSI).
[4] Sách Đại số và Giải tích lớp 11, NXB Giáo Dục năm 2000.
Nguồn
