Марков - Какутани теоремасы - Markov–Kakutani fixed-point theorem

Жылы математика, Марков - Какутани теоремасы, атындағы Андрей Марков және Сидзуо Какутани, үздіксіз жұмыс істейтін коммутациялық отбасы аффиналық карталар а ықшам дөңес жиын ішінде жергілікті дөңес топологиялық векторлық кеңістік жалпы бекітілген нүктесі бар.

Мәлімдеме

Келіңіздер E жергілікті дөңес топологиялық векторлық кеңістік болыңыз. Келіңіздер C ықшам дөңес ішкі жиыны болуы керек E. Келіңіздер S өзін-өзі бейнелейтін карталардың отбасы Т туралы C олар үздіксіз және аффинді, яғни.Т(тх +(1 – т)ж) = tT(х) + (1 – т)Т(ж) үшін т [0,1] және х, ж жылы C. Содан кейін кескіндердің жалпы бекітілген нүктесі боладыC.

Өзін-өзі аффинажандырудың дәлелі

Келіңіздер Т үздіксіз аффиналық картаны жасау C.

Үшін х жылы C басқа элементтерін анықтаңыз C арқылы

${ displaystyle x (N) = {1 over N + 1} sum _ {n = 0} ^ {N} T ^ {n} (x).}$

Бастап C ықшам, конвергентті ішкі желі бар C:

${ displaystyle x (N_ {i}) rightarrow y. ,}$

Мұны дәлелдеу үшін ж бекітілген нүкте, оны көрсету жеткілікті f(Ты) = f(ж) әрқайсысы үшін f дуалында E. (Қосарлы нүктелерді Ган-Банах теоремасы бойынша бөледі; дәл осы жерде жергілікті дөңестік туралы болжам қолданылады).

Бастап C ықшам, |f| байланысты C позитивті тұрақты М. Басқа жақтан

${ displaystyle | f (Tx (N)) - f (x (N)) | = {1 N + 1} үстінен | f (T ^ {N + 1} x) -f (x) | leq { 2M N + 1} артық.}$

Қабылдау N = N_мен және шегіне өту мен шексіздікке барады, бұдан шығады

${ displaystyle f (Ty) = f (y). ,}$

Демек

${ displaystyle Ty = y. ,}$

Теореманың дәлелі

Жалғыз аффиналық картографияның бекітілген нүктелерінің жиынтығы Т бұл бос емес ықшам жиынтық C^Т бір картаға түсіру нәтижесі бойынша. Отбасындағы басқа кескіндер S бару Т сондықтан кет C^Т өзгермейтін. Нәтижені бір картаға бірізді қолдану арқылы, кез-келген ақырлы жиынтығы шығады S ықшам дөңес жиындардың қиылысы ретінде берілген бос емес бекітілген нүкте жиыны бар C^Т сияқты Т ішкі жиынынан тұрады. Бастап ықшамдылық туралы C бұл жиынтығы шығады

${ displaystyle C ^ {S} = {y in C mid Ty = y, , T in S } = bigcap _ {T in S} C ^ {T} ,}$

бос емес (және ықшам және дөңес).

Әдебиеттер тізімі

• Марков, А. (1936), «Quelques théorèmes sur les ansambles abéliens», Докл. Акад. Наук КСРО, 10: 311–314
• Какутани, С. (1938), «Екі компактты дөңес жиындарға қатысты екі тұрақты нүктелік теоремалар», Proc. Имп. Акад. Токио, 14: 242–245
• Рид, М .; Саймон, Б. (1980), Функционалдық талдау, Математикалық физика әдістері, 1 (2-ші редакцияланған басылым), Academic Press, б. 152, ISBN  0-12-585050-6