Teichmüller – Tukey lemma - Teichmüller–Tukey lemma

Matematikte Teichmüller – Tukey lemma (bazen sadece adlandırılır Tukey lemması), adını John Tukey ve Oswald Teichmüller, bir Lemma bu, boş olmayan her koleksiyonun sonlu karakter var maksimal eleman göre dahil etme. Bitmiş Zermelo – Fraenkel küme teorisi Teichmüller – Tukey lemması, seçim aksiyomu ve bu nedenle iyi sıralama teoremi, Zorn lemması, ve Hausdorff maksimal ilkesi.^[1]

Tanımlar

Bir set ailesi ${displaystyle {mathcal {F}}}$ -den sonlu karakter aşağıdaki özelliklere sahip olması koşuluyla:

1. Her biri için ${displaystyle Ain {mathcal {F}}}$, her sonlu alt küme nın-nin ${displaystyle A}$ ait olmak ${displaystyle {mathcal {F}}}$.
2. Belirli bir kümenin her sonlu alt kümesi ${displaystyle A}$ ait olmak ${displaystyle {mathcal {F}}}$, sonra ${displaystyle A}$ ait olmak ${displaystyle {mathcal {F}}}$.

Lemmanın ifadesi

İzin Vermek ${displaystyle Z}$ set ol ve izin ver ${displaystyle {mathcal {F}} subseteq {mathcal {P}} (Z)}$. Eğer ${displaystyle {mathcal {F}}}$ sonlu bir karaktere sahiptir ve ${displaystyle Xin {mathcal {F}}}$o zaman bir maksimal ${displaystyle Yin {mathcal {F}}}$ (dahil etme ilişkisine göre) öyle ki ${displaystyle Xsubseteq Y}$.^[2]

Başvurular

İçinde lineer Cebir lemma, bir şeyin varlığını göstermek için kullanılabilir. temel. İzin Vermek V olmak vektör alanı. Koleksiyonu düşünün ${displaystyle {mathcal {F}}}$ nın-nin Doğrusal bağımsız vektör kümesi. Bu bir koleksiyon sonlu karakter. Böylece, bir maksimal küme vardır ve bu küme açıklık V ve temeli olmak V.

Notlar

Referanslar

• Brillinger, David R. "John Wilder Tukey" [1]