Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#26 Re : Entraide (supérieur) » endomorphisme et projection » 29-01-2010 18:03:08

Non, une projection orthogonale n'est pas en général un endomorphisme orthogonal. En fait la seule projection orthogonale qui soit un endomorphisme orthogonal est l'identité ... Je te laisse réfléchir au pourquoi du comment.

Pour les définitions :

Un projecteur P dans un espace euclidien (ou hermitien) est un idempotent (i.e. [tex]P^2=P[/tex])
Il est orthogonal si Ker(P) est orthogonal à Im(P).

Un opérateur A sur un espace euclidien (resp. hermitien) X  est dit orthogonal (resp. unitaire) s'il préserve le produit scalaire. i.e. si [tex] <A(u), A(v)>=<u,v>,\forall u,v \in X [/tex]
En particulier il préserve la norme et les distances, c'est donc une isométrie, et donc il est injectif, ce qui n'est pas du tout le cas pour les projections.

Salutations,

Thibault

#27 Re : Entraide (supérieur) » intégrale dépendante d'un paramètre » 29-01-2010 17:35:35

Bon,

J'avoue volontiers que la théorie de la mesure ce n'est pas mon dada favori. Je n'ai donc pas fait les calculs, et je n'ai pas envie de les faire. Ceci étant dit, j'ai une ou deux idée. Si tu les as explorées et qu'elles ne fonctionnent pas tant pis, si tu ne les a pas explorée ben voilà du travail.

Pour moi cette fonction a une tête "assez régulière" pour être dérivable presque partout. La question est de savoir où?
A l'aide du théorème de dérivabilité sous le signe intégral (désolé Fred), je tenterai de démontrer qu'elle est dérivable sur tout intervalle de la forme [tex][ \epsilon ; +\infty ][/tex] ou [tex][ -\infty ;  -\epsilon][/tex] puis, à l'aide de l'expression de la dérivée que te donne le théorème, de montrer que les limites à droite et à gauche en 0 ne coïncident pas.

Comme on dit chez nous les djeun's : my two cents.

Salutations

Thibault

#28 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Des pions blancs et des pions noirs en file indienne... [Résolu] » 29-01-2010 03:19:40

Yoshi a écrit :

Le "spoiler" n'existant probablement pas dans ce forum, j'ai "caché" ta réponse en intercalant de nombreuses lignes vides entre ta 1ere et 2e ligne. Ainsi, je préserve (un peu) le suspense pour qui voudrait chercher...
Ta réponse est toujours là, mais pour aller la voir, il faudra le vouloir ;-)

Merci de ta compréhension.

Yoshi

Aucun problème pour moi. J'ai d'ailleurs moi même tenté une balise

Texte caché

sans succès.

T.

#29 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Des pions blancs et des pions noirs en file indienne... [Résolu] » 28-01-2010 18:34:23

Pfiou, j'ai eu du mal mais voilà ma réponse :

NNNNN BBBBB

NNNNNB BBBB
NNNN BNBBBB
NNN NBNBBBB
NNNBN NBBBB
NNNBNBN BBB
NNNBNBNB BB
NNNBNB BNBB
NNNB BNBNBB
NN BNBNBNBB
N NBNBNBNBB
NBN NBNBNBB
NBNBN NBNBB
NBNBNBN NBB
NBNBNBNBN B
NBNBNBNBNB  
NBNBNBNB BN
NBNBNB BNBN
NBNB BNBNBN
NB BNBNBNBN
 BNBNBNBNBN
B NBNBNBNBN
BBN NBNBNBN
BBNBN NBNBN
BBNBNBN NBN
BBNBNBNBN N
BBNBNBNB NN
BBNBNB BNNN
BBNB BNBNNN
BB BNBNBNNN
BB BNBNBNNN
BBB NBNBNNN
BBBBN NBNNN
BBBBNBN NNN
BBBBNB NNNN
BBBB BNNNNN
BBBBB NNNNN

Salutations,

