az118 (az118) wrote,
az118
az118

Линейный порядок - 8

Пусть d(0) = 0,  d(n) < d(n+1)n=0,1,2,….

Определим d(n1,n2) = d(n1)+d(n2)[d(n1+1)-d(n1)],…,
в общем,
d(n1,…,nk,nk+1) = d(n1,…,nk)+d(nk+1)[d(n1,…,nk+1)-d(n1,…,nk)]

Очевидно, что d(n1,…,nk,0) = d(n1,…,nk)
 

Цепь  Dk = { d(n1,…,nk): n1,…,nk из N*}  имеет ординал wk

Цепь  Dw = { d(n1,…,nk,…): n1,…,nk,… из N*}  - ординал ww


Для цепи
Dk+1 подцепью особых элементов будет цепь Dk.

D3 = {
000, 001, 002, ...
010, 011, 012, ...
020, 021, 022, ...
...
100, 101, 102, ...
110, 111, 112, ...
120, 121, 122, ...
...

Tags: вполне упорядоченность
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments