Цилиндр жиынтығы - Википедия - Cylinder set measure

Жылы математика, цилиндр жиынтығы өлшемі (немесе promeasure, немесе алдын-ала өлшеу, немесе квази-шара, немесе CSM) - бұл прототиптің бір түрі өлшеу шексіз өлшемді векторлық кеңістік. Мысал ретінде Гаусс цилиндр жиынтығы өлшемі қосулы Гильберт кеңістігі.

Жалпы цилиндр жиынтығы емес шаралар (және әсіресе қажет емес) қоспа бірақ тек ақырғы қоспа ), бірақ шараларды анықтау үшін қолдануға болады, мысалы классикалық Wiener шарасы басынан басталатын үздіксіз жолдар жиынтығында Евклид кеңістігі.

Анықтама

Келіңіздер E болуы а бөлінетін, нақты, топологиялық векторлық кеңістік. Келіңіздер ${ displaystyle { mathcal {A}} (E)}$ бәрінің жиынтығын білдіреді сурьективті, үздіксіз сызықтық карталар Т : E → F_Т бойынша анықталған E оның кескіні қандай да бір ақырлы өлшемді нақты векторлық кеңістік F_Т:

${ displaystyle { mathcal {A}} (E): = {T in mathrm {Lin} (E; F_ {T}) mid T { mbox {surjective and}} dim _ { mathbb {R}} F_ {T} <+ құпия }.}$

A цилиндр жиынтығы өлшемі қосулы E жиынтығы ықтималдық шаралары

${ displaystyle { mu _ {T} mid T in { mathcal {A}} (E) }.}$

қайда μ_Т ықтималдық өлшемі болып табылады F_Т. Бұл шаралар келесі келісімділік шарттарын орындау үшін қажет: егер π_СТ : F_S → F_Т бұл сурьективті болып табылады болжам, содан кейін алға итеру шара келесідей:

${ displaystyle mu _ {T} = сол жақ ( pi _ {ST} оң) _ {*} ( mu _ {S}).}$

Ескертулер

Консистенция шарты

${ displaystyle mu _ {T} = солға ( pi _ {ST} оңға) _ {*} ( mu _ {S})}$

шынайы шаралар алға жылжытатын жолмен модельденеді (бөлімді қараңыз) цилиндр шараларды шын өлшемдермен салыстырады ). Дегенмен, цилиндрлердің жиынтық шаралары кезінде бұл нәтиже емес, анықтаманың бөлігі болып табылатын талап екенін түсіну маңызды.

Цилиндр жиынтығының өлшемін интуитивті түрде, соңғы аддитивті функцияны анықтау деп түсінуге болады цилиндр жиынтықтары топологиялық векторлық кеңістіктің E. The цилиндр жиынтықтары болып табылады алдын-ала кескіндер жылы E өлшенетін жиынтықтар F_Т: егер ${ displaystyle { mathcal {B}} _ {T}}$ дегенді білдіреді σ-алгебра қосулы F_Т ол бойынша μ_Т анықталады, содан кейін

${ displaystyle mathrm {Cyl} (E): = {T ^ {- 1} (B) B ортасы in { mathcal {B}} _ {T}, T in { mathcal {A} } (E) }.}$

Іс жүзінде біреу жиі алады ${ displaystyle { mathcal {B}} _ {T}}$ болу Борел σ-алгебра қосулы F_Т. Бұл жағдайда, қашан екенін көрсетуге болады E Бұл бөлінетін Банах кеңістігі, цилиндр жиынтықтары тудыратын σ-алгебрасы дәл Борел болып табылады σ-алгебра E:

${ displaystyle mathrm {Borel} (E) = sigma left ( mathrm {Cyl} (E) right).}$

Цилиндр шараларға қарсы шараларды орнатқан

Цилиндр орнатылды E іс жүзінде шара емес E: бұл барлық өлшемді кескіндерде анықталған шаралар жиынтығы E. Егер E ықтималдық өлшемі бар μ онда қазірдің өзінде анықталған μ цилиндр жиынтығының өлшемін тудырады E алға қарай итеруді қолдану: орнату μ_Т = Т_∗(μ) қосулы F_Т.

Өлшем болған кезде μ қосулы E осындай μ_Т = Т_∗(μ) осылайша, бұл әдеттегідей теріс белгілер аздап және цилиндр өлшемін қойыңыз деп айтыңыз ${ displaystyle { mu _ {T} | T in { mathcal {A}} (E) }}$ «бұл» өлшем μ.