Thibault
----------------------------------------------
@Thibault
Le "spoiler" n'existant probablement pas dans ce forum, j'ai "caché" ta réponse en intercalant de nombreuses lignes vides entre ta 1ere et 2e ligne. Ainsi, je préserve (un peu) le suspense pour qui voudrait chercher...
Ta réponse est toujours là, mais pour aller la voir, il faudra le vouloir ;-)

Merci de ta compréhension.

Yoshi

#30 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Des pions blancs et des pions noirs en file indienne... [Résolu] » 28-01-2010 18:03:23

nerosson a écrit :

Re,

Le mot "avancer" a une signification pour les noirs et la signification inverse pour les blancs. Parfaitement clair, en effet ! Tu crois pas que tu pousses un peu, non ? Si tu avais dit que les deux files devaient se croiser, tous les éclaircissements subséquents en découlaient.
Je propose la séquence suivante :

  NNNNN BBBBB
  NNNNNB BBBB
  NNNN BNBBBB
  NNNNB NBBBB
  NNN BNNBBBB
  NNNB NNBBBB
  NN BNNNBBBB
  NNB NNNBBBB
  N BNNNNBBBB
  NB NNNNBBBB
   BNNNNNBBBB
  B NNNNNBBBB
  BN NNNNBBBB

etc.... Je ne pense pas qu'il soit nécessaire de continuer la séquence. J'ai fait passer B1 à gauche. Il est évident qu'en bougeant une lettre à la fois, je ferai passer les autres B les uns après les autres.

Salutations,

Je t'arrête tout de suite Nerosson, tu as montré que tu pouvais faire passer un pion blanc de droite à gauche si un espace séparai les blancs des noirs. Hors à la dernière ligne de ta séquence, aucun espace ne sépare ceux-ci.
Moralité : tu es bloqué!

D'ailleurs le seul mouvement autorisé qu'il te reste est : B NNNNNBBBB. Puis, plus rien ne bouge.

Salutations,

Thibault

#31 Re : Entraide (supérieur) » Trace de matrice » 16-01-2010 18:08:46

Il n'y a pas de problème ^^

Je n'ai pas vérifié ton calcul pour le polynôme caractéristique, mais s'il est juste tes valeurs propres sont [tex]\sqrt{2^3}[/tex] avec multiplicité 2 et [tex]-\sqrt{2^3}[/tex] avec multiplicité 2. La somme est bien nulle !

Salutations,

Thibault

#32 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » drôle de tiercé » 08-01-2010 20:00:43

A tête reposée, j'ai trouvé l'astuce et donc le résultât 13.

Joli problème,

Thibault

#33 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » drôle de tiercé » 08-01-2010 15:15:00

14 aussi pour moi, je ne vois pas comment faire mieux.

Salutations,

Thibault

#34 Re : Entraide (supérieur) » Inversion somme-somme dans un espace de Hilbert » 05-01-2010 17:28:45

C'est aussi à ça que je suis arrivé aujourd'hui.
Donc, en reprenant la notation de ton post #2, on a [tex]u_n\in E_{p_n}[/tex] et pas nécessairement [tex]u_n\in E_n[/tex]. Mais comme tu l'as si bien montré, on a pas besoin de plus pour arriver au résultat.

Merci beaucoup pour ton aide,

A bientôt,

Thibault

#35 Re : Entraide (supérieur) » Inversion somme-somme dans un espace de Hilbert » 05-01-2010 09:10:35

Fred a écrit :

Bonsoir,

Je m'y prendrais un peu autrement. Tu notes [tex]E_n[/tex] le sous-espace engendré par les n premiers vecteurs [tex]e_n[/tex]. Par densité du sous-espace engendré par les [tex](e_n)[/tex], on peut trouver une suite [tex](u_n)[/tex] qui converge vers x et telle que [tex]u_n\in E_n[/tex].
[...]

Salut,

