What is Real numbers: Definition and 212 Discussions

In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line (or alternatively, a quantity that can be represented as an infinite decimal expansion). The adjective real in this context was introduced in the 17th century by René Descartes, who distinguished between real and imaginary roots of polynomials. The real numbers include all the rational numbers, such as the integer −5 and the fraction 4/3, and all the irrational numbers, such as √2 (1.41421356..., the square root of 2, an irrational algebraic number). Included within the irrationals are the real transcendental numbers, such as π (3.14159265...). In addition to measuring distance, real numbers can be used to measure quantities such as time, mass, energy, velocity, and many more. The set of real numbers is denoted using the symbol R or




R



{\displaystyle \mathbb {R} }
and is sometimes called "the reals".Real numbers can be thought of as points on an infinitely long line called the number line or real line, where the points corresponding to integers are equally spaced. Any real number can be determined by a possibly infinite decimal representation, such as that of 8.632, where each consecutive digit is measured in units one-tenth the size of the previous one. The real line can be thought of as a part of the complex plane, and the real numbers can be thought of as a part of the complex numbers.

These descriptions of the real numbers are not sufficiently rigorous by the modern standards of pure mathematics. The discovery of a suitably rigorous definition of the real numbers—indeed, the realization that a better definition was needed—was one of the most important developments of 19th-century mathematics. The current standard axiomatic definition is that real numbers form the unique Dedekind-complete ordered field (




R



{\displaystyle \mathbb {R} }
; + ; · ; <), up to an isomorphism, whereas popular constructive definitions of real numbers include declaring them as equivalence classes of Cauchy sequences (of rational numbers), Dedekind cuts, or infinite decimal representations, together with precise interpretations for the arithmetic operations and the order relation. All these definitions satisfy the axiomatic definition and are thus equivalent.
The set of all real numbers is uncountable, in the sense that while both the set of all natural numbers and the set of all real numbers are infinite sets, there can be no one-to-one function from the real numbers to the natural numbers. In fact, the cardinality of the set of all real numbers, denoted by





c




{\displaystyle {\mathfrak {c}}}
and called the cardinality of the continuum, is strictly greater than the cardinality of the set of all natural numbers (denoted






0




{\displaystyle \aleph _{0}}
, 'aleph-naught').
The statement that there is no subset of the reals with cardinality strictly greater than






0




{\displaystyle \aleph _{0}}
and strictly smaller than





c




{\displaystyle {\mathfrak {c}}}
is known as the continuum hypothesis (CH). It is neither provable nor refutable using the axioms of Zermelo–Fraenkel set theory including the axiom of choice (ZFC)—the standard foundation of modern mathematics. In fact, some models of ZFC satisfy CH, while others violate it.

