Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении.

Фундаментальную роль в математике играет понятие функции (отображения), которое является частным случаем функционального отношения.

Определение 1.Бинарное отношение f между элементами множеств А и В (то есть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru ) называется функциональным отношением,если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru из Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Из определения 1 следует, что бинарное отношение является функциональным, когда каждому значению первой координаты пары из f соответствует единственная вторая координата, которая обозначается через y=f(x). И говорят в этом случае, что y является функцией от x.

Определение 2. Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ruназываетсяобластью определения функционального отношения.

Определение 3.Функциональное отношение f между элементами множеств А и В называется функциейили отображениемА в В, если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и обозначается Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Множество А называется областью определения функции, множество В -областью значения функции.

Если y=f(x), то y называется образомпри отображении f точки x, а x называется прообразомпри отображении f точки y.

Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , тогда Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru называется образом множества (подмножества)М при отображении f. В частности, Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru образ множества А при отображении f.

Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru тогда Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru прообраз множества С при отображении f. В частности, Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Примеры:следующие отношения являются отображениями:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Следующие отображения не являются отображениями:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Композиция функций. Теорема об ассоциативности произведения функций.

Определение 1. Пусть f и g – функции, причем g: A→B, f: B→C. Композицией (суперпозицией, произведением) функций f и g называется отображение A в C, значением которого для произвольного Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru служит f(g(x)).

Обозначение: Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru или Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , то есть (fg)(x)=f(g(x)).

Определение 2.Отображение Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru называется равными тогда и только тогда, когда f(x)=g(x) Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Пример: Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru – функции, определяемые следующим образом:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru ; g(x)=1–x. Тогда

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru ; Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Из примера видно, что Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru .

Теорема 1:Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru – отображения. Тогда Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru - отображения A в D , причем Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (1), то есть произведения отображений ассоциативно

Доказательство. Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru имеем:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Следовательно, равенство (1) справедливо. Что и требовалось доказать.

Тождественное отображение множества на себя. Обратимое отображение. Сюръекция, инъекция, биекция. Доказательство инъективности f и сюрьективности g, удовлетворяющих условию . Теорема об обратимом отображении.

Определение 1: Отображение Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru называется преобразованием множества A.

Определение 2: Преобразование Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru множества X называется тождественным или единичным преобразованием, если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , то есть преобразование Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru каждую точку из X переводит в себя.

Определение 3: Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru . Если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (1) , то g называется левым обратным отображением для f. Если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (2), то g называется правым обратным отображением для f. Если выполняются равенства (1) и (2) одновременно, то g называется обратным отображением для f.

Если для f существует обратное отображение g, то f называется обратимым отображением .Обозначение: Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru .

Лемма 1. Пусть f – отображение X в Y. Тогда Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru .

Доказательство. Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru имеем:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru .

Аналогично доказывается второе равенство.

Лемма 2. Если обратное отображение для f существует, то оно единственное.

Доказательство: Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru – обратные отображения для f (здесь Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru ). Тогда для g и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru выполняются равенства:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (5)

Тогда, по лемме 1, имеем: Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru то есть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru .

Определение 4. Отображение Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru называется сюръективным отображением или сюръекцией, если Imf = B. То есть сюръекция – это отображение “на” B, Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Определение 5. Отображение Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , называется инъективным отображением (инъекцией) или взаимно однозначным отображением A в B, если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru из Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , то есть различные точки из A отображаются при f в различные точки из B.

Определение 6. Отображение Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru называется биективным отображением (биекцией) или взаимно однозначным соответствием, если f сюръективно и инъективно.

Лемма 3: Если Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (1) , то f – инъекция и g – сюръекция .

Доказательство: Покажем, что f – инъекция.

Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Предположим, что Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (*). Тогда, Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , то есть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и, значит, f– инъективно.

Покажем, что g – сюръекция. Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru имеем:

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , то есть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru существует Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и значит, g - сюръекция.

Теорема 1.Отображение Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru обратимо тогда и только тогда, когда f – биекция.

Доказательство.1)Необходимость.

Пусть f – обратимо, тогда для f существует обратная функция g: Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (1) и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru (2). Из (1) по лемме 3 следует, что f – инъекция. Из (2) по лемме 3 следует, что f – сюръекция.

2)Достаточность.

Пусть f – биекция. Покажем, что f является обратимым отображением. Так как f – биекция, то – f инъекция (то есть различным точкам х1, х2 Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Х соответствуют различные точки из Y) и f – сюръекция ( то есть f(Х)=Y ).

Определим новое биективное отображение g по правилу Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Покажем, что g – функциональное отношение, то есть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , g ставит в соответствие единственную точку из X. Пусть Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , где Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru . Допустим, что Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , тогда из инъективности f Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru , но Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru . Получили противоречие следовательно, х12.

Итак, g – функциональное отношение.

Покажем, что функциональное отношение g является отображением. Действительно, так как f – сюръекция, то Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru а, значит, Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Итак, g - отображение.

Теперь необходимо показать, что Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru Действительно,

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru и

Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru

Следовательно, g - обратная функция для f , то есть f – обратима. Что и требовалось доказать.

СОДЕРЖАНИЕ

Введение.………………………………………………………………………….
§ 1. Понятие множества, подмножества. Равенство множеств……………….
§2. Операции над множествами, их свойства…………………………………..
§3. Прямое (декартово) произведение множеств. Бинарные (n-арные) отношения, их свойства………………………………………………………….  
§4. Область бинарного отношения. Операции над бинарными отношениями. ……………………………………………………………………  
§ 5. Отношение эквивалентности. Теорема о разбиении множества отношением эквивалентности на классы……………………………………….  
§6. Отношение порядка и предпорядка. Линейный порядок. Упорядоченные множества. Наибольший (наименьший), максимальный (минимальный) элементы упорядоченного множества……………………..    
§7.Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении…………………………………………………………………    
§8. Композиция функций. Теорема об ассоциативности произведения функций…………………………………………………………………………..  
§9. Тождественное отображение множества на себя. Обратимое отображение. Сюръекция, инъекция, биекция. Доказательство инъективности f и сюрьективности g, удовлетворяющих условию Функция (отображение) как бинарное отношение. Область определения и область значения функций. Образ и прообраз подмножества при отображении. - student2.ru . Теорема об обратимом отображении…………………………………………...  

Надежда Владимировна Силенок

МНОЖЕСТВА И ОТНОШЕНИЯ

Методические рекомендации по курсу «Алгебра»

Подписано в печать ___________ 2008 г. Формат 60´84 1/16

Печать офсетная. Бумага офсетная.

Усл. п. л. 1,2. Тираж 100 экз. Заказ №______

РИО Брянского государственного университета

Имени академика И. Г. Петровского

243036, г. Брянск, ул. Бежицкая, 14

Отпечатано в цехе полиграфии РИО БГУ

Наши рекомендации