Lịch sử: Đại số và Các loại đại số
1. Hình học đã được phát triển ở hình thức tiên đề, còn Số học và Đại số thì không. Tại sao vậy?
Nguyên nhân nằm ở nguồn gốc của chúng. Hình học đã được phát triển bởi người Ai Cập, là kết quả đo đạc đất đai của họ. Vào thế kỉ thứ 7 trước Công nguyên, hình học đã lan truyền từ Ai Cập sang Hi Lạp, nơi nó dần dần phát triển thành một lí thuyết toán học.
Như vậy, hình học là một lí thuyết toán học có nguồn gốc Hi Lạp. Người Hi Lạp đã gắn giá trị lớn cho các chứng minh và vì thế đã phát triển hình học theo hướng tiên đề.
Toán học của những con số của chúng ta có nguồn gốc của nó thuộc về toán học của người Hindu, người Arab và người Babylon. Họ không quan tâm đến việc đưa ra các chứng minh nên toán học của những con số đã được truyền lại cho chúng ta đơn thuần ở dạng một tập hợp những quy tắc tính toán không liên quan với nhau mấy. Xu hướng hiện đại là trình bày tất cả các nghiên cứu toán học theo hình thức tiên đề.
2. Ý nghĩa của từ “arithmetic” là gì?
Từ “arithmetic” (sự tính/số học) có nghĩa là “nghệ thuật tính toán” nên bài học ở trường tiểu học của chúng ta là một tập hợp gồm những lời giải của những bài toán đa dạng và các quy tắc tính toán. Nhưng theo thời gian arithmetic đã biến thành lí thuyết của những con số.
3. Số học là một trừu tượng phải không?
Số học thể hiện những nỗ lực sớm nhất của trí tuệ con người đối với sự trừu tượng. Như vậy, khi chúng ta nói, 2 + 3 = 5, đó là một phát biểu không phải nói về những vật đặc biệt như cái bút chì hay đồng xu, mà về tất cả những vật có thể đếm được vẫn giữ được nhận dạng riêng của chúng.
Ở đây, bản chất của các vật, tức là chúng là cái bút chì hay đồng xu hay cây cối hay bất kì cái gì khác, dù sống hay không sống, vân vân... không còn liên quan nữa, và phát biểu thành ra đúng theo một kiểu chung chung.
Các con số được đặt tên (một, hai, ba,...) và kí hiệu (1, 2, 3,...) và được sử dụng như những vật cụ thể bền bỉ đến mức chúng ta có xu hướng quên mất rằng chúng ta đang giải quyết các khái niệm chứ không phải các vật cụ thể.
4. Phát biểu 2 + 3 = 5 có đúng cho mọi loại vật hay không?
Không. Nếu các vật không giữ được nhận dạng riêng của chúng, thì phát biểu trên có thể không đúng đối với chúng.
Ví dụ, thêm 2 giọt nước vào 3 giọt nước có thể chỉ tạo ra một giọt nước – một giọt nước lớn.
Tương tự, nếu nhốt 2 con hổ và 3 con thỏ chung một chuồng, thì sau một lúc nào đó có thể ta thấy chỉ còn hai con vật thôi – hai con hổ sẽ ăn thịt 3 con thỏ cùng đường mạt lộ kia.
Một ví dụ nữa, một lực bằng 2 đơn vị và một lực khác bằng 3 đơn vị, hai lực cùng tác dụng vào một vật có thể cho hợp lực bằng bất kì giá trị nào nằm giữa 1 và 5 đơn vị lực tùy thuộc vào góc giữa chúng.
Nếu chúng tác dụng ngược chiều nhau, thì tổng của chúng sẽ bằng một đơn vị, còn nếu chúng tác dụng cùng chiều nhau, thì tổng của chúng sẽ bằng 5 đơn vị.
Tuy nhiên, tổng của chúng sẽ bằng 4 đơn vị nếu góc giữa chúng bằng 75,5 độ.
5. Sự mở rộng khái niệm số có nghĩa là gì?
Những con số đầu tiên gắn liền với những vật cụ thể nên khái niệm số ban đầu hạn chế với chỉ những con số nguyên. Các phân số xuất hiện tự nhiên sau đó và sự ra đời của một kí hiệu cho số không là một sự kiện lớn, còn các số âm được thừa nhận lại là một sự miễn cưỡng lớn. Những con số như thế gộp chung lại được gọi là số hữu tỉ. Một lần nữa sự mở rộng này bắt đầu, và đến lượt số vô tỉ và số phức được công nhận. Một số vô tỉ là con số không thể biểu diễn được bằng thương của hai số nguyên. Ví dụ, √2 là một số vô tỉ. Số vô tỉ và số hữu tỉ được gọi chung là số thực. Một số phức là một con số bất kì có dạng a + bi, trong đó a và b là số thực, và i là kí hiệu cho căn bậc hai của trừ một, tức là i2 = - 1.
6. Các số siêu việt là gì?
Những số vô tỉ không bằng căn bậc hai của bất kì phương trình đại số nào được gọi là số siêu việt.
e và π là những số như thế.
e = 2,71828...; π= 3,14159...
các dấu chấm ở cuối có nghĩa là chuỗi số không có kết thúc mà kéo dài đến vô tận. Về các số siêu việt, có một kết quả thú vị do Gelfond chứng minh vào năm 1934 là αβ là siêu việt nếu α là đại lượng đại số khác 0 và khác 1, và β là đại lượng đại số và không phải số hữu tỉ.
Như vậy, 2√3, 3√2, 5√3 là những số siêu việt. Nhưng nếu α và β đều là siêu việt thì không biết αβ có siêu việt hay không. Ví dụ, người ta không rõ ee, ππ hoặc πe có là siêu việt hay không.
Tuy nhiên, eiπ = - 1 là một kết quả rất đẹp.
7. Vì sao đại số được gọi là số học khái quát hóa?
Một ví dụ sẽ làm sáng tỏ.
Ở nhà trường, trẻ em được học rằng nếu lấy bình phương của một con số trừ cho 1, thì nó bằng tích của số liền trước và số liền sau con số đó.
Như vậy, 42 – 1 = (4 + 1) (4 – 1).
52 – 1 = (5 + 1) (5 – 1),
62 – 1 = (6 + 1) (6 – 1).
Rõ ràng mệnh đề trên là đúng nếu ở chỗ 4, 5 hoặc 6, ta thay vào con số bất kì nào khác.
Nếu đưa một kí hiệu mới, ví dụ như x, để biểu diễn một con số bất kì và là một con số không có gì đặc biệt hết, thì mệnh đề trên có thể được viết khái quát như sau
`x^2` – 1 = (x + 1) (x – 1).
Việc đưa thêm vào kí hiệu x là sự khởi đầu của đại số.
8. Sức mạnh của đại số nằm ở đâu?
Đại số có được phần lớn sức mạnh của nó từ việc xử lí bằng kí hiệu với các phần tử, các toán tử và các liên hệ.
Các kí hiệu x, y, z,... được dùng làm các phần tử, phép cộng và phép nhân chủ yếu được dùng làm toán tử, và dấu bằng là liên hệ bình thường kết nối các phần tử.
Như vậy x + x = 2x, và x + y = y + x
cho dù x và y biểu diễn con số nào.
9. Đại số có được khái quát hóa không?
Kí hiệu x, dùng để biểu diễn con số bất kì, có tiềm năng giả định lớn. Trước tiên, nó mang đến các phương trình đại số, cái thống lĩnh địa hạt nghiên cứu lâu đến mức trong khoảng một thế kỉ rưỡi, đại số chỉ là lí thuyết của các phương trình. Sau này x không chỉ hạn chế là những con số mà nó còn được sử dụng để biểu diễn bất kì thực thể nào khác, và các dấu toán tử cho phép cộng và phép nhân đã được phép mang lại những ý nghĩa mới tùy thuộc vào loại thực thể đang được xét đến. Vì thế, thực thể xác định ý nghĩa gắn liền với dấu + và ×. Các vector và ma trận là hai ví dụ quen thuộc của những thực thể như thế. Chúng sẽ được nói tới ở phần sau. Đây là hình ảnh khái quát hóa của cái đại số ban đầu đại diện.
10. Nó khác như thế nào với hình thức ban đầu của đại số?
Trong đại số sơ cấp, các chữ cái kí hiệu cho những con số bình thường, và các dấu toán tử, ví dụ + và ×, kí hiệu cho phép cộng và phép nhân bình thường. Nhưng ở hình thức khái quát hóa, các chữ cái kí hiệu cho thực thể bất kì nào đó, và dấu của toán tử là bất kì quy tắc kết hợp nào có liên quan đến thực thể.
