"Алгебра и начала математического анализа. Углубленный уровень", Виленкин Н.Я., Ивашев-Мусатов О.С., Шварцбурд С.И.
Разделяющее число числовых множеств — это число c, которое одновременно является верхней границей множества A и нижней границей множества B: для любых a ∈ A и b ∈ B выполняется a ≤ c ≤ b. Оно показывает границу между упорядоченными множествами. Разделяющих чисел может быть несколько, если между множествами есть промежуток, или одно, если множества имеют общую границу.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Числовое множество — это множество, все элементы которого являются числами: например, A = {1, 2, 3}. Запись a ∈ A означает «число a принадлежит множеству A», а A ⊆ B — «множество A является подмножеством B». Эти обозначения позволяют кратко описывать, какие числа рассматриваются.
Упорядоченными называют числовые множества A и B, если каждый элемент первого меньше каждого элемента второго. Формально: ∀a ∈ A, ∀b ∈ B выполняется a < b. Такое условие сравнивает не отдельные числа, а любые пары элементов двух множеств.
Разделяющее число множеств A и B — это число c, для которого для всех a ∈ A и b ∈ B выполняется a ≤ c ≤ b. Иными словами, слева от c или на нём находятся все элементы A, а справа от c или на нём — все элементы B. Нестрогие знаки разрешают совпадение c с границей множества.
Верхняя граница множества A — число, не меньшее каждого его элемента, а нижняя граница B — число, не большее каждого элемента B. Поэтому разделяющее число одновременно является верхней границей A и нижней границей B. Связь с границами помогает искать такие числа, не перебирая элементы по одному.
Условие упорядоченности означает, что при выборе любых a из A и b из B порядок сохраняется: a всегда меньше b. Нельзя найти пару, в которой элемент A оказался бы больше или равен элементу B. Поэтому между множествами образуется граница, которую можно искать среди чисел, не меньших всех элементов A и не больших всех элементов B.
Число c должно одновременно ограничивать оба множества с разных сторон. Условие a ≤ c для всех a ∈ A делает c верхней границей A, а условие c ≤ b для всех b ∈ B — нижней границей B. Именно поэтому разделяющее число действительно отделяет одно множество от другого, а не просто находится между двумя случайными элементами.
Если между множествами есть промежуток, разделяющих чисел несколько. Пусть верхняя граница A равна α, а нижняя граница B равна β и α < β. Тогда любое c из отрезка [α, β] не меньше α и не больше β, а значит, не меньше элементов A и не больше элементов B. Каждое такое число подходит.
Иногда множества подходят к одной общей границе: верхняя граница A и нижняя граница B совпадают и равны γ. Тогда c должен быть не меньше всех элементов A, то есть c ≥ γ, и не больше всех элементов B, то есть c ≤ γ. Одновременно эти условия дают c = γ, поэтому разделяющее число единственно.
Проверять разделение нужно по всем элементам обоих множеств, поскольку один удачный пример ничего не доказывает. Удобно сначала найти верхнюю границу A и нижнюю границу B, а затем проверить, что верхняя граница не превосходит нижнюю. После этого рассматривают все числа между ними с учётом того, включены ли концы.
Таблица помогает сначала определить взаимное положение множеств, а затем проверить условия для c. В строках с границами нужно учитывать, входят ли концы промежутка в множества: для разделения используются нестрогие неравенства.
| Ситуация | Что известно о множествах A и B | Условие для числа c | Вывод |
|---|---|---|---|
| Множества упорядочены | Есть элементы обоих множеств | Для любых a ∈ A и b ∈ B выполняется a < b | Можно искать число, которое является верхней границей A и нижней границей B |
| Число c разделяет множества | Известны все элементы или границы множеств | Для всех a ∈ A и b ∈ B: a ≤ c ≤ b | c подходит в качестве разделяющего числа |
| Между множествами есть промежуток | Верхняя граница A меньше нижней границы B | c лежит между этими границами включительно | Разделяющих чисел может быть несколько |
| Множества имеют общую граничную точку | Верхняя граница A совпадает с нижней границей B | c равняется общей границе | Разделяющее число единственно |
Проверим, является ли 3 разделяющим для A = {1, 2} и B = {4, 5}. Нужно сравнить число 3 не с одной парой элементов, а со всеми элементами обоих множеств. Если оба неравенства выполняются всюду, число подходит.
Ответ: число 3 является разделяющим для множеств A и B.
Найдём все разделяющие числа для A = [−2, 1] и B = [3, 5]. У множества A наибольший элемент равен 1, поэтому его верхняя граница здесь — 1. У множества B наименьший элемент равен 3, поэтому нижняя граница — 3.
Ответ: все разделяющие числа образуют отрезок [1, 3]. Концы входят, потому что в определении разрешено равенство.
Рассмотрим A = {x ∈ ℝ: x < 2} и B = {x ∈ ℝ: x ≥ 2}. Нужно понять, существует ли разделяющее число и может ли оно быть не единственным. Хотя число 2 не принадлежит A, оно является его верхней границей, а в B оно входит как наименьший элемент.
Ответ: разделяющее число существует и единственно; это c = 2. Отсутствие 2 в A не мешает, поскольку разделяющему числу достаточно быть верхней границей, а не обязательно элементом множества.
Недостаточно проверить, что c больше нескольких выбранных элементов A и меньше нескольких элементов B. Ошибку допускают, принимая примеры за доказательство общего утверждения. Нужно проверить крайние элементы или вывести условия сразу для всех a ∈ A и b ∈ B.
Разделяющее число путают с числом между двумя конкретными элементами. Но один элемент A может оказаться правее c, а один элемент B — левее c. Самопроверка проста: запишите цепочку a ≤ c ≤ b с квантором «для всех».
Иногда отбрасывают число, совпадающее с границей, потому что ожидают строгих неравенств. В определении стоят знаки ≤, поэтому равенство разрешено. Проверьте, не выполняется ли c = верхняя граница A или c = нижняя граница B.
Неверно считать, что разделяющее число всегда одно. Если верхняя граница A меньше нижней границы B, подходит весь промежуток между ними. Сначала сравните границы: совпадение даёт единственное число, а строгий разрыв — несколько.
Для работы с разделяющими числами нужны понятия числового множества, отношения порядка и обозначения интервалов. Они позволяют правильно читать записи A ⊆ B, a ∈ A и [α, β]. Без понимания неравенств трудно проверить условие для всех элементов.
Верхняя и нижняя границы дают удобный способ описывать положение множеств. Позже эти идеи уточняются в понятиях точной верхней и нижней грани. Разделяющее число фактически объединяет обе границы в одной точке или промежутке.
Тема подготавливает к изучению свойств множества действительных чисел. В частности, она помогает понять, почему между двумя различными границами могут существовать другие числа. Это понадобится при работе с промежутками, пределами и оценками.
Что называют разделяющим числом двух числовых множеств?
Разделяющим числом множеств A и B называют число c, для которого каждый элемент A не превосходит c, а c не превосходит каждый элемент B. Записывают: для всех a ∈ A и b ∈ B выполняется a ≤ c ≤ b.
Как проверить, разделяет ли число два заданных множества?
Нужно проверить два условия: все элементы множества A должны быть не больше c, а все элементы множества B — не меньше c. Проверка проводится для всех элементов множеств, а не только для нескольких выбранных чисел.
Может ли у двух множеств быть несколько разделяющих чисел?
Да. Если верхняя граница A меньше нижней границы B, то любое число между ними, включая границы, является разделяющим. Поэтому таких чисел бесконечно много.
Почему разделяющее число может совпадать с границей одного из множеств?
В определении используется нестрогое неравенство ≤, поэтому равенство разрешено. Число c может быть последним элементом или верхней границей A и одновременно оставаться не меньше всех элементов A.
Как связаны разделяющее число и верхняя или нижняя граница множества?
Разделяющее число c является верхней границей множества A и нижней границей множества B. Поэтому для поиска c достаточно сравнить верхнюю границу A с нижней границей B.
4. Разделяющее число числовых множеств
