Rivalry2

HTML Diff

0 added 0 removed

Original 2026-01-01

Modified 2026-02-26

1 <p>Функция - это то, что связывает элементы или значения одного множества с элементами или значениями другого множества. Так элементы второго множества тождественно определяются элементами первого.</p>

2 <p>У функции много типов, которые определяют отношения между двумя множествами в различном виде. В этом уроке мы разберем один из типов -<strong>онто-функцию</strong>, которую также называют<strong>сюръективной</strong>. Также узнаем о ее определении, способе выяснения количества онто-функций и о том, как доказать, является ли функция сюръективной.</p>

3 <h2>Что такое онто-функция</h2>

4 <p><strong>Онто-функция</strong>или<strong>сюръективная функция</strong>определяется с помощью двух множеств: A и B. Они состоят из элементов. Если для каждого элемента B существует хотя бы один или более одного элемента, который совпадает с A, то функция является онто-функцией:</p>

5 <p>На первом рисунке видно, что для каждого элемента множества B существует пред-образ или совпадающий элемент в множестве A. Поэтому это онто-функция.</p>

6 <p>На втором рисунке один элемент множества B не сопоставлен ни с одним элементом множества A, поэтому это не онто-функция:</p>

7 <p>(1^m)(m-1)^n+(2^m)(m-2)^n-(3^m)(m-3)^n+...-((m-1)^m *1^n</p>

8 <h2>Свойства онто-функции</h2>

9 <p>Онто-функция обладает несколькими важными свойствами:</p>

10 <ul><li>Мы можем определить онто-функцию как функцию, которая выражает сюръекцию, если ограничивать ее кодомен своим диапазоном</li>

11 <li><strong>Область</strong>- это то, что может входить в функцию,<strong>кодомен</strong>- возможные исходы, а<strong>диапазон</strong>- фактический вход функции</li>

12 </ul><h2>Как определить количество онто-функций</h2>

13 <p>Представим, что нам нужно найти число онто-функций от множества A с n количеством элементов. При этом функция относится к множеству B с m количеством элементов. В таком случае общее количество функций из A в B будет равно m^n. Вычисляется это так:</p>

14 <p>Общее количество онто-функций = Общее количество функций - Количество функций, которые не являются онто</p>

15 <p>Формула для нахождения общего числа функций, которые не являются онто, выглядит так:</p>

16 <p>m^n-(1^m)(m-1)^n+(2^m)(m-2)^n-(3^m)(m-3)^n+...-((m-1)^m *1^n)</p>

17 <p>В этой формуле:</p>

18 <ul><li>При n > m число онто-функций = 0</li>

19 <li>При n = m число онто-функций = m!</li>

20 </ul><h2>Как работать с онто-функциями</h2>

21 <p>Рассмотрим примеры онто-функции, чтобы лучше понять концепцию.</p>

22 <h3>Определяем онто-функцию</h3>

23 <p>Возьмем такое условие:</p>

24 <ul><li>A = {1, 5, 8, 9}</li>

25 <li>B = {2, 4}</li>

26 <li>f = {(1, 2), (5, 4), (8, 2), (9, 4)}</li>

27 </ul><p>Докажем, что f - онто-функция.</p>

28 <p>Посмотрим на условие еще раз и заметим, что все элементы на B имеют доменные элементы на A. Другими словами, у элементов 1, 8, 5 и 9 одинаковый диапазон - 2 и 4 соответственно.</p>

29 <p>Следовательно, f: A → B - это онто-функция.</p>

30 <h3>Выясняем количество онто-функций</h3>

31 <p>Возьмем другое условие:</p>

32 <ul><li>Множество X = {1, 2, 3, 4}</li>

33 <li>Множество Y = {a, b, c}</li>

34 <li>n=4 и m=3</li>

35 </ul><p>Найдем количество онто-функций из множества X = {1, 2, 3, 4} в множество y= {a, b, c}.</p>

36 <p>Вспомним формулу, которую рассматривали выше:</p>

37 <p>m^n-(1^m)(m-1)^n+(2^m)(m-2)^n-(3^m)(m-3)^n+...-((m-1)^m *1^n)</p>

38 <p>Подставим значения m и n в формулу и получим:</p>

39 <p>= 34 - ^(3)C_(1)(2)^4 + ^(3)C_(2)(1)^4 = 81 - 3(16) + 3(1) = 81 - 48 + 3 = 36</p>

40 <p>Таким образом, количество онто-функций из множества X в множество Y равно 36.</p>

41 <h2>Выводы</h2>

42 <p>В этом уроке мы узнали, что такое онто-функция. Так называют функцию, в которой есть два множества A и B в том случае, если для каждого элемента B существует хотя бы один или несколько элементов, совпадающих с множеством A. Любая функция называется онто-функцией, если в ней каждый элемент кодомена имеет один или несколько родственных элементов в домене. Онто-функция также известна как сюръективная функция.</p>