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

#126 Re : Entraide (supérieur) » Vers la fin d'un exo intéressant ( anneaux décomposables ) » 25-07-2025 14:18:50

Bonjour,
Les idempotents d'un anneau commutatif $A$ forment une algèbre de Boole avec $e\wedge f=ef$, $e'=1-e$ et par conséquent $e\vee f=e+f-ef$. 
Par ailleurs, $e$ est un atome de l'algèbre de Boole des idempotents de $A$ si et seulement si $A/(1-e)A$ est indécomposable.
Si l'algèbre de Boole des idempotents de $A$ est finie, elle est isomorphe à l'algèbre de Boole des parties de l'ensemble de ses atomes $e_1,\ldots,e_r$ qui sont des idempotents orthogonaux vérifiant  $e_1+\cdots+e_r=1$ et $A$ est isomorphe au produit cartésien $\prod_{i=1}^r A/(1-e_i)A$. On a bien alors unicité de la décomposition en produit d'anneaux indécomposables.

#127 Re : Entraide (supérieur) » fonctionnelle de Minkowski » 24-07-2025 14:02:39

Bonjour,
C'est une propriété de la borne inférieure (plus grand des minorants) : $f(x)$ est la borne inférieure de l'ensemble des $r$ tels que $x\in rA$.

#128 Re : Entraide (supérieur) » Isomorphisme entre U et C* ? » 23-07-2025 07:54:17

est-ce vrai que même si U était simplement connexe, cela ne suffirait pas à démontrer qu’il n’y a pas d’isomorphisme ?

Non, cela ne suffirait pas. $U$ et $\mathbb C^*$ ont bien des propriétés topologiques différentes : par exemple si on enlève $1$ à $U$, il devient simplement connexe, tandis que si on enlève $1$ à $\mathbb C^*$ il reste non simplement connexe.

#129 Re : Entraide (supérieur) » Cas d'unicité d'un coefficient de Bezout » 22-07-2025 15:53:17

Oui, sauf que je prendrais plutôt $0\leq x < b$ : si $a$ et $b$ sont deux entiers premiers entre eux, il existe un et un seul $x$ et un et un seul $y$ tels que $ax+by=1$ et $0\leq x<b$.

On peut calculer directement sans utilisation du lemme de Gauss :$$ x-x'= x(1-ax') + x'(ax-1)= b(xy'-x'y).$$

#131 Re : Entraide (supérieur) » Isomorphisme entre U et C* ? » 22-07-2025 14:22:38

Bonjour,
Contrairement à ce qu'affirme Rescassol, $U$ n'est pas non plus simplement connexe. Son argument n'est donc pas valable.
En fait $U$ et $\mathbb C^*$ sont isomorphes en tant que groupes (mais on ne peut pas exhiber un tel isomorphisme).
Ce sont tous les deux des groupes abéliens divisibles https://fr.wikipedia.org/wiki/Groupe_divisible, et ils ont même sous-groupe de torsion (le groupe des racines de l'unité). Leurs quotients par ce sous-groupe de torsion sont isomorphes, puisque ce sont des espaces vectoriels sur $\mathbb Q$ qui ont la puissance du continu.

#132 Re : Entraide (supérieur) » Cas d'unicité d'un coefficient de Bezout » 22-07-2025 14:09:33

Bonjour (ça ne mange pas de pain !),
Si $ax+by=ax'+by'=1$, alors $b$ divise $x-x'$. C'est la clé.

#133 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Les filles sont-elles paresseuses » 11-07-2025 13:12:12

Bonjour,

bridgslam a écrit :

[nota bene: p prend en compte le fait que, de temps à autre, un parent peut décrocher ]

Qu'est-ce que ce "prend en compte" veut dire ?

#134 Re : Café mathématique » Nombres premiers » 09-07-2025 15:52:36

$p^q$, si $p$ est premier, possède $q+1$ diviseurs.

#135 Re : Café mathématique » Nombres premiers » 09-07-2025 10:20:42

Bonjour,
La réponse arrive facilement quand on sait calculer le nombre de diviseurs d'un entier naturel $>0$ à partir de sa décomposition en facteurs premiers $n=\prod_{p\in P} p^{\alpha_p}$ où $P$ est l'ensemble des diviseurs premiers de $n$ : c'est $\sum_{p\in P} (\alpha_p+1)$. Vu que $\alpha_p\geq 1$ pour tout $p\in P$, le nombre de diviseurs de $n$ est égal à 4 si et seulement si $n$ est le cube d'un premier ou le produit de deux premiers distincts.

#136 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Problème - arithmétique » 05-07-2025 13:59:28

Exact, j'avais sauté le modulo 4 et j'étais donc parti sur congru à 29 modulo 30, alors que c'est congru à 59 modulo 60.

#137 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Problème - arithmétique » 05-07-2025 07:11:43

Bonjour,
Il y a cinq entiers naturels plus petits que 1000 qui satisfont les équations modulaires.

#138 Re : Café mathématique » Le raisonnement inductif à double indice (n) et (p) » 30-06-2025 21:32:48

