Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#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
#31 Re : Entraide (supérieur) » Formule de la trace d'une matrice avec un produit scalaire » 26-01-2020 16:19:20
Bonjour,
Non , ta première version est la bonne
cf http://www.bibmath.net/dico/index.php?a … ssage.html
#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 ?







