Continuité !
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 16:21
Alors ?! comment traduire mathematiquement ce que veut dire le prof ?
Merci d'avance !!
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 16:34
help pls !! :cry: :help:
Merci d'avance !!
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 17:18
Help pls !!
par legeniedesalpages » 11 Nov 2007, 17:19
Soit
)
linéaire et continue.
Soit
\in E\times F)
.
On veut montrer qu'il existe un unique élément

de

tel que
](y))
Ainsi l'application
\rightarrow [f(x)](y))
sera bien définie.
Et on veut aussi montrer que
\rightarrow [f(x)](y))
est linéaire et continue.
On a

, donc par définition de

,
)
existe et est unique, et
\in \mathcal{L}_c(F,G))
.
On a

, donc
](y))
est dans

.
Reste à voir si elle est continue.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 18:50
legeniedesalpages a écrit:Soit
)
linéaire et continue.
Soit
\in E\times F)
.
On veut montrer qu'il existe un unique élément

de

tel que
](y))
Ainsi l'application
\rightarrow [f(x)](y))
sera bien définie.
Et on veut aussi montrer que
\rightarrow [f(x)](y))
est linéaire et continue.
On a

, donc par définition de

,
)
existe et est unique, et
\in \mathcal{L}_c(F,G))
.
On a

, donc
](y))
est dans

.
Reste à voir si elle est continue.
Oui, mais c'est pas

qu'on veut montrer qu'elle est definie, mais

) \hspace{10cm} \longrightarrow \hspace{10cm} \mathcal{L}_{c}( E \times F , G) $)
 \hspace{10cm} : \hspace{10cm} E \times F \hspace{10cm} \longrightarrow \hspace{10cm} G $)
 \hspace{10cm} \longrightarrow \hspace{10cm} \varphi (f)(x,y) = f(x)(y) $)
Je vais essayer d'appliquer ce que tu m'as dit pour

.
Bref, il faut montrer :
 $)
pour
 $)
:
 $)
tel que :
 $)
.
 $)
pour
 \in E \times F $)
:

tel que :
(x,y) = z $)
et
 $)
est bilinéaire ,continue !!
Donc,

est bien définie !!
C'est ça "legeniedesalpages" ?
par legeniedesalpages » 11 Nov 2007, 18:55
Oui mais justement pour montrer que

est bien définie, il faut montrer que pour tout
)
linéaire et continue, on a pour tout
\in E\times F)
, un unique élément

de

tel que
](y))
et l'application
\rightarrow [f(x)](y))
est linéaire et bien définie.
par legeniedesalpages » 11 Nov 2007, 18:58
barbu23 a écrit:Oui, mais c'est pas

qu'on veut montrer qu'elle est definie, mais

) \hspace{10cm} \longrightarrow \hspace{10cm} \mathcal{L}_{c}( E \times F , G) $)
 \hspace{10cm} : \hspace{10cm} E \times F \hspace{10cm} \longrightarrow \hspace{10cm} G $)
 \hspace{10cm} \longrightarrow \hspace{10cm} \varphi (f)(x,y) = f(x)(y) $)
Je vais essayer d'appliquer ce que tu m'as dit pour

.
Bref, il faut montrer :
 $)
pour
 $)
:
 $)
tel que :
 $)
.
 $)
pour
 \in E \times F $)
:

tel que :
(x,y) = z $)
et
 $)
est bilinéaire ,continue !!
Donc,

est bien définie !!
C'est ça "legeniedesalpages" ?
oui enfin pourquoi bilinéaire, c'est pas linéaire le

?
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 19:05
legeniedesalpages a écrit:oui enfin pourquoi bilinéaire, c'est pas linéaire le

?
Non :
 $)
est l'ensemble des applications bilineaires continues !
) $)
est l'ensemble des applications linéaires continues de

dans l'ensemble
 $)
qui est l'ensemble des applications linéaires continues de

dans

.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 19:21
Qu'est ce qui change "legeniedesalpages" ?
-
tize
- Membre Complexe
- Messages: 2385
- Enregistré le: 16 Juin 2006, 19:52
-
par tize » 11 Nov 2007, 19:33
 $)
est isomorphe à
) $)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 19:35
oui, c'est ça ce qu'on veut montrer !!
-
nuage
- Membre Complexe
- Messages: 2214
- Enregistré le: 09 Fév 2006, 22:39
-
par nuage » 11 Nov 2007, 19:52
Salut,
si j'ai bien compris.
Pour l'existence de

et

:
en termes ensemblistes

est une "application" (si elle est définie ) de
)
dans
\times G))
qui fait correspondre
,z))
à
))
.
)= ((x,y),z))
Il est immédiat qu'il s'agit bien d'une application, au sens ensembliste.
Il en est de même pour

.
Pour la linéarité et la continuité je repasse un peu plus tard.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 11 Nov 2007, 20:50
-
nuage
- Membre Complexe
- Messages: 2214
- Enregistré le: 09 Fév 2006, 22:39
-
par nuage » 11 Nov 2007, 22:36
Tu as raison, et j'ai tort. :marteau: je devrais tourner 3 fois ma langue dans ma bouche avant d'écrire, ça parce que je n'arrive pas à tourner mes doigts dans le clavier. :mur:
 \, \rightarrow\mathcal{P}((E\times F)\times G)\\<br />\;\;\;\;(x,\{(y,z)\})\; \mapsto\;\{((x,y),z)\})
.

est donc bien définie en tant qu'application ensembliste.
Il reste à montrer que

est linéaire et continue.
au passage tes notations sont assez mauvaises : si
=f)
il est maladroit de noter ça
)
Pour le reste,

est linéaire est continue par définition.
Je ne suis pas tès sûr de ce que j'avance, mais une douzaine d'huitres arrosées au muscadet a brouillé mon esprit.
A demain soir.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 42 invités