84:
74:
53:
22:
1207:
FYI, I'm asking about this, because in dynamical systems and chaos and fractals, etc. one has some pretty wacky, singular behavior, and I'm trying to figure out how some of the singular craziness there is can be understood with conventional topological axioms. The time evolution operator in dynamical
342:
I don't want to edit anything before the editor who added that paragraph is made aware of this. He unfortunately has the habit of quoting Narici at every opportunity, even when it's not warranted. It would be good if he realizes he is being excessive in this. After that, we can remove most of that
1294:
The article states "every topological group is completely regular". I had modified this to read "every commutative topological group is completely regular", but this was reverted, with a statement that "... even the non-commutative groups " (See above.) Is there a reference for this? Perhaps this
1109:
I see that you added a few examples to the
Examples section. But please do not introduce them if you are not sure. A few comments: (1) every topological group is completely regular, even the non-commutative groups. (2) Don't introduce a link to Tychonoff corkscrew, which does not even exist in
298:
The paragraph explaining the history of the concept in the lead is taken straight from Narici & Beckenstein. Now Narici & Beckenstein is a very fine book for functional analysis, but they are not historians. And in their historical commentaries they have the annoying habit of sometimes
165:
Teach me if I'm wrong, but I think this only holds for
Hausdorff topological groups, maybe even only for locally compact groups. Since the wikipedia page for topological groups doesn't require hausdorff, this example should be removed (just in the case I'm right, for sure) --
501:
The lede states that there are completely regular spaces that are not
Hausdorff; and the first talk topic above suggests that this is often the case for topological groups. Can explicit examples be given? For example, by naming some topological group that is not Hausdorff?
1110:
Knowledge; and would need a reference... (3) There is no such thing as "the partition topology"; it should be "a partition topology". And the sentence as written is not even correct. I am tempted to revert all your changes, unless you want to discuss here first.
1258:
is an alternative notation for
Tychonoff spaces. This notation does not appear in any of the standard references. So at least it is not a notation in general use even if some author in the past may have used it once. Does anyone have a reference for this?
181:
The article is correct: every topological group is completely regular (with the
Knowledge conventions that neither "topological group" nor "completely regular" implies Hausdorff). This follows from the existence of a
535:
already mentions something about that in the section "Quotients and normal subgroups". (see condition for when a quotient group with quotient topology is
Hausdorff) (please don't repeat it in this article)
517:
For a trivial example, a space with the indiscrete topology is completely regular and non-Hausdorff. Any group becomes a topological group when given the indiscrete topology. That's completely regular and
1132:
defined over a suitably defined domain. These are even examples of topological groups (actually topological vector spaces, defined by a seminorm), hence completely regular, but not
Hausdorff. The closure
600:(or the closure is taken) then the quotient space is Hausdorff, and "that's why we only study those." Of course, something similar would be true if we just forget about the group structure entirely. And
140:
1295:
should be obvious? It's just not obvious to me. I don't have any particular intuition for this. Is there some way to think about this that would reveal the correctness of this statement?
482:, because, if it did, then every regular space would automatically be completely regular. So why does this theorem break down for regular spaces? What is the insight, intuition for this?
1091:
So I'm not seeing anything in particular that leads to something that would be completely regular, but isn't
Hausdorff. So, the most interesting counter-example so far is the
836:
303:
introduced by
Tychonoff. In fact, if you look at the 1930 paper from Tychonoff, Tychonoff himself mentions in a footnote that the notion was introduced in 1925 by Urysohn.
1217:
679:
936:
643:
367:
I didn't realize that N&B was not reliable for history. Now that I know, I'll stop using them for that. Thanks for informing me. Feel free to remove that paragraph.
1076:
309:
Also, there is absolutely no need to spell out all the various transliterations of the name
Tychonoff in this article. That belongs perfectly in the linked article
1179:
895:
867:
1151:
1039:
1014:
989:
967:
810:
1323:
130:
328:
Could you be so bold, as to edit the article, and provide the appropriate lede? Maybe add some short history section describing how things got to here?
106:
1318:
280:
1296:
1221:
1096:
555:
503:
483:
447:
416:
329:
97:
58:
522:
310:
1153:
of the zero function consists of the measurable functions that are zero almost everywhere. So that could be the kind of
33:
478:
to find a continuous real-valued function that separates two closed subsets. Apparently, this theorem won't work for
186:
on every topological group, because a topological space is uniformizable if and only if it is completely regular. --
1274:
I'm pretty sure Császár uses this in his book General Topology, but I haven't got a copy to check at the moment. --
1095:
which I guess is safe to add to this article. I was hoping for something more ...arcane, sophisticated. Oh well.
299:
twisting the truth to get a better story. In this particular case, the notion of commpletely regular space was
1092:
693:
585:
471:
463:
284:
685:
but sadly, it does not state when a quotient space might be regular. Conversely, going back to groups, the
1300:
1225:
1125:
1100:
589:
559:
507:
487:
451:
420:
333:
438:
39:
83:
869:
is a uniform space. (...stuff about how to make G/H uniform...) The corresponding induced topology on
279:
Carefully with correcting from ambiguous to unambiguous - do your hit the proper case? Best regards
21:
1264:
1186:
1128:
is completely regular, but need not be Hausdorff in general. For example, see the function spaces
1115:
541:
390:
358:
318:
105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1213:
1209:
815:
89:
73:
52:
655:
306:
Please do not blindly reference N&B for historical stuff. They are not reliable for that.
1279:
904:
898:
686:
618:
605:
593:
581:
532:
191:
1051:
From the above, I conclude that the only way for G/H to not be Hausdorff is for it to not be
523:
https://topology.pi-base.org/spaces?q=completely%20regular%2B~t2%2BHas%20a%20group%20topology
992:
711:
577:
171:
275:
In other terms, this condition says that x and F can be separated by a continuous function.
231:
In other terms, this condition says that x and F can be separated by a continuous function.
1054:
1042:
1017:
748:
725:
646:
415:
but is not completely regular would be nice to have. I'm not seeing one, just right now.
1156:
872:
844:
1260:
1182:
1111:
537:
386:
354:
314:
238:
http://en.wikipedia.org/search/?title=Tychonoff_space&diff=next&oldid=463867677
1136:
1024:
999:
974:
952:
795:
1312:
943:
786:
650:
479:
431:
412:
183:
1275:
475:
380:
368:
348:
187:
1220:
never uses the word topology, except to say the strong operator topology is used.
1212:, not a group, and so perhaps some aspects of uniformizability are evaded??? But
167:
102:
596:
article says less: all that it says is that when a group has a normal subgroup
79:
1129:
612:
1304:
1283:
1268:
1229:
1190:
1119:
1104:
563:
545:
511:
491:
455:
424:
394:
373:
362:
337:
322:
288:
195:
175:
1078:. If there is a needle to be threaded here, it's a bit too fine for me.
437:
An example of a regular space that is not completely regular is the
839:
15:
497:
Examples of completely regular spaces that are not Hausdorff?
692:
As a uniform space, every commutative topological group is
407:
Examples of regular spaces that are not completely regular?
385:
Thanks for your understanding. I'll modify the paragraph.
689:
section rules out non-Hausdorff counterexamples quickly:
700:
with identity element 1, the following are equivalent:
696:. Consequently, for a multiplicative topological group
237:
789:
completely dashes our hopes. Near the bottom, it says
1159:
1139:
1057:
1027:
1002:
977:
955:
907:
875:
847:
818:
798:
658:
621:
528:
Feel free to add an example to the Examples section.
162:-- "Every topological group is completely regular."
101:, a collaborative effort to improve the coverage of
942:If I combine this with the earlier statements from
768:I don't know how to make a topological group where
1218:Spectral theory of ordinary differential equations
1173:
1145:
1070:
1033:
1008:
983:
961:
930:
889:
861:
830:
804:
673:
637:
576:Hmm. Well, that was completely underwhelming. The
223:for every y in F there is a continuous function f
242:clearer if the quantifiers are in the beginning
1290:Every topological group is completely regular?
8:
649:if and only if ~ is a closed subset of the
1124:FYI for another category of examples, any
47:
1163:
1158:
1138:
1130:Lp space#Lp spaces and Lebesgue integrals
1062:
1056:
1026:
1001:
976:
954:
917:
906:
879:
874:
851:
846:
817:
797:
657:
630:
625:
620:
687:topological group#Separation properties
244:. Yes, clearer but wrong in this case.)
49:
19:
256:any point x that does not belong to F,
216:any point x that does not belong to F,
7:
95:This article is within the scope of
38:It is of interest to the following
250:X is a completely regular space if
228:such that f(x) is 0 and f(y) is 1.
210:X is a completely regular space if
14:
1324:Mid-priority mathematics articles
580:is, well, trivial. Pi-base lists
115:Knowledge:WikiProject Mathematics
411:An example of a space that is a
263:there is a continuous function f
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1181:example you were looking for.
969:the following are equivalent:
911:
1:
1230:18:38, 26 November 2023 (UTC)
1191:03:39, 28 November 2023 (UTC)
1120:03:23, 28 November 2023 (UTC)
1105:18:11, 26 November 2023 (UTC)
564:08:23, 26 November 2023 (UTC)
546:05:48, 21 November 2023 (UTC)
512:23:36, 19 November 2023 (UTC)
492:23:24, 19 November 2023 (UTC)
456:18:31, 26 November 2023 (UTC)
425:23:11, 19 November 2023 (UTC)
395:03:58, 24 November 2023 (UTC)
374:20:58, 21 November 2023 (UTC)
363:06:16, 21 November 2023 (UTC)
338:23:13, 19 November 2023 (UTC)
311:Andrey Nikolayevich Tychonoff
289:21:10, 24 February 2012 (UTC)
109:and see a list of open tasks.
1319:C-Class mathematics articles
1305:00:50, 1 February 2024 (UTC)
1284:14:08, 4 December 2023 (UTC)
1269:20:51, 3 December 2023 (UTC)
831:{\displaystyle H\subseteq G}
792:For every topological group
323:04:41, 22 October 2023 (UTC)
158:Examples and Counterexamples
901:defined by the natural map
1340:
949:For a uniformizable space
674:{\displaystyle X\times X.}
598:and the subgroup is closed
253:given any closed set F and
213:given any closed set F and
931:{\displaystyle g\to G/H.}
638:{\displaystyle X/{\sim }}
294:Bogus history in the lead
268:such that f(x) is 0 and,
265:from X to the real line R
225:from X to the real line R
196:10:43, 12 July 2010 (UTC)
176:09:47, 12 July 2010 (UTC)
134:
67:
46:
1093:deleted integer topology
586:deleted integer topology
472:Tietze extension theorem
464:Tietze extension theorem
353:do you care to comment?
236:(This was introduced in
141:project's priority scale
611:If the quotient map is
98:WikiProject Mathematics
1216:is a stub. Meanwhile,
1175:
1147:
1126:pseudometrizable space
1072:
1035:
1010:
985:
963:
932:
891:
863:
832:
806:
675:
639:
554:Thank you! I'll look.
28:This article is rated
1250:It is mentioned that
1176:
1148:
1073:
1071:{\displaystyle T_{0}}
1036:
1011:
986:
964:
933:
892:
864:
833:
807:
676:
640:
531:Also FYI the article
1157:
1137:
1055:
1025:
1000:
975:
953:
905:
873:
845:
816:
796:
656:
619:
590:double-pointed reals
462:Relationship to the
121:mathematics articles
1174:{\displaystyle G/H}
890:{\displaystyle G/H}
862:{\displaystyle G/H}
525:for other examples.
439:Tychonoff corkscrew
1214:topological monoid
1210:topological monoid
1171:
1143:
1068:
1031:
1006:
981:
959:
928:
887:
859:
828:
802:
694:completely regular
671:
635:
474:can be applied to
446:Red link, but OK.
430:Oh why, look! The
90:Mathematics portal
34:content assessment
1146:{\displaystyle H}
1034:{\displaystyle X}
1009:{\displaystyle X}
984:{\displaystyle X}
962:{\displaystyle X}
899:quotient topology
812:and its subgroup
805:{\displaystyle G}
606:quotient topology
594:topological group
582:odd-even topology
533:topological group
245:
206:I corrected from
155:
154:
151:
150:
147:
146:
1331:
1208:systems forms a
1180:
1178:
1177:
1172:
1167:
1152:
1150:
1149:
1144:
1077:
1075:
1074:
1069:
1067:
1066:
1040:
1038:
1037:
1032:
1015:
1013:
1012:
1007:
993:Kolmogorov space
990:
988:
987:
982:
968:
966:
965:
960:
937:
935:
934:
929:
921:
897:is equal to the
896:
894:
893:
888:
883:
868:
866:
865:
860:
855:
838:the set of left
837:
835:
834:
829:
811:
809:
808:
803:
771:
760:
756:
745:
744:
740:
733:
719:
705:
699:
680:
678:
677:
672:
644:
642:
641:
636:
634:
629:
578:trivial topology
384:
371:
352:
313:, but not here.
270:for every y in F
235:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1339:
1338:
1334:
1333:
1332:
1330:
1329:
1328:
1309:
1308:
1292:
1255:
1248:
1244:
1155:
1154:
1135:
1134:
1058:
1053:
1052:
1043:Tychonoff space
1023:
1022:
1018:Hausdorff space
998:
997:
973:
972:
951:
950:
903:
902:
871:
870:
843:
842:
814:
813:
794:
793:
769:
758:
754:
746:
742:
738:
737:
731:
723:
717:
709:
703:
697:
654:
653:
647:Hausdorff space
617:
616:
499:
468:
409:
378:
369:
346:
296:
204:
163:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1337:
1335:
1327:
1326:
1321:
1311:
1310:
1291:
1288:
1287:
1286:
1257:
1253:
1247:
1246:
1242:
1238:
1237:
1236:
1235:
1234:
1233:
1232:
1200:
1199:
1198:
1197:
1196:
1195:
1194:
1193:
1170:
1166:
1162:
1142:
1122:
1084:
1083:
1082:
1081:
1080:
1079:
1065:
1061:
1049:
1048:
1047:
1046:
1045:
1030:
1020:
1005:
995:
980:
958:
940:
939:
938:
927:
924:
920:
916:
913:
910:
886:
882:
878:
858:
854:
850:
827:
824:
821:
801:
778:
777:
776:
775:
774:
773:
766:
765:
764:
763:
762:
752:
735:
729:
721:
715:
707:
683:
682:
681:
670:
667:
664:
661:
633:
628:
624:
569:
568:
567:
566:
549:
548:
529:
526:
519:
518:non-Hausdorff.
498:
495:
480:regular spaces
467:
460:
459:
458:
444:
443:
442:
434:article says:
408:
405:
404:
403:
402:
401:
400:
399:
398:
397:
344:
295:
292:
281:90.180.192.165
277:
276:
273:
266:
260:
257:
254:
251:
233:
232:
229:
226:
220:
217:
214:
211:
203:
200:
199:
198:
161:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
1336:
1325:
1322:
1320:
1317:
1316:
1314:
1307:
1306:
1302:
1298:
1289:
1285:
1281:
1277:
1273:
1272:
1271:
1270:
1266:
1262:
1251:
1240:
1239:
1231:
1227:
1223:
1219:
1215:
1211:
1206:
1205:
1204:
1203:
1202:
1201:
1192:
1188:
1184:
1168:
1164:
1160:
1140:
1131:
1127:
1123:
1121:
1117:
1113:
1108:
1107:
1106:
1102:
1098:
1094:
1090:
1089:
1088:
1087:
1086:
1085:
1063:
1059:
1050:
1044:
1028:
1021:
1019:
1003:
996:
994:
978:
971:
970:
956:
948:
947:
945:
944:uniform space
941:
925:
922:
918:
914:
908:
900:
884:
880:
876:
856:
852:
848:
841:
825:
822:
819:
799:
791:
790:
788:
787:uniform space
784:
783:
782:
781:
780:
779:
772:isn't closed.
767:
757:is closed in
753:
750:
730:
727:
716:
713:
702:
701:
695:
691:
690:
688:
684:
668:
665:
662:
659:
652:
651:product space
648:
631:
626:
622:
614:
610:
609:
607:
603:
599:
595:
591:
587:
583:
579:
575:
574:
573:
572:
571:
570:
565:
561:
557:
553:
552:
551:
550:
547:
543:
539:
534:
530:
527:
524:
520:
516:
515:
514:
513:
509:
505:
496:
494:
493:
489:
485:
481:
477:
476:normal spaces
473:
465:
461:
457:
453:
449:
445:
440:
436:
435:
433:
432:regular space
429:
428:
427:
426:
422:
418:
414:
413:regular space
406:
396:
392:
388:
382:
377:
376:
375:
372:
366:
365:
364:
360:
356:
350:
345:
341:
340:
339:
335:
331:
327:
326:
325:
324:
320:
316:
312:
307:
304:
302:
293:
291:
290:
286:
282:
274:
271:
267:
264:
261:
258:
255:
252:
249:
248:
247:
243:
239:
230:
227:
224:
221:
218:
215:
212:
209:
208:
207:
201:
197:
193:
189:
185:
180:
179:
178:
177:
173:
169:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
1297:67.198.37.16
1293:
1249:
1222:67.198.37.16
1097:67.198.37.16
785:The article
601:
597:
556:67.198.37.16
504:67.198.37.16
500:
484:67.198.37.16
469:
448:67.198.37.16
417:67.198.37.16
410:
330:67.198.37.16
308:
305:
300:
297:
278:
272:, f(y) is 1.
269:
262:
241:
240:with saying
234:
222:
205:
202:What a shame
164:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
608:says this:
112:Mathematics
103:mathematics
59:Mathematics
1313:Categories
946:, to wit:
712:Kolmogorov
343:paragraph.
184:uniformity
1261:PatrickR2
1183:PatrickR2
1112:PatrickR2
749:Tychonoff
726:Hausdorff
538:PatrickR2
387:PatrickR2
355:PatrickR2
315:PatrickR2
724:-space (
710:-space (
602:le voila
1276:Zundark
615:, then
381:Mgkrupa
370:Mgkrupa
349:Mgkrupa
188:Zundark
139:on the
30:C-class
840:cosets
770:{ 1 }
755:{ 1 }
734:is a T
720:is a T
706:is a T
592:. The
168:Roman3
36:scale.
1256:space
1245:space
1041:is a
1016:is a
991:is a
645:is a
1301:talk
1280:talk
1265:talk
1226:talk
1187:talk
1116:talk
1101:talk
613:open
588:and
584:and
560:talk
542:talk
521:See
508:talk
488:talk
470:The
452:talk
421:talk
391:talk
359:talk
334:talk
319:talk
301:not
285:talk
259:then
219:then
192:talk
172:talk
246:To
131:Mid
1315::
1303:)
1282:)
1267:)
1228:)
1189:)
1118:)
1103:)
912:→
823:⊆
751:);
728:);
714:);
663:×
632:∼
604:,
562:)
544:)
510:)
490:)
454:)
423:)
393:)
361:)
336:)
321:)
287:)
194:)
174:)
1299:(
1278:(
1263:(
1254:π
1252:T
1243:π
1241:T
1224:(
1185:(
1169:H
1165:/
1161:G
1141:H
1114:(
1099:(
1064:0
1060:T
1029:X
1004:X
979:X
957:X
926:.
923:H
919:/
915:G
909:g
885:H
881:/
877:G
857:H
853:/
849:G
826:G
820:H
800:G
761:;
759:G
747:(
743:2
741:⁄
739:1
736:3
732:G
722:2
718:G
708:0
704:G
698:G
669:.
666:X
660:X
627:/
623:X
558:(
540:(
506:(
486:(
466:?
450:(
441:.
419:(
389:(
383::
379:@
357:(
351::
347:@
332:(
317:(
283:(
190:(
170:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.