<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="ru">
		<id>http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%D0%A0%D0%BE%D0%BC%D0%B0%D0%BD</id>
		<title>Викиконспекты - Вклад участника [ru]</title>
		<link rel="self" type="application/atom+xml" href="http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%D0%A0%D0%BE%D0%BC%D0%B0%D0%BD"/>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%92%D0%BA%D0%BB%D0%B0%D0%B4/%D0%A0%D0%BE%D0%BC%D0%B0%D0%BD"/>
		<updated>2026-04-26T10:18:59Z</updated>
		<subtitle>Вклад участника</subtitle>
		<generator>MediaWiki 1.30.0</generator>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D1%82%D0%BE%D0%B1%D1%80%D0%B0%D0%B6%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=35178</id>
		<title>Отображения</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9E%D1%82%D0%BE%D0%B1%D1%80%D0%B0%D0%B6%D0%B5%D0%BD%D0%B8%D1%8F&amp;diff=35178"/>
				<updated>2014-01-05T19:06:58Z</updated>
		
		<summary type="html">&lt;p&gt;Роман: пунктуация&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;[[Категория:Математический анализ 1 курс]]&lt;br /&gt;
Лекция от 13 сентября 2010 года.&lt;br /&gt;
&lt;br /&gt;
== Определение ==&lt;br /&gt;
&lt;br /&gt;
{{Определение | definition =&lt;br /&gt;
Закон (правило) f, посредством которого каждому &amp;lt;tex&amp;gt;a \in A&amp;lt;/tex&amp;gt; сопоставляется единственный &amp;lt;tex&amp;gt;b \in B&amp;lt;/tex&amp;gt;, называют '''отображением'''.&lt;br /&gt;
Обычно это записывают так: &amp;lt;tex&amp;gt; b = f(a) &amp;lt;/tex&amp;gt;.&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
Формы записи:&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; f: A \rightarrow B &amp;lt;/tex&amp;gt; {{---}} отображение из &amp;lt;tex&amp;gt;A&amp;lt;/tex&amp;gt; в &amp;lt;tex&amp;gt;B&amp;lt;/tex&amp;gt;. &lt;br /&gt;
&lt;br /&gt;
{{Определение | definition =&lt;br /&gt;
Если A и B состоят из чисел, f называется функцией.&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
Отображение состоит из трех объектов: множества A(откуда), множества B(куда) и правила f(как).&lt;br /&gt;
&lt;br /&gt;
== Связанные понятия ==&lt;br /&gt;
&lt;br /&gt;
Пусть:&lt;br /&gt;
: &amp;lt;tex&amp;gt; f : A \rightarrow B &amp;lt;/tex&amp;gt;&lt;br /&gt;
: &amp;lt;tex&amp;gt; C \subset A &amp;lt;/tex&amp;gt;&lt;br /&gt;
: &amp;lt;tex&amp;gt; g : C \rightarrow B &amp;lt;/tex&amp;gt;&lt;br /&gt;
: &amp;lt;tex&amp;gt; \forall c \in C : g(c) = f(c) &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Тогда, g {{---}} ''сужение'' f на C, &amp;lt;tex&amp;gt; g = f \big|_C &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; A = D(f) &amp;lt;/tex&amp;gt; {{---}} ''область определения'' f&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; R(f) = \{ b | b = f(a), a \in A \} &amp;lt;/tex&amp;gt; {{---}} ''область значений'' f &lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; C \subset A ; f(C) = \{f(a)| a \in C \} &amp;lt;/tex&amp;gt; {{---}} ''образ'' множества C при отображении f&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; D \subset B ; f^{-1}(D) = \{ a| a \in A, f(a) \in D \} &amp;lt;/tex&amp;gt; {{---}} ''прообраз'' множества D при отображении f&lt;br /&gt;
&lt;br /&gt;
{{Определение | definition = &lt;br /&gt;
Отображение &amp;lt;tex&amp;gt;f^{-1}: B \rightarrow A&amp;lt;/tex&amp;gt; называется обратным отображением для f.&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
&amp;lt;tex&amp;gt; f(f^{-1}(a)) = a; \\&lt;br /&gt;
f^{-1}(f(b)) = b;&lt;br /&gt;
&amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Термины &amp;quot;прямое&amp;quot; и &amp;quot;обратное&amp;quot; отображения взаимны.&lt;br /&gt;
&lt;br /&gt;
== Свойства отображений ==&lt;br /&gt;
&lt;br /&gt;
'''Инъективное''' отображение — переводит разные элементы A в разные элементы B:&lt;br /&gt;
: &amp;lt;tex&amp;gt; \forall a_1, a_2 \in A: a_1\ne a_2 \Rightarrow f(a_1) \ne f(a_2) &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
'''Сюръективное''' отображение(на множестве B) — каждый элемент множества B является образом хотя бы одного элемента множества A:&lt;br /&gt;
: &amp;lt;tex&amp;gt; \forall b \in B: \exists a : b = f(a) &amp;lt;/tex&amp;gt;&lt;br /&gt;
&lt;br /&gt;
'''Биективное''' отображение — инъекция + сюръекция — взаимно однозначное соответствие, обладает двумя предыдущими свойствами.&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Множества]]&lt;/div&gt;</summary>
		<author><name>Роман</name></author>	</entry>

	</feed>