• A first version of this theorem was proved by Friedrich Hartogs, and as such it is known also as Hartogs's lemma and Hartogs's principle: in earlier Soviet...
    25 KB (2,655 words) - 22:42, 7 May 2024
  • Tietze extension theorem Hartogs' extension theorem - a theorem in the theory of functions of several complex variables Isomorphism extension theorem - a...
    2 KB (224 words) - 19:16, 5 September 2018
  • preparation theorem. A generalization of this theorem using the same method as Hartogs was proved in 2007. From Hartogs's extension theorem the domain...
    124 KB (17,717 words) - 09:54, 7 April 2025
  • geometry) Cramer's theorem (algebraic curves) (analytic geometry) Hartogs's theorem (complex analysis) Hartogs's extension theorem (several complex variables)...
    78 KB (6,293 words) - 12:16, 2 May 2025
  • Thumbnail for Friedrich Hartogs
    in 1943. Hartogs' main work was in several complex variables where he is known for Hartogs's theorem, Hartogs's lemma (also known as Hartogs's principle...
    5 KB (374 words) - 17:16, 18 August 2024
  • Thumbnail for Analytic function
    than one variable are never discrete. This can be proved by Hartogs's extension theorem. Domains of holomorphy for single-valued functions consist of...
    16 KB (2,233 words) - 20:48, 31 March 2025
  • In set theory, the Schröder–Bernstein theorem states that, if there exist injective functions f : A → B and g : B → A between the sets A and B, then there...
    20 KB (2,374 words) - 11:57, 23 March 2025
  • Thumbnail for Affine variety
    the origin removed) is not an affine variety (compare this to Hartogs' extension theorem in complex analysis). See Spectrum of a ring § Non-affine examples...
    30 KB (4,293 words) - 05:01, 6 March 2025
  • _{\mathbb {R} ^{n}}|f|.} Hardy space Hardy space Hartogs 1.  Hartogs extension theorem 2.  Hartogs's theorem on separate holomorphicity harmonic A function...
    28 KB (4,340 words) - 07:40, 15 April 2025
  • Thumbnail for Francesco Severi
    S2CID 120514642, Zbl 0028.15301. In this work Severi gives his proof of the Hartogs' extension theorem. Severi, Francesco (1958), Lezioni sulle funzioni analitiche di...
    34 KB (3,498 words) - 07:09, 25 September 2024
  • has no poles of codimension one. This is an algebraic analog of Hartogs' extension theorem. There is also a relative version of this fact; see [2]. A morphism...
    26 KB (4,397 words) - 13:13, 27 April 2025
  • Bochner–Martinelli formula (category Theorems in complex analysis)
    the Wayback Machine. In this paper Martinelli gives a proof of Hartogs' extension theorem by using the Bochner-Martinelli formula. Martinelli, Enzo (1984)...
    10 KB (1,052 words) - 21:41, 8 February 2025
  • Theory#Deformations of complex manifolds Enriques–Kodaira classification GAGA Hartogs' extension theorem Hermitian symmetric space Hodge decomposition Hopf manifold Imaginary...
    26 KB (3,677 words) - 14:31, 7 September 2023
  • proof Cantor's theorem Cantor–Bernstein–Schroeder theorem Cardinality Aleph number Aleph-null Aleph-one Beth number Cardinal number Hartogs number Cartesian...
    14 KB (1,012 words) - 00:08, 16 November 2024
  • Thumbnail for Heinrich Tietze
    February 17, 1964) was an Austrian mathematician, famous for the Tietze extension theorem on functions from topological spaces to the real numbers. He also...
    6 KB (463 words) - 22:01, 3 March 2025
  • Thumbnail for Enzo Martinelli
    the Wayback Machine. In this paper Martinelli gives a proof of Hartogs' extension theorem by using the Bochner-Martinelli formula. Martinelli, Enzo (1944–1945)...
    38 KB (4,289 words) - 15:30, 12 April 2025
  • Thumbnail for Axiom of choice
    Functional analysis The Hahn–Banach theorem in functional analysis, allowing the extension of linear functionals. The theorem that every Hilbert space has an...
    59 KB (7,889 words) - 18:04, 1 May 2025
  • Thumbnail for Cardinal number
    cardinals between κ and its successor. (Without the axiom of choice, using Hartogs' theorem, it can be shown that for any cardinal number κ, there is a minimal...
    26 KB (3,833 words) - 12:56, 24 April 2025
  • Thumbnail for Holomorphic function
    holomorphic function of the remaining coordinate). The much deeper Hartogs' theorem proves that the continuity assumption is unnecessary: ⁠ f {\displaystyle...
    24 KB (3,323 words) - 20:09, 21 April 2025
  • Thumbnail for Incomplete gamma function
    (for fixed s) and s (for fixed z), and, thus, holomorphic on C × C by Hartog's theorem. Hence, the following decomposition γ ( s , z ) = z s Γ ( s ) γ ∗ (...
    43 KB (7,178 words) - 06:54, 27 April 2025
  • then there is a forcing extension in which 2 ℵ 0 = κ {\displaystyle 2^{\aleph _{0}}=\kappa } . However, per Kőnig's theorem, it is not consistent to...
    32 KB (4,061 words) - 17:25, 15 April 2025
  • one-to-one back into that set. That the set above is nonempty follows from Hartogs' theorem, which says that for any well-orderable cardinal, a larger such cardinal...
    4 KB (564 words) - 06:38, 6 March 2024
  • 1090/s0002-9947-1961-0131756-3. MR 0131756. —— (1961). "A new proof and an extension of Hartog's theorem". Bull. Amer. Math. Soc. 67 (5): 507–509. doi:10.1090/s0002-9904-1961-10661-7...
    7 KB (722 words) - 01:58, 12 November 2024
  • theory E E(X) is the membership relation of the set X Easton's theorem Easton's theorem describes the possible behavior of the powerset function on regular...
    91 KB (11,628 words) - 12:22, 21 March 2025
  • Thumbnail for Domain of holomorphy
    _{n=1}^{\infty }\Omega _{n}} is also a domain of holomorphy (see Behnke-Stein theorem). If Ω 1 {\displaystyle \Omega _{1}} and Ω 2 {\displaystyle \Omega _{2}}...
    4 KB (673 words) - 09:24, 7 April 2025
  • squares Padé approximant Padé table — table of Padé approximants Hartogs–Rosenthal theorem — continuous functions can be approximated uniformly by rational...
    70 KB (8,335 words) - 20:20, 17 April 2025
  • Thumbnail for Cardinality
    even for infinite cardinals, and is known as Cantor–Bernstein–Schroeder theorem. Sets with cardinality of the continuum include the set of all real numbers...
    57 KB (7,587 words) - 17:39, 3 May 2025
  • be a polynomial. There is a counterpart of this theorem on the boundary, the Hartogs–Rosenthal theorem, which states that any continuous function ∂Ω can...
    29 KB (5,032 words) - 03:40, 30 November 2024
  • A n {\displaystyle \mathbb {A} ^{n}} when n ≥ 2: this is analogous to Hartogs's lemma in complex analysis, though easier to prove. That is, the inclusion...
    44 KB (7,139 words) - 09:10, 12 April 2025
  • The axiom schema of replacement is not necessary for the proofs of most theorems of ordinary mathematics. Indeed, Zermelo set theory (Z) already can interpret...
    21 KB (3,513 words) - 20:47, 17 February 2025