Trong toán học có rất đông tập số, and tập R là một trong số đó. Vậy R là gì trong toán học? Sát bên tập R còn tồn tại các tập số and bạn cần nhớ? Toàn bộ các khúc mắc đó để được giải đáp bên dưới đây. Hãy cùng hethongbokhoe.com thăm dò nhé.
Bài Viết: R là gì
R là gì trong toán học? Những nổi trội của R
Tập hợp R là gì? R là gì trong toán học?
R là gì trong toán học là khúc mắc của rất nhiều người. Riêng so với toán học thì R là ký hiệu của tập số thực. Chính là tập hợp của cả những số hữu tỉ and vô tỉ. R là tập số to nhất trên tập số.
Từ trước đến nay, ta đã biết những tập số như số bỗng nhiên [N = left { 0,1,2,3cdot cdot cdot ight }], tập số nguyên [Z = left { cdot cdot cdot -3,-2,-1,0,1,2,3cdot cdot cdot ight }]… toàn bộ những tập số này đều là tập con của R. Cả những số vô tỉ như [Pi =] 3,141592… hay [sqrt{2} =] 1,414214…. Toàn bộ những số ta đã biết đều thuộc R. Vậy tập số này có các nổi trội nào?
Nổi bật của tập số thực R
Hệt như như những tập số khác, ta cũng có thể thi công những phép cộng, trừ, nhân, chia hay những phép lũy thừa, khai căn trên R. Với phép cộng, ta có thể chứng minh:
Xem Ngay: Jam Là Gì - Jam Nghĩa Là Gì
Với mọi a thuộc R: a + 0= a Với mọi a,b thuộc R: a + b = [a + b]
Ngoài ra ta còn tồn tại thể chứng minh:
Với mọi a,b thuộc R: a + b = b + aVới mọi a,b,c thuộc R: [a + b] + c = a + [b + c]Với mọi a,b,c thuộc R: a + c = b + c suy ra: a=b
Tức là với những phép tính trên R cũng có những nổi trội giao hoán, kết hợp như trên những tập số khác. And điều này giống hệt như với những phép trừ, nhân, chia…
Một số tập số cần ghi nhớ
Vậy là bạn đã hiểu R là gì trong toán học rồi đúng không nào. Sát bên tập số R, ta còn rất đông tập số khác trong toán học. Vậy này là các tập số nào?
Tập số bỗng nhiên N: [N = left { 0,1,2,3cdot cdot cdot ight }] kề bên đó ta còn tồn tại [N^{*}] là tập con của N and không kể cả chữ số 0: [N^{*} = left { 1,2,3cdot cdot cdot ight }].
Xem Ngay: Bật Mí Phương thức Sửa Lỗi Unable Lớn Initialize Steam Api Pes 2017
Xem Ngay: Hàm Round Là Gì – Phương thức Sử Dụng Hàm Round Trong Excel
với tập N ta có thể hợp những số bỗng nhiên thành một tập vô hạn đếm đc. Tập số nguyên Z:
Vậy Z là gì trong toán học? Z là ký hiệu của tập số nguyên gồm những số nguyên dương [left { 1,2,3cdot cdot cdot ight }]and những số đối của chúng [left { -1,-2,-3cdot cdot cdot ight }]and số 0.
Trong Z lại đc phân thành [Z^{+}] and [Z^{-}]. Tập hợp Z+ là gì? [Z^{+}] là tập hợp những số nguyên dương, tức là những số nguyên to hơn 0 and không kể cả số 0, ngược lại, [Z^{-}] là tập những số nguyên âm bé dại hơn 0 and không gồm số 0.
Tập sô hữu tỉ Q: trong toán học, số hữu tỉ là số có thể biểu diễn bên dưới dạng phân số a/b, trong đó a and b là những số nguyên and b khác 0.
Tập số hữu tỉ Q: {a/b, a,b thuộc Z and b≠0].
Việc biểu diễn số hữu tỉ bằng một số thập phân hữu hạn hoặc bằng số vô hạn tuần hoàn là trọn vẹn có thể. Vậy Q là tập hợp số gì? Chắc rằng đến đây bạn đã có rất nhiều câu vấn đáp cho riêng mình.
Tập số vô tỉ I:
I là ký hiệu của tập số vô tỉ hay còn gọi là những số thập phân vô hạn không tuần hoàn. Tuy vậy bạn cần chú ý, I là số thập phân vô hạn không tuần hoàn nên đã hết biểu diễn bên dưới dạng a/b, ngược lại trọn vẹn với số thập phân vô hạn tuần hoàn
Vậy số thực là gì? Đến đây hẳn bạn đã trọn vẹn hiểu rõ. Số thực này là tập hợp chung của toàn bộ những cả những tập số trên, kể cả những những số nguyên âm, nguyên dương, số bỗng nhiên, số hữu tỉ and số vô tỉ.
R là gì trong hình học?
Không chỉ là một ký hiệu trong đại số, r còn đc dùng trong hình học. Rõ ràng, r [thông thường có thể cần sử dụng R] đc dùng để bộc lộ bán kính đường tròn ngoại tiếp tam giác.
Trong hệ tọa độ, ta có đường tròn tâm O[a,b] and bán kính r thì toàn bộ những điểm có tọa độ x,y tán thành: [left [ x-a ight ]^{2} ight ] + left [ y-b ight ]^{2}
Xem Ngay: Bệnh Đao Là Gì - Bệnh Down Là Gì
Nổi biệt, r còn đc cần sử dụng trong công thức tính chu vi and diện tích hình tròn:
Chu vi: [C= dPi = 2r.Pi]Diện tích: [S= r^{2}Pi]
Chắc rằng bạn đang khúc mắc d là gì trong toán học? Trong công thức tính chu vi, d là ký hiệu của đường kính and d=2r [đường kính gấp đôi bán kính].
Những kí hiệu trong toán học là 1 phần quan trọng các bạn cần ghi nhớ để việc học and làm bài dễ dàng and hiệu quả hơn. Hy vọng qua bài viết trên đây, chúng ta đã hiểu R là gì trong toán học tương tự các tập số căn bản của đại số. Tại hethongbokhoe.com, bạn sẽ có thể khám phá nhiều kiến thức hay and có lợi hơn nữa.
Thể Loại: San sẻ Kiến Thức Cộng Đồng
Trong toán học, một số thực là một giá trị của một đại lượng liên tục có thể biểu thị một khoảng cách dọc theo một đường thẳng [hoặc cách khác, đại lượng có thể được biểu diễn dưới dạng khai triển thập phân vô hạn]. Tính từ thực trong bối cảnh này được René Descartes giới thiệu vào thế kỷ 17, với mục đích phân biệt giữa nghiệm thực và ảo của đa thức. Các số thực bao gồm tất cả các số hữu tỷ, chẳng hạn như số nguyên −5 và phân số 4/3 và tất cả các số vô tỷ, chẳng hạn như
2
{\displaystyle {\sqrt {2}}}
Các số thực có thể được coi là các điểm trên một dòng dài vô hạn gọi là trục số, trong đó các điểm tương ứng với các số nguyên cách đều nhau. Bất kỳ số thực nào cũng có thể được xác định bằng cách biểu diễn thập phân vô hạn, chẳng hạn như số 8.632, trong đó mỗi chữ số liên tiếp được tính bằng một phần mười giá trị của số trước. Trục số thực có thể được coi là một phần của mặt phẳng phức.
Những mô tả về các số thực không đủ nghiêm ngặt theo các tiêu chuẩn hiện đại của toán học thuần túy. Việc phát hiện ra một định nghĩa phù hợp nghiêm ngặt về các con số thực sự, thực tế, việc nhận ra rằng một định nghĩa tốt hơn là cần thiết là một trong những phát triển quan trọng nhất của toán học thế kỷ 19. Định nghĩa tiên đề theo tiêu chuẩn hiện tại là các số thực tạo thành trường có thứ tự hoàn chỉnh Dedekind [R; +; ·; 0 nào tồn tại số nguyên N [có thể phụ thuộc vào ε] sao cho khoảng cách |xn − xm| nhỏ hơn ε với mọi n và m đều lớn hơn N. Định nghĩa này, ban đầu được Cauchy đưa ra, chuẩn hóa thực tế rằng xn cuối cùng tiến đến và gần sát nhau một cách tùy ý.
Một dãy [xn] hội tụ đến giới hạn x nếu các phần tử của nó cuối cùng đến và tiếp tục gần với x một cách tùy ý, nghĩa là, nếu với bất kỳ ε > 0 thì tồn tại một số nguyên N [có thể phụ thuộc vào ε] sao cho khoảng cách |xn − x| nhỏ hơn ε với mọi n lớn hơn N.
Mọi dãy hội tụ là một dãy Cauchy, và điều ngược lại đúng với các số thực, và điều này có nghĩa là không gian tôpô của các số thực là hoàn chỉnh.
Tập hợp các số hữu tỉ là không đầy đủ. Ví dụ, dãy [1; 1.4; 1.41; 1.414; 1.4142; 1.41421;...], trong đó mỗi số hạng thêm một chữ số của khai triển thập phân của căn bậc hai dương của 2, là dãy Cauchy nhưng nó không hội tụ thành một số hữu tỉ [ngược lại, trong tập hợp các số thực, nó hội tụ về căn bậc hai dương của 2].
Tính chất đầy đủ của các số thực là cơ sở để xây dựng phép vi tích phân, và nói chung là giải tích toán học. Đặc biệt, việc kiểm tra rằng một dãy là một dãy Cauchy cho phép chứng minh rằng một dãy có giới hạn, mà không cần tính toán giới hạn này, và thậm chí không cần biết về nó.
Ví dụ, chuỗi tiêu chuẩn của hàm mũ
e x = ∑ n = 0 ∞ x n n ! {\displaystyle e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}}
hội tụ tới một số thực với mọi x, vì tổng
∑ n = N M x n n ! {\displaystyle \sum _{n=N}^{M}{\frac {x^{n}}{n!}}}
có thể được làm nhỏ tùy ý [không phụ thuộc vào M] bằng cách chọn N đủ lớn. Điều này chứng tỏ rằng chuỗi này là một chuỗi Cauchy, và do đó hội tụ, cho thấy rằng e x {\displaystyle e^{x}} được xác định rõ ràng với mọi x.
"Trường được xếp thứ tự hoàn chỉnh"
Các số thực thường được mô tả là "trường có thứ tự hoàn chỉnh", một cụm từ có thể được hiểu theo nhiều cách.
Đầu tiên, một thứ tự có thể là hoàn thành bên trong nó. Dễ dàng nhận thấy rằng không có trường có thứ tự nào có thể là hoàn chỉnh bên trong nó, bởi vì nó không thể có phần tử lớn nhất [với bất kỳ phần tử z, z+1 là lớn hơn].
Ngoài ra, một thứ tự có thể là hoàn chỉnh Dedekind.
Hai khái niệm về tính hoàn chỉnh này bỏ qua cấu trúc trường. Tuy nhiên, một nhóm có thứ tự [trong trường hợp này là nhóm phụ gia của trường] xác định cấu trúc đồng nhất, và cấu trúc đồng nhất có khái niệm về tính hoàn chỉnh là một trường hợp đặc biệt. [việc đề cập đến khái niệm đầy đủ trong không gian đồng nhất hơn là khái niệm có liên quan và được biết đến nhiều hơn cho không gian mêtric, vì định nghĩa của không gian metric dựa trên việc đã có đặc điểm của các số thực.] R {\displaystyle \mathbb {R} } không phải là trường có thứ tự hoàn chỉnh thống nhất duy nhất, nhưng nó là trường Archimedes hoàn chỉnh đồng nhất duy nhất, và thực sự người ta thường nghe thấy cụm từ "trường Archimedes hoàn chỉnh" thay vì "trường có thứ tự hoàn chỉnh". Mọi trường Archimedes hoàn chỉnh đồng nhất cũng phải là trường hoàn chỉnh Dedekind [và ngược lại]. Cảm giác đầy đủ này có liên quan chặt chẽ nhất đến việc xây dựng các thực từ các chuỗi Cauchy [việc xây dựng được thực hiện đầy đủ trong bài viết này], vì nó bắt đầu với trường Archimedean [các số hữu tỷ] và tạo thành sự hoàn thành đồng nhất của nó theo một cách tiêu chuẩn.
Nhưng cách sử dụng ban đầu của cụm từ "trường Archimedes hoàn chỉnh" là của David Hilbert, người có hàm ý với ý nghĩa khác. Ý của Hilbert là các số thực tạo thành trường Archimedes lớn nhất theo nghĩa là mọi trường Archimedes khác là một trường con của R {\displaystyle \mathbb {R} } . Như vậy R {\displaystyle \mathbb {R} } là "hoàn chỉnh" theo nghĩa là không thể thêm gì nữa mà không làm cho nó không còn là một trường Archimedes. Cảm giác đầy đủ này có liên quan chặt chẽ nhất đến việc xây dựng các số thực từ các số siêu thực, vì việc xây dựng đó bắt đầu với một lớp thích hợp chứa mọi trường có thứ tự [số siêu thực] và sau đó chọn từ đó trường con Archimedes lớn nhất.
Các tính chất nâng cao
Các số thực là không thể đếm được; nghĩa là, có nhiều số thực hơn số tự nhiên, mặc dù cả hai tập hợp này đều là vô hạn. Trên thực tế, bản số của số thực bằng với bản số của các tập hợp con [tức là tập hợp lũy thừa] của các số tự nhiên, và lập luận đường chéo của Cantor nói rằng bản số của tập hợp sau lớn hơn hẳn so với bản số của N {\displaystyle \mathbb {N} } . Vì tập hợp các số đại số có thể đếm được nên hầu như tất cả các số thực đều là số siêu việt. Sự không tồn tại của một tập con các số thực với bản số chính xác giữa tập hợp số nguyên và số thực được gọi là giả thuyết liên tục. Giả thuyết liên tục không thể được chứng minh cũng như không bị bác bỏ; nó độc lập với các tiên đề của lý thuyết tập hợp.
Là một không gian tôpô, các số thực có thể phân tách được. Điều này là do tập hợp các số hữu tỉ, có thể đếm được, dày đặc nằm trong các số thực. Các số vô tỉ cũng dày đặc trong các số thực, tuy nhiên chúng không đếm được và có cùng số lượng với số thực.
Các số thực tạo thành một không gian mêtric: khoảng cách giữa x và y được xác định là giá trị tuyệt đối |x − y|. Do là một tập hợp có thứ tự hoàn toàn, chúng cũng mang một cấu trúc liên kết thứ tự; cấu trúc liên kết phát sinh từ số liệu và cấu trúc liên kết phát sinh từ thứ tự giống hệt nhau, nhưng mang lại các trình bày khác nhau cho cấu trúc liên kết — trong cấu trúc liên kết thứ tự là các khoảng có thứ tự, trong cấu trúc liên kết số liệu là epsilon-ball. Cấu trúc cắt Dedekind sử dụng trình bày cấu trúc liên kết thứ tự, trong khi cấu trúc trình tự Cauchy sử dụng trình bày cấu trúc liên kết số liệu. Các thực tạo thành một không gian số liệu có thể co lại [do đó được kết nối và kết nối đơn giản], có thể phân tách và hoàn chỉnh với số chiều Hausdorff là 1. Các số thực là compact cục bộ nhưng không compact. Có nhiều thuộc tính khác nhau chỉ định duy nhất chúng; ví dụ, tất cả các cấu trúc liên kết thứ tự không bị ràng buộc, được kết nối và có thể phân tách nhất thiết phải là đồng phôi với các số thực.
Mọi số thực không âm đều có căn bậc hai thuộc R {\displaystyle \mathbb {R} } , mặc dù không có số âm nào có căn bậc hai thuộc R {\displaystyle \mathbb {R} } . Điều này cho thấy rằng thứ tự trên R {\displaystyle \mathbb {R} } được xác định bởi cấu trúc đại số của nó. Ngoài ra, mọi đa thức bậc lẻ đều có ít nhất một nghiệm là số thực: hai thuộc tính này làm cho R {\displaystyle \mathbb {R} } trở thành ví dụ hàng đầu về một trường đóng thực. Chứng minh tính chất này là nửa đầu tiên của một chứng minh của định lý cơ bản của đại số.
Các số thực có một số đo chính tắc, số đo Lebesgue, là số đo Haar trên cấu trúc của chúng như một nhóm tôpô được chuẩn hóa sao cho khoảng đơn vị [0; 1] có số đo là 1. Tồn tại các tập hợp số thực mà Lebesgue không thể đo lường được, ví dụ: Tập hợp Vitali.
Tiên đề cận trên lớn nhất về số thực đề cập đến các tập con của số thực và do đó là một câu lệnh logic bậc hai. Không thể đặc trưng cho các số thực chỉ với logic bậc nhất: định lý Löwenheim – Skolem ngụ ý rằng tồn tại một tập con dày đặc có thể đếm được của các số thực thỏa mãn chính xác các câu trong logic bậc nhất như chính các số thực. Tập hợp các số siêu thực thỏa mãn các câu thứ tự bậc nhất giống như R {\displaystyle \mathbb {R} } . Các trường có thứ tự đáp ứng các câu thứ tự đầu tiên giống như R {\displaystyle \mathbb {R} } được gọi là mô hình không tiêu chuẩn của R {\displaystyle \mathbb {R} } . Điều này là những gì làm cho phân tích không tiêu chuẩn hoạt động; bằng cách chứng minh một câu lệnh bậc nhất trong một số mô hình không chuẩn [có thể dễ dàng hơn việc chứng minh nó trong R {\displaystyle \mathbb {R} } ], khi đó chúng ta hiểu rằng tuyên bố tương tự cũng phải đúng với R {\displaystyle \mathbb {R} } .
Trường số thực R {\displaystyle \mathbb {R} } là một trường mở rộng của trường số hữu tỉ Q {\displaystyle \mathbb {Q} } , và R {\displaystyle \mathbb {R} } do đó có thể được xem như một không gian vectơ trên Q {\displaystyle \mathbb {Q} } . Lý thuyết tập hợp Zermelo – Fraenkel với tiên đề lựa chọn đảm bảo sự tồn tại của cơ sở của không gian vectơ này: tồn tại một tập hợp B gồm các số thực sao cho mọi số thực có thể được viết duy nhất dưới dạng một tổ hợp tuyến tính hữu hạn của các phần tử của tập hợp này, sử dụng chỉ các hệ số hữu tỉ, và sao cho không phần tử nào của B là tổ hợp tuyến tính hữu tỉ của các phần tử khác. Tuy nhiên, định lý tồn tại này hoàn toàn là lý thuyết, vì một cơ sở như vậy chưa bao giờ được mô tả một cách rõ ràng.
Định lý sắp xếp tốt ngụ ý rằng các số thực có thể được sắp xếp hợp lý nếu tiên đề lựa chọn được giả định: tồn tại một thứ tự toàn bộ trên R {\displaystyle \mathbb {R} } với thuộc tính mà mọi tập hợp con không trống của R {\displaystyle \mathbb {R} } có một phần tử nhỏ nhất trong thứ tự này. [Thứ tự tiêu chuẩn ≤ của các số thực không phải là một thứ tự tốt vì ví dụ một khoảng mở không chứa phần tử nhỏ nhất trong thứ tự này.] Một lần nữa, sự tồn tại của một trật tự tốt như vậy hoàn toàn là lý thuyết, vì nó chưa được mô tả rõ ràng. Nếu giả sử V = L cùng với các tiên đề của ZF, thứ tự tốt của các số thực có thể được xác định một cách rõ ràng bằng một công thức.[13]
Một số thực có thể tính toán được hoặc không thể tính toán được; dù cho là tính toán ngẫu nhiên về mặt thuật toán hoặc không; và ngẫu nhiên về mặt số học hoặc không.
Các số thực thường được chuẩn tắc hóa bằng cách sử dụng tiên đề Zermelo-Fraenkel của lý thuyết tập hợp, nhưng một số nhà toán học nghiên cứu các số thực bằng các cơ sở logic khác của toán học. Đặc biệt, các số thực còn được nghiên cứu trong toán học đảo ngược và toán học kiến thiết.[14]
Các số siêu thực được phát triển bởi Edwin Hewitt, Abraham Robinson và những người khác mở rộng tập hợp các số thực bằng cách giới thiệu các số vô hạn và vô hạn, cho phép xây dựng phép tính thập phân theo cách gần gũi hơn với trực giác ban đầu của Leibniz, Euler, Cauchy và những người khác.
Lý thuyết tập hợp bên trong của Edward Nelson đã làm phong phú thêm lý thuyết tập hợp Zermelo-Fraenkel về mặt cú pháp bằng cách giới thiệu một vị từ một ngôi "tiêu chuẩn". Theo cách tiếp cận này, các số tương đương là phần tử [không phải "tiêu chuẩn"] của tập hợp các số thực [chứ không phải là phần tử của phần mở rộng của chúng, như trong lý thuyết của Robinson].
Giả thuyết continuum cho rằng bản số của tập hợp các số thực là ℵ 1 {\displaystyle \aleph _{1}} ; tức là vô hạn nhỏ nhất số hồng y sau ℵ 0 {\displaystyle \aleph _{0}} , bản số của các số nguyên. Paul Cohen đã chứng minh vào năm 1963 rằng nó là một tiên đề độc lập với các tiên đề khác của lý thuyết tập hợp; nghĩa là: người ta có thể chọn giả thuyết liên tục hoặc phủ định của nó như một tiên đề của lý thuyết tập hợp, mà không có mâu thuẫn.
Trong vật lý
Trong khoa học vật lý, hầu hết các hằng số vật lý như hằng số hấp dẫn phổ quát và các biến vật lý, chẳng hạn như vị trí, khối lượng, tốc độ và điện tích, được mô hình hóa bằng cách sử dụng số thực. Trên thực tế, các lý thuyết vật lý cơ bản như cơ học cổ điển, điện từ học, cơ học lượng tử , thuyết tương đối rộng và mô hình chuẩn được mô tả bằng cách sử dụng các cấu trúc toán học, điển hình là đa tạp trơn hoặc không gian Hilbert, dựa trên các số thực, mặc dù các phép đo thực tế của các đại lượng vật lý có độ chính xác hữu hạn.
Các nhà vật lý thỉnh thoảng gợi ý rằng một lý thuyết cơ bản hơn sẽ thay thế các số thực bằng các đại lượng không tạo thành một continuum, nhưng những đề xuất như vậy vẫn mang tính suy đoán.[15]
Trong tính toán
Với một số ngoại lệ, hầu hết các máy tính không hoạt động trên số thực. Thay vào đó, chúng hoạt động với các phép xấp xỉ chính xác hữu hạn được gọi là số dấu phẩy động. Trên thực tế, hầu hết các phép tính khoa học đều sử dụng số học dấu phẩy động. Các số thực thỏa mãn các quy tắc thông thường của số học, nhưng số dấu phẩy động thì không.
Máy tính không thể lưu trữ trực tiếp các số thực tùy ý có vô số chữ số. Độ chính xác có thể đạt được bị giới hạn bởi số lượng bit được phân bổ để lưu trữ một số, cho dù là số dấu phẩy động hay số có độ chính xác tùy ý. Tuy nhiên, các hệ thống đại số máy tính có thể hoạt động chính xác trên các đại lượng vô tỉ bằng cách thao tác các công thức cho chúng [chẳng hạn như 2 , {\displaystyle {\sqrt {2}},} arcsin [ 2 / 23 ] , {\displaystyle \arcsin[2/23],} hoặc ∫ 0 1 x x d x {\displaystyle \textstyle \int _{0}^{1}x^{x}\,dx} ] chứ không phải là xấp xỉ hữu tỉ hoặc thập phân của chúng.[16] Nói chung, không thể xác định xem hai biểu thức như vậy có bằng nhau hay không [bài toán hằng số].
Một số thực được gọi là có thể tính toán được nếu tồn tại một thuật toán đưa ra các chữ số của nó. Bởi vì chỉ có nhiều thuật toán có thể đếm được[17] nhưng một số thực là không đếm được, hầu như tất cả các số thực đều không thể tính toán được. Hơn nữa, sự bằng nhau của hai số có thể tính toán được là một vấn đề không thể giải quyết được. Một số nhà toán học kiến tạo chỉ chấp nhận sự tồn tại của những số thực mà có thể tính toán được. Tập hợp các số có thể xác định được rộng hơn, nhưng vẫn chỉ có thể đếm được.
Số thực trong lý thuyết tập hợp
Trong lý thuyết tập hợp, cụ thể là lý thuyết tập hợp mô tả, không gian Baire được sử dụng làm đại diện cho các số thực vì sau này có một số thuộc tính tôpô [tính liên thông] gây bất tiện về kỹ thuật. Các phần tử của không gian Baire được gọi là "các số thực".
- Phép cộng: Trên R {\displaystyle \mathbb {R} } , phép cộng được xây dựng bởi ánh xạ sau:
Sao cho:
∀ a ∈ R : a + 0 = a {\displaystyle \forall \,\,a\,\in \,\mathbb {R} :a+0=a} ∀ a , b ∈ R : a + b = [ a + b ] {\displaystyle \forall \,\,a,\,b\,\in \,\mathbb {R} :a+b=\left[a+b\right]}Có thể thấy phép cộng xác định như trên là tồn tại và duy nhất.
Ngoài ra, ta còn có thể chứng minh được rằng:
- ∀ a , b ∈ R : a + b = b + a {\displaystyle \forall \,\,a,\,b\,\in \,\mathbb {R} :a+b=b+a}
- ∀ a , b , c ∈ R : [ a + b ] + c = a + [ b + c ] {\displaystyle \forall \,\,a,\,b,\,c\,\in \,\mathbb {R} :\left[a+b\right]+c=a+\left[b+c\right]}
- ∀ a , b , c ∈ R : a + c = b + c ⇒ a = b {\displaystyle \forall \,\,a,\,b,\,c\,\in \,\mathbb {R} :a+c=b+c\,\Rightarrow \,a=b}
- Phép trừ
- Phép nhân
- Phép chia
- Phép lũy thừa
- Phép khai căn
- Phép logarit
Giá trị tuyệt đối của số thực a là khoảng cách từ điểm a đến 0 trên trục số thực và kí hiệu là |a|.[Đọc là: Giá trị tuyệt đối của a].Lưu ý: Giá trị tuyệt đối của số thực a luôn được kết quả là một số lớn hơn hoặc bằng 0.
Tập hợp số thực
N {\displaystyle \mathbb {N} } : Tập hợp số tự nhiên [Natural numbers] Z {\displaystyle \mathbb {Z} } : Tập hợp số nguyên [Integers numbers] Q {\displaystyle \mathbb {Q} } : Tập hợp số hữu tỉ [Rational numbers] I = R ∖ Q {\displaystyle \mathbb {I} =\mathbb {R} \setminus \mathbb {Q} } : Tập hợp số vô tỉ [Irrational numbers] R {\displaystyle \mathbb {R} } : Tập hợp số thực [Real numbers]Ngoài ra, một số thực có thể là số đại số hoặc số siêu việt.
Tập hợp số thực là tập hợp con của số phức z = a + b i {\displaystyle z=a+bi} , khi hệ số b = 0 {\displaystyle b=0}
Khoảng:
R = [ − ∞ , ∞ ] {\displaystyle \mathbb {R} =\left[-\infty ,\,\infty \right]}
Ví dụ:
x ∈ N ∗ ⇔ x ∈ [ 0 , ∞ ] {\displaystyle x\in \mathbb {N} ^{*}\Leftrightarrow \,x\in \left[0,\,\infty \right]}
Đoạn:
A = [ 3 , 5 ] ⇔ A = { x ∣ 3 ≤ x ≤ 5 } {\displaystyle {\text{A}}=\left[3,\,5\right]\,\Leftrightarrow \,{\text{A}}=\left\{x\mid 3\leq x\leq 5\right\}}
Nửa khoảng:
x ∈ N ⇔ x ∈ [ 0 , ∞ ] {\displaystyle x\in \mathbb {N} \,\Leftrightarrow \,x\in \left[0,\,\infty \right]}
Chú ý:
∞ đọc là vô cực.
- Số siêu phức
- Số phức
- Số siêu việt
- Số đại số
- Số vô tỉ
- Số hữu tỉ
- Số nguyên
- Số tự nhiên
- Số nguyên tố
- ^ Chính xác hơn, với hai trường hoàn toàn được sắp xếp hoàn toàn, có một đẳng hình độc đáo giữa chúng. Điều này ngụ ý rằng danh tính là tự hình trường độc đáo của thực tế tương thích với thứ tự.
- ^ “Real number | mathematics”. Encyclopedia Britannica [bằng tiếng Anh]. Truy cập ngày 11 tháng 8 năm 2020.
- ^ “Compendium of Mathematical Symbols”. Math Vault [bằng tiếng Anh]. 1 tháng 3 năm 2020. Truy cập ngày 11 tháng 8 năm 2020.
- ^ Weisstein, Eric W. “Real Number”. mathworld.wolfram.com [bằng tiếng Anh]. Truy cập ngày 11 tháng 8 năm 2020.
- ^ Oxford English Dictionary, 3rd edition, 2008, s.v. 'real', n.2, B.4: "Mathematics. A real number. Usually in plural."
- ^ a b “Compendium of Mathematical Symbols”. Math Vault [bằng tiếng Anh]. ngày 1 tháng 3 năm 2020. Truy cập ngày 11 tháng 8 năm 2020.
- ^ T. K. Puttaswamy, "The Accomplishments of Ancient Indian Mathematicians", pp. 410–11. In: Chú thích trống [trợ giúp]
- ^ O'Connor, John J.; Robertson, Edmund F., “Số thực”, Bộ lưu trữ lịch sử toán học MacTutor, Đại học St. Andrews
- ^ a b Chú thích trống [trợ giúp]
- ^ Jacques Sesiano, "Islamic mathematics", p. 148, in Chú thích trống [trợ giúp]
- ^ a b Chú thích trống [trợ giúp].
- ^ Hurwitz, Adolf [1893]. “Beweis der Transendenz der Zahl e”. Mathematische Annalen: 134–35.
- ^ Gordan, Paul [1893]. “Transcendenz von e und π”. Mathematische Annalen. 43: 222–24.
- ^ Moschovakis, Yiannis N. [1980], “Descriptive set theory”, Studies in Logic and the Foundations of Mathematics, Amsterdam; New York: North-Holland Publishing Co., 100, tr. xii, 637, ISBN 978-0-444-85305-9, chapter V.
- ^ Bishop, Errett; Bridges, Douglas [1985], Constructive analysis, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 279, Berlin, New York: Springer-Verlag, ISBN 978-3-540-15066-4, chapter 2.
- ^ Wheeler, John Archibald [1986]. “Hermann Weyl and the Unity of Knowledge: In the linkage of four mysteries—the "how come" of existence, time, the mathematical continuum, and the discontinuous yes-or-no of quantum physics—may lie the key to deep new insight”. American Scientist. 74 [4]: 366–75. Bibcode:1986AmSci..74..366W. JSTOR 27854250.Bengtsson, Ingemar [2017]. “The Number Behind the Simplest SIC-POVM”. Foundations of Physics. 47 [8]: 1031–41. arXiv:1611.09087. Bibcode:2017FoPh...47.1031B. doi:10.1007/s10701-017-0078-3.
- ^ Cohen, Joel S. [2002], Computer algebra and symbolic computation: elementary algorithms, 1, A K Peters, tr. 32, ISBN 978-1-56881-158-1
- ^ Hein, James L. [2010], Discrete Structures, Logic, and Computability [ấn bản 3], Sudbury, MA: Jones and Bartlett Publishers, ISBN 97-80763772062, Bản gốc lưu trữ ngày 17 tháng 6 năm 2016, truy cập ngày 15 tháng 11 năm 2015
| Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Số thực. |
- Số thực tại MathWorld.
Lấy từ “//vi.wikipedia.org/w/index.php?title=Số_thực&oldid=68224429”