Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
167 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

semi-continue

Envoyé par salim75 
semi-continue
il y a douze années
Bonjour tout le monde

C'est quoi la relation entre les fonctions semi-continues et les fonctions continues à gauche ou à droite ?
Est-ce que toute fonction semi-continue (supérieur ou inférieur) doit être continue à gauche ou à droite ?
Re: semi-continue
il y a douze années
avatar
<latex> Salut salim,

C'est une bonne question, mais la réponse est non. Aucun lien fils unique. C'est vrai que la terminologie est trompeuse !

La semi-continuité, ce n'est pas "à gauche" ou "à droite" mais "par en-dessous" ou "par au-dessus" ; ça se passe plutôt dans l'ensemble d'arrivée que dans l'ensemble de départ. D'ailleurs "continue à gauche/à droite" n'a de sens que pour les fonctions définies sur $\R$, et "semi-continue" n'a de sens que pour les fonctions à valeurs dans $\R$.

L'exemple qui permet de comprendre la différence :
- l'indicatrice de $[0,1[$ est continue à droite ;
- l'indicatrice de $]0,1]$ est continue à gauche ;
- l'indicatrice de $]0,1[$ est semi-continue inférieurement ;
- l'indicatrice de $[0,1]$ est semi-continue supérieurement.
Re: semi-continue
il y a douze années
<latex> Oui.
mais si on repose la même question mais dans un point fixe $x_0$?

les deux derniers exemples :
l'indicatrice de ]0,1[ elle est continue partout sauf aux points 0 et 1.
mais elle est comme même continue à droite en 1, et elle est continue à gauche en 0.

donc je comprends qu'on peux pas dire qu'elle continue à gauche ni continue à droite.
mais dans chaque point $x_0$ elle est continue à gauche ou à droite.
Re: semi-continue
il y a douze années
avatar
<latex> Bon, alors regarde l'indicatrice du singleton $\{ 0 \}$ au point $0$ : elle n'est pas continue à droite, pas continue à gauche, et pourtant elle est semi-continue supérieurement. L'indicatrice de $\R^* = \R \setminus \{0\}$ n'est continue ni à gauche ni à droite en $0$ et pourtant elle est semi-continue inférieurement. Etc.

Cela dit, ce que j'aimerais que tu comprennes c'est que ces deux notions n'ont aucune raison de communiquer. Il y en a une qui parle de fonctions à variables réelles et l'autre qui parle des fonctions à valeurs réelles. Par exemple dans le plan $\R^2$ l'ndicatrice du cercle unité est semi-continue (dans quel sens ?) mais comment parler de continuité à gauche ou à croite ?
Re: semi-continue
il y a douze années
ok, Merci. je vois plus clair maintenant.
bs
Re: semi-continue
il y a douze années
<latex> Bonjour,

egoroff, encore merci pour ton aide récente avec mathématibo sur les fonctions semi continues inférieurement.

J'ai pu ainsi démontrer , par exemple, que la fonction Partie Entière E n'est pas sci, mais que -E l'est ; ceci, à l'aide de la définition:
f:lR--->lR est sci si
$\forall \alpha: E(\alpha) =\{f^{-1}(]- \infty,\alpha])$ est un fermé.

