There is a nice theorem characterizing continuous functions $A \to Y^X$ where $Y^X$ is equipped with product topology (pointwise convergence topology).
Is there a similar theorem for functions of the form $Y^X \to A$? I am most interested in a case where $Y^X = 2^\mathbb{N}$ and $A = \mathbb{R}$ (with the standard topology). Could someone give me some intuitions how continuous functions in this space (that is $A^{(Y^X)}$) look like (or at least some references)?
Thanks in advance!
Edit:
There are non-constant continuous functions in this space, e.g. let $$f(A) = \sum_{k \in A} \frac{1}{2^{k}},$$
then $\lim_n f(a_n) = f(\lim_n a_n)$ for every $a_n$ convergent in $2^\mathbb{N}$ (in product topology = pointwise convergence topology, that means every sub-coordinate is constant from some point). Take any $\varepsilon > 0$, then there is a finite number $k_0$ such that $\sum_{i > k_0}2^{-i} < \frac{1}{2}\varepsilon$, so there is $M_0$ such that $$\forall k \leq k_0.\ \left(\forall m > M_0.\ k \in a_m\right) \lor \left(\forall m > M_0.\ k \notin a_m\right),$$
and thus for all $m > M_0$ we have $|f(a_m) – f(a)| < \varepsilon$.
Best Answer
There is no general characterization of maps whose domain is an infinite product. However, it is possible to characterize maps $2^{\mathbb{N}}\to\mathbb{R}$.
First, observe that $2^\mathbb{N}$ is homeomorphic to the Cantor set.
There are a very large number of different maps $2^\mathbb{N}\to\mathbb{R}$. For the following description, let $2^{<\omega}$ be the set of all finite binary sequences, including the empty sequence $\emptyset$. If $\alpha$ and $\beta$ are binary sequences, we write $\alpha\preceq\beta$ if $\alpha$ is an initial subsequence of $\beta$.
To define a map $2^\mathbb{N}\to \mathbb{R}$, let $\{I_\alpha\}_{\alpha\in 2^{<\omega}}$ be a family of closed intervals with the following properties:
Such families of intervals are in one-to-one correspondence with maps $f\colon2^{\mathbb{N}}\to\mathbb{R}$. In particular, given such a family, we can define a map $f$ by the rule $$ \bigcap_{\alpha\prec\omega} I_\alpha \;=\; \{f(\omega)\}. $$ To get the standard homeomorphism from $2^\mathbb{N}$ to the Cantor set, we would use the family $\{I_\alpha\}_{\alpha\in 2^{<\omega}}$ defined as follows:
By the way, the image of a map $2^{\mathbb{N}}\to\mathbb{R}$ can be any compact subset of $\mathbb{R}$. For example, here is a family which defines a map whose image is $[0,1]$:
Essentially, this is the map that interprets each element of $2^{\mathbb{N}}$ as a binary number in $[0,1]$.