81:
71:
53:
22:
251:
I'm unsure the statement of the theorem as it currently stands is correct, it should either be clear that the spaces in question are metric. Or if the article is intended to deal in more generality it should be more precise as if we take the statement to be about topological spaces it is not correct
316:
has nonempty intersection" and " a (nested) sequence of non-empty, closed and bounded sets (has nonempty intersection)" are equivalent statements of the theorem, but these two statements are not equivalent. The first statement is true for any compact topological space and is proved in the "proof"
340:
Completeness is basically always assumed, but even this isn't good enough. One additional sufficient additional assumption is that the diameters of the nested sets approach 0 (see for example
133:
296:
Yeah, there are definitely problems as the article stands right now. The article asserts that the statements "a decreasing nested sequence of non-empty compact subsets of
252:(we need to assume Haussdorfness). The article did used to make sense when it only dealt with subsets of the reals, but was edited in February and is confusing as stands.
440:
361:
335:
314:
127:
337:
is a metric space (so that "bounded" means anything), and is the one used to prove the Heine-Borel theorem, but it is not true without additional assumptions.
435:
341:
103:
237:
387:
94:
58:
416:
275:
271:
201:
only a finite amout of members from the sequence is missing, so it contains infinite number of members of the subsequence a
33:
401:
Does the topological proof actually use
Hausdorff anywhere? I think not. Can we remove the Hausdorffness assumption?
366:). Perhaps we can say that Cantor's Intersection Theorem refers to two different theorems, and state both of them?
279:
267:
241:
21:
391:
371:
287:
39:
80:
404:
383:
367:
233:
408:
257:
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
412:
86:
70:
52:
420:
395:
375:
291:
261:
245:
364:
283:
253:
346:
320:
299:
429:
99:
76:
150:
Czech Wiki proves the first part of the theorem this way: Have a sequence a
363:
is a closed and bounded subset of
Euclidean space (see for example
15:
226:
which has a limite "a", then "a" must be contained in every C
317:
section. The second statement assumes (implicitly) that
230:, because they are compact... Hope this helps M. Pos
349:
323:
302:
208:. Therefore, one can choose a sub-subsequence from a
98:, a collaborative effort to improve the coverage of
343:), though some sources even explicitly assume that
355:
329:
308:
132:This article has not yet received a rating on the
219:. But since this sub-subsequence is chosen from a
380:Nice proof! The last line is very informative.
166:is compact, there is a convergent subsequence a
266:My problem with this is that the proof of the
8:
19:
402:
231:
47:
348:
322:
301:
49:
441:Unknown-priority mathematics articles
158:. Then the whole sequence is inside C
154:such that its n-th member is inside C
7:
177:with some limite "a". Since every C
92:This article is within the scope of
38:It is of interest to the following
14:
112:Knowledge:WikiProject Mathematics
436:Start-Class mathematics articles
215:that will converge in the said C
115:Template:WikiProject Mathematics
79:
69:
51:
20:
189:,..., that means it contains a
1:
421:06:31, 18 February 2018 (UTC)
276:Cantor's intersection theorem
272:Cantor's intersection theorem
106:and see a list of open tasks.
396:15:25, 8 October 2013 (UTC)
376:16:08, 28 August 2013 (UTC)
457:
292:08:12, 6 August 2013 (UTC)
246:12:40, 10 June 2018 (UTC)
131:
64:
46:
262:12:13, 23 May 2013 (UTC)
181:contains all following C
134:project's priority scale
95:WikiProject Mathematics
357:
331:
310:
28:This article is rated
358:
332:
311:
197:,... Thus, in every C
347:
321:
300:
118:mathematics articles
280:Heine–Borel theorem
274:, and the proof of
268:Heine–Borel theorem
353:
327:
306:
87:Mathematics portal
34:content assessment
423:
407:comment added by
386:comment added by
356:{\displaystyle S}
330:{\displaystyle S}
309:{\displaystyle S}
248:
236:comment added by
229:
225:
224:
218:
214:
213:
207:
206:
200:
196:
192:
188:
184:
180:
176:
172:
171:
165:
161:
157:
153:
148:
147:
144:
143:
140:
139:
448:
398:
362:
360:
359:
354:
336:
334:
333:
328:
315:
313:
312:
307:
227:
222:
220:
216:
211:
209:
204:
202:
198:
194:
190:
186:
182:
178:
174:
169:
167:
163:
159:
155:
151:
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
456:
455:
451:
450:
449:
447:
446:
445:
426:
425:
381:
345:
344:
319:
318:
298:
297:
162:, and because C
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
454:
452:
444:
443:
438:
428:
427:
352:
326:
305:
238:185.116.77.206
146:
145:
142:
141:
138:
137:
130:
124:
123:
121:
104:the discussion
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
453:
442:
439:
437:
434:
433:
431:
424:
422:
418:
414:
410:
406:
399:
397:
393:
389:
385:
378:
377:
373:
369:
365:
350:
342:
338:
324:
303:
294:
293:
289:
285:
281:
277:
273:
269:
264:
263:
259:
255:
249:
247:
243:
239:
235:
135:
129:
126:
125:
122:
105:
101:
97:
96:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
403:— Preceding
400:
382:— Preceding
379:
339:
295:
265:
250:
232:— Preceding
149:
93:
40:WikiProjects
388:163.1.98.15
284:Nick Levine
254:Alex J Best
109:Mathematics
100:mathematics
59:Mathematics
30:Start-class
430:Categories
368:Abramorous
278:uses the
417:contribs
409:Agnishom
405:unsigned
384:unsigned
234:unsigned
173:inside C
36:scale.
270:uses
413:talk
392:talk
372:talk
288:talk
258:talk
242:talk
195:l+1
187:l+2
185:, C
183:l+1
128:???
432::
419:)
415:•
394:)
374:)
290:)
282:.
260:)
244:)
193:,a
411:(
390:(
370:(
351:S
325:S
304:S
286:(
256:(
240:(
228:l
223:k
221:n
217:l
212:k
210:n
205:k
203:n
199:l
191:l
179:l
175:1
170:k
168:n
164:1
160:1
156:n
152:n
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.