analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
The real numbers as encountered in prealgebra and high school algebra.
Let be the set of rational numbers and let denote the interval in the natural numbers of all natural numbers between and inclusive. Infinite decimals representations are elements of , with the idea that each pair consists of an integer and a sequence of digits in the infinite decimal representation. The series
can be shown to be a Cauchy sequence.
The set of repeating infinite decimal representations is the subset of such that for pairs in the subset, there exist natural number and positive natural number such that the sequence factors through the cyclic group .
Two infinite decimal representations and are said to be apart from each other if or there exists a natural number such that . An infinite decimal representation is said to be strictly non-repeating if it is apart from every repeating base infinite radix expansion. Let be the set of strictly non-repeating infinite decimal representations. These are referred to as the irrational numbers in the prealgebra and high school algebra literature.
Then the set of prealgebra real numbers or high school algebra real numbers is the (disjoint) union of and . The name “prealgebra real numbers” or “high school algebra real numbers” is because this is the definition of the real numbers which most commonly appears in prealgebra and high school algebra textbooks.
In constructive mathematics, this definition only results in a subset of the real numbers, since not every real number can be shown to be either a rational number or an irrational number - this statement is equivalent to the analytic LPO when irrational is defined strictly in the sense of being apart from the rational numbers, and equivalent to the analytic WLPO when irrational is defined weakly in the sense of the negation of equality with any rational number.
In addition, not every strictly irrational number is the limit of the series
given by a strictly non-repeating infinite decimal representation. However, it is still the case that strictly irrational numbers which are also a Cauchy real number are interdefinable with strictly non-repeating infinite decimal representation.
Nichols, Eugene D, et al. Holt Algebra with Trigonometry. Holt, Rinehart and Winston : Harcourt Brace Jovanovich, 1992.
Marecek, Lynn, et al. Prealgebra 2e. OpenStax, Rice University, 2020.
Last revised on August 4, 2024 at 20:15:09. See the history of this page for a list of all contributions to it.