olymmath

SCHWEITZER 2004 Problem 6

    Is is true that if the perfect set F⊆[0,1]F\subseteq [0,1] is of zero Lebesgue measure then those functions in C1[0,1]C^1[0,1] which are one-to-one on FF form a dense subset of C1[0,1]C^1[0,1] ? (We use the metric d(f,g)=sup⁡x∈[0,1]∣f(x)−g(x)∣+sup⁡x∈[0,1]∣f′(x)−g′(x)∣d(f,g)=\sup_{x\in[0,1]} |f(x)-g(x)| + \sup_{x\in[0,1]} |f'(x)-g'(x)| to define the topology in the space C1[0,1]C^1[0,1] of continuously differentiable real functions on [0,1][0,1] .)

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/2004/p6 · Tag XBSRFS906T · Edit this page on GitHub · Keys: j next, k previous