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).

#1 Re : Entraide (supérieur) » Différence entre $\mathbb{F}_2^E$ et $\mathbb{F}_2^{(E)}$ » Hier 23:04:26

Bonsoir,
$\mathbb F_2^{(E)}$ est le $\mathbb F_2$ espace vectoriel de base $E$ (avec les identifications naturelles).

#2 Re : Entraide (supérieur) » inégalité de Cauchy-Schwarz » Hier 14:34:00

Bonjour,
C'est utile pour faire des économies d'encre : écrire
$$- \Vert x\Vert\,\Vert y\Vert \leq \langle x,y \rangle \leq \Vert x\Vert\,\Vert y\Vert$$au lieu de
$$ |\langle x,y \rangle| \leq \Vert x\Vert\,\Vert y\Vert$$gaspille les ressources de la planète.

#3 Re : Le coin des beaux problèmes de Géométrie » Polygones et polyèdres, façon paramétrique ! » 15-04-2024 22:31:55

Bonsoir,

On peut remplacer les "Si" :

M = max((1-t),0)            *Ap +
       max(min(t,2-t),0)    *Bp +
       max(min(t-1,3-t),0) *Cm +
       max(min(t-2,4-t),0) *Am +
       max(min(t-3,5-t),0) *Bp +
       max(min(t-4,6-t),0) *Cp +
       max(min(t-5,7-t),0) *Am +
       max(min(t-6,8-t),0) *Bm +
       max(min(t-7,9-t),0) *Cp +
       max(min(t-8,10-t),0)*Ap +
       max(min(t-9,11-t),0)*Bm +
       max(min(t-10,12-t),0)*Cm +
       max(t-11,0)             *Ap

avec t dans [0,12].
On pourra faire un peu pareil pour paramétrer la surface de l'octaèdre.

#4 Re : Entraide (supérieur) » Base de topologie sur $X$ » 14-04-2024 19:12:44

Non, $x\in U_i$ c'est $x\in U_i$. Qu'est-ce qui n'est pas clair pour toi?
Une famille de parties de $X$ indexée par l'ensemble $I$, c'est une application $U : I\to \mathcal P(X)$. On a l'habitude, pour les familles, de noter $U_i$ plutôt que $U(i)$, mais c'est bien la même chose.
En suite, l'intersection d'une famille de partie de $X$, c'est par définition
$$\bigcap_{i\in I} U_i = \{x\in X \mid \forall i\in I\ \ x\in U_i\}\;.$$On ne fait ensuite qu'appliquer cette définition pour l'ensemble $I=\emptyset$. La formule $\forall i\in \emptyset\ \ x\in U_i$ est vraie quel que soit $x\in X$ : une formule quantifiée universellement sur l'ensemble vide est toujours vraie. Exemple : "tous les martiens sont verts". Si tu ne le crois pas, apporte-moi un martien qui n'est pas vert !

#5 Re : Entraide (supérieur) » Base de topologie sur $X$ » 14-04-2024 17:33:27

Bonjour,
Non, c'est l'ensemble des indices qui est vide :

$$\bigcap_{i\in \emptyset} U_i = \{ x\in X\mid \forall i\in \emptyset\ \ x\in U_i\} = X$$

#6 Re : Le coin des beaux problèmes de Géométrie » Polygones et polyèdres, façon paramétrique ! » 14-04-2024 15:21:36

Moi je cherche pareil, mais avec des coordonnées, pour le moment !

Ben, c'est tout bête : il suffit de recopier 3 fois la la formule que j'ai donnée en remplaçant "point" respectivement pas "x(point)", "y(point)"; "z(point)".

#7 Re : Le coin des beaux problèmes de Géométrie » Polygones et polyèdres, façon paramétrique ! » 14-04-2024 08:38:06

Bon dimancche,
Qu'appelles-tu "équation" ? Plus haut tu écrivais "je vous donne des équations ...".

#8 Re : Le coin des beaux problèmes de Géométrie » Polygones et polyèdres, façon paramétrique ! » 13-04-2024 19:08:34

