**證明:**令
為任意開放集;我們要證明
是開放的。現在,
上拓撲的基底 由 以下給出
.
由於交集與原像可交換,
對
是開放的。但是
中的所有開放集都是
中元素的並集,並且原像與並集可交換,所以
是連續的。 
命題(拓撲空間的範疇):
所有拓撲空間的集合,以及它們之間的連續函式作為態射,構成一個 範疇。
證明:事實上,連續函式的複合仍然是連續的,而且恆等對映(它在與其他任何恆等映射覆合後都是唯一的)是定義良好的。 
證明: 首先假設所有函式
是連續的,並且令
是開放的,這樣我們就可以寫成
,
由於我們看到這樣定義的集合
構成 初始拓撲的基。然後
在
中是開集,因為取逆像與取並集和交集是可交換的。此外,觀察到所有函式
都是連續的,因此函式
在
連續的情況下也是連續的。 
證明:令另一個在該圖上方的錐給出,它包含
作為點,但沒有態射,假設該錐的物件稱為
,該錐的箭頭稱為
,使得
是拓撲空間,而
是連續函式。為了簡化符號,令
,並定義
.
請注意,
是唯一一個具有以下性質的對映:
,因為投影只是透過取
項來實現的。此外,請注意,
是連續的,因為
是連續的,
具有
的初始拓撲,並且我們透過初始拓撲空間的函式連續性的特徵 推出結論。因此,
是一個乘積。
連續性是一個區域性性質,因為它可以用函式可能在每個點處具有的性質來表徵。
證明: 首先假設
是連續的,並設
。設
是
的一個開鄰域,則由連續性
是
的一個開鄰域,根據原像的定義,
。 現在假設
在每個點
處都是連續的,設
為任意開集。 我們需要證明
是開的。 事實上,設
為任意點,使得
。 由在
處的連續性,我們發現,對於
的所有鄰域
的集合
,滿足
是非空的。(注意:這裡我們增加了一個步驟,為每個
選擇了一個典型的鄰域,以避免選擇公理。) 定義
,
它是一個關於
的開鄰域,並具有性質
,也就是說
。然後我們得到
,即
,
它作為開集的並集是開的。 
證明:
連續當且僅當對於所有開子集
,集合
在
中是開的。
的開子集與
的閉子集透過對映
一一對應,對於
也是如此。 現在注意到
,因此當且僅當前者是開的時,後者是閉的。 特別地,只要
總是開的,後者總是閉的;如果後者總是閉的,那麼
總是開的。 
證明: 我們證明
對所有閉集
都是閉集,從而根據 閉集的原像刻畫連續函式 來證明連續性。實際上,設
是閉集。注意
,
也就是說,
是兩個閉集的並,因此它本身也是閉集。 
證明: 設
為開集。則
在
中是開集,因此
在
的子空間拓撲中是開集。 
證明:
是連續的,因為 連續函式的限制是連續的。進一步,
,它同樣是連續的,因為它是連續對映的限制。因此,
是一個同胚。 
證明: 令
。根據等度連續性的定義,只要
是
的鄰域,我們就可以找到
的鄰域
和
的鄰域
,使得只要
對任意
成立,則
。但由於
,我們有
,因此
且
在
處連續。
當
是一個一致空間時,等度連續性的定義會簡化,並且在這種情況下,等度連續子集與
中的緊緻子集相關。這將在關於一致結構的章節中看到。
換句話說,一個函式
是一個區域性同胚當且僅當對於所有
,都存在
的一個開鄰域
以及
的一個開鄰域
,使得
是從
到
的同胚。
命題(區域性同胚是開對映):
設
是一個區域性同胚。則
是一個開對映。
證明: 實際上,令
是開的,並令
是任意的。選擇任意的
。由於
是區域性同胚,我們發現
是開的,並且
,使得
是開的。此外,
。由於
是任意的,
是開的。
證明:
連續當且僅當對於所有開集
,集合
在
中是開集。這反過來等價於
在所有拓撲
(
) 中是開集,對於任意開集
。而這個條件說明
關於所有拓撲
(
) 在
上是連續的。 
證明:
是連續的,當且僅當對於所有開集
而言,集合
是開集。如果是這種情況,那麼所有集合
都是開集,其中
(
是任意的),因此
關於所有拓撲
是連續的。現在假設
關於所有這些拓撲是連續的。注意到,由於
關於
的最小上界拓撲是由
生成的,後者構成了最小上界拓撲的子基。因此,我們可以應用 關於子基的連續性表徵。 