3 votos

Sistema formal en el que toda función continua es casi siempre diferenciable

Antes de que Weierstrass definiera su función, se creía que toda función continua, $\mathbb{R} \to \mathbb{R}$ es diferenciable en casi todas partes. O al menos, algo aproximado a ese teorema en la nomenclatura de la época. Muchos años después, Brouwer demostró que, en su sistema propuesto de matemática constructiva, toda función definible era continua (¿o quizá no se podía demostrar que ninguna función no fuera continua?).

¿Existen fundamentos matemáticos en los que toda función continua sea diferenciable en casi todas partes? En términos más generales, ¿existen fundamentos matemáticos en los que se cumplan siempre otras condiciones divertidas para las funciones?

Gracias.

2voto

Frangello Puntos 21

Posiblemente obra de Osvald Demuth (1936-1988) es un ejemplo (véase este documento ). Véase esta búsqueda en google et

Antonín Kuera, André Nies y Christopher P. Porter, El camino de Demuth hacia la aleatoriedad , Boletín de Lógica Simbólica 21 #3 (septiembre de 2015), pp. 270-305.
17 de julio de 2014 versión arXiv:1404.4449

Por cierto, un documento relacionado -- [Un ejemplo de función monótona constructiva no diferenciable] ( MR 42 #7839 y Zbl 182.01802 ), no se menciona en el estudio citado, pero sí en la obra de Kushner Conferencias sobre análisis matemático constructivo (1984).

En cuanto a lo que la gente creía antes de mediados de la década de 1870, véase mi respuesta a ¿Tiene razón Kline en que Cauchy creía que las funciones continuas debían ser diferenciables? . En particular, creo que es importante señalar que casi todo el mundo en aquella época probablemente no distinguía entre (o ni siquiera consideraba que pudiera haber una distinción entre) "no diferenciable en cada punto" y "no diferenciable en un conjunto denso de puntos" (y en el conjunto denso no se habría distinguido entre ser contable y ser incontable).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X