Definition talk:Analytic Function/Banach Space Valued Function

From ProofWiki
Jump to navigation Jump to search

Something missing?

The Banach space $\struct {X, \norm{\, \cdot \,}}$ is only introduced, but never referred to. What's it's purpose here? $E$ is technically also undefined, but from the context it should belong to $\C$, right?--Julius (talk) 09:04, 15 March 2023 (UTC)

Typo, book I was looking at uses $E$ for Banach spaces but we've been using $X$. The limit is in $X$. Caliburn (talk) 11:30, 15 March 2023 (UTC)

Agree with the comment on "explains", when we say "complex function" we mean codomain $\C$ and don't care about domain. I think "function" is ok here. Caliburn (talk) 16:01, 21 August 2023 (UTC)

"Mapping" is preferred, if it's general. --prime mover (talk) 16:08, 21 August 2023 (UTC)
Thanks, will go with that then. Caliburn (talk) 16:16, 21 August 2023 (UTC)