Displaying similar documents to “A finiteness result on the ring of analytic functions defined on a Banach space”

Relations among analytic functions. I

Edward Bierstone, P. D. Milman (1987)

Annales de l'institut Fourier

Similarity:

Neither real analytic sets nor the images of real or complex analytic mappings are, in general, coherent. Let Φ : X Y be a morphism of real analytic spaces, and let Ψ : 𝒢 be a homomorphism of coherent modules over the induced ring homomorphism Φ * : 𝒪 Y 𝒪 X . We conjecture that, despite the failure of coherence, certain natural discrete invariants of the modules of formal relations a = Ker Ψ ^ a , a X , are upper semi-continuous in the analytic Zariski topology of X . We prove semicontinuity in many cases (e.g. in the algebraic...