令"C"[0,1]表示区间[0,1]上连续实值函数的巴拿赫空间。记所有函数"f" ∈ "C"[0,1]使得"f"(0) = 0的子空间为"M"。则某个函数"g"的等价类由它在0点的值决定，商空间"C"[0,1]/"M"同构于R。如果"X"是一个希尔伯特空间，则商空间"X"/"M"同构于"M"的正交补。
推广到局部凸空间.局部凸空间被一个闭子空间商还是局部凸的。事实上，假设"X"是局部凸的所以"X"上的拓扑由一族半范数{"p"|α∈"A"}生成，这里"A"是一个指标集。设"M"