• 2022-07-01
    设 [tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex] 是可分距离空间, [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 为 [tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex] 的一个开覆盖,即 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 是一族开集,使得对每个 [tex=2.071x1.071]Q0LLD7UDggt+6n6MtMqlhg==[/tex],有 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 中开集O,使 $[tex=2.071x1.071]R2zofbATWrNVJHHFVRXc6w==[/tex], 证明必可从[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 中选出可数个集组成[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]中一个覆盖.
  • 举一反三