संचयी पदानुक्रम

गणित में, विशेष रूप से समुच्चय सिद्धान्त, संचयी पदानुक्रम समुच्चय $$W_\alpha$$ का एक समुदाय है जिसे क्रमसूचक $$\alpha$$ द्वारा अनुक्रमित किया जाता है जैसे कि:

संक्षेप में कुछ लेखकों को इसकी आवश्यकता होती है $$W_{\alpha + 1} \subseteq \mathcal P(W_\alpha)$$ या कि $$W_0 \ne \emptyset$$.
 * $$W_\alpha \subseteq W_{\alpha + 1}$$
 * यदि $$\lambda$$ एक सीमा क्रमसूचक है, तब $W_\lambda = \bigcup_{\alpha < \lambda} W_{\alpha}$

संचयी पदानुक्रम के समुच्चय का संघ $W = \bigcup_{\alpha \in \mathrm{On}} W_\alpha$ प्रायः समुच्चय सिद्धांत के प्रारूप के रूप में उपयोग किया जाता है।

वाक्यांश "संचयी पदानुक्रम" सामान्यतः वॉन न्यूमैन ब्रह्मांड के मानक संचयी पदानुक्रम $$\mathrm{V}_\alpha$$ को संदर्भित करता है जिसमें $$\mathrm{V}_{\alpha + 1} = \mathcal P(W_\alpha)$$ ज़र्मेलो (1930) द्वारा प्रस्तुत किया गया था।

परावर्तन सिद्धांत
संचयी पदानुक्रम परावर्तन सिद्धांत के प्रारूप को संतुष्ट करता है: समुच्चय सिद्धांत की भाषा में कोई भी सूत्र जो पदानुक्रम के संघ $$W$$ में रहता है, कुछ चरणों में भी $$W_\alpha$$ होता है।

उदाहरण

 * वॉन न्यूमैन सार्वभौमिक संचयी पदानुक्रम $$\mathrm{V}_\alpha$$ से निर्मित है।
 * रचनात्मक ब्रह्मांड के समुच्चय $$\mathrm{L}_\alpha$$ संचयी पदानुक्रम बनाते हैं।
 * बूलियन-मूल्यवान प्रारूप निर्माण संचयी पदानुक्रम का उपयोग करके किया जाता है।
 * समुच्चय सिद्धांत के प्रारूप में अच्छी तरह से स्थापित समुच्चय (संभवतः आधार के सिद्धांत को संतुष्ट नहीं करते) संचयी पदानुक्रम बनाते हैं जिसका संघ आधार के सिद्धांत को संतुष्ट करता है।