18285

МНОЖИНА ЦІЛИХ НЕВІД’ЄМНИХ ЧИСЕЛ

Лекция

Математика и математический анализ

Лекція 12 МНОЖИНА ЦІЛИХ НЕВІДЄМНИХ ЧИСЕЛ Натуральне число як спільна властивість класу скінченних непорожніх рівнопотужних множин. Поняття про нуль. Множина цілих невідємних чисел. Відношення рівності на множині цілих невідємних чисел та його властив

Украинкский

2013-07-07

53.5 KB

38 чел.

Лекція 12

МНОЖИНА ЦІЛИХ НЕВІД’ЄМНИХ ЧИСЕЛ

  1.  Натуральне число як спільна властивість класу скінченних непорожніх рівнопотужних множин. Поняття про нуль. Множина цілих невід’ємних чисел.
  2.  Відношення „рівності” на множині цілих невід’ємних чисел та його властивості.
  3.  Відношення „менше” і „більше” на множині цілих невід’ємних чисел та їх властивості.
  4.  Формування поняття про ціле невід’ємне число в початковому курсі математики.

  1.  Натуральне число як спільна властивість класу скінченних непорожніх рівнопотужних множин. Поняття про нуль.

Множина цілих невід’ємних чисел

Користуючись відношенням рівнопотужності, яке, як відомо, є відношенням еквівалентності, сукупність скінченних непорожніх множин можна розбити на класи рівнопотужних множин.

Кожний такий клас містить множини, природа елементів яких може бути найрізноманітнішою, і єдине спільне, незмінне, що не залежить при переході від однієї до іншої множини того самого класу, є те, що вони мають однакову кількісну характеристику.

Натуральним числом називається клас рівнопотужних скінченних непорожніх множин.

Як відомо, клас рівнопотужних скінченних непорожніх множин називається потужністю множини, яка йому належить, а тому натуральне число може бути означене й так: натуральним числом називається потужність скінченної непорожньої множини.

На інтуїтивному рівні натуральне число – це спільна властивість рівнопотужних скінченних непорожніх множин, яка не залежить ні від природи елементів цих множин, ні від порядку елементів у них. Ця властивість є не чим іншим, як чисельністю або числом елементів скінченної непорожньої множини.

Натуральні числа, які є потужностями скінченних непорожніх множин A, B, C, …, позначаються буквами a, b, c, … і це записується a = |A|, b = |B|, c = |C|, …; читається, наприклад, a = |A|: "число a є потужністю множини A".

Потужність одиничної множини називається одиницею і позначається 1. Отже, 1 := |E|, де E – одинична множина.

Усі натуральні числа складають множину натуральних чисел, її позначають N.

Потужність порожньої множини називається нулем і позначається 0. Значить 0 := |Æ|.

Множина, елементами якої є всі натуральні числа і число нуль, називається множиною цілих невід'ємних чисел і позначається N0, а її елементи – цілими невід'ємними числами. Таким чином,

N0 := N È {0}.

На основі означення натурального числа і числа нуль, означення цілого невід'ємного числа можна сформулювати так: цілим невід'ємним числом називається потужність скінченної множини.

Зауваження 1. Іноді у науковій літературі число нуль теж називають натуральним числом, а цілі невід'ємні числа – натуральними числами.

Домовимося для скорочення запису у розділі "Цілі невід'ємні числа" замість терміну "ціле невід'ємне число" вживати термін "число".

  1.  
    Відношення „рівності” на множині цілих невід’ємних

чисел та його властивості

Цілі невід'ємні числа a і b називаються рівними (записується a = b), якщо множини, для яких ці числа є потужностями, рівнопотужні, і нерівними (записується a ≠ b), якщо відповідні їм множини нерівнопотужні.

Теорема 1. Відношення рівності на множині цілих невід'ємних чисел є відношенням еквівалентності.

