18/10/23 21:53:03.87 4zrBh8Da.net
f：R→R に対して、命題 A(f), S(f), B(f) を次のように定義する。
A(f)「R－B_fは第一類集合である」
S(f)「R－B_fはR中稠密である」
B(f)「fはある開区間の上でリプシッツ連続である」
すると、>>502の(1)と(2)は次のように書ける。
(1) ∀f：R→R s.t. A(f)∧￢S(f) → B(f)
(2) ∀f：R→R s.t. ￢(A(f)∧S(f))
いちいち "(f)" があると読みにくいので、これを省略すれば、次のように書ける。
(1) ∀f：R→R s.t. A∧￢S → B
(2) ∀f：R→R s.t. ￢(A∧S)
この表現が実際に>>502の(1)と(2)を正しく表現できていることを、きちんと確認されたし。