整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。 == 定義 == すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する： V 0 = ∅ {\displaystyle V_{0}=\varnothing } , V α + 1 = P ( V α ) {\displaystyle V_{\alpha +1}={\mathcal {P}}(V_{\alpha })} , α {\displaystyle \alpha \,} が極限順序数のとき、 V α = ⋃ { V β ∣ β < α } {\displaystyle V_{\alpha }=\bigcup \{V_{\beta }\mid \beta <\alpha \}} 。
整礎的集合（せいそてきしゅうごう、well-founded set）とは、空集合に和集合演算やべき集合演算などの集合演算を繰り返し施すことにより得られる集合である。 == 定義 == すべての順序数 α に対して、集合 Vα を次のように再帰的に定義する： V 0 = ∅ {\displaystyle V_{0}=\varnothing } , V α + 1 = P ( V α ) {\displaystyle V_{\alpha +1}={\mathcal {P}}(V_{\alpha })} , α {\displaystyle \alpha \,} が極限順序数のとき、 V α = ⋃ { V β ∣ β < α } {\displaystyle V_{\alpha }=\bigcup \{V_{\beta }\mid \beta <\alpha \}} 。
出典: Wikipedia「整礎的集合」 · CC BY-SA 4.0
この記事を共有: X · Bluesky