Bonjour,

Qu'est-ce qui coince ? Ah oui, une coquille non corrigée. Voila, c'est corrigé.

#9 Re : Le coin des beaux problèmes de Géométrie » Polygones et polyèdres, façon paramétrique ! » 12-04-2024 11:41:10

Bonjour,

Je préfère noter les sommets de l'octaèdre A+ et A- sur un axe, B+ et B- sur un deuxième axe et C+ et C- sur un troisième. On parcourt alors les arêtes en répétant le motif ABC sur les lettres et ++-- sur les signes.

Voir Circuit eulérien sur les arêtes de l'octaèdre

M=Si(t<1,(1-t)*Ap+t*Bp,Si(t<2,(2-t)*Bp+(t-1)*Cm,Si(t<3,(3-t)*Cm+(t-2)*Am,Si(t<4,(4-t)*Am+(t-3)*Bp,Si(t<5,(5-t)*Bp+(t-4)*Cp,Si(t<6,(6-t)*Cp+(t-5)*Am,Si(t<7,(7-t)*Am+(t-6)*Bm,Si(t<8,(8-t)*Bm+(t-7)*Cp,Si(t<9,(9-t)*Cp+(t-8)*Ap,Si(t<10,(10-t)*Ap+(t-9)*Bm,Si(t<11,(11-t)*Bm+(t-10)*Cm,(12-t)*Cm+(t-11)*Ap)))))))))))

Correction en rouge.

#10 Re : Entraide (supérieur) » Méthode du supplémentaire pour une forme bilinéaire non régulière » 12-04-2024 00:23:14

C'est plutôt $\ker(b)\subset A^{\perp_b}$.
Par ailleurs on a $b(x,y)= \overline b(\overline x, \overline y)$, ce qui entraîne directement que $\pi^{-1}\left(\pi(A)^{\perp_{\overline b}}\right)= A^{\perp_b}$ et que $\left(A^{\perp_b}\right)^{\perp_b} = \pi^{-1}\left(\left(\pi(A)^{\perp_{\overline b}}\right)^{\perp_{\overline b}}\right)=\pi^{-1}\left(\pi(A)\right)$.

#11 Re : Entraide (supérieur) » Base de topologie sur $X$ » 11-04-2024 15:30:16

Avec plaisir.
La règle "Au moins ..." de ce forum ne permet pas de répondre simplement "Avec plaisir."

#12 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Math appliqué » 11-04-2024 15:28:31

Bonjour,
Le résultat donné dans le message précédent est forcément faux : quand on intègre une quantité positive sur une surface, on ne peut pas trouver un résultat négatif.
On peut aussi procéder assez facilement en utilisant Green-Riemann :
$$ \iint_S x\,dx\,dy = \int_{\partial S} \frac{x^2+y^2}2 \, dy$$

#13 Re : Entraide (supérieur) » Base de topologie sur $X$ » 11-04-2024 14:48:08

Parce qu'un élément de $\mathcal B$ est bien une réunion d'éléments de $\mathcal B$.

#15 Re : Entraide (supérieur) » Base de topologie sur $X$ » 11-04-2024 12:51:11

Bonjour,
Je dirais qu'une partie $\mathcal B$ de $\mathcal P(X)$ est une base de topologie sur $X$ si et seulement toute intersection finie d'éléments de $\mathcal B$ est une réunion (quelconque) d'éléments de $\mathcal B$. Dans les intersections finies, il y a l'intersection indexée par l'ensemble vide qui est $X$.

Si toute intersection finie d'éléments de $\mathcal B$ est élément de $\mathcal B$, c'est bien sûr vérifié.

#16 Re : Entraide (supérieur) » Dual d'un bimodule. » 11-04-2024 12:45:35

Bonjour,
La contexte de la question devrait être explicité.

#17 Re : Entraide (supérieur) » Fonctions de plusieurs variables : continuité » 11-04-2024 12:41:13

