КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
УНІВЕРСАЛЬНА МНОЖИНА
Як ми бачили, роль нуля в алгебрі множин грає порожня множина. Запитується, чи існуємножина I, що буде відігравати роль одиниці, тобто задовольняти умові
аналогічній умові а´1=а в звичайній алгебрі. Співвідношення означає, що перетинання або “загальна частина” множини I і множини Х для будь-якої множини Х збігається із самою цією множиною. Але це можливо лише в тому випадку, якщо множина I містить усі елементи, із яких може складатися множина X, так що будь-яка множина Х цілком міститься в множині I. Множина I, що задовольняє цій умові, називається повною, або універсальною, або одиничною. Виходячи зі сказаного, можна дати наступне визначення універсальної множини. Якщо в деякому розгляді беруть участь тільки підмножини деякої фіксованої множини І, то ця найбільша множина I називається універсальною множиною. Слід зазначити, що в різних конкретних розглядах роль універсальної множини можуть грати різні множини. Так, при розгляді множин студентів у групі (відмінники; студенти, студенти, що отримують стипендію, що проживають у гуртожитку, і т.п.) роль універсальної множини грає множина студентів у групі. Універсальну множину зручно зображувати графічно у вигляді множини точок прямокутника. Окремі області всередині цього прямокутника будуть означати різні підмножини універсальної множині. Зображення множин у вигляді областей у прямокутнику, що являє собою універсальну множину, називається діаграмою Ейлера-Венна. Універсальна множина має цікаву властивість, що не має аналогії в звичайній алгебрі, а саме, для будь-якої множини Х є справедливим співвідношення . Дійсно, об’єднання ХÈI являє собою множину, в яку входять як всі елементи множини X, так і всі елементи множини I. Але множина I уже містить у собі всі елементи множини X, так що ХÈI буде утворюватися з тих же елементів, що і I, тобто являє собою саму універсальну множину I.
|