a question on notation for function spaces

Question

If $X$ is some topological space, such as the unit interval $[0,1]$, we can consider the space of all continuous functions from $X$ to $R$. This is a vector subspace of $R^X$ since the sum of any two continuous functions is continuous and scalar multiplication is continuous.

Please let me know the notation $R^X$ in the above example.

That notation just means the set of all functions $f: X \longrightarrow R$. Look at the first example in this Wikipedia entry for a function space. — Adrián Barquero, Apr 11 '11 at 06:51
Rajesh, I think you should edit the question's title because it has nothing to do with continuous functions or vector spaces. You're just asking about the notation. — Adrián Barquero, Apr 11 '11 at 06:58
read the first chunk of cantor's "contributions to the founding of the theory of transfinite numbers" — yoyo, Apr 11 '11 at 20:59

joriki · Accepted Answer · 2011-04-11T07:09:32.103

3

To see the motivation for this notation (and thus also to remember it more easily), note that $|A^X|=|A|^{|X|}$. The analogy with exponentiation is even more direct if we use the set-theoretic construction of a natural number as the set of all its predecessors, e.g. $3=\{0,1,2\}$. In that case the sets denoted by $A^n$ (the $n$-fold Cartesian product of $A$, and $A^X$ with $X=n$ in the above sense) are isomorphic; in fact, under a set-theoretic definition of the Cartesian product, they are the same thing.

edited Apr 11 '11 at 07:09

answered Apr 11 '11 at 07:00

joriki

238,052

1

@Rajesh: Further motivation can be seen in the so-called exponential law $Z^{(Y \times X)} = (Z^{Y})^{X}$. – t.b. Apr 11 '11 at 07:08

score 2 · Answer 2 · answered Apr 11 '11 at 06:52

2

This means the space of all functions from $X$ to $R$. Without regard for any structure. Set-theoretic ones.

answered Apr 11 '11 at 06:52

shamovic

1,282

a question on notation for function spaces

2 Answers2

Linked