Soient $F$ et $G$ deux fermés de $\mathbb R^2$, tels que $F\cup G=\mathbb R^2$, $f$ continue sur $F$ et $g$ continue sur $G$. Alors $f$ et $g$ sont les restrictions d'une même fonction continue sur $\mathbb R^2$ si et seulement si $f=g$ sur $F\cap G$.
Tu peux appliquer ça ici.

#18 Re : Entraide (supérieur) » Méthode du supplémentaire pour une forme bilinéaire non régulière » 11-04-2024 12:17:20

Bonjour,
Le sous-espace $\pi(A)$ est l'image de la restriction de $\pi$ à $A$ : $\pi|_A : A \to E/\ker(b)$. Quel est le noyau de $\pi|A$ ? Que te dit le théorème du rang sur la dimension de l'image de $\pi|_A$ ?

#19 Re : Entraide (supérieur) » Fonctions de plusieurs variables : continuité » 11-04-2024 12:08:21

Bonjour,
La limite de $f(x,2)$ quand $x$ tend vers 2 par valeurs $<2$ n'est pas égale à la limite de $f(x,2)$ quand $x$ tend vers 2 par valeurs $>2$. Donc $f$ n'est pas continue.

#20 Re : Entraide (supérieur) » Fraction rationnelle » 14-03-2024 15:08:14

Bonjour,
On peut aussi constater que $X^4+X^2+1 = (X^4+2X^2+1)-X^2$.

#21 Re : Entraide (supérieur) » Rang d'une matrice bilinéaire » 26-02-2024 11:24:28

Pourrais-tu écrire la formule de changement de base pour la matrice d'une forme bilinéaire ? Cela évitera de discuter dans le vide.

#22 Re : Entraide (supérieur) » Rang d'une matrice bilinéaire » 24-02-2024 22:15:25

Bonsoir,
La formule de changement de base pour la matrice d'une forme bilinéaire donne l'invariance du rang.

#23 Re : Entraide (supérieur) » Méthode du supplémentaire pour une forme bilinéaire non régulière » 23-02-2024 15:42:27

La "méthode du supplémentaire" est un ersatz du passage au quotient. Le passage au quotient est banni parce que jugé trop difficile pour les étudiants. Moyennant quoi, on bidouille avec des supplémentaires qui, à mon avis, ne font qu'obscurcir les choses.
Ici le $F$ est un ersatz du quotient $E/\ker(b)$ et $G$ un ersatz de l'image de $A$ dans ce quotient. Précisément, le passage au quotient $E\to E/\ker(b)$ induit un isomorphisme de $F$ sur ce quotient et un isomorphisme de $G$ sur l'image de $A$ dans le quotient. L'isomorphisme $F\to E/\ker(b)$ transporte la forme induite $b_F$ sur $\bar b$. En particulier $b_F$ est non dégénérée.

#24 Re : Entraide (supérieur) » Méthode du supplémentaire pour une forme bilinéaire non régulière » 23-02-2024 10:27:49

Bonjour,
Je me perds un peu dans tes notations.
La "bonne" façon de faire est à mon avis de passer au quotient par le noyau $\ker(b)$ : $b$ induit une forme bilinéaire $\bar b$ non dégénérée sur $E/\ker(b)$ par $\bar b(\bar x, \bar y)=b(x,y)$.
L'orthogonal de $A$ pour $b$ est alors l'image réciproque le long de $E\to E/\ker(b)$ de l'orthogonal pour $\bar b$ de l'image de $A$. Comme $\bar b$ est non dégénérée, les dimensions se calculent bien et l'orthogonal de l'orthogonal de l'image de $A$ pour $\bar b$ est l'image de $A$.

#25 Re : Entraide (supérieur) » Série numérique » 22-02-2024 12:46:25

Bonjour,
Il serait bon aussi de vérifier l'énoncé : il s'agit d'étudier la suite $(u_n)$ ou la série de terme général $u_n$ ? Ce n'est pas du tout la même histoire !

Pied de page des forums