Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

1.3: Логіка

Два найтонших слова в англійській мові - це слова «і» і «або». Одна має всього три літери, дві інші, але абсолютно дивно, скільки плутанини ці два крихітних слова можуть викликати. Наш намір у цьому розділі полягає в тому, щоб очистити таємницю навколо цих слів і підготувати вас до математики, яка залежить від ретельного розуміння слів «і» і «або».

Встановити позначення

Починаємо з визначення набору.

Визначення 1

Набір - це сукупність предметів.

Об'єктами в наборі може бути взагалі що завгодно: цифри, букви, імена, міста, ви називаєте його. У цьому розділі мова піде про набори чисел, але важливо розуміти, що об'єкти в наборі можуть бути якими б ви їх не вибрали.

Якщо кількість об'єктів у множині кінцева і досить мала, ми можемо описати множину просто перерахувавши елементи (об'єкти) у множині. Зазвичай це робиться шляхом укладення списку об'єктів у множині фігурними дужками. Наприклад, нехай

A={1,3,5,7,9,11}

Тепер, коли ми посилаємося на набірA в оповіданні, кожен повинен знати, що ми говоримо про набір чисел 1, 3, 5, 7, 9 та 11.

Також можна описати безлічA словами. Хоча існує багато способів зробити це, одним з можливих описів може бути «AДозволяти бути набір непарних натуральних чисел між 1 і 11 включно». Цей описовий метод особливо ефективний, коли набір, який ви описуєте, є або нескінченним, або занадто великим, щоб перерахувати у списку.

Наприклад, ми можемо сказати «нехайA буде набір всіх дійсних чисел, які більше, ніж4.» Це набагато краще, ніж намагатися перерахувати кожне з чисел у множиніA, що було б марно в цьому випадку. Інша можливість - поєднати позначення фігурної дужки з текстовим описом і написати щось на кшталт

A={real numbers that are greater than 4}

Якщо ми покликані прочитати це позначення вголос, ми б сказали, що «Aце набір всіх дійсних чисел, які більше, ніж4,» або щось подібне.

Існує ряд більш складних методів, які ми можемо використовувати для опису набору. Один опис, який ми часто використовуватимемо, називається позначенням set-builder і має наступний вигляд.

A={x:some statement describing x}

Стандартно читати позначення{x:} вголос наступним чином: «Безліч всьогоx такого, що». Тобто товста кишка вимовляється «такий що». Тоді ви б прочитали опис, що слідує за двокрапкою. Наприклад, набір

A={x:x<3}

читається вголос «Aце набір всіхx таких, щоx менше, ніж3.» Деякі люди вважають за краще використовувати «бар» замість двокрапки, і вони пишуть

A={x| some statement describing x}

Це також вимовляється «Aє набір всіхx таких, що», і тоді ви б прочитали текстовий опис, який слідує за «планкою». Таким чином, позначення

A={x|x<3}

ідентичний позначенню,A={x:x<3} використаному вище, і читається точно так само: «A - це набір всіхx таких, щоx менше 3». Ми віддаємо перевагу позначенню двокрапки, але сміливо використовуйте «бар», якщо вам це більше подобається. Це означає те ж саме.

Мить думка розкриє той факт, що позначення неA={x:x<3} зовсім описове. Напевно, можна з упевненістю сказати, оскільки описx є «x<3,», що це позначення стосується чисел, які менше 3, але які числа? Натуральні числа? Цілі числа? Раціональні числа? Ірраціональні числа? Реальні числа? Позначення насправдіA={x:x<3} не розповідають всю історію.

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

N={ natural numbers }Z={ integers }Q={ rational numbers }R={ real numbers }

Ми можемо використовувати ці символи, щоб допомогти позначити тип числа, описаного за допомогою нашої нотації setbuilder. Наприклад, якщо ми пишемо

A={xN:x<3}

то ми говоримо «A - це множина всіх х в натуральних числах, таких, що х менше 3,» або простіше кажучи, «множина всіх натуральних чисел, які менше 3.» Символ є грецькою літерою «епсилон», і при використанні в позначенні множників він вимовляється «є елементом», або «знаходиться в». Звичайно, єдиними натуральними числамиN={1,2,3,}, які менше 3, є натуральні числа 1 і 2. Таким чиномA=1,2, «набір, членами якого є 1 і 2».