View More On Wikipedia.org
  1. F

    B Distance between real numbers

    Why is it that the distance between two real numbers ##a## and ##b## in an ordered interval of numbers, for example ##a<x_{1}<\ldots <x_{n-1}<b##, is given by $$\lvert a-b\rvert$$ when there are in actual fact $$\lvert a-b\rvert +1$$ numbers within this range?! Is it simply that, when measuring...
  2. M

    Every positive real number has a unique positive n'th root

    Homework Statement Show, using the axiom of completeness of ##\mathbb{R}##, that every positive real number has a unique n'th root that is a positive real number. Or in symbols: ##n \in \mathbb{N_0}, a \in \mathbb{R^{+}} \Rightarrow \exists! x \in \mathbb{R^{+}}: x^n = a## Homework...
  3. L

    A Why Can't the Continuum Hypothesis Be Decided Using Standard Real Number Models?

    I know that there are several models of the real numbers, some where the Continuum Hypothesis holds, others where it does not. I would like to understand why the usual definition of the reals, limits of Cauchy sequences of rational numbers under the usual absolute value norm, isn't one of these...
  4. M

    MHB Surjectivity of x²+3 for Real Numbers: Testing for Surjectivity

    is the function x²+3 surjective for real numbers. how do you test for surjectivity in general?
  5. NoName3

    MHB Is the Product of Real Numbers Always Larger When Exponentiated?

    For any $a \in \mathbb{R}$, let $a^3$ denote $a \cdot a \cdot a$. Let $x, y \in \mathbb{R}$. 1. Prove that if $x < y$ then $x^3 < y^3$. 2. Prove that there are $c, d \in \mathbb{R}$ such that $c^3 < x < d^3$.
  6. abdulsulo

    Fortran How to Handle Floating Point Errors in Fortran90 Real Number Calculations

    Hello guys I am trying to write a code which is below; But my results seems to be fairly wrong. I noticed some of my real numbers are not what I assigned them. For example Ks shows on the watch window as 9.9999999E-5. How can I fix such situation? program hw1 REAL:: G,DVIS,Ks...
  7. E

    MHB Complete Sets of Real Numbers: Find All

    Call a nonempty (finite or infinite) set $A\subseteq\Bbb R$ complete if for all $a,b\in\Bbb R$ such that $a+b\in A$ it is also the case that $ab\in A$. Find all complete sets.
  8. anemone

    MHB Proving Inequality for Positive Real Numbers

    For positive real numbers $a,\,b,\,c$, prove the inequality: a + b + c ≥ \frac{a(b + 1)}{a + 1} + \frac{b(c + 1)}{b + 1}+ \frac{c(a + 1)}{c + 1}
  9. anemone

    MHB Inequality challenge for positive real numbers

    If $a$ and $b$ are two positive real, and that $a^3+b^3=a-b$, prove that $2\left(\sqrt{2}-1\right)a^2-b^2\lt 1$.
  10. C

    Quantiles on a stream of real numbers

    I need to calculate some quantiles for a sample of 108 real numbers with unknown mean and unknown variance. I currently store and sort those numbers, but I would try a streaming method where the numbers are not stored. In a paper is written: "If the size of the input stream, N is known, then the...
  11. barbara

    MHB Proving an Equivalence Relation on Real Numbers

    I know that 1. To show the relation is reflexive, we need to show that for any x, using the definition of R, we have xRx. The definition of R means that we must have |x - x| is even.2. To show that R is symmetric, we would have to show that if xRy then yRx. In the context of the definition...
  12. PengKuan

    Cardinality of the set of binary-expressed real numbers

    Cardinality of the set of binary-expressed real numbers This article gives the cardinal number of the set of all binary numbers by counting its elements, analyses the consequences of the found value and discusses Cantor's diagonal argument, power set and the continuum hypothesis. 1. Counting...
  13. anemone

    MHB Solving for x: Four Positive Real Numbers

    Let $a,\,b,\,c,\,d$ be different positive real numbers such that $a+\dfrac{1}{b}=b+\dfrac{1}{c}=c+\dfrac{1}{d}=d+\dfrac{1}{a}=x$. Find $x$.
  14. anemone

    MHB Proving $m+n=xy$ Using Positive Real Numbers

    Let $x,\,y,\,m,\,n$ be positive real numbers such that $m^2-m+1=x^2$, $n^2+n+1=y^2$ and $(2m-1)(2n+1)=2xy+3$. Prove that $m+n=xy$.
  15. Dethrone

    MHB Determinant - Proof for distinct real numbers

    I was able to prove a), but I am unsure how to prove b. Is there some sort of geometric interpretation I should be aware of?
  16. anemone

    MHB Proving Inequality with Positive Real Numbers $x,\,y,\,z$

    Let $x,\,y,\,z$ be positive real numbers such that $xy+yz+zx=3$. Prove the inequality $(x^3-x+5)(y^5-y^3+5)(z^7-z^5+5)\ge 125$.
  17. evinda

    MHB What is the definition of real numbers in terms of rational sequences?

    Hi! (Smile) We define the set $U=\mathbb{Z} \times (\mathbb{Z}-\{0\})$ and over $U$ we define the following relation $S$: $$\langle i,j \rangle S \langle k,l \rangle \iff i \cdot l=j \cdot k$$ $$\mathbb{Q}=U/S=\{ [\langle i, j \rangle ]_S: i \in \mathbb{Z}, j \in \mathbb{Z} \setminus \{0\}...
  18. anemone

    MHB Find the number of real numbers that satisfy the given equation

    How many real numbers $x$ satisfy $\sin x=\dfrac{x}{100}$?
  19. PcumP_Ravenclaw

    Proof of (ir)rational numbers between real numbers a and b

    Q4) Let a and b be real numbers with a < b. 1) Show that there are infinitely many rational numbers x with a < x < b, and 2) infinitely many irrational numbers y with a < y < b. Deduce that there is no smallest positive irrational number, and no smallest positive rational number. 1) a < x <...
  20. M

    MHB Find a subset of the real numbers

    Hey! :o I have to find an open and dense subset of the real numbers with arbitrarily small measure. Since the set of the rational numbers is dense, could we use a subset of the rationals?? (Wondering) How could I find such a subset, that the measure is arbitrarily small?? (Wondering)
  21. T

    Proving Vector Space Axioms for f(x) = ax+b, a,b Real Numbers

    Question: Show that the set of all functions of the form f(x) = ax+b, with a and b real numbers forms a vector space, but that the same set of functions with a > 2 does not. Equations: the axioms for vector spaces Attempt: I think that the axiom about the zero vector is the one I need to use...
  22. Demystifier

    A confusion about Godel theorem and real numbers

    I am confused, since some claims about the first Godel incompleteness theorem and real numbers seem mutually contradictory. In essence, from one point of view it seems that the Godel theorem applies to real numbers, while from another point of view it seems that the Godel theorem does not apply...
  23. D

    Why are real numbers usually split into Rational/Algebraic/Transcendental?

    I think its fairly obvious to most people why a number being rational (or not) is extremely important. But I honestly do not see why being transcendental is as interesting of a property (though its clearly somewhat interesting). What interesting applications are there of knowing a number is...
  24. Julio1

    MHB Proving an Inequality Involving Real Numbers

    If $a,b\in \mathbb{R}^{+}.$ Show that $a>b\implies a^{-1}<b^{-1}.$
  25. anemone

    MHB Find the sum of all real numbers

    Find the sum of all real numbers $a$ such that $5a^4-10a^3+10a^2-5a-11=0$.
  26. Greg Bernhardt

    What are extended real numbers

    Definition/Summary Let \mathbb{R} be the set of all real numbers. We can extend \mathbb{R} by adjoining two elements +\infty and -\infty. This forms the extended real number system. In notation: \overline{\mathbb{R}}:=\mathbb{R}\cup \{+\infty,-\infty\} The extended real numbers are...
  27. Albert1

    MHB Find $m$ in Real Numbers: $x,y\in R$

    $x,y\in R$ $if: \sqrt {3x+5y-2-m}+\sqrt {2x+3y-m}=\sqrt {x-200+y}\,\times\sqrt {200-x-y}$ $find:\,m=?$
  28. anemone

    MHB Solve Equation $\sqrt[3]{a-1}+\sqrt[3]{a}+\sqrt[3]{a+1}=0$ in Real Numbers

    Solve in real numbers the equation $\sqrt[3]{a-1}+\sqrt[3]{a}+\sqrt[3]{a+1}=0$
  29. A

    Find all possible real numbers such that the series is convergent.

    Homework Statement Is there a real number c such that the series: ∑ (e - (1+ 1/n)^n + c/n), where the series goes from n=1 to n=∞, is convergent? The Attempt at a Solution I used the ratio test by separating each term of the function as usual to find a radius of convergence, but that doesn't...
  30. Fredrik

    Real numbers without set theory

    I understand the definition of real numbers in set theory. We define the term "Dedekind-complete ordered field" and prove that all Dedekind-complete ordered fields are isomorphic. Then it makes sense to say that any of them can be thought of as "the" set of real numbers. We can prove that a...
  31. tom.stoer

    The set of the real numbers is closed

    The set of the real numbers is closed. For me this is nearly trivial (*) but perhaps I miss something; a colleagues insists that there are some deeper considerations why this is far from trivial - but I don't get his point (*) A) A set is closed if its complement is open; the complement...
  32. M

    Prove statement on a sequence of real numbers

    Homework Statement . Prove that ##\{x_n\}_{n \in \mathbb N} \subset \mathbb R## doesn't have any convergent subsequence iff ##lim_{n \to \infty} |x_n|=+\infty##. The attempt at a solution. I think I could correctly prove the implication ##lim_{n \to \infty} |x_n|=+\infty \implies## it...
  33. N

    All real numbers are complex numbers?And are I #'s orthogonal R#'s?

    A) I understand that complex numbers come in the form z= a+ib where a and b are real numbers. In the special case that b = 0 you get pure real numbers which are a subset of complex numbers. I read that both real and imaginary numbers are complex numbers so I am a little confused with notations...
  34. anemone

    MHB Solving for Real Numbers $a$ and $b$ in $f(x)=\dfrac{1}{ax+b}$

    Hi MHB, This problem has given me a very hard time because I have exhausted all the methods that I know to figure out a way to find for the values for both a and b but no, there must be a trick to this problem and I admit that it is a question that is out of my reach... Could you show me...
  35. S

    Let a and b be real numbers with a < b.

    Homework Statement Let a and b be real numbers with a < b. a. Derive a formula for the distance from a to b. Hint: Use 3 cases and a visual argument on the number line. b. Use your work in part (a) to derive a formula for the distance between (a,c) and (b,c) in a plane. c. Use the...
  36. anemone

    MHB Solving for $abcd$ Given Real Numbers

    Let $a, b, c, d$ be real numbers such that a=\sqrt{4-\sqrt{5-a}}, b=\sqrt{4+\sqrt{5-b}}, c=\sqrt{4-\sqrt{5+c}} and d=\sqrt{4+\sqrt{5+d}}. Calculate $abcd$.
  37. paulmdrdo1

    MHB Can Set Union Have an Additive Inverse Like Real Numbers?

    1.show that there is no axiom for set union that correspond to "Existence of additive inverses" for real numbers, by demonstrating that in general it is impossible to find a set X such that $A\cup X=\emptyset$. what is the only set $\emptyset$ which possesses an inverse in this sense? 2. show...
  38. B

    MHB Why Is the Distributive Property Key in Simplifying Algebraic Expressions?

    in the following exercises, assume that x stands for an unknown real number, and assume that $x^2=x\times x$. which of the properties of real numbers justifies each of the following statement? a. $(2x)x=2x^2$ b. $(x+3)x=x^2+3x$ c. $4(x+3)=4x+4\times 3$ my answers a. distributive property b...
  39. anemone

    MHB Which Real Numbers Intersect This Curve at Four Distinct Points?

    Find the real numbers $c$ for which there is a straight line that intersects the curve $y=x^4+9x^3+cx^2+9x+4$ at four distinct points?
  40. paulmdrdo1

    MHB What Axioms Justify the Simplification of Polynomial Expressions?

    in this problem we drop the use of parentheses when this step is justified by associative axioms. thus we write $\displaystyle x^2+2x+3\,\,instead\,\,of\,\,\left(x^2+2x\right)+3\,or\,x^2+\left(2x+3\right)$. tell what axioms justify the statement: 1. $\displaystyle...
  41. paulmdrdo1

    MHB Using Properties of Real Numbers: Justifying Equalities

    justify each of the steps in the following equalities. i don't know where to start. what i know is i have to use properties of real numbers. please help! 1. $\displaystyle \left ( x+3 \right )\left(x+2\right)\,=\,\left ( x+3 \right )x+\left ( x+3 \right )2\,=\,\left ( x^2+3x \right )+\left (...
  42. anemone

    MHB Finding the Sum of Real Numbers Satisfying Cubic Equations

    The real numbers x and y satisfy x^3-3x^2+5x-17=0 and y^3-3y^2+5y+11=0. Determine the value of x+y.
  43. E

    What is the Sixth Digit of a Number That is a Multiple of 73 and 137?

    Homework Statement An eight digit number is a multiple of 73 and 137. If the second digit from the left of the number is seven, find the 6th digit from the left of the number. Homework Equations N.A. The Attempt at a Solution I don't know any clear method for solving this problem...
  44. STEMucator

    Prove every convergent sequence of real numbers is bounded &

    Homework Statement The question : http://gyazo.com/7eb4b86c61150e4af092b9f8afeaf169 Homework Equations Sup/Inf axioms Methods of constructing sequences ##ε-N## ##lim(a_n) ≤ sup_n a_n## from question 5 right before it. I'll split the question into two parts. The Attempt at a...
  45. anemone

    MHB Real Solutions for Equation |x-|x-|x-4||| = a

    Find all real numbers a such that the equation |x-|x-|x-4||| =a has exactly three real solutions.
  46. ssamsymn

    Is there a map from real numbers to non integers?

    Can you help me to construct a 1-1 mapping from real numbers onto non-integers? thanks
  47. B

    Cardinality of infinite sequences of real numbers

    I have to prove that the cardinality of the set of infinite sequences of real numbers is equal to the cardinality of the set of real numbers. So: A := |\mathbb{R}^\mathbb{N}|=|\mathbb{R}| =: B My plan was to define 2 injective maps, 1 from A to B, and 1 from B to A. B <= A is trivial, just...
  48. F

    Calculus II - Real numbers proofing

    Homework Statement Show that |a-b|<= |y-a|+|x-y|+|x-b|, for all x,y in ℝ Homework Equations The Attempt at a Solution |a-b| <= |y-a+x-y+x-b| (correct? Not sure about this one...is it not part of the triangle rule?) |a-b| <= |2x-b-1| |a-b+2x-2x| <= |2x-b-1| |a-2x| + |2x-b| <=...
  49. A

    Prove that for all real numbers x there is a y n which case x<y

    Homework Statement prove that (\forallx\inR) (\existsy\inR) : x < y Homework Equations The Attempt at a Solution x < y y= x+1 then x<x+1 which is correct but I'm kinda not sure of this answer...
  50. R

    Solving Bra-Ket Equations: Hermitian Operators & Real Numbers

    bra - ket?? Hi, maybe a stupid question, but i would like to know if, if We have a real number, but we are i a vector space, and the operator is hermitian, is |a> is equal to < a |*? i assume this, because if a is the vector (1,0) (spin up), and only real entries. im trying to make...
Back
Top