How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Why local boundedness gives joint continuity here and nothing like it holds in the real case
Remark
The locally bounded theorem on this page is not a disguised continuity theorem
for arbitrary separate regularity. The false statement
A bounded function of two real variables whose every coordinate slice is real analytic is continuous gives the
concrete contrast: the real-valued function
off the origin, with , is bounded and every
coordinate slice is real analytic, yet the function is not jointly continuous.
The published B-page item named cex-partial-derivatives-without-continuity
uses the same witness for a different purpose; it is named here only in prose,
without a wikilink, because examples pages are leaves.
What changes in the holomorphic setting is not the bare word "separate" but the one-variable Cauchy theory. A bound on a holomorphic slice controls its derivative by Cauchy's inequalities bound every derivative by a boundary bound on a compactly contained circle, and the control is uniform in the remaining coordinates when the bound is uniform there. That is exactly the input used in A bounded separately holomorphic function on a polydisc is Lipschitz on every smaller polydisc: the bounded separately holomorphic function becomes locally Lipschitz, hence continuous, and then Osgood's lemma: continuous and separately holomorphic implies holomorphic upgrades that continuity plus separate holomorphy to full holomorphy.
So the hypothesis "locally bounded" is not decoration. It is the condition that turns one-variable holomorphic control into a joint estimate. The real-analytic counterexample shows that without the Cauchy inequality there is no reason for separate regularity and boundedness to force any joint continuity at all.
Depends on
- Locally bounded and separately holomorphic implies holomorphic
- A bounded separately holomorphic function on a polydisc is Lipschitz on every smaller polydisc
- Separately holomorphic functions
- Cauchy's inequalities bound every derivative by a boundary bound on a compactly contained circle
- Osgood's lemma: continuous and separately holomorphic implies holomorphic
- A bounded function of two real variables whose every coordinate slice is real analytic is continuous
- A real-analytic function on an open subset of $\mathbb{R}$ is locally represented by a convergent real power series
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
41 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- J. Lebl, Tasty Bits of Several Complex Variables, v4.4, Ex. 1.1.5 (standard reference, not scraped)