Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

continuité

Posté par
fusionfroide
30-04-08 à 14:38

lu'

Je voudrais montrer la chose suivante :

Soit f : [a,b]\subset \mathbb{R}->\mathbb{R^n} une courbe paramétrée (donc continue) injective. Alors l'application f^{-1} est continue.

Alors cela revient je pense à montrer que f est ouverte, i.e que :

Pour tout ouvert O de \mathbb{R}, f(O) est un ouvert de \mathbb{R^n}

Bon déjà je pensais prendre O=]a,b[

Mais je ne vois pas trop ce qu'est alors f(0) ?

Merci

Posté par
fusionfroide
re : continuité 30-04-08 à 14:41

Mais nen fait je ne vois pas trop où l'injectivité intervient

Posté par
romu
re : continuité 30-04-08 à 14:48

Bonjour FF,

l'injectivité est nécessaire pour que f^{-1} ait un sens.

Posté par
fusionfroide
re : continuité 30-04-08 à 14:52

Salut romu,

Ah oui car on est en dimension finie...

Sinon t'as une idée pour la preuve ?

De plus, tu t'y connais un peu en plongement, sous-variétés diff ... ?

Posté par
romu
re : continuité 30-04-08 à 15:14

Non je pense plus que c'est lié à la compacité de [a,b] et à la continuité de f.

Tu passes par la caractérisation de la continuité en termes de fermés, donc pour montrer que f est continue
il suffit de montrer que pour tout fermé de F de [a,b], f(F) est un fermé de f([a,b]).

F est fermé dans [a,b] qui est compact, donc F est compact,
et f(F) est alors compact dans f([a,b]), donc fermé.

Posté par
romu
re : continuité 30-04-08 à 15:14

Citation :
De plus, tu t'y connais un peu en plongement, sous-variétés diff ... ?


non pas du tout.

Posté par
Camélia Correcteur
re : continuité 30-04-08 à 15:14

Bonjour

Comme elle est définie sur un compact, c'est un résultat classique: une bijection continue est un homéomorphisme. On le prouve facilement en montrant que f est fermée.

Posté par
romu
re : continuité 30-04-08 à 15:25

Bonjour Camélia

Posté par
Camélia Correcteur
re : continuité 30-04-08 à 15:27

Bonjour romu belle simultanéité!

Posté par
Camélia Correcteur
re : continuité 30-04-08 à 15:31

Par ailleurs, j'insiste sur le fait que c'est essentiel que ça soit sur un compact. Par exemple:

\Large f:\mathbb{R}\to\mathbb{R}^2\quad t\to f(t)=\(\frac{t}{1+t^4},\frac{t^3}{1+t^4}\)

est injective continue, mais n'est pas un homéo sur l'image.

Posté par
fusionfroide
re : continuité 30-04-08 à 17:43

d'accord merci bien ^^



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !