Топология компактной сходимости

[axe]

Ищу правильное определение термина "топология компактной сходимости".

В книге Робертсон,Робертсон Топологические векторные пространства определение есть, но оно как-то размыто. Я попробовал составить определение по прочитанному, но не уверен что правильно понял авторов. Моё определение:

Топология, заданная на множестве непрерывных вещественных функций, определяемая семейством преднорм
p_n(x)=\sup_{-n\leq t\leq n}|x(t)|, n\in\mathbb N
называется топологией компактной сходимости.

Правильно ли?

[id]

Можно и так определять.
Просто обычно компактная сходимость определяется ( например, Шефер, Топологические Векторные Пространства, глава 3, параграф 3 ) не только для непрерывных функций на прямой, а в более общем случае, и определения там через $\mathfrak{S}$-топологию.