Twierdzenie Hartogsa o odrębnej holomorficzności
W matematyce twierdzenie Hartogsa jest fundamentalnym wynikiem Friedricha Hartogsa w teorii kilku zmiennych zespolonych . Z grubsza mówiąc, stwierdza, że funkcja „oddzielnie analityczna” jest ciągła. Dokładniej, jeśli funkcją, w zmiennej ja , ≤ ja ≤ n , podczas gdy inne zmienne są utrzymywane na stałym poziomie, to F jest funkcją ciągłą .
Konsekwencją jest to , że funkcja F jest wtedy faktycznie funkcją analityczną w sensie n -zmiennym (tj. że lokalnie ma rozwinięcie Taylora ). Dlatego „analityczność oddzielna” i „analityczność” są pojęciami zbieżnymi w teorii kilku zmiennych zespolonych.
Zaczynając od dodatkowej hipotezy, że funkcja jest ciągła (lub ograniczona), twierdzenie jest znacznie łatwiejsze do udowodnienia iw tej formie jest znane jako lemat Osgooda .
Nie ma odpowiednika tego twierdzenia dla zmiennych rzeczywistych . Jeśli założymy, że funkcja jest różniczkowalna (lub nawet analityczna ) w każdej zmiennej osobno , nie jest prawdą, że będzie ciągły Kontrprzykład w dwóch wymiarach podaje
Jeśli dodatkowo zdefiniujemy ma dobrze zdefiniowane pochodne cząstkowe w i początku, ale nie jest ciągła w początku. (Rzeczywiście, linii i x nie są równe, więc nie ma sposobu, aby rozszerzyć definicję tak, aby obejmowała funkcja była tam ciągła.)
- Stevena G. Krantza . Teoria funkcji kilku zmiennych zespolonych , AMS Chelsea Publishing, Providence, Rhode Island, 1992.
- Fuks, Borys Abramowicz (1963). Teoria funkcji analitycznych kilku zmiennych zespolonych . ISBN 978-1-4704-4428-0 .
Linki zewnętrzne
- „Twierdzenie Hartoga” , Encyklopedia matematyki , EMS Press , 2001 [1994]
Ten artykuł zawiera materiał z twierdzenia Hartogsa o oddzielnej analizie w PlanetMath , który jest objęty licencją Creative Commons Attribution/Share-Alike License .