logo

compacité


« Précédent 1 2 Suivant » +


re : compacité#msg1192190 Posté le 06-07-07 à 21:03
Posté par ProfilRouliane Rouliane

ben par continuité de cette application, il existe x_0 \in E_1 tel que 3$ d(x_0,E_2)=\inf_{x \in E_1}(x,E_2)

Et cette dernière valeur n'est autre que la distance de E1 à E2.
re : compacité#msg1192193 Posté le 06-07-07 à 21:05
Posté par ProfilRouliane Rouliane

Mais en fait je vois pas trop où intervient la compacité, donc ça doit etre faux ce que je raconte

Je vais laisser plutot kaiser, Cauchy, ou Otto répondre parce que je veux pas te raconter de betises.
re : compacité#msg1192200 Posté le 06-07-07 à 21:10
Posté par ProfilRouliane Rouliane

non en fait ça doit etre bon ce que je raconte, on utilise justement la compacité pour montrer que l'application, qui est continue, atteint ses bornes !
re : compacité#msg1192206 Posté le 06-07-07 à 21:16
Posté par Profilromu romu

ah je crois que je viens de comprendre si on note g: x --> d(x,E2) de E1 dans \mathbb{R}
alors comme E_1 est compact, g(E_1) est un intervalle fermé borné de \mathbb{R},
et donc contient sa borne inférieure, d'où l'existence de ce x_0.

C'est bien ça?
re : compacité#msg1192207 Posté le 06-07-07 à 21:16
Posté par Profilromu romu

ah désolé j avais pas vu tes derniers posts
re : compacité#msg1192208 Posté le 06-07-07 à 21:20
Posté par ProfilRouliane Rouliane

oui l'inf est atteint, et l'inf est justement la distance entre E1 et E2.

Ensuite tu raisonnes par l'absurde et tu conclues
re : compacité#msg1192211 Posté le 06-07-07 à 21:22
Posté par Profilromu romu

dacodac, je vais enfin pouvoir continuer à bosser ce chapitre de connexité .
re : compacité#msg1192214 Posté le 06-07-07 à 21:28
Posté par ProfilRouliane Rouliane

ok
re : compacité#msg1192242 Posté le 06-07-07 à 22:18
Posté par Profilromu romu

merci pour ton aide Rouliane.
re : compacité#msg1192251 Posté le 06-07-07 à 22:46
Posté par ProfilRouliane Rouliane

Je t'en prie
re : compacité#msg1192330 Posté le 07-07-07 à 01:58
Posté par ProfilCauchy Cauchy

Pour répondre à romu,  moi je fais pas de guitare(peut être un jour ça me tente bien ).

Camélia, Bach c'est génial

Beau compte rendu kaiser et ceci sans prendre de note
re : compacité#msg1192341 Posté le 07-07-07 à 02:13
Posté par Profilotto otto

Bonjour,
tu es dans un espace métrique quelconque, donc tu n'as pas nécessairement un intervalle.
re : compacité#msg1192365 Posté le 07-07-07 à 02:38
Posté par Profilinfophile infophile

Ca parle musique ^^

Moi j'adore dream theater, quelle technique ! Mais ce qui ne m'empêche pas d'adorer Bach, ni Led Zep
re : compacité#msg1192395 Posté le 07-07-07 à 03:18
Posté par Profilromu romu

mais otto, g est continue et définie sur un compact et l'image de ce compact est inclus dans R, donc c'est un intervalle fermé borné (ie compact), non?
re : compacité#msg1192396 Posté le 07-07-07 à 04:31
Posté par Profilotto otto

Oui tu as raison, j'ai lu trop vite.
Ce qui compte en fait ici, c'est qu'une fonction continue sur un compact est bornée inférieurement et atteint son minimum.
re : compacité#msg1192406 Posté le 07-07-07 à 08:36
Posté par Profilromu romu

ok
re : compacité#msg1192464 Posté le 07-07-07 à 11:36
Posté par ProfilRouliane Rouliane

Bonjour,

Un truc tout bete :  j'arrive pas à trouver un contre exemple à ce théorème, à savoir une fonction ,par exemple, d'un compact de R dans R, qui ne soit pas continue et qui n'atteigne pas ses bornes.

Quelqu'un pour m'aider ?
re : compacité#msg1192468 Posté le 07-07-07 à 11:40
Posté par Profilkaiser kaiser Moderateur

Salut Rouliane

Par exemple, on peut considérer f définie sur [0,1] par

\Large{f(0)=f(1)=\frac{1}{2}} et pour tout x différent de 0 et de 1, f(x)=x.

Kaiser
re : compacité#msg1192474 Posté le 07-07-07 à 11:46
Posté par ProfilRouliane Rouliane

Salut kaiser,

Mais là, l'inf et le sup sont atteints, non ?
re : compacité#msg1192478 Posté le 07-07-07 à 11:47
Posté par Profilkaiser kaiser Moderateur

non : l'inf vaut 0 et le sup vaut 1 mais ceux-ci ne sont jamais atteints (fais un dessin pour t'en convaincre).

Kaiser
re : compacité#msg1192481 Posté le 07-07-07 à 11:48
Posté par ProfilRouliane Rouliane

mais oui bien sur, merci !
re : compacité#msg1192482 Posté le 07-07-07 à 11:49
Posté par Profilkaiser kaiser Moderateur

re : compacité#msg1192650 Posté le 07-07-07 à 14:22
Posté par ProfilCamélia Camélia Correcteur

Bonjour à tous!

