пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

Классы монотонных и линейнных функций.

Класс линейных функций

Определение

Функция htmlconvd-7scM_R_html_m47f451ec.gifназывается линейной, если она может быть представлена в виде:htmlconvd-7scM_R_html_5be554a7.gif,htmlconvd-7scM_R_html_mbe3177c.gif.

 

Пример

htmlconvd-7scM_R_html_m4fc3a74c.gif

 

Класс линейных функций htmlconvd-7scM_R_html_7e7ede26.gif

Класс линейных функций замкнут:

Тождественная функция является линейной.

Замкнутость относительно переименования переменных очевидна. Суперпозицию доказывается простой подстановкой. Пусть htmlconvd-7scM_R_html_m2dc190ca.gif,

htmlconvd-7scM_R_html_m2eaacfc0.gif

htmlconvd-7scM_R_html_m662acf84.gif

htmlconvd-7scM_R_html_3b45d19a.gif

htmlconvd-7scM_R_html_m75a10a2d.gifhtmlconvd-7scM_R_html_m76a4e06e.gif

 

Лемма о нелинейной функции

Пусть htmlconvd-7scM_R_html_m3dfb1ba2.gifTL тогда замыкание класса htmlconvd-7scM_R_html_m4faa5fa6.gif содержит коньюнкцию.

 

Доказательство

Любая функция может быть задана полиномом Жегалкина. Так как fTL, то существует хотя бы одно слагаемое, которое содержит конъюнкцию по крайне мере двух переменных. Для определенности пусть это будутx1иx2. Тогда все слагаемые можно разделить на 4 группы:

- содержащие x1x2 ;

- содержащие x1;

- содержащие x2;

- не содержащие x1 иx1.

В первой группе вынесем за скобки x1x2 , во второй - x1, в третьей - x2 .

В результате получим:

htmlconvd-7scM_R_html_318c717a.gif.

Причём htmlconvd-7scM_R_html_m74d5665f.gif.

Следовательно, существуют такие значения переменных htmlconvd-7scM_R_html_m59c8b2d6.gif-htmlconvd-7scM_R_html_me4c0a20.gif, чтоhtmlconvd-7scM_R_html_m5268cdd5.gif.

Пусть htmlconvd-7scM_R_html_3aaafcb9.gif

htmlconvd-7scM_R_html_6295218e.gif

htmlconvd-7scM_R_html_m42b4a669.gif,b,c,d  (0,1)э

Рассмотрим функции:

htmlconvd-7scM_R_html_m370cbaf8.gif

 

Класс монотонных функций

Определение

Функция называется монотонной, если для любых двух векторов htmlconvd-7scM_R_html_30a24459.gifиhtmlconvd-7scM_R_html_m7aa38216.gifиз условияhtmlconvd-7scM_R_html_m3be8263b.gifследует, чтоhtmlconvd-7scM_R_html_m5ea9ea22.gif.

htmlconvd-7scM_R_html_m5d8db979.gifтогда и только тогда когда htmlconvd-7scM_R_html_5291efe5.gif

Пример

htmlconvd-7scM_R_html_m3f032d3f.gif, .

Дhtmlconvd-7scM_R_html_6fd67573.gifля вычисления монотонных функций удобно построить диаграмму. Рассмотрим ее на примере функции

htmlconvd-7scM_R_html_m119796c0.gif

 

(1,1,1)

 

(1,0,1)

(1,1,0) (0,1,1)

(0,0,1) (0,1,0) (0,0,1)

 

(0,0,0)

 

 

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

В нашем случае f(1,1,0)=1,af(1,1,1)=0,cледовательно функция не монотонная.

 

Класс монотонных функций htmlconvd-7scM_R_html_m4c5f034e.gif

Покажем, что класс монотонных функций замкнут

1) Тождественная функция htmlconvd-7scM_R_html_m300d1d26.gif

  1. Пусть htmlconvd-7scM_R_html_m752be784.gifиhtmlconvd-7scM_R_html_469349b6.gif- новые переменные.

Возьмем два набора значений переменных : и таких, что htmlconvd-7scM_R_html_7c6f0512.gif, но эти векторы будут значениями и переменныхhtmlconvd-7scM_R_html_m3c2b6a28.gifи потому выполняется равенство .

  1. Пусть htmlconvd-7scM_R_html_51d946d2.gif. Рассмотрим функцию

Возьмем два набора значений переменных : и , таких что .

Обозначим значения

htmlconvd-7scM_R_html_m7701e7fe.gif

….

htmlconvd-7scM_R_html_m5ee12d37.gif

htmlconvd-7scM_R_html_m7b599c56.gif

….

htmlconvd-7scM_R_html_40835060.gif

В силу монотонности функций htmlconvd-7scM_R_html_a3573a4.gif,i= 1,…,nимеемhtmlconvd-7scM_R_html_m4120a1e1.gif,i= 1,…,n.

htmlconvd-7scM_R_html_60b9e02d.gif=

=htmlconvd-7scM_R_html_298983e7.gif, то естьhtmlconvd-7scM_R_html_66f3bf24.gif.

 

Лемма о немонотонной функции

Пусть htmlconvd-7scM_R_html_m3c3c88b5.gif. Тогда замыкание классаhtmlconvd-7scM_R_html_58ccf0e8.gifсодержит отрицание.

 

Доказательство

Так как htmlconvd-7scM_R_html_5c908a51.gifто существуют такие наборы и , что , аhtmlconvd-7scM_R_html_m16b1545c.gif.

Если , то для любого i - htmlconvd-7scM_R_html_m2d781573.gifилиhtmlconvd-7scM_R_html_m13856d76.gif, аhtmlconvd-7scM_R_html_399205cd.gif.

htmlconvd-7scM_R_html_mf5669a0.gif, следовательно, htmlconvd-7scM_R_html_f57836b.gif. Тогда существуетhtmlconvd-7scM_R_html_m3a18fc97.gifтакой, что дляhtmlconvd-7scM_R_html_161e12bf.gif, а . Другими словамиJ – это множество индексов, для которых htmlconvd-7scM_R_html_m323b705d.gif.

Рассмотрим функцию htmlconvd-7scM_R_html_17d1f5e8.gifгдеhtmlconvd-7scM_R_html_707eeaa3.gif, еслиhtmlconvd-7scM_R_html_2d07b758.gifиhtmlconvd-7scM_R_html_m75aa512c.gif, еслиhtmlconvd-7scM_R_html_674e4c68.gif.

Тогда htmlconvd-7scM_R_html_5486a4f7.gif, то есть

htmlconvd-7scM_R_html_a390a5d.gif, а htmlconvd-7scM_R_html_m534816c8.gif, значитhtmlconvd-7scM_R_html_4f872112.gif.


14.01.2017; 23:59
хиты: 94
рейтинг:0
Точные науки
математика
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь