Jednorodny (duża właściwość kardynalna)

W teorii mnogości iw kontekście dużej własności kardynalnej , podzbiór S z D jest jednorodny dla funkcji f , jeśli f jest stała w skończonych podzbiorach S . Dokładniej, biorąc pod uwagę zbiór D , niech będzie zbiorem wszystkich skończonych podzbiorów D (patrz Powerset # Podzbiory ${\ Displaystyle {\ mathcal {P}} _ {<\ omega} (D)}$ ograniczona liczność ) i niech ${\ displaystyle f: {\ mathcal {P}} _ {<\ omega} (D) \ do B}$ być funkcją zdefiniowaną w tym zestawie. W tych warunkach S jest jednorodny dla f , jeśli dla każdej liczby naturalnej n , f jest stała w zbiorze ${\ Displaystyle {\ mathcal {P}} _ {= n} (S)}$ . Oznacza to, że f jest stała na nieuporządkowanym n - krotki elementów S .

Zobacz też

• Twierdzenie Ramseya
• Ramsey_cardinal