Gol Hausdorff
În matematică, un gol Hausdorff (în engleză Hausdorff gap) constă aproximativ din două colecții de secvențe de numere întregi, astfel încât să nu existe nicio secvență situată între cele două colecții. Primul exemplu a fost găsit de Hausdorff (1909). Existența golurilor Hausdorff arată că ansamblul parțial ordonat al posibilelor rate de creștere a secvențelor nu este complet.
Definiție
Fie mulțimea tuturor secvențelor de numere întregi pozitive și să să definim să însemne .
Dacă este o mulțime parțial ordonată și și sunt cardinale, atunci un pregol în este un set de elemente pentru și un set de elemente pentru astfel încât:
- Secvența infinită numerabilă este strict crescătoare;
- Secvența infinită numerabilă este strict descrescătoare;
- Toate elementele din secvența sunt mai mici decât toate elementele din secvența .
Un pregol se numește gol dacă îndeplinește condiția suplimentară:
- Nu există un element care să fie simultan mai mare decât toate elementele din și mai mic decât toate elementele din .
Un gol Hausdorff este un gol în astfel încât pentru fiecare ordinal numărabil și orice număr natural există doar un număr finit de mai mic decât astfel încât pentru toate avem .
Există variații ale acestor definiții, cu mulțimea ordonată înlocuită cu o mulțime similară. De exemplu, se poate redefini să însemne pentru toți , cu excepția unui număr finit de . O altă variantă introdusă de Hausdorff (1936) este înlocuirea lui cu mulțimea tuturor submulțimilor lui , cu ordinea dată de dacă are doar un număr finit de elemente care nu se află în , dar are un infinit de elemente care nu sunt în .
Existență
Este posibil să se demonstreze în ZFC că există goluri Hausdorff și goluri unde este cardinalitatea celei mai mici mulțimi nemărginite din și că nu există goluri . Axioma mai puternică de colorare deschisă poate exclude toate tipurile de goluri, cu excepția golurilor Hausdorff și a celor de tip cu .
Bibliografie
- Carotenuto, Gemma (), An introduction to OCA (PDF), notes on lectures by Matteo Viale
- Ryszard, Frankiewicz; Paweł, Zbierski (), Hausdorff gaps and limits, Studies in Logic and the Foundations of Mathematics, 132, Amsterdam: North-Holland Publishing Co., ISBN 0-444-89490-X, MR 1311476
- Hausdorff, F. (), Die Graduierung nach dem Endverlauf, Abhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, 31, B. G. Teubner, pp. 296–334
- Hausdorff, F. (), „Summen von ℵ1 Mengen” (PDF), Fundamenta Mathematicae, Institute of Mathematics Polish Academy of Sciences, 26 (1), pp. 241–255, doi:10.4064/fm-26-1-241-255
, ISSN 0016-2736
- Scheepers, Marion (), „Gaps in ωω”, În Judah, Haim, Set theory of the reals (Ramat Gan, 1991), Israel Math. Conf. Proc., 6, Ramat Gan: Bar-Ilan Univ., pp. 439–561, ISBN 978-9996302800, MR 1234288
Legături externe
- Hazewinkel, Michiel, ed. (), „Hausdorff gap”, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104