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→Y bir fonsiyon ve x0∈X olsun. f(x0) ın Y deki her V açık komşuluğu için x0'ın f(W)⊂V olacak şekilde bir açık W komşuluğu bulunabiliyorsa, f fonksiyonuna x0 noktasında sürekli denir.
Verilen örneğin de kanıtladığı gibi, bu tanımdan
hareketle, f fonksiyonu x0 noktasında sürekli olsa bile, f(x0) ın Y deki V gibi bir açık komşuluğu için f−1(V) 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→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(V) açık olmasıdır.
Dikkatinden kaçmaması için "HER NOKTASINDA" sözcüklerini büyük yazdım.