Dirichlet-toiminto

Dirichlet -funktio  on funktio , joka ottaa yhden rationaalisista arvoista ja nolla irrationaalisista arvoista, vakioesimerkki kaikkialla epäjatkuvasta funktiosta . Saksalainen matemaatikko Dirichlet esitteli sen vuonna 1829 . [yksi]

Määritelmä

Symbolisesti Dirichlet-funktio määritellään seuraavasti: [2]

Ominaisuudet

Se kuuluu toiseen Baer-luokkaan , eli sitä ei voida esittää jatkuvien funktioiden sarjan (pistekohtaisena) rajana, mutta se voidaan esittää jatkuvien funktioiden sarjan iteroituna rajana [3] [4] :

.

Jokainen määritelmäalueen piste on toisen tyyppinen (ja siinä merkittävä) epäjatkuvuuspiste. [5]

Onko jaksollinen funktio , sen jakso on mikä tahansa rationaalinen luku, joka ei ole nolla; Toiminnossa ei ole pääjaksoa. [6]

Se ei ole integroitavissa Riemannin merkityksessä . [7] Yksinkertainen toiminto ; mitattavissa suhteessa Lebesguen mittaan ; Dirichlet-funktion Lebesguen integraali on nolla millä tahansa numeerisella välillä; tämä johtuu siitä tosiasiasta, että rationaalilukujoukon Lebesguen mitta on yhtä suuri kuin nolla.

Muunnelmia ja yleistyksiä

Dirichlet-funktion muunnelma on Riemannin funktio , jota kutsutaan myös "Thomae-funktioksi" ( Thomae ).

Muistiinpanot

  1. Ferreiros, 2013 , s. 150.
  2. Fikhtengolts, 2003 , s. 115.
  3. Dunham, 2005 , s. 197.
  4. Rudin, 1976 , s. 162 Esimerkki 7.5.
  5. Zorich, 2019 , s. 145.
  6. encyclopediath , kommentti.
  7. Nikolsky, 1983 , s. 357.

Kirjallisuus

Linkit