Merci pour ta réponse. Pour moi le fait qu'on puisse choisir [tex]u_n[/tex] "telle que [tex]u_n\in E_n[/tex]" n'est pas évident du tout. C'est même précisément le problème sur lequel je tombai dans une première tentative ou je cherchai à montrer que [tex]u_n[/tex] (quelconque cette fois-ci) et la suite des sommes partielles [tex]S_n=\sum_{k=1}^n <x,e_k> e_k[/tex] convergent vers une même limite.
Par contre l'idée d'utiliser la caractérisation des projections comme minimisant la distance pour assurer la convergence me semble excellente, je bûche dessus aujourd'hui et j'espère avoir la réponse ce soir.

Salutations,

Thibault

#36 Re : Entraide (collège-lycée) » les triangles de Sierpinski 1ereS [Résolu] » 03-01-2010 15:43:56

Bonjour Tipha,

Quelques idées pour ton problème :

1a) Quelle est 'aire du triangle de départ? Est-ce que l'air Sn peut être plus grande que celle-ci ?
1b) Conjecturer veut dire émettre une hypothèse. Non pas une hypothèse au sens mathématique mais bien au sens courant, qqch que tu penses être vrai mais que tu ne peux pas (encore) démontrer. On te demande de deviner :)

D'après toi, si tu colories un peu plus à chaque étape, est-ce que l'aire coloriée va augmenter? diminuer? Et le périmètre?
Pour les limites, est-ce que tout le triangle de départ va finir par être colorié? ou pas? Est-ce que le périmètre peut devenir arbitrairement grand?

2) Maintenant on démontre.

Tu es d'accord qu'à la première étape on colorie 1/4 du triangle. Si je note A1 l'aire à la première étape et A l'aire du triangle de départ, j'ai :

[tex]A_{1}=\frac{A}{4}[/tex]

à la deuxième étape j'ai quatre triangles de même taille que A1, l'un est colorié entièrement, les trois autres au quart, ou :

[tex]A_{2}= A_{1}+3\cdot \frac{A_{1}}{4}= \frac{A}{4}+3\cdot\frac{A/4}{4}
    =(1+\frac{3}{4})\cdot \frac{A}{4}[/tex]

A la troisième étape tu auras [tex]A_{3}=(1 + \frac{3}{4} + (\frac{3}{4})^{2})\cdot \frac{A}{4}[/tex]

Par récurrence tu vas réussir à montrer que [tex]A_{n}=(1 + \frac{3}{4} + (\frac{3}{4})^{2}+\cdots+ (\frac{3}{4})^{n-1})\cdot \frac{A}{4}[/tex]

Question : Est-ce que cette valeur admet une limite à l'infini, i.e. est-ce que la série [tex]\sum_{n=0}^{\infty}(\frac{3}{4})^{n}[/tex] converge ?

Fais la même démarche pour le périmètre et ton exercice sera fini.

Salutations,

Thibault

#37 Re : Entraide (supérieur) » Structures algébriques » 03-01-2010 14:38:03

wireless a écrit :

3) [tex]\forall[/tex](x,y) de G²,
           [tex]fs(xy)=sxys^{-1}=(sxs^{-1})(sys^{-1})=fs(x)fs(y)[/tex]

Donc il s'agit d'un morphisme bijectif

4)a)A faire

b)[tex]\forall[/tex] x de G,

             [tex]fs o fs'(x)=ss'xs'^{-1}s^{-1}=fss'(x)[/tex]

Donc [tex]\phi[/tex] est un morphisme surjectif

c) Ker[tex]\phi[/tex] est l'ensemble des éléments s de G tel que fs=IdG. Comme Z(G) est le centre de G on a Ker[tex]\phi[/tex]=Z(G). Si Z(G)={1} alors [tex]\phi[/tex] est un ismorphismes.

3) Tu a bien montré que [tex]f_{s}[/tex] est un morphisme de groupe, par contre je ne vois pas la preuve qu'il est bijectif. Pour le montrer tu peux par exemple constater que [tex]f_{s}f_{s^{-1}}=Id[/tex]

