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. T

    Is Indirect Proof Easier for Proving Inequality Involving Real Numbers?

    Homework Statement Let x \in ℝ Prove that if 3x^{4}+1≤x^{7}+x^{3}, then x > 0 Homework Equations None The Attempt at a Solution Assume 3x^{4}+1≤x^{7}+x^{3} then 0 ≤ -3x^{4}-1≤x^{7}+x^{3} Then I assumed that each was greater than or equal to 0, which I thought gave the desired...
  2. H

    MHB The cumulative hierarchy and the real numbers

    We define the cumulative hierarchy as: $V_0=\emptyset$ $V_{\alpha+1}=\mathcal{P}(V_\alpha)$ If $\lambda$ is a limit ordinal then $V_\lambda=\bigcup_{\alpha<\lambda} V_\alpha$ Then we have a picture of a big V where we keep building sets up from previous ones and each $V_\alpha$ is the class...
  3. A

    How to find a basis for the vector space of real numbers over the field Q?

    So the title says everything. Let's assume R is a set equipped with vector addition the same way we add real numbers and has a scalar multiplication that the scalars come from the field Q. I believe the dimension of this vector space is infinite, and the reason is we have transcendental numbers...
  4. N

    The basis of the Real numbers over the Irrationals

    1. What can be said of the dimension of the basis of the Reals over the Irrationals 2. Homework Equations 3. I believe the basis is infinite because any real number can be made out of the combination of irrational vectors multiplied by the same irrational coefficient to make any real number...
  5. A

    MHB Proving Real Number Exists in N

    how to prove that for any real number in r (0,1) there exist a natural number n in N such that rn > 1
  6. S

    Mathematica To generate and plot random real numbers in Mathematica within a specified time range

    Hi, I'm trying to write a short code in Mathematica that can generate random real numbers in - say 5 secs, and then plot this against any specified range I want. An additional complexity is that the function I'm generating the random numbers for is embedded in an integral. Here's an example...
  7. V

    MHB Responding to MF91's Claims on Real Numbers

    I recently watched the following video on youtube: MF91: Difficulties with real numbers as infinite decimals I - YouTube The guy in this video is a mathematical finitist and he claims that there is some problem with the foundation of modern mathematics, in particular modern analysis, I think...
  8. P

    Skip reading N real numbers while reading data from a ascii file

    Hi all, I'm upgrading a legacy f77 code to f90 standards. I'm trying to make some of the global arrays as dynamic arrays so that at a later stage it would be easier for me to parallelize whole application. Coming to my problem, I need to read some numbers from a text file so that I can...
  9. B

    Proving the Inequality of Two Real Numbers

    Homework Statement Prove that for every two distinct real numbers a and b, either (a+b)/2>a or (a+b)/2>bHomework Equations The Attempt at a Solution Proof: if two distinct numbers a and b then (a+b)/2>a Since a≠b and a,bεR, (a+b)/2>a=a+b>2a=b>a. Therefore (a+b)/2>a if b>a. and if two...
  10. D

    Strange real numbers requiring use of complex numbers to exist

    I couldn't really think of a good title for this question, lol. Is it possible that a real number exists that can only be expressed in exact form when that form must includes complex numbers? For example, the equation 2 \, x^{3} - 6 \, x^{2} + 2 = 0 has the following roots x_1 =...
  11. M

    Find All Values of a for Continuous Function f on Real Numbers

    How do you find all the values of "a" such that f is continuous on all real numbers? Find all values of a such that f is continuous on \Re f(x)= x+1 if x\leq a x^2 if x>a I tried solving but i do not even know where to start! Please help!
  12. K

    Real numbers as powers of real exponents

    Just a quick question for you guys, I've been unable to find the answer to this. Can all real numbers be written as n^p, where p is a real number?
  13. N

    Factoring polynomials over real and complex numbers

    Homework Statement Factorise z^{8} -15z^{4} - 16 over the Complex numbers and Real numbers The Attempt at a Solution I factorised over the complex numbers, I'm not sure what they mean by over the real numbers. Do I substitute z = (x + iy) and then do it by expanding and separating...
  14. J

    The class indexed by real numbers is a set?

    Let \mathcal{S} = \{S_{i}:i \in \mathbb{R} \} where S_{i} is a set. Then \mathcal{S} is a set? Or, can this notation make sense in some way?
  15. S

    Metric and completeness of real numbers

    So far I have learned a bit about topological spaces, there has been several occasions regarding metric spaces where I had to invoke completeness (or at least uncountability) of real numbers R, which is itself a property of the usual metric space of R. For example, to show that any countable...
  16. L

    Real Numbers: Axioms or Theorem?

    Hi there, In most books that I saw, the set of real numbers under the usual sum and product is considered as a Field and say that's by the field axioms. But I have surprised when I have seen, it is a theorem. The question, are these axioms? or can they be proved? Thank you very much.
  17. B

    Show its not a group for # where a#b=a+b-ab in the set of all real numbers

    Homework Statement In set theory, i have a two part question, the first is showing that the system S={set of all real numbers( \Re )}, #} where a#b=a+b-ab we have to show that it's not a group. and then find what c is so that the system = { \Re \cap\overline{c}, # } is a group.Homework...
  18. anemone

    MHB Can x, y, and z be the side lengths of a triangle?

    Let ABC be a triangle. Prove that $sin^2\frac{A}{2}+sin^2\frac{B}{2}+sin^2\frac{C}{2}+2sin\frac{A}{2}sin\frac{B}{2}sin\frac{C}{2}=1$. Conversely, prove that if x, y and z are positive real numbers such that $x^2y^2+z^2+2xyz=1$, then there is a triangle ABC such that $x=sin\frac{A}{2}...
  19. T

    Find the necessary and sufficient conditions on the real numbers a,b,c

    Find the necessary and sufficient conditions on the real numbers a,b,c for the matrix: \begin{bmatrix} 1 & a & b\\ 0 & 1 & c \\ 0 & 0 & 2 \end{bmatrix} to be diagonalizable. Attempt: Now for this one I also solved for the eigenvlues which were: λ1 = 1, λ2 = 1, λ3 = 2 So the problematic...
  20. C

    How to order a set of real numbers?

    Homework Statement How to order a set of real numbers, from the smallest to the largest, without knowing any members of the set, but knowing that there are finite members, and that these members are all real numbers? Homework Equations - The Attempt at a Solution Tried Googling...
  21. Z

    A vector space W over the real numbers is the set of all 2 x 2

    Homework Statement A vector space W over the real numbers is the set of all 2 x 2 Hermitian matrices. Show that the map T defined as: T(x,y,z,t) = [t+x y+iz] [y-iz t-x] from R4 to W is an isomorphism. Homework Equations The Attempt at a Solution I know that for the map...
  22. J

    Set of real numbers in a finite number of words

    Hello everybody, Yesterday I've read that there exist a real number r which cannot be defined by a finite number of words. This result, although quite awesome, is so strange that it lead Poincaré to doubt Cantor's work and state "never consider objects that can't be defined in finite number...
  23. T

    Proving the Sequence of Real Numbers is Not Cauchy

    Homework Statement Show that the sequence of real numbers defined by x_{n + 1} = x_n + \frac{1}{x_n^2}, \, x_1 = 1 is not a Cauchy sequence. Homework Equations A sequence \{ p_n \} is Cauchy if and only if, for all \varepsilon > 0, there exists an N > 0 such that d(p_n, p_m) <...
  24. L

    Cantor's Diagonalization Proof of the uncountability of the real numbers

    I have a problem with Cantor's Diagonalization proof of the uncountability of the real numbers. His proof appears to be grossly flawed to me. I don't understand how it proves anything. Please take a moment to see what I'm talking about. Here is a totally abstract pictorial that attempts...
  25. D

    For which positive real numbers a does the series converge

    Homework Statement For which positive real numbers a does the series Ʃo→∞ a^log(n) converge. Here logarithms are to the base e Homework Equations Im afraid I'm not sure where to start, I'm not sure which topics would be applicable to this question. If someone could point...
  26. B

    Isomorphism between groups of real numbers

    Apparently there is an isomorphism between the additive group (ℝ,+) of real numbers and the multiplicative group (ℝ_{>0},×) of positive real numbers. But I thought that the reals were uncountably infinite and so don't understand how you could define a bijection between them?! Thanks for...
  27. T

    Subrings of Real numbers which are discrete

    Homework Statement Find all subrings of \mathbb{R} which are discrete subsets Homework Equations For the purpose of our class, a ring is a ring with identity, not necessarily commutative. The Attempt at a Solution First suppose that S\subset \mathbb{R} is a subring of \mathbb{R}...
  28. C

    Are All Real Numbers Computable in Probability Theory Simulations?

    I was watching a lecture on computable real numbers, And in the lecture they talked about how this set of numbers is countable. And I could see this because the numbers that a computer generates would be listable, I could write them down on a list. For example pi is a computable real number...
  29. C

    MATLB - how to show REAL numbers only

    I'm trying to use the MATLAB symbolic toolkit, but the "conj" term keeps annoying me. Here's an example: >>syms l d >>A=[l d ; d*l -l*l*d] >>A' ans = [ conj(l), conj(d)*conj(l)] [ conj(d), -conj(d)*conj(l)^2] How do I tell MATLAB I'm only interested in real numbers, and get rid...
  30. S

    Given any real numbers a and b such that a<b, prove that for any natural number n

    Given any real numbers a and b such that a < b, prove that for any natural number n, there are real numbers x1, x2, x3, ... , xn such that a < x1 < x2 < x3 < ... < xn < b. The hint I was given says : Define xi recursively by x1 = (a+b)/2 and x(i+1) = (xi +b)/2. Prove that xi < xi + 1 < b...
  31. G

    Verify the rule that for two real numbers X and Y then

    Homework Statement Verify the rule that for two real numbers X and Y then |X+Y|≤|X|+|Y| Homework Equations The Attempt at a Solution 1. When all the variables are positive: |X+Y|=(X+Y) because (X+Y)>0 |X|=X because X>0 |Y|=Y because Y>0 So we got (X+Y)=X+Y 2...
  32. M

    What is the definition of greater than or less than in terms of real numbers?

    A thought just struck me today after watching a lecture on the construction of the rational numbers. What is the definition of 'greater than (>)' and 'less than (<)' in the real number system. The only way I can think to describe it is to make some reference to the Euclidean distance between the...
  33. T

    Find all real numbers such that the series converges

    Homework Statement Find all real numbers x ≠ −1 such that the series Ʃn=1∞ (1/n) . [(x-1)/(x+1)]n converges.. Homework Equations The Attempt at a Solution I really do not know where to start here. I assume you could first prove it converges sing a test but I'm really not...
  34. srfriggen

    Real Numbers vs Extended Real Numbers

    Today I watched a lecture that talked about the extended reals, ℝ U {+infinity, -infinity}. Every course I've taken so far (differential calculus through multivariable calculus, linear algebra, a proofs writing course, etc) always defined the Reals with just they symbol ℝ and we always...
  35. A

    Prove |sin x|/|x| =< 1 for all x in Real Numbers.

    I was looking for some help on how to start this problem. I know that we must use the Mean-Value Theorem on |sin x| to get an f '(c). But I'm having a difficult time getting an initial start past that. Any hints and tips would be most useful. I also figure that we can let f(x) = |sin x| and g(x)...
  36. M

    What behind the idea of representing real numbers as points ?

    I was wondering about the idea of representing real numbers as points on line , What is the basis of this assumptions , and as well the same question for Cartesian coordinates system ? All books I have read , express the idea of Cartesian Coordinates in an elementary way like spivak's , Apostol...
  37. J

    Let A be a nonempty set of real numbers which

    Homework Statement Let A be a nonempty set of real numbers which is bounded below. Let -A be the set of all real numbers -x, where x is in A. Prove that inf A = -sup(-A). Homework Equations Definitions of upper bound, lower bound, least upper bound, and least lower bound. The...
  38. C

    Generating Real Numbers: Is It Possible?

    Could it be possible to come up with a formula or infinite series or continued fraction to generate the real numbers? I might have to change something in my formula to generate another real. I couldn't just change one of my numbers in the formula because then i would be saying there is a...
  39. T

    Real numbers as infinitly wide tuples, what is aleph 2?

    First, can all aleph 1 sets be generalized as sets of infinitely wide tuples? As in, let a_1a_2_a3 \ldots \in \Re map to (a_1, a_2, a_3, \ldots). Second, if countably infinite sets are n-tuples, aleph 1 sets are infinite tuples, can this pattern be generalized to even higher cardinality?
  40. C

    Real Numbers: 10^{\aleph} Possibilities?

    If the set of natural numbers is \aleph and when we write a real number we have 10 choices for each position 0-9 so can we say that there are 10^{\aleph} real numbers ?
  41. M

    Completeness of real numbers as Dedekind cuts

    (Title should be Connectedness of...) Hi. I'm trying to prove that if a set of Dedekind cuts is bounded, it has a least upper bound. We've defined a Dedekind cut, called E, to be a nonempty subset of Q (i) with no last point, (ii) an upper bound in Q, and (iii) the property that if x belongs...
  42. M

    Finding basis and dimension of W = {(a,b,c,0)} where abc are real numbers

    With normal vectors i usually check there is the correct number of vectors i.e 3 for R3 2 for R2 etc and then just check for linear independence but reducing the matrix that results from c1v1+c2v2+..cnvn=0 and determining of unique solution or infinite solutions. There are the right number of...
  43. M

    System of linear equations (Finding Real numbers in a Unique Solution)

    Homework Statement For which real numbers  does the following system have a unique solution? 14x - 6y + 18z = 2\lambda z x = \lambda x 3x - 8y = -\lambda y Homework Equations The Attempt at a Solution hi, I rearranged the equations...
  44. G

    Cardinality of the Union of Two Sets that have Same Cardinality as Real Numbers

    Homework Statement Let U and V both have the same cardinality as R (the real numbers). Show that U\cupV also has the same cardinality as R. Homework Equations The Attempt at a Solution Because U and V both have the same cardinality as R, I that that this means \exists f: R\rightarrowU that is...
  45. S

    Constructing the Real Numbers through Infinite Decimal Expansions

    I was looking at the construction of the real number system. I know dedekind cuts can be used(completely worthless in terms of understanding I think) and Cauchy sequences can be used (I wish my analysis book used them) but I would like to see a construction based on infinite decimal...
  46. M

    A set of real numbers whose interior is empty

    Homework Statement Give an example of a set of real numbers whose interior is empty but whose closure is all of the real numbers if it exists. Otherwise, explain why such example cannot be true. 2. The attempt at a solution For a set S ⊆ X, the closure of S is the intersection of all closed...
  47. H

    How are the Real Numbers distributed?

    Question: What is the probability that a random variable X with domain all real numbers will take a value in the closed interval [a,b]? It seems to me that in order to answer this question you have to know how the real numbers are distributed. Given the appropriate distribution function, you...
  48. K

    Proving Isomorphism of R^x/<-1> and Positive Real Numbers

    Homework Statement Show that R^x/<-1> is isomorphic to the group of positive real numbers under multiplication. Homework Equations The Attempt at a Solution I know I need to show we have a homomorphism, and is one - to one and onto in order to be isomorphic. I know all...
  49. M

    Let f:R → R satisfy f(x+y) = f(x) + f(y) for real numbers x and y

    Homework Statement Let f:R\rightarrowR satisfy f(x+y) = f(x) + f(y) for real numbers x and y. If we let f be continuous, show that \exists a real number b such that f(x) = bx. Homework Equations n/a The Attempt at a Solution Nooooo clue!
  50. I

    Is M a Vector Space Over Real Numbers?

    Homework Statement show whether the following set of vectors M = \left\{\left(a_{1},a_{2},a_{3}\right) with a_{1},a_{2},a_{3} \in \Re\right\} with the following limitations: 1) a1 is rational 2) a1 = 0 3) a1 + a2 = 0 4) a1 + a2 = 1 is a vector space over the field of real numbers. Homework...
Back
Top