有界型空間
数学、特に函数解析学における有界型空間（ゆうかいけいくうかん、ゆうかいがたくうかん界相空間（かいそうくうかん、英: bornological space; ボルノロジー空間）は、集合や函数の有界性の問題をある意味で考えるのに最低限必要な構造というものを抽出した空間のクラスである（これは位相空間が連続性の問題を考えるのに最低限必要な構造を抽出したものであったことと同様の考え方である）。界相空間を初めて考えたのはマッキーで、命名はブルバキによる（フランス語で有界を意味する borné (と位相 topology) に由来）。
線型有界集合系
体 K 上のベクトル空間 X に対し、X 上の線型界相 (vector bornology) とは、X 上の有界集合系 B であってベクトルの加法およびスカラー乗法について閉じており、さらに均衡包が定式化できる（即ち、二つの有界集合の合併がまた有界である、など）ときにいう。さらに加えて B が凸包の定式化で閉じている（即ち、有界集合の凸包がふたたび有界である）とき、B は凸線型界相 (convex vector bornology) であるという。また、X の有界部分空間が自明な部分空間（即ち 0 のみからなる部分空間）であるとき、界相は分離している (separated) という。有界集合系 B の部分集合 A が界呑有界型的 (bornivorous) であるとは、それが任意の有界集合を併呑するときに言う。線型界相の場合、 A が界呑であるのは任意の有界均衡集合を併呑するときであり、凸線型界相の場合には任意の有界円板を併呑するとき A は界呑である。
位相線型空間の界相
任意の位相線型空間 X は、X の部分集合 B が有界（フォンノイマン有界）であるというのを、X の零ベクトルを含む任意の開集合 U に対して B ⊂ λ₀U を満たすスカラー λ₀ が存在することと定めることにより、有界集合の全体として有界集合系が与えられる。X が局所凸位相線型空間ならば B ⊂ X が有界となる必要十分条件は X 上の任意の連続半ノルムが B 上で有界となることである。
X の有界部分集合全体の成す集合族は X の界相あるいはフォンノイマン界相 (Von-Neumann bornology) と呼ばれる。
誘導位相
ベクトル空間 X と線型界相 B がはじめに与えられているとき、X の凸、均衡かつ界呑な部分集合全体の成す集合族を T とすると、T は X 上の局所凸位相に対する 0 の近傍基を成す。即ち T は X の線型空間構造と両立する。