Fraction Space Revisited

Бойко Бл. Банчев - Знае се, че рационалните числа образуват интересни и богати на изчислителни възможности структури като редици на Фарей (Феъри) и безкрайни дървета. Малко внимание се обръща на по-общо, систематично излагане на основните свойства на дробите като множество. Понятия биват въвеждани без обосноваване, някои доказателства са ненужно изкуствени, а почти винаги и едните, и другите като че биват отнесени към една или друга особена структура, вместо към множеството на дробите изобщо. Изненадващо е, че някои същностни твърдения изглежда дори не са формулирани в литературата по теория на числата. Тази статия има за цел да подобри състоянието на нещата в това отношение, като предлага общо, подходящо подредено изложение на понятия и свързани с тях твърдения. Като допълнение са представени бележки върху пораждането на множеството от всички дроби – откритие значително по-старо, отколкото е прието да се смята.

Rationals are known to form interesting and computationally rich structures, such as Farey sequences and infinite trees. Little attention is being paid to more general, systematic exposition of the basic properties of fractions as a set. Some concepts are being introduced without motivation, some proofs are unnecessarily artificial, and almost invariably both seem to be understood as related to specific structures rather than to the set of fractions in general. Surprisingly, there are essential propositions whose very statement seem to be missing in the number theory literature. This article aims at improving on the said state of affairs by proposing a general and properly ordered exposition of concepts and statements about them. In addition, historical remarks are made on generating the set of all fractions – a much older discovery than it is widely believed. *2000 Mathematics Subject Classification: 11B75, 01A99.