LINUX.ORG.RU
ФорумTalks

Бурбаки и мера Радона

 


1

3

Мне известны два подхода к теории мер и интегрирования. Первый — это подход Бурбаки, то есть меры в первую очередь определяются как продолжения линейных функционалов на пространстве функций с компактным носителем K(X). Потом вводится понятие внешней меры, и можно интегрировать уже намного больше функций. Все такие меры называются мерой Радона.

2. Другой подход — сначала определяем кольцо множеств, на котором определена мера. Лебеговскую меру мы получаем как продолжение обычной меры Бореля на все подмножества меры ноль.

Понятие меры Радона вводится по другому, мера Радона — это такая мера, которая конечна на любом компакте и регулярна изнутри (ну по сути это значит, что любое компактное множество A мы можем представить в виде измеримого компактного множества K и E, где мера множества E=A\K стремится к нулю).

Получается, что все меры Радона по Бурбаки и меры Радона по второму варианту эквивалентны (не?) Но где тогда такие меры, которы не Радона? То есть, которые не охватывает подход Бурбаки?


Простите, если не совсем понятно. Излагаю вкратце и сам еще не до конца вкурил этот вопрос...

Линукс тут при том, что с него пишу

★★☆☆☆

Последнее исправление: dikiy (всего исправлений: 4)

А линукс тут при том, что ни подход Бурбаки ни мера Радона не использовались при его написании.

Stahl ★★☆
()

Говорят, радон в подвалах часто скапливается. Пошарь там.

ptarh ★★★★★
()

https://en.wikipedia.org/wiki/Radon_measure#Examples

Let X be the interval [0, 1) equipped with the topology generated by the collection of half open intervals { [ a , b ) : 0 ≤ a < b ≤ 1 } {\displaystyle \{[a,b):0\leq a<b\leq 1\}} \{[a,b):0\leq a<b\leq 1\}. This topology is sometimes called Sorgenfrey line. On this topological space, standard Lebesgue measure is not Radon since it is not inner regular, since compact sets are at most countable.

aedeph_ ★★
()
Ответ на: комментарий от Miguel

Не попадают в определение меры Радона:

In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a __Hausdorff topological space__ X that is locally finite and inner regular.

aedeph_ ★★
()

О, раз знающие люди набежали, как соотносятся теория меры и теория типов? Если мы берём в качестве основания математики теорию типов, то получается нам нужно из неё выводить множества и на них определять меру? Или есть более прямой путь?

zabbal ★★★★★
()
Ответ на: комментарий от aedeph_

Ну так ТС и спросил:

Но где тогда такие меры, которы не Радона?

Miguel ★★★★★
()
Последнее исправление: Miguel (всего исправлений: 1)

но где тогда такие меры, которы не Радона?

Я конечно не настоящий сварщик математик, но религиозно-математическая интуиция подсказывает, что, возможно, они могут быть в нехаусдорфовом топологическом пространстве?

P.S. В. И. Арнольд: «…Вот почему бурбакистская мафия, заменяющая понимание науки формальными манипуляциями с непонятными „коммутативными“ объектами, так сильна во Франции, и вот что угрожает и нам в России». © :)

quickquest ★★★★★
()

Так это же не матан, а функан.

ZERG ★★★★★
()
Ответ на: комментарий от aedeph_

Не попадают в определение меры Радона:

In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a __Hausdorff topological space__ X that is locally finite and inner regular.

Так я именно о том, что Бурбаки развили меры Радона в частности и на неотделимых пространствах. И вот мой вопрос, чем современная теория мер «лучше» той, что в Бурбаки.

Пока понимаю смутно. Так же интересно что делать с мерами, которые не Радона (так же и в понимании БУрбаки). Можно ли их вообще интегрировать как-то?

dikiy ★★☆☆☆
() автор топика
Ответ на: комментарий от aedeph_

Let X be the interval [0, 1) equipped with the topology generated by the collection of half open intervals { [ a , b ) : 0 ≤ a < b ≤ 1 } {\displaystyle \{[a,b):0\leq a<b\leq 1\}} \{[a,b):0\leq a<b\leq 1\}. This topology is sometimes called Sorgenfrey line. On this topological space, standard Lebesgue measure is not Radon since it is not inner regular, since compact sets are at most countable.

это пространство не локально компактно, не?

Ага! Получается, что Бурбаки развили теорию для локально компактных пространств. А современная теория мер как бы и на другие пространства налазит.

dikiy ★★☆☆☆
() автор топика
Ответ на: комментарий от quickquest

судя по всему

P.S. В. И. Арнольд: «…Вот почему бурбакистская мафия, заменяющая понимание науки формальными манипуляциями с непонятными „коммутативными“ объектами, так сильна во Франции, и вот что угрожает и нам в России». © :)

Чтобы там тов. Арнольд не говорил, но когда речь заходит о современной теории мер, то некоторые вещи можно найти лишь в Бурбаки. И ИМХО, если сравнивать Бурбаки с, например, Богачевым, то от последнего хочется просто бежать куда глаза глядят.

Хотя может это я слишком функаном и топологией избалован.

dikiy ★★☆☆☆
() автор топика
Ответ на: комментарий от pylin

А может dxdy будет более подходящим твоему вопосу?

Может. Но для начала на ЛОР. Думаю тут тоже знающие люди сидят

dikiy ★★☆☆☆
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.