- 238 名前：197 [03/10/20 22:49]
- >>230
だね。証明はこれでよい？
x ∈ X_f とする。f_x ∈ O_x - m_x だから f_x は O_x で可逆。よって
∃g_x∈O_x - m_x s.t. f_x g_x = 1。これは x の近傍 V と g_x の代表元
g ∈ O_X(V) をとって (f|V) g = 1 とできることを意味する。
よって、∀y∈V f_y は可逆、つまりf_y ∈ O_y - m_y、つまり V ⊂ X_f。
よってX_fは開集合。
