PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
compact-open topology (Definition)

Let $X$ and $Y$ be topological spaces, and let $C(X,Y)$ be the set of continuous maps from $X$ to $Y.$ Given a compact subspace $K$ of $X$ and an open set $U$ in $Y,$ let$$ \fU_{K,U} := \set{f\in C(X,Y):\: f(x)\in U\, \text{whenever}\, x\in K}.$$

Define the compact-open topology on $C(X,Y)$ to be the topology generated by the subbasis$$ \set{\fU_{K,U}:\: K\subset X\,\text{compact,}\quad U\subset Y\, \text{open} }.$$

If $Y$ is a uniform space (for example, if $Y$ is a metric space), then this is the topology of uniform convergence on compact sets. That is, a sequence $\seq{f_n}$ converges to $f$ in the compact-open topology if and only if for every compact subspace $K$ of $X,$ $\seq{f_n}$ converges to $f$ uniformly on $K$ . If in addition $X$ is a compact space, then this is the topology of uniform convergence.




"compact-open topology" is owned by antonio.
(view preamble | get metadata)

View style:

See Also: uniform convergence

Other names:  topology of compact convergence
Log in to rate this entry.
(view current ratings)

Cross-references: addition, converges, sequence, compact sets, uniform convergence, metric space, uniform space, subbasis, generated by, open set, subspace, compact, continuous maps, topological spaces
There are 15 references to this entry.

This is version 5 of compact-open topology, born on 2003-02-05, modified 2003-02-07.
Object id is 3976, canonical name is CompactOpenTopology.
Accessed 7861 times total.

Classification:
AMS MSC54-00 (General topology :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
References by jocaps on 2007-12-08 19:57:36
Hi,

Could you please post reference where it is shown that the topology coincide with the topology of uniform convergence in the case X is compact and Y is a uniform space. Thanks
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)