Дуалност по Понтрјагину — разлика између измена

Садржај обрисан Садржај додат
м исправљање правописних и других грешака
Autobot (разговор | доприноси)
м navodnici
Ред 15:
Кружна група -{'''T'''}-&nbsp;=&nbsp;{&nbsp;''-{z}-''&nbsp;&isin;&nbsp;'''-{C}-'''&nbsp;:&nbsp;|''-{z}-''|&nbsp;=&nbsp;1&nbsp;} је компактна абелова група у односу на множење; ''-{z}-''&nbsp;=&nbsp;''-{e}-''<sup>2''&pi;ix''</sup> даје изоморфизам (&nbsp;'''-{T}-''',&nbsp;&middot;&nbsp;)&nbsp;&cong;&nbsp;(&nbsp;'''-{R}-'''&nbsp;/&nbsp;'''-{Z}-''',&nbsp;+&nbsp;).
 
'''Карактер''' групе -{''G''}- је [[непрекидна функција|непрекидни]] [[хомоморфизам]] групе ''-{G}-'' у '''-{T}-'''. Ово је "тополошки"„тополошки“, непрекидни, карактер, који узима у обзир [[топологија|топологију]] групе ''-{G}-'', за разлику од карактера у смислу апстрактне [[теорија група|теорије група]], који је било који хомоморфизам из -{''G''}- у -{'''T'''}-, или чак из -{''G''}- у -{'''C'''}-<sup>&times;</sup> (ове потоње понекад називамо квазикарактерима). Уколико постоји могућност забуне, непрекидне хомоморфизме -{''G''}-&nbsp;&rarr;&nbsp;-{'''T'''}- називамо непрекидним унитарним карактерима групе ''-{G}-''.
 
Дуална група -{''G''^}- групе -{''G''}- јесте скуп свих (непрекидних унитарних) карактера групе -{''G''^}- у односу на операцију тачка-по-тачка множења:
Ред 32:
Свако -{''g''&nbsp;&isin;&nbsp;''G''}- дефинише пресликавање
:-{''g''&tilde;&nbsp;:&nbsp;''G''^&nbsp;&rarr;&nbsp;'''T'''}-, -{''g''&tilde;(''&chi;'')&nbsp;:=&nbsp;''&chi;''(''g'')}-
Притом је -{''g''&tilde;(''&chi;''<sub>1</sub>''&chi;''<sub>2</sub>)&nbsp;=&nbsp;''g''&tilde;(''&chi;''<sub>1</sub>)''g''&tilde;(''&chi;''<sub>2</sub>)}-, односно -{''g''&tilde;}- је [[хомоморфизам]] групе -{''G''^}- у кружну групу -{'''T'''}-, за који се показује да је непрекидан у (компактно-отвореној) топологији групе -{''G''^}-, па је дакле и елемент њене дуалне групе -{(''G''^)^}-. Другим речима, карактер -{''g''&tilde;}- је "карактер„карактер израчунавања"израчунавања“ на дуалној групи -{''G''^}-, који израчунава вредности карактера у -{''G''^}- на фиксираном -{''g''}- у полазној групи -{''G''}-.
 
Овим је даље дефинисан хомоморфизам група