Індексована множина - Велика Енциклопедія Нафти та Газа, стаття, сторінка 1

Індексована безліч

Індексована множина г подалагебр алгебри незалежно. [1]

Бульовий добуток будь-якої індексованої множини ЗУ ег невироджених алгебр завжди існує. [2]

Справді, об'єднання будь-якої індексованої множини елементів, що не перетинаються, існує. [3]

Зручність поводження з заходами, індексованими множинами (а чи не впорядкованими наборами точок) у тому, що замість двох типів умов симетрії та узгодженості, введених у § 11, виникає одна система умов узгодженості. [4]

Нехай AttS ter ses - будь-яке m - індексована безліч елементів алгебри 91/А. [5]

Нехай Л [0] (Gt відкриті) - деяка індексована безліч елементів алгебри ЗГ. [6]

У цьому параграфі 31 6 г позначатиме деяке фіксоване індексоване безліч невироджених булевих алгебр , a m - фіксоване нескінченне кардинальне число. [7]

Наступна операція утворення твору полів множин дає важливий приклад незалежної індексованої множини подалебр. [8]

Булева алгебра 31 вільна ( з п вільними утворюючими) тоді і тільки тоді, коли вона породжується незалежною індексованою безліччю з п елементів. [9]

Це буде суттєво, наприклад, у § 13, § 16, § 36 та § 38, де розглядаються індексовані множини булевих алгебр. У багатьох випадках це не суттєво, наприклад, коли розглядаються об'єднання та перетину індексованих множин елементів булевої алгебри (гл. [10]

Для того, щоб булева алгебра 91 була вільною з п вільними утворюючими, необхідно і достатньо, щоб 91 була булевим добутком індексованого безлічі п чотирихелементних булевих алгебр.[11]

Якщо алгебра 31 є m - дистрибутивною, то кожна подалгебра 950 алгебри 33, яка m - породжена деяким m - індексованим безліччю At t r алгебри 31, є атомною алгеброю і, отже, ізоморфна деякому m - полю . [12]

множина

Проте відразу ж ясно, що Б - дерева першого порядку не має сенсу використовувати для представлення великих, впорядкованих, індексованих множин даних, що вимагають вторинної пам'яті: приблизно 50% всіх сторінок будуть містити тільки один-єдиний елемент. [14]