47:. Aside from this difference, both of these notions correspond to the intuitive notion of adding a point at infinity, and requiring the values of the function to get arbitrarily close to zero as one approaches it. This definition can be formalized in many cases by adding an (actual)
936:
is locally compact if and only if it is finite-dimensional so in this particular case, there are two different definitions of a function "vanishing at infinity". The two definitions could be inconsistent with each other: if
245:
538:
927:
599:
311:
425:
811:
1151:
154:
986:
750:
1210:
1051:
674:
627:
696:
649:
122:
1336:
558:
890:
471:
1174:
1010:
854:
834:
448:
381:
341:
87:
39:
if its values approach 0 as the input grows without bounds. There are two different ways to define this with one definition applying to functions defined on
162:
480:
1216:
satisfy the same condition too. This condition is set up so as to be self-dual under
Fourier transform, so that the corresponding
1239:
1353:
1217:
1090:
895:
570:
259:
1266:
389:
760:
1103:
32:
1072:
706:
344:
44:
127:
940:
716:
1179:
1015:
654:
607:
60:
40:
679:
632:
1330:
1245:
1213:
92:
1076:
561:
543:
863:
17:
1094:
1080:
353:
48:
453:
1159:
1062:
995:
839:
819:
433:
366:
326:
72:
1290:
1347:
360:
1318:
989:
933:
699:
857:
28:
703:
317:
1233:
710:
240:{\displaystyle \lim _{x\to -\infty }f(x)=\lim _{x\to +\infty }f(x)=0.}
533:{\displaystyle \left\{x\in X:\|f(x)\|\geq \varepsilon \right\}}
1267:"Function vanishing at infinity - Encyclopedia of Mathematics"
1083:
conditions with rate conditions on vanishing at infinity. The
1071:
of functions at infinity. One of the basic intuitions of
540:
has compact closure. For a given locally compact space
1067:
Refining the concept, one can look more closely to the
1182:
1162:
1106:
1018:
998:
943:
898:
866:
842:
822:
763:
719:
682:
657:
635:
610:
573:
546:
483:
456:
436:
392:
369:
329:
262:
165:
130:
95:
75:
1242: – Real numbers with an added point at infinity
250:
in the specific case of functions on the real line.
1053:definition, but not by the compact set definition.
1204:
1168:
1145:
1045:
1004:
980:
921:
884:
848:
828:
805:
744:
690:
668:
643:
621:
593:
552:
532:
465:
442:
419:
375:
335:
305:
239:
148:
116:
81:
201:
167:
860:greater or equal 1 and correspond to the point
43:and the other applying to functions defined on
8:
1335:: CS1 maint: multiple names: authors list (
1248: – Point where function's value is zero
1034:
1019:
966:
959:
516:
501:
408:
393:
137:
131:
89:as the input grows without bounds (that is,
1191:
1183:
1181:
1161:
1129:
1124:
1115:
1105:
1017:
997:
969:
942:
922:{\displaystyle \mathbb {R} _{\geq 1}^{2}}
913:
905:
901:
900:
897:
865:
841:
821:
785:
762:
724:
718:
684:
683:
681:
659:
658:
656:
637:
636:
634:
612:
611:
609:
594:{\displaystyle f:\Omega \to \mathbb {K} }
587:
586:
572:
545:
482:
473:In other words, for each positive number
455:
435:
391:
368:
328:
306:{\displaystyle f(x)={\frac {1}{x^{2}+1}}}
288:
278:
261:
204:
170:
164:
129:
94:
74:
420:{\displaystyle \|f(x)\|<\varepsilon }
1258:
806:{\displaystyle h(x,y)={\frac {1}{x+y}}}
1328:
1146:{\displaystyle O\left(|x|^{-N}\right)}
7:
1199:
733:
580:
547:
214:
180:
143:
25:
149:{\displaystyle \|x\|\to \infty }
1291:"vanishing at infinity in nLab"
1240:Projectively extended real line
981:{\displaystyle f(x)=\|x\|^{-1}}
745:{\displaystyle C_{0}(\Omega ).}
1205:{\displaystyle |x|\to \infty }
1196:
1192:
1184:
1125:
1116:
1037:
1031:
1025:
953:
947:
879:
867:
779:
767:
736:
730:
583:
513:
507:
405:
399:
272:
266:
228:
222:
208:
194:
188:
174:
140:
108:
105:
99:
1:
1224:will have the same property.
1046:{\displaystyle \|f(x)\|\to 0}
669:{\displaystyle \mathbb {C} ,}
622:{\displaystyle \mathbb {K} ,}
1236: – Mathematical concept
1012:vanishes at infinity by the
754:As an example, the function
691:{\displaystyle \mathbb {K} }
644:{\displaystyle \mathbb {R} }
988:in an infinite dimensional
253:For example, the function
69:if the function approaches
18:Rapidly decreasing function
1370:
1323:Real and abstract analysis
1271:www.encyclopediaofmath.org
1212:, and such that all their
1060:
323:Alternatively, a function
1321:and Stromberg, K (1963).
713:, which is often denoted
117:{\displaystyle f(x)\to 0}
553:{\displaystyle \Omega }
1222:tempered distributions
1206:
1170:
1147:
1047:
1006:
982:
929:vanishes at infinity.
923:
886:
850:
830:
807:
746:
692:
670:
645:
623:
595:
554:
534:
467:
444:
421:
377:
337:
320:vanishes at infinity.
307:
241:
150:
118:
83:
45:locally compact spaces
1354:Mathematical analysis
1207:
1171:
1148:
1091:tempered distribution
1073:mathematical analysis
1048:
1007:
983:
924:
887:
885:{\displaystyle (x,y)}
851:
831:
808:
747:
707:scalar multiplication
693:
671:
646:
624:
596:
555:
535:
468:
445:
422:
378:
345:locally compact space
338:
308:
242:
151:
119:
84:
1180:
1160:
1104:
1016:
996:
941:
896:
864:
840:
820:
761:
717:
680:
655:
633:
608:
571:
544:
481:
454:
434:
390:
367:
349:vanishes at infinity
327:
260:
163:
128:
93:
73:
41:normed vector spaces
1218:distribution theory
1214:partial derivatives
918:
430:whenever the point
61:normed vector space
1325:. Springer-Verlag.
1246:Zero of a function
1202:
1166:
1143:
1089:test functions of
1086:rapidly decreasing
1057:Rapidly decreasing
1043:
1002:
978:
919:
899:
882:
846:
826:
803:
742:
688:
666:
641:
619:
591:
564:of such functions
550:
530:
466:{\displaystyle K.}
463:
440:
417:
373:
333:
303:
237:
218:
184:
146:
114:
79:
66:vanish at infinity
37:vanish at infinity
1169:{\displaystyle N}
1077:Fourier transform
1069:rate of vanishing
1005:{\displaystyle f}
849:{\displaystyle y}
829:{\displaystyle x}
801:
443:{\displaystyle x}
376:{\displaystyle K}
359:, there exists a
336:{\displaystyle f}
301:
200:
166:
82:{\displaystyle 0}
49:point at infinity
16:(Redirected from
1361:
1340:
1334:
1326:
1305:
1304:
1302:
1301:
1287:
1281:
1280:
1278:
1277:
1263:
1211:
1209:
1208:
1203:
1195:
1187:
1175:
1173:
1172:
1167:
1152:
1150:
1149:
1144:
1142:
1138:
1137:
1136:
1128:
1119:
1095:smooth functions
1052:
1050:
1049:
1044:
1011:
1009:
1008:
1003:
987:
985:
984:
979:
977:
976:
928:
926:
925:
920:
917:
912:
904:
891:
889:
888:
883:
855:
853:
852:
847:
835:
833:
832:
827:
812:
810:
809:
804:
802:
800:
786:
751:
749:
748:
743:
729:
728:
702:with respect to
697:
695:
694:
689:
687:
675:
673:
672:
667:
662:
650:
648:
647:
642:
640:
629:which is either
628:
626:
625:
620:
615:
600:
598:
597:
592:
590:
559:
557:
556:
551:
539:
537:
536:
531:
529:
525:
476:
472:
470:
469:
464:
450:lies outside of
449:
447:
446:
441:
426:
424:
423:
418:
382:
380:
379:
374:
358:
342:
340:
339:
334:
312:
310:
309:
304:
302:
300:
293:
292:
279:
246:
244:
243:
238:
217:
183:
155:
153:
152:
147:
123:
121:
120:
115:
88:
86:
85:
80:
59:A function on a
21:
1369:
1368:
1364:
1363:
1362:
1360:
1359:
1358:
1344:
1343:
1327:
1317:
1314:
1309:
1308:
1299:
1297:
1289:
1288:
1284:
1275:
1273:
1265:
1264:
1260:
1255:
1230:
1178:
1177:
1158:
1157:
1123:
1114:
1110:
1102:
1101:
1065:
1059:
1014:
1013:
994:
993:
965:
939:
938:
894:
893:
862:
861:
838:
837:
818:
817:
790:
759:
758:
720:
715:
714:
678:
677:
653:
652:
631:
630:
606:
605:
569:
568:
542:
541:
488:
484:
479:
478:
474:
452:
451:
432:
431:
388:
387:
365:
364:
356:
354:positive number
352:, if given any
325:
324:
316:defined on the
284:
283:
258:
257:
161:
160:
126:
125:
91:
90:
71:
70:
57:
23:
22:
15:
12:
11:
5:
1367:
1365:
1357:
1356:
1346:
1345:
1342:
1341:
1313:
1310:
1307:
1306:
1282:
1257:
1256:
1254:
1251:
1250:
1249:
1243:
1237:
1229:
1226:
1223:
1201:
1198:
1194:
1190:
1186:
1165:
1154:
1153:
1141:
1135:
1132:
1127:
1122:
1118:
1113:
1109:
1087:
1070:
1063:Schwartz space
1061:Main article:
1058:
1055:
1042:
1039:
1036:
1033:
1030:
1027:
1024:
1021:
1001:
975:
972:
968:
964:
961:
958:
955:
952:
949:
946:
916:
911:
908:
903:
881:
878:
875:
872:
869:
845:
825:
814:
813:
799:
796:
793:
789:
784:
781:
778:
775:
772:
769:
766:
741:
738:
735:
732:
727:
723:
686:
665:
661:
639:
618:
614:
602:
601:
589:
585:
582:
579:
576:
549:
528:
524:
521:
518:
515:
512:
509:
506:
503:
500:
497:
494:
491:
487:
462:
459:
439:
428:
427:
416:
413:
410:
407:
404:
401:
398:
395:
372:
350:
332:
314:
313:
299:
296:
291:
287:
282:
277:
274:
271:
268:
265:
248:
247:
236:
233:
230:
227:
224:
221:
216:
213:
210:
207:
203:
199:
196:
193:
190:
187:
182:
179:
176:
173:
169:
145:
142:
139:
136:
133:
113:
110:
107:
104:
101:
98:
78:
67:
56:
53:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1366:
1355:
1352:
1351:
1349:
1338:
1332:
1324:
1320:
1316:
1315:
1311:
1296:
1292:
1286:
1283:
1272:
1268:
1262:
1259:
1252:
1247:
1244:
1241:
1238:
1235:
1232:
1231:
1227:
1225:
1221:
1219:
1215:
1188:
1163:
1139:
1133:
1130:
1120:
1111:
1107:
1100:
1099:
1098:
1096:
1092:
1088:
1085:
1082:
1079:interchanges
1078:
1074:
1068:
1064:
1056:
1054:
1040:
1028:
1022:
999:
991:
973:
970:
962:
956:
950:
944:
935:
930:
914:
909:
906:
876:
873:
870:
859:
843:
823:
797:
794:
791:
787:
782:
776:
773:
770:
764:
757:
756:
755:
752:
739:
725:
721:
712:
708:
705:
701:
663:
616:
577:
574:
567:
566:
565:
563:
526:
522:
519:
510:
504:
498:
495:
492:
489:
485:
460:
457:
437:
414:
411:
402:
396:
386:
385:
384:
370:
362:
355:
351:
348:
346:
330:
321:
319:
297:
294:
289:
285:
280:
275:
269:
263:
256:
255:
254:
251:
234:
231:
225:
219:
211:
205:
197:
191:
185:
177:
171:
159:
158:
157:
134:
111:
102:
96:
76:
68:
65:
62:
54:
52:
50:
46:
42:
38:
34:
30:
19:
1322:
1298:. Retrieved
1294:
1285:
1274:. Retrieved
1270:
1261:
1155:
1084:
1075:is that the
1066:
990:Banach space
934:normed space
931:
815:
753:
700:vector space
603:
429:
347:
322:
315:
252:
249:
64:
58:
36:
26:
1295:ncatlab.org
1093:theory are
383:such that
63:is said to
55:Definitions
35:is said to
29:mathematics
1312:References
1300:2019-12-15
1276:2019-12-15
1097:that are
1081:smoothness
604:valued in
1331:cite book
1319:Hewitt, E
1253:Citations
1200:∞
1197:→
1131:−
1038:→
1035:‖
1020:‖
971:−
967:‖
960:‖
907:≥
734:Ω
704:pointwise
584:→
581:Ω
548:Ω
523:ε
520:≥
517:‖
502:‖
493:∈
415:ε
409:‖
394:‖
318:real line
215:∞
209:→
181:∞
178:−
175:→
144:∞
141:→
138:‖
132:‖
109:→
1348:Category
1234:Infinity
1228:See also
1156:for all
711:addition
676:forms a
477:the set
33:function
992:, then
363:subset
361:compact
156:). Or,
816:where
1176:, as
858:reals
343:on a
1337:link
856:are
836:and
709:and
560:the
412:<
31:, a
1220:of
892:on
651:or
562:set
202:lim
168:lim
124:as
27:In
1350::
1333:}}
1329:{{
1293:.
1269:.
932:A
235:0.
51:.
1339:)
1303:.
1279:.
1193:|
1189:x
1185:|
1164:N
1140:)
1134:N
1126:|
1121:x
1117:|
1112:(
1108:O
1041:0
1032:)
1029:x
1026:(
1023:f
1000:f
974:1
963:x
957:=
954:)
951:x
948:(
945:f
915:2
910:1
902:R
880:)
877:y
874:,
871:x
868:(
844:y
824:x
798:y
795:+
792:x
788:1
783:=
780:)
777:y
774:,
771:x
768:(
765:h
740:.
737:)
731:(
726:0
722:C
698:-
685:K
664:,
660:C
638:R
617:,
613:K
588:K
578::
575:f
527:}
514:)
511:x
508:(
505:f
499::
496:X
490:x
486:{
475:ε
461:.
458:K
438:x
406:)
403:x
400:(
397:f
371:K
357:ε
331:f
298:1
295:+
290:2
286:x
281:1
276:=
273:)
270:x
267:(
264:f
232:=
229:)
226:x
223:(
220:f
212:+
206:x
198:=
195:)
192:x
189:(
186:f
172:x
135:x
112:0
106:)
103:x
100:(
97:f
77:0
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.