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 Entraide (supérieur) » Théorème d'Ascoli » 24-06-2020 19:08:13

raphael.thiers
Réponses : 2

Bonjour,

Ma question concerne le théorème d'Ascoli en topologie.
Je suis étonné de voir dans certains ouvrages la mention d 'une forme faible du théorème (exigeant une uniforme  equi-continuïté) alors qu'à ma connaissance une equicontinuïté simple suffit comme indiqué sur le site de Bibmath par exemple (lien ici) .
Y a t'il quelque chose qui m'a échappé ?

Merci par avance,
Raphaël

#27 Re : Entraide (supérieur) » Courbe de lissajous » 02-02-2020 20:56:29

Bonsoir,
c'est juste il me semble.
Pour plus de clarté il faut peut être rajouter que l'application de projection du cercle unité sur [-1,1] est continue donc, la densité sur le cercle unité => densité sur [-1,1].

#28 Re : Entraide (supérieur) » Courbe de lissajous » 01-02-2020 20:28:50

Bonjour,
ça me parait bizarre ... j'ai certainement pas bien compris ...

prenons un point du carré unité $(x_0,y_0)$  alors
il existe $t_0$ dans [0,2pi[ tel que $ sin(t_0) = x_0$ ;
partons sur $t_0 \neq0$
dans ce cas $ arcsin(y_0)/t_0$ est un réel donc limite d'une suite d’irrationnels  $a_n$ (puisque les irrationnels sont denses dans les réels).
Donc $(x_0,y_0)$ est donc limite de $(sin(t_0),sin(a_nt_0))$ où  $a_n$  décrit une suite d'irrationnels

C'est donc trivial ...

#29 Re : Entraide (supérieur) » Une matrice diagonale » 30-01-2020 22:11:55

Bonsoir,
Voici ce que je te propose à condition que les $a_i$ ne soient pas nuls

Clairement $Vect(e_1....e_p) = Ker(h)$

Le sous espace $Vect(e_{p+1} ...e_n) $ est de dimension $n-p$,  et est stable par h donc  $ Vect(e_{p+1}...e_{n}) =  Im(h) $

#30 Re : Entraide (supérieur) » Majoration d'intégrale d'une fonction mesurable positive » 26-01-2020 19:58:59

Bonsoir Fred,

Je te remercie pour le temps passé sur mon post !

Je partage ton point de vue sur la prudence dans les opérations avec un opérande infini.

Raphaël

#32 Re : Entraide (supérieur) » Espérance d'une variable aléatoire » 26-01-2020 13:56:15

Bonjour,
Oui c'est une fonction croissante car

d'après les théorèmes de l'intégration de Lebesgue (sur l 'espace probabilisé que je n'ai pas nommé sous le signe intégrale)
(X≥Y)⇒∫XdP≥∫YdP

donc
(X>Y)⇒∫XdP≥∫YdP

(par affaiblissement)

d'autres part   (∫(X−Y)dP=0)⇒(X=Y)

  presque partout car X-Y est positive ; ce qui est absurde ici

d'où   E(X)>E(Y)

Raph

#33 Re : Entraide (supérieur) » Un produit scalaire déjà connu ? » 26-01-2020 12:19:37

Bonjour,

De mon point de vue ça peut passer;
mais prouver qu'elle est symétrique définie positive est très rapide également (avec des calculs tres proches des tiens).

#34 Re : Entraide (supérieur) » Formule de la trace d'une matrice avec un produit scalaire » 25-01-2020 16:39:24

Attention tu t'es emmelé avec  tes  bases
c'est $Pe_i=u_i$ et non . $Pei=ei$ .

#35 Re : Entraide (supérieur) » Majoration d'intégrale d'une fonction mesurable positive » 25-01-2020 12:49:33

Bonjour Fred,

Je ne comprends pas trop le sens de ta réponse; comment peut-on prouver une convention ?
Peux tu prouver que le degré d'un polynôme nul est $-\infty$ par exemple ?

Pour moi la définition de l'intégrale de Lebesgue intègre cette particularité  0×(+∞)=0 de façon à ne pas se limiter à des mesures finies par exemple.

Si je veux prouver le résultat je suis effectivement obligé de repasser par les fonction étagées;
Si $(h_n)$ est une suite de fonctions étagées croissantes convergeant simplement vers h, alors on a
$\int_Ah_nd\mu \le \mu(A)\times sup_A(h_n)=0 $  dans le cas de l'exercice(cette fois ci le sup de $h_n$ sur A est bien fini puisque $h_n$ prend un nombre fini de valeurs différentes.)
et on prouve alors le résultat par convergence monotone.

#36 Re : Entraide (supérieur) » Majoration d'intégrale d'une fonction mesurable positive » 24-01-2020 22:59:27

Tu peux retrouve ma formule ici par exemple https://fr.wikipedia.org/wiki/Droite_r% … hev%C3%A9e
justement dans le chapitre sur l'indetermination (cas de la theorie de la mesure)

#37 Re : Entraide (supérieur) » Majoration d'intégrale d'une fonction mesurable positive » 24-01-2020 22:55:03

En fait je n'ai pas inventé cette formule, je l'ai trouvé dans un cours ...

J'ai été choqué aussi la première fois que je l'ai vu, il s agit d'une convention sur le calcul algébrique sur R union {+inf} .
Mais c'est assez logique en fait
une infinité de fois zero , cela est tres différent d'un produit d'une quantité tendant vers zero par l'infini.

#38 Re : Entraide (supérieur) » Formule de la trace d'une matrice avec un produit scalaire » 24-01-2020 22:46:03

Bonsoir,

On peut passer d'une base orthonormée $(u_i)$  à une autre base orthonormée $(e_i)$ par une matrice de passage orthogonale ($P^{-1}=^tP$)
donc si  $A=^tPBP$ et $ u_i = Pe_i$
on a   $ <Ae_i | ei> = <^tPBPe_i |^tPu_i> =  <^tPBu_i |^tPu_i>=^tu_i^tBP^tPu_i=^tu_i^tBu_i=<Bu_i | u_i>$
de plus Tr(MN)=Tr(NM) on en déduit que Tr(A)=Tr(B)

Donc la preuve que tu as faite sur la base canonique s'étend à n'importe quelle base orthonormée

Raphaël

#39 Re : Entraide (supérieur) » Majoration d'intégrale d'une fonction mesurable positive » 24-01-2020 19:22:57

oui  mais compte tenu de la formule $ 0\times(+\infty)=0$ ; qu 'est ce que ça change  dans le cas de l'exercice ?

#40 Entraide (supérieur) » Majoration d'intégrale d'une fonction mesurable positive » 24-01-2020 19:04:18

raphael.thiers
Réponses : 9

Bonjour,

Ma question en relation avec Exercice 4 - Mesure à densité de la feuille d'exercices sur l'intégrale de Lebesgue.

Je me pose la question suivante, si h est une fonction mesurable positive , et A partie mesurable, ne peut-on pas écrire le ligne suivante ?

$\int _Ahd\mu <= sup_A(h)\times\mu(A)$

Dans ce cas on a
$(\mu(A)=0)\Rightarrow (\int _Ahd\mu = 0) $

puisque $0\times(+\infty)=0$ (au cas ou le sup de h  est $+\infty$)

Ce qui résout une des  questions de l'exercice plus facilement (d'où mon doute ...).

Qu'en pensez vous ?

Pied de page des forums