Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Ядро функции (Kerf)

Пусть f: X ® Y – функция. Ядро функции f определяется обычным образом, Kerf = f Í X ´ X.

Опишем свойства бинарного отношения Ker f, когда f - функция. Найдем сначала ядро биекции.

Если y= f (x) – биекция, то x= (y) определяется однозначно. Имеем

f (x) = (f (x)) = (y) = x Þ f = .

Соответственно f (у) = (f (у)) = (х) = у Þ f =Iу.

Таким образом, ядро биективной функции – это тождественное отображение области определения функции на нее же.

В общем случае уже не функция, а просто бинарное отношение, и тогда справедливо такое утверждение.

Утверждение.

Ядро функции – это отношение эквивалентности на области определения функции.

Доказательство. Выясним, какие упорядоченные пары принадлежат ядру функции f.

и и . Если пара (x 1, x 2) принадлежит ядру, то у элементов этой пары один и тот же образ.

f (x 1) = f (x 2) = y Þ (x 1, yf и (x 2, yf Þ(x 1, yf и (y, x 2 Þ (x 1, x 2f .

Таким образом, (x 1, x 2f Û f (x 1) = f (x 2).

Теперь нетрудно доказать, что f – рефлексивное, симметричное и транзитивное бинарное отношение.

1. Рефлексивность: f (x) = f (x) Þ (x, xKerf;

2. Симметричность: Если f (x 1) = f (x 2), то f (x 2) = f (x 1). Значит, (x 1, x 2Kerf Þ (x 2, x 1Kerf;

3. Транзитивность: Если f (x 1) = f (x 2), f (x 2) = f (x 3), то f (x 1) = f (x 3); (x 1 ,x 2Kerf и (x 2, x3Kerf Þ (x 1, x 3Kerf.

Как было показано, всякое отношение эквивалентности определяет разбиение множества, на котором оно задано, на непересекающиеся непустые классы эквивалентности. В случае ядра функции, класс эквивалентности состоит из всех элементов области определения, имеющих один и тот же образ.

Пример.

Возьмем y = sin(x). Тогда [0]={ kp, k Î Z},

[p/6]={π/6 + 2 k π, k Î Z} {5/6π+2 k π, k Î Z};

[-p/2]={-π/2 + 2 k π, k Î Z} и т.д.

В заключение приведем ещё несколько примеров решения задач.

Пример 1. Пусть Х, Y – два множества, состоящие из n и m элементов соответственно. Какова мощность множества всех тотальных функций, определенных на Х, со значениями в Y?

Решение. Чтобы задать любую тотальную функцию нужно выполнить одно за другим и независимо одно от другого n действий: указать образ каждого элемента множества Х. Но каждое действие можно выполнить m способами Þ число функций равно mn.

Пример 2. Доказать, что , где f – произвольная функция, и что равенство получается, когда инъекция. Привести пример строгого включения.

Решение.

1. и

и .

2. Если инъекция, условие однозначности выполнено также и для значений функции , по каждому значению однозначно определяется аргумент , значение которого равно .

,

, .

3. Если не инъекция, то множества аргументов могут вообще не пересекаться, а множества значений могут иметь не пустое пересечение. Положим . Тогда , , ,

.

Пример 3. Доказать, что .

Решение.

,

, .

, и

.

Замечание. Запись читается так: существует и единственен элемент .

 

<== предыдущая лекция | следующая лекция ==>
Композиция функций | Внешние сущности
Поделиться с друзьями:


Дата добавления: 2014-01-03; Просмотров: 849; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.015 сек.