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

Ten artykuł zawiera materiał z twierdzenia Hartogsa o ​​oddzielnej analizie w PlanetMath , który jest objęty licencją Creative Commons Attribution/Share-Alike License .