Студопедия
Контакти
 


Тлумачний словник

Реклама: Настойка восковой моли




Авто | Автоматизація | Архітектура | Астрономія | Аудит | Біологія | Будівництво | Бухгалтерія | Винахідництво | Виробництво | Військова справа | Генетика | Географія | Геологія | Господарство | Держава | Дім | Екологія | Економетрика | Економіка | Електроніка | Журналістика та ЗМІ | Зв'язок | Іноземні мови | Інформатика | Історія | Комп'ютери | Креслення | Кулінарія | Культура | Лексикологія | Література | Логіка | Маркетинг | Математика | Машинобудування | Медицина | Менеджмент | Метали і Зварювання | Механіка | Мистецтво | Музика | Населення | Освіта | Охорона безпеки життя | Охорона Праці | Педагогіка | Політика | Право | Програмування | Промисловість | Психологія | Радіо | Регилия | Соціологія | Спорт | Стандартизація | Технології | Торгівля | Туризм | Фізика | Фізіологія | Філософія | Фінанси | Хімія | Юриспунденкция

Зчисленні множини

Загрузка...

Рівнопотужні множини

Фактор-множина

Виходячи із сказаного кожен клас еквівалентності Xj є підмножиною множини X, що складається з елементів, еквівалентних деякому фіксованому елементу цієї множини. Тому можна розглянути і множину всіх класів еквівалентності, яку звичайно називають фактор-множиною за даним відношенням еквівалентності R і позначають наступним чином Х/R. Якщо через K(x) позначити клас еквівалентності елемента x, то K(x) є елементом фактор-множини та x Î K(x).

Можна дати просту інтерпретацію фактор-множини на прикладах відношень еквівалентності, наведених раніше (1, 2, 3, 4, 5):

1)°фактор- множина - це множина Zm цілих чисел, порівняних за модулем m;

2)°фактор- множина - це множина напрямлених прямих на площині;

3)°фактор- множина - це множина місяців року. Вона може мати менше 12 місяців, бо в аудиторії може не виявитися студентів, які народилися в одному з місяців, скажімо в лютому.

 

Розглянемо відображення з множини натуральних чисел Nв множину парних натуральних чисел N2, яке кожному натуральному числу ставить у відповідність подвоєне число, тобто бієктивне відображення f (п) = 2п. Тоді можна сказати, що існує стільки парних натуральних чисел, скільки й натуральних, а також, що y випадку нескінченних множин може існувати бієктивне відображення деякої множини на її підмножину, яка відмінна від самої множини. Завдяки поняттю бієктивного відображення можна порівнювати між собою нескінченні множини.

Дві множини X та Y називаються рівнопотужними, якщо існує принаймні одне бієктивне відображення f :XY.

Відношення ” X рівнопотужна Y “ є відношенням еквівалентності між множинами. Клас еквівалентності, тобто клас всіх множин рівнопотужних даній множині, називається потужністю або кардинальним числом. Скінченні кардинальні числа – це класи еквівалентності скінченних множин. Ці числа за визначенням є натуральними числами 0, 1, 2, ... . Слід відзначити, що ми приймаємо як первинне поняття натуральні числа, але їх строге математичне визначення досить складне. Як наслідок не легко apriori означити скінченні множини. Часто за визначенням вважають множину скінченною, якщо вона не рівнопотужна ніякій зі своїх підмножин, відмінних від самої множини, а потім доводять, що кардинальне число має властивості натуральних чисел.



Интернет реклама УБС

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

 

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

Раніше ми з’ясували, що множина парних натуральних чисел N2 є зчисленною.

Задамо відображення f : ZN так: f(z)=2z при z>0, f(z)=2|z|+1 при z≤0. Воно бієктивне і, значить, множина цілих чисел Z також є зчисленною.

Покажемо, що множина N ´ N рівнопотужна множині N. Дійсно, з наведеної далі схеми

 

бачимо, що відображення , тобто f : N ´ NN є бієкцією.

Інший варіант бієктивного відображення f : N ´ NNнаведено далі.

 

Покажемо, що множина Z ´ Z рівнопотужна множині N. Далі наведено схему, яка задає відповідне бієктивне відображення f :Z ´ ZN

 

Таким чином, множина Z ´ Z також є зчисленною.

Покажемо, що й множина раціональних чисел зчисленна. Множину раціональних чисел можна розглядати так: Q = {(m,n) | m − ціле число, n − натуральне число, найбільший спільний дільник m та n дорівнює 1}.

На наведеній далі схемі зображено впорядковані пари - елементи множини Q1 = {(m,n) | m − ціле число, n − натуральне число}. Оскільки різні такі пари можуть задавати одне і те ж раціональне число (наприклад, пари (1,2), (2,4), (3,6) і т.д. задають число ½), то кожен елемент множини Q на схемі зображаємо променем, початком якого є пара (m,n), у цьому разі найбільший спільний дільник m та n дорівнює 1. Починаючи з неї і через всі подальші пари, що задають те саме раціональне число, проводимо промінь – по суті об’єднуємо такі пари в одну групу.

Нумеруємо елементи множини Q прямими зі стрілками, що послідовно з’єднують початки променів. Загальний шлях нумерації складається з низки умовних півкіл. У кожному півколі прямі зі стрілками з’єднують ті пари, що мають рівні суми |m| + |n|.


Усі розглянуті досі множини виявилися зчисленними множинами. Виникає запитання: а чи існують нескінченні множини, які не є зчисленними ? Відповідь отримаємо далі.


Читайте також:

  1. Бюджетні множини й лінії бюджетного обмеження
  2. Визначення множини допустимих планів задачі ЛП
  3. Відношення еквівалентності та порядку, їх властивості. Впорядковані множини. Зв'язок відношення еквівалентності з розбиттям множини на класи, що попарно не перетинаються.
  4. Властивості множини невід’ємних раціональних чисел.
  5. Властивості множини цілих чисел.
  6. Залишки форм двоїни /у значенні множини/ в сучасній українській мові
  7. Знову рахуємо підмножини
  8. Зчисленні множини
  9. Інтерпретація множини дійсних чисел
  10. Лекція № 3. МНОЖИНИ|безліч| І ПІДМНОЖИНИ
  11. Малюнок №1.1. Зображення універсальної множини.

Загрузка...



<== попередня сторінка | наступна сторінка ==>
Відношення еквівалентності | Потужність континууму

Не знайшли потрібну інформацію? Скористайтесь пошуком google:


 

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.004 сек.