4
$\begingroup$

I am considering the Banach space $A$ with $\sup$-norm, which is the uniform closure of functions on a segment that are continuous but a finite collection of jump points, where they have limits from the left and from the right. It looks like any finite complex measure on the segment naturally generates a functional on $A$: on the dense set of piecewise continuous functions one can take the usual integral (if a jump point has a point mass, we may split this mass into two equal parts for the left and right parts of the function). Is it true that the space of measures is dual to $A$?

My own comment: I see that the answer is negative: fix a point of the segment and take a number $c$, consider the functional that assigns to a function whose left and right limits at this point are $a_+$ and $a_-$ the number $c\cdot a_+ + (1-c)a_-$. On continuous functions this functional does not depend on $c$.

I would like to extend my question as follows: describe the space dual to $A$.

  • 0
    As far as I understand, I can answer my question myself, but the system says that I can do this only in 5 hours. To construct a functional, take a (finite complex) measure which will define the functional on continuous functions; also take two pure point measures whose sum will be equal to the pure point part of our measure, and for piecewise continuous functions use them to deal with jumps, namely, integrate the left limits of the functions with respect to the first measure and the right ones with respect to the second. This uniquely defines the bounded functional on the dense set.2011-08-21

1 Answers 1

1

Perhaps not quite right, but I leave it anyway

Consider $T$, the "two arrows space" (aka "top and bottom of the lexicographic square"). It has two points for each real in the interior of $[0,1]$ which can be called the "left" and "right" versions of that real. So $T$ is a compact Hausdorff non-metrizable topological space. Your normed space $A$ is naturally identified with (a subspace of?) the set of real-valued continuous functions on $T$, so that the dual is the measures on $T$.

  • 0
    I meant the way to see the values of continuous functions on the compact.2011-08-23