Her analiz ya da topoloji kitabı bir noktada sürekliliği,sözcükler ayni olamasa bile kavram ayni kalmak üzere, şöyle tanımlar :
$X$, $Y$ iki topolojik uzay, $f:X\rightarrow Y$ bir fonsiyon ve $x_{0}\in X$ olsun. $f\left( x_{0}\right) $ ın $Y$ deki her $V$ açık komşuluğu için $x_{0}$'ın $f\left( W\right) \subset
V$ olacak şekilde bir açık $W$ komşuluğu bulunabiliyorsa, $f$ fonksiyonuna $x_{0}$ noktasında sürekli denir.
Verilen örneğin de kanıtladığı gibi, bu tanımdan
hareketle, $f$ fonksiyonu $x_{0}$ noktasında sürekli olsa bile, $
f\left( x_{0}\right) $ ın $Y$ deki $V$ gibi bir açık komşuluğu için $f^{-1}\left( V\right) $ nin açık olduğunu kanılayamazsınız.
Senin bana son soruyu sormana neden olan teorem şöyle diyor : $X$, $Y$ iki topolojik uzay, $f:X\rightarrow Y$ bir fonksiyon. $f$ nin $X$ uzayının HER NOKTASINDA sürekli olması için gerek ve koşul $Y$ nin açık her $V$ alt kümesi için $f^{-1}\left(
V\right) $ açık olmasıdır.
Dikkatinden kaçmaması için "HER NOKTASINDA" sözcüklerini büyük yazdım.