4) b) Comment affirmes-tu que phi est surjectif? En fait la surjectivité vient simplement du fait que les automorphismes intérieurs sont précisément définis comme étant ceux de la forme [tex]f_{s}, s\in G[/tex]

4) c) Tu dis :"Comme Z(G) est le centre de G on a Ker(phi)=Z(G)". Ce n'est pas une preuve, c'est ce qu'on te demande de montrer! Tu dois montrer que tout élément du Ker est un élément du centre et réciproquement.

Salutations,

Thibault

#38 Re : Entraide (supérieur) » suites et applications » 03-01-2010 13:41:39

Si je comprends bien le problème :

Soit [tex](B_{n})_{n\in\mathbb{N}}\subset\mathbb{R}[/tex] une suite telle que [tex]\lim_{n\to\infty}B_{n}=+\infty[/tex] et [tex]\lim_{n\to\infty}(B_{n+1}-B_{n})=0[/tex]
Montrer qu'il existe une fonction [tex] g:  \mathbb{N}\to \mathbb{N}[/tex] strictement croissante à partir d'un certain rang telle que [tex] B_{g(n)}-n\to_{n\to\infty}0[/tex]

Si tel est bien ton problème, choisis [tex]g(n)=min\{k\in\mathbb{N},B_{k}>n\}[/tex].
A toi de démontrer que cette fonction est bien strictement croissante à partir d'un certain rang et qu'elle satisfait le résultat recherché. Ca ne devrait pas être trop dur.

Salutations,

Thibault

P.S. : Si quelqu'un peut éclairer mes piètres connaissances en Latex, dans l'expression [tex]\to_{n\to\infty}[/tex] comment faire pour que le [tex]n\to\infty[/tex] soit en dessous de la flèche ?

#39 Entraide (supérieur) » Inversion somme-somme dans un espace de Hilbert » 03-01-2010 07:31:12

Thibault
Réponses : 4

Bonjour,

Tout d'abord salutations à tout le monde. Je suis nouveau sur le forum alors je me présente. Thibault, 24 ans, étudiant en mathématiques (bachelor 3) à l'Université de Neuchâtel en Suisse.

Voici le problème sur le quel je bute :

Soient X un espace de Hilbert séparable et [tex](e_{n})_{n\in\mathbb{N}}[/tex] une base hilbertienne de X.
L'objectif est de montrer que : [tex]\forall{x}\in X, x=\sum_{n}<x,e_{n}>e_{n}[/tex]

Pour moi il suffit de montrer que [tex]x=\sum_{n}c_{n}e_{n}[/tex] et par continuité du produit scalaire on aura immédiatement [tex]c_{n}=<x,e_{n}>[/tex].

Si on fixe x dans X, par densité du sous-espace engendré par les [tex]e_{n}[/tex] dans X, on peut trouver une suite [tex]a_{n}[/tex] de combinaisons linéaires finies des [tex]e_{n}[/tex] qui converge vers x.
En écrivant [tex] b_{n}=a_{n}-a_{n-1}[/tex], on ramène cette suite à la série [tex] \sum_{n}b_{n}[/tex], chaque [tex]b_{n}[/tex] étant lui même une combinaison linéaire finie des vecteurs de base. Maintenant si on note [tex]b_{n,k}[/tex] le k-ième coefficient de [tex]b_{n}[/tex] on a: [tex]x=\sum_{n}\sum_{k}b_{n,k}e_{k}[/tex]

Si on peut inverser les sommes on obtient exactement l'expression recherchée. Mon problème est de justifier l'inversion des sommes. Si on passe à la convergence absolue, on arrive assez facilement, à l'aide du théorème de Fubini, à montrer que la somme [tex]\sum_{k}(\sum_{n}b_{n,k})e_{k}[/tex] converge. Il reste à montrer que les deux suites convergent effectivement vers la même limite (soit x), mais là je bloque ...
Des pistes?

Salutations,

Thibault

Pied de page des forums