az118 (az118) wrote,
az118
az118

Цепи и ординалы

Пусть 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.
и цепью не является.
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