Least upper bound axiom: Definition from Answers.com

The least upper bound axiom, also abbreviated as the LUB axiom, is an axiom of real analysis stating that if a nonempty subset of the real numbers has an upper bound, then it has a least upper bound. It is an axiom in the sense that it cannot be proven by the other axioms within the system of real analysis. This axiom is very useful since it is essential to the proof that the real number line is a complete metric space. The rational number line does not satisfy the LUB axiom and hence is not complete.

An example is $S = \{ x\in \mathbb{Q}|x^2 < 2\}$ . 2 is certainly an upper bound for the set. However, this set has no least upper bound — for any upper bound $x \in \mathbb{Q}$ , we can find another upper bound $y \in \mathbb{Q}$ with $y < x$ .

Proof that the real number line is complete

Let $\{ s_n\}_{n\in\N}$ be a Cauchy sequence. Let S be the set of real numbers that are bigger than $s n$ for only finitely many $n\in\N$ . Let $\varepsilon\in\R ^+$ . Let $N\in\N$ be such that $\forall n,m\ge N,$ $|s_n-s_m|<\varepsilon$ . So, the sequence passes through the interval $(s_N-\varepsilon ,s_N+\varepsilon )$ infinitely many times and through its complement at most a finite number of times. That means that $s_N-\varepsilon\in S$ and hence $S\not=\emptyset$ . Clearly, $s_N+\varepsilon$ is an upper bound for S. By the LUB Axiom, let b be the least upper bound. $s_N-\varepsilon\le b\le s_N+\varepsilon$ . By the triangle inequality, $\forall n\ge N,$ $d(s_n,b)\le d(s_n,s_N)+d(s_N,b)\le\varepsilon +\varepsilon =2\varepsilon.$ Therefore, $s_n\longrightarrow b$ and so $\R$ is complete. Q.E.D.

References

upper and lower bounds (including the lub axiom) at Springer's Encyclopedia of Mathematics

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	Fundamental axiom of analysis
	Continuity property
	Well-ordering principle

	Is a player out of bounds if the ball and his upper body are out of bounds before his knee hits the ground in bounds? Read answer...
	What is the sie of an array whos upper bound is 100? Read answer...
	What is the upper bound of an array whose size is 100? Read answer...

	Prove that greatest lower bound and least upper bound of a lattice are associative?
	What is the upper bound of an varray of varrays?
	Find upper bound?

		Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved. Read more
		Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Least upper bound axiom". Read more

Least upper bound axiom

Proof that the real number line is complete

See also

References