Ердис-аннинг теоремасы - Erdős–Anning theorem

The Ердис-аннинг теоремасы ан шексіз жазықтықтағы нүктелер саны өзара болуы мүмкін бүтін қашықтық, егер барлық нүктелер а-ға жататын болса түзу сызық. Оған байланысты Paul Erdős және Норман Х. Аннинг, оның дәлелін 1945 жылы жариялады.[1]

Интегралдылыққа қарсы ұтымдылық

Толық қашықтықтағы нүктелердің коллинеарлы емес жиыны болуы мүмкін емес болғанымен, арақашықтықтары болатын нүктелердің шексіз коллинеарлық емес жиынтығы бар рационал сандар.(Әлі шешілмеген) Ердис-Улам проблемасы болуы мүмкін бе деп сұрайды тығыз жиынтық жазықтықтағы нүктелер бір-бірінен рационалды қашықтықта.

Кез-келген ақырлы жиынтық үшін S нүктелерін бір-бірінен рационалды қашықтықта табуға болады ұқсас кеңейту арқылы бір-бірінен бүтін қашықтықтағы нүктелер жиынтығы S факторы бойынша ең кіші ортақ бөлгіш арақашықтық S. Демек, бір-бірінен бүтін қашықтықта болатын коллинеарлы емес нүктелердің ерікті үлкен шекті жиынтығы бар. Алайда, көп ұпайларды қосқанда S кеңейту коэффициентінің өсуіне әкелуі мүмкін, сондықтан бұл конструкция рационалды қашықтықтағы нүктелердің шексіз жиынтығын бүтін қашықтықтағы шексіз нүктелер жиынтығына айналдыруға мүмкіндік бермейді.

Дәлел

Эрдис-Аннинг теоремасын дәлелдеу үшін, оны нүктелер арасындағы максималды арақашықтықтың функциясы ретінде бүтін қашықтықта жиынтықтағы нүктелер санына нақты байланыс орнатып, нақтырақ айту пайдалы. Нақтырақ айтқанда, егер үш немесе одан да көп емес сызықты емес нүктелер жиынтығы бүтін қашықтыққа ие болса, олардың саны ең көп дегенде , содан кейін ең көп дегенде жиынға бүтін қашықтықтағы нүктелерді қосуға болады.

Мұны көру үшін рұқсат етіңіз A, B және C жиынның коллинеарлы емес үш мүшесі болу S ең көп дегенде, бүтін қашықтықтағы нүктелер және рұқсат етіңіз , , және осы үш нүктенің арасындағы үш қашықтық болыңыз. Келіңіздер X басқа мүше болу S. Бастап үшбұрыш теңсіздігі Бұдан шығатыны теріс емес бүтін сан болып табылады және ең көбі болады . Әрқайсысы үшін бүтін мәндер мен осы диапазонда теңдеуді қанағаттандыратын нүктелердің локусы құрайды гипербола бірге A және B оның ошақтары ретінде және X бұлардың біреуінде жатуы керек гиперболалар. Симметриялық дәлел бойынша, X сонымен қатар отбасының біріне жатуы керек бар гиперболалар B және C ошақ ретінде. Әрбір айқын гиперболалардың жұбы, бірі арқылы анықталады A және B және екіншісі B және C, ең көп дегенде төрт нүктеде қиылысуы мүмкін,және әр тармақ S (оның ішінде A, B, және C) осы қиылысу нүктелерінің бірінде жатыр. Ең көп дегенде бар жұп гиперболалардың қиылысу нүктелері, демек ең көп дегенде ұпай S.

Интегралды арақашықтықтары бар максималды нүктелер жиынтығы

Теореманы тұжырымдаудың балама тәсілі - жазықтықтағы бүтін қашықтықтағы нүктелердің коллинеарлы емес жиынтығын тек қосымша нүктелер қосылмай тұрып, тек көптеген қосымша нүктелер қосу арқылы кеңейтуге болады.Екі бүтін координаталары мен бүтін қашықтықтары бар нүктелер жиынтығы, оларға екі қасиетті сақтай отырып, бұдан артық қосуға болмайды, Эрдис-Диофантин графигі.

Әдебиеттер тізімі

  1. ^ Аннинг, Норман Х .; Эрдоус, Пауыл (1945), «Интегралды қашықтық», Американдық математикалық қоғамның хабаршысы, 51 (8): 598–600, дои:10.1090 / S0002-9904-1945-08407-9.

Сыртқы сілтемелер