19/07/06 22:45:08.74 6Jv3I2z8.net
α = <A, A'>
r ∈ A ⇒ <R, R'> < <A, A'>
r ∈ A' ⇒ <A, A'> ≦ <R, R'>
ということを示しています。
有理数 r と <R, R'> （R = {q ∈ Q | q < r}, R' = {q ∈ Q | r ≦ q}）を同一視するということですけど、
もともとの有理数 r と考えるか切断 <R, R'> と考えるかを都合のいいように決めていいんですか？
19/07/06 22:45:08.74 6Jv3I2z8.net
α = <A, A'>
r ∈ A ⇒ <R, R'> < <A, A'>
r ∈ A' ⇒ <A, A'> ≦ <R, R'>
ということを示しています。
有理数 r と <R, R'> （R = {q ∈ Q | q < r}, R' = {q ∈ Q | r ≦ q}）を同一視するということですけど、
もともとの有理数 r と考えるか切断 <R, R'> と考えるかを都合のいいように決めていいんですか？