回帰的空間
H の次元が無限である場合、S1(H) (トレース級)は l と同型な部分空間を含むため、回帰的ではない。また S∞(H) = L(H) (有界作用素)は、l と同型の部分空間を含むため、回帰的ではない。
すべての有限次元ハウスドルフ位相ベクトル空間は回帰的である。なぜならば、線形代数により J は全単射であり、有限次元ベクトル空間上にはただ一つのハウスドルフベクトル空間位相が存在するからである。
モンテル空間は回帰的な局所凸位相ベクトル空間である。
すべての半回帰的なノルム空間は回帰的である。技巧的ではあるが、半回帰的であって回帰的でないような空間の例を次に挙げる:Y を無限次元の回帰的なバナッハ空間とし、X を位相ベクトル空間 (Y, σ(Y, Y ′))、すなわち、弱位相を備えたベクトル空間 Y とする。このとき、X の連続双対は集合 Y ′ であり、X の有界部分集合はノルム有界であるため、バナッハ空間 Y ′ は X の強双対である。Y は回帰的であるため、X ′ = Y ′ の連続双対は、標準埋め込み J に関する X の像 J(X) と等しいことになるが、X 上の位相は強位相β(X, X ′) ではなく、これは Y のノルム位相と等しい。
X を局所凸な位相ベクトル空間としたとき、連続双対 X ′ は、X の有界部分集合上一様収束する強位相 β(X ′, X) を持つ。この位相ベクトル空間は X の強双対(strong dual)と呼ばれ、ここでは X β ′ {\displaystyle X'_{\beta }} と表記する。 X β ′ {\displaystyle X'_{\beta }} の双対への、X の標準埋め込み J が全単射であるとき、X は半回帰的であると言われる。さらに、もし X 上の位相が強位相 β(X, X ′β) と一致するなら、X は回帰的であると言われる。
注意 ノルム空間へと応用される場合、この節での定義はノルム空間に対する回帰性の定義と一致する。実際、バナッハ空間 X の双対 X ′ 上のノルム位相は、強位相 β(X ′, X) と一致し、したがって、位相ベクトル空間としてのノルム空間 X ′ は X の強双対となる。また、X 上のノルム位相は β(X, X ′) と等しい。したがって、X が位相ベクトル空間として回帰的であることと、それがノルム空間として回帰的である(すなわち、単射 J が全単射である場合)ことは同値である。