393:
one allows a modulus of continuity to be infinite. The end of the "Remarks" section contains the statement "However, the situation is different for uniformly continuous functions defined on compact or convex subsets of normed spaces", which, while better than nothing, is vague, and it would be better to have a definitive statement that actually asserts something. I am quite sure that if the domain is a convex subset of a normed linear space, this is possible. I am also quite sure this is possible if the domain is a metric space whose metric is
Lipschitz (most readers, including probably most mathematicians, won't know what this means, so a link or reference should be included). Unfortunately, I don't have a reference at hand. Given the brevity of this article, links would be more appropriate than proofs. The only counterexample I have seen (where no finite modulus of continuity exists for a uniformly continuous function) involved a noncompact domain, so it is conceivable to me that if the domain is compact, then any uniformly continuous function admits a finite modulus of continuity. In this case, I don't know this for sure. There may be an easy, elementary proof (I haven't tried). Any mention of compactness should be backed up with a definite statement with an accompanying reference, or omitted.
412:
The "vague sentence" at the end of the
Remarks section that you quoted serves as introduction to the following section, where everything is explained in detail. Yes, if the domain of a uniformly continuous map is convex there is a real-valued module of continuity for it, indeed even concave (read the article). "A metric space whose metric is Lipschitz" makes no or little sense (every metric is 1-Lipschitz wrto itself; what is a non-Lipschitz metric then?). It is obvious that a continuous function on a compact metric space has a bounded modulus of continuity (as explained; read the article). In conclusion, I think most readers may be happy with the introductory part, while curious or interested readers can find any explanations in the subsequent sections. (Of course, these readers are supposed to have a minimal knowledge of the English language, in particular, mathematical terms such as "convex", "compact", "function"; there is no need of a reference of these terms although we may link them with other articles; yet it does not seem the case)
84:
74:
53:
22:
543:(as given on page 34 of Bishop's foundations of constructive analysis for example), for any constructive interval. It's also relatively straightforward to see that defining this way makes a lot more sense in actual proofs. The article seems to define it as the inverse of Bishop's operation, which looks really weird to me
392:
For many domains that most users will actually use, a finite-valued modulus of continuity always exists (as in the second sentence of the whole article, in which the domain is a real interval). The definition of modulus of continuity does not require finitivity, so the curious reader will wonder why
372:
The "Examples of Use" section uses the "modulus of a partition P". I think many readers, even many mathematicians, will not know what this means. P is a finite set, and notation such as "|P|" is often used for the cardinality of P, which in this case is n + 1, but that makes no sense here. I think
411:
Well, the reason why we allow the value infinity for moduli of continuity is that it makes true the statement: "f is uniformly continuous if and only if it has a modulus of continuity". The fact is that sometimes one does not have sufficient information on the domain of a uniformly continuous map.
1213:
I think that metric spaces are linked in the introduction. It never occurred for me for a moment that d_X is not metric for X. Moreover the topic of why omega is defined to take infinity as an input is given on this talk page. Search for "Infinity not needed in domain?". No one is claiming that a
1220:
As for "The definition given does not match the one common in the literature", this is a matter of perceptive. The entire field of approximation theory essentially adopts the definition in this article. This fact alone makes the article worthy of existing independently of uniform continuity.
704:
that the "Formal definition" section discusses without asserting any axioms) is a metric space, which is fundamental to the notion of uniform continuity. Including infinity in the metric is also incorrect, since having it as a value contradicts the notion that
541:
140:
815:
490:
765:
1116:
1180:
584:
1217:
I agree that that more explicit definitions for the symbols use may improve clarity. But I was not confused by them. And frankly I have been unable to locate any factual errors.
933:
216:
373:
the definition of "modulus of a partition", or a link to a definition, or at least a reference (if no link can be found) should be given, or the example should be removed.
702:
643:
272:
999:
885:
723:
1037:
1144:
611:
959:
841:
1187:
It's possibly fine if we relax the notion to arbitrary continuity, but that is not what the article (or, as far as I know, the literature) describes. I've slapped
1057:
979:
865:
663:
350:
323:
1252:
130:
1247:
106:
97:
58:
33:
495:
770:
435:
735:
402:
278:
section that infinity is needed as an element of the range. But it's not clear why it's needed in the domain.
1062:
21:
1226:
1150:
275:
39:
83:
561:
1222:
1204:
398:
394:
378:
374:
897:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1196:
544:
283:
165:
89:
296:
73:
52:
352:
is just to make it more natural the composition rule (see the second stated elementary fact).--
1190:
668:
616:
221:
1121:
984:
870:
708:
548:
416:
356:
1007:
1200:
589:
432:
The common definition of the modulus of continuity for a uniformly continuous function is
938:
820:
558:
The definition in the lead section seems to confuse the metric for the function itself:
1042:
964:
850:
648:
1241:
279:
1230:
1208:
552:
421:
413:
382:
361:
353:
287:
102:
79:
961:. But this contradicts the definition of metric space, which restricts
428:
The definition given does not match the one common in the literature?
894:
Alternatively it could be that the space is disconnected, meaning
15:
293:
Actually it is not needed, and several textbooks just take
847:
variance (and not merely an upper bound on variance). Thus
1153:
1125:
1065:
1045:
1010:
987:
967:
941:
900:
873:
853:
823:
773:
738:
711:
671:
651:
645:. Moreover it doesn't mention anywhere the fact that
619:
592:
564:
498:
438:
326:
299:
224:
168:
101:, a collaborative effort to improve the coverage of
1174:
1137:
1110:
1051:
1031:
993:
973:
953:
927:
879:
859:
835:
809:
759:
717:
696:
657:
637:
605:
578:
535:
484:
344:
317:
266:
210:
1195:on the article. But this is really a subtopic of
1059:(which is trivially uniformly continuous), then
1199:and probably not worthy of a separate article.
891:continuous (because the variance is unbounded).
613:, whereas continuity is defined for a function
843:, contradicting the definition that it is the
536:{\displaystyle |x-y|<\omega (\varepsilon )}
981:to the reals (so it can't take on a value of
8:
810:{\displaystyle d(x,y)<\omega (\epsilon )}
387:
485:{\displaystyle |f(x)-f(y)|<\varepsilon }
19:
887:is still defined to be monotonic) but not
760:{\displaystyle \omega (\epsilon )=\infty }
47:
1152:
1124:
1111:{\displaystyle d(f(x),f(y))<\epsilon }
1064:
1044:
1009:
986:
966:
940:
899:
872:
852:
822:
772:
737:
710:
685:
670:
650:
618:
597:
591:
572:
571:
563:
513:
499:
497:
471:
439:
437:
325:
298:
223:
167:
586:is properly the signature of the metric
49:
1214:metric should take on infinite values.
7:
1175:{\displaystyle \omega (\epsilon )=0}
368:"Examples of Use" section is unclear
95:This article is within the scope of
38:It is of interest to the following
988:
922:
754:
336:
309:
258:
240:
202:
184:
14:
1253:Mid-priority mathematics articles
579:{\displaystyle I\to \mathbb {R} }
388:End of 'Remarks" section is vague
115:Knowledge:WikiProject Mathematics
1248:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1163:
1157:
1099:
1096:
1090:
1081:
1075:
1069:
1020:
1014:
928:{\displaystyle d(x,y)=\infty }
916:
904:
804:
798:
789:
777:
748:
742:
691:
672:
629:
568:
530:
524:
514:
500:
472:
468:
462:
453:
447:
440:
339:
327:
312:
300:
261:
249:
246:
243:
231:
205:
193:
190:
187:
175:
158:Infinity not needed in domain?
1:
1209:17:22, 28 November 2023 (UTC)
1138:{\displaystyle \epsilon : -->
422:00:58, 19 November 2013 (UTC)
109:and see a list of open tasks.
403:15:12, 9 November 2013 (UTC)
383:22:24, 7 November 2013 (UTC)
211:{\displaystyle \omega :\to }
553:13:10, 8 October 2021 (UTC)
318:{\displaystyle [0,\infty )}
1269:
1231:15:01, 7 March 2024 (UTC)
697:{\displaystyle (X,d_{X})}
362:12:14, 14 June 2012 (UTC)
288:02:57, 14 June 2012 (UTC)
134:
67:
46:
638:{\displaystyle f:I\to I}
267:{\displaystyle \omega :}
141:project's priority scale
1004:Zero is necessary: let
994:{\displaystyle \infty }
880:{\displaystyle \omega }
867:is continuous (because
718:{\displaystyle \omega }
98:WikiProject Mathematics
1176:
1140:
1112:
1053:
1033:
1032:{\displaystyle f(x)=1}
995:
975:
955:
929:
881:
861:
837:
811:
761:
719:
698:
659:
639:
607:
580:
537:
486:
346:
319:
268:
212:
28:This article is rated
1177:
1141:
1113:
1054:
1034:
996:
976:
956:
930:
882:
862:
838:
812:
762:
720:
699:
660:
640:
608:
606:{\displaystyle d_{I}}
581:
538:
487:
347:
320:
274:? We're told in the
269:
213:
1151:
1123:
1063:
1043:
1008:
985:
965:
939:
898:
871:
851:
821:
771:
736:
709:
669:
649:
617:
590:
562:
496:
436:
324:
297:
222:
166:
121:mathematics articles
954:{\displaystyle x,y}
836:{\displaystyle x,y}
1197:uniform continuity
1172:
1135:
1108:
1049:
1029:
991:
971:
951:
925:
877:
857:
833:
807:
757:
715:
694:
655:
635:
603:
576:
533:
482:
342:
315:
264:
208:
90:Mathematics portal
34:content assessment
1052:{\displaystyle x}
974:{\displaystyle d}
860:{\displaystyle f}
658:{\displaystyle I}
155:
154:
151:
150:
147:
146:
1260:
1194:
1181:
1179:
1178:
1173:
1147:, so we require
1146:
1143:
1142:
1136:
1117:
1115:
1114:
1109:
1058:
1056:
1055:
1050:
1038:
1036:
1035:
1030:
1000:
998:
997:
992:
980:
978:
977:
972:
960:
958:
957:
952:
934:
932:
931:
926:
886:
884:
883:
878:
866:
864:
863:
858:
842:
840:
839:
834:
816:
814:
813:
808:
766:
764:
763:
758:
725:is a modulus of
724:
722:
721:
716:
703:
701:
700:
695:
690:
689:
664:
662:
661:
656:
644:
642:
641:
636:
612:
610:
609:
604:
602:
601:
585:
583:
582:
577:
575:
542:
540:
539:
534:
517:
503:
491:
489:
488:
483:
475:
443:
419:
359:
351:
349:
348:
345:{\displaystyle }
343:
322:
321:
316:
273:
271:
270:
265:
217:
215:
214:
209:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1268:
1267:
1263:
1262:
1261:
1259:
1258:
1257:
1238:
1237:
1188:
1149:
1148:
1120:
1119:
1061:
1060:
1041:
1040:
1006:
1005:
983:
982:
963:
962:
937:
936:
896:
895:
869:
868:
849:
848:
819:
818:
769:
768:
734:
733:
707:
706:
681:
667:
666:
665:(or the object
647:
646:
615:
614:
593:
588:
587:
560:
559:
494:
493:
434:
433:
430:
417:
390:
370:
357:
295:
294:
220:
219:
164:
163:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1266:
1264:
1256:
1255:
1250:
1240:
1239:
1236:
1235:
1234:
1233:
1218:
1215:
1185:
1184:
1183:
1171:
1168:
1165:
1162:
1159:
1156:
1134:
1131:
1128:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1083:
1080:
1077:
1074:
1071:
1068:
1048:
1028:
1025:
1022:
1019:
1016:
1013:
1002:
990:
970:
950:
947:
944:
924:
921:
918:
915:
912:
909:
906:
903:
892:
876:
856:
832:
829:
826:
806:
803:
800:
797:
794:
791:
788:
785:
782:
779:
776:
756:
753:
750:
747:
744:
741:
714:
693:
688:
684:
680:
677:
674:
654:
634:
631:
628:
625:
622:
600:
596:
574:
570:
567:
532:
529:
526:
523:
520:
516:
512:
509:
506:
502:
481:
478:
474:
470:
467:
464:
461:
458:
455:
452:
449:
446:
442:
429:
426:
425:
424:
407:
389:
386:
369:
366:
365:
364:
341:
338:
335:
332:
329:
314:
311:
308:
305:
302:
263:
260:
257:
254:
251:
248:
245:
242:
239:
236:
233:
230:
227:
207:
204:
201:
198:
195:
192:
189:
186:
183:
180:
177:
174:
171:
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:
1265:
1254:
1251:
1249:
1246:
1245:
1243:
1232:
1228:
1224:
1219:
1216:
1212:
1211:
1210:
1206:
1202:
1198:
1192:
1186:
1169:
1166:
1160:
1154:
1132:
1129:
1126:
1105:
1102:
1093:
1087:
1084:
1078:
1072:
1066:
1046:
1026:
1023:
1017:
1011:
1003:
968:
948:
945:
942:
919:
913:
910:
907:
901:
893:
890:
874:
854:
846:
830:
827:
824:
801:
795:
792:
786:
783:
780:
774:
751:
745:
739:
731:
730:
728:
712:
686:
682:
678:
675:
652:
632:
626:
623:
620:
598:
594:
565:
557:
556:
555:
554:
550:
546:
527:
521:
518:
510:
507:
504:
479:
476:
465:
459:
456:
450:
444:
427:
423:
420:
415:
410:
409:
408:
405:
404:
400:
396:
385:
384:
380:
376:
367:
363:
360:
355:
333:
330:
306:
303:
292:
291:
290:
289:
285:
281:
277:
255:
252:
237:
234:
228:
225:
199:
196:
181:
178:
172:
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:
888:
844:
729:continuity:
726:
431:
406:
391:
371:
218:rather than
161:
137:Mid-priority
136:
96:
62:Midβpriority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1242:Categories
1223:Radiodont2
1201:Hairy Dude
1145:0}" /: -->
395:Gsspradlin
375:Gsspradlin
935:for some
889:uniformly
492:whenever
1191:accuracy
1122:0}": -->
1118:for all
1039:for all
817:for all
280:Jowa fan
845:maximum
767:, then
727:uniform
276:remarks
139:on the
545:Saolof
36:scale.
1130:: -->
1227:talk
1205:talk
1103:<
793:<
549:talk
519:<
477:<
399:talk
379:talk
284:talk
162:Why
732:If
131:Mid
1244::
1229:)
1207:)
1193:}}
1189:{{
1161:Ο΅
1155:Ο
1139:0}
1127:Ο΅
1106:Ο΅
1001:).
989:β
923:β
875:Ο
802:Ο΅
796:Ο
755:β
746:Ο΅
740:Ο
713:Ο
630:β
569:β
551:)
528:Ξ΅
522:Ο
508:β
480:Ξ΅
457:β
414:pm
401:)
381:)
354:pm
337:β
310:β
286:)
259:β
247:β
241:β
226:Ο
203:β
191:β
185:β
170:Ο
1225:(
1203:(
1182:.
1170:0
1167:=
1164:)
1158:(
1133:0
1100:)
1097:)
1094:y
1091:(
1088:f
1085:,
1082:)
1079:x
1076:(
1073:f
1070:(
1067:d
1047:x
1027:1
1024:=
1021:)
1018:x
1015:(
1012:f
969:d
949:y
946:,
943:x
920:=
917:)
914:y
911:,
908:x
905:(
902:d
855:f
831:y
828:,
825:x
805:)
799:(
790:)
787:y
784:,
781:x
778:(
775:d
752:=
749:)
743:(
692:)
687:X
683:d
679:,
676:X
673:(
653:I
633:I
627:I
624::
621:f
599:I
595:d
573:R
566:I
547:(
531:)
525:(
515:|
511:y
505:x
501:|
473:|
469:)
466:y
463:(
460:f
454:)
451:x
448:(
445:f
441:|
418:a
397:(
377:(
358:a
340:]
334:,
331:0
328:[
313:)
307:,
304:0
301:[
282:(
262:]
256:,
253:0
250:[
244:)
238:,
235:0
232:[
229::
206:]
200:,
197:0
194:[
188:]
182:,
179:0
176:[
173::
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.