Afin d'être certain d'avoir bien compris, je reprends ton exemple avec l' indicatrice de ]0,1[:
si $\alpha \geq 1 : E(\alpha)= \R$
si $\alpha < 1 : E(\alpha)= ]- \infty,0] \cup [1, \infty[$
et ce sont deux fermés.
Est-ce cela ?

Merci
Re: semi-continue
il y a douze années
avatar
<latex> Salut bs,

Effectivement cette discussion qu'on avait eue tous les trois nous avait tous rafraîchi les idées sur la question ! C'est tout à fait exact ce que tu racontes, j'ajouterais que pour l'indicatrice de $]0,1[$, $E(\alpha)$ est vide (donc fermé) pour $\alpha < 0$ (tiens c'est marrant, la fonction $\alpha \mapsto E(\alpha)$ a l'air "continue à droite", c'est peut-être le lien que salim pressentait).

Ton exemple peut éclairer salim d'ailleurs : la partie entière est continue à droite et semi-continue supérieurement, son opposé est continue à droite mais semi-continue inférieurement. Voilà encore quelquechose à remarquer pour souligner la différence entre les deux notions : on passe de s.c.s. à s.c.i. par $f(x) \mapsto -f(x)$, alors qu'on passe de c.à.g. à c.à.d. par $f(x) \mapsto f(-x)$.
Re: semi-continue
il y a douze années
avatar
<latex> Une dernière remarque pour bien enfoncer le clou : il me semble qu'on peut exprimer ces deux notions avec les topologies "latérales" sur $\R$. On regarde la topologie $\mathcal{T}_d$ engendrée par les $[a,b[$ et on note $\R_d$ l'espace topologique $(\R,\mathcal{T}_d)$. Alors une fonction $f \, : \, E \to \R$ est semi-continue supérieurement si et seulement si $f$ est continue de $E \to \R_d$ et une fonction $g \, : \, \R \to F$ est continue à droite si et seulement dit elle est continue de $\R_d \to F$ (à vérifier).
bs
Re: semi-continue
il y a douze années
Dans le cas de l'indicatrice de ]0,1[, je devais donc aussi considérer le cas où <SPAN CLASS="MATH"><IMG WIDTH="42" HEIGHT="29" ALIGN="MIDDLE" BORDER="0" SRC="[www.les-mathematiques.net]; ALT="$ \alpha &lt;0$"></SPAN> pour être exhaustif ? <BR>remerci pour toutes ces précisions.<BR>
Re: semi-continue
il y a douze années
avatar
<latex> Ben, je pense que oui, puisque la définition commence par $\forall \alpha \in \R$. Maintenant, comme la fonction est à valeurs dans $\R_+$, tu peux peut-être te passer des $\alpha < 0$, effectivement ; mais comme ça ne coûte pas plus cher...

Tiens, qu'est-ce qu'on peut dire de la suite de terme général $f(u_n)$ lorsque $u_n$ converge vers $a$ et que $f$ est s.c.i. en $a$ ?
bs
Re: semi-continue
il y a douze années
<latex> justement,
j'ai fait la semaine dernière le problème de Quercia sur les fonctions s.c.i.,et cette question y figurait:

si$f(x_n)$--->$l$,avec $l \in \R$ barre alors
1)$l=- \infty$ pas possible, OK,
2)$l \geq f(a)$ ; ça aussi, j'ai compris,
puis,
3)l'auteur écrit: " le cas $l=+\infty$ est possible, il suffit de prendre:
$f(x)= $1/lxl si $x \neq 0$
sinon $f(0)=0$
question : ici, on montre que f est sci en considérant les trois cas $\alpha >0,=0,
Re: semi-continue
il y a douze années
avatar
<latex> Oui, c'est une bonne définition 'intuitive" de la semi-continuité inférieure : une fonction s.c.i. ne peut qu'augmenter localement. A condition de bien l'interpréter. Par exemple une fonction continue est constante localement. Les seules discontinuités qu'une fonction s.c.i. peut avoir sont des sauts vers le haut. Comme par exemple l'indicatrice de $]0,1[$ en $0$, où ta fonction qui est continue partout sauf en $0$ où elle "saute" des deux côtés (assez violemment d'ailleurs). C'est comme ça qu'on voit le caractère s.c.i. sur le graphe d'une fonction.

En fait même lorsque $f(u_n)$ ne converge pas on peut quand même dire que $\lim \inf f(u_n) \geq f(a)$.
hamidi mohamed
Re: semi-continue
il y a douze années
je besoin aux informations sur l'inverse de matrice et le transport de matrice pour écrire un programme de méthode des moidres carrées

[Mohamed : J'ai ouvert un nouveau sujet pour ton message. Prière d'y continuer la discussion. AD]
[www.les-mathematiques.net]
Re: semi-continue
il y a douze années
avatar
mohamed : Je ne comprends pas en quoi ta question a un rapport avec ce qui la précède, tu aurais certainement plus de chances d'avoir des réponses en ouvrant un nouveau sujet.


Pour les autres : Est-il vrai qu'une fonction croissante est continue à droite si et seulement si elle est semi-continue supérieurement ? Je dirais oui mais j'ai vraiment la flemme de vérifier...
Re: semi-continue
il y a six années
Dans ce cas, une fonction décroissante semi continue inférieure est continue à gauche ?
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 131 525, Messages: 1 264 711, Utilisateurs: 22 149.
Notre dernier utilisateur inscrit lloouukkaa.


Ce forum
Discussions: 28 670, Messages: 264 652.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page