Teichmüller–Tukey-lemma
A Teichmüller–Tukey-lemma a halmazelmélet egyik tétele, ami azt állítja, hogy ha T véges jellegű tulajdonság, akkor tetszőleges halmaz T tulajdonságú halmazai között van maximális. Itt véges jellegű tulajdonságon azt értjük, hogy az adott tulajdonság akkor és csak akkor teljesül egy halmazra, ha annak minden véges részhalmazára teljesül.
Tartalomjegyzék
Lemma[szerkesztés]
Legyen egy tetszőleges halmaz valamely részhalmazaiból álló halmazrendszer, amire teljesül, hogy pontosan akkor, ha minden véges részhalmaza eleme -nak. Ekkor minden esetén van maximális elem.
Bizonyítás[szerkesztés]
Az állítást a Zorn-lemma felhasználásával fogjuk bizonyítani. Vegyük a részbenrendezett halmazt, ahol az -t (részhalmazként) tartalmazó -beli halmazokból áll. Ez nemüres, mert például eleme. Azt kell belátnunk, hogy minden -beli láncnak van felső korlátja. Legyen tehát lánc. Vegyük az összes -beli halmaz egyesítését. Elég belátnunk, hogy , hiszen nyilvánvalóan tartalmazza minden elemét. végességi tulajdonsága miatt elég látni, hogy minden véges része -beli. Legyen tehát . definíciója miatt vannak -beli halmazok, hogy . Mivel lánc, ezek valamelyike, mondjuk tartalmazza a többit. De ekkor , azaz véges részhalmaza egy -beli halmaznak, tehát végességi tulajdonsága miatt maga is -beli.
Alkalmazásai[szerkesztés]
A Teichmüller–Tukey-lemmát akkor a legcélszerűbb alkalmazni, amikor egy könnyen láthatóan véges jellegű tulajdonságot vizsgálunk. Így azonnal kapjuk, hogy minden vektortérben van bázis (maximális független vektorhalmaz), minden gráfnak van feszítő erdője, minden testben van transzcendencia-bázis (maximális algebrailag független részhalmaz), illetve hasonló egyszerű következményként adódik a Hausdorff–Birkhoff-tétel is.
Ekvivalens állítások[szerkesztés]
A Teichmüller–Tukey-lemma ekvivalens a következő állításokkal:
Története[szerkesztés]
Ezt a tételt először Teichmüller publikálta.
Hivatkozások[szerkesztés]
- Hajnal András, Hamburger Péter: Halmazelmélet, Tankönyvkiadó, 1983.
- Rédei, László: Algebra I., Akadémiai Kiadó, Budapest, 1954
- Teichmüller, O.: Braucht der Algebraiker das Auswahlaxiom?, Deutsche Math. 4. 1939
- Tukey, J. W.: Convergence and uniformity in topology, Annals of Math. Studies, 1940