Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Операция проектирования

Читайте также:
  1. Анализ схемы главного тока и выбор контура ГЭУ для проектирования.
  2. Гальваническая операция
  3. Глава 1. Теоретические аспекты управления складскими операциями и погрузочно — разгрузочными и на складе
  4. Доказательство — это логическая операция обоснования ис­тинности какого-либо суждения с помощью других истинных и связанных с ним суждений.
  5. Изменение баланса жидкости при операциях на аорте
  6. Информация об операциях со связанными с Банком сторонами
  7. Исходные данные для проектирования

Используя введенные понятия, определим еще одну теоретико-множественную операцию

- проектирование, применяемую только к множеству кортежей одинаковой длины. Поскольку проекция множества кортежей определяется через проекцию кортежа, начнем с её определения.

Пусть a = á a 1, a 2,..., as ñ - кортеж длины s > 0.

1) Проекцией кортежа a на i-ю ось называется и через ПР ia обозначается i -я компонента кор-тежа a, т.е. ai. Таким образом, ПР ia = ai (i = 1, …, s).

2) Пусть 2 ≤ qs и 1 ≤ i 1 < i 2 <... < iq -1 < iqs. Проекцией кортежа a на оси с номерами i 1, i 2,..., iq называется и через α обозначается кортеж á ñ. Таким образом, α = á ñ.

3) Проекцией кортежа a на пустое множество осей называется и через ПРÆ a обозначается пустой кортеж L. Таким образом, ПРÆ a = L.

4) Проекцией пустого кортежа L на пустое множество осей называется и через ПРÆL обозначается пустой кортеж L. Таким образом, ПРÆL = L.

Пример 5. Если α = á x, y ñ, то ПР1 a = x, ПР2 a = y. Если α = á{ x }, á y ññ, то ПР1 a = { x }, ПР2 a = á y ñ. Если α = á á x, á y ññ, x ñ, то 1-ой компонентой кортежа α является кортеж á x, á y ññ длины 2, а его 2-ой компонентой – элемент x, т.е. ПР1 a = á x, á y ññ, ПР2 a = x

Определим теперь понятие «проекция множества». Как уже было указано выше, это поня-тие будет определено только для того случая, когда проектируемое множество состоит из кор-тежей, причем все эти кортежи имеют одинаковую длину.

Пусть М - множество кортежей длины s > 0. Поскольку пустое множество Æ не является множеством кортежей длины s > 0, то множество М предполагается непустым.

1) Проекцией множества М на i-ю ось называется и через ПР iМ обозначается множество проекций кортежей из М на i- ю ось (i = 1, …, s).

2) Пусть 2 ≤ qs и 1 ≤ i 1 < i 2 <... < iq -1 < iqs. Проекцией множества М на оси с номерами i 1, i 2,..., iq называется и через M обозначается множество проекций кортежей из М на оси с номерами i 1, i 2,..., iq -1, iq.

3) Проекцией множества М на пустое множество осей называется и через ПРÆ М обознача-ется пустой кортеж L. Таким образом, ПРÆ М = L.

Пример 6. Пусть М = {á a, p, q ñ, á a, q, q ñ, á b, p, q ñ, á b, q, a ñ, á b, q, q ñ, á c, p, a ñ, á c, p, q ñ, á c, q, q ñ}. Найдём проекцию ПР23 заданного множества М кортежей на оси с номерами 2 и 3. По опре-делению проекции множества, ПР23 М состоит из всех проекций всех кортежей из М на указан-ные оси. Из определения проекции кортежей, проекция отдельного кортежа a – это просто кор-теж, состоящий из компонент a с соответствующими номерами. Так, для 1-го по порядку корте-жа из М – á a, p, q ñ – его проекцией ПР23 á a, p, q ñ на оси 2, 3 будет кортеж (длины 2) á p, q ñ. Далее, ПР23á a, q, q ñ = á q, q ñ, и т.д. В результате получаем: ПР23М = {á p, q ñ, á q, q ñ, á q, a ñ, á p, a ñ}. Здесь в проектируемом множестве М 8 кортежей, а в проекции – 4. Это происходит потому, что проек-ции различных кортежей из исходного множества совпадают. Например, ПР23 á a, q, q ñ = ПР23 á с, q, q ñ = á q, q ñ ■


Дата добавления: 2015-10-16; просмотров: 211 | Нарушение авторских прав


Читайте в этой же книге: Часть 1. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОГО ЯЗЫКА | Понятие высказывания | Простые и составные высказывания | Таблицы истинности составных высказываний | Логические рассуждения и их значимость | Множества и подмножества | Операции над множествами | Алгоритмы выполнения теоретико-множественных операций | Проверка равенства двух множеств | Понятие кортежа |
<== предыдущая страница | следующая страница ==>
Прямое произведение множеств| Задание 2.

mybiblioteka.su - 2015-2024 год. (0.006 сек.)