步。 请见本文附件。 袁萌 陈启清 12月

实数探索的深处
 实数探索水很深，不是糊涂一下就行了。
 比如，可构造性实数、代数数与可计算性实数，等等。
公理化实数系统，构建微积分，我们只是走出了一小步。
 请见本文附件。
袁萌 陈启清  12月12日
附件：
Definable real number
From Wikipedia, the free encyclopedia
 
 
Jump to navigation
Jump to search
 
 
The square root of 2 is equal to the length of the hypotenuse of a right triangle with legs of length 1 and is therefore a constructible number
Informally, a definable real number is a real number that can be uniquely specified by its description. The description may be expressed as a construction or as a formula of a formal language. For example, the positive square root of 2,
2 {\displaystyle {\sqrt {2}}}
, can be defined as the unique positive solution to the equation
x 2 = 2 {\displaystyle x^{2}=2}
, and it can be constructed with a compass and straightedge.
Different choices of a formal language or its interpretation can give rise to different notions of definability. Specific varieties of definable numbers include the constructible numbers of geometry, the algebraic numbers, and the computable numbers.
 
Contents
1
Constructible numbers
2
Algebraic numbers
3
Computable real numbers
4
Definability in arithmetic
5
Definability in models of ZFC
6
See also
7
References
8
External links
Constructible numbers
One way of specifying a real number uses geometric techniques. A real number r is a constructible number if there is a method to construct a line segment of length r using a compass and straightedge, beginning with a fixed line segment of length 1.
Each positive integer, and each positive rational number, is constructible. The positive square root of 2 is constructible. However, the cube root of 2 is not constructible; this is related to the impossibility of doubling the cube.
Algebraic numbers
 
 
Algebraic numbers on the complex plane colored by degree (red=1, green=2, blue=3, yellow=4)
A real number r is called an algebraic number if there is a polynomial p(x), with only integer coefficients, so that r is a root of p, that is, p(r)=0. Each algebraic number can be defined individually using the order relation on the reals. For example, if a polynomial q(x) has 5 roots, the third one can be defined as the unique r such that q(r) = 0 and such that there are two distinct numbers less than r for which q is zero.
All rational numbers are algebraic, and all constructible numbers are algebraic. There are numbers such as the cube root of 2 which are algebraic but not constructible.
The algebraic numbers form a subfield of the real numbers. This means that 0 and 1 are algebraic numbers and, moreover, if a and b are algebraic numbers, then so are a+b, a−b, ab and, if b is nonzero, a/b.
The algebraic numbers also have the property, which goes beyond being a subfield of the reals, that for each positive integer n and each algebraic number a, all of the nth roots of a that are real numbers are also algebraic.
There are only countably many algebraic numbers, but there are uncountably many real numbers, so in the sense of cardinality most real numbers are not algebraic. This nonconstructive proof that not all real numbers are algebraic was first published by Georg Cantor in his 1874 paper “On a Property of the Collection of All Real Algebraic Numbers”.
Non-algebraic numbers are called transcendental numbers. Specific examples of transcendental numbers include π and Euler’s number e.
Computable real numbers
A real number is a computable number if there is an algorithm that, given a natural number n, produces a decimal expansion for the number accurate to n decimal places. This notion was introduced by Alan Turing in 1936.
The computable numbers include the algebraic numbers along with many transcendental numbers including π and e. Like the algebraic numbers, the computable numbers also form a subfield of the real numbers, and the positive computable numbers are closed under taking nth roots for each positive n.
Not all real numbers are computable. The entire set of computable numbers is countable, so most reals are not computable. Specific examples of noncomputable real numbers include the limits of Specker sequences, and algorithmically random real numbers such as Chaitin’s Ω numbers.
Definability in arithmetic[edit]
Another notion of definability comes from the formal theories of arithmetic, such as Peano arithmetic. The language of arithmetic has symbols for 0, 1, the successor operation, addition, and multiplication, intended to be interpreted in the usual way over the natural numbers. Because no variables of this language range over the real numbers, a different sort of definability is needed to refer to real numbers. A real number a is definable in the language of arithmetic (or arithmetical) if its Dedekind cut can be defined as a predicate in that language; that is, if there is a first-order formula φ in the language of arithmetic, with three free variables, such that
∀m∀n∀p ( φ ( n , m , p )⟺( − 1 ) p⋅n m + 1 < a ) . {\displaystyle \forall m\,\forall n\,\forall p\left(\varphi (n,m,p)\iff {\frac {(-1)^{p}\cdot n}{m+1}}<a\right).}
 
Here m, n, and p range over nonnegative integers.
The second-order language of arithmetic is the same as the first-order language, except that variables and quantifiers are allowed to range over sets of naturals. A real that is second-order definable in the language of arithmetic is called analytical.
Every computable real number is arithmetical, and the arithmetical numbers form a subfield of the reals, as do the analytical numbers. Every arithmetical number is analytical, but not every analytical number is arithmetical. Because there are only countably many analytical numbers, most real numbers are not analytical, and thus also not arithmetical.
Every computable number is arithmetical, but not every arithmetical number is computable. For example, the limit of a Specker sequence is an arithmetical number that is not computable.
The definitions of arithmetical and analytical reals can be stratified into the arithmetical hierarchy and analytical hierarchy. In general, a real is computable if and only if its Dedekind cut is at level
Δ1 0 {\displaystyle \Delta _{1}^{0}}
 of the arithmetical hierarchy, one of the lowest levels. Similarly, the reals with arithmetical Dedekind cuts form the lowest level of the analytical hierarchy.
Definability in models of ZFC[edit]
A real number a is first-order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds (see Kunen 1980, p. 153). This notion cannot be expressed as a formula in the language of set theory.
All analytical numbers, and in particular all computable numbers, are definable in the language of set theory. Thus the real numbers definable in the language of set theory include all familiar real numbers such as 0, 1, π, e, et cetera, along with all algebraic numbers. Assuming that they form a set in the model, the real numbers definable in the language of set theory over a particular model of ZFC form a field.
Each set model M of ZFC set theory that contains uncountably many real numbers must contain real numbers that are not definable within M (without parameters). This follows from the fact that there are only countably many formulas, and so only countably many elements of M can be definable over M. Thus, if M has uncountably many real numbers, we can prove from “outside” M that not every real number of M is definable over M.
This argument becomes more problematic if it is applied to class models of ZFC, such as the von Neumann universe (Hamkins 2010). The argument that applies to set models cannot be directly generalized to class models in ZFC because the property “the real number x is definable over the class model N” cannot be expressed as a formula of ZFC. Similarly, the question whether the von Neumann universe contains real numbers that it cannot define cannot be expressed as a sentence in the language of ZFC. Moreover, there are countable models of ZFC in which all real numbers, all sets of real numbers, functions on the reals, etc. are definable (Hamkins, Linetsky & Reitz 2013).
See also[edit]
Berry’s paradox
Constructible universe
Entscheidungsproblem
Ordinal definable set
Tarski’s undefinability theorem
References[edit]
Hamkins, Joel David (October 2010), “Is the analysis as taught in universities in fact the analysis of definable numbers?”, MathOverflow, retrieved 2016-03-05.
Hamkins, Joel David; Linetsky, David; Reitz, Jonas (2013), “Pointwise Definable Models of Set Theory”, Journal of Symbolic Logic, 78 (1): 139–156, arXiv:1105.4597, doi:10.2178/jsl.7801090.
Kunen, Kenneth (1980), Set Theory: An Introduction to Independence Proofs, Amsterdam: North-Holland, ISBN 978-0-444-85401-8.
Turing, A.M. (1936), “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society, 2 (published 1937), 42 (1), pp. 230–65, doi:10.1112/plms/s2-42.1.230 (and Turing, A.M. (1938), “On Computable Numbers, with an Application to the Entscheidungsproblem: A correction”, Proceedings of the London Mathematical Society, 2 (published 1937), 43 (6), pp. 544–6, doi:10.1112/plms/s2-43.6.544). Computable numbers (and Turing’s a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
External links[edit]
Can each number be specified by a finite text?
hide
vte
Number systems
Countable sets
Natural numbers (
N {\displaystyle \mathbb {N} }
)Integers (
Z {\displaystyle \mathbb {Z} }
)Rational numbers (
Q {\displaystyle \mathbb {Q} }
)Constructible numbersAlgebraic numbers (
A {\displaystyle \mathbb {A} }
)PeriodsComputable numbersDefinable real numbersArithmetical numbersGaussian integers
Division algebras
Real numbers (
R {\displaystyle \mathbb {R} }
)Complex numbers (
C {\displaystyle \mathbb {C} }
)Quaternions (
H {\displaystyle \mathbb {H} }
)Octonions (
O {\displaystyle \mathbb {O} }
)
Split
composition algebras
over
R {\displaystyle \mathbb {R} }
:Split-complex numbersSplit-quaternionsSplit-octonions
over
C {\displaystyle \mathbb {C} }
:Bicomplex numbersBiquaternionsBioctonions
Other hypercomplex
Dual numbersDual quaternionsDual-complex numbersHyperbolic quaternionsSedenions  (
S {\displaystyle \mathbb {S} }
)Split-biquaternionsMulticomplex numbersSpacetime algebra
Other types
Cardinal numbersIrrational numbersFuzzy numbersHyperreal numbersLevi-Civita fieldSurreal numbersTranscendental numbersOrdinal numbersp-adic numbersSupernatural numbersSuperreal numbers
Classification List
Categories: Set theory
 
 
Navigation menu
Not logged in
Talk
Contributions
Create account
Log in
Article
Talk
 
 
More
Search
 
 
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Wikipedia store
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact page
Tools
What links here
Related changes
Upload file
Special pages
Permanent link
Page information
Wikidata item
Cite this page
Print/export
Create a book
Download as PDF
Printable version
 
Languages
Esperanto
한국어
中文
Edit links
This page was last edited on 10 August 2019, at 19:39 (UTC).
Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.
Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Developers
Statistics
Cookie statement
Mobile view
 
 
 
 
 
 
 

更新时间： 2019-12-11 14:55:43 
阅读数：2 

« 关于可定义超实数的最小公理化结构

·发表新评论
用户: admin. 退出 »
 
提交评论
© 2019 无穷小微积分 闽ICP备11004118号,站长：陈启清
 

今天的文章步。 请见本文附件。 袁萌 陈启清 12月分享到此就结束了，感谢您的阅读。