Изменения

Перейти к: навигация, поиск

Вычислимые числа

2 байта добавлено, 21:51, 12 января 2013
м
Свойства
соответственно.
Далее, так как  <tex> |\alpha \beta - ab| = |(\alpha \beta - a \beta) + (a \beta - ab)| \le |\beta||\alpha - a| + |a||\beta - b| \le |b_\beta||\alpha - a| + |a||\beta - b|</tex>,  где <tex> b_\beta \in Q, |b_\beta| > |\beta| </tex> (<tex> b_\beta </tex>, очевидно, можно найти за конечное время), то
<tex> a_{\alpha \beta}(\varepsilon) = a_{\alpha}(\frac \varepsilon {b_\beta}) a_{\beta}(\frac \varepsilon a) </tex>.
689
правок

Навигация