Dirichletova funkce

Dirichletova funkce je funkce, která je definovaná na oboru všech reálných čísel a přitom není spojitá v žádném bodě. Nabývá hodnoty 1, pokud je argumentem racionální číslo, nebo 0, pokud je argumentem iracionální číslo.

Definice a graf

Náznak grafu Dirichletovy funkce.

Dirichletova funkce $D(x)$ je definována následujícím předpisem:

$D(x):=\{\begin{array}{cc}1,& \text{pokud}x\in \mathbb{Q}\\ 0,& \text{pokud}x\in ℝ-\mathbb{Q}\end{array}$

Ekvivalentně lze definovat: $D(x):=\underset{m\to \mathrm{\infty }}{\lim }\underset{n\to \mathrm{\infty }}{\lim }{\cos }^{2n}(m!\pi x)$.Šablona:Zdroj?

Náznak grafu Dirichletovy funkce je znázorněn na obrázku vpravo. Skutečný graf této funkce nelze žádným způsobem nakreslit ani si ho představit, což vedlo mnohé matematiky zejména v 19. století k pochybám, zda Dirichletova funkce je skutečně funkcí či jakousi "příšerou", která nepatří do matematiky. Dnes již matematika zcela bez námitek uznává i funkce mnohem podivnější.

Vlastnosti

Dirichletova funkce:

• není spojitá v žádném bodě
• nemá dokonce v žádném bodě limitu a to ani jednostrannou
• není monotónní na žádném intervalu ani v žádném bodě
• nabývá maxima v každém racionálním bodě a minima v každém iracionálním bodě
• na žádném intervalu pro ni není definován Newtonův ani Riemannův integrál
• Lebesgueův integrál a Kurzweilův integrál přes libovolný interval je roven 0

Odkazy

Související články

• Charakteristická funkce
• Peter Dirichlet
• Riemannova funkce
• Křivka vyplňující prostor

Externí odkazy

• Šablona:MathWorld
• Dirichletova funkce a její modifikace: http://math.feld.cvut.cz/mt/txtb/4/txc3ba4s.htm