C'est difficile à suivre, entre la musique et la compacité, mais je crois qu'il y a des erreurs. Dans R compact(fermé et borné). (Il n'est pas question d'intervalle). Connexeintervalle. (Compact et connexe)(intervalle fermé borné).

Par ailleurs, je pense que l'exo initial est finalement résolu, mais je signale que dans R2 la distance de deux fermés disjoints peut être nulle.
re : compacité#msg1192896 Posté le 07-07-07 à 19:48
Posté par Profilromu romu

Oui, effectivement.

Citation :
R² la distance de deux fermés disjoints peut être nulle.


Mais ici on a supposé qu'on était dans un espace métrique compact, non connexe.
Et R² ne respecte aucune de ces deux hypothèses.
re : compacité#msg1193378 Posté le 08-07-07 à 14:05
Posté par ProfilCauchy Cauchy

Salut à tous,

Ici on considère la distance entre deux compacts, ce que veux dire Camélia c'est que cela ne subsiste plus entre deux fermés par exemple dans R² entre l'axe des abscisses et la courbe y=1/x.

Un peu hors-sujet: kaiser pour en revenir au calcul du déterminant avec des 3 sur la diagonale, t'aurais fait comment, moi je remarque que n+2 est valeur propre associé au sous-espace R(1 1 .... 1) et 2 est valeur propre associée à l'orthogonal de (1 1 ...1) donc le déterminant qui vaut le produit des valeurs propres est égal à :

3$2^{n-1}(n+2)

Tu as une autre méthode?
re : compacité#msg1193386 Posté le 08-07-07 à 14:20
Posté par Profilkaiser kaiser Moderateur

cauchy > oui, j'aurais fait comme toi.

Kaiser
re : compacité#msg1193390 Posté le 08-07-07 à 14:29
Posté par ProfilCauchy Cauchy

D'accord
re : compacité#msg1193423 Posté le 08-07-07 à 14:52
Posté par Profilromu romu

ah voui d'accord.
re : compacité#msg1193424 Posté le 08-07-07 à 14:52
Posté par ProfilRouliane Rouliane

Bonjour,

Pour le problème du déterminant, c'est un peu loin pour moi l'algèbre linéaire
Alors je voir bien pour la valeur propre (n+2) ( la somme des coeff des lignes vaut toujours n+2 ). Mais comment sait-on que c'est la valeur propre associée à vect<(1,1...,1)> ?

Sinon, pour la valeur propre 2, vous l'avez trouvée comment ?
Et comment sait-on que c'est valeur propre associée à l'orthogonal de (1 1 ...1) ?

Merci.
re : compacité#msg1193437 Posté le 08-07-07 à 14:59
Posté par ProfilRouliane Rouliane

sinon l'espace propore c'est pas plutot Ker (u-(n+2)Id) ?
re : compacité#msg1193460 Posté le 08-07-07 à 15:44
Posté par Profilkaiser kaiser Moderateur

En fait, l'idée est de remarquer que 2 est valeur propre indépendamment du fait que n+1 (et non pas n+2 ! ) est valeur propre.
En effet, en retirant \Large{2I_{n}}, on se retrouve avec une matrice qui ne contient que des 1 donc de rang 1, donc l'espace propre associé à 2 est de dimension n-1. Il reste une valeur propre d'ordre 1 et donc une droite propre qui est engendrée par le vecteur qui ne contient que des 1.
Quant à l'histoire des orthogonaux, ça découle d'un résultat qui dit que les espace propres d'une matrice symétrique associés à des valeurs propres distinctes sont orthogonaux deux à deux.

Kaiser
re : compacité#msg1193481 Posté le 08-07-07 à 16:16
Posté par ProfilRouliane Rouliane

Merci !
re : compacité#msg1193527 Posté le 08-07-07 à 17:12
Posté par Profilkaiser kaiser Moderateur

re : compacité#msg1193690 Posté le 08-07-07 à 19:01
Posté par Profiljeanseb jeanseb

Bonsoir les amis!

Citation :
n+1 (et non pas n+2 ! ) est valeur propre.


Si la matrice est d'ordre n, la somme des lignes fait (n+2) comme le dit Cauchy, non?

Sinon, ton explication est simple et lumineuse, Kaiser, c'est un vrai plaisir!
re : compacité#msg1193693 Posté le 08-07-07 à 19:10
Posté par Profilkaiser kaiser Moderateur

salut jeanseb

Citation :

Si la matrice est d'ordre n, la somme des lignes fait (n+2) comme le dit Cauchy, non?


oui, effectivement. Apparemment, je ne sais plus compter ! (j'avais pris les 3 pour des 2).

Citation :
Sinon, ton explication est simple et lumineuse, Kaiser, c'est un vrai plaisir!


Merci !

Kaiser
re : compacité#msg1193697 Posté le 08-07-07 à 19:20
Posté par ProfilCauchy Cauchy

Salut,

on peut aussi remarquer que (1 -1 0 ....),(0 1 -1 0 ....), ......(0 0   1 -1) sont (n-1) vecteurs libres dans Ker(A-2Id)

« Précédent 1 2 Suivant » +


Répondre à ce sujet

réservé Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster
attention Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.

  • Ce topic

    imprimer Imprimer
    réduire la tailleRéduire   /   agrandir la tailleAgrandir

    Pour plus d'options, connection connectez vous !
  • Fiches de maths

    * topologie en post-bac
    6 fiches de mathématiques sur "topologie" en post-bac disponibles.


maths - prof de maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2012