2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 НОД, НОК
Сообщение07.03.2009, 04:46 
Можно ли функции НОД и НОК аналитически продолжить на область действительных чисел?

Добавлено спустя 6 минут 29 секунд:

А, вот нашел один вариант для нецелого одного из аргументов:

$$\operatorname{gcd}(a,b)=\log_2\prod_{k=0}^{a-1} (1+e^{-2i\pi k b/a})$$

 
 
 
 Re: НОД, НОК
Сообщение07.03.2009, 08:27 
Nxx писал(а):
Можно ли функции НОД и НОК аналитически продолжить на область действительных чисел?

Добавлено спустя 6 минут 29 секунд:

А, вот нашел один вариант для нецелого одного из аргументов:

$$\operatorname{gcd}(a,b)=\log_2\prod_{k=0}^{a-1} (1+e^{-2i\pi k b/a})$$

Таких определений можно придумать бесконечно много.

 
 
 
 
Сообщение07.03.2009, 10:32 
Аватара пользователя
Nxx в сообщении #192540 писал(а):
Можно ли функции НОД и НОК аналитически продолжить на область действительных чисел?

А как это: аналитически продолжить, но на действительные числа?

Добавлено спустя 12 минут 14 секунд:

Давайте для начала продолжим на рациональные числа. Обозначая НОД через $(\cdot,\cdot)$ и НОК через $[\cdot,\cdot]$, я бы вводил для несократимых дробей
$$ \left( {p_1\over q_1},{p_2\over q_2} \right) = {(p_1,p_2) \over [q_1,q_2]} $$
и
$$ \left[ {p_1\over q_1},{p_2\over q_2} \right] = {[p_1,p_2] \over (q_1,q_2)} $$.

Или есть другие разумные способы?

 
 
 
 
Сообщение07.03.2009, 13:10 
Бодигрим писал(а):
Nxx в сообщении #192540 писал(а):
Можно ли функции НОД и НОК аналитически продолжить на область действительных чисел?

А как это: аналитически продолжить, но на действительные числа?

Добавлено спустя 12 минут 14 секунд:

Давайте для начала продолжим на рациональные числа. Обозначая НОД через $(\cdot,\cdot)$ и НОК через $[\cdot,\cdot]$, я бы вводил для несократимых дробей
$$ \left( {p_1\over q_1},{p_2\over q_2} \right) = {(p_1,p_2) \over [q_1,q_2]} $$
и
$$ \left[ {p_1\over q_1},{p_2\over q_2} \right] = {[p_1,p_2] \over (q_1,q_2)} $$.

Или есть другие разумные способы?

Для рациональных более разумно $(\frac{p_i}{q_i},i=1,2...,k)=\frac{(p_ir_i,i=1,2,...,k)}{lcm (q_i,i=1,2,...,k)}$, где $r_i=\frac{lcm(q_i,i=1,2,..,k)}{q_i}$. Т.е. числа приводятся к общему множителю, находится НОД полученных числителей и делится на общий знаменатель. В таком виде я несколько раз употреблял НОД для рациональных чисел. Соответственно такое (разумное) определение не распространяется даже на действительные числа по непрерывности, и тем более на комплексные аналитическим образом.

 
 
 
 Re: НОД, НОК
Сообщение07.03.2009, 19:41 
Руст писал(а):
Таких определений можно придумать бесконечно много.


Это взято из Википедии. Я так понимаю, это общепринятое определение.

 
 
 
 
Сообщение07.03.2009, 20:00 
В Википедии пишут много чуши. Заметьте. что уже при рациональных b у вас получится во первых многозначная функция (из-за многолистности логарифма) и с комплексными значениями. В то время как определение, приведённое мною для рациональных чисел обладает многими необходимыми свойствами. Например в алгебраической теории чисел числам ставится в соответствие главные идеалы, порождённые ими. при этом НОД у соответствует сумма идеалов. Это соответсвие согласуется с моим определением для рациональных чисел, когда им сопоставляются дробные главные идеалы.

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group