У математиці, sign функція, signum функція, си́гнум-фу́нкція, зна́кова фу́нкція або функція знаку (з латинської signum «знак») — це непарна математична функція, яка «витягує» знак дійсного числа. У математичних виразах функція sign часто зустрічається як sgn.
Означення
Функція знаку дійсного числа x визначається наступним чином:
Або як:
Властивості
Будь-яке дійсне число може бути представлене у вигляді добутку його абсолютного значення і його функції знаку:
Звідси випливає, що при
Так само і для будь-якого дійсного числа x
Ми також можемо переконатися, що
Функція є похідною функції з точністю до невизначеності при x = 0:
Більш формально, в теорії інтегрування функцій — це слабка похідна, а в теорії опуклих функцій субдиференціалом абсолютного значення при є інтервал , «заповнення» функції знаку (субдиференціал абсолютного значення не є однозначним при ).
Похідна функції дорівнює 0 для всіх x крім 0. Вона не є диференційовною при у звичайному сенсі, але диференційовною в узагальненому сенсі в теорії розподілу, похідною від функції є дельта-функція Дірака, що можна показати за допомогою тотожності
де H(x) — Функція Гевісайда, H(0) = 1/2. Використовуючи цю тотожність, легко знайти похідну:
Перетворення Фур'є функції має вигляд
де p.v. — головне значення інтеграла за Коші.
Функцію також можна виразити за допомогою дужки Айверсона
Функцію можна записати з використанням функцій підлоги та абсолютного значення:
Для k ≫ 1 неперервне наближення функції знаку має вигляд:
Інше наближення має вигляд:
яке стає «гострішим» при ε → 0; зауважимо, що це похідна від функції √x2 + ε2. Це ґрунтується на тому факті, що для всіх x ≠ 0 якщо ε = 0, і дає переваги для простого узагальнення на багатовимірні аналоги функції знаку (наприклад, частинні похідні функції √x2 + y2).
Комплексний випадок
Функцію можна узагальнити на комплексні числа:
для будь-якого комплексного числа z, крім z = 0. Таким чином, значення функції буде точкою на одиничному колі комплексної площини, що найближча до точки z. Тоді для z ≠ 0:
де — аргумент комплексного числа.
З міркувань симетрії та для належного узагальнення функції на множині дійсних чисел, зазвичай дану функцію на комплексній площині визначають і для z = 0:
Іншим узагальненням функції для дійсних і комплексних виразів є функція csgn, що визначається як
де Re(z) — дійсна частина числа z, а Im(z) — комплексна частина z. Тоді для z ≠ 0 маємо
Узагальнена функція знаку
Для дійсних значень x можна визначити узагальнену функцію (аналог функції знаку) ε(x), таку, що (ε(x))2 = 1 для всіх x, у тому числі і в точці x = 0 (на відміну від функції , для якої (sgn(0))2 = 0). Ця узагальнена функція дозволяє побудувати алгебру узагальнених функцій, але ціною такого узагальнення є втрата комутативності. Зокрема, узагальнена функція знаку антикомутує з дельта-функцією Дірака
крім цього, ε(x) не можливо визначити при x = 0; і спеціальне позначення ε необхідне, щоб відрізнити її від функції знаку (ε(0) не визначено, але sgn(0) = 0).
Див. також
Джерела
- Воднев В. Т., Наумович А. Ф., Наумович Н. Ф. Основные математические формулы. Справочник. — Минск: Вышэйшая школа, 1988. — 269 с.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U matematici sign funkciya signum funkciya si gnum fu nkciya zna kova fu nkciya abo funkciya znaku z latinskoyi signum znak ce neparna matematichna funkciya yaka vityaguye znak dijsnogo chisla U matematichnih virazah funkciya sign chasto zustrichayetsya yak sgn OznachennyaFunkciya znaku y sgn x Funkciya znaku dijsnogo chisla x viznachayetsya nastupnim chinom sgn x 1 yaksho x lt 0 0 yaksho x 0 1 yaksho x gt 0 displaystyle operatorname sgn x begin cases 1 amp text yaksho x lt 0 0 amp text yaksho x 0 1 amp text yaksho x gt 0 end cases Abo yak sgn x ddx x x 0 displaystyle operatorname sgn x frac mathrm operatorname d mathrm operatorname d x left x right quad x neq 0 VlastivostiBud yake dijsne chislo mozhe buti predstavlene u viglyadi dobutku jogo absolyutnogo znachennya i jogo funkciyi znaku x sgn x x displaystyle x operatorname sgn x cdot x Zvidsi viplivaye sho prix 0 displaystyle quad x neq 0 sgn x x x x x displaystyle operatorname sgn x x over x x over x Tak samo i dlya bud yakogo dijsnogo chisla x x sgn x x displaystyle x operatorname sgn x cdot x Mi takozh mozhemo perekonatisya sho sgn xn sgn x n displaystyle operatorname sgn x n operatorname sgn x n Funkciya sgn x displaystyle operatorname sgn x ye pohidnoyu funkciyi y x displaystyle y x z tochnistyu do neviznachenosti pri x 0 d x d x sgn x dlya x 0 displaystyle operatorname d x over operatorname d x operatorname sgn x mbox dlya x neq 0 Bilsh formalno v teoriyi integruvannya funkcij ce slabka pohidna a v teoriyi opuklih funkcij subdiferencialom absolyutnogo znachennya pri x 0 displaystyle x 0 ye interval 1 1 displaystyle 1 1 zapovnennya funkciyi znaku subdiferencial absolyutnogo znachennya ne ye odnoznachnim pri x 0 displaystyle x 0 Funkciya znaku ne ye neperervnoyu u tochci x 0 Pohidna funkciyi sgn x displaystyle operatorname sgn x dorivnyuye 0 dlya vsih x krim 0 Vona ne ye diferencijovnoyu pri x 0 displaystyle x 0 u zvichajnomu sensi ale diferencijovnoyu v uzagalnenomu sensi v teoriyi rozpodilu pohidnoyu vid funkciyi sgn x displaystyle operatorname sgn x ye delta funkciya Diraka sho mozhna pokazati za dopomogoyu totozhnosti sgn x 2H x 1 displaystyle operatorname sgn x 2H x 1 de H x Funkciya Gevisajda H 0 1 2 Vikoristovuyuchi cyu totozhnist legko znajti pohidnu d sgn x d x 2d H x d x 2d x displaystyle frac operatorname d operatorname sgn x operatorname d x 2 frac operatorname d H x operatorname d x 2 delta x Peretvorennya Fur ye funkciyi sgn x displaystyle operatorname sgn x maye viglyad sgn x e ikxd x p v 2ik displaystyle int infty infty operatorname sgn x e ikx operatorname d x mathrm p v frac 2 ik de p v golovne znachennya integrala za Koshi Funkciyu sgn x displaystyle operatorname sgn x takozh mozhna viraziti za dopomogoyu duzhki Ajversona sgn x x lt 0 x gt 0 displaystyle operatorname sgn x x lt 0 x gt 0 Funkciyu sgn x displaystyle operatorname sgn x mozhna zapisati z vikoristannyam funkcij pidlogi ta absolyutnogo znachennya sgn x x x 1 x x 1 displaystyle operatorname sgn x Bigg lfloor frac x x 1 Bigg rfloor Bigg lfloor frac x x 1 Bigg rfloor Dlya k 1 neperervne nablizhennya funkciyi znaku maye viglyad sgn x th kx displaystyle operatorname sgn x approx operatorname th kx Inshe nablizhennya maye viglyad sgn x xx2 e2 displaystyle operatorname sgn x approx frac x sqrt x 2 varepsilon 2 yake staye gostrishim pri e 0 zauvazhimo sho ce pohidna vid funkciyi x2 e2 Ce gruntuyetsya na tomu fakti sho xx2 e2 sgn x displaystyle frac x sqrt x 2 varepsilon 2 operatorname sgn x dlya vsih x 0 yaksho e 0 i daye perevagi dlya prostogo uzagalnennya na bagatovimirni analogi funkciyi znaku napriklad chastinni pohidni funkciyi x2 y2 Kompleksnij vipadokFunkciyu sgn x displaystyle operatorname sgn x mozhna uzagalniti na kompleksni chisla sgn z z z displaystyle operatorname sgn z frac z z dlya bud yakogo kompleksnogo chisla z krim z 0 Takim chinom znachennya funkciyi sgn z displaystyle operatorname sgn z bude tochkoyu na odinichnomu koli kompleksnoyi ploshini sho najblizhcha do tochki z Todi dlya z 0 sgn z eiarg z displaystyle operatorname sgn z e i arg z de arg z displaystyle arg z argument kompleksnogo chisla Kompleksnij variant Z mirkuvan simetriyi ta dlya nalezhnogo uzagalnennya funkciyi sgn z displaystyle operatorname sgn z na mnozhini dijsnih chisel zazvichaj danu funkciyu na kompleksnij ploshini viznachayut i dlya z 0 sgn 0 0i 0 displaystyle operatorname sgn 0 0i 0 Inshim uzagalnennyam funkciyi sgn z displaystyle operatorname sgn z dlya dijsnih i kompleksnih viraziv ye funkciya csgn sho viznachayetsya yak csgn z 1 yaksho Re z gt 0 1 yaksho Re z lt 0sgn Im z yaksho Re z 0 displaystyle operatorname csgn z begin cases 1 amp text yaksho mathrm Re z gt 0 1 amp text yaksho mathrm Re z lt 0 operatorname sgn mathrm Im z amp text yaksho mathrm Re z 0 end cases de Re z dijsna chastina chisla z a Im z kompleksna chastina z Todi dlya z 0 mayemo csgn z zz2 z2z displaystyle operatorname csgn z frac z sqrt z 2 frac sqrt z 2 z Uzagalnena funkciya znakuDlya dijsnih znachen x mozhna viznachiti uzagalnenu funkciyu analog funkciyi znaku e x taku sho e x 2 1 dlya vsih x u tomu chisli i v tochci x 0 na vidminu vid funkciyi sgn x displaystyle operatorname sgn x dlya yakoyi sgn 0 2 0 Cya uzagalnena funkciya dozvolyaye pobuduvati algebru uzagalnenih funkcij ale cinoyu takogo uzagalnennya ye vtrata komutativnosti Zokrema uzagalnena funkciya znaku antikomutuye z delta funkciyeyu Diraka e x d x d x e x 0 displaystyle varepsilon x delta x delta x varepsilon x 0 krim cogo e x ne mozhlivo viznachiti pri x 0 i specialne poznachennya e neobhidne shob vidrizniti yiyi vid funkciyi znaku e 0 ne viznacheno ale sgn 0 0 Div takozhFunkciya Gevisajda Delta funkciya Diraka Absolyutne znachennya Vid yemne chislo Sigmoyidna funkciya Pryamokutna funkciya Trishlyahove porivnyannyaDzherelaVodnev V T Naumovich A F Naumovich N F Osnovnye matematicheskie formuly Spravochnik Minsk Vyshejshaya shkola 1988 269 s