З іншого боку, якщо ми пишемо

A={xZ:x<3}

то ми говоримо, що «Aє множиноюx в множині цілих чисел, таких,x що менше 3,» або більш неформально, «Aє множиною всіх цілих чисел менше 3.» Звичайно, цілі числаZ={0,±1,±2,±3,}2 менше 3 нескінченні за кількістю. Ми не можемо перерахувати їх усіх, якщо не звернемося до уяви чимось на зразок

A={,3,2,1,0,1,2}

Трикрапка.. означає «і т.д.» Ми перерахували достатню кількість чисел, щоб встановити шаблон, тому нам дозволено сказати «і так далі». Зчитувач розуміє, що ранніми номерами у списку є −4, −5 тощо.

Давайте розглянемо інший приклад. Припустимо, що ми пишемоA={xR:x<3}

Тоді ми говоримо «Aце множина всіхx у множині дійсних чисел, таких,x що менше 3», або більш неформально, «Aє множиною всіх дійсних чисел менше 3». Звичайно, це ще один нескінченний набір і неважко уявити, що позначення,{xR:x<3} використані вище, вже оптимальні для опису цього набору дійсних чисел.

У цьому тексті ми в основному будемо мати справу з наборами дійсних чисел. Таким чином, з цього моменту вперед, якщо ми пишемо

A={x:x<3}

ми будемо вважати, що ми маємо на увазі сказати, що «Aце набір всіх дійсних чисел менше 3». Тобто, якщо ми пишемоA={x:x<3}, ми розуміємо, що це означаєA={xR:x<3}. У разі, коли ми хочемо використовувати певний набір чисел, ми вкажемо, що, як ми це робили вище, наприклад, вA={xN:x<3}.

Позначення дійсної лінії та інтервалу

Припустимо, що ми намалюємо лінію (ласкаво відому як «реальна лінія»), потім намалюємо точку в будь-якому місці цієї лінії, а потім зіставляємо число нуль до цієї точки (називається «походження»), як показано на малюнку1.3.1. По-друге, визначитеся з одиницею відстані і зіставте число 1 до цієї точки, знову показано на малюнку1.3.1.

F1.jpg
Малюнок1.3.1 Встановлення походження та одиниці довжини на реальній лінії.

Тепер, коли ми встановили одиницю відстані, кожне дійсне число відповідає точці на реальній лінії. Навпаки, кожна точка на дійсній прямій відповідає дійсному числу. Це визначає відповідність один до одного між дійсними числами вR і точками на дійсній лінії. Таким чином, точка на лінії і дійсне число можна розглядати як синоніми. 1.3.2На малюнку показано кілька дійсних чисел, нанесених на дійсну лінію.


WeChataf07f4b478511c00bda71b5627f2b3ce.png

Малюнок1.3.2 Приклад чисел на дійсному рядку.

Тепер, припустимо, що нас просять затінювати всі дійсні числа в наборі{x:x>3}. Оскільки це вимагає, щоб ми затінювали кожне дійсне число, яке більше 3 (праворуч від 3), ми використовуємо затінення, показане на малюнку,1.3.3 щоб представити набір{x:x>3}.

WeChatc1705c00273b9f737e8991cafcceef88.png
Малюнок1.3.3. Затінення всіх дійсних чисел більше 3.

Хоча технічно коректно, зображення на малюнку 3 містить більше інформації, ніж насправді потрібно. Картина прийнятна, але багатолюдна. Дійсно важливою інформацією є той факт, що затінення починається з 3, потім рухається вправо. Крім того, оскільки 3 немає в множиніx:x>3, тобто 3 не більше 3, ми не затінюємо точку, відповідну дійсному числу 3. Зверніть увагу, що ми вказали цей факт з «порожнім» колом на 3 на реальній лінії.

Таким чином, при затіненні множиниx:x>3 на реальній лінії нам потрібно лише позначити кінцеву точку на 3, використовувати «порожнє» коло в 3 і затінювати всі дійсні числа праворуч від 3, як показано на малюнку1.3.4.


WeChat087a62511f3acbfbebc316e9fdc96219.png

Малюнок1.3.4. Затінення всіх дійсних чисел більше 3. Кінцева точка - єдина інформація, яку потрібно позначити. Не потрібно показувати будь-які інші точки та/або мітки.

Оскільки ми затінюємо всі числа від 3 до позитивної нескінченності на малюнку1.3.4, ми будемо використовувати наступні інтервальні позначення для представлення цього «інтервалу» чисел (все між 3 і позитивною нескінченністю).

(3,)={x:x>3}

Аналогічно, Таблиця1.3.1 перераховує позначення set-builder та інтервалу, а також затінення множин на реальному рядку, для кількох ситуацій, включаючи щойно обговорювану.

Існує кілька точок акценту щодо інтервалів в табл1.3.1.

1. Коли ми хочемо підкреслити, що ми не включаємо точку на реальній лінії, ми використовуємо «порожнє коло». І навпаки, «заповнене коло» означає, що ми включаємо точку на реальній лінії. Таким чином, дійсні рядки в перших двох рядках Таблиці1.3.1 не включають число 3, але реальні рядки в останніх двох рядках таблиці1.3.1 включають число 3.

2. Використання дужки в інтервальних позначеннях означає, що ми не включаємо цю кінцеву точку в інтервал. Таким чином, використання дужок(,3) у другому рядку таблиці1.3.1 означає, що ми не включаємо число 3 в інтервал.

Номер рядка Позначення Set-Builder Інтервальні позначення
WeChat60fa9f83dbd7d990596f8ef291ef3a48.png {x:x>3} (3,)
WeChat5c2e27817c0c16536c5a4dcd8a304417.png {x:x<3} (,3)
WeChat1545c7003d775d30aa8df34d5bd762f0.png {x:x3} [3,)
WeChat25bf7fea68d20816b1419bdf8b5274cf.png {x:x3} (,3]
1.3.1Кількість рядків таблиці, позначення set-builder та інтервальні позначення.

3. Використання дужки в інтервальних позначеннях означає, що ми включаємо в інтервал число в дужках. Таким чином, дужка використовується в[3,), як видно в третьому рядку таблиці1.3.1, означає, що ми включаємо число 3 в інтервал.

4. Використання(3,) в рядку один з таблиці1.3.1 означає, що ми включаємо кожне дійсне число більше 3. Використання в(,3] означає, що ми включаємо кожне дійсне число менше або дорівнює 3. Оскільки і не є фактичними цифрами, немає сенсу включати їх за допомогою дужки. Отже, ви завжди повинні використовувати дужки з або.

Союз і перетин

Перетин двох множинA іB визначається наступним чином.

Визначення 3

Перетин множинA іB є сукупністю всіх об'єктів, які знаходяться вA і вB. В символах пишемо

AB={x:xA and xB}

Для того щоб зрозуміти це визначення, абсолютно важливо, щоб ми розуміли значення слова «і». Слово «і» - це сполучник, що використовується міжQ твердженнямиP і, як у «Сьогодні йде дощ, і мій найкращий друг - Самотній рейнджер». Для того щоб визначити правдивість або неправдивість цього твердження, необхідно спочатку вивчити істинність або неправдивість висловлюваньP і з кожногоQ боку слова «і».

Єдиний спосіб, яким оратор говорить правду, - це якщо обидва твердженняP іQ вірні. Іншими словами, твердження «Сьогодні йде дощ, і мій найкращий друг - Самотній рейнджер» вірно тоді і лише тоді, коли твердження «Сьогодні йде дощ», і твердження «мій найкращий друг - Самотній рейнджер» також вірно. Логікам подобається складати конструкцію, яка називається таблицею істинності, подібно до тієї, що наведена в табл1.3.2.

Пункти в таблиці1.3.2, які слід враховувати:

