A constructive proof of the dense existence of nowhere-differentiable functions in C[0,1]

DOI10.3233/COM-190247MaRDI QIDQ5131655zbMATH OpenOpenAlexFDO

Authors Takako Nemoto

Publication date 9 November 2020

Published in Computability (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/com-190247

zbMATH Keywords

Baire category theoremconstructive mathematicsconstructive reverse mathematicsnowhere-differentiable functions

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Classification of real functions; Baire classification of sets and functions (26A21) Nondifferentiability (nondifferentiable functions, points of nondifferentiability), discontinuous derivatives (26A27)

Recommendations

• Continuous functions that are nowhere differentiable
• A Continous, Nowhere Differentiable Function
• Properties on the set of continuous nowhere differentiable functions with several variables
• Porosity and continuous, nowhere differentiable functions
• scientific article; zbMATH DE number 1464688

Cited in

(11)

• Some new simple proofs of old difficult theorems
• Most \(C^\infty\) functions are nowhere Gevrey differentiable of any order
• On Problem 57 of the Scottish book
• Baire category and nowhere differentiability for feasible real functions
• scientific article; zbMATH DE number 645824 (Why is no real title available?)
• scientific article; zbMATH DE number 2080993 (Why is no real title available?)
• Continuous functions that are nowhere differentiable
• There exist no gaps between Gevrey differentiable and nowhere Gevrey differentiable
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• Constructing continuous functions
• Big in reverse mathematics: measure and category

This page was built for publication: A constructive proof of the dense existence of nowhere-differentiable functions in \(C[0,1]\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5131655)