Прикладная математика
                               Cправочник математических формул
                                          Примеры и задачи с решениями

Алфавитный указатель  а б в г д е ж з и к л м н о п р с т у ф х ц ч ш щ э ю я  

  • Математические формулы

  • Примеры решения задач

  • Некоторые постоянные
  • Элементарная геометрия
  • Геометрические преобразования
  • Начала анализа и алгебры
  • Уравнения и неравенства
  • Аналитическая геометрия
  • Высшая алгебра
  • Дифференциальное исчисление
  • Дифференциальная геометрия
  • Интегральное исчисление
  • Комплексный анализ
  • Элементы теории поля
  • Тензорное исчисление
  • Дифференциальные уравнения
  • Математическая логика
  • Теория вероятностей и
     математическая статистика





     Формулы / Множества / Конечные и бесконечные множества / 1 2 3 4 5 6 7 8


     Теорема 3. Любое подмножество конечного множества само конечно. Любое надмножество бесконечного множества само бесконечно.

     Доказательство. Каждое из двух утверждений теоремы следует из другого. Так, если первое утверждение верно, то верно и второе, так как если A бесконечно и , то и B бесконечно, т. к. если бы B было конечно, то по первой половине теоремы и A было бы конечно. Достаточно поэтому доказать первое утверждение. Итак, пусть A конечно и . Если A = 0, то и B = 0, теорема справедлива. Пусть . Тогда A ~ |1, n| для некоторого натурального числа n. Применим индукцию относительно n. При n = 1 теорема верна, так как A содержит один элемент, и либо B = 0, либо B = A. Пусть утверждение верно для некоторого n. Докажем его для числа n + 1. Итак, пусть f - взаимно однозначное отображение A на отрезок |1, n+1|. Если B = A, то B конечно. Пусть . Существует элемент . Можно считать, что f(a) = n + 1. Иначе f(a') = n + 1, где . Если тогда f(a) = i, то строим новое отображение f1, полагая f1(a) = n + 1, f1(a') = i и f1 = f для остальных элементов множества A. Итак, пусть f(a) = n + 1. Положим A' = A\{a}. Тогда f определяет взаимно однозначное отображение множества A' на отрезок |1, n|, и . Следовательно, по предположению индукции B конечно. Теорема доказана.

     Согласно теореме 3 понятие о числе элементов имеет смысл для любого подмножества данного конечного множества. При этом имеет место

     Теорема 4. Число элементов конечного множества A всегда больше числа элементов его собственного подмножества B.

     Доказательство. Пусть m - число элементов A и n - число элементов B. Предположим, что . Так как , то и A ~ |1, m|. Также и , следовательно,

B ~ |1, n|.     (1)

При взаимно однозначном отображении A на отрезок |1, m| множество B отображается также взаимно однозначно на некоторое собственное подмножество B' отрезка |1, m, таким образом,|

B ~ B'.     (2)


-1-2-3-4-5-6-7-8-



© 2006- 2021  ПМ298
info@pm298.ru
     Электронный справочник по математике: математические формулы по алгебре и геометрии, высшая математика, математика, математические формулы. Задачи с решениями, примеры и задачи по математике, бесплатные решения задач, куб , задача Дирихле для круга

     Теорема: Любое подмножество конечного множества саом конечно. Любое надмножество бесконечного множества само бесконечно. Число элементов конечного множества А всегда больше числа элементов его собственного подмножества В.