Tập hợp số tự nhiên có bao nhiêu phần tử

Thời cổ đạiSửa đổi

Phương pháp nguyên thủy nhất để biểu diễn một số tự nhiên là đặt một ký hiệu cho mỗi đối tượng. Sau đó, một tập hợp các đối tượng có thể được kiểm tra xem có bằng nhau, thừa hay thiếu — bằng cách đánh dấu và xóa một đối tượng khỏi tập hợp đó.

Bước tiến lớn đầu tiên trong trừu tượng hóa là việc sử dụng các chữ số để biểu diễn các con số. Điều này cho phép các hệ thống được phát triển để ghi số lượng lớn. Người Ai Cập cổ đại đã phát triển một hệ thống chữ số mạnh mẽ với các chữ tượng hình riêng biệt cho 1, 10 và tất cả các quyền hạn của10 đến hơn 1 triệu. Một tác phẩm chạm khắc trên đá ở Karnak, có niên đại khoảng năm 1500 TCN và bây giờ là Bảo tàng Louvre ở Paris, mô tả 276 như 2 trăm, 7 chục và 6 đơn vị; và tương tự cho số 4,622. Người Babylon có một hệ thống giá trị vị trí về cơ bản dựa trên các chữ số cho 1 và 10, sử dụng cơ số sáu mươi, với biểu tượng cho 60 giống với biểu tượng cho 1 — giá trị cụ thể của nó được xác định từ ngữ cảnh.[13]

Một tiến bộ nữa trong việc trừu tượng hóa con số nhưng diễn ra trễ hơn nhiều: phát triển ý tưởng thể hiện số không như là một con số với biểu diễn số của riêng nó. Vào khoảng 700 TCN, những người Babylon đã dùng chữ số không trong hệ thống ký hiệu giá trị theo vị trí nhưng một điều khá lạ là mãi cho đến lúc nền văn hóa Babylon đến hồi suy tàn, người Babylon cũng chỉ biết dùng chữ số không ở giữa các con số [ví dụ: khi viết số 3605 họ biết đặt chữ số không vào giữa], và chữ số này vẫn chưa bao giờ được sử dụng để làm chữ số cuối cùng của một số[14] [ví dụ: người Babylon thể hiện số 3600 và 60 như nhau - người Babylon dùng hệ cơ số 60 - để phân biệt đâu là 3600 và 60 họ phải kèm thêm một chú thích bằng lời ở dưới[15]]. Các nền văn minh Olmec và Maya đã dùng số không như là một con số riêng từ khoảng thế kỷ thứ 1 TCN [dường như được phát triển một cách độc lập], tuy nhiên việc sử dụng này đã không được phổ biến ra ngoài vùng Trung Bộ châu Mỹ[16][17]. Khái niệm số không mà chúng ta hiện nay vẫn dùng xuất phát từ nhà toán học Ấn Độ Brahmagupta vào năm 628. Mặc dầu số không đã được dùng như một con số bởi tất cả các nhà tính toán thời Trung Cổ [dùng để tính ngày Phục Sinh] mà khởi đầu là Dionysius Exiguus vào năm 525, nhưng nhìn chung vẫn không có một chữ số La Mã nào được dành riêng để viết số không. Thay vì vậy, thời đó người ta dùng từ Latinh là nullae, có nghĩa là"không có gì"để chỉ số không.[18]

Người ta thường xem các nhà triết học Hy Lạp Pythagore và Archimedes là những người đầu tiên đặt vấn đề nghiên cứu một cách hệ thống về các con số như là một thực thể trừu tượng. Tuy nhiên, cùng thời kỳ đó, một số nơi như Ấn Độ, Trung Quốc và Trung Bộ châu Mỹ cũng có những nghiên cứu độc lập tương tự.[19]

Các định nghĩa hiện đạiSửa đổi

Ở châu Âu thế kỷ 19, đã có cuộc thảo luận toán học và triết học về bản chất chính xác của các số tự nhiên. Một trường phái của chủ nghĩa tự nhiên tuyên bố rằng các số tự nhiên là hệ quả trực tiếp của tâm lý con người. Henri Poincaré là một trong những người ủng hộ nó, cũng như Leopold Kronecker, người đã tóm tắt niềm tin của mình là "Chúa tạo ra các số nguyên, tất cả những thứ khác là tác phẩm của con người". [c]

Đối lập với các nhà Tự nhiên học, các nhà toán học kiến thiết thấy cần phải cải thiện tính chặt chẽ logic trong nền tảng của toán học. [d] Vào những năm 1860, Hermann Grassmann đề xuất một định nghĩa đệ quy cho các số tự nhiên, do đó nói rằng chúng không thực sự là tự nhiên - mà là hệ quả của các định nghĩa. Sau đó, hai lớp định nghĩa chính thức như vậy đã được xây dựng; về sau, chúng vẫn được chứng minh là tương đương trong hầu hết các ứng dụng thực tế.

