13.2 — Глава V, §13. Множества. Действительные числа13.2 — Chapter V, §13. Sets. Real numbers
Все Главы I–IV молчаливо предполагали, что «число» — это нечто понятное само собой, будь то коэффициент матрицы или координата точки. Здесь этот фундамент делается явным: пять числовых множеств, вложенных друг в друга через операцию ⊆ из 13.1, и ключевое свойство множества действительных чисел — полнота (непрерывность), без которого не может быть определён предел (§15) и всё, что строится на нём дальше.All of Chapters I–IV silently assumed that "a number" was something self-evident, whether a matrix coefficient or a point's coordinate. Here that foundation is made explicit: five number sets, nested inside one another via the ⊆ operation from 13.1, and the key property of the set of real numbers — completeness (continuity), without which the limit (§15) and everything built on it afterward cannot be defined.
| множествоset | обозначениеnotation | что добавляетwhat it adds |
|---|---|---|
| натуральные числаnatural numbers | ℕ = {1,2,3,...} | счёт объектовcounting objects |
| целые числаintegers | ℤ = {...,-2,-1,0,1,2,...} | ноль и отрицательные числа — замкнутость относительно вычитанияzero and negative numbers — closure under subtraction |
| рациональные числаrational numbers | ℚ = {m/n | m,n∈ℤ, n≠0} | дроби — замкнутость относительно деления (кроме на 0)fractions — closure under division (except by 0) |
| действительные (вещественные) числаreal numbers | ℝ | иррациональные числа — полнота (непрерывность), см. нижеirrational numbers — completeness (continuity), see below |
| комплексные числаcomplex numbers | ℂ | за пределами этого параграфа — упомянуты только для полноты картиныoutside the scope of this section — mentioned only for completeness of the picture |
Эти множества образуют цепочку строгих включений: ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ — прямое применение отношения ⊆ из 13.1, только здесь оно ещё и строгое (каждое следующее множество действительно больше предыдущего, а не совпадает с ним). Каждый шаг расширения мотивирован конкретной алгебраической потребностью: ℤ нужно, чтобы уравнение x+5=3 имело решение внутри множества (в ℕ его нет); ℚ — чтобы 2x=3 имело решение; ℝ — чтобы x²=2 имело решение (у √2 нет представления в виде дроби, доказательство — классический пример от противного).These sets form a chain of strict inclusions: ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ — a direct application of the ⊆ relation from 13.1, only here it's also strict (each successive set is genuinely larger than the previous one, not equal to it). Each extension step is motivated by a specific algebraic need: ℤ is needed so the equation x+5=3 has a solution within the set (it has none in ℕ); ℚ — so 2x=3 has a solution; ℝ — so x²=2 has a solution (√2 has no representation as a fraction, the proof being a classic example by contradiction).
Любое действительное число представимо десятичной дробью: рациональное число — конечной или периодической бесконечной десятичной дробью (например, 1/3 = 0.333...), иррациональное — непериодической бесконечной десятичной дробью (например, √2 = 1.41421356..., цифры не повторяются циклически). Это даёт практический критерий: множество иррациональных чисел — это ℝ \ ℚ (разность множеств из 13.1) — действительные числа, не представимые в виде дроби m/n.Every real number is representable as a decimal fraction: a rational number as a finite or periodic infinite decimal (say, 1/3 = 0.333...), an irrational one as a non-periodic infinite decimal (say, √2 = 1.41421356..., the digits don't repeat cyclically). This gives a practical criterion: the set of irrational numbers is ℝ \ ℚ (the set difference from 13.1) — real numbers not representable as a fraction m/n.
Историческое открытие иррациональности (легенда приписывает его пифагорейцам, обнаружившим, что диагональ единичного квадрата, равная √2, несоизмерима со стороной) — конкретный пример того, зачем нужно расширение ℚ → ℝ: множество ℚ само по себе имеет «дыры» — точки на числовой прямой, не занятые ни одним рациональным числом, хотя рациональные числа расположены на прямой всюду плотно (между любыми двумя рациональными числами есть третье).The historical discovery of irrationality (legend attributes it to the Pythagoreans, who found that the diagonal of a unit square, equal to √2, is incommensurable with the side) is a concrete example of why the extension ℚ → ℝ is needed: the set ℚ itself has "gaps" — points on the number line occupied by no rational number, even though rational numbers are everywhere dense on the line (between any two rational numbers there's a third).
Ключевое отличие ℝ от ℚ, ради которого и делается это расширение, — полнота: на числовой прямой действительных чисел нет «дыр», каждая точка занята каким-то действительным числом. Формально это выражается через аксиому непрерывности (аксиому Дедекинда, или, эквивалентно, принцип точной верхней грани): всякое непустое ограниченное сверху подмножество ℝ имеет точную верхнюю грань в ℝ.The key difference between ℝ and ℚ, for the sake of which this extension is made, is completeness: on the real number line there are no "gaps" — every point is occupied by some real number. Formally, this is expressed via the axiom of continuity (Dedekind's axiom, or, equivalently, the least-upper-bound principle): every nonempty subset of ℝ bounded above has a least upper bound in ℝ.
Полнота ℝ — не абстрактная роскошь, а условие, без которого не работает вся дальнейшая Глава V: предел последовательности (15.2) существует именно потому, что ℝ не имеет дыр, куда последовательность могла бы «стремиться», не находя предела внутри множества. В ℚ последовательность рациональных приближений √2 (1, 1.4, 1.41, 1.414, ...) не имеет предела внутри ℚ — предел существует только после перехода к ℝ.The completeness of ℝ isn't an abstract luxury but a condition without which the rest of Chapter V doesn't work: the limit of a sequence (15.2) exists precisely because ℝ has no gaps for a sequence to "tend toward" without finding a limit inside the set. In ℚ, the sequence of rational approximations to √2 (1, 1.4, 1.41, 1.414, ...) has no limit within ℚ — the limit exists only after passing to ℝ.
Это придаёт точный смысл геометрической картинке, использовавшейся без обоснования с самого начала Части I: числовая прямая (ось Ox в 9.1, координатная ось в 5.1) — не просто удобная иллюстрация, а взаимно однозначное соответствие между ℝ и точками прямой, возможное именно благодаря полноте ℝ. Если бы вместо ℝ использовалось ℚ, «прямая» была бы полна дыр, невидимых на чертеже, но разрушающих саму идею непрерывной линии.This gives precise meaning to the geometric picture used without justification from the very start of Part I: the number line (the axis Ox in 9.1, the coordinate axis in 5.1) isn't just a convenient illustration but a one-to-one correspondence between ℝ and the points of a line, made possible precisely by the completeness of ℝ. If ℚ were used instead of ℝ, the "line" would be full of gaps invisible on a drawing but destroying the very idea of a continuous line.
Плотность ℚ (между любыми двумя рациональными числами всегда найдётся третье рациональное) интуитивно наводит на мысль, что ℚ уже «заполняет» числовую прямую без пробелов — это ложное впечатление. Плотность — более слабое свойство, чем полнота: ℚ плотно, но не полно (например, у множества {x∈ℚ | x²<2} нет точной верхней грани внутри ℚ — она «должна была бы» быть √2, которого в ℚ просто нет). Путать плотность с полнотой — источник неверных интуитивных представлений о структуре числовой прямой.The density of ℚ (between any two rational numbers there's always a third rational one) intuitively suggests that ℚ already "fills" the number line with no gaps — this impression is false. Density is a weaker property than completeness: ℚ is dense but not complete (say, the set {x∈ℚ | x²<2} has no least upper bound within ℚ — it "should be" √2, which simply isn't in ℚ). Confusing density with completeness is a source of incorrect intuitions about the structure of the number line.
Записывая π ≈ 3.14159, легко воспринять иррациональное число как «нечто без точного значения», требующее округления. На самом деле π — такое же точно определённое действительное число, как 2 или 1/3; неудобство только в том, что его нельзя записать конечной последовательностью цифр или периодической дробью. Округление нужно для практических вычислений (что и станет темой 24.5, приближённые вычисления через дифференциал), а не потому что само число «нечёткое».Writing π ≈ 3.14159, it's easy to perceive an irrational number as "something without an exact value," requiring rounding. In fact, π is just as precisely defined a real number as 2 or 1/3; the only inconvenience is that it can't be written as a finite digit sequence or a periodic fraction. Rounding is needed for practical computation (which will become the topic of 24.5, approximate calculations via the differential), not because the number itself is "fuzzy."
источникsource
Иерархия числовых множеств, десятичное представление, полнота ℝ — по изданию: Письменный Д. Т. Конспект лекций по высшей математике: полный курс. — 9-е изд. — М.: Айрис-пресс, 2009. — 608 с. — Глава V, §13.2 «Числовые множества. Множество действительных чисел», с. 117–119. Связь с 5.1/9.1, комментарий про плотность vs полноту, раздел «Грабли» — авторское дополнение.The hierarchy of number sets, decimal representation, the completeness of ℝ — from: Pismenny D. T. Lecture Notes on Higher Mathematics: Complete Course. — 9th ed. — Moscow: Iris-press, 2009. — 608 p. — Chapter V, §13.2 "Number Sets. The Set of Real Numbers," pp. 117–119. The connection to 5.1/9.1, the density-vs-completeness commentary, and the "Gotchas" section are original additions.