1370:
1153:
1391:
1359:
22:
1428:
1401:
1381:
342:
introduced the following basis property for metric spaces: Every basis of the topology contains a countable family of sets with vanishing diameters that covers the space. Soon thereafter, Witold
Hurewicz observed that Menger's basis property can be reformulated to the above form using sequences
355:
every Menger metric space is σ-compact. A. W. Miller and D. H. Fremlin proved that Menger's conjecture is false, by showing that there is, in ZFC, a set of real numbers that is Menger but not σ-compact. The
Fremlin-Miller proof was dichotomic, and the set witnessing the failure of the conjecture
274:
991:
692:. Hurewicz proved that a subset of the real line is Menger iff every continuous image of that space into the Baire space is not dominating. In particular, every subset of the real line of cardinality less than the
328:
186:
446:
631:
594:
403:
191:
744:
716:
523:
792:
690:
479:
657:
563:
543:
1431:
279:
1452:
137:
836:
86:
58:
408:
1065:
599:
1419:
1414:
105:
65:
1409:
568:
377:
269:{\displaystyle {\mathcal {F}}_{1}\subset {\mathcal {U}}_{1},{\mathcal {F}}_{2}\subset {\mathcal {U}}_{2},\ldots }
43:
72:
1311:
39:
371:
For subsets of the real line, the Menger property can be characterized using continuous functions into the
54:
1319:
942:
725:
697:
858:
1118:
484:
1404:
1390:
770:
662:
451:
32:
1339:
1260:
1137:
1125:
1098:
1058:
1334:
693:
1181:
1108:
636:
1329:
1281:
1255:
1103:
79:
8:
1176:
127:
1380:
908:
1374:
1344:
1324:
1245:
1235:
1113:
1093:
1029:
1003:
972:
954:
889:
846:
722:
The cardinality of
Bartoszyński and Tsaban's counter-example to Menger's conjecture is
548:
528:
363:
gave a uniform ZFC example of a Menger subset of the real line that is not σ-compact.
131:
1457:
1369:
1362:
1228:
1186:
1051:
1021:
893:
832:
123:
1394:
1033:
759:
1142:
1088:
1013:
976:
964:
923:
881:
824:
968:
1201:
1196:
828:
798:
1384:
872:
Hurewicz, Witold (1926). "Über eine verallgemeinerung des
Borelschen Theorems".
1291:
1223:
1446:
1301:
1211:
1191:
1025:
943:"Hereditary topological diagonalizations and the Menger–Hurewicz Conjectures"
1286:
1206:
1152:
927:
1296:
372:
360:
339:
1017:
1240:
1171:
1130:
885:
356:
heavily depends on whether a certain (undecidable) axiom holds or not.
134:. A Menger space is a space in which for every sequence of open covers
819:
1265:
959:
323:{\displaystyle {\mathcal {F}}_{1}\cup {\mathcal {F}}_{2}\cup \cdots }
21:
1250:
1218:
1167:
1074:
990:
Chodounský, David; Repovš, Dušan; Zdomskyy, Lyubomyr (2015-12-01).
1008:
992:"Mathias Forcing and Combinatorial Covering Properties of Filters"
181:{\displaystyle {\mathcal {U}}_{1},{\mathcal {U}}_{2},\ldots }
1043:
352:
989:
909:"On some properties of Hurewicz, Menger and Rothberger"
773:
728:
700:
665:
639:
602:
571:
551:
531:
487:
454:
411:
380:
282:
194:
140:
755:
Every compact, and even σ-compact, space is Menger.
46:. Unsourced material may be challenged and removed.
940:
786:
738:
710:
684:
651:
625:
588:
557:
537:
517:
473:
441:{\displaystyle f,g\in \mathbb {N} ^{\mathbb {N} }}
440:
397:
322:
268:
180:
366:
1444:
947:Proceedings of the American Mathematical Society
626:{\displaystyle f\in \mathbb {N} ^{\mathbb {N} }}
797:Menger's property characterizes filters whose
1059:
906:
764:Continuous image of a Menger space is Menger
767:The Menger property is closed under taking
589:{\displaystyle \mathbb {N} ^{\mathbb {N} }}
398:{\displaystyle \mathbb {N} ^{\mathbb {N} }}
1427:
1400:
1066:
1052:
941:Bartoszyński, Tomek; Tsaban, Boaz (2006).
812:
525:for all but finitely many natural numbers
1007:
958:
801:notion does not add dominating functions.
617:
611:
580:
574:
432:
426:
389:
383:
106:Learn how and when to remove this message
871:
907:Fremlin, David; Miller, Arnold (1988).
1445:
818:
346:
1047:
44:adding citations to reliable sources
15:
823:. Vol. 133. pp. 421–444.
731:
703:
596:is dominating if for each function
188:of the space there are finite sets
13:
303:
286:
249:
232:
215:
198:
161:
144:
14:
1469:
1453:Properties of topological spaces
1426:
1399:
1389:
1379:
1368:
1358:
1357:
1151:
20:
739:{\displaystyle {\mathfrak {d}}}
711:{\displaystyle {\mathfrak {d}}}
126:that satisfies a certain basic
31:needs additional citations for
983:
934:
900:
865:
512:
506:
497:
491:
367:Combinatorial characterization
1:
996:The Journal of Symbolic Logic
969:10.1090/s0002-9939-05-07997-9
805:
749:
518:{\displaystyle f(n)\leq g(n)}
1073:
829:10.1007/978-3-7091-6110-4_14
7:
787:{\displaystyle F_{\sigma }}
685:{\displaystyle f\leq ^{*}g}
474:{\displaystyle f\leq ^{*}g}
351:Menger conjectured that in
10:
1474:
1320:Banach fixed-point theorem
333:
1353:
1310:
1274:
1160:
1149:
1081:
874:Mathematische Zeitschrift
758:Every Menger space is a
916:Fundamenta Mathematicae
1375:Mathematics portal
1275:Metrics and properties
1261:Second-countable space
928:10.4064/fm-129-1-17-33
788:
740:
712:
686:
653:
652:{\displaystyle g\in A}
627:
590:
559:
539:
519:
475:
442:
399:
324:
270:
182:
789:
741:
713:
687:
654:
628:
591:
560:
540:
520:
476:
443:
400:
325:
276:such that the family
271:
183:
1330:Invariance of domain
1282:Euler characteristic
1256:Bundle (mathematics)
771:
726:
698:
663:
637:
633:there is a function
600:
569:
549:
529:
485:
452:
409:
378:
280:
192:
138:
40:improve this article
1340:Tychonoff's theorem
1335:Poincaré conjecture
1089:General (point-set)
1018:10.1017/jsl.2014.73
821:Selecta Mathematica
347:Menger's conjecture
128:selection principle
1325:De Rham cohomology
1246:Polyhedral complex
1236:Simplicial complex
886:10.1007/bf01216792
784:
736:
708:
694:dominating number
682:
649:
623:
586:
555:
535:
515:
471:
438:
395:
330:covers the space.
320:
266:
178:
118:In mathematics, a
1440:
1439:
1229:fundamental group
838:978-3-7091-7282-7
558:{\displaystyle A}
538:{\displaystyle n}
359:Bartoszyński and
130:that generalizes
124:topological space
116:
115:
108:
90:
1465:
1430:
1429:
1403:
1402:
1393:
1383:
1373:
1372:
1361:
1360:
1155:
1068:
1061:
1054:
1045:
1044:
1038:
1037:
1011:
1002:(4): 1398–1410.
987:
981:
980:
962:
938:
932:
931:
913:
904:
898:
897:
869:
863:
862:
856:
852:
850:
842:
816:
793:
791:
790:
785:
783:
782:
745:
743:
742:
737:
735:
734:
717:
715:
714:
709:
707:
706:
691:
689:
688:
683:
678:
677:
658:
656:
655:
650:
632:
630:
629:
624:
622:
621:
620:
614:
595:
593:
592:
587:
585:
584:
583:
577:
564:
562:
561:
556:
544:
542:
541:
536:
524:
522:
521:
516:
480:
478:
477:
472:
467:
466:
447:
445:
444:
439:
437:
436:
435:
429:
405:. For functions
404:
402:
401:
396:
394:
393:
392:
386:
343:of open covers.
329:
327:
326:
321:
313:
312:
307:
306:
296:
295:
290:
289:
275:
273:
272:
267:
259:
258:
253:
252:
242:
241:
236:
235:
225:
224:
219:
218:
208:
207:
202:
201:
187:
185:
184:
179:
171:
170:
165:
164:
154:
153:
148:
147:
111:
104:
100:
97:
91:
89:
48:
24:
16:
1473:
1472:
1468:
1467:
1466:
1464:
1463:
1462:
1443:
1442:
1441:
1436:
1367:
1349:
1345:Urysohn's lemma
1306:
1270:
1156:
1147:
1119:low-dimensional
1077:
1072:
1042:
1041:
988:
984:
939:
935:
911:
905:
901:
870:
866:
854:
853:
844:
843:
839:
817:
813:
808:
799:Mathias forcing
778:
774:
772:
769:
768:
752:
730:
729:
727:
724:
723:
702:
701:
699:
696:
695:
673:
669:
664:
661:
660:
638:
635:
634:
616:
615:
610:
609:
601:
598:
597:
579:
578:
573:
572:
570:
567:
566:
550:
547:
546:
530:
527:
526:
486:
483:
482:
462:
458:
453:
450:
449:
431:
430:
425:
424:
410:
407:
406:
388:
387:
382:
381:
379:
376:
375:
369:
349:
336:
308:
302:
301:
300:
291:
285:
284:
283:
281:
278:
277:
254:
248:
247:
246:
237:
231:
230:
229:
220:
214:
213:
212:
203:
197:
196:
195:
193:
190:
189:
166:
160:
159:
158:
149:
143:
142:
141:
139:
136:
135:
112:
101:
95:
92:
49:
47:
37:
25:
12:
11:
5:
1471:
1461:
1460:
1455:
1438:
1437:
1435:
1434:
1424:
1423:
1422:
1417:
1412:
1397:
1387:
1377:
1365:
1354:
1351:
1350:
1348:
1347:
1342:
1337:
1332:
1327:
1322:
1316:
1314:
1308:
1307:
1305:
1304:
1299:
1294:
1292:Winding number
1289:
1284:
1278:
1276:
1272:
1271:
1269:
1268:
1263:
1258:
1253:
1248:
1243:
1238:
1233:
1232:
1231:
1226:
1224:homotopy group
1216:
1215:
1214:
1209:
1204:
1199:
1194:
1184:
1179:
1174:
1164:
1162:
1158:
1157:
1150:
1148:
1146:
1145:
1140:
1135:
1134:
1133:
1123:
1122:
1121:
1111:
1106:
1101:
1096:
1091:
1085:
1083:
1079:
1078:
1071:
1070:
1063:
1056:
1048:
1040:
1039:
982:
953:(2): 605–615.
933:
899:
880:(1): 401–421.
864:
855:|journal=
837:
810:
809:
807:
804:
803:
802:
795:
781:
777:
765:
762:
760:Lindelöf space
756:
751:
748:
733:
705:
681:
676:
672:
668:
648:
645:
642:
619:
613:
608:
605:
582:
576:
554:
534:
514:
511:
508:
505:
502:
499:
496:
493:
490:
470:
465:
461:
457:
434:
428:
423:
420:
417:
414:
391:
385:
368:
365:
348:
345:
335:
332:
319:
316:
311:
305:
299:
294:
288:
265:
262:
257:
251:
245:
240:
234:
228:
223:
217:
211:
206:
200:
177:
174:
169:
163:
157:
152:
146:
114:
113:
55:"Menger space"
28:
26:
19:
9:
6:
4:
3:
2:
1470:
1459:
1456:
1454:
1451:
1450:
1448:
1433:
1425:
1421:
1418:
1416:
1413:
1411:
1408:
1407:
1406:
1398:
1396:
1392:
1388:
1386:
1382:
1378:
1376:
1371:
1366:
1364:
1356:
1355:
1352:
1346:
1343:
1341:
1338:
1336:
1333:
1331:
1328:
1326:
1323:
1321:
1318:
1317:
1315:
1313:
1309:
1303:
1302:Orientability
1300:
1298:
1295:
1293:
1290:
1288:
1285:
1283:
1280:
1279:
1277:
1273:
1267:
1264:
1262:
1259:
1257:
1254:
1252:
1249:
1247:
1244:
1242:
1239:
1237:
1234:
1230:
1227:
1225:
1222:
1221:
1220:
1217:
1213:
1210:
1208:
1205:
1203:
1200:
1198:
1195:
1193:
1190:
1189:
1188:
1185:
1183:
1180:
1178:
1175:
1173:
1169:
1166:
1165:
1163:
1159:
1154:
1144:
1141:
1139:
1138:Set-theoretic
1136:
1132:
1129:
1128:
1127:
1124:
1120:
1117:
1116:
1115:
1112:
1110:
1107:
1105:
1102:
1100:
1099:Combinatorial
1097:
1095:
1092:
1090:
1087:
1086:
1084:
1080:
1076:
1069:
1064:
1062:
1057:
1055:
1050:
1049:
1046:
1035:
1031:
1027:
1023:
1019:
1015:
1010:
1005:
1001:
997:
993:
986:
978:
974:
970:
966:
961:
956:
952:
948:
944:
937:
929:
925:
921:
917:
910:
903:
895:
891:
887:
883:
879:
875:
868:
860:
848:
840:
834:
830:
826:
822:
815:
811:
800:
796:
779:
775:
766:
763:
761:
757:
754:
753:
747:
720:
718:
679:
674:
670:
666:
646:
643:
640:
606:
603:
552:
532:
509:
503:
500:
494:
488:
468:
463:
459:
455:
421:
418:
415:
412:
374:
364:
362:
357:
354:
344:
341:
331:
317:
314:
309:
297:
292:
263:
260:
255:
243:
238:
226:
221:
209:
204:
175:
172:
167:
155:
150:
133:
132:σ-compactness
129:
125:
121:
110:
107:
99:
88:
85:
81:
78:
74:
71:
67:
64:
60:
57: –
56:
52:
51:Find sources:
45:
41:
35:
34:
29:This article
27:
23:
18:
17:
1432:Publications
1297:Chern number
1287:Betti number
1170: /
1161:Key concepts
1109:Differential
999:
995:
985:
960:math/0208224
950:
946:
936:
919:
915:
902:
877:
873:
867:
820:
814:
721:
370:
358:
350:
337:
120:Menger space
119:
117:
102:
93:
83:
76:
69:
62:
50:
38:Please help
33:verification
30:
1395:Wikiversity
1312:Key results
719:is Menger.
545:. A subset
373:Baire space
340:Karl Menger
96:August 2016
1447:Categories
1241:CW complex
1182:Continuity
1172:Closed set
1131:cohomology
806:References
750:Properties
659:such that
66:newspapers
1420:geometric
1415:algebraic
1266:Cobordism
1202:Hausdorff
1197:connected
1114:Geometric
1104:Continuum
1094:Algebraic
1026:0022-4812
1009:1401.2283
922:: 17–33.
894:119867793
857:ignored (
847:cite book
780:σ
675:∗
671:≤
644:∈
607:∈
501:≤
464:∗
460:≤
422:∈
338:In 1924,
318:⋯
315:∪
298:∪
264:…
244:⊂
210:⊂
176:…
1458:Topology
1385:Wikibook
1363:Category
1251:Manifold
1219:Homotopy
1177:Interior
1168:Open set
1126:Homology
1075:Topology
1034:15867466
448:, write
1410:general
1212:uniform
1192:compact
1143:Digital
977:9931601
794:subsets
334:History
80:scholar
1405:Topics
1207:metric
1082:Fields
1032:
1024:
975:
892:
835:
361:Tsaban
82:
75:
68:
61:
53:
1187:Space
1030:S2CID
1004:arXiv
973:S2CID
955:arXiv
912:(PDF)
890:S2CID
122:is a
87:JSTOR
73:books
1022:ISSN
859:help
833:ISBN
59:news
1014:doi
965:doi
951:134
924:doi
920:129
882:doi
825:doi
565:of
481:if
353:ZFC
42:by
1449::
1028:.
1020:.
1012:.
1000:80
998:.
994:.
971:.
963:.
949:.
945:.
918:.
914:.
888:.
878:24
876:.
851::
849:}}
845:{{
831:.
746:.
1067:e
1060:t
1053:v
1036:.
1016::
1006::
979:.
967::
957::
930:.
926::
896:.
884::
861:)
841:.
827::
776:F
732:d
704:d
680:g
667:f
647:A
641:g
618:N
612:N
604:f
581:N
575:N
553:A
533:n
513:)
510:n
507:(
504:g
498:)
495:n
492:(
489:f
469:g
456:f
433:N
427:N
419:g
416:,
413:f
390:N
384:N
310:2
304:F
293:1
287:F
261:,
256:2
250:U
239:2
233:F
227:,
222:1
216:U
205:1
199:F
173:,
168:2
162:U
156:,
151:1
145:U
109:)
103:(
98:)
94:(
84:·
77:·
70:·
63:·
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.