84:
74:
53:
22:
1188:
The section "Continuous functions that are not (globally) Lipschitz continuous" says that square root is not
Lipschitz on (true) but that it is uniformly continuous. It seems to me that if zero is included in the interval, then it is not uniformly continuous either. The cited article [Robbin[ says
1124:
Should the every be changed to any in the opening sentence? "here exists a definite real number such that, for every pair of points on the graph of this function". Every seems to indicate some sort of pairs that already exist, while any is a bit more clear that it can be talking about any 2 point on
267:
The following sentence is not clear to me: "Any such K is referred to as a
Lipschitz constant for the function Æ. The smallest constant is sometimes called the (best) Lipschitz constant; however in most cases the latter notion is less relevant." I would remove the part from "; however..." as we are
696:
I ran into this article looking for the more general "Lipschitz condition" which, unlike "Lipschitz uniform condition" or "Lipschitz continuity", does not even assume the function is differentiable everywhere. Robert Seeley's"An
Introduction to Fourier Series and Integrals", for example, defines it
1006:
There should be more examples and in the definition it should state somewhere that in the R^2 case the inequality is simply |f(y)-f(x)| is equal to or less than K|x-y|. Also, the
Lipschitz constant should be discussed more, explicitly stating how to find it and that it cannot be less than 0 or
397:
Yes, âL-Lipschitzâ is a standard and very common short form for âLipschitz of constant Lâ, both in written and spoken mathematical language (and âL-Lipâ if you want to be even shorter). In this article a short form for âLipschitz of constant Lâ doesnât seem necessary because the phrase is not
1091:
The example of an one-sided
Lipschitz function does not make sense when using the definition in the section; F(x) is scalar, which makes the left-hand side of the definition vector times scalar, thus a vector, while the right-hand side is a norm of a vector. Also, the image of F(x) should be
615:
A bilipschitz function need not be either surjective or injective. However, if a bilipschitz function is bijective, its inverse function is, in fact, bilipschitz. It's even satisfied by the same constant (just switch objects with their images and rearrange the inequalities.)
347:
I've added a subtitle for Real-valued functions, to make it more easily readable and understandable, specifically by people not used to metric spaces. I'm new to
Knowledge, so unsure whether this was a good idea or if it was executed well, so feel free to expand upon it.
1192:
Update: Sorry, I think I was missing something. Although in example 15, the set S does not include zero, when I actually read the proof I think it works even if zero is included. I don't know how to delete this comment, only update it.
635:(as the article currently implies). Furthermore, the characterization of bilipschitz function as a Lipschitz injection with Lipschitz inverse is the basic motivation for even being interested in bilipschitz mappings in the first place.
1025:
Some people may have thought it too obvious to mention, but Iler is right that the article should point out explicitly that the
Lipschitz constant must be in between 0 and infinity. Otherwise the definition is simply incorrect.
1306:
1021:
The definition Iler just gave is for the
Lipschitz condition, not for Lipschitz continuity. The Lipschitz condition is defined for piecewise differentiable functions, so is more general than Lipschitz continuity.
585:
665:
for all x and y in . --- which appears to be the same as Hölder continuity. It also appears to be a misuse of the term `uniform', which should mean `independent of x and y', i.e. not locally
Lipschitz. Agreed?
1385:
Yes, this is a good idea. For now, this chain "oscillates": someone replaces the last equality with strict inclusion, then someone restores it. This happens during years. A clarification would help.
816:
140:
681:
I agree that "uniform
Lipschitz condition of order α " appears the same as Hölder continuity. I think the "uniform" part in the article is right, there is nothing local in that definition.
1092:
specified, for example to be from R^d to R^d as in "Uniqueness and weak stability for multi-dimensional transport equations with one-sided Lipschitz coefficient" by Bouchut et al.
910:
948:
1243:
294:
the following theorem holds; which doesn't thus have to be valid for all Lipschitz continuous functions. Later in the 3rd paragraph the same condition (excluding the case
469:
974:
980:
in the examples section. Further down in the page, it also says that "Every Lipschitz continuous map is uniformly continuous, and hence a fortiori continuous." This
378:
I included a phrase to indicate the usage of the phrase 'L-Lipschitz' for a function that is Lipschitz continuous with Lipschitz constant L, as described here:
1439:
130:
867:
The first paragraph states Lipschitz continuity condition is "stronger than regular continuity". is this true? need an example in the example section.
1434:
382:]. Not sure if my edit was accepted but I would appreciate if someone more knowledgeable than me can confirm this usage and review the edit. Thanks,
422:
Every bilipschitz function is injective. A bilipschitz function is the same thing as a Lipschitz bijection whose inverse function is also Lipschitz.
1248:
106:
1327:
We have the following chain of strict inclusions for functions over a closed and bounded (i.e. compact) non-trivial interval of the real line
178:
The definition is not restricted to R, Lipshitz functions are defineded on any metric space, in the section on metric spaces in this article.
1370:? Should this be mentioned? Should the more general statement that uniform continuity implies continuity for any metric space be included?
1126:
842:" in the definition of contraction either has the effect of excluding constant functions from the definition, or is completely useless.) --
700:
This definition and its link with Lipschitz continuity should be mentioned in this article, this section seems to be a good place for it.
328:; in a definition, "X is called A if R" means "X is called A if and only if R" (just because otherwise it would not be a definition); see
1027:
701:
269:
477:
1052:
194:
97:
58:
1189:
in example 15 that The function square root is uniformly continuous on the set S = (0,infinity). Note that zero is NOT included.
398:
repeated too many times. However, the meaning of L-Lipschitz is an information that shouldnât be missing so I think you did well.
697:
for a continuous and piecewise-differentiable function g(x) as |g(x) - g(y)| <= M|x-y| for all x and y (in the domain of g).
1108:
850:
631:
This is wrong. A bilipschitz function is always injective. I hope you agree also that a bilipschitz function is surjective
257:
216:
642:
657:
The text currently states: --- A function f, defined on , is said to satisfy a uniform Lipschitz condition of order α : -->
1140:
No, "any" is not recommended in mathematics, since it is somewhat ambiguous: means not always "every", but also "some".
33:
1332:
730:
1012:
950:; this function is continuous over its domain, but it is not Lipschitz continuous as the slope goes to infinity as
686:
606:
183:
1367:
636:
290:
In the first paragraph of the definition section it is said, that the function f is called Lipschitz continuous
1363:
1130:
165:
The definition here seems to be restricted to R. Other definitions are in higher spaces than R? is this true?
21:
1060:
1031:
984:
continuity is the essence of the "magic" behind all of the nice features of Lipschitz continuous functions. â
705:
273:
1056:
1008:
198:
1104:
885:
39:
83:
1171:
671:
1416:
1403:
1349:
1343:
1096:
1048:
915:
682:
602:
279:
179:
1100:
1355:
1200:
1076:
991:
387:
325:
1125:
the graph. I'm not familiar with mathematical terminology so I'm not comfortable making a change.
105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1213:
1167:
847:
667:
254:
213:
89:
1412:
349:
313:
309:
73:
52:
1400:
Hi, there is also writen that we assume that alpha is between zero and one, then it should be
1160:
I don't think a function is called a contraction unless it maps a metric space to itself; 0 â€
872:
822:
needs to be "the smallest such constant". To make this definition be equivalent to the one in
621:
166:
1390:
1312:
1145:
448:
402:
368:
337:
953:
363:
Nice. But you did not indicate the end of the special case. Thus I try a different design.
308:) it is stated as a biimplication ("if and only if"). What should the reader now believe? (
440:
But this is not how bilipschits functions were defined in the article. The definition was:
353:
229:
in the "Real numbers" subsection which cannot apply to any other metric space (replacing |
1068:
1375:
1196:
1072:
986:
383:
329:
430:
that is Lipschitz and has a Lipschitz inverse, then it is trivially injective. Ideas?
1428:
844:
431:
251:
210:
868:
818:
This definition includes contractions, whereas the one in this article doesn't, if
617:
169:
193:
Could it be useful to talk about the familiar metric space R^n as a special case?
1386:
1308:
1141:
399:
364:
333:
102:
1420:
1394:
1379:
1316:
1204:
1175:
1149:
1134:
1112:
1080:
1035:
1016:
995:
876:
854:
709:
690:
675:
646:
625:
610:
434:
407:
391:
372:
357:
341:
317:
283:
261:
220:
202:
187:
172:
823:
724:
79:
1371:
1362:
On closed interval of real line, closed and bounded implies compact due to
1301:{\displaystyle {\sqrt {x}}\leq {\sqrt {x+a}}\leq {\sqrt {x}}+{\sqrt {a}}.}
838:
must be "the smallest such constant" or not, the recent addition "0 <
1164:< 1 is not sufficient. The page should be updated to reflect this
249:). I'm going to merge them, mentioning real numbers as an example. --
580:{\displaystyle {\frac {1}{K}}d(x,y)\leq d'(f(x),f(y))\leq Kd(x,y)}
15:
1045:
should something about Norton's Dome be added to this page?
1041:
should something about Norton's Dome be added to this page?
1210:
Yes, the square root IS uniformly continuous on the whole
167:
http://planetmath.org/encyclopedia/LipschitzCondition.html
426:
In other words, if we define a bilipschitz function as a
1071:
that needs to be filled out into a proper article. --
1251:
1216:
956:
918:
888:
733:
480:
451:
101:, a collaborative effort to improve the coverage of
1300:
1237:
968:
942:
904:
810:
579:
463:
811:{\displaystyle d_{Y}(f(x),f(y))\leq d_{X}(x,y).}
380:] and used for example here (see Assumption 1):
1366:and uniformly continuous = continuous due to
1067:Note: we now have a (very stubby) article on
8:
1040:
19:
1181:Where is square root uniformly continuous?
47:
1288:
1278:
1262:
1252:
1250:
1215:
955:
917:
895:
887:
784:
738:
732:
481:
479:
450:
658:0 on if there exists a constant M : -->
418:The following text seems tautological:
49:
7:
905:{\displaystyle x\mapsto {\sqrt {x}}}
662:| f(x) â f(y) | < M | x â y | ^α
95:This article is within the scope of
882:It's definitely stronger. Consider
38:It is of interest to the following
1226:
934:
834:†1". (Also, depending on whether
268:just giving the definition here.
14:
1440:Low-priority mathematics articles
414:Property of bilipschitz functions
330:If and only if#More general usage
115:Knowledge:WikiProject Mathematics
1435:Start-Class mathematics articles
943:{\displaystyle x\in [0,\infty )}
118:Template:WikiProject Mathematics
82:
72:
51:
20:
1002:Lipschitz Constant and Examples
135:This article has been rated as
1229:
1217:
960:
937:
925:
892:
855:10:21, 27 September 2008 (UTC)
802:
790:
774:
771:
765:
756:
750:
744:
574:
562:
550:
547:
541:
532:
526:
520:
506:
494:
408:06:50, 28 September 2021 (UTC)
392:15:42, 26 September 2021 (UTC)
262:12:13, 17 September 2008 (UTC)
221:12:02, 17 September 2008 (UTC)
203:11:40, 17 September 2008 (UTC)
188:15:12, 27 September 2006 (UTC)
173:06:22, 27 September 2006 (UTC)
1:
727:says that a map is metric if
719:be less than 1 in short maps?
611:04:08, 10 November 2006 (UTC)
109:and see a list of open tasks.
1317:20:13, 21 January 2019 (UTC)
1238:{\displaystyle [0,\infty ).}
1205:17:38, 21 January 2019 (UTC)
1113:16:46, 30 October 2014 (UTC)
1061:03:15, 1 November 2012 (UTC)
1017:20:52, 23 October 2009 (UTC)
435:21:18, 9 November 2006 (UTC)
373:19:33, 13 January 2017 (UTC)
358:19:21, 13 January 2017 (UTC)
1333:Continuously differentiable
653:uniform Lipschitz condition
626:03:59, 8 October 2010 (UTC)
1456:
1421:20:37, 12 April 2022 (UTC)
1081:17:51, 5 August 2014 (UTC)
1395:10:54, 4 April 2019 (UTC)
1380:07:16, 4 April 2019 (UTC)
1176:12:57, 17 June 2018 (UTC)
1036:18:04, 10 July 2014 (UTC)
710:17:59, 10 July 2014 (UTC)
647:12:01, 4 April 2011 (UTC)
284:01:31, 27 June 2010 (UTC)
134:
67:
46:
1185:Am I missing something?
1150:04:58, 5 June 2016 (UTC)
1135:04:32, 5 June 2016 (UTC)
996:12:39, 19 May 2009 (UTC)
976:. In fact, this case is
877:22:03, 18 May 2009 (UTC)
691:01:53, 19 May 2008 (UTC)
676:22:11, 18 May 2008 (UTC)
342:16:19, 26 May 2016 (UTC)
318:13:26, 17 May 2016 (UTC)
141:project's priority scale
1120:Wording in Introduction
464:{\displaystyle K\geq 1}
98:WikiProject Mathematics
1302:
1239:
970:
969:{\displaystyle x\to 0}
944:
906:
812:
581:
465:
28:This article is rated
1303:
1240:
971:
945:
907:
813:
582:
466:
1409:Lipschitz continuous
1368:HeineâCantor theorem
1350:uniformly continuous
1338:Lipschitz continuous
1249:
1214:
954:
916:
886:
731:
478:
449:
121:mathematics articles
1364:HeineâBorel theorem
1197:Programmer in Chief
1087:One-sided Lipschitz
326:mathematical jargon
1298:
1235:
966:
940:
902:
845:AâŻrâŻmâŻyâŻ1âŻ9âŻ8âŻ7âŻ!
808:
577:
461:
445:If there exists a
252:A r m y 1 9 8 7Â !
211:A r m y 1 9 8 7Â !
90:Mathematics portal
34:content assessment
1404:Hölder continuous
1344:Hölder continuous
1293:
1283:
1273:
1257:
1116:
1099:comment added by
1051:comment added by
900:
489:
208:Yes, it could. --
155:
154:
151:
150:
147:
146:
1447:
1307:
1305:
1304:
1299:
1294:
1289:
1284:
1279:
1274:
1263:
1258:
1253:
1244:
1242:
1241:
1236:
1115:
1093:
1063:
1009:Gustav Ulsh Iler
975:
973:
972:
967:
949:
947:
946:
941:
911:
909:
908:
903:
901:
896:
853:
830:= 1" should be "
817:
815:
814:
809:
789:
788:
743:
742:
639:
586:
584:
583:
578:
519:
490:
482:
470:
468:
467:
462:
405:
324:This is a usual
287:
260:
219:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1455:
1454:
1450:
1449:
1448:
1446:
1445:
1444:
1425:
1424:
1387:Boris Tsirelson
1325:
1323:Inclusion chain
1309:Boris Tsirelson
1247:
1246:
1212:
1211:
1183:
1158:
1142:Boris Tsirelson
1122:
1094:
1089:
1046:
1043:
1004:
952:
951:
914:
913:
884:
883:
865:
843:
780:
734:
729:
728:
721:
683:Oleg Alexandrov
663:
655:
637:
603:Oleg Alexandrov
512:
476:
475:
447:
446:
416:
403:
365:Boris Tsirelson
334:Boris Tsirelson
307:
300:
277:
250:
225:Actually I see
209:
180:Oleg Alexandrov
163:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1453:
1451:
1443:
1442:
1437:
1427:
1426:
1398:
1397:
1360:
1359:
1324:
1321:
1320:
1319:
1297:
1292:
1287:
1282:
1277:
1272:
1269:
1266:
1261:
1256:
1234:
1231:
1228:
1225:
1222:
1219:
1182:
1179:
1157:
1154:
1153:
1152:
1127:69.172.155.110
1121:
1118:
1088:
1085:
1084:
1083:
1042:
1039:
1003:
1000:
999:
998:
965:
962:
959:
939:
936:
933:
930:
927:
924:
921:
899:
894:
891:
864:
861:
859:
807:
804:
801:
798:
795:
792:
787:
783:
779:
776:
773:
770:
767:
764:
761:
758:
755:
752:
749:
746:
741:
737:
720:
713:
694:
693:
661:
654:
651:
650:
649:
638:SĆawomir BiaĆy
633:onto its image
600:
588:
587:
576:
573:
570:
567:
564:
561:
558:
555:
552:
549:
546:
543:
540:
537:
534:
531:
528:
525:
522:
518:
515:
511:
508:
505:
502:
499:
496:
493:
488:
485:
460:
457:
454:
443:
442:
441:
424:
423:
415:
412:
411:
410:
376:
375:
345:
344:
305:
298:
282:comment added
265:
264:
223:
191:
190:
162:
161:The definition
159:
157:
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:
1452:
1441:
1438:
1436:
1433:
1432:
1430:
1423:
1422:
1418:
1414:
1410:
1406:
1405:
1396:
1392:
1388:
1384:
1383:
1382:
1381:
1377:
1373:
1369:
1365:
1358:
1357:
1352:
1351:
1346:
1345:
1339:
1335:
1334:
1330:
1329:
1328:
1322:
1318:
1314:
1310:
1295:
1290:
1285:
1280:
1275:
1270:
1267:
1264:
1259:
1254:
1245:Just because
1232:
1223:
1220:
1209:
1208:
1207:
1206:
1202:
1198:
1194:
1190:
1186:
1180:
1178:
1177:
1173:
1169:
1165:
1163:
1155:
1151:
1147:
1143:
1139:
1138:
1137:
1136:
1132:
1128:
1119:
1117:
1114:
1110:
1106:
1102:
1098:
1086:
1082:
1078:
1074:
1070:
1069:Norton's dome
1066:
1065:
1064:
1062:
1058:
1054:
1050:
1038:
1037:
1033:
1029:
1028:68.164.80.180
1023:
1019:
1018:
1014:
1010:
1001:
997:
993:
989:
988:
983:
979:
963:
957:
931:
928:
922:
919:
897:
889:
881:
880:
879:
878:
874:
870:
862:
860:
857:
856:
852:
849:
846:
841:
837:
833:
829:
825:
821:
805:
799:
796:
793:
785:
781:
777:
768:
762:
759:
753:
747:
739:
735:
726:
718:
714:
712:
711:
707:
703:
702:68.164.80.180
698:
692:
688:
684:
680:
679:
678:
677:
673:
669:
660:
652:
648:
644:
640:
634:
630:
629:
628:
627:
623:
619:
613:
612:
608:
604:
599:
597:
593:
571:
568:
565:
559:
556:
553:
544:
538:
535:
529:
523:
516:
513:
509:
503:
500:
497:
491:
486:
483:
474:
473:
472:
458:
455:
452:
439:
438:
437:
436:
433:
429:
421:
420:
419:
413:
409:
406:
401:
396:
395:
394:
393:
389:
385:
381:
379:
374:
370:
366:
362:
361:
360:
359:
355:
351:
343:
339:
335:
331:
327:
323:
322:
321:
319:
315:
311:
304:
297:
293:
288:
285:
281:
275:
271:
270:64.134.134.33
263:
259:
256:
253:
248:
244:
240:
236:
232:
228:
224:
222:
218:
215:
212:
207:
206:
205:
204:
200:
196:
189:
185:
181:
177:
176:
175:
174:
171:
168:
160:
158:
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:
1408:
1401:
1399:
1361:
1354:
1348:
1341:
1337:
1331:
1326:
1195:
1191:
1187:
1184:
1166:
1161:
1159:
1123:
1095:â Preceding
1090:
1053:72.83.192.20
1047:â Preceding
1044:
1024:
1020:
1005:
985:
981:
977:
866:
858:
839:
835:
831:
827:
819:
723:The article
722:
716:
699:
695:
664:
659:0 such that
656:
632:
614:
601:
595:
591:
589:
444:
427:
425:
417:
377:
346:
302:
295:
291:
289:
266:
246:
242:
238:
234:
230:
226:
192:
164:
156:
137:Low-priority
136:
96:
62:Lowâpriority
40:WikiProjects
1156:Contraction
1007:infinity.--
596:bilipschitz
278:âPreceding
195:128.8.94.54
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
1429:Categories
1356:continuous
824:metric map
725:metric map
594:is called
1411:or not?
1101:Bojeryd91
1073:The Anome
987:TedPavlic
863:stronger?
428:bijection
384:Billtubbs
1109:contribs
1097:unsigned
1049:unsigned
432:Haseldon
982:uniform
978:already
869:Jackzhp
618:Jwuthe2
280:undated
237:| with
227:nothing
170:User A1
139:on the
1168:Merudo
912:where
668:Jorn74
36:scale.
1413:Coohy
590:then
471:with
350:7dare
310:TĂ©leo
1417:talk
1391:talk
1376:talk
1372:Wqwt
1313:talk
1201:talk
1172:talk
1146:talk
1131:talk
1105:talk
1077:talk
1057:talk
1032:talk
1013:talk
992:talk
873:talk
715:Can
706:talk
687:talk
672:talk
643:talk
622:talk
607:talk
388:talk
369:talk
354:talk
338:talk
314:talk
274:talk
199:talk
184:talk
826:, "
276:)
131:Low
1431::
1419:)
1407:â
1402:α-
1393:)
1378:)
1353:=
1347:â
1342:α-
1340:â
1336:â
1315:)
1276:â€
1260:â€
1227:â
1203:)
1174:)
1148:)
1133:)
1111:)
1107:âą
1079:)
1059:)
1034:)
1015:)
994:)
961:â
935:â
923:â
893:âŠ
875:)
851:!
848:!
778:â€
708:)
689:)
674:)
645:)
624:)
609:)
598:.
554:â€
510:â€
456:â„
400:pm
390:)
371:)
356:)
340:)
332:.
320:)
316:)
301:=
292:if
258:!
255:!
245:,
233:â
217:!
214:!
201:)
186:)
1415:(
1389:(
1374:(
1311:(
1296:.
1291:a
1286:+
1281:x
1271:a
1268:+
1265:x
1255:x
1233:.
1230:)
1224:,
1221:0
1218:[
1199:(
1170:(
1162:K
1144:(
1129:(
1103:(
1075:(
1055:(
1030:(
1011:(
990:(
964:0
958:x
938:)
932:,
929:0
926:[
920:x
898:x
890:x
871:(
840:K
836:K
832:K
828:K
820:K
806:.
803:)
800:y
797:,
794:x
791:(
786:X
782:d
775:)
772:)
769:y
766:(
763:f
760:,
757:)
754:x
751:(
748:f
745:(
740:Y
736:d
717:K
704:(
685:(
670:(
641:(
620:(
605:(
592:f
575:)
572:y
569:,
566:x
563:(
560:d
557:K
551:)
548:)
545:y
542:(
539:f
536:,
533:)
530:x
527:(
524:f
521:(
517:âČ
514:d
507:)
504:y
501:,
498:x
495:(
492:d
487:K
484:1
459:1
453:K
404:a
386:(
367:(
352:(
336:(
312:(
306:2
303:x
299:1
296:x
286:.
272:(
247:y
243:x
241:(
239:d
235:y
231:x
197:(
182:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.