Кожному класу рівнопотужних скінченних множин ставиться у відповідність єдине ціле число, яке є потужністю будь-якої множини цього класу, при цьому різним класам ставляться у відповідність різні числа. Але й кожному цілому невід'ємному числу ставиться у відповідність єдиний клас рівнопотужних скінченних множин, для представників якого воно є потужністю. Цим самим встановлено взаємно однозначну відповідність між множиною різних класів рівнопотужних скінченних множин і множиною цілих невід'ємних чисел.

Кожній скінченній множині ставиться у відповідність єдине ціле невід'ємне число, яке є її потужністю, але кожному цілому невід'ємному числу, за винятком нуля, можна поставити у відповідність не одну скінченну множину, тому що клас рівнопотужних скінченних множин містить безліч множин. У зв'язку з цим, при встановленні тверджень про властивості цілих невід'ємних чисел, які ґрунтуються на властивостях множин, потрібно доводити, що їх суть не залежить від вибору множин-представників, для яких цілі невід'ємні числа є потужностями. Це дає можливість оперувати у міркуваннях про числа множинами довільної природи.

Можна показати, що відношення рівності і нерівності на множині цілих невід'ємних чисел не залежать від вибору множин-представників.

У шкільному курсі математики поняття натурального числа розглядається як спільна властивість класу скінченних рівнопотужних непорожніх множин, а нуль, як потужність порожньої множини (звичайно без теоретико-множинної термінології). Коли учні вивчають число "один" для прикладу на сторінках підручника даються зображення одного яблука, одного хлопчика і т. д.; коли вивчають число "два" – даються зображення різних сукупностей, які містять два елементи: два круги, два кубики і т. д. Це повторюється при вивченні всіх чисел першого десятка і число елементів у сукупностях встановлюється за допомогою лічби.

  1.  Відношення „менше” і „більше” на множині цілих

невід’ємних чисел та їх властивості

Для довільних цілих невід'ємних чисел a і b число a, яке є потужністю множини A, називається меншим числа b, що є потужністю множини B (позначається a < b), якщо у множині B знайдеться відмінна від неї підмножина B1, рівнопотужна множині A.

" ab Î N0: a < b: Û $ B1 Ì B: B1 ≠ B Ù A ~ B1, де a = |A|, b = |B|.

Теорема 2. Відношення "менше" на множині цілих невід'ємних чисел не залежить від вибору множин-представників.

► Нехай a і b – довільні цілі невід'ємні числа такі, що a = |A|, b = |B| i a < b.

Візьмемо довільні множини C ~ A і F ~ B та доведемо, що C ~ F1, де F1 Ì F i F1 ≠ F.

За означенням відношення "менше" маємо

A ~ B1, де B1 Ì B і B1 ¹ B.

Позначимо B2 = B \ B1. Звідси за означенням різниці множин і з того, що B1 Ì B, одержуємо B = B1 È B2 і B1 Ç B2 = Ø.