Цилиндр Гилберт кеңістігінде шаралар орнатқан

Банах кеңістігі болған кезде E болып табылады Гильберт кеңістігі H, бар канондық Гаусс цилиндрінің өлшемі γ^H бастап туындайтын ішкі өнім құрылымы H. Дәлірек, егер ⟨,⟩ ішкі өнімді білдіретін болса H, ⟨,⟩ болсын_Т белгілеу ішкі өнім қосулы F_Т. Шара γ_Т^H қосулы F_Т содан кейін канондық болып анықталады Гаусс шарасы қосулы F_Т:

${ displaystyle gamma _ {T} ^ {H}: = i _ {*} сол жақ ( gamma ^ { dim F_ {T}} оң),}$

қайда мен : R^{күңгірт (F_Т)} → F_Т болып табылады изометрия кеңістігін алып жатқан Гильберт Евклид ішкі өнім қосулы R^{күңгірт (F_Т)} ішкі өнімге ⟨,⟩_Т қосулы F_Т, және γⁿ стандарт болып табылады Гаусс шарасы қосулы Rⁿ.

Канондық Гаусс цилиндрі өлшемді шексіз бөлінетін Гильберт кеңістігіне орнатқан H нақты өлшемге сәйкес келмейді H. Дәлел өте қарапайым: радиустың шары р (және центр 0) радиус шарының шамасына тең шамада тең р ан n- өлшемді Гильберт кеңістігі және бұл 0-ге тең n шексіздікке ұмтылады. Сонымен радиустың шары р 0 өлшемі бар; өйткені Гильберт кеңістігі осындай шарлардың есептелетін бірлестігі болғандықтан, оның 0 өлшемі де бар, бұл қайшылық.

Гаусс цилиндрлер жиынтығының өлшем емес екендігінің балама дәлелі Кэмерон-Мартин теоремасы және нәтиже квазиинварианттық. Егер γ^H = γ шынымен өлшем болды, содан кейін сәйкестендіру функциясы қосулы H болар еді радонификациялау сол өлшем, осылайша идентификатор жасайды:H → H ішіне дерексіз Wiener кеңістігі. Кэмерон-Мартин теоремасы бойынша, γ кез келген элементінің аудармасы бойынша квазивариантты болады H, бұл дегеніміз де H ақырлы өлшемді немесе сол γ нөлдік өлшем. Екі жағдайда да бізде қайшылық бар.

Сазонов теоремасы шарттарын ұсынады алға итеру Канондық Гаусс цилиндрінің жиынтық өлшемін шын өлшемге айналдыруға болады.

Ядролық кеңістіктер мен цилиндрлер жиынтығы

Цилиндр а-ның екі өлшеміне қойылды Фрешет кеңістігі автоматты түрде өлшенеді, егер оның Фурье түрлендіруі үздіксіз болса.

Мысал: Рұқсат етіңіз S кеңістігі Шварц функциялары ақырлы өлшемді векторлық кеңістікте; бұл ядролық. Ол Гильберт кеңістігінде орналасқан H туралы L² функциялары, ол өз кезегінде кеңістігінде болады шыңдалған үлестірулер S′, Қосарланған ядролық Фрешет кеңістігі S:

${ displaystyle S subseteq H subseteq S '.}$

Гаусс цилиндрі шараны қойды H шыңдалған үлестірулер кеңістігі бойынша цилиндрлер жиынтығын береді, S′.

Гильберт кеңістігі H 0 дюймі бар S′, Канондық Гаусс цилиндрінің шараны орнатқанын көрсету үшін жоғарыда келтірілген бірінші аргумент бойынша H қатысты шараға қолданылмайды H.

Сондай-ақ қараңыз

• Цилиндрлік σ-алгебра

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

• И.М.Гельфанд, Н.Я. Виленкин, Жалпыланған функциялар. Гармоникалық анализдің қолданылуы, 4-том, Акад. Баспасөз (1968)
• Р.А. Минлос (2001) [1994], «цилиндрлік шара», Математика энциклопедиясы, EMS Press
• Р.А. Минлос (2001) [1994], «цилиндр жиынтығы», Математика энциклопедиясы, EMS Press
• Л.Шварц, Радон шаралары.