Simultaneous approximation and interpolation of increasing functions by increasing entire functions

We prove that, under suitable assumptions, an isomorphism g of dense subsets A , B of the real line can be taken to approximate a given increasing C n surjection f with the derivatives of g agreeing with those of f on a closed discrete set. For example, we have the following theorem. Let f : R → R be a nondecreasing C n surjection. Let ε : R → R be a positive continuous function. Let E ⊆ R be a closed discrete set on which f is strictly increasing. Let each of { A i } , { B i } be a sequence of pairwise disjoint countable dense subsets of R such that for each i ∈ N and x ∈ E we have x ∈ A i if and only if f ( x ) ∈ B i . Then there is an entire function g : C → C such that g [ R ] ⊆ R and the following properties hold.(a) l x ∈ R ∖ E , D g ( x ) > 0 . = 0 , … , n and all x ∈ R , | D k f ( x ) − D k g ( x ) | < ε ( x ) . = 0 , … , n and all x ∈ E , D k f ( x ) = D k g ( x ) . ch i ∈ N , g [ A i ] = B i . provides a version for increasing functions of a theorem of Hoischen. In earlier work, we proved that it is consistent that a similar theorem, omitting clause (c), holds when the sets A i , B i are of cardinality ℵ 1 and have second category intersection with every interval. (See the introduction for the exact statement.) In this paper, we show how to incorporate clause (c) into the statement of the earlier theorem.