Các định nghĩa lý thuyết tập hợp về số tự nhiên được Frege khởi xướng. Ban đầu, ông định nghĩa một số tự nhiên là lớp của tất cả các tập hợp tương ứng 1-1 với một tập hợp cụ thể. Tuy nhiên, định nghĩa này hóa ra lại dẫn đến những nghịch lý, bao gồm cả nghịch lý Russell. Để tránh những nghịch lý như vậy, phép hình thức hóa đã được sửa đổi để một số tự nhiên được định nghĩa là một tập hợp cụ thể và bất kỳ tập hợp nào có thể được đưa vào tương ứng 1-1 với tập hợp đó được cho là có số phần tử đó.[22]

Loại định nghĩa thứ hai được Charles Sanders Peirce đưa ra, được Richard Dedekind tinh chỉnh, và được Giuseppe Peano khám phá thêm; phương pháp này bây giờ được gọi là số học Peano. Nó dựa trên tiên đề về các tính chất của số thứ tự: mỗi số tự nhiên có một kế tiếp và mọi số tự nhiên khác 0 đều có một tiền nhiệm duy nhất. Số học Peano tương đương với một số hệ thống yếu của lý thuyết tập hợp. Một trong những hệ thống như vậy là ZFC với tiên đề về vô hạn được thay thế bằng sự phủ định của nó. Các định lý có thể được chứng minh trong ZFC nhưng không thể được chứng minh bằng cách sử dụng Tiên đề Peano bao gồm định lý Goodstein.[23]

Với tất cả các định nghĩa qua tập hợp này, thật tiện lợi khi bao gồm cả số 0 [tương ứng với tập rỗng ] vào tập hợp số tự nhiên. Bao gồm cả số 0 hiện là quy ước chung giữa các nhà lý thuyết tập hợp[24] và các nhà logic học.[25] Các nhà toán học khác cũng bao gồm cả 0, [e] và các ngôn ngữ máy tính thường bắt đầu từ 0 khi liệt kê các mục như bộ đếm vòng lặp và phần tử chuỗi hoặc mảng.[26][27] Mặt khác, nhiều nhà toán học đã giữ truyền thống cũ hơn để lấy 1 là số tự nhiên đầu tiên.[28]

Ký hiệuSửa đổi

Các nhà toán học dùng ký hiệu N hay ℕcho tập hợp tất cả các số tự nhiên[29][30][31]. Một số văn bản cũ cũng đôi khi dùng kí hiệu Jcho tập hợp này.[32] Theo định nghĩa, tập hợp vô hạn và đếm được, tức lực lượng của tập hợp số tự nhiên là ℵ0

Vì các thuộc tính khác nhau thường được liên kết với các mã thông báo 0 và 1 [ví dụ: các phần tử trung tính cho phép cộng và phép nhân, tương ứng], điều quan trọng là phải biết phiên bản số tự nhiên nào được sử dụng trong trường hợp đang xem xét. Điều này có thể được thực hiện bằng cách giải thích bằng văn xuôi, bằng cách viết ra tập hợp một cách rõ ràng hoặc bằng cách định danh số nhận dạng chung bằng chỉ số viết lên trên hoặc chỉ số viết xuống dưới,[33][34] chẳng hạn như thế này:

{ 1 , 2 , . . . } = N ∗ = N + = N 0 ∖ { 0 } . {\displaystyle \{1,2,...\}=\mathbb {N} ^{*}=\mathbb {N} ^{+}=\mathbb {N} _{0}\smallsetminus \{0\}.}

{ 0 , 1 , 2 , . . . } = N 0 = N 0 = N ∗ ∪ { 0 } {\displaystyle \;\{0,1,2,...\}=\mathbb {N} _{0}=\mathbb {N} ^{0}=\mathbb {N} ^{*}\cup \{0\}}

Đôi khi một số tác giả dùng chỉ số dưới hoặc chỉ số trên"+"để ám chỉ khái niệm"dương"của số tự nhiên, tức là N+ hay N+ = { 1, 2,... }. Thế nhưng, cần thận trọng với ký hiệu kiểu này, vì trong một số trường hợp khác, ít nhất là đối với trường phái toán châu Âu, ký hiệu này lại ám chỉ cho khái niệm"không âm", lấy ví dụ: R+ = [0,∞] hay Z+ = { 0, 1, 2,...}. Trong khi đó, ký hiệu * là chuẩn mực dùng cho khái niệm"khác số không"hay tổng quát hơn là dùng cho một phần tử có thể nghịch đảo được. Tài liệu giáo khoa chuẩn của Việt Nam[5], cũng dùng ký hiệu N*.

{ 1 , 2 , 3 , … } = { x ∈ Z : x > 0 } = Z + {\displaystyle \{1,2,3,\dots \}=\{x\in \mathbb {Z} :x>0\}=\mathbb {Z} ^{+}}

{ 0 , 1 , 2 , … } = { x ∈ Z : x ≥ 0 } = Z 0 + {\displaystyle \{0,1,2,\dots \}=\{x\in \mathbb {Z} :x\geq 0\}=\mathbb {Z} _{0}^{+}}