Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Entraide (supérieur) » Separable » 26-11-2020 21:31:50
Ah oui voilà j'ai compris.
Et donc quand $car(K)=0$ et $pgcd(P',P)=P$ alors on explique comme vous me l'avez expliqué que nécessairement $P'=0$ mais du coup cela veut dire que $P=a$ (a une constante) mais je n'ai pas prouvé dans ce cas que $P$ est séparable ...
Up --------------------------------------------------------------------------------------------------------------------------------------------------------
J'ai réfléchi et je trouve qu'il y a quelque chose de contradictoire
soit $pgcd(P',P)=P$
Si P est non constant donc $P' \neq 0$ alors $deg pgcd(P',P) \leq deg(P') < deg(P)$
Mais du coup $pgcd(P',P)$ ne pourra pas être égale à P
Donc pour que $pgcd(P',P)=P$ il faut nécessairement que $P'=0$ donc $P$ constant
Mais alors la question c'est est-ce qu'un polynôme constant (non nul) est séparable ?
#2 Re : Entraide (supérieur) » Separable » 26-11-2020 19:52:58
Bonsoir et merci de votre réponse Fred
Je pense qu'ici, ce n'est qu'une question de degré... Le degré de $P_i^{\alpha_i-1}$ est $(\alpha_i-1)\deg(P_i)$ si $\alpha_i-1\neq 0$.
Je ne sais pas si je comprends bien vos explications. Vous voulez dire que [tex]\prod_{i=0}^d {P_i^{\alpha_i - 1}} = 1[/tex] si le degré de $P_i^{\alpha_i-1}$ est $(\alpha_i-1)\deg(P_i)$ si $\alpha_i-1\neq 0$
Mais je ne vois pas du coup pourquoi tous les [tex]\alpha_i[/tex] seraient égales à 1...
Ton implication $pgcd(P,P')=pgcd(P,0)\implies P'=0$ me semble un peu rapide. En général, ce n'est pas parce que $pgcd(P,Q)=pgcd(P,R)$ que $Q=R$. Mais si $P'\neq 0$, alors on sait que le degré du pgcd de $P$ et de $P'$ sera inférieur ou égal à $P'$, et donc ne pourra pas être $P$?!?
Donc bien sur dans le cas où $P'= 0$ alors $deg pgcd(P,P') = deg (P) = deg(P') = 0$
Mais si $P'\neq 0$, alors $deg pgcd(P,P') \leq deg(P') < deg(P) $
Donc $pgcd (P',P)= P$ si $pgcd (0,P)$ donc $P'=0$ donc P est un polynôme constant mais comment alors en déduire que P est séparable ?
Oui, mais seulement si $P$ est un polynôme constant....
Et en caractéristique $p$??? Je pense que tu dois partir à peu près de la même façon!
Ah oui donc peut être partir de "soit $P$ un polynôme constant donc $P'=0$
Maintenant si $car(K)=p>0$
$pgcd(P',P) = 1$ implique que $\prod_{i=0}^r P_i ^{\beta_i} = 1$ donc $\beta_i=0$ donc $\alpha_i-1 = 0$ donc $\alpha_i =1$ (donc P séparable) ou $\alpha_i=0$ alors $P=1$ d'où $P'=0$
$pgcd(P',P) = P$
$P'\neq 0$, alors $deg pgcd(P,P') \leq deg(P') < deg(P) $
Alors $pgcd(P',P) = P = pgcd(0,P)$ alors $P'=0 $
Donc si $pgcd(P',P)=\left\{1,P \right\}$ alors $P$ est séparable ou $P'=0$
Réciproquement,
$P$ est séparable ou $P'=0$
Si $P$ est séparable et $P' \neq 0$ alors $P = \prod_{i=0}^r P_i $
Alors $pgcd(P,P')= \prod_{i=0}^r P_i ^{1-1}=1$
Si $P'=0$ alors $pgcd(P',P) = pgcd(P,0)=P$
Donc $pgcd(P',P=) = \left\{1,P \right\}$
#3 Re : Entraide (supérieur) » Separable » 26-11-2020 15:50:44
Bonjour,
Je me permets d'écrire mes avancements pour ceux que cela intéresse !
Pour [tex]car(K)= 0[/tex] ,
On suppose [tex]pgcd(P,P') = \left\{1,P \right\}[/tex]
[tex]pgcd(P,P') = \prod_{i=1}^r {P_i^{\alpha_i-1}}[/tex]
[tex]pgcd (P,P') =1[/tex] alors [tex]\prod_{i=1}^r {P_i^{\alpha_i-1}}= 1 \alpha_i-1 = 0[/tex] pour tout [tex]i \in \left\{1,...,r \right\}[/tex] donc [tex]\alpha_i=1[/tex] mais ici je suis pas certaine de la justification.... D'où [tex]P= \prod_{i=1}^r {P_i}[/tex]
[tex]pgcd(P,P')= P = pgcd(P,0)[/tex] donc [tex]P'=0[/tex] donc P est de degré 1 c'est à dire [tex]\alpha_i=1[/tex] pour tout [tex]i \in \left\{1,...,r \right\}[/tex]
Donc P est séparable
Réciproquement, supposons P séparable alors [tex]P = \prod_{i=1}^r {P_i}[/tex]
Si [tex]P' = 0[/tex] alors [tex]pgcd(P,P')=pgcd(0,P)=P[/tex]
Si [tex]P' \neq 0[/tex] alors [tex]pgcd(P,P')= \prod_{i=1}^r {P_i^{1-1}}=1[/tex]
Donc [tex]pgcd{P,P'}=\left\{1,P \right\}[/tex]
Mais j'ai un doute avec ce raisonnement, en caractéristique nulle, [tex]P'[/tex] peut-il être égal à [tex]0[/tex] ?
#4 Entraide (supérieur) » Separable » 25-11-2020 14:18:44
- Laulau
- Réponses : 5
Bonjour,
Tout d'abord j'ai trouvé un exemple de polynôme irréductible dans [tex](Z/pZ)(T)[X][/tex] (p premier) dont la dérivée est nulle mais je ne suis pas sûre: je propose [tex]X^2-t[/tex] dans [tex](Z/2Z)(T)[/tex]
De plus, j'aimerai montrer que : ([tex]P= \prod_{i=1}^r P_i^{\alpha_i}[/tex]
Soit [tex]K[/tex] un corps et on suppose [tex]car(K)= 0[/tex]. Montrer que [tex]pgcd(P,P') \in \left\{1,P \right\}[/tex] si et seulement si [tex]P[/tex] est séparable.
Et faire de même si K est parfait et [tex]car(K)=p >0[/tex] et montrer que [tex]pgcd(P,P') \in \left\{1,P \right\}[/tex] si et seulement si [tex]P[/tex] est séparable ou [tex]P'=0[/tex]
Pour la caractéristique nulle,
J'ai démontré avant que si [tex]car(K)=0[/tex] on a [tex]pgcd(P,P')= \prod_{i=1}^r P_i^{\alpha_i-1}[/tex]
Pour la caractéristique p (premier)
J'ai démontré que si [tex]car(K)=p>0[/tex] alors [tex]pgcd(P,P') = \prod_{i=1}^r P_i^{\beta_i}[/tex] tel que si p ne divise pas [tex]\alpha_i[/tex] et [tex]P'_i \neq 0[/tex] alors [tex]\beta_i = \alpha -1[/tex] sinon [tex]\beta_i=\alpha_i[/tex]
Je vous remercie d'avance si vous avez des idées pour les démonstrations
Bien cordialement
#5 Entraide (supérieur) » Voisinage » 05-10-2020 11:40:29
- Laulau
- Réponses : 0
Bonjour !
J'ai un petit exercice qui me pose problème. Voici l'énoncé :
Soit [tex]f : \begin{cases}
R^2 \rightarrow R^2 \\
(x,y) \rightarrow (1+x,1+x^2)
\end{cases}[/tex]
Vous montrerez l'existence d'un voisinage [tex] A[/tex] de [tex](9,0) \ R^2[/tex] et d'un voisinage [tex]B[/tex] de [tex](1,1)\in R^2 [/tex] tel que [tex]f[/tex] restreint à [tex]A[/tex] : [tex]A \leq B[/tex] est inversible.
On notera [tex]h[/tex] son inverse et vous déterminerez le polynôme de Taylor d'ordre 1 de [tex]h[/tex] au point [tex]a=(2,1)[/tex]
Déjà pour montrer l'existence d'un voisinage [tex]A[/tex] j'ai commencé par calculer :
[tex]f(0,0)=(1,1)[/tex]
Mais après je ne sais plus quoi faire parce que je sais qu'un voisinage d'un point est une partie de l'espace qui contient un ouvert qui comprend ce point mais je n'arrive pas à le montrer ...
Merci d'avance pour votre aide
Bonne journée
#6 Re : Entraide (supérieur) » Matrice Hermitienne » 13-06-2020 16:37:12
Oui exacte !
Je vous remercie sincèrement pour votre aide,
Je vous souhaite une bonne journée !
Bien cordialement
#7 Re : Entraide (supérieur) » Matrice Hermitienne » 12-06-2020 17:57:28
Bonsoir, merci de votre réponse
Oui c'est vrai !
Par exemple pour V1 je trouve comme norme [tex]\sqrt(2/3)[/tex]
Donc en divisant tous les termes de mon vecteur je vais avoir une norme de 1.
Cependant pour V3 je trouve une norme de [tex]\sqrt(-2)[/tex] ce qui me semble impossible ...
Je vais revérifier mes calculs
#8 Entraide (supérieur) » Matrice Hermitienne » 11-06-2020 16:12:20
- Laulau
- Réponses : 4
Bonjour !
Je n'arrive pas à répondre à la question suivante :
Diagonaliser M dans une base orthonormale de vecteurs propres :
[tex]\begin{pmatrix}
1 & 0 & -i \sqrt(3)\\
0 & 2 & 0\\
i \sqrt(3) & 0 & -1
\end{pmatrix}[/tex]
Avant cette question il fallait montrer que M est hermitienne et je l'ai montré en montrant que [tex]^t\bar{M}=M[/tex]
J'ai cherché les valeurs propres et j'ai trouvé 2 et -2 puis les vecteurs propres et j'ai obtenu :
Pour [tex]\lambda =-2[/tex]
[tex]V1= \begin{pmatrix}
\frac{i\sqrt(3)}{3}\\
0\\
1
\end{pmatrix}[/tex]
Pour [tex]\lambda =2[/tex]
[tex]V2= \begin{pmatrix}
0\\
1\\
0
\end{pmatrix}[/tex]
[tex]V3= \begin{pmatrix}
{-i\sqrt(3)}\\
0\\
1
\end{pmatrix}[/tex]
Mais on est pas sur que ces vecteurs soient unitaires ...
Si quelqu'un a une idée ou une autre méthode je suis preneuse !
Bonne journée
Bienn cordialement,
Laurine
#9 Re : Entraide (supérieur) » Symétrie » 13-05-2020 11:54:40
Oui exacte ! Mais je viens de m'en rendre compte !J'ai compris par conséquent.
Pour finir,je me demande que si maintenant au lieu de prendre une translation mais une symétrie centrale. On peut affirmer qu'avec ce qu'on vient de démontrer que c'est la composée d'u nombre ipair cette fois-ci de symétrie de centre le cerle.
#10 Re : Entraide (supérieur) » Symétrie » 13-05-2020 09:21:56
Bonjour !
Je vous remercie déjà pour votre explication détaillée.
Soit $d$ le diamètre du cercle, et $\ell$ la longueur de $\vec u$.
Alors il existe une corde de direction $\vec u$ tel que, si je note $A$ et $B$ les points d'intersection de cette corde avec le cercle, on a
$2\overrightarrow{AB}=\vec u$. Ceci vient du fait que $\ell\leq 2d$.
Je vois bien que nous sommes dans le cas où [tex]l<=2d[/tex]
Mais si je prends une cordes et si je note A et B les points d'intersection de cette corde avec le cercle. Pour moi il n'y a qu'un point qui peut couper le cercle et par conséquent je ne vois pas que $2\overrightarrow{AB}=\vec u$.
Concrètement je n'arrive pas à placer les points A et B. Je vais faire un schéma pour que vous comprenez ce que je veux dire. https://ibb.co/dP1SXTd
Pour le reste si je comprends ci-dessus, l'autre cas est logique et la conclusion de même.
#11 Re : Entraide (supérieur) » Symétrie » 12-05-2020 23:54:46
La longueur de [tex]\vec{u}[/tex] < 2*r
On a vu précédent que la translation de vecteur u = [tex]2 \vec{AB}[/tex] est là composée de deux symétries centrales
Dinc la longueur 2AB < 2r donc AB<r
Or À est le centre de la symétrie centrale et B est le centre de l’autre symétrie centrale
Donc cela veut dire que A est le mileu de la symétrie et de même pour B
Par conséquent À et B appartiennent au cercle.
#12 Re : Entraide (supérieur) » Symétrie » 12-05-2020 22:33:35
Rebonsoir
Oui je comprends et c'est exactement ça !
Donc maintenant il faut que le montre que toute translation est la composée d'un nombre pair de symétries centrales dont les centres sont placés sur le cercle.
Mais ne peut-on pas dire que vu que la composé de translation est une translation et qu'une translation est la composée de deux symétries centrales alors la composé de translation (qui est une translation) sera la composée de deux symétries centrales donc d'un nombre pair de symétrie centrale
Pour l'utilisation de la donnée "symétrie centrale de centre le cercle" je n'ai hélas aucune idée.
#13 Re : Entraide (supérieur) » Symétrie » 12-05-2020 20:51:29
Bonsoir,
D'accord si je calule les coordonnées de l'image du point M(x,y) par la symétrie de centre [tex]A(x_A,y_A)[/tex]
Par exemple l'image du point M(x,y) je l'appelle M'(x',y')
donc [tex]x'=2x_A-x=2x_B-x[/tex]
[tex]y'=2y_A-y=2y_B-y[/tex]
Donc je retrouve bien comme vous que la composée était la symétrie de vecteur [tex]2\vec{AB}[/tex]
"Donc, si tu as une translation de vecteur [tex]\vec{u},[/tex] c'est assez facile de construire deux points A et B de sorte que [tex]2\vec{AB}=\vec{u}[/tex]"
Je suis d'accord il suffit que si on dit [tex]\vec{u}=(x_u,y_u)[/tex] il faut que [tex]x_u=2(x_B - x_A)[/tex] et pareil pour y
Or au début on a vu que la composée est la symétrie de translation [tex]2\vec{AB}[/tex]
Par conséquent on peut dire que la translation de vecteur u est la composée de 2 symétries centrales !
Or je sais que la composé de translation est une translation (propriété cours)
Donc toute translation est la composée d'un nombre pair de symétries centrale.
Cependant, ce qui me "chagrine un peu" c'est que je n'ai pas utilisé que le centre des syméties devait appartenir au cercle de rayon positif.
Peut-être faudrait dire que les centres doivent s'écrire [tex]2\pi r[/tex] (le périmètre du cercle) ?
Enfin, je me rend compte en écrivant ceci qu'on peut dire que toute symétrie centrale est la compose d'un nombre impair de symétrie centrales.
En effet la symétrie centrale est égale à une translation + symétrie. Ai-je raison ?
Je vous remercie pour votre aide,
Bonne soirée,
Bien cordialement
#14 Re : Entraide (supérieur) » Symétrie » 12-05-2020 19:47:15
En fait j'arrive à dessiner pour montrer qu'une translation du plan est la compose de 2 symétries mais je n'arrive pas à l'écire mathématiquement n fait sans utiliser mes points du dessin
#15 Re : Entraide (supérieur) » Symétrie » 12-05-2020 15:11:30
Rebonjour,
J'ai fait un schéma pour que ce soit plus simple à expliquer. https://ibb.co/N7k0YN3
J'ai montré que la composée de la symétrie de centre A et de la symétrie de centre B est la translation du vecteur [tex]\vec{A'B'}[/tex]
Si je prends un autre vecteur par exemple le vecteur [tex]\vec{v}[/tex]
Il faut que je place D' et E' pour que :
[tex]\vec{D'E'}=\vec{D'I'}+\vec{I'E'}[/tex]
Le centre de symétrie appartient au cercle
#16 Entraide (supérieur) » Symétrie » 12-05-2020 13:00:38
- Laulau
- Réponses : 13
Bonjour !
Je suis nouvelle sur ce forum et j'ai un peu "honte" de demander cela mais je n'arrive pas à montrer une démonstration qui me paraît simple sur un schéma mais que je n'arrive pas à bien rédiger.
Je vous explique ce que je veux démontrr :
J'ai un cercle C (rayon positif), un plan affine euclidien et je pose S les symétries centrales du plan avec le centre qui appartient au cercle.
J'aimerai montrer que pour n'importe quelle translation du plan c'est la composé d'un nombre pair d'éléments de S.
J'ai réussi à montrer que la composée de 2 symétries est une translation.
Je sais de plus d'après une propriété que la composé de deux traslation est une translation
Mais peut-on dès lors affirmer qu'une translation est une composée de deux symétries ?
Parce si on peut l'affirmer, deux est pair donc une translation est composé d'un nombre pai d'éléents de S
De plus, je ne vois pas en quoi le cercle nous sert ici ... je voi bien que les centres de S doivent être sur ce cercle de périmètre [tex]2\pi r[/tex] mai je n'arrive pas à l'incorporer dans ma démonstration.
Je remercie d'avance toutes aides
Cordialement
Pages : 1







