Liczba przestępna

Liczba przestępna – liczba rzeczywista lub ogólniej zespolona niebędąca liczbą algebraiczną. Uogólnieniem pojęcia liczby przestępnej jest element przestępny. Istnienie liczb przestępnych wykazał francuski matematyk Joseph Liouville w 1844 roku, podając konstruktywne dowody ich istnienia.

Podział liczb rzeczywistych na liczby wymierne, liczby konstruowalne, liczby algebraiczne oraz liczby przestępne (zaznaczone na różowo)

Liczba przestępna $z$ nie jest więc pierwiastkiem żadnego niezerowego wielomianu jednej zmiennej o współczynnikach wymiernych, tzn.:

$\forall _{n\in \mathbb {N^{+}} }\ \forall _{(a_{n},a_{n-1},\dots ,a_{1},a_{0})\in \mathbb {Q} ^{n+1}}a_{n}\neq 0\implies a_{n}z^{n}+a_{n-1}z^{n-1}+\ldots +a_{1}z+a_{0}\neq 0.$

Każda liczba przestępna jest liczbą niewymierną, bo liczby wymierne są pierwiastkami pewnych wielomianów o współczynnikach wymiernych stopnia $1.$ Z kolei istnieją liczby niewymierne, które nie są przestępne, np. ${\sqrt {2}}$ (rozwiązanie równania $x^{2}-2=0$).

Niektóre własności algebraiczne

• Jeśli $p$ jest liczbą przestępną, $c_{i}$ są algebraiczne, to wartość wyrażenia $\sum _{i=0}^{n}c_{i}p^{i}$ jest przestępna.

W szczególności przestępne są: $a+p$ dla $a$ algebraicznego, $ap$ dla $a$ algebraicznego, $a\neq 0,$ $p^{n}$ dla $n\in \mathbb {N} ^{+}.$

Dowód

Gdyby $d=\sum _{i=0}^{n}c_{i}p^{i}$ był liczbą algebraiczną, to zachodzi

$0=c_{0}-d+c_{1}p+c_{2}p^{2}+\ldots +c_{n}p^{n}.$

Różnica $c_{0}-d$ jest liczbą algebraiczną, stąd $p$ jest pierwiastkiem wielomianu o współczynnikach algebraicznych. Ponieważ ciało liczb algebraicznych jest algebraicznie domknięte, więc $p$ byłby liczbą algebraiczną, wbrew założeniu.

• Jeśli $p$ jest liczbą przestępną, to $p^{w},$ gdzie $w\in \mathbb {Q} ,\;w\neq 0$ także jest przestępne.

Dowód

Wystarczy tu udowodnić, że $p^{-1},\;{\sqrt[{n}]{p}},$ są przestępne dla $n>0.$
Gdyby $p^{-1}$ był liczbą algebraiczną, to byłby pierwiastkiem wielomianu $\sum _{i=0}^{n}c_{i}(p^{-1})^{i},$ $c_{i}\in \mathbb {Q} ,$ stąd $p$ byłby pierwiastkiem wielomianu $\sum _{i=0}^{n}c_{n-i}p^{i}$ wbrew założeniu.
Gbyby ${\sqrt[{n}]{p}}$ był liczbą algebraiczną, to $p=\left({\sqrt[{n}]{p}}\right)^{n}$ byłby liczbą algebraiczną, bo potęga liczby algebraicznej jest liczbą algebraiczną.

Uwaga

• Suma liczb przestępnych nie musi być przestępna. Rzeczywiście, jeśli $p$ liczbą przestępną, przestępne są także $-p,a-p,$ gdzie $a$ jest liczbą algebraiczną. Ale $(a-p)+p$ jest liczbą algebraiczną $a.$
• Iloczyn liczb przestępnych nie musi być przestępny. Rzeczywiście, jeśli $p$ liczbą przestępną, przestępne są także $p^{-1},{\frac {a}{p}},$ gdzie $a$ jest liczbą algebraiczną. Ale ${\frac {a}{p}}\cdot p$ jest liczbą algebraiczną $a.$

Przykłady liczb przestępnych

• $e^{a},$ gdzie $a\neq 0$ jest liczbą algebraiczną (Hermit-Lindemann)
  • e (Charles Hermite, 1873),
  • $\pi$ (Ferdinand Lindemann, 1882) – przypuszczenie, że $\pi$ jest algebraiczne oznacza, że $e^{i\pi }$ jest przestępne wbrew temu, że $e^{i\pi }=-1$
  • $\sin a,\cos a,$ dla $a\neq 0$ algebraicznego – np. $\cos a={\tfrac {e^{ia}+e^{-ia}}{2}}$ po przekształceniach $(e^{ia})^{2}-2\cos a\cdot e^{ia}+1=0.$ Przypuszczenie, że $\cos a$ jest algebraiczne oznaczałoby, że $e^{ia}$ jest pierwiastkiem wielomianu o współczynnikach algebraicznych wbrew temu, że $e^{ia}$ jest przestępne.
  • $\ln a,$ dla $a>0,a\neq 1$ algebraicznego – przypuszczenie, że $b=\ln a$ jest algebraiczne oznacza, że $e^{b}=a$ jest przestępne wbrew temu, że $a$ jest algebraiczne,

• $a^{b},$ gdzie $a\neq 0,a\neq 1$ jest liczbą algebraiczną, $b$ jest liczbą niewymierną algebraiczną (twierdzenie Gelfonda-Schneidera).
  • $e^{\pi }$ – ponieważ $e^{\pi }=e^{-i\,i\pi }=e^{-i\,\log(e^{i\pi })}=e^{-i\,\log(-1)},$ więc $e^{\pi }$ jest jedną z wartości $(-1)^{-i},$ przy czym w ostatniej potędze podstawa $-1,$ jest liczbą algebraiczną różną od $0$ i $1,$ z kolei wykładnik $-i$ jest liczbą niewymierną, czyli nie jest liczbą wymierną $-i\notin \mathbb {Q} .$
  • $e^{a\pi },\;a\in \mathbb {Q} ,\;a\neq 0$ – ponieważ $e^{a\pi }=(e^{\pi })^{a},$ więc $e^{a\pi }$ jest wymierną potęgą liczby przestępnej
• liczby Liouville’a
  • $\sum _{j=1}^{\infty }a^{-j!},$ gdzie $a$ jest dowolną liczbą naturalną większą od 1, liczby tej postaci są przykładami liczb Liouville’a.

Własności mnogościowe

Zbiór wszystkich liczb przestępnych jest zbiorem mocy continuum. Dowód: zbiór wszystkich wielomianów o współczynnikach wymiernych jest zbiorem przeliczalnym. Ponieważ każdy taki wielomian ma skończenie wiele pierwiastków, istnieje co najwyżej przeliczalnie wiele liczb algebraicznych. Ale zbiór wszystkich liczb rzeczywistych ma moc continuum, zatem zbiór liczb przestępnych również musi mieć moc continuum.

Zbiór liczb przestępnych rzeczywistych jest gęsty w zbiorze liczb rzeczywistych, więcej: w każdym przedziale otwartym liczb rzeczywistych jest nieprzeliczalnie wiele liczb przestępnych.