It has recently been established that any Baire class one function f : [0,1] -> R can be represented as the pointwise limit of a sequence of polygonal functions whose vertices lie on the graph of f. Here we investigate the subclass of Baire class one functions having the additional property that for every dense subset D of [0,1], the first coordinates of the vertices of the polygonal functions can be chosen from D.
In [9], the present authors and Richard O'Malley showed that in order for a function be universally polygonally approximate it is necessary that for each ε > 0, the set of points of non-quasicontinuity be σ - (1 - ε ) symmetrically porous. The question as to whether that condition is sufficient or not was left open. Here we prove that if a set, E = U∞n=1 En, such that each Ei is closed and 1-symmetrically porous, then there is a universally polygonally approximable function, f, whose set of points of non-quasicontinuity is precisely E. Although it is tempting to call this a partial converse to our earlier theorem it might be more since it is not known if these two notions of symmetric porosity differ in the class of F? sets.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.