Чего-то мне кажется, что множество периодов при наличии двух рационально несоизмеримых будет всюду плотно
это верно, так как мера иррациональности любого иррационального числа больше
. поэтому непрерывные функции с нашими свойствами постоянны..
Не желаете ли Вы этим сказать, что мы имеем дело с функцией, имеющей счётное количество попарно несоизмеримых периодов? Или их даже целый континуум?
пока счетное.. если хотите континуум, то вот рецепт специально для Вас: берете базис Гамеля
линейного пространства
над
и выбрасываете из него один элемент
, получаете множество
. Рассматриваете функцию
, для которой
если
для каких-то
и
, и
в противном случае. Функция не будет постоянна, поскольку
, и любое число
будет периодом.