Professional Documents
Culture Documents
❖❜-❡.✈❛%&♦ ✹✳✶✳ ❖ ❧✐♠✐-❡ ❞❡ ✉♠❛ (❡)✉@♥❝✐❛ ♣♦❞❡ (❡2 2❡❢♦2♠✉❧❛❞♦ ❡♠ -❡2♠♦( ❞❡ ❝♦♥❥✉♥-♦(
❛❜❡2-♦(✱ ✐(-♦ .✱ a = lim xn ⇐⇒ ∀ ❛❜❡2-♦ A✱ ❝♦♠ a ∈ A ⊂ R✱ ∃ n0 ∈ N -❛❧ )✉❡ n > n0 ⇒
xn ∈ A. ❉❡ ❢❛-♦✱ lim xn = a ∈ ✐♥-A ⇐⇒ xn ∈ (ε − a, a + ε) ⊂ A✱ ♣❛2❛ ❛❧❣✉♠ ε > 0 ❡ n ≫ 1.
❊①❡♠♣❧♦ ✹✳✶✳ ✭❛✮ ❉❛❞♦ c ∈ (a, b)✱ ❡①✐(-❡ ε = min{b − c, c − a}✱ -❛❧ )✉❡ (c − ε, c + ε) ⊂ (a, b)✳
❊♥->♦✱ -♦❞♦ ♣♦♥-♦ c ∈ (a, b) . ✉♠ ♣♦♥-♦ ✐♥-❡2✐♦2 ❛ (a, b)✱ ✐(-♦ .✱ (a, b) . ✉♠ ❝♦♥❥✉♥-♦ ❛❜❡2-♦✳
❆♥❛❧♦❣❛♠❡♥-❡✱ -♦❞♦ c ∈ (a, b) . ✐♥-❡2✐♦2 ❛ [a, b]✱ ♠❛( ♦( ♣♦♥-♦( ❡①-2❡♠♦( a ❡ b ♥>♦ (>♦
✐♥-❡2✐♦2❡( ❛ [a, b]✱ ♣♦✐( ♥>♦ ❡①✐(-❡ ε > 0 -❛❧ )✉❡ (a−ε, a+ε) ⊂ [a, b]✱ ♥❡♠ (b−ε, b+ε) ⊂ [a, b]✱
❞❛F ✐♥-[a, b] = (a, b) ❡ [a, b] ♥>♦ . ✉♠❛ ✈✐③✐♥❤❛♥G❛ ❞❡ a ♥❡♠ ❞❡ b❀
✭❜✮ ❖ ✐♥-❡2✐♦2 ❞❡ Q . ✈❛③✐♦✳ ❉❡ ❢❛-♦✱ ❝♦♠♦ ♥>♦ ❡①✐(-❡ ♥❡♥❤✉♠ ✐♥-❡2✈❛❧♦ ♥>♦✲❞❡❣❡♥❡2❛❞♦
❝♦♥-✐❞♦ ❡♠ Q✱ ❞❛❞♦ r ∈ Q✱ ♥>♦ . ♣♦((F✈❡❧ ♦❜-❡2 ε > 0 -❛❧ )✉❡ (r − ε, r + ε) ⊂ Q.
❚❡♦#❡♠❛ ✹✳✷✳ ❯♠ ♣♦♥+♦ a ∈ X *❡✱ ❡ *♦♠❡♥+❡ *❡✱ V ∩ X 6= ∅✱ ♣❛-❛ +♦❞❛ ✈✐③✐♥❤❛♥;❛ V❞❡ a✳
6 X # ♥❡❝❡**>-✐♦ ❡ *✉✜❝✐❡♥+❡ ✉❡ ❡①✐*+❛ ✉♠❛ ✈✐③✐♥❤❛♥;❛
❊ ✉✐✈❛❧❡♥+❡♠❡♥+❡✱ ❛ ✜♠ ❞❡ ✉❡ a ∈
V ∋ a +❛❧ ✉❡ V ∩ X = ∅.
)#♦✈❛✳ ❙❡❥❛ a ∈ X ✳ ❊♥)*♦ a = lim xn ♣❛-❛ ❛❧❣✉♠❛ (xn ) ⊂ X ✳ ❉❛❞❛ ✉♠❛ ✈✐③✐♥❤❛♥8❛ 9✉❛❧✲
9✉❡- V ∋ a )❡♠♦; xn ∈ V ♣❛-❛ )♦❞♦ n ≫ 1✱ ♣❡❧❛ ❞❡✜♥✐8*♦ ❞❡ ❧✐♠✐)❡✱ ❧♦❣♦ V ∩X 6= 0✳ ❘❡❝✐♣-♦✲
❝❛♠❡♥)❡✱ ;❡ )♦❞❛ ✈✐③✐♥❤❛♥8❛ ❞❡ V ∋ a ;❛)✐;❢❛③ V ∩X 6= ∅ ❡①✐;)❡ xn ∈ (a − 1/n, a + 1/n) ∩ X ✱
♣❛-❛ )♦❞♦ n ∈ N✳ ❊♥)*♦ |xn − a| < 1/n ❡ lim xn = a✱ ✐;)♦ B✱ a B ❛❞❡-❡♥)❡ ❛ X ✳
❈♦#♦❧-#✐♦ ✹✳✶✳ ❖ ❢❡❝❤♦ ❞❡ ✉❛❧ ✉❡- ❝♦♥❥✉♥+♦ # ✉♠ ❝♦♥❥✉♥+♦ ❢❡❝❤❛❞♦✱ ♦✉ *❡❥❛✱ X = X ♣❛-❛
+♦❞♦ X ⊂ R✳ ❈♦♠ ❡❢❡✐+♦✱ *❡ a # ❛❞❡-❡♥+❡ ❛ X ✱ ❡♥+D♦ +♦❞❛ ✈✐③✐♥❤❛♥;❛ V ⊃ ✐♥+V ∋ a ❝♦♥+#♠
❛❧❣✉♠ b ∈ X ∩ ✐♥+V ✱ ❧♦❣♦ V # ✉♠❛ ✈✐③✐♥❤❛♥;❛ ❞❡ b✳ ❈♦♠♦ b ∈ X, *❡❣✉❡ ✉❡ V ❝♦♥+#♠ ❛❧❣✉♠
♣♦♥+♦ ❞❡ X ✳ ▲♦❣♦ ✉❛❧ ✉❡- ♣♦♥+♦ a ❛❞❡-❡♥+❡ ❛ X # +❛♠❜#♠ ❛❞❡-❡♥+❡ ❛ X ✱ ✐*+♦ #✱ a ∈ X ✳
❊①❡♠♣❧♦ ✹✳✺✳ ;❡❧♦ ❚❡♦4❡♠❛ ✹✳✻ ❡♠ (1) ⇒ (3)✱ *❡ X % ✜♥✐.♦✱ ❡♥.-♦ X ′ = ∅✱ ✐*.♦ %✱
✉♠ ❝♦♥❥✉♥.♦ ✜♥✐.♦ ♥-♦ .❡♠ ♣♦♥.♦* ❞❡ ❛❝✉♠✉❧❛,-♦✳ ❖ ❝♦♥❥✉♥.♦ Z % ✐♥✜♥✐.♦✱ ♠❛* .♦❞♦* ♦*
♣♦♥.♦* ❞❡ Z *-♦ ✐*♦❧❛❞♦*✱ ♣♦✐* ❞❛❞♦ z ∈ Z .❡♠♦* 0✉❡ z % ♦ ?♥✐❝♦ ♣♦♥.♦ ❞❡ Z ♥♦ ✐♥.❡4✈❛❧♦
(z − ε, z + ε) ♣❛4❛ .♦❞♦ ε ∈ (0, 1)✳ ◆♦.❡ .❛♠❜%♠ 0✉❡ Q′ = R✱ ♣♦✐*✱ ❞❛❞♦ 0✉❛❧0✉❡4 x ∈ R✱
❡①✐*.❡ (xn) ⊂ Q − {x} ❝♦♠ lim xn = x ✭▼♦*.4❡✦✮✳ ❙❡ X = (a, b)✱ ❡♥.-♦ X ′ = [a, b]✱ ♣♦✐*
.♦❞♦ ✐♥.❡4✈❛❧♦ ❝❡♥.4❛❞♦ ❡♠ 0✉❛❧0✉❡4 x ∈ [a, b] ♣♦**✉✐ ✉♠❛ ✐♥✜♥✐❞❛❞❡ ❞❡ ♣♦♥.♦* ❞❡ (a, b)✳
❙❡ X = {1, 1/2, . . . , 1/n, . . .} ❡♥.-♦ X ′ = {0}✱ ✐*.♦ %✱ ③❡4♦ % ♦ ?♥✐❝♦ ♣♦♥.♦ ❞❡ ❛❝✉♠✉❧❛,-♦
❞❡ X ✱ ❥D 0✉❡ *❡✉* ♣♦♥.♦* ❢♦4♠❛♠ ✉♠❛ *❡0✉S♥❝✐❛ 0✉❡ ❝♦♥✈❡4❣❡ ♣❛4❛ ③❡4♦✳ ❆❧%♠ ❞✐**♦✱ X %
❞✐*❝4❡.♦✱ ✐*.♦ %✱ .♦❞♦* ♦* ♣♦♥.♦* ❞❡ X *-♦ ✐*♦❧❛❞♦*✱ ♣♦✐* ❞❛❞♦ 1/n ∈ X ❡①✐*.❡ ε > 0 ❝♦♠
(1/n − ε, 1/n + ε) ∩ X = {1/n} ❜❛*.❛ 0✉❡ 0 < ε < 1/n − 1/(n + 1) ✳
❚❡♦!❡♠❛ ✹✳✽✳ ❯♠ ❝♦♥❥✉♥'♦ X ⊂ R ( ❝♦♠♣❛❝'♦ 5❡✱ ❡ 5♦♠❡♥'❡ 5❡✱ '♦❞❛ 5❡+✉M♥❝✐❛ ❞❡ ♣♦♥'♦5
❡♠ X ♣♦55✉✐ ✉♠❛ 5✉❜5❡+✉M♥❝✐❛ +✉❡ ❝♦♥✈❡6❣❡ ♣❛6❛ ✉♠ ♣♦♥'♦ ❞❡ X ✳
!♦✈❛✳ ❙❡ X ⊂ R F ❝♦♠♣❛❝)♦✱ )♦❞❛ 0❡1✉>♥❝✐❛ ❡♠ X F ❧✐♠✐)❛❞❛✱ ❧♦❣♦ ♣♦6 ❇♦❧③❛♥♦✲❲❡✐❡60)6❛00✱
♣♦00✉✐ ✉♠❛ 0✉❜0❡1✉>♥❝✐❛ ❝♦♥✈❡6❣❡♥)❡✱ ❝✉❥♦ ❧✐♠✐)❡ F ✉♠ ♣♦♥)♦ ❞❡ X = X ✱ ♣♦✐0 X F ❢❡❝❤❛❞♦✳
❘❡❝✐♣6♦❝❛♠❡♥)❡✱ 0❡❥❛ X ⊂ R )❛❧ 1✉❡ )♦❞❛ 0❡1✉>♥❝✐❛ (xn ) ⊂ X ♣♦00✉✐ ✉♠❛ 0✉❜0❡1✉>♥❝✐❛ 1✉❡
❝♦♥✈❡6❣❡ ♣❛6❛ ❛❧❣✉♠ x ∈ X ✳ ❊♥)<♦ X F ❧✐♠✐)❛❞♦✱ ❝❛0♦ ❝♦♥)676✐♦✱ ♣❛6❛ ❝❛❞❛ n ∈ N ❡①✐0)✐6✐❛
xn ∈ X ❝♦♠ |xn | > n✳ ❆ 0❡1✉>♥❝✐❛ (xn ) ♥<♦ ♣♦00✉✐6✐❛ 0✉❜0❡1✉>♥❝✐❛ ❧✐♠✐)❛❞❛✱ ♥❡♠ )❛♠♣♦✉❝♦
❝♦♥✈❡6❣❡♥)❡✱ ❝♦♥)6❛❞✐③❡♥❞♦ ❛ ❤✐♣L)❡0❡✳ ❆❧F♠ ❞✐00♦✱ X F ❢❡❝❤❛❞♦✱ ❝❛0♦ ❝♦♥)676✐♦✱ ❡①✐0)✐6✐❛♠
(xn ) ⊂ X ❡ ✉♠ ♣♦♥)♦ a ∈ / X ✱ ❝♦♠ a = lim xn ✳ ▲♦❣♦✱ (xn ) ♥<♦ ♣♦00✉✐6✐❛ 0✉❜0❡1✉>♥❝✐❛
❝♦♥✈❡6❣✐♥❞♦ ♣❛6❛ ✉♠ ♣♦♥)♦ ❞❡ X ✱ ♣♦✐0 )♦❞❛0 0✉❛0 0✉❜0❡1✉>♥❝✐❛0 )❡6✐❛♠ ❧✐♠✐)❡ a✳