az118 (az118) wrote,
az118
az118

отрицательные ординалы

неотрицательные ординалы
                                                                0
                                0               0       0   0 0─┤
                0       0   0 0─┤       0   0 0─┤   0 0─┤ 0─┴───┤
        0   0 0─┤   0 0─┤ 0─┴───┤   0 0─┤ 0─┴───┤ 0─┴───┴───────┤
    0 0─┤ 0─┴───┤ 0─┴───┴───────┤ 0─┴───┴───────┴───────────────┤
  0─┴───┴───────┴───────────────┴───────────────────────────────┴─► 
  0 1   2       3               4                               5   ω

0 = {}
n' = n+{n}
n'' = n'+{n'} = n+{n,n'}
n''' = n''+{n''} = n+{n,n',n''}

{n} ~ 1={0}
{n,n'} ~ 2={0,1}
{n,n',n''} ~ 3={0,1,2}
n -> 0


отрицательные ординалы (слева от 0)
                                                                0
                                                0       0   0 0─┤
                                        0   0 0─┤   0 0─┤ 0─┴───┤
-ω -4              -3      -2  -1   0 0─┤ 0─┴───┤ 0─┴───┴───────┤
  ►─┬───────────────┬───────┬───┬─0─┴───┴───────┴───────────────┴─► 
    ├───────┬───┬─0 ├───┬─0 ├─0 0   1   2       3               4   ω
    ├───┬─0 ├─0 0   ├─0 0   0
    ├─0 0   0       0
    0

-0 = 0
-'n = }-n{+-n
-''n = }-'n{+-'n = }-'n,-n{+-n
-'''n = }-''n{+-''n = }-''n,-'n,-n{+-n

}-n{ ~ -1=}0{
}-n',-n{ ~ -2=}-1,0{
}-n'',-n',-n{ ~ -2=}-2,-1,0{
n -> 0

-n+n = 0
-n+n' = {n} ~ 1
-n'+n = }-n{ ~ -1

1 = 0' = {0}
2 = 0'' = {0,1}
3 = 0''' = {0,1,2}
-1 = -'0 = }0{
-2 = -''0 = }-1,0{
-3 = -'''0 = }-2,-1,0{
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