Real functions The real line Axiom
Completeness axiom
Builds on Real numbersSet bounded aboveSupremum
Statement
Let be a nonempty subset of the real numbers that is bounded above. Then has a supremum in .
Remarks
In the axiomatic approach, this is the axiom that distinguishes from the other ordered fields. In a construction of , it is a theorem. The ordered field does not have this property: has no supremum in . The axiom gives the existence of the infimum and the Archimedean property of the reals.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Real numbers object
- Set bounded above definition
- Supremum definition
- Completeness axiom statement
Where this leads
280 pages build on this one.
- Modulus of the conjugate
- Residue at a simple pole
- Derivative of the complex exponential
- Cauchy's integral theorem
- Arguments add under multiplication
- Holomorphic functions on a disc have primitives
- Casorati–Weierstrass theorem
- Chebyshev's inequality
- Riemann mapping theorem
- The real part of a holomorphic function is harmonic
- Residue theorem
- Formula for the modulus
- Open mapping theorem
- Entire function
- Uniform limits of holomorphic functions are holomorphic
- Every real number has a decimal expansion
- Maximum modulus principle
- Correlation coefficient
- Density of the irrationals
- The nth roots of unity
- Order of a zero
- Repeating decimals are rational
- Existence of square roots of nonnegative reals
- Branch cut
- Existence of Laurent expansions on an annulus
- Decimal expansion
- Holomorphic functions are analytic
- Picard's great theorem
- Domain in the complex plane
- Intermediate value theorem for connected spaces
- Power series of the complex logarithm
- The reals are Archimedean
- Annulus
- Ceiling function
- Connected subsets of the real line are intervals
- Weak law of large numbers
- Goursat's theorem
- Polar form
- Riemann's theorem on removable singularities
- Kurtosis
- Harmonic conjugate
- Zero of a holomorphic function
- exp(2 pi i/n) is a primitive root of unity
- Complex differentiability
- Rouché's theorem
- Strong law of large numbers
- Holomorphic function
- Cauchy's integral formula
- Irrationality of the square root of 2
- Number of nth roots of unity
- Existence of the infimum
- Liouville's theorem
- 68–95–99.7 rule
- Cauchy's integral formula for derivatives
- Inverse of a complex number
- The complex exponential is entire
- Skewness
- Modulus is multiplicative
- Mean value property
- Residue
- Cauchy's estimates
- Fundamental theorem of algebra
- Isolated zeros theorem
- Modulus of a complex number
- Quadratic formula
- Approximation property of the supremum
- Schwarz lemma
- exp(1/z) has an essential singularity at 0
- Principal part
- Meromorphic function
- Removable singularity
- Argument principle
- Holomorphic functions with nonzero derivative are conformal
- Holomorphic functions are infinitely differentiable
- Characterization of the floor
- Branch of the logarithm
- Principal value of the argument
- Hurwitz's theorem
- Density of the rationals
- Cauchy–Riemann equations
- Isolated singularity
- Square root
- Morera's theorem
- Standard deviation
- There is a natural number n with 1/n below any positive epsilon
- Pole
- Complex logarithm
- The principal logarithm is holomorphic off the branch cut
- Identity theorem
- Irrationality of the square root of a prime
- Order of a pole
- Essential singularity
- Principal branch
- Existence of nth roots of complex numbers
- Power series are holomorphic in the disc of convergence
- Fundamental theorem of contour integration
- Floor function
- The complex conjugate is not holomorphic
- A complex number times its conjugate
- Path-connected spaces are connected
- Complex power
- Argument of a complex number
- Function with no Laplace transform
- Weierstrass factorization theorem
- Univalent function
- Riesz projector
- Mahler measure
- Arakelyan's theorem
- Conformal invariance of harmonic functions
- Shell theorem
- Ergodic decomposition
- Koksma–Hlawka inequality
- Phragmén–Lindelöf principle for subharmonic functions
- Nevanlinna characteristic
- Cauchy–Pompeiu formula
- Weierstrass elliptic function
- Weierstrass zeta and sigma functions
- Joukowsky transform
- Cheng–Yau gradient estimate
- Schwarzian derivative
- Removable singularities for harmonic functions
- Minimum principle for harmonic functions
- Lyusternik's theorem on tangent spaces
- Durand–Kerner method
- Hardy's uncertainty principle
- Schwarz–Christoffel mapping
- Jensen's formula
- Teichmüller space
- Nevanlinna–Pick interpolation
- Modular lambda function
- Consistency of the maximum likelihood estimator
- Monodromy theorem
- Artin–Schreier theorem
- Perron's irreducibility criterion
- Elliptic function
- Uniformization theorem
- Brent's method
- Mergelyan's theorem
- High indices theorem
- Stein interpolation theorem
- Kobayashi metric
- Wirtinger derivatives
- Runge's theorem
- Carlson's theorem
- Isoperimetric problem of the calculus of variations
- Harmonic majorant
- Gamma function as Mellin transform of the exponential
- Analyticity of the Laplace transform in its half-plane
- Splitting circle method
- Identity theorem in several variables
- Log-modulus of a holomorphic function is subharmonic
- Bisection method
- Kingman's subadditive ergodic theorem
- Holomorphic map between Riemann surfaces
- Cauchy-type integral
- Asymptotic normality of the maximum likelihood estimator
- Catenary problem
- Maximum modulus principle in several variables
- Weierstrass product
- Weyl's lemma
- Zeros and poles
- Bromwich integral
- Poisson–Jensen formula
- Carathéodory's theorem on boundary extension
- Smoothness and analyticity of harmonic functions
- Green's function and the Riemann map
- Band-limited function
- Landau's constants
- Sub-mean value property
- Blaschke product
- Borel–Ritt theorem
- Euler's elastica
- Kakutani's solution of the Dirichlet problem
- Brennan conjecture
- Legendre duplication formula
- Converse of the mean value property
- Local existence of harmonic conjugates
- Pólya's theorem on integer-valued entire functions
- Post's inversion formula
- Hadamard gap theorem
- Monte Carlo integration
- Earnshaw's theorem
- Conformal radius
- Nehari's theorem on univalence
- Euler's sine product
- Completeness of the real numbers
- Nontangential limit
- Hartogs's theorem on separate holomorphicity
- Harmonic measure
- Superharmonic potential
- Borel–Carathéodory theorem
- Dido's problem
- Nested radical
- Cauchy integral formula on a polydisc
- Phragmén–Lindelöf principle
- Strip of convergence of the bilateral transform
- Kramers–Kronig relations
- Second main theorem of Nevanlinna theory
- Nevanlinna theory
- Iterated Laplace transform equals Stieltjes transform
- Birkhoff's ergodic theorem
- Order of a zero or pole
- Wiman–Valiron theory
- Conformal modulus
- Koebe's theorem on the mean value property
- Bloch's theorem
- Hadamard factorization theorem
- Spearman's rank correlation coefficient
- Nested intervals theorem
- Wiener–Hopf method
- Compactness of families of harmonic functions
- Resurgent function
- Bootstrap
- Gradient estimates for harmonic functions
- Osgood's lemma
- Oseledets theorem
- Carathéodory metric
- Brody hyperbolicity
- Schwarz reflection principle
- Laguerre–Pólya class
- Nörlund–Rice integral
- Littlewood subordination theorem
- Fatou's theorem
- Lagrange multipliers on Banach spaces
- Ahlfors theory
- Poles of the gamma function
- First main theorem of Nevanlinna theory
- Liouville's theorem for harmonic functions
- Cauchy–Riemann equations in several variables
- Normal family
- Picard's little theorem
- Liouville's theorems on elliptic functions
- Cauchy–Riemann operator
- Harmonic functions on Riemann surfaces
- Denjoy–Carleman–Ahlfors theorem
- Euler–Gauss limit formula
- Liouville's theorem for planar harmonic functions
- Maximum principle for harmonic functions
- Inner function
- Outer function
- Paley–Wiener theorem
- Nevanlinna class
- Hadamard three-circle theorem for subharmonic functions
- Lindelöf's maximum principle
- Hadamard three-circle theorem
- Schwarz–Pick theorem
- Differentiation in the transform variable
- Jury stability criterion
- Pesin theory
- Grunsky matrix
- Exponential type
- Gamma function has no zeros
- Harmonic measure as exit distribution
- Natural boundary
- Reflection formula for the gamma function
- Riemann surface
- Hadamard three-lines theorem
- Corona theorem
- Parabolic and hyperbolic Riemann surfaces
- Analytic capacity
- Mellin's inverse formula
- Mittag-Leffler's theorem
- Lindelöf's theorem
- Branch point
- Hadamard's two-constants theorem
- Disk algebra
- Bôcher's theorem
- Gauss multiplication formula
- de Branges space
- Reciprocal gamma function
- Automorphism group of a bounded domain is a Lie group
- Circle average
- Multiplication theorem
- Order of an entire function
- Euler integral for the gamma function
- Functional equation of the gamma function
- Hartogs lemma for subharmonic functions
- Faber polynomials
- Montel's theorem
- Residue calculus for Laplace inversion
Further reading
- Web https://en.wikipedia.org/wiki/Least-upper-bound_property, Statement for real numbers
About this page
| Tag | 0AXWET80YW |
|---|---|
| URI | m2://0AXWET80YW |
| Aliases | least-upper-bound-property, supremum-property, dedekind-completeness |
| Kind | statement, axiom |
| Writing | W0 stub |
| MSC | 26A03 |
| Status | This copy of the site has no build data. Run m2 status 0AXWET80YW. |
| Uses | Real numbers, Set bounded above, Supremum |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.