「ファジー」はこの項目へ転送されています。SCANDALのシングル曲については「Fuzzy」をご覧ください。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "ファジィ集合" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2012年2月）

ファジィ集合（ファジィしゅうごう、英: fuzzy set）は、自然言語で表されるような曖昧な対象を定量化し、通常の集合（集合の要素であるかないかが、「ある」か「ない」のどちらかであるような集合）と同じように演算など（集合代数）の対象とされる、集合である。ZFCなどをベースとしているためあくまで累積階層的集合観（cumulative hierarchy notion of set）の理論である。

1965年にロトフィ・ザデーによって提唱された。集合に帰属する度合を表すメンバシップ関数により、曖昧な対象を定量化して扱う。

なお、日本語の「曖昧」という言葉は多義的で、「多義的」（2つ以上の意味にとれる）という意味があるが、ファジィはファズの形容詞形で、たとえば綿毛（冠毛）のような、境界がはっきりしないようす、周辺が不明瞭なことを意味し、多義的という意味はない。

一般に集合の体系には論理の体系が対応するが、ファジィ集合に対応するのはファジィ論理である。ファジィ集合やファジィ論理を利用した制御をファジィ制御といい、これらのファジィに関する理論をファジィ理論という。
導入

あるファジィ集合の要素である度合いは、メンバシップ関数によって表される。例えばある年齢の人間を「若者」「中年」「老人」という3種類にわけることを考える。このときどこまでの年齢を若者とするか老人とするかは人によって意見の分かれる部分である。ファジィ理論ではこのような曖昧な事象を定量化し、集合のように扱うことを可能にする。例えば若者に属する集合を A、中年に属する集合を B、老人に属する集合を Cとすると「35歳の人間」 x は μ A ( x ) = 0.2 {\displaystyle \mu _{A}(x)=0.2} μ B ( x ) = 0.7 {\displaystyle \mu _{B}(x)=0.7} μ C ( x ) = 0.1 {\displaystyle \mu _{C}(x)=0.1}

という風に表す、ここでは35歳の人間は0.7の割合で中年に属し0.2の割合で若者に属し0.1の割合で老人に属すると置いている（実際に正しいかどうかは別、あくまでこのように定義するという指標）。このとき μ A ( x ) + μ B ( x ) + μ C ( x ) = 1 {\displaystyle \mu _{A}(x)+\mu _{B}(x)+\mu _{C}(x)=1} である。（ただし、各概念がこのようにきちんと分割できなければいけないというわけではない。）このように「どこまで属する」という事柄を割合として表すことのできる集合 A , B , C {\displaystyle A,B,C} をファジィ集合といい、具体的な割合の数値をだす各 μ A ( x ) , μ B ( x ) , μ C ( x ) {\displaystyle \mu _{A}(x),\mu _{B}(x),\mu _{C}(x)} をメンバシップ関数という。メンバシップ関数の値が0か1にしかならないのが、 通常の集合（非ファジィ集合、あるいはクリスプ集合と呼ぶ）であり、ファジィ集合は通常の集合の拡張といえる。

なお、ここで「年齢」という「変数」を考え、その「値」として「若者」「中年」「老人」という値をとる、といったようにして、（ファジィの研究者の用語で）「言語学的変数」（linguistic variables）といったものを導入することがあるが、以上で説明したように、最終的には実数値を扱うものであり、（ソシュールやチョムスキーらによるような）言語学的な何かがそこにあるわけではない。
厳密な定義「多重集合#定義」も参照
定義
ファジィ集合とは、集合 U と U から単位閉区間 [0, 1] への函数 m: U → [0, 1] の対 (U, m) のことをいう。

函数 m をファジィ集合 (U, m) の帰属函数（membership function; メンバシップ函数）といい、各 x ∈ U に対して、値 m(x) は (U, m) における x の帰属度 (grade of membership) と呼ばれる。有限集合 U = {x1, …, xn} に対してファジィ集合 (U, m) をしばしば{m(x1)/x1, …, m(xn)/xn} のようにも書く。

ファジィ集合 (U, m) において、x ∈ U が

m(x) = 0 のとき、このファジィ集合に含まれない (not included) または属さない

m(x) = 1 のときまったく含まれる (fully included)

0 < m(x) < 1 となる x は (U, m) のファジィ元（fuzzy member; あいまい要素）

という[1]。また、

集合 {x ∈ U  |  m(x) > 0} をファジィ集合 (U, m) の台 (support)

集合 {x ∈ U  |  m(x) = 1} をファジィ集合 (U, m) の核 (kernel, core)

と呼ぶ。

ときには、より一般化されたファジィ集合の一種として、帰属函数がある種の代数系や構造 L（L は一つ固定して考えることも動かして考えることもある）に値をとるようにすることもある（大抵は L が少なくとも順序集合や束となるくらいのことは仮定する）。これらを通常のファジィ集合と明示的に区別するときは、通常は L-ファジィ集合 (L-fuzzy set) や L-値帰属函数のようにいう。通常の単位閉区間値の帰属函数は [0, 1]-値帰属函数、通常のファジィ集合は [0, 1]-ファジィ集合である。