- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- 56
- 57
- 58
- 59
- 60
- 61
- 62
- 63
- 64
- 65
- 66
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- 106
- 107
- 108
- 109
- 110
- 111
- 112
- 113
- 114
- 115
- 116
- 117
- 118
- 119
- 120
- 121
- 122
- 123
- 124
- 125
- 126
- 127
- 128
- 129
- 130
- 131
- 132
- 133
- 134
- 135
- 136
- 137
- 138
- 139
- 140
- 141
- 142
- 143
- 144
- 145
- 146
- 147
- 148
- 149
- 150
- 151
- 152
- 153
- 154
- 155
- 156
- 157
- 158
- 159
- 160
- 161
- 162
- 163
- 164
- 165
- 166
- 167
- 168
- 169
- 170
- 171
- 172
- 173
- 174
- 175
- 176
- 177
- 178
- 179
- 180
- 181
- 182
- 183
- 184
- 185
- 186
- 187
- 188
- 189
- 190
- 191
- 192
- 193
- 194
- 195
- 196
- 197
- 198
- 199
- 200
- 201
- 202
- 203
- 204
- 205
- 206
- 207
- 208
- 209
- 210
- 211
- 212
- 213
- 214
- 215
- 216
- 217
- 218
- 219
- 220
- 221
- 222
- 223
- 224
- 225
- 226
- 227
- 228
- 229
- 230
- 231
- 232
- 233
- 234
- 235
- 236
- 237
- 238
- 239
- 240
- 241
- 242
- 243
- 244
- 245
- 246
- 247
- 248
- 249
- 250
- 251
- 252
- 253
- 254
- 255
- 256
- 257
- 258
- 259
- 260
- 261
- 262
- 263
- 264
- 265
- 266
- 267
- 268
- 269
- 270
- 271
- 272
- 273
- 274
- 275
- 276
- 277
- 278
- 279
- 280
- 281
- 282
- 283
- 284
- 285
- 286
- 287
- 288
- 289
- 290
- 291
- 292
- 293
- 294
- 295
- 296
- 297
- 298
- 299
- 300
본 자료는 미리보기를 지원하지 않습니다.
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
-
21
-
22
-
23
-
24
-
25
-
26
-
27
-
28
-
29
-
30
-
31
-
32
-
33
-
34
-
35
-
36
-
37
-
38
-
39
-
40
-
41
-
42
-
43
-
44
-
45
-
46
-
47
-
48
-
49
-
50
-
51
-
52
-
53
-
54
-
55
-
56
-
57
-
58
-
59
-
60
-
61
-
62
-
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
-
74
-
75
-
76
-
77
-
78
-
79
-
80
-
81
-
82
-
83
-
84
-
85
-
86
-
87
-
88
-
89
-
90
-
91
-
92
-
93
-
94
-
95
-
96
-
97
-
98
-
99
-
100
-
101
-
102
-
103
-
104
-
105
-
106
-
107
-
108
-
109
-
110
-
111
-
112
-
113
-
114
-
115
-
116
-
117
-
118
-
119
-
120
-
121
-
122
-
123
-
124
-
125
-
126
-
127
-
128
-
129
-
130
-
131
-
132
-
133
-
134
-
135
-
136
-
137
-
138
-
139
-
140
-
141
-
142
-
143
-
144
-
145
-
146
-
147
-
148
-
149
-
150
-
151
-
152
-
153
-
154
-
155
-
156
-
157
-
158
-
159
-
160
-
161
-
162
-
163
-
164
-
165
-
166
-
167
-
168
-
169
-
170
-
171
-
172
-
173
-
174
-
175
-
176
-
177
-
178
-
179
-
180
-
181
-
182
-
183
-
184
-
185
-
186
-
187
-
188
-
189
-
190
-
191
-
192
-
193
-
194
-
195
-
196
-
197
-
198
-
199
-
200
-
201
-
202
-
203
-
204
-
205
-
206
-
207
-
208
-
209
-
210
-
211
-
212
-
213
-
214
-
215
-
216
-
217
-
218
-
219
-
220
-
221
-
222
-
223
-
224
-
225
-
226
-
227
-
228
-
229
-
230
-
231
-
232
-
233
-
234
-
235
-
236
-
237
-
238
-
239
-
240
-
241
-
242
-
243
-
244
-
245
-
246
-
247
-
248
-
249
-
250
-
251
-
252
-
253
-
254
-
255
-
256
-
257
-
258
-
259
-
260
-
261
-
262
-
263
-
264
-
265
-
266
-
267
-
268
-
269
-
270
-
271
-
272
-
273
-
274
-
275
-
276
-
277
-
278
-
279
-
280
-
281
-
282
-
283
-
284
-
285
-
286
-
287
-
288
-
289
-
290
-
291
-
292
-
293
-
294
-
295
-
296
-
297
-
298
-
299
-
300
본문내용
Solutions to Topology Homework #3, due Week 6.
Problems: Munkres Homework:
Section 13: 2, 3, 7
Sections 14-16: 2, 3, 10
13.2 Consider the nine topologies on the set X = {a, b, c} indicated in Example
1 of Section 12. Compare them; that is, for each pair of topologies,
determine whether they are comparable, and if so, which is the finer.
I will number the topologies from the upper left as 1,2,3 (top row), 4,5,6
(middle row) and 7,8,9 (bottom row). It is clear that 1 is the coarsest topology
of them all, being the trivial topology, and it is comparable to all the
rest. Furthermore, 9 is the finest of them all, being the discrete topology,
and is also comparable to all the rest. Other comparables are as follows:
Topology 2 finer than 7 and coarser than 8.
Topology 3 is finer than 4 and 7, and coarser than 6.
Topology 4 is coarser than 3, 6, and 8.
Topology 6 is finer than 3, 4 and 7.
Topology 7 is coarser than 2, 3, 6, and 8.
Topology 8 is finer than 2, 4, and 7.
13.3 Show that the collection Tc given in Example 4 of Section 12 is a topology
on the set X.
Is the collection T∞ = {U|X − U is infinite or empty or all of X} a
topology on X?
Proof: From the example we have Tc is the collection of all subsets U of
X such that X − U either is countable or is all of X. We check the three
properties of a topology as follows:
(i) ∅ ∈ Tc since X −∅ is all of X. Furthermore, X ∈ Tc since X − X = ∅
is countable.
(ii) If A is a collection of elements of Tc then X − A∈A A ⊆ X − A
for each A ∈ A. If all A are empty then clearly X − A∈A A = X ∈ Tc.
Otherwise, X −A∈A ⊆ X −A for some nonempty A ⊆ Tc. But since X −A
is countable, so is X − A∈A A, so this set too is in Tc.
(iii) Now consider finite intersections of elements of Tc. Since finite unions
of countable sets are countable, so using DeMorgan’s Law we get the result
that X −n
i=1 Ai = (X − Ai) which is countable. Therefore, n
i=1 Ai ∈ Tc.
It follows from these three properties that Tc is a topology. The same
is not necessarily true in the case of T∞. The reason is that intersection of
infinite sets may be finite. For example, let X = R, and U1 = Q − {0} and
U2 = I. Then U1, U2 ∈ T∞ but U1 U2 = R − {0}, with complement {0}
which is neither infinite nor empty nor all of X. Therefore U1U2 is not in
T∞, which is consequently not a topology.
Problems: Munkres Homework:
Section 13: 2, 3, 7
Sections 14-16: 2, 3, 10
13.2 Consider the nine topologies on the set X = {a, b, c} indicated in Example
1 of Section 12. Compare them; that is, for each pair of topologies,
determine whether they are comparable, and if so, which is the finer.
I will number the topologies from the upper left as 1,2,3 (top row), 4,5,6
(middle row) and 7,8,9 (bottom row). It is clear that 1 is the coarsest topology
of them all, being the trivial topology, and it is comparable to all the
rest. Furthermore, 9 is the finest of them all, being the discrete topology,
and is also comparable to all the rest. Other comparables are as follows:
Topology 2 finer than 7 and coarser than 8.
Topology 3 is finer than 4 and 7, and coarser than 6.
Topology 4 is coarser than 3, 6, and 8.
Topology 6 is finer than 3, 4 and 7.
Topology 7 is coarser than 2, 3, 6, and 8.
Topology 8 is finer than 2, 4, and 7.
13.3 Show that the collection Tc given in Example 4 of Section 12 is a topology
on the set X.
Is the collection T∞ = {U|X − U is infinite or empty or all of X} a
topology on X?
Proof: From the example we have Tc is the collection of all subsets U of
X such that X − U either is countable or is all of X. We check the three
properties of a topology as follows:
(i) ∅ ∈ Tc since X −∅ is all of X. Furthermore, X ∈ Tc since X − X = ∅
is countable.
(ii) If A is a collection of elements of Tc then X − A∈A A ⊆ X − A
for each A ∈ A. If all A are empty then clearly X − A∈A A = X ∈ Tc.
Otherwise, X −A∈A ⊆ X −A for some nonempty A ⊆ Tc. But since X −A
is countable, so is X − A∈A A, so this set too is in Tc.
(iii) Now consider finite intersections of elements of Tc. Since finite unions
of countable sets are countable, so using DeMorgan’s Law we get the result
that X −n
i=1 Ai = (X − Ai) which is countable. Therefore, n
i=1 Ai ∈ Tc.
It follows from these three properties that Tc is a topology. The same
is not necessarily true in the case of T∞. The reason is that intersection of
infinite sets may be finite. For example, let X = R, and U1 = Q − {0} and
U2 = I. Then U1, U2 ∈ T∞ but U1 U2 = R − {0}, with complement {0}
which is neither infinite nor empty nor all of X. Therefore U1U2 is not in
T∞, which is consequently not a topology.
소개글