Funkcja addytywna - Google

Funkcja addytywna

Z Wikipedii

Skocz do: nawigacji, szukaj
Ten artykuł dotyczy własności funkcji o argumentach liczbowych. Zobacz też: addytywność funkcji zbioru oraz addytywność w fizyce.

Funkcja addytywna – funkcja która jest homomorfizmem struktury addytywnej rozważanych obiektów (pierścieni, ciał czy też przestrzeni liniowych). W teorii liczb jednak rozważa się całkowicie inną własność funkcji określaną tym samym terminem.

Spis treści

[edytuj] Definicje

[edytuj] Addytywność w algebrze i analizie

Niech (K,+)\, oraz (L,+)\, będą grupami abelowymi.

  • Powiemy, że funkcja f:K\longrightarrow L\, jest addytywna jeÅ›li
f(x+y)=f(x)+f(y)\, dla wszystkich x,y\in K\,.
O addytywnych funkcjach rzeczywistych f:{\mathbb R}\longrightarrow {\mathbb R}\, mówimy też, że spełniają równanie funkcyjne Cauchy'ego.
f(x+y)\leq f(x)+f(y)\, dla wszystkich x,y\in K\,.
Powyższe pojęcie jest rozważane głównie gdy (L,+)\, jest grupą addytywną liczb rzeczywistych (z naturalnym porządkiem).

[edytuj] Addytywność w teorii liczb

Teoria liczb posiada własną definicją addytywności. Funkcja f: \mathbb N \to \mathbb N jest funkcją addytywną, gdy dla wszystkich względnie pierwszych liczb m, n \in \mathbb N zachodzi

f(mn) = f(m) + f(n)\,.

Jeżeli powyższy związek zachodzi dla dowolnych liczb m\, oraz n\,, to funkcję nazywa się całkowicie addytywną.

[edytuj] Własności

Poniżej, mówiąc o funkcjach addytywnych myślimy o addytywności w sensie homomorfizmów grup addytywnych.

 f\left(\sum_{i=1}^n~x_i\right) = \sum_{i=1}^n f(x_i) dla wszystkich x_1, \ldots, x_n \in K, n \in {\mathbb N}.

Stąd też, powyższą własność nazywa się skończoną addytywnością, a funkcje addytywne nazywamy też funkcjami skończenie addytywnymi.

  • Załóżmy, że funkcja addytywna f:{\mathbb R}\longrightarrow {\mathbb R} speÅ‚nia jeden z nastÄ™pujÄ…cych warunków:
(a) f\, jest ciągła w przynajmniej jednym punkcie, lub
(b) f\, jest monotoniczna na pewnym przedziale, lub
(c) f\, jest ograniczona na pewnym przedziale.
Wówczas f(x)=f(1)\cdot x dla wszystkich x\in {\mathbb R} (to znaczy, f\, jest funkcją jednorodną).

Pierwszy wynik powyższej postaci byÅ‚ uzyskany przez Augustina Cauchy'ego[1].

  • W 1905, Georg Hamel[2] udowodniÅ‚, że jeÅ›li zaÅ‚ożymy AC, to istniejÄ… funkcje addytywne f:{\mathbb R}\longrightarrow {\mathbb R} które nie sÄ… ciÄ…gÅ‚e.

Przypisy

  1. ↑ Augustin Cauchy: Cours d’analyse de l’Ecole Polytechnique , 1. Analyse alg´ebrique, V.. Paris: 1821. 
  2. ↑ Hamel, Georg. Eine Basis al ler Zahlen und die unstetigen Lösungen der Funktionalgleichung f(x + y) = f(x) + f(y). Math. Ann., 60, 459-462. 1905.

[edytuj] Zobacz też


Lubelskie: pogotowie przeciwpowodziowe
Wisła w Annopolu (Lubelskie) przekroczyła po południu stan alarmowy o 4 cm. W niżej położonych Puławach, poziom wody w rzece zbliżył się do stanu ostrzegawczego.
Lepper o Sejmie: to żenujące, kompromitacja
Andrzej Lepper, przewodniczący Samoobrony oświadczył w Olsztynie, że to, co dzieje się w Sejmie "jest żenujące", a "kłótnia między rządem, a pałacem prezydenckim kompromituje Polskę w oczach świata".
"Nie prowadzimy nagonki na Kurskiego i Wassermanna"
"Gazeta Wyborcza" nie prowadzi nagonki na posłów PiS Jacka Kurskiego i Zbigniewa Wassermanna. Wydaje się, że wyroki w procesach między "Gazetą" a nimi były sprawiedliwe - uważa z-ca redaktora naczelnego "Gazety" Piotr Pacewicz.
Pierwsza ofiara powodzi na Podkarpaciu
35-letni mieszkaniec Jabłonki w powiecie brzozowskim jest prawdopodobnie pierwszą ofiarą powodzi na Podkarpaciu. Ciało Grzegorza P. wyłowiono po południu z potoku Dydnianka, który wpada do Sanu.
Propozycja Szymanek-Deresz ws. ustawy medialnej
Jolanta Szymanek-Deresz (SLD) oceniła - dzień po tym jak Sejm podtrzymał weto prezydenta do ustawy medialnej - że obecnie jest dobry moment, aby rozpocząć prace nad ustawą medialną w układzie ponadpartyjnym, z uwzględnieniem postulatów Sojuszu.
Linki: Strona g³ówna