有限交叉性のソースを表示

{{出典の明記|date=2018年7月7日 (土) 08:36 (UTC)}}
[[数学]]において、[[集合族]]が'''有限交叉的'''又は'''有限交叉性'''（ゆうげんこうさせい、<em lang="en">finite intersection property</em>）を持つとは、任意の有限部分族が空でない[[共通部分]]を持つことである。
更に集合族が{{訳語疑問点範囲|'''強有限交叉性'''|date=2018年7月|strong finite intersection property=原文}}（きょうゆうげんこうさせい、<em lang="en">strong finite intersection property</em>）を持つとは、任意の有限部分族を取ったとき、その共通部分が無限集合になることをいう{{要出典|date=2018-07-07}}。
叉は常用漢字でないため有限交差性と書かれることも多い。

== 定義 ==
集合 ''X'' 上の集合族 '''S''' が有限交叉的とは次を満たす事を言う。

*<math>\mathbf{T} \subset \mathbf{S}</math> が有限族のとき <math>\bigcap \mathbf{T} \neq \empty </math>

集合 ''X'' 上の集合族 '''S''' が強有限交叉的とは次を満たす事を言う{{要出典|date=2018-07-07}}。

*<math>\mathbf{T} \subset \mathbf{S}</math> が有限族のとき <math>\bigcap \mathbf{T}</math> が無限集合

強有限交叉性は有限交叉性より真に強い性質である。
== 例 ==
*真の[[フィルター (数学)|フィルター]]は有限交叉的である。また集合族が有限交叉的ならばそれを含む真のフィルターが存在する。
*無限集合上の全ての[[補有限]]部分集合からなる集合族は有限交叉的。
*コンパクトでない位相空間上の全ての補コンパクト部分集合からなる集合族は有限交叉的。

== 関連項目 ==
*[[フィルター (数学)]]
*[[コンパクト空間]]

{{Settheory-stub}}
{{DEFAULTSORT:ゆうけんこうさせい}}
[[Category:集合論]]
[[Category:位相空間論]]
[[Category:数学に関する記事]]