Bonsoir :
Une analogie classique : l'écroulement d'une file de dominos
https://www.youtube.com/watch?v=o_L0yqFWR7M
On fait tomber le premier domino. La chute d'un domino entraîne celle du suivant  ... et à la fin tous les dominos sont tombés.
On démontre P(0). On démontre que si P(k), alors P(k+1) ... et à la fin on a démontré P(n) pour tout entier n

#139 Re : Enigmes, casse-têtes, curiosités et autres bizarreries » Probas sur 2 garçons » 26-06-2025 19:58:29

Bonsoir,

Supposant que les sexes sont équiprobables et les jours de naissance équiprobables dans la semaine et indépendants du sexe :

$\dfrac{13}{27}$

#141 Re : Entraide (supérieur) » Pivot Gauss question » 18-06-2025 16:25:08

C'est jouer sur les mots.

Non, juste une constatation factuelle

#142 Re : Entraide (supérieur) » Pivot Gauss question » 18-06-2025 15:44:18

j'ajoute deux fois la deuxième colonne à la première

Tu utilises donc un pivot.

#143 Re : Entraide (supérieur) » Pivot Gauss question » 16-06-2025 15:18:49

Tout dépend de ce qu'on veut faire.
Si on veut échelonner une matrice suivant les lignes, on ne fait que des opérations sur les lignes. Ça peut servir par exemple à vérifier qu'une matrice est inversible et à calculer son inverse. Dans ce cas de figure, il serait catastrophique de mélanger opérations sur les lignes et sur les colonnes.
Si on veut résoudre un système linéaire en optimisant la précision (quand les coefficients du système sont des valeurs numériques approchées, par exemple), on a intérêt à procéder comme dans ton syllabus en cherchant pour pivot le coefficient de plus grande valeur absolue.

#144 Re : Entraide (supérieur) » Pivot Gauss question » 16-06-2025 13:37:52

Pour échelonner une matrice suivant les lignes, on n'opère pas sur les colonnes !
Par ailleurs, ne pas confondre "échelonner" et "triangulariser". Ce sont deux choses bien différentes.

#145 Re : Entraide (supérieur) » Fibré principal pour une forme quadratique » 16-06-2025 13:35:33

Bonjour,
La propriété (P) telle que tu l'énonces est fausse. J'y croirais plus si dans l'hypothèse on avait $q$ non dégénérée au lieu de non nulle.

#146 Re : Entraide (supérieur) » Pivot Gauss question » 16-06-2025 13:18:47

Bonjour,
Bien sûr que $x=y=z=0$ est solution évidente d'un système linéaire homogène ! Le pivot pour vérifier que le système est bien de Cramer se fait sans difficulté. On peut utiliser le $-1$ de la deuxième ligne comme premier pivot ($L_1 \leftarrow L_2;\ L_2\leftarrow L_1+2L_2;\  L_3\leftarrow L_3-L_2$):
$$\begin{pmatrix} -1&1&1\\ 0&1&2\\ 0&2&-3\end{pmatrix}$$ puis le 1 de la nouvelle deuxième ligne comme deuxième pivot ($L_3\leftarrow L_3-2L_2$) :
$$\begin{pmatrix} -1&1&1\\ 0&1&2\\ 0&0&-7\end{pmatrix}$$

#147 Re : Entraide (supérieur) » Equivalence entre fonction avec limite et représentation paramétrique. » 08-06-2025 10:53:51

Le problème est que la limite ne fait pas sens et tu ne peux pas évacuer ce problème.

J'ai trouvé il y a peu de temps une fonction assez étrange

Tu l'as trouvée où ? D'où cela sort-il ?

#148 Re : Entraide (supérieur) » Equivalence entre fonction avec limite et représentation paramétrique. » 07-06-2025 21:36:25

Bonsoir,
Je ne comprends pas ce que tu écris. La fonction $f$ n'est définie qu'en $0$ vu que, pour $x>0$, $(-1)^{E(ax)}$ ne converge pas quand $a$ tend vers $+\infty$.

#149 Re : Entraide (supérieur) » Branche du logarithme sur un ouvert connexe » 29-05-2025 13:55:12

Bonjour,

Sur chacun de ces ouverts, il n'y a pas unicité de la détermination continue du logarithme. Il y a unicité si on impose par exemple que le logarithme de $-1$ est $i\pi$.
Comme expliqué plus haut, la détermination du logarithme est le choix de l'argument. Tu peux dessiner les plans privés des demi-droites, et voir dans chaque cas entre quoi et quoi varie l'argument dans le complémentaire de la demi-droite, si on impose que l'argument de $-1$ est $\pi$.

#150 Re : Entraide (supérieur) » différentielle d'un déterminant » 24-05-2025 14:23:11

Bonjour,
Pour toute matrice carrée $A$ de taille $n$, en notant $\mathrm{Cof}(A)$ la matrice des cofacteurs, on a $\mathrm{Cof}(A)^{\mathsf T}\,A=\det(A) \,I_n$.

Pied de page des forums