A question about measurable structures on function spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T14:19:36Z http://mathoverflow.net/feeds/question/72549 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/72549/a-question-about-measurable-structures-on-function-spaces A question about measurable structures on function spaces Mario Carrasco 2011-08-10T04:47:13Z 2011-09-07T15:22:12Z <p>Hey, I was just wondering, I'm using some of Robert Aumann's ideas about measurable structures on function spaces (From his paper 'Borel structures for Function spaces': <a href="http://projecteuclid.org/euclid.ijm/1255631584" rel="nofollow">http://projecteuclid.org/euclid.ijm/1255631584</a>) and I had a question. Let $(X,\Sigma_{X})$, $(Y,\Sigma_{Y})$ be measurable spaces, let $Y^{X}$ be the space of measurable functions from $X$ to $Y$, I want to define a measurable structure on a subset $F$ of $Y^{X}$, using his construction I managed to define a measurable structure on $F$, now the thing here is that I need that structure to be discrete for some stuff I'm working on. I was thinking and couldn't find a way around it so I remembered that $F$ is actually the set of continuous functions from $X$ to $Y$ (which are of course measurable), so I was thinking, what if I simply use the function space $Y_{C}^{X}$ (the space of continuous functions from $X$ to $Y$) and equip it with the discrete topology? I was thinking that since it is a topological space I can define a measurable space generated by the open sets (which are all the subsets) on $Y_{C}^{X}$, denoted by $(Y_{C}^{X},\Sigma_{Y_{C}^{X}})$, which would have a discrete measurable structure, but I'm not sure about doing this, so my question is: </p> <p>If I take the set of continuous functions $Y_{C}^{X}$ between 2 topological spaces $X$ and $Y$ and define a topology on it (in this case the discrete topology), can I then define a Borel structure on it generated by the open sets? Because then I'd have the discrete measurable space I'm looking for, this seems like the logical thing to do but I don't know if I'll run into some conceptual problems if I do this, I don't know if this has been done as Aumann doesn't mention it in his paper</p> http://mathoverflow.net/questions/72549/a-question-about-measurable-structures-on-function-spaces/72578#72578 Answer by Michael Greinecker for A question about measurable structures on function spaces Michael Greinecker 2011-08-10T11:19:15Z 2011-08-10T11:38:45Z <p>It depends. What Aumann is concerned with in the paper are admissible structures, that is, he looks for a sigma-algebras on sets of measurable functions $F\subseteq Y^X$ such that th evaluation $e:Y^X\times X\to Y$ given by $e(f,x)=f(x)$ is measurable with respect to the product-sigma-algebra. </p> <p>A well behaved case is when, say, $X=[0,1]$, $Y=\mathbb{R}$ with the usual topology. Then $C(X,Y)$ is a complete, separable metric space when endowed with the uniform metric and the evaluation function is continuous, hence measurable when $C(X,Y)$ is endowed with the Borel sigma-algebra. The discrete sigma-algebra is even larger, so the evaluation is certainly measurable in this case.</p> <p>Now let $X=Y$ be discrete topological spaces with cardinality larger than the continuum. Let $y\in Y$. We show that $e^{-1}(\{y\})$ is not in the product-sigma-algebra. Suppose it is. By the first two lemmata <a href="http://david.efnet-math.org/?p=16" rel="nofollow">here</a>, $e^{-1}(\{y\})$ has to be the union of continuum many product sets of the form $F'\times X'$, $F\subseteq Y^X$ and $X'\subseteq X$. For such a product set, we have that every $f\in F'$ is constant and equal to $y$ on $X'$. W.l.o.g. we can assume that none of the $X'$ is empty or equal to $X$. So we can construct an $X''\subseteq X$ such that $X''$ intersects every $X'$ and every $(X')^C$. Let $F''=\{f\in Y^X:f(x)=y\text{ iff }x\in X''\}$. Then $F''\times X''\subseteq e^{-1}(\{y\})$ but $F''\times X''$ is not a subset of $\bigcup F'\times X'$. </p>