B ~ F, а тому існує бієкція φ: B → F. У силу теореми 2 § 5 та того, що f бієкція, маємо F = φ(B) = φ(B1 ÈB2) = φ(B1È φ(B2), де F1 = φ(Β1), F2 = φ(B2), F1 Ç F2 = Ø, F1 Ì F, F1 ≠ F, крім того, B1 ~ φ(B1) ~ F1. Але ж A ~ B1 і A ~ C.

Отже, C ~ F1, де F1 Ì F, F1 ≠ F.  ◄

На основі теореми 2 і властивості скінченних множин одержуємо теорему.

Теорема 3. Для довільних цілих невід'ємних чисел a і b має місце одне і тільки одне із відношень

a = b,  a < b,  b < a.

Теорема 4. Відношення "менше" на множині цілих невід'ємних чисел транзитивне:

" abc Î N: (a < bÙ (b < c) → (a < c).

► Нехай a, b і c – довільні цілі невід'ємні числа такі, що a = |A|, b = |B| i c = |C|.

За означенням відношення "менше",

A ~ B1, де B1 Ì B і B1 ¹ B,

B ~ C1, де C1 Ì C і C1 ¹ C.

Оскільки B ~ С1, то існує бієкція φ: B → C1. Позначимо B2 = B \ B1. Звідси та з того, що B1 Ì B, одержуємо B = B1 ÈB2, B1 Ç B2 = Æ і

C1 = φ(B) = φ(B1 È B2) = φ(B1Èφ(B2) = C2 È C3,

де C2 = φ(B1), C = φ(B2) і C2 ∩ C3 = Æ.

Оскільки φ – бієкція, то C2 ~ B1, але B1 ~ A. Тому за транзитивністю відношення рівнопотужності

A ~ C2,  де C2 Ì C  і  C2 ¹ C.

Звідси за означенням відношення "менше" a < c.  ◄

Із теорем 3 і 4 одержуємо наслідок.

Наслідок 1. Відношення "менше" на множині цілих невід'ємних чисел є відношенням строгого лінійного порядку, а сама множина N0 з цим відношенням є строго лінійно впорядкованою множиною.

Відношення, обернене до відношення "менше" на множині цілих невід'ємних чисел, називається відношенням "більше" (позначається ">"):

" ab Î N0: a > bÛ b < a.

Відношення "менше" і "більше", як взаємно обернені, мають однакові властивості.

Відношення "менше або рівне" (позначається "≤") можна розглядати як об'єднання відношень "менше" і "рівне":

" ab Î N0: (a ≤ b): Û (a = bÚ (a < b).

Відношення "більше або рівне" (позначається "≥") можна розглядати і як об'єднання відношень "більше" і "рівне", і як обернене до відношення "менше або рівне":

" ab Î N0: (a ≥ b): Û (a = bÚ (a > b).

" ab Î N0: (a ≥ b): Û (b ≤ a).

На основі властивостей відношень "рівне і менше" та означень відношень "більше", "менше або рівне" і "більше або рівне" одержуємо наслідок.

Наслідок 2. Відношення "менше або рівне" і "більше або рівне" на множині цілих невід'ємних чисел є відношеннями нестрогого лінійного порядку.

Відношення <, >, ≤ і ≥ часто називаються відношеннями природного порядку на множині цілих невід'ємних чисел, а сама множина цілих невід'ємних чисел з одним із цих відношень – природно впорядкованою. Коли говорять про впорядкованість множини цілих невід'ємних чисел, то мають на увазі одне із відношень природного порядку. Властивості всіх відношень природного порядку випливають із властивостей відношень "менше" і "рівне". От чому надалі розглядаються в основному властивості лише цих двох відношень

  1.  
    Формування поняття про ціле невід’ємне число

в початковому курсі математики

У шкільному курсі математики розглянутий підхід до означення відношення "менше" на множині цілих невід'ємних чисел широко використовується при вивченні цілих невід'ємних чисел, особливо при вивченні чисел першого і другого десятків. Порівняння чисел у період ознайомлення з числами від 1 до 5 здійснюється головним чином з опорою на наочність – порівняння двох сукупностей предметів. Наприклад, при введенні запису 3 < 4 проводяться такі міркування: візьмемо 3 голубих і 4 жовтих кружечки і кожний голубий накладемо на жовтий; бачимо, що один жовтий кружечок залишається не накритим, отже, голубих кружечків менше, ніж жовтих, тому можна записати 3 < 4. Відмітимо, що коли a і b є відповідно потужностями множин A і B (кружків, квадратів, паличок і т. д.) і a < b, то виділення у множині B підмножини, рівнопотужної множині A, на практиці проводиться самими різноманітними способами: накладанням, прикладанням, шляхом утворення пар і т. д.

Для чисел же більших 5 порівняння здійснюється на основі лічби: з двох натуральних чисел меншим є те, яке раніше зустрічається при лічбі.


 

А также другие работы, которые могут Вас заинтересовать

44194. ОРГАНІЗАЦІЯ ВИКОНАННЯ КВАЛІФІКАЦІЙНИХ РОБІТ У НАЦІОНАЛЬНІЙ МЕТАЛУРГІЙНІЙ АКАДЕМІЇ УКРАЇНИ 1.67 MB
  Будуть корисними при організації виконання інших видів індивідуальних завдань курсові проекти роботи; реферати домашні завдання тощо Відповідальний за випуск О.2 Структура дипломної роботи .3 Структура випускної роботи магістра .3 Відомість проекту або роботи .
44195. Системні науки та кібернетика. Методичні рекомендації 4.62 MB
  Правильне виявлення, постановка та чітке формулювання проблеми сприятиме усвідомленню реальних можливостей її вирішення, великою мірою визначає стратегію дослідження. Сформулювати проблему – означає показати вміння відокремити головне від другорядного, виявити те, що вже відомо, але не має свого вирішення.
44196. Выпускная квалификационная работа требования и методические рекомендации 367.5 KB
  Выполнение дипломной работы является одним из основных видов самостоятельной работы студентов на заключительном этапе обучения направленной на расширение и закрепление теоретических знаний формирование навыков решения творческих задач в ходе самостоятельного научного исследования или проектирования по определенной теме. Целью дипломной работы является определение степени готовности студента к самостоятельному решению профессиональных задач проверка научнотеоретической и практической подготовки выпускаемых специалистов и присвоение им...
44197. Особенности совместной деятельности младшего школьного возраста в зависимости от уровня диалогической речи 282.5 KB
  В психологии развития исследования совместной мыслительной деятельности проводились преимущественно на детях младшего возраста. Остаются открытыми и мало исследованными вопросы, связанные с изучением специфики развития совместной мыслительной деятельности в младшем школьном возрасте: особенности коммуникации и диалогов, взаимодействия и кооперации
44198. СТРУКТУРА, ПРАВИЛА ПОДГОТОВКИ И ОФОРМЛЕНИЯ РЕЗУЛЬТАТОВ САМОСТОЯТЕЛЬНОЙ УЧЕБНОЙ И НАУЧНО-ИССЛЕДОВАТЕЛЬСКОЙ РАБОТЫ СТУДЕНТОВ 231 KB
  Курсовая работа проект Курсовые работы проекты являются составной частью учебного процесса одной из самостоятельных форм деятельности студента. Курсовые работы выполняемые студентами II III и IV курсов дневного и заочного отделений на кафедре документоведения и библиотековедения занимают определенное место в системе профессиональной подготовки специалистов высшей квалификации. Общий характер курсовых работ: Специальность Библиотечноинформационная деятельность На 2 курсе дневного и заочного отделения студенты выполняют...
44200. Разработка методических рекомендаций к проведению деловой игры 373.5 KB
  Для решения поставленных задач использован комплекс методов исследования: теоретический (анализ психолого-педагогической и учебно-методической литературы) и эмпирические (личностно-ориентированный подход, при помощи которого создаётся основа для признания приоритета личности учащихся в образовательном процессе, и позволяет строить содержание образования с учётом его индивидуальных интересов и способностей; аналогия, моделирование)
44201. Разработка модели формирования себестоимости на продукцию фирмы ООО «РемСтройТрест» 664 KB
  Себестоимость продукции является важнейшим показателем экономической эффективности ее производства. Анализ себестоимости продукции работ и услуг имеет большое значение в системе управления затратами. Он позволяет изучить тенденции изменения ее уровня установить отклонение фактических затрат от нормативных стандартных и их причины выявить резервы снижения себестоимости продукции и дать оценку работы предприятия по использованию возможностей...
44202. Специфика работы в сети Internet 45.43 KB
  Современный человек вряд ли представляет свою профессиональную деятельность без применения ресурсов, доступных при помощи Internet. Интернет – это совокупность государственных, региональных, корпоративных и других компьютерных сетей, а также отдельных компьютеров, объединенных между собой разнообразными каналами передачи данных и унификацией применяемых технологий, таким образом, по своей структуре это полностью децентрализованная сеть.