84:
74:
53:
22:
244:
The conditions for the composition map to be continuous looks very strange to me. A regular space is usually already
Hausdorff (unless you use strange and very non-Bourbaki definitions) and one usually only talks about a space being locally compact if it is already Hausdorff. Plus the locally
343:
300:. You've also weakened the statement by unnecessarily requiring the first and last of these to be Hausdorff. I'm going to partially revert, but I'll try to reword things to be more clear. --
140:
324:
If the codomain of the functions under consideration have a uniform structure or a metric structure then the compact-open topology is the "topology of uniform convergence on compact sets."
370:
130:
365:
106:
347:
97:
58:
338:
a uniform structure or a metric structure then the compact-open topology is the "topology of uniform convergence on compact sets."
33:
21:
285:
39:
83:
266:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
270:
89:
73:
52:
305:
359:
281:
301:
231:
351:
309:
274:
234:
102:
79:
226:. If someone has a reference (or easy proof) that this is true for arbitrary
223:
342:
as the uniform structure is a property of the codomain, not the functions?
199:
171:
320:
In the first sentence of the second paragraph in the introduction:
15:
265:. I've edited the page, following Dugundji's book. --
332:
If the codomain of the functions under consideration
101:, a collaborative effort to improve the coverage of
280:Please note the conventions used on Knowledge:
8:
19:
288:. Also note that the composition was from
47:
49:
344:2001:638:60E:1E03:33FC:2810:F67D:4E40
7:
95:This article is within the scope of
218:with the condition that the domain
38:It is of interest to the following
14:
371:Mid-priority mathematics articles
240:Continuity of the composition map
202:for the compact-open topology on
115:Knowledge:WikiProject Mathematics
366:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
284:need not be Hausdorff, nor do
1:
245:compact condition is need on
109:and see a list of open tasks.
310:18:39, 29 January 2008 (UTC)
275:12:18, 29 January 2008 (UTC)
235:17:59, 27 October 2006 (UTC)
352:14:38, 7 October 2018 (UTC)
230:I would like to see it. --
387:
162:I qualified the statement
253:when composing maps from
134:
67:
46:
328:Shouldn't it rather be:
158:Subbases on the codomain
141:project's priority scale
178:, then the collection {
98:WikiProject Mathematics
286:locally compact spaces
28:This article is rated
316:Typo in introduction?
121:mathematics articles
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
378:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
386:
385:
381:
380:
379:
377:
376:
375:
356:
355:
318:
242:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
384:
382:
374:
373:
368:
358:
357:
317:
314:
313:
312:
282:regular spaces
241:
238:
216:
215:
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:
383:
372:
369:
367:
364:
363:
361:
354:
353:
349:
345:
340:
339:
336:
333:
329:
326:
325:
321:
315:
311:
307:
303:
299:
295:
291:
287:
283:
279:
278:
277:
276:
272:
268:
264:
260:
256:
252:
248:
239:
237:
236:
233:
229:
225:
221:
213:
209:
205:
201:
197:
193:
189:
185:
181:
177:
173:
169:
165:
164:
163:
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:
341:
337:
334:
331:
330:
327:
323:
322:
319:
297:
293:
289:
262:
258:
254:
250:
249:rather than
246:
243:
227:
219:
217:
211:
207:
203:
195:
191:
187:
183:
179:
175:
167:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
360:Categories
224:Hausdorff
267:Giansira
302:Fropuff
232:Fropuff
200:subbase
198:} is a
172:subbase
139:on the
36:scale.
170:is a
348:talk
306:talk
271:talk
190:) :
174:for
335:has
296:to
292:to
261:to
257:to
222:be
194:in
166:If
131:Mid
362::
350:)
308:)
273:)
214:).
210:,
186:,
346:(
304:(
298:Y
294:X
290:Z
269:(
263:Z
259:Y
255:X
251:X
247:Y
228:X
220:X
212:Y
208:X
206:(
204:C
196:S
192:U
188:U
184:K
182:(
180:V
176:Y
168:S
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.