设 [tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex] 及 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 是度量空间中两个集,如果 [tex=5.0x1.357]FL2IPp+ITrUeMoIV0AB74A==[/tex], 证明必有不相交开集[tex=0.786x1.0]5SeCOJOzMwSNbX8MGx2Qsg==[/tex] 及 [tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 分别包含正及 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex].
举一反三
- 设[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]是域[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]的有限扩张，证明[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]中存在关于[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]的本原元素的充分必要条件是[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]与[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]间只有有限个中间域。
- 设[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]是域[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]的有限扩张，证明[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]是完备域充分必要条件为 $[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]是完备域。
- 设 [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]中一个覆盖.
- 如图[tex=1.786x1.143]yFYGssZtjHGEZ3VZPnt/+w==[/tex] 所示结构,若力[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 作用在 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 点,系统能否平衡?若力 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]仍作用在 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex] 点,但可任意改变[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]的方向,[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 在什么方向上结构能平衡？[img=256x261]1796358dd0e9d00.png[/img]
- 设[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]是数域[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]上一个[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶矩阵。证明：存在[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]上一个非零多项式[tex=1.857x1.357]sBGRsVJ0Y3fPPi7d5ztPoA==[/tex]，使得[tex=3.571x1.357]OOyEFi5Qx/r8c8gc6BAiHg==[/tex]。