Difference between revisions of "Real number"
IntrepidMath (talk | contribs) m (Real numbers moved to Real number: Singular, is mostly references in articles as real number, is Defined as real number, etc.) |
Smileapple (talk | contribs) m (→The set \mathbb{R}) |
||
(9 intermediate revisions by 8 users not shown) | |||
Line 1: | Line 1: | ||
− | A '''real number''' is a number that falls on the real number line. It can have any value. Some examples of real numbers are:<math>1, 2, -23.25, 0, \frac{\pi}{\phi}</math>, and so on. Numbers that are not real are <math>3i</math>, <math>3+2.5i</math>, <math>3+2i+2j+k</math>, i.e. [[complex | + | A '''real number''' is a number that falls on the real number line. It can have any value. Some examples of real numbers are:<math>1, 2, -23.25, 0, \frac{\pi}{\phi}</math>, and so on. Numbers that are not real are <math>\ 3i</math>, <math>\ 3+2.5i</math>, <math>\ 3+2i+2j+k</math>, i.e. [[complex number]]s, and [[quaternion]]s. |
− | The set of real numbers | + | The set of real numbers, denoted by <math>\mathbb{R}</math>, is a subset of [[complex number]]s(<math>\mathbb{C}</math>). Commonly used subsets of the real numbers are the [[rational number]]s (<math>\mathbb{Q}</math>), [[integer]]s (<math>\mathbb{Z}</math>), [[natural number]]s (<math>\mathbb{N}</math>) and [[irrational number]]s (sometimes, but not universally, denoted <math>\mathbb{J}</math>). In addition <math>\mathbb{Z}^{+}</math> means positive integers and <math>\mathbb{Z}^{-}</math> means negative integers. The real numbers can also be divided between the [[algebraic number]]s and [[transcendental number]]s, although these two classes are best understood as subsets of the [[complex number]]s. |
+ | ==The set <math>\mathbb{R}~</math>== | ||
+ | The set of Real numbers is a [[Least upper bound|complete]], [[Order relation|ordered]] [[field]] under addition and multiplication. | ||
− | |||
+ | [[Dedekind]] developed a method to construct <math>\mathbb{R}</math>, the set of Real numbers from the set of [[rational number]]s, using the very elegant idea of '''cuts'''. | ||
+ | |||
+ | ===Cuts=== | ||
+ | Let <math>\mathbb{Q}</math> be the set of rational numbers. | ||
+ | |||
+ | Let <math>\alpha\subset\mathbb{Q}</math> be non-empty | ||
+ | |||
+ | |||
+ | We say that <math>\alpha</math> is a '''cut''' if and only if | ||
+ | |||
+ | (1) <math>\alpha\neq\mathbb{Q}</math> and <math>\alpha</math> is [[bounded]] above | ||
+ | |||
+ | (2) If <math>a\in\alpha</math>, <math>p\in\alpha\forall p<a</math> | ||
+ | |||
+ | (3) If <math>p</math> is a rational and <math>p\in\alpha</math> then there exists a rational <math>q>p</math> such that <math>q\in\alpha</math> | ||
+ | |||
+ | |||
+ | We define <math>\mathbb{R}</math> to be the set of all cuts <math>\alpha</math> | ||
+ | |||
+ | Using this definition, we can show that <math>\mathbb{R}</math> possesess all the properties mentioned above. | ||
+ | |||
+ | ===Field Axioms=== | ||
+ | ===Order Relation=== | ||
+ | Let <math>\alpha</math>, <math>\beta</math> be cuts | ||
+ | |||
+ | We say that <math>\alpha<\beta</math> iff <math>\alpha\subset\beta</math> | ||
+ | |||
+ | ===Completeness=== | ||
+ | Let <math>A\subset\mathbb{R}</math> | ||
+ | |||
+ | Let <math>M\in\mathbb{R}</math> be an [[bounded|upper bound]] of <math>A</math> | ||
+ | |||
+ | Let <math>S</math> be the set of all rationals <math>q</math> such that <math>q\notin\alpha</math> <math>\forall</math> <math>\alpha\in A</math>. | ||
+ | |||
+ | As <math>A</math> is bounded above, <math>S</math> is non empty. | ||
+ | |||
+ | Consider the set <math>S'=\{-q|q\in S\}</math> | ||
+ | |||
+ | We see that <math>S'</math> is a cut, say <math>\gamma</math> | ||
+ | |||
+ | Thus, the cut <math>-\gamma</math> is the supremum of set <math>A</math> | ||
+ | |||
+ | <p align="right">QED</p> | ||
+ | |||
+ | ==See Also== | ||
+ | |||
+ | *[[Field]] | ||
*[[Natural number]] | *[[Natural number]] | ||
− | |||
*[[Rational number]] | *[[Rational number]] | ||
*[[Irrational number]] | *[[Irrational number]] | ||
*[[Complex number]] | *[[Complex number]] | ||
+ | |||
+ | |||
+ | [[Category:Definition]] | ||
+ | [[Category:Analysis]] |
Latest revision as of 23:22, 5 January 2022
A real number is a number that falls on the real number line. It can have any value. Some examples of real numbers are:, and so on. Numbers that are not real are
,
,
, i.e. complex numbers, and quaternions.
The set of real numbers, denoted by , is a subset of complex numbers(
). Commonly used subsets of the real numbers are the rational numbers (
), integers (
), natural numbers (
) and irrational numbers (sometimes, but not universally, denoted
). In addition
means positive integers and
means negative integers. The real numbers can also be divided between the algebraic numbers and transcendental numbers, although these two classes are best understood as subsets of the complex numbers.
The set ![$\mathbb{R}~$](//latex.artofproblemsolving.com/c/2/c/c2c690e299ab3e6a27480408234483bfaa873f62.png)
The set of Real numbers is a complete, ordered field under addition and multiplication.
Dedekind developed a method to construct , the set of Real numbers from the set of rational numbers, using the very elegant idea of cuts.
Cuts
Let be the set of rational numbers.
Let be non-empty
We say that is a cut if and only if
(1) and
is bounded above
(2) If ,
(3) If is a rational and
then there exists a rational
such that
We define to be the set of all cuts
Using this definition, we can show that possesess all the properties mentioned above.
Field Axioms
Order Relation
Let ,
be cuts
We say that iff
Completeness
Let
Let be an upper bound of
Let be the set of all rationals
such that
.
As is bounded above,
is non empty.
Consider the set
We see that is a cut, say
Thus, the cut is the supremum of set
QED