Fonction continue en aucun point

Olympiades mathématiques, énigmes et défis
Avatar de l’utilisateur
chan79
Membre Légendaire
Messages: 10330
Enregistré le: 04 Mar 2007, 19:39

fonction continue en aucun point

par chan79 » 17 Mar 2012, 11:45

Bonjour
je cherche à savoir s'il existe une fonction de R+* dans R qui vérifie:
pour tout couple de réels strictement positifs:
f(xy)=f(x)+f(y)
et qui ne soit continue en aucun point !
Merci



girdav
Membre Complexe
Messages: 2425
Enregistré le: 21 Nov 2008, 21:22

par girdav » 18 Mar 2012, 22:34

Bonjour,
une telle fonction est strictement positive si elle est non identiquement nulle. On pose ; satisfait une équation bien connue. En fait on peut montrer qu'une solution est continue (partout) si et seulement si elle est Borel mesurable, mais ça ne répond pas à la question. Après, il faut voir en bidouillant sur une base Hamel de vu comme espace vectoriel.

Avatar de l’utilisateur
chan79
Membre Légendaire
Messages: 10330
Enregistré le: 04 Mar 2007, 19:39

par chan79 » 19 Mar 2012, 08:08

girdav a écrit:Bonjour,

une telle fonction est strictement positive si elle est non identiquement nulle. On pose ; satisfait une équation bien connue. En fait on peut montrer qu'une solution est continue (partout) si et seulement si elle est Borel mesurable, mais ça ne répond pas à la question. Après, il faut voir en bidouillant sur une base Hamel de vu comme espace vectoriel.

Bonjour
DESOLE, je viens de voir que j'ai fait une étourderie, la condition est
f(xy)=f(x)+f(y)
Ce que je sais démontrer, c'est que si f est continue en un point de R+*, alors elle continue en tout point de R+* et qu'elle est dérivable en tout point de R+*. A partir de là, on montre assez facilement que f est soit la fonction nulle, soit une fonction logarithme.
Reste ce cas où on n'a pas l'hypothèse de continuité en un point.

Judoboy
Membre Rationnel
Messages: 654
Enregistré le: 24 Fév 2012, 14:36

par Judoboy » 22 Mar 2012, 03:02

Le plus cool ça serait de trouver une partition de R+* en des ensembles denses stables par multiplication, mais j'ai pas trouvé. Ca revient à étudier les sous-groupes additifs de R (ils sont isomorphes par l'exponentielle aux sous-groupes multiplicatifs de R+*) mais j'ai rien trouvé d'intéressant. D'ailleurs si quelqu'un a des infos sur les sous-groupes denses de R ça m'intéresse...

Enfin finalement en bidouillant un peu tout ça j'ai trouvé un truc :

On prend R comme Q-espace vectoriel, et on note S un supplémentaire de Q dans R. Tout x appartenant à R s'écrit de manière unique x = a + b, avec a appartenant à Q (comme sous-ev de R) et b appartenant à S. Et du coup tout x appartenant à R+* s'écrit de manière unique x = exp (a + b).

La fonction f(x) = ln(exp(a))-ln(exp(b)) avec les a,b choisis comme au-dessus vérifie bien f(xy) = f(x)+f(y) et n'est continue nulle part

Pour montrer la non-continuité,tu peux utiliser le fait que si f est continue en un point elle est continue partout, or il existe un point en lequel elle n'est pas continue (n'importe quel point appartenant à S par exemple).

Avatar de l’utilisateur
chan79
Membre Légendaire
Messages: 10330
Enregistré le: 04 Mar 2007, 19:39

par chan79 » 22 Mar 2012, 09:38

Judoboy a écrit:Le plus cool ça serait de trouver une partition de R+* en des ensembles denses stables par multiplication, mais j'ai pas trouvé. Ca revient à étudier les sous-groupes additifs de R (ils sont isomorphes par l'exponentielle aux sous-groupes multiplicatifs de R+*) mais j'ai rien trouvé d'intéressant. D'ailleurs si quelqu'un a des infos sur les sous-groupes denses de R ça m'intéresse...

Enfin finalement en bidouillant un peu tout ça j'ai trouvé un truc :

On prend R comme Q-espace vectoriel, et on note S le supplémentaire de Q dans R. Tout x appartenant à R s'écrit de manière unique x = z.a + z'.b, avec z, z' appartenant à Q (comme corps de base du K-ev), a appartenant à Q (comme sous-ev de R) et b appartenant à S. Et du coup tout x appartenant à R+* s'écrit de manière unique x = exp (z.a + z'.b).

La fonction f(x) = ln(exp(z.a))-ln(exp(z'.b)) avec les a,b,z,z' choisis comme au-dessus vérifie bien f(xy) = f(x)+f(y) et n'est continue nulle part

Pour montrer la non-continuité,tu peux utiliser le fait que si f est continue en un point elle est continue partout, or il existe un point en lequel elle n'est pas continue (n'importe quel point appartenant à S par exemple).

Bonjour et merci pour ta réponse
Effectivement, je sais que R peut être considéré comme Q espace vectoriel , mais il est alors de dimension infinie. Tu sembles considérer que (a,b) est une base, a étant un rationnel et b un irrationnel. Je suis un peu dépassé ... :triste:

ev85
Membre Relatif
Messages: 450
Enregistré le: 08 Mar 2012, 14:23

par ev85 » 22 Mar 2012, 10:56

chan79 a écrit:Bonjour et merci pour ta réponse
Effectivement, je sais que R peut être considéré comme Q espace vectoriel , mais il est alors de dimension infinie. Tu sembles considérer que (a,b) est une base, a étant un rationnel et b un irrationnel. Je suis un peu dépassé ... :triste:


Effectivement le problème est de trouver une base de R comme Q espace vectoriel. C'est une conséquence de l'axiome du choix. Faire une recherche à "base de Hamel".

e.v.

Judoboy
Membre Rationnel
Messages: 654
Enregistré le: 24 Fév 2012, 14:36

par Judoboy » 22 Mar 2012, 14:31

chan79 a écrit:Bonjour et merci pour ta réponse
Effectivement, je sais que R peut être considéré comme Q espace vectoriel , mais il est alors de dimension infinie. Tu sembles considérer que (a,b) est une base, a étant un rationnel et b un irrationnel. Je suis un peu dépassé ... :triste:

b n'est pas seulement un irrationnel, b est dans un supplémentaire de Q dans R. R admet une base comme Q-ev, Q est un sous-ev de R comme Q-ev et on complète Q pour obtenir une base de R. b est ici une combinaison linéaire de vecteurs de S, ce n'est pas n'importe quel irrationnel.

Par exemple on ne peut pas avoir 1+e et e appartiennent à S car (1+e)-e = 1 appartenant à Q. Le seul élément que Q et S ont en commun est 0.

Je viens de me rendre compte que j'ai écrit un truc faux, l'unicité de l'écriture est vraie sans les facteurs z et z' :/

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 2 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite