Erdős–Ulam-probléma
A matematika megoldatlan problémája: Létezik-e az euklideszi síknak olyan sűrű részhalmaza, melynek pontjai racionális távolságokra helyezkednek el egymástól? (A matematika további megoldatlan problémái)
|
A matematika területén az Erdős–Ulam-probléma azt a kérdést veti fel, hogy vajon a síknak léteznek-e olyan sűrű részhalmazai, melyek pontjainak euklideszi távolságai kivétel nélkül racionális számok. A probléma nevét Erdős Pálról és Stanisław Ulamról kapta.
Nagy ponthalmazok racionális távolságokkal
[szerkesztés]Az Erdős–Anning-tétel kimondja, hogy az egymástól egész távolságra lévő pontok vagy véges számúak, vagy mind egyetlen egyenesen fekszenek.[1] Léteznek azonban egyéb végtelen ponthalmazok, melyek távolsága racionális. Például az egységkörön S legyen a következő pontok halmaza:
- ,
ahol -t azokra az értékekre korlátozzuk, melyekre racionális szám. Ezeknél a pontoknál és maguk is racionálisak, és ha és S-beli pontok, akkor távolságuk a következő racionális szám:
Általánosabban, egy sugarú kör pontosan akkor tartalmazza egymástól racionális távolságra lévő pontok sűrű részhalmazát, ha racionális.[2] Ezek a halmazok azonban csak a körön sűrűek, nem az egész síkot tekintve.
Történet és részeredmények
[szerkesztés]1946-ban Stanisław Ulam lengyel-amerikai matematikus vetette fel a kérdést, hogy vajon létezik-e olyan, egymástól racionális távolságra lévő pontokból álló halmaz, mely az euklideszi sík sűrű részhalmazát alkotja.[2] Erdős sejtése az volt, hogy ha egy S halmaz sűrű racionális részhalmazzal rendelkezik, akkor S-nek nagyon speciálisnak kell lennie – egyenesen és körön kívül más ilyen S halmaz nem ismert. Bár Ulam kérdése továbbra is nyitott, Solymosi József és Frank de Zeeuw megmutatták, hogy az irreducibilis algebrai görbék közül valóban csak egyenesek és körök tartalmaznak végtelen sok, egymástól racionális távolságra lévő pontot.[3] Terence Tao későbbi később rámutatott, hogy ha a Bombieri–Lang-sejtés igaznak bizonyul, az ott felhasznált módszerekkel megmutatható, hogy a síkban nincsenek egymástól racionális távolságra lévő, sűrű végtelen ponthalmazok.[4] Más módszerekkel Hector Pasten igazolta, hogy az abc-sejtés beigazolódása szintén negatívan döntené el az Erdős–Ulam-problémát.[5]
Következmények
[szerkesztés]Ha az Erdős–Ulam-problémára pozitív válasz születne, ellenpéldát nyújtana mind a Bombieri–Lang-sejtésre, mind az abc-sejtésre. Emellett megoldaná a síkbarajzolható gráfok egész hosszúságú élekkel történő síkba rajzolásával foglalkozó Harborth-sejtést: ha létezne a síknak sűrű, racionális távolságú részhalmaza, bármely síkbarajzolható gráf a Fáry-tétel alapján létező egyenes vonalú lerajzolása minimális módosítással átalakítható lenne úgy, hogy ennek a halmaznak a pontjait használja csúcsokként, majd átméretezhető úgy, hogy a racionális távolságok egész számokká alakuljanak.
Fordítás
[szerkesztés]- Ez a szócikk részben vagy egészben az Erdős–Ulam problem című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
Jegyzetek
[szerkesztés]- ↑ Anning, Norman H. & Erdős, Paul (1945), "Integral distances", Bulletin of the American Mathematical Society 51 (8): 598–600, doi:10.1090/S0002-9904-1945-08407-9, <http://www.ams.org/bull/1945-51-08/S0002-9904-1945-08407-9/>.
- ↑ a b Klee, Victor & Wagon, Stan (1991), "Problem 10 Does the plane contain a dense rational set?", Old and New Unsolved Problems in Plane Geometry and Number Theory, vol. 11, Dolciani mathematical expositions, Cambridge University Press, pp. 132–135, ISBN 978-0-88385-315-3, <https://books.google.com/books?id=tRdoIhHh3moC&pg=PA132>.
- ↑ Solymosi, József & de Zeeuw, Frank (2010), "On a question of Erdős and Ulam", Discrete and Computational Geometry 43 (2): 393–401, DOI 10.1007/s00454-009-9179-x
- ↑ Tao, Terence (2014-12-20), The Erdos-Ulam problem, varieties of general type, and the Bombieri-Lang conjecture, <https://terrytao.wordpress.com/2014/12/20/the-erdos-ulam-problem-varieties-of-general-type-and-the-bombieri-lang-conjecture/>. Hozzáférés ideje: 2016-12-05
- ↑ Pasten, Hector (2017), "Definability of Frobenius orbits and a result on rational distance sets", Monatshefte für Mathematik 182 (1): 99-126, DOI 10.1007/s00605-016-0973-2