Let $i : X \hookrightarrow Y$ be a dense embedding of complex Hilbert spaces.
Let $f : \mathbb{D} \to X$ be a function, such that $i \circ f$ is holomorphic ($\mathbb{D}$ is the open unit disk). Is $f$ necessarily holomorphic?
Here is what I know so far:
- By a standard Baire argument, $f$ is holomorphic on a dense open subset $U \subset \mathbb{D}$.
- There are counterexamples for $X$ Banach.