О счётности последователей типа PN и основаниях теории меры

Размещено на Allbest.ru

Предисловие

последователь теория мера

Теория множеств с самопринадлежностью описана ранее в [5], [4]. В работе [4] описывались упорядоченные структуры этой теории. В связи с необходимостью обоснования теории меры в этой работе описано доказательство счётности последователей типа PN (.) и его приложения к основаниям теории меры.

1. Последователи типа PN (.)

Натуральный ряд N в М (множестве всех множеств) выделяется как множество простых последовательных последователей к ничто (или к начальному, единичному элементу ряда) :

N = {[х]М | ([х]) или ([x]=Pn (), где nN и Р (V (Р (х))) = х) © Чечулин В. Л., 2013

Это условие означает, что у всякого объекта из N точно один простой последователь.}.

Свойства натурального ряда

1. Натуральный ряд не единственен.

2. N - несамопринадлежаще, NN.

3. Внутренность Определение внутренности см. в работе [5]. натурального ряда сов-падает с самим натуральным рядом, V (N) = N, что означает невозможность обратного счёта от абстракции бесконечности объектов счётного числового ряда к конечным числам Более абстрактно - бесконечная последовательность внутренностей натурального ряда неубывающая и совпадает с самим натуральным рядом..

Имеются две возможности рассмотрения последователей к натуральному ряду N (N - либо как единичное, либо как многое) :

1. Простой последователь к N как к единичному объекту [N], Р ([N]) ; [N] - единичный объект изоморфен единице [N] [1], Р ([N]) - двойке, такое рассмотрение выявляет структуру, изоморфную натуральному ряду, но новых структур не выявляет. 2. Бесконечный последователь - последователь к множеству всех объектов из N, последователь к натуральному ряду, взятому как многое, {N}: РN = {[х]М | ([х]) или ([x]N либо х = РN ()) }.

Свойства бесконечного последователя РN:

1) вообще РN не единственен,

2) РN - самопринадлежащ,

3) V (РN ()) = N.

Так же, как и для счётных последователей, определимы n-е бесконечные последователи типа PN: PN (PN ()) = PN2 () и т. д. и бесконечные последователи:

={[х]М|[х] или (х= (PN ()), РN () ) } и т. д.

2. Счётность последователей типа PN (.)

Обозначается мощность последователя PN () через , тогда |P (PN ()) |=+1, |PN (PN ()) |=|PN2 () |=+, PNPN () () |=·.

Счётность +1 очевидна: сначала считаем простой последователь, следующий за PN (), затем простые последователи, входящие в PN ().

Счётность + также легко видеть: считаются пары последователей Pn () и Pn (PN ()), пар счётное число, ввиду счётной бесконечности пересчёта общее число + - счётно.

Рассмотрим счётность ·. Счёт возможен различный: а) по строкам, сводя · к сложению +++… ( раз), ввиду счётности + эта сумма, равная ·, счётна; или б) по диагоналям», пересчёт 1, 2, 12, 13, 22, 3, 4, 32 и т. д. ввиду счётной бесконечности пересчёта · - счётно.

1 2 3 4 5 …

12 22 32 42 …

13 23 33 … (1)

.

1n 2n 3n …

Аналогично показывается счётность ·· и т. п. произведений (счётность ·· на диаграмме изображается в 3-мерном пространстве, как счётность · в 2-мерном в (1)).

Далее рассматривается , это эквивалентно счётности в -мерной диаграмме вида (1). Пересчёт по диагонали таков. Аналогично пересчёту, указанному выше для (1), пересчитываются диагонали, для пересчёта каждой диагонали требуется шагов, для пересчёта первых двух диагоналей + шагов, затем в сумме по всем диагоналям получается · шагов, а это счётное число (см. выше).

Даже если имеются сверх-степени вида =^^^… ( раз, ^=), то для них рассуждения аналогичны вышеприведённым (то же для сверх-сверх-степеней и т. д.) О сверх-степенях и сверх-сверх-степенях и т. п. см., напр., [2, с. 100]..

С учётом вышесказанного, в общем виде счётность степеней показывается на основании изоморфизма PN2 (.) PN (.), означающего равенство

+ = . (2)

Так · преобразуется к равенству

, (3)

в котором раз по (2) + заменяется на , и в итоге получается

· = . (4)

преобразуется к равенству

, (5)

в котором раз по (4) · заменяется на , и в итоге получается

=. (6)

преобразуется к равенству

, (7)

в котором раз по (6) ^=· заменяется на , и в итоге получается

=. (8)

И так далее. Тем самым доказана теорема.

Теорема 1 (о счётности последователей PN). Последователи вида PN (.) и их всевозможные бесконечные степени, строящиеся посредством самих последователей PN (.) и их PN (.) степеней, являются счётными. ?

В том случае, если сложение и другие операции в (3), (5), (7) и т. п. выполняются недостижимое число раз, равное мощности недостижимого последователя |PO (.) |=ш, то итоговые преобразования оказываются такими же, как и в предыдущей теореме. Причём

+ш = +ш = ш >, т. е.

PN (PO (.)) PO (PN (.)) PO (.), но

, т. е. ·ш = С другой стороны, ш· = ш:

,

операции некоммутативны. и т. п. Таким образом, доказана следующая теорема.

Теорема 2 (о счётности последователей PN). Последователи вида PN (.) и их всевозможные бесконечные степени (даже недостижимые, типа PO (.)) - счётны. ?

Тогда, по доказанной теореме, поскольку следующие за PN последователи - недостижимые PO (.) - несчётны, последователи PN (.) остаётся (для простоты наименований) называть счётными последователями.

Таким образом, имеются: 1) простые (конечные) последователи P (.), 2) счётные последователи PN (.), 3) недостижимые последователи PO (.). Как указано в [ТМ 2], этими последователями исчерпывается иерархия последователей.

3. Приложение к теории меры

При построении теории меры на многомерных упорядоченных объектах требуется, чтобы указанное многомерие допускало изоморфное отображение на одномерие. Например, обычная двумерная мера площади (при определённых одномерных мерах) построима при наличии изоморфизма двумерия в одномерие (на который уже накладываются операции с мерами). Если имеется конечная упорядоченная совокупность K ограниченной мощности |K|=k, то при построении двумерной меры указанный выше требуемый изоморфизм двумерия на одномерие отсутствует: (это очевидно).

С другой стороны, так как (4) · = , то при счётной бесконечности объектов имеется изоморфизм двумерия на одномерие, т. е. основания для

отображения двумерной меры площади в одномерное её значение - налицо.

Вышесказанным доказана теорема.

Теорема 3 (о необходимости абстракции актуальной бесконечности). Для построения теории меры необходима абстракция актуальной бесконечности. 6⁶Более ранние авторы книг о теории меры, от давних [3] до современных [1], не обращали внимания на необходимость указанного изоморфизма.

Размещено на Allbest.ru