Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#1 Re : Entraide (supérieur) » Test d'indépendance du Khi-2 » 23-08-2024 08:54:02
Bonjour Fred,
J'ai acheté l'ouvrage de M. Marchal sur le sujet (Cours et exercices corrigés de statistiques inférentielles) , où beaucoup de propositions sont démontrées (avec des coquilles quelquefois.. .) avec des références mathématiques qui ne dépassent pas la L3. Mais justement il est plus flou avec ce fameux test d'indépendance du CHi2 et annonce "le théorème de Cochran nous assure que ..." L'expérience m'a prouvé qu'il y a avait peut-être un lièvre ...
J'ai emprunté le deuxième ouvrage référence sur le doc de l'ENS dans une BU "... statistiques en action". Il y a une preuve mais qui ne repose pas directement sur le théorème de Cochran; et établit un résultat dans le cadre plus général d' une statistique obtenue par le maximum de vraisemblance; mais tout n'est pas démontré malheureusement. Donc c'est vrai que je préfère de loin, trouver une preuve basique dédiée plutôt que quelque chose de plus fumeux pour moi et avec des "trous" ... C'est la raison pour laquelle j'ai lancé cette bouteille à la mer sur le site de Bibmath en me disant qu'un matheux statisticien aurait certainement une vision beaucoup plus claire que moi.
#2 Re : Entraide (supérieur) » Test d'indépendance du Khi-2 » 22-08-2024 14:23:41
Bonjour Fred,
J'avais trouvé ce document moi aussi mais même si il est très clair pour le théorème de Cochran, il ne mentionne pas l'application au test d'indépendance ( qui teste si deux caractères d'une population sont indépendants.) mais plutôt aux autres types de test. Vu que je trouve pas facilement de ressources , je me dis que cela doit être un peu technique (choisir le bon ev, les bons espaces de projection) et cela m'intéresse car d'après ce que j'ai compris c'est un test classiquement mis en oeuvre en maths appliquées... J'avoue que j'ai cherché mais sans m'acharner. Raphaël
#3 Re : Entraide (supérieur) » Test d'indépendance du Khi-2 » 21-08-2024 16:17:48
Et bien, c'est mon premier gros bide sur bibmaths ....Y-a t'il un statisticien dans la salle ?
#4 Entraide (supérieur) » Test d'indépendance du Khi-2 » 15-08-2024 12:23:54
- raphael.thiers
- Réponses : 6
Bonjour,
Je cherche à connaitre la preuve qui sous-tend le test d'indépendance du khi 2 (tel qu'il est décrit sur bibmath
https://www.bibmath.net/dico/index.php? … test.html)
Y a t'il une preuve simple à partir du théorème de Cochran ?
Merci par avance !
R. Thiers
#5 Entraide (supérieur) » divisibilité , diviseur de zéro ... » 05-10-2023 11:25:47
- raphael.thiers
- Réponses : 4
Bonjour,
Questions aux algébristes et aux pédagogues:
Mes élèves de Terminales Maths expertes, étaient un peu choqués que je leur annonce que tout entier relatif divise zéro.
En particulier, 0 divise 0 ce qui , on peut les comprendre, les heurte un peu si on le comprend par "0 est divisé par 0".
Doit donc s'autoriser à dire que "tout entier relatif est un diviseur de zéro" ... ?
Car si on considère $\mathbb{Z}$ comme un anneau (ce qu'il est !) et qu'on applique la notion générique de "diviseur de zéro" , $\mathbb{Z}$ ne possède aucun diviseur de zéro (parce qu'il est intègre).
Qu'en pensez-vous ?
R. Thiers
#6 Re : Entraide (supérieur) » Polynôme caractéristique d'une matrice (sur un anneau commutatif ) » 18-04-2023 17:51:32
Merci Michel, c'est bien ce dont je me doutais.
Mais j'ai été troublé par le fait que je ne l'ai jamais lu explicitement dans les ouvrages universitaires consultés.
Après pour la définition au facteur $(-1)^n$ près, je n'ai pas l'impression qu'il y ait de consensus dans la littérature.
#7 Entraide (supérieur) » Polynôme caractéristique d'une matrice (sur un anneau commutatif ) » 16-04-2023 11:33:20
- raphael.thiers
- Réponses : 3
Bonjour,
Question basique !
Peut-on dire d'après vous
que le polynôme caractéristique de la matrice A , construit à partir des coefficients de A dans un corps K,
à partir de la fonction polynomiale de K dans K, $x\to \det( A-xI)$ (définition classique) coïncide exactement avec le déterminant sur l'anneau commutatif K[X] de la matrice A-XI .
Ce qui justifierait la notation usuelle $\chi_A(X)=\det(A-X.I)$ justement .
Ma question vient du fait qu'on ne m'a jamais présenté les choses ainsi ....
#8 Re : Entraide (supérieur) » Facteur de convergence dans la méthode de la puissance » 02-05-2022 16:27:08
Après avoir cherché de façon un peu désespérée sur internet, j'en suis arrivé à la solution très simple que l'auteur ne respecte pas sa définition du facteur de convergence... (celle que j'avais donné en PS)
Cette notion semble assez floue et ne fait pas l'unanimité, sur Wikipédia on parle de "taux de convergence" en $O( |\frac{\lambda_2}{\lambda_1}|)$ et sur une archive HAL je trouve "Le facteur de convergence vers la première valeur propre est en $O( |\frac{\lambda_2}{\lambda_1}|)$"
et malheureusement à chaque fois je n'ai pas accès à leur définition du taux ou du facteur ...
( ma valeur $a$ dans mon texte, correspond bien à $a=\frac{\lambda_2}{\lambda_1}$ ou une valeur de module inférieure) .
Bref, si une personne maîtrise l'analyse numérique ...
#9 Re : Entraide (supérieur) » Ascoli » 30-04-2022 18:07:00
C'est ok pour la question 1; mais j'imagine que $E$ est muni de la norme sup; il faudrait détailler comment tu arrives à $||f||_{\infty} \le 1$ ...
Peux tu nous définir $E$ stp ?
#10 Re : Entraide (supérieur) » Facteur de convergence dans la méthode de la puissance » 30-04-2022 17:12:26
(c'est $w_k$ le mauvais élève) Merci Fred d'avoir pris du temps sur ce problème! A la prochaine !... Raphaël
#11 Re : Entraide (supérieur) » Facteur de convergence dans la méthode de la puissance » 30-04-2022 07:59:13
Bonjour Fred, voici les quelques pages concernées; par rapport à l'ouvrage j'ai fais quelques simplifications en considérant $z_k=\frac{x_k}{\alpha_1\lambda_1^k}$.
C'est en page 492 que tombe la conclusion sur le facteur de convergence.
Comme je disais, je n'arrive au résultat que pour la norme euclidienne (car je peux expliciter le développement asymptotique de la norme) et pas pour n'importe quelle norme.
J'ai surement compris un truc de travers .. Si tu arrives à m'aider c'est cool !
Raphaël
#12 Re : Entraide (supérieur) » Ascoli » 29-04-2022 18:17:42
Voici une piste pour la question 1
si $y>x$ $|f(y)-f(x)| \le \int_x^y |f'(t)| dt \le\sqrt{y-x} \sqrt{\int_x^y |f'(t)|^2 dt} \le \sqrt{y-x}$
#13 Re : Entraide (supérieur) » Facteur de convergence dans la méthode de la puissance » 29-04-2022 17:46:11
C'est la suite $w_k$ qui m'intéresse Fred; j'ai fais une erreur que je vais corriger dans la première demande (pour z_k c est immédiat en effet)
$||w_k-\frac{u}{||u||}||=O(|a|^k)$.
#14 Entraide (supérieur) » Facteur de convergence dans la méthode de la puissance » 29-04-2022 12:34:39
- raphael.thiers
- Réponses : 7
Bonjour, je m'intéresse à la démonstration de la convergence de la méthode de la puissance dans le cas d'une matrice diagonalisable, dans l'ouvrage d'analyse numérique de Lascaux& Théodor.
Je bloque sur le point du facteur de convergence.
Si on a une suite de point de $\mathbb{C}^n ~ z_k = u + a^kv+o(a^k) $ avec $a$ un complexe tel que $|a|< 1$, et $u$ et $v$ deux vecteurs non nuls et non colinéaires
alors $||z_k||=||u||+O(|a|^k)$ (là je suis d'accord)
mais la conclusion semble évidente pour l'auteur que la suite $w_k=\frac{z_k}{||z_k||}$ ait pour facteur de convergence $|a|$
Or pour moi, pour le prouver il me faudrait plutôt un développement asymptotique de $||z_k||$ (avec un $o$ et pas un $O$ donc)
Sinon j'obtiens $||w_k-\frac{u}{||u||}||=O(|a|^k)$. et je ne peux pas conclure car je ne peux pas diviser des $O$.
J'arrive à trouver un développement asymptotique avec la norme euclidienne mais je n'y arrive pas avec n'importe quelle norme. Or le résultat de la méthode de la puissance est valable pour toute norme.
Pourriez- vous m'aider? Il suffirait de prouver que pour une norme donnée il existe un réel $\alpha$ tel que $||z_k||=||u||+\alpha|a|^k+o(|a|^k)$.
A moins qu'on ne puisse s'en sortir autrement ?
PS : le rapport de convergence d'une suite $z_k$ tendant vers $l$ c'est la limite en l'infini de $\frac{||z_{k+1}-l||}{||z_k - l||}$
#15 Re : Entraide (supérieur) » Corps de décomposition d'un polynôme rationnel de degré 3 » 15-01-2022 15:01:30
Je te remercie, Fred me voici rassuré; cet ouvrage d'Algèbre bien que globalement de bonnes qualité, me donne quelquefois de grosses frayeurs !...
#16 Entraide (supérieur) » Corps de décomposition d'un polynôme rationnel de degré 3 » 14-01-2022 19:52:39
- raphael.thiers
- Réponses : 2
Bonjour,
Ma question est assez basique mais je ne maîtrise pas bien ce sujet.
Si on a un polynôme $P$ sur $\mathbb{Q}$, irréductible de degré 3 ayant une unique racine réelle (que je note $\alpha$)et deux racines complexes (que je note $\beta$ et $\overline \beta$).
Si je considère le corps de rupture $\mathbb{Q}(\alpha)$ pour $P$ c'est bien un sous-corps de $\mathbb{R}$ mais $Q(\beta)$ est un sous-corps de $\mathbb{C}$ pour $P$ et n'est pas un sous-ensemble de $\mathbb{R}$ donc $\beta \notin \mathbb{Q}(\alpha)$ et donc corps de rupture et corps de décomposition de $P$ diffèrent.
Sur $\mathbb{Q}(\alpha)$ $P$ est scindé et donc de la forme $P(X)=(X-\alpha)T(X)$ avec $T$ de degré 2.
On en déduit par la formule de multiplication des degrés
$[\mathbb{Q}(\alpha)(\beta):\mathbb{Q}]=[\mathbb{Q}(\alpha)(\beta):\mathbb{Q}(\alpha)]\times[\mathbb{Q}(\alpha):\mathbb{Q}]=2\times 3=6$
On en déduit que le corps de décomposition a un degré 6 sur $\mathbb{Q}$ (même en rajoutant $\overline{\beta}$) tandis que le degré du corps de rupture est de 3 sur $\mathbb{Q}$.
Bon, mon problème c'est que j'ai lu la correction de l'exercice 24 du chapitre 10 sur les corps de l'ouvrage d'algèbre de Madame Szpirglas et qu'on n'y lit que polynôme de rupture et de décomposition sont égaux dans le cas du polynôme $X^3+4X^2-5X+7$ ,qui est bien dans ma configuration.
Je pense que leur correction est fausse en fait mais si ce n'est pas le cas, où se situe mon erreur ?
#17 Re : Entraide (supérieur) » Vérification qu'un série trigonométrique est de Fourier » 05-01-2022 09:05:18
Bonjour Fred,
Je te remercie pour cette résolution qui se passe du théorème d'Abel.
juste une précision : ne peux t'on pas passer directement de $g$ est limite pour $N\rightarrow +\infty$ de $x \rightarrow \sum_{n=1}^{N}\frac{cos(nx)}{n}$ dans $L^2[0,2\pi]$
à $\int_{0}^{2\pi}\left|\sum_{n=1}^N \frac{\cos(nx)}{n}-g(x)\right|^2dx\xrightarrow{N\to+\infty}0$
Pourquoi parler de la convergence presque sûre etc .. ?
#18 Re : Entraide (supérieur) » Vérification qu'un série trigonométrique est de Fourier » 03-01-2022 19:35:36
non , mon soucis c'était plus de vérifier que j'avais bien ici la série de Fourier de $f$ (cf le titre de mon post); car pour moi l'égalité fonctionnelle sur $\mathbb{R} \setminus 2\pi \mathbb{Z}$ n'est pas suffisante; il faut vraiment prouver à la main que les coefficients de Fourier coïncident, soit ici prouver que $a_n=\frac{1}{n}$ pour $n> 0$ .
#19 Re : Entraide (supérieur) » Vérification qu'un série trigonométrique est de Fourier » 03-01-2022 18:21:24
Bonsoir Zébulor,
Le problème c'est que le développement en série entière complexe de $log(1+z)$ (avec la détermination principale du logarithme) n'est défini que pour |z|< 1, d'ou l'astuce de s'intéresser à $log(1-re^{i\theta})$ avec $0\le r<1$; le problème est le même avec ta deuxième piste.
Raphaël
#20 Re : Entraide (supérieur) » Vérification qu'un série trigonométrique est de Fourier » 01-01-2022 14:42:28
Merci Adam, je suis en effet curieux de savoir si il y a une solution plus immédiate au moyen de "ruses" de calcul intégral. Rien de m'a sauté aux yeux dans ce sens.
Raphaël
#21 Entraide (supérieur) » Vérification qu'un série trigonométrique est de Fourier » 31-12-2021 16:54:30
- raphael.thiers
- Réponses : 9
Bonjour,
Je m'intéresse à l'exercice 4.12 p198 de l'ouvrage de Mohamed El Amarani sur l'analyse de Fourier dans les espaces fonctionnels
L'auteur considère la fonction $2\pi$-périodique dont la restriction à $[0,2\pi[$ est définie ainsi :
si $x\in ]0,2\pi[ f(x)=-ln(2sin\frac{x}{2})$ sinon $f(x)=0$
On cherche la série de Fourier de f.
A partir d'un développement en série entière, on arrive à montrer que $\forall \in ]0,2\pi[ ~-ln(2sin\frac{x}{2})=\sum_{n=1}^{+\infty}\frac{cos nx}{n}$
mais l'auteur s'arrête ici . Or il me semble qu'il faut encore prouver que $(\frac{1}{n})_{n\in \mathbb{N}^*}$ est bien la suite $(a_n)$ des coefficients réels de Fourier(avec $ a_0=0$, et tous les $b_n=0$ ).
Voici ce que je propose à partir de l'égalité issue du théorème d'Abel : $\lim _{r \rightarrow 1-} \sum_{n=1}^ {+\infty} \frac{r^n}{n} cos (nx)=\sum_{n=1}^{+\infty} \frac{cos (nx)}{n}$
$a_p=\frac{1}{\pi}\int_0^{2\pi}\lim _{r \rightarrow 1-} \sum_{n=1}^ {+\infty} \frac{r^n}{n} cos (nx) cos(px) dx$
Par convergence uniforme par rapport à la variable $0 <r<1$, on peut faire une première intervention limite et intégrale :$a_p=\lim _{r \rightarrow 1-}\frac{1}{\pi}\int_0^{2\pi} \sum_{n=1}^ {+\infty} \frac{r^n}{n} cos (nx) cos(px) dx$
Par convergence uniforme sur $[0,2\pi]$ par rapport à la variable $x$ sous le $\sum$ on peut faire une intervention de $\int$ et $\sum $ d'où$a_p=\lim _{r \rightarrow 1-}\frac{1}{\pi} \sum_{n=1}^ {+\infty} \int_0^{2\pi} \frac{r^n}{n} cos (nx) cos(px) dx= \lim _{r \rightarrow 1-} \frac{r^p}{p} =\frac{1}{p}$
Qu'en pensez vous ? Peux t'on faire plus rapide ?
Merci par avance !
#22 Re : Entraide (supérieur) » Calcul somme serie » 08-11-2021 18:33:35
Bonjour
Roro a raison; tu peux simplifier la fraction en multipliant au numérateur et au dénominateur par la quantité conjuguée du dénominateur (identité remarquable [tex]a^2-b^2=...[/tex]); et ensuite le télescopage s'impose.
#23 Re : Entraide (supérieur) » Egalisation de loi de probabilité » 08-11-2021 18:16:38
Merci Fred !
#24 Entraide (supérieur) » Egalisation de loi de probabilité » 07-11-2021 08:40:32
- raphael.thiers
- Réponses : 2
Bonjour,
Je m'intéresse à un exercice basique de probabilités de l'ouvrage Exercices de probabilités de Cottrell, Génon-Catalo , Duhamel et Meyre. (le 2.16)
L'intitulé est le suivant : Soient X et Y deux variables aléatoires réelles indépendantes de même loi continue. Montrer que P(X=Y)=0.
La résolution proposée me parait limpide mais je ne vois pas l'utilisation de l'hypothèse "même" loi.
[tex]P(X-Y=0)=\int_{\mathbb{R}} P_Y(\{x\})dP_X(x) =0 [/tex]
Qu'en pensez-vous ?
#25 Re : Entraide (supérieur) » Théorème d'Ascoli » 25-06-2020 14:26:06
Bonsoir Maenwe,
En effet si I est compact alors equi-continuïté d'une famille équivaut à uniforme equi-continuïté de cette famille.
Je pense que c'est la raison en effet dans les livres en question.
Merci !







