ファジィ集合

ファジィ集合（ファジィしゅうごう、）は、自然言語で表されるような曖昧な対象を定量化し、通常の集合（集合の要素であるかないかが、「ある」か「ない」のどちらかであるような集合）と同じように演算など（集合代数）の対象とされる、集合である。ZFCなどをベースとしているためあくまで累積階層的集合観（cumulative hierarchy notion of set）の理論である。
1965年にロトフィ・ザデーによって提唱された。集合に帰属する度合を表すメンバシップ関数により、曖昧な対象を定量化して扱う。
なお、日本語の「曖昧」という言葉は多義的で、「多義的」（2つ以上の意味にとれる）という意味があるが、ファジィはファズの形容詞形で、たとえば綿毛（冠毛）のような、境界がはっきりしないようす、周辺が不明瞭なことを意味し、多義的という意味はない。
一般に集合の体系には論理の体系が対応するが、ファジィ集合に対応するのはファジィ論理である。ファジィ集合やファジィ論理を利用した制御をファジィ制御といい、これらのファジィに関する理論をファジィ理論という。
導入.
あるファジィ集合の要素である度合いは、メンバシップ関数によって表される。例えばある年齢の人間を「若者」「中年」「老人」という3種類にわけることを考える。このときどこまでの年齢を若者とするか老人とするかは人によって意見の分かれる部分である。ファジィ理論ではこのような曖昧な事象を定量化し、集合のように扱うことを可能にする。例えば若者に属する集合を A、中年に属する集合を B、老人に属する集合を Cとすると「35歳の人間」 x は
という風に表す、ここでは35歳の人間は0.7の割合で中年に属し0.2の割合で若者に属し0.1の割合で老人に属すると置いている（実際に正しいかどうかは別、あくまでこのように定義するという指標）。このとき formula_4 である。（ただし、各概念がこのようにきちんと分割できなければいけないというわけではない。）このように「どこまで属する」という事柄を割合として表すことのできる集合 formula_5 をファジィ集合といい、具体的な割合の数値をだす各formula_6をメンバシップ関数という。メンバシップ関数の値が0か1にしかならないのが、 通常の集合（非ファジィ集合、あるいはクリスプ集合と呼ぶ）であり、ファジィ集合は通常の集合の拡張といえる。
なお、ここで「年齢」という「変数」を考え、その「値」として「若者」「中年」「老人」という値をとる、といったようにして、（ファジィの研究者の用語で）「言語学的変数」（linguistic variables）といったものを導入することがあるが、以上で説明したように、最終的には実数値を扱うものであり、（ソシュールやチョムスキーらによるような）言語学的な何かがそこにあるわけではない。
厳密な定義.
函数 をファジィ集合 の帰属函数（"membership function"; メンバシップ函数）といい、各 に対して、値 は における の帰属度 (grade of membership) と呼ばれる。有限集合 に対してファジィ集合 をしばしば のようにも書く。
ファジィ集合 において、 が
という。また、
と呼ぶ。
ときには、より一般化されたファジィ集合の一種として、帰属函数がある種の代数系や構造 （ は一つ固定して考えることも動かして考えることもある）に値をとるようにすることもある（大抵は が少なくとも順序集合や束となるくらいのことは仮定する）。これらを通常のファジィ集合と明示的に区別するときは、通常は -ファジィ集合 ("-fuzzy set") や -値帰属函数のようにいう。通常の単位閉区間値の帰属函数は -値帰属函数、通常のファジィ集合は -ファジィ集合である。このような一般化は、初め1967年にザデーの弟子 によって与えられた。
諸定義.
ファジィ集合によってさまざまな概念をファジィ化したものが定式化できる。
ファジィ集合の基本演算.
通常の集合の各基本演算に対応するファジィ集合の基本演算がそれぞれ定義されている。
ファジィ理論では特にメンバシップ関数の大小が大きく影響するので、
とあらかじめ定義される。このときファジィ集合を formula_9と各メンバシップ関数を formula_10 とおくと各演算は
となるメンバシップ関数をもつ集合と定義される。また対等関係、包含関係は以下のように表す。
ここで formula_16 は全体集合のことである。これらの定義からファジィ集合には以下の定理が成り立つことが証明されている。
また、ファジィ集合独自の演算として以下のようなものが定義されている。