598:. Certainly "maps" have more to do with finding your way around than with topology, but the current redirect is an indication that "continuous map" is a standard term in mathematics that refers to a certain generalisation of a continuous function. The generalisation described in this page is almost never referred to as a "continuous function", and therefore the name of the page is inappropriate. If you check the pages that link to this page, you will see that most of them actually use the term "continuous map", rather than "continuous function".
238:)). If the function is surjective, it's true that the quotient space and the final topology on the codomain are homeomorphic. I wouldn't say that they're equal though; the quotient space is a space of equivalence classes, while a general codomain need not be. I've cleaned up the section, and also included the dual case, but now we've got two long paragraphs of stuff that I'm not sure belongs in this article. -
825:. Do some authors favor the use of the term "map" in topology and other areas? Certainly, probably I do myself without even realizing it. Is this universal? No, probably not, and as I have said, I have never seen this as a hard terminological distinction. Then again, I am not an expert on what every mathematician has written about everything, but it seems to me that moving the well-disambiguated
627:. The articles together are under 40kb, so there is no problem with excessive length. The combined article could still cover continuity on the real line first, and then cover topological continuity lower down. So a basic reader could read the top part, and a more advanced one could continue down to the more advanced material. — Carl
731:
that present much the same sort of strange distinction between "function" and "map", a distinction that I am not aware of existing outside
Knowledge. Regarding the current move, I vote to keep things where they are (although there is definitely a case to be made for sorting out harmonic function/map
200:
As for misleading stuff later in the article, if you are referring to the statement that any neighbourhood V of f(x) contains an image f(U) of a neighbourhood U of x, rather than the statement that the inverse image of a neighourhood of f(x) contains a neighbourhood of x: my understanding is that the
21:
I have rewritten the introduction (again) in a way which is appropriate for an article on topology, but emphasising that the definition for metric spaces is exactly the same as the topological one. Using neighbourhoods rather than open sets is far clearer, because continuity is essentially about what
752:
Since there is no support for such a move, the current titles should be retained. To clarify what seems to me to be standard terminology, "function" is typically used for a scalar-valued morphism, whereas "map" is used when the target space is more general, e.g. a manifold. A map with values in R
58:
Are you sure about this claim that a discontinuous function can still preserve limits of sequences? I am under the impression that in any first countable space, a function is continuous if and only if it preserves limits of sequences. In fact, I added material asserting that fact to the article a
802:
Above you voted to "keep things the way they are". The disambiguation is already there, and we are not talking about creating a new one. If separate pages are kept, as you seem to suggest, the question becomes whether the second page should be "map", consistent with usage throughout topology, or
988:
I have not seen the context of Kelley's comment, but I assume that when he says "synonymous", he does not necessarily mean "interchangeable". It may be useful to sort out when "function" and "map" are typically used in the literature, as well as in online encyclopedias, but I don't see too much
181:
Yes, indeed, your observation is still true for non-first countable spaces. Then you have the slightly generalized version which says that a function is continuous if and only if it preserves limits of nets (generalized sequences). Many people define continuity this way, in fact, so this view
785:
I should clarify that perhaps "function" often connotes something scalar-valued and "map" a function with more general values, but this distinction is never one that I have seen actually enforced (outside of casual usage), and it is definitely a dangerous distinction on which to build a
649:
for a prime example.) Sometimes one of them is given extra meaning. For example functions being maps taking values in C or R, or a function being a continuous map (doesn't Bredon's book do the latter?). Anyway, it is hard to tell which is more common. (I also agree with Carl)
171:
and hastily assumed it preserved limits of sequences at the origin. But it doesn't, and your general result is one I recall to be true. However my observation is true for spaces that are not first countable, which is relevant for a general topological concept.
615:
I don't think we should have two different articles, one entitled "continuous map" and the other entitled "continuous function". That will only lead to confusion, especially because many people use the words "map" and "function" as complete synonyms.
257:
I think that it would be helpful if there were some (if they're too complicated then don't add them) proofs that the definitions were equivalent because a lot of the ideas are quite different and the proofs would help to show how they're connected.
165:
276:
contains a link to closeness relations. However, in the linked page, closeness is only defined between a point and a set or between two sets; it is undefined what it means that two points are close. -- dnjansen 6 October 2008
204:
The thing I was referring to was about the topology induced by a continuous function. I elaborated this by explaining the quotient topology and dealing with functions that are not necessarily surjective.
510:
I further notice that some of the pages linking to this page in fact use the expression "continuous map" with a redirect of type "continuous function (topology)|continuous map".
907:
There's a real-world example of having to disambiguate terms from different branches to place them all in the same general context, which predates
Knowledge by 45 years. — Carl
344:
214:
The stuff about the quotient topology is a bit misleading. Every function from a set determines a final topology. Every function also determines an equivalence relation (
197:
I favour sacrificing formality for accessibility especially in the intro, but I think yours is better than the "nearness is measured..." wording for both qualities. Thanks.
73:
681:. It would be no more appropriate to move "Continuous function (topology)" to "continuous map", than it would be to move "continuous function" to "continuous map".
867:
Note that we have a category "maps of manifolds" and a category "continuous mappings". People who contribute to technical pages in topology generally use "map".
665:(ec) *Keep as is. The term "map" is a synonym for the term "function". But "function" is the more common term, so for example, our main article on the topic is at
645:
Well, "continuous function" and "continuous map" are used pretty much interchangebly in the literature, sometimes within the same text. (See Alan
Hatcher's
1012:
and redirected it. The merged article is likely to need some work to make sure the content that was here fits appropirately within that article. — Martin
496:
I notice that
Acharya similarly used the term "map" in his comment on this page a year ago. I suggest we move the page to "continuous map (topology)".
849:
I have no problem with that. It could be that my perception of a general preference for "map" in topology is more subjective than I (and the author of
482:
The title of this page may be a bit of a neologism. Continuous morphisms between topological spaces are usually referred to as maps, not functions.
48:
There is still some stuff late in this article which I think is misleading because it ignores the fact that functions don't have to be injective.
33:
The reason I object to a too informal introduction is that it is easy to give a false idea of what continuity is. It is easy to define a function
786:
disambiguation. Having continuous function (topology) makes it very clear what the subject is, whereas continuous map introduces ambiguity.
463:
445:
284:
817:
You are basing this on a connotative nuance, rather than a firm distinction (at least in my humble opinion): "Map" and "function" have
45:. Anyone reading an informal definition about nearness could easily assume it would be enough for limits of sequences to be preserved.
899:
Sure; different fields often use differrent words for the same thing. I smiled when I opened my copy of Kelley's book and saw this:
306:
26:. The reason the very abstract open set formalisation works is that an open set is simply any set that contains a neighbourhood of
30:
one of its points, so continuity in terms of open sets is about continuity in parallel at every one of the points in the sets.
826:
753:
or C should certainly be called a function. Elements of homotopy groups of spheres are represented by maps, not functions.
701:
678:
620:
536:
273:
840:
793:
739:
882:
37:
on the plane which is discontinuous, but for which limits of sequences are preserved (i.e. any sequence {x_n}with a limit
426:
However the change was undone. Would it be possible to get some thoughts on these two alternative expressions, please?
577:
971:
Don't ask me. On a whim I searched for "continuous correspondence" on google books and it is actually used. — Carl
467:
441:
834:
787:
733:
546:
The term "Continuous map" is the standard term for the concept described here. I am unable to move the page as
288:
902:
The words "function", "map", "mapping", "correspondence", "operator", and "transformation" are synonymous.
673:. We currently have two articles which cover the topic of continuous functions an "elementary" version at
666:
573:
708:
685:
655:
459:
437:
433:
317:
280:
259:
303:
Looking through the history you will see that I attempted to make a change in line with pg 4 of :
201:
former is also correct even when f is not injective. Am I mistaken? -Dan 14:18, 27 April 2006 (UTC)
1009:
697:
674:
624:
595:
551:
160:{\displaystyle f(re^{i\theta })={\frac {r}{\theta }}e^{i\theta }\ldots (0<\theta \leq 2\pi )\;}
307:
http://www.dpmms.cam.ac.uk/site2002/Teaching/IB/MetricTopologicalSpaces/2005-2006/L1topspaces.pdf
724:
670:
373:
401:
The motivation for the initial modification being that the map f is defined between the sets
1024:
998:
994:
983:
966:
962:
951:
919:
894:
890:
876:
872:
862:
858:
844:
812:
808:
797:
780:
776:
762:
758:
743:
711:
705:
688:
682:
659:
651:
639:
607:
603:
581:
563:
559:
531:
519:
515:
505:
501:
491:
487:
471:
449:
292:
262:
242:
209:
186:
176:
63:
52:
1019:
850:
830:
768:
591:
547:
540:
239:
183:
60:
771:, you will not find any occurrence of the word "function" there, but plenty of maps.
978:
946:
914:
634:
728:
990:
958:
886:
868:
854:
804:
772:
754:
599:
555:
511:
497:
483:
206:
173:
49:
822:
572:
but what people look at to find where places are or to find their way around.
1015:
974:
942:
910:
630:
569:
1008:
Per the discussion above, I have merged this article with
409:, as opposed to only being defined between the topologies
939:
Tkuvho: did you have any objection to the merger? — Carl
833:
increases rather than reduces the potential ambiguity.
590:
Your remark is not really consistent with the fact that
456:
I have now put the information above in a footnote.
320:
76:
881:I just checked a random page in those categories:
803:"function (topology)", as is currently the case.
338:
159:
619:I would prefer to simply merge the content from
568:Keep the disambig. To most people, "map" is not
957:No, not at all. "the cosine correspondence"?
68:You are right. I was thinking of the function:
8:
299:Topological definition of continous function
319:
119:
105:
90:
75:
155:
989:support in this space for any changes.
182:should be represented in the article. -
885:. Not a word there about functions.
17:Balance of formality and accessibility
274:definition using a closeness relation
7:
550:already exists and is redirected to
767:For example, if you check the page
41:is mapped to {f(x_n)} with a limit
14:
339:{\displaystyle f:X\rightarrow Y}
677:, and an "advanced" version at
827:continuous function (topology)
702:continuous function (topology)
696:I wouldn't object to merging
679:continuous function (topology)
621:continuous function (topology)
537:Continuous function (topology)
330:
263:16:53, 27 September 2007 (UTC)
152:
131:
99:
80:
1:
883:Lefschetz fixed-point theorem
723:. We also have the articles
268:Closeness relation definition
704:as suggested by Carl above.
472:15:52, 1 February 2009 (UTC)
450:11:17, 1 February 2009 (UTC)
360:suppose we have a function
314:suppose we have a function
293:15:48, 6 October 2008 (UTC)
1040:
1025:10:54, 30 March 2010 (UTC)
999:08:40, 11 March 2010 (UTC)
984:19:34, 10 March 2010 (UTC)
967:16:51, 10 March 2010 (UTC)
952:16:45, 10 March 2010 (UTC)
920:16:42, 10 March 2010 (UTC)
895:16:27, 10 March 2010 (UTC)
877:16:25, 10 March 2010 (UTC)
863:15:23, 10 March 2010 (UTC)
845:15:06, 10 March 2010 (UTC)
813:14:53, 10 March 2010 (UTC)
798:14:26, 10 March 2010 (UTC)
781:14:21, 10 March 2010 (UTC)
763:14:11, 10 March 2010 (UTC)
744:14:06, 10 March 2010 (UTC)
712:14:14, 10 March 2010 (UTC)
689:13:13, 10 March 2010 (UTC)
660:12:54, 10 March 2010 (UTC)
640:12:46, 10 March 2010 (UTC)
243:21:34, 27 April 2006 (UTC)
210:15:03, 27 April 2006 (UTC)
187:20:20, 27 April 2006 (UTC)
177:11:52, 27 April 2006 (UTC)
64:01:29, 27 April 2006 (UTC)
53:01:05, 27 April 2006 (UTC)
608:20:00, 6 March 2010 (UTC)
582:09:58, 5 March 2010 (UTC)
564:08:50, 5 March 2010 (UTC)
520:05:44, 5 March 2010 (UTC)
506:05:41, 5 March 2010 (UTC)
492:18:05, 4 March 2010 (UTC)
354:are topological spaces.
732:more satisfactorily).
594:currently redirects to
667:function (mathematics)
340:
161:
341:
162:
318:
311:Namely I changed :
74:
1010:Continuous function
698:continuous function
675:continuous function
625:continuous function
596:continuous function
552:continuous function
647:Algebraic Geometry
374:topological spaces
336:
157:
156:
1023:
982:
950:
918:
725:harmonic function
671:map (mathematics)
638:
574:Anthony Appleyard
534:|Continuous map}}
462:comment added by
453:
436:comment added by
283:comment added by
113:
24:individual points
1031:
1013:
972:
940:
908:
837:
790:
736:
669:, as opposed to
628:
535:
474:
452:
430:
345:
343:
342:
337:
295:
166:
164:
163:
158:
127:
126:
114:
106:
98:
97:
59:few weeks ago. -
1039:
1038:
1034:
1033:
1032:
1030:
1029:
1028:
835:
788:
734:
529:
527:
480:
478:continuous map?
464:212.183.134.128
457:
438:Arjun r acharya
431:
421:
414:
396:
385:
316:
315:
301:
278:
270:
255:
115:
86:
72:
71:
19:
12:
11:
5:
1037:
1035:
1006:
1005:
1004:
1003:
1002:
1001:
937:
936:
935:
934:
933:
932:
931:
930:
929:
928:
927:
926:
925:
924:
923:
922:
905:
904:
903:
879:
851:homotopy group
836:Sławomir Biały
831:continuous map
789:Sławomir Biały
769:homotopy group
765:
747:
746:
735:Sławomir Biały
717:
716:
715:
714:
663:
662:
613:
612:
611:
610:
592:continuous map
585:
584:
566:
548:continuous map
541:Continuous map
526:
525:Requested move
523:
479:
476:
419:
412:
394:
383:
335:
332:
329:
326:
323:
300:
297:
269:
266:
254:
253:Other Comments
251:
250:
249:
248:
247:
246:
245:
198:
194:
193:
192:
191:
190:
189:
169:
168:
167:
154:
151:
148:
145:
142:
139:
136:
133:
130:
125:
122:
118:
112:
109:
104:
101:
96:
93:
89:
85:
82:
79:
18:
15:
13:
10:
9:
6:
4:
3:
2:
1036:
1027:
1026:
1021:
1017:
1011:
1000:
996:
992:
987:
986:
985:
980:
976:
970:
969:
968:
964:
960:
956:
955:
954:
953:
948:
944:
921:
916:
912:
906:
901:
900:
898:
897:
896:
892:
888:
884:
880:
878:
874:
870:
866:
865:
864:
860:
856:
853:) realized.
852:
848:
847:
846:
842:
838:
832:
828:
824:
820:
816:
815:
814:
810:
806:
801:
800:
799:
795:
791:
784:
783:
782:
778:
774:
770:
766:
764:
760:
756:
751:
750:
749:
748:
745:
741:
737:
730:
726:
722:
719:
718:
713:
710:
707:
703:
699:
695:
694:
693:
692:
691:
690:
687:
684:
680:
676:
672:
668:
661:
657:
653:
648:
644:
643:
642:
641:
636:
632:
626:
622:
617:
609:
605:
601:
597:
593:
589:
588:
587:
586:
583:
579:
575:
571:
567:
565:
561:
557:
553:
549:
545:
544:
543:
542:
538:
533:
524:
522:
521:
517:
513:
508:
507:
503:
499:
494:
493:
489:
485:
477:
475:
473:
469:
465:
461:
454:
451:
447:
443:
439:
435:
427:
424:
422:
415:
408:
404:
399:
397:
390:
386:
379:
375:
371:
367:
363:
358:
355:
353:
349:
333:
327:
324:
321:
312:
309:
308:
304:
298:
296:
294:
290:
286:
285:131.174.42.93
282:
275:
267:
265:
264:
261:
252:
244:
241:
237:
233:
229:
225:
221:
217:
213:
212:
211:
208:
203:
202:
199:
196:
195:
188:
185:
180:
179:
178:
175:
170:
149:
146:
143:
140:
137:
134:
128:
123:
120:
116:
110:
107:
102:
94:
91:
87:
83:
77:
70:
69:
67:
66:
65:
62:
57:
56:
55:
54:
51:
46:
44:
40:
36:
31:
29:
25:
22:happens near
16:
1007:
938:
818:
729:harmonic map
720:
664:
646:
618:
614:
528:
509:
495:
481:
455:
428:
425:
417:
410:
406:
402:
400:
392:
388:
381:
377:
372:between two
369:
365:
361:
359:
356:
351:
347:
313:
310:
305:
302:
271:
256:
235:
231:
227:
223:
219:
215:
47:
42:
38:
34:
32:
27:
23:
20:
706:Paul August
683:Paul August
652:TimothyRias
458:—Preceding
432:—Preceding
279:—Preceding
823:denotation
260:Trogsworth
821:the same
570:topology
460:unsigned
446:contribs
434:unsigned
429:Thanks
346:, where
281:unsigned
819:exactly
721:Comment
532:movereq
387:} and {
991:Tkuvho
959:Tkuvho
887:Tkuvho
869:Tkuvho
855:Tkuvho
805:Tkuvho
773:Tkuvho
755:Tkuvho
700:, and
600:Tkuvho
556:Tkuvho
512:Tkuvho
498:Tkuvho
484:Tkuvho
207:Elroch
174:Elroch
50:Elroch
357:To :
240:lethe
184:lethe
61:lethe
28:every
1020:talk
1016:MSGJ
995:talk
979:talk
963:talk
947:talk
915:talk
891:talk
873:talk
859:talk
841:talk
809:talk
794:talk
777:talk
759:talk
740:talk
727:and
656:talk
635:talk
604:talk
578:talk
560:talk
516:talk
502:talk
488:talk
468:talk
442:talk
416:and
405:and
350:and
289:talk
272:The
222:iff
138:<
43:f(L)
975:CBM
943:CBM
911:CBM
829:to
631:CBM
623:to
554:.
398:}.
1018:·
997:)
977:·
965:)
945:·
913:·
893:)
875:)
861:)
843:)
811:)
796:)
779:)
761:)
742:)
658:)
633:·
606:)
580:)
562:)
539:→
530:{{
518:)
504:)
490:)
470:)
448:)
444:•
423:.
368:→
364::
331:→
291:)
230:)=
150:π
144:≤
141:θ
129:…
124:θ
111:θ
95:θ
1022:)
1014:(
993:(
981:)
973:(
961:(
949:)
941:(
917:)
909:(
889:(
871:(
857:(
839:(
807:(
792:(
775:(
757:(
738:(
709:☎
686:☎
654:(
637:)
629:(
602:(
576:(
558:(
514:(
500:(
486:(
466:(
440:(
420:Y
418:T
413:X
411:T
407:Y
403:X
395:Y
393:T
391:,
389:Y
384:X
382:T
380:,
378:X
376:{
370:Y
366:X
362:f
352:Y
348:X
334:Y
328:X
325::
322:f
287:(
236:y
234:(
232:f
228:x
226:(
224:f
220:y
218:~
216:x
153:)
147:2
135:0
132:(
121:i
117:e
108:r
103:=
100:)
92:i
88:e
84:r
81:(
78:f
39:L
35:f
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.