2
$\begingroup$

Let $X$ be [0,1], function $\phi:X\times X\to\mathbb{R}^+$ is Lipschitz continuous on $X\times X$. Define $ G = supp(\phi) = \overline{\{(x,y)|\phi(x,y)>0\}}. $ and its section $ s(x) = \{y\in X|(x,y)\in G\}. $

Is it true that $s(x) = \overline{\{y\in X|\phi(x,y)>0\}}$?

Edited: Still is it true that $\overline{\{y\in X|\phi(x,y)>0\}}\subset s(x)$? If yes, what can we say about $s(x)\setminus \overline{\{y\in X|\phi(x,y)>0\}}$?

Edited2: Are we sure now that \partial A' is of measure zero, where $ \bigcup\limits_{x\in A}s(x) $ for an arbitrary set $A$?

2 Answers 2

2

No. Hint: find $\phi$ such that $s(\frac12) =\{\frac12\}$ and $\{y\in X\,|\,\phi(\frac12,y)>0\}$ is empty.

  • 0
    I've edited one more time )2011-06-08
2

No. Let $\phi(x,y)=x$ and consider $s(0)$.

The support of $\phi$ will be all of $X\times X$, but the section of $x=0$ is in the support because of non-zero values of $x$.

  • 0
    Thank you for the explanation.2011-06-08