P Q PіQ
\ (P\) ">Т \ (Q\) ">Т \ (Р\) іQ «>Т
\ (P\) ">Т \ (Q\) ">F \ (P\) іQ «>F
\ (P\) ">F \ (Q\) ">Т \ (P\) іQ «>F
\ (P\) ">F \ (Q\) ">F \ (P\) іQ «>F
Таблиця1.3.2 Істинності таблиця для сполучника «і».
  • У першому рядку (після рядка заголовка) таблиці1.3.2, якщо операториP і обидваQ істинні (позначені буквою T), то твердження «PіQ» також вірно.
  • В інших рядках1.3.2 Таблиці одне або інше твердженняP абоQ є помилковими (позначені F), тому твердження «PіQ» також є помилковим.

Тому твердження «PіQ» вірно тоді і тільки тоді, колиP є істинним іQ є істинним.

Приклад1.3.1

ЯкщоA={1,3,5,7,9} іB={2,5,7,8,11}, знайти перетинA іB.

Рішення

Як нагадування, перетин множинA іB є

AB={x:xA and xB}

Таким чином, ми шукаємо об'єкти, які знаходяться вA і вB. Єдині об'єкти, які знаходяться вA і вB (пам'ятайте, обидва твердження «inA» і «inB» повинні бути істинними) є 5 і 7, тому ми пишемо:

AB={5,7}

Математики та логіки використовують наочний посібник під назвою діаграма Венна для представлення множин. Джон Венн був англійським математиком, який розробив цю візуалізацію логічних зв'язків. Розглянемо еліпсA на малюнку1.3.5. Все, що знаходиться всередині кордону цього еліпса, становить безлічA={1,3,5,7,9}. Ось чому ви бачите ці числа всередині кордону цього еліпса.

Розглянемо еліпсB на малюнку1.3.5. Все, що знаходиться всередині кордону цього еліпса, становить безлічB={2,5,7,8,11}. Ось чому ви бачите ці числа всередині кордону цього еліпса.

WeChat7201ea9d5cfa945141861d23e44edafe.png
Малюнок Діаграма1.3.5 Венна

Тепер зверніть увагу, що тільки два числа,5 і7, містяться в межах обохA іB. Це числа, які знаходяться в перетині множинA іB.

Затінена область на малюнку1.3.6 - це область, яка належить до обох наборів,A іB. Зверніть увагу, як ця затінена область влучно називається «перетином множинA іB.» Це область, яка є спільною для множинA іB, область, де Aмножини іB перекриваються або «перетинаються».

WeChatcb496129be0b3adace7cd846d9d2ab0f.png
1.3.6Малюнок Затінена область - це перетин множинA іB. Тобто затінена область єAB.

Це призводить до наступних важливих порад.

Примітка

Коли просять знайти перетин двох множинA іB, подивитися, де множини перетинаються або перекриваються. Тобто подивіться, щоб побачити елементи, які є в обох наборахA іB.

Перейдемо до визначення об'єднання двох множинA іB.

Визначення

Об'єднання множинA іB являє собою сукупність всіх об'єктів, які знаходяться вA або в символахB. В, ми пишемо

AB={x:xA or xB}

Для того щоб зрозуміти це визначення, дуже важливо, щоб ми розуміли значення слова «або». Слово «або» - це диз'юнкція, що використовується між твердженнямиP іQ, як у «Сьогодні йде дощ або мій найкращий друг - самотній рейнджер». Для того щоб визначити правдивість або неправдивість цього твердження, необхідно спочатку вивчити істинність або неправдивість висловлюваньP і з кожногоQ боку слова «або».

Доповідач говорить правду, якщо будь-яке твердженняP є істинним, або твердженняQ є правдою. Іншими словами, твердження «Сьогодні йде дощ або мій найкращий друг - Самотній рейнджер» вірно тоді і лише тоді, коли твердження «Сьогодні йде дощ» або твердження «мій найкращий друг - Самотній рейнджер» вірно. Логікам подобається складати конструкцію, яка називається таблицею істинності, подібно до тієї, що наведена в табл1.3.3.

P Q PабоQ
\ (P\) ">Т \ (Q\) ">Т \ (Р\) абоQ «>Т
\ (P\) ">Т \ (Q\) ">F \ (Р\) абоQ «>Т
\ (P\) ">F \ (Q\) ">Т \ (Р\) абоQ «>Т
\ (P\) ">F \ (Q\) ">F \ (P\) абоQ «>F
Таблиця1.3.3 Істинності таблиця для сполучника «або».

Пункти в таблиці1.3.3, які слід враховувати:

  • В останньому рядку таблиці1.3.3 обидва твердженняP іQ є помилковими (позначені з F), тому твердженняP або такожQ є помилковим.
  • У перших трьох рядках (після рядка заголовка) таблиці1.3.3, або операторP true, або оператор true (Qпозначається з T), тому твердженняP абоQ також true.

Тому твердження «PабоQ» є істинним тоді і тільки тоді, коли або твердження,P абоQ, є істинним.

Приклад1.3.2

ЯкщоA={1,3,5,7,9} іB={2,5,7,8,11}, знайти союзA іB.

Рішення

Як нагадування, об'єднанняA іB єAB={x:xA or xB}

Таким чином, об'єкт знаходиться в об'єднанніA іB якщо і тільки в тому випадку, якщо він знаходиться в будь-якому наборі. Числа, які знаходяться в будь-якому наборі, - це цифриAB={1,2,3,5,7,8,9,11}

Якщо ми знову подивимося на діаграму Венна на малюнку1.3.5, ми бачимо, що це об'єднанняAB={1,2,3,5,7,8,9,11} перераховує кожне число, яке знаходиться в будь-якому встановленому на малюнку1.3.5.

Таким чином, затінена область на малюнку1.3.7 є об'єднанням множинA іB. Зверніть увагу, як ця область добре названа, як це те, що ви насправді робите, беручи «об'єднання» двох множинA іB. тобто об'єднання містить всі елементи, які належать абоA або B.Менш формально союз - це спосіб об'єднання всього, що відбувається в будь-якому наборі.

WeChat95287088d5f90153804ebb6925a95753.png
Малюнок1.3.7. Затінена область - це об'єднання множинA іB. Тобто затінена область єAB.

Це призводить до наступних важливих порад.

Примітка

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

Прості складні нерівності

Давайте застосуємо те, що ми навчилися, щоб знайти об'єднання і/або перетину інтервалів дійсних чисел. Найпростіший підхід - через низку прикладів. Почнемо.

Приклад1.3.3

На реальному рядку намалюйте набір дійсних чисел у множині{x:x<3 абоx<5}. Використовуйте інтервальне позначення для опису вашої остаточної відповіді.

Рішення

Спочатку давайте накидаємо два{x:x<3} набори, і{x:x<5}, на окремих реальних лініях, один поверх іншого, як показано на малюнку1.3.8.

WeChate8a410f3d3c40c44ca241e73bc926210.png
Малюнок1.3.8 Ескіз кожен набір окремо.

Тепер, щоб накидати рішення, зверніть увагу на слово «або» в наборі{x:x<3 абоx<5}. Таким чином, нам потрібно взяти об'єднання двох затінених реальних ліній на малюнку1.3.8. Тобто нам потрібно затінювати все, що затінено на будь-якій з двох числових рядків. Звичайно, це було б все менше 5, як показано на малюнку1.3.9.

WeChat4ac8438b6c31a0ff029dc59eec8fa9dc.png
1.3.9Малюнок Остаточне рішення - об'єднання двох затінених множин на рис1.3.8.

Таким чином, кінцевим рішенням є те,{x:x<5}, що в інтервальних позначеннях, є(,5).

Давайте розглянемо інший приклад.

Приклад1.3.4

На реальному рядку намалюйте набір дійсних чисел у множині{x:x<3 таx<5}. Використовуйте інтервальне позначення для опису вашої остаточної відповіді.

Рішення

У1.3.3 прикладі вас попросили затінювати набір{x:x<3 абоx<5} на реальну лінію. У цьому прикладі нам пропонується намалювати набір{x:x<3 іx<5}. Зауважте, що позначення set-builder ідентичні, за винятком однієї зміни, «або» Прикладу1.3.3 було замінено словом «і».

Знову накидайте два{x:x<3} набори, і{x:x<5}, на окремих реальних лініях, один поверх іншого, як показано на малюнку1.3.10.

WeChat9771d5ea48926858a9859c911ca5371f.png
Малюнок1.3.10. Намалюйте кожен набір окремо.

Тепер, щоб накидати рішення, зверніть увагу на слово «і» в{x:x<3 наборі іx<5}. Таким чином, нам потрібно взяти перетин двох заштрихованих реальних ліній на малюнку1.3.10. Тобто нам потрібно затінювати все, що є загальним для двох числових рядків. Звичайно, це було б все менше 3, як показано на малюнку1.3.11.

WeChatf4ad597e65730474fcab29bb4d71ead8.png
Малюнок1.3.11. Остаточне рішення - перетин двох затінених наборів на рис1.3.10.

Таким чином, кінцевим рішенням є те,{x:x<3}, що в інтервальних позначеннях, є(,3).

Примітка

Якщо ви відповідаєте «або», коли відповідь вимагає «і» або навпаки, ви не зробили незначної помилки. Дійсно, це величезна помилка, як продемонстровано в Example1.3.3 і Example1.3.4.

Перш ніж спробувати інший приклад, ми робимо паузу, щоб визначити трохи позначення, яке буде надзвичайно важливим у нашій майбутній роботі.

Визначення

позначення

a<x<b

інтерпретується як означає

x>a and x<b

Крім того, ми могли б сказати, щоa<x<b це ідентично висловлюванню «a<xіx<b,», але сказати «a<x» - це те саме, що сказати «x>a.» Ми вважаємо за краще говорити «x>aіx<b,» і будемо використовувати цей порядок протягом всієї нашої роботи, але форма «a<xіx<b» однаково дійсний.

Дійсно ключовим моментом, який слід зробити тут, є той факт, що твердженняa<x<b є твердженням «і». Якщо він використовується належним чином, це хороший спосіб описати числа, які лежать міжa іb.

Давайте розглянемо приклад.

Приклад1.3.5

На реальному рядку намалюйте набір дійсних чисел у множині{x:3<x<5}. Використовуйте інтервальне позначення для опису вашої відповіді.

Рішення

Спочатку напишемо, що мається на увазі під{x:3<x<5}. позначенням. За визначенням цей набір збігається з множиною

{x:x>3 and x<5}

Таким чином, першим кроком є ескіз множин{x:x>3} і{x:x<5} на окремих реальних лініях, укладених одна на іншу, як показано на малюнку1.3.12.

WeChatf698feec595f244c28b9681e5d4e9bf5.png
Малюнок1.3.12. Намалюйте кожен набір окремо.

Тепер, щоб накидати рішення, зверніть увагу на слово «і» в{x:x>3 наборі іx<5}. Таким чином, нам потрібно взяти перетин двох ліній на малюнку1.3.12. Тобто нам потрібно затінювати числа на дійсній лінії, які є загальними для двох рядків, показаних на малюнку1.3.12. Цифри 3 і 5 не затінені в обох наборах на малюнку1.3.12, тому вони не будуть затінені в нашому остаточному рішенні. Однак усі дійсні числа між 3 та 5 затінені в обох наборах на малюнку1.3.12, тому ці числа будуть затінені в остаточному рішенні, показаному на малюнку1.3.13.

WeChat93c18bc2d8d93d28436e2f332f6172f9.png
Малюнок1.3.13. Остаточне рішення - перетин двох затінених наборів на рис1.3.12.

Найбільш природним чином інтервальне позначення для затіненого розчину на малюнку1.3.13 є(3,5). Тобто

(3,5)={x:3<x<5}

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

Номер рядка Позначення Set-Builder Інтервальні позначення
WeChatbda14c0e8f5c8d2cdca47a2ae2711cd8.png {x:3<x<5} (3,5)
WeChata8fd3db058b13b5147fbb57ffbfa6eb7.png

{x:3x5}

[3,5]
WeChat817ee4b8a9e4af7c63ab82d72557a784.png {x:3x<5} [3,5)
WeChatf49ae38c11cba9912f6c2f7b15f4671e.png {x:3<x5} (3,5]
Таблиця1.3.4. Числові рядки, позначення set-builder та інтервальні позначення.

Існує кілька точок акценту щодо інтервалів в табл1.3.4.

  1. Коли ми хочемо підкреслити, що ми не включаємо точку на реальній лінії, ми використовуємо «порожнє коло». І навпаки, «заповнене коло» означає, що ми включаємо точку на реальній лінії. Таким чином, інтервал у першому рядку таблиці1.3.4 не включає кінцеві точки на 3 і 5, але інтервал у другому рядку таблиці1.3.4 включає кінцеві точки на 3 і 5.
  2. Використання дужки в інтервальних позначеннях означає, що ми не включаємо цю кінцеву точку в інтервал. Таким чином, дужки, використані(3,5) в першому рядку таблиці,1.3.4 означає, що ми не включаємо числа 3 і 5 в цьому інтервалі.
  3. Використання дужки в інтервальних позначеннях означає, що ми включаємо в інтервал число в дужках. Таким чином, дужки, використані в,[3,5], як видно в другому рядку таблиці1.3.4, означає, що ми включаємо числа 3 і 5 в інтервал.
  4. Нарешті, зауважте, що деякі з наших інтервалів «відкриті» на одному кінці, але «закриті» (заповнені) на іншому кінці, наприклад, у рядках 3 та 4 таблиці1.3.4.

Визначення

Деяка термінологія:

  • Інтервал(3,5) відкритий з кожного кінця. Тому ми називаємо інтервал відкритим(3,5) інтервалом.
  • Інтервал[3,5] закривається (заповнюється) на кожному кінці. Тому ми називаємо[3,5] інтервал замкнутим інтервалом.
  • Інтервали(3,5] і не[3,5) є ні відкритими, ні закритими.

Давайте розглянемо інший приклад.

Приклад1.3.6

На реальній лінії накидайте множину всіх дійсних чисел в{x:x>3 множині абоx<5}. Використовуйте інтервальне позначення для опису вашої відповіді.

Рішення

Зауважте, що єдиною відмінністю між цим1.3.4 поточним прикладом і набором затінених у Прикладі є те, що ми замінили слово «{x:x>3іx<5}» на слово «або» в{x:x>3 абоx<5}. Але, як ми бачили раніше, це може змінити світ.

Таким чином, першим кроком є ескіз множин{x:x>3} і{x:x<5} на окремих реальних лініях, укладених одна на іншу, як показано на малюнку1.3.14.

WeChate55660b0a59e03cb1ebfd4dd3ac5fcf2.png
Малюнок1.3.14. Ескіз кожного набору окремо

Тепер, щоб накидати рішення, зверніть увагу на слово «або» в наборі{x:x>3orx<5}. Таким чином, нам потрібно взяти об'єднання двох рядків на малюнку1.3.14. Тобто нам потрібно затінювати числа на дійсній лінії, які затінені на будь-якій з двох ліній, показаних на малюнку1.3.14. Однак це означає, що нам доведеться затінювати кожне число на лінії, як показано на малюнку1.3.15. Ви не помітили жодних міток для 3 та 5 на реальному рядку на малюнку1.3.15, оскільки в цьому рішенні немає кінцевих точок. Кінцеві точки, якщо хочете, знаходяться в негативній і позитивній нескінченності.

WeChatf71372d63832986875d32f591e69cd38.png
Малюнок1.3.15. Остаточне рішення - об'єднання двох затінених наборів на рис1.3.14.

Таким чином, найбільш природним чином інтервальні позначення для затіненого розчину на малюнку1.3.15 є(,).

Давайте розглянемо інший приклад.

Приклад1.3.7

На реальній лінії накидайте множину всіх дійсних чисел в{x:x<1 множині абоx>3}. Використовуйте інтервальне позначення для опису вашої відповіді.

Рішення

Насамперед необхідно накидати{x:x<1} набори і{x:x>3} на окремих реальних лініях, укладаються одна на іншу, як показано на малюнку1.3.16.

WeChat01a488eb7ae09f18f50e8cc87faa93b0.png
Малюнок1.3.16. Намалюйте кожен набір окремо.

Щоб накидати рішення, зверніть увагу на слово «або» в наборі{x:x<1 абоx>3}. Таким чином, нам потрібно взяти об'єднання двох затінених реальних ліній на малюнку1.3.16. Тобто нам потрібно затінювати числа на реальній лінії, які затінені на будь-якій реальній лінії на малюнку1.3.16. Таким чином, затінюється кожне число менше −1, а також кожне число більше 3. Результат показаний на рис1.3.17.

WeChate5025bd3ae2c0a8b52622aebb72034f1.png
Малюнок1.3.17. Остаточне рішення - об'єднання затінених реальних ліній на рис1.3.16.

Ось важлива порада.

Примітка

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

Якщо ми дотримуємось цієї поради, коли ми проведемо очі зліва направо через реальну лінію, затінену на малюнку1.3.17, ми побачимо, що числа затінені від негативної нескінченності до −1, а від 3 до позитивної нескінченності. Таким чином, найбільш природним чином інтервальне позначення для затіненого розчину, встановленого на малюнку1.3.17, є

(,1)(3,)

Тут слід зробити кілька важливих моментів:

Зверніть увагу, як ми використовували символ об'єднання для об'єднання двох інтервалів природним чином.(,1)(3,)

Символ об'єднання використовується між множинами чисел, в той час як слово «або» використовується між твердженнями про числа. Некоректно обмінюватися ролями символу союзу і словом «або». Таким чином, написання{x:x<1x>3} некоректно, як це було б також написати(,1) або(3,).

Ми підкріплюємо попередню дискусію про різницю між «заповненими» та «відкритими» колами, дужками та дужками в таблиці 5, де ми включаємо кілька порівнянь позначення інтервалу та конструктора наборів, включаючи поточне рішення для Прикладу1.3.7.

Номер рядка Позначення Set-Builder Інтервальні позначення
WeChatf53d03f738331879eb0692dd8625d2f2.png {x:x<1абоx>3} (,1)(3,)
WeChatba514ec0bdd1cb5c3f4d99acace2bb81.png {x:x1абоx3} (,1][3,)
WeChat7b6757d8d32d2358f013f72f6cfbf85e.png {x:x1абоx>3} (,1](3,)
WeChat5608eb1ed2eb2db2316c100c505f1e6d.png {x:x<1абоx3} (,1)[3,)

Знову підкріплюємо наступні моменти.

  • Зверніть увагу, як підмітати очі зліва направо, описуючи те, що затінено на реальній лінії, гарантує, що ви пишете інтервальні позначення в правильному порядку.
  • Дужка еквівалентна заповненій крапці і включає кінцеву точку, тоді як дужка еквівалентна відкритій точці і не включає кінцеву точку.

Давайте зробимо останній приклад, який повинен назавжди закріпити уявлення про те, що існує величезна різниця між словами «і» і «або».

Приклад1.3.8

На реальній лінії накидайте множину всіх дійсних чисел в множині{x:x<1 іx>3}. Опишіть своє рішення.

Рішення

Перш за все, зверніть увагу, що єдина відмінність між цим прикладом і прикладом1.3.6 полягає в тому, що ми змінили «{x:x<1або»x>3} в або на «і» в{x:x<1 іx>3}. Попередні ескізи ідентичні тим, що наведені на малюнку1.3.16.

WeChat408b237856b9c3870780b38d247eec26.png
Малюнок1.3.18. Ескіз{x:x<1} і{x:x>3} на окремих реальних лініях.

Тепер зверніть увагу на слово «і» в{x:x<1 and x>3}. Таким чином, нам потрібно взяти перетин затінених реальних ліній на малюнку1.3.18. Тобто нам потрібно затінювати на одній дійсній лінії всі числа, які затінені на обох реальних лініях на малюнку1.3.18. Однак на реальних лініях на малюнку немає загальних точок1.3.18, тож набір рішень порожній, як показано на малюнку1.3.19.

WeChat7f04ee6b5c597bec4a30c39980dd7f67.png
Малюнок1.3.19. Рішення порожнє, тому ми залишаємо реальний рядок порожнім.

Досить вражає! Останні два приклади наочно демонструють, що якщо ви поміняєтеся ролями «і» і «або», ви не зробили незначної помилки. Дійсно, ви змінили весь сенс проблеми. Так що будьте обережні зі своїми «руками» і «орсами».