Exos sympas MP(*)
Re: Exos sympas MP(*)
Calculer, en le justifiant $$U=\sum \limits _{k \geq 1,\gcd(k,30)=1} \dfrac {1}{k^2}$$.
Théorème de convergence monotone :
$ $
Soit $f_n$ suite de fonctions croissantes sur I=[0,1] qui converge simplement, dans $\mathbb R \cup \{-\infty, +\infty \} $ vers $f_\infty $ avec :
toutes ces fonctions Riemann intégrables et $\forall x \in [0,1], f_n(x) \leq f_{n+1}(x)$.
A-t-on $\lim \int_0^1 f_n(x) dx=\int_0^1 \lim f_n(x) dx$?
Ps : on répondra sans utiliser le théorème de convergence dominée.
Théorème de convergence monotone :
$ $
Soit $f_n$ suite de fonctions croissantes sur I=[0,1] qui converge simplement, dans $\mathbb R \cup \{-\infty, +\infty \} $ vers $f_\infty $ avec :
toutes ces fonctions Riemann intégrables et $\forall x \in [0,1], f_n(x) \leq f_{n+1}(x)$.
A-t-on $\lim \int_0^1 f_n(x) dx=\int_0^1 \lim f_n(x) dx$?
Ps : on répondra sans utiliser le théorème de convergence dominée.
Re: Exos sympas MP(*)
Interversion de limite
Soit $a_{n, m} $ suite double de réels borné, tel que pour toutes fonctions $f, g$ des entiers dans les entiers, strictement croissantes, $a_{f(n), g(n)} $ converge.
A-t-on $\lim\limits_{n} \lim\limits_{m} a_{n, m} =\lim\limits_{m}\lim\limits_{n} a_{n, m} $, on supposera chaque limite bien définie ?
Soit $a_{n, m} $ suite double de réels borné, tel que pour toutes fonctions $f, g$ des entiers dans les entiers, strictement croissantes, $a_{f(n), g(n)} $ converge.
A-t-on $\lim\limits_{n} \lim\limits_{m} a_{n, m} =\lim\limits_{m}\lim\limits_{n} a_{n, m} $, on supposera chaque limite bien définie ?
Re: Exos sympas MP(*)
Soit $f$ une application linéaire de E $\mathbb R$ev de dim n, dans E, tel que :
$$\forall x\in E, \exists k\in\mathbb N, f^k(x) =0$$
A-t-on $f$ nilpotente?
$$\forall x\in E, \exists k\in\mathbb N, f^k(x) =0$$
A-t-on $f$ nilpotente?
Re: Exos sympas MP(*)
Résolue par AOPS : https://artofproblemsolving.com/communi ... late_serieContrexemple a écrit : ↑24 févr. 2022 00:03Calculer, en le justifiant $$U=\sum \limits _{k \geq 1,\gcd(k,30)=1} \dfrac {1}{k^2}$$.
Re: Exos sympas MP(*)
Contrexemple a écrit : ↑03 mars 2022 19:38Soit <span class="MathJax_Preview" style="color: inherit; display: none;"></span><span id="MathJax-Element-4-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="http://www.w3.org/1998/Math/MathML" ... /mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-12" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-13" class="mjx-mrow"><span id="MJXc-Node-14" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.455em; padding-bottom: 0.455em; padding-right: 0.06em;">f</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="http://www.w3.org/1998/Math/MathML"><mi ... an><script type="math/tex" id="MathJax-Element-4">f</script> une application linéaire de E <span class="MathJax_Preview" style="color: inherit; display: none;"></span><span id="MathJax-Element-5-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi mathvariant="double-struck">R</mi></mrow></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-15" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-16" class="mjx-mrow"><span id="MJXc-Node-17" class="mjx-texatom"><span id="MJXc-Node-18" class="mjx-mrow"><span id="MJXc-Node-19" class="mjx-mi"><span class="mjx-char MJXc-TeX-ams-R" style="padding-top: 0.455em; padding-bottom: 0.326em;">R</span></span></span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi mathvariant="double-struck">R</mi></mrow></math></span></span><script type="math/tex" id="MathJax-Element-5">\mathbb R</script>ev de dim n, dans E, tel que :
<mjx-container class="MathJax CtxtMenu_Attached_0" jax="CHTML" display="true" tabindex="0" ctxtmenu_counter="3" style="font-size: 113.1%; position: relative;"><mjx-math display="true" class="MJX-TEX" aria-hidden="true" style="margin-left: 0px; margin-right: 0px;"><mjx-mi class="mjx-n"><mjx-c class="mjx-c2200"></mjx-c></mjx-mi><mjx-mi class="mjx-i"><mjx-c class="mjx-c1D465 TEX-I"></mjx-c></mjx-mi><mjx-mo class="mjx-n" space="4"><mjx-c class="mjx-c2208"></mjx-c></mjx-mo><mjx-mi class="mjx-i" space="4"><mjx-c class="mjx-c1D438 TEX-I"></mjx-c></mjx-mi><mjx-mo class="mjx-n"><mjx-c class="mjx-c2C"></mjx-c></mjx-mo><mjx-mi class="mjx-n" space="2"><mjx-c class="mjx-c2203"></mjx-c></mjx-mi><mjx-mi class="mjx-i"><mjx-c class="mjx-c1D458 TEX-I"></mjx-c></mjx-mi><mjx-mo class="mjx-n" space="4"><mjx-c class="mjx-c2208"></mjx-c></mjx-mo><mjx-texatom space="4" texclass="ORD"><mjx-mi class="mjx-ds mjx-b"><mjx-c class="mjx-c2115 TEX-A"></mjx-c></mjx-mi></mjx-texatom><mjx-mo class="mjx-n"><mjx-c class="mjx-c2C"></mjx-c></mjx-mo><mjx-msup space="2"><mjx-mi class="mjx-i"><mjx-c class="mjx-c1D453 TEX-I"></mjx-c></mjx-mi><mjx-script style="vertical-align: 0.413em; margin-left: 0.053em;"><mjx-mi class="mjx-i" size="s"><mjx-c class="mjx-c1D458 TEX-I"></mjx-c></mjx-mi></mjx-script></mjx-msup><mjx-mo class="mjx-n"><mjx-c class="mjx-c28"></mjx-c></mjx-mo><mjx-mi class="mjx-i"><mjx-c class="mjx-c1D465 TEX-I"></mjx-c></mjx-mi><mjx-mo class="mjx-n"><mjx-c class="mjx-c29"></mjx-c></mjx-mo><mjx-mo class="mjx-n" space="4"><mjx-c class="mjx-c3D"></mjx-c></mjx-mo><mjx-mn class="mjx-n" space="4"><mjx-c class="mjx-c30"></mjx-c></mjx-mn></mjx-math><mjx-assistive-mml unselectable="on" display="block"><math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><mi mathvariant="normal">∀</mi><mi>x</mi><mo>∈</mo><mi>E</mi><mo>,</mo><mi mathvariant="normal">∃</mi><mi>k</mi><mo>∈</mo><mrow data-mjx-texclass="ORD"><mi mathvariant="double-struck">N</mi></mrow><mo>,</mo><msup><mi>f</mi><mi>k</mi></msup><mo stretchy="false">(</mo><mi>x</mi><mo stretchy="false">)</mo><mo>=</mo><mn>0</mn></math></mjx-assistive-mml></mjx-container>
A-t-on <span class="MathJax_Preview" style="color: inherit; display: none;"></span><span id="MathJax-Element-6-Frame" class="mjx-chtml MathJax_CHTML" tabindex="0" data-mathml="<math xmlns="http://www.w3.org/1998/Math/MathML" ... /mi></math>" role="presentation" style="font-size: 121%; position: relative;"><span id="MJXc-Node-20" class="mjx-math" aria-hidden="true"><span id="MJXc-Node-21" class="mjx-mrow"><span id="MJXc-Node-22" class="mjx-mi"><span class="mjx-char MJXc-TeX-math-I" style="padding-top: 0.455em; padding-bottom: 0.455em; padding-right: 0.06em;">f</span></span></span></span><span class="MJX_Assistive_MathML" role="presentation"><math xmlns="http://www.w3.org/1998/Math/MathML"><mi ... an><script type="math/tex" id="MathJax-Element-6">f</script> nilpotente?
SPOILER:
Re: Exos sympas MP(*)
Résolue par la communauté mathoverflow :Contrexemple a écrit : ↑23 nov. 2021 15:01Soit $p>5$, $H$sous groupe de $(\mathbb Z/p\mathbb Z) ^*$, avec $a\in H$ et $a>2$.
A-t-on $(a-1)| p\sum\limits_{h \in H} (-h/p \mod a) $?
https://mathoverflow.net/questions/4173 ... visibility
Si vous avez le niveau agreg et que vous voulez quelques choses de difficiles :
https://mathoverflow.net/questions/2739 ... it-abelian
https://mathoverflow.net/questions/3534 ... l-of-sqrt2
PS : je ne sais qu'un énoncé est difficile que lorsqu'il résiste au moins un an à la sagacité des mathématiciens de mathoverflow.
Par exemple celui-ci à résister un an à aops et moins d'une heure à mathoverflow.
Re: Exos sympas MP(*)
https://mathoverflow.net/questions/4174 ... still-zeroContrexemple a écrit : ↑15 févr. 2022 12:02Soit $p$ entier premier, $f$ une fonction de $A=\mathbb F_p^n$ dans $\mathbb F_p$, avec $n\geq p+1$.
A-t-on pour toutes $x\in A, \sum\limits_{\sigma \in S_n} s(\sigma) \times f(x_\sigma) =0$?
$s$ la signature
Re: Exos sympas MP(*)
Salut,
Un nouveau que je trouve jolie et qui peut s'avérer trés utile.
Soit $P,Q \in \mathbb Z[x]$ avec $\gcd(P(x),Q(x))=1$.
A-t-on alors il existe $N \in \mathbb N$ tel que : $\forall n\in \mathbb N, \dfrac{N}{\gcd(P(n),Q(n))} \in \mathbb N$ ?
Un nouveau que je trouve jolie et qui peut s'avérer trés utile.
Soit $P,Q \in \mathbb Z[x]$ avec $\gcd(P(x),Q(x))=1$.
A-t-on alors il existe $N \in \mathbb N$ tel que : $\forall n\in \mathbb N, \dfrac{N}{\gcd(P(n),Q(n))} \in \mathbb N$ ?
Re: Exos sympas MP(*)
Bonjour,
Oui, trivialement : $ N=0 $.
Mais c'est vrai encore quand on corrige l'énoncé en demandant $ N\neq 0 $.
Si 1 est pgcd de $ P $ et $ Q $ dans $ \mathbb Z[X] $, alors $ P $ et $ Q $ sont premiers entre eux dans $ \mathbb Q[X] $ et il existe donc $ U,V $ dans $ \mathbb Z[X] $ et $ N\in \mathbb N^* $ tels que $ UP+VQ=N $.
Oui, trivialement : $ N=0 $.
Mais c'est vrai encore quand on corrige l'énoncé en demandant $ N\neq 0 $.
Si 1 est pgcd de $ P $ et $ Q $ dans $ \mathbb Z[X] $, alors $ P $ et $ Q $ sont premiers entre eux dans $ \mathbb Q[X] $ et il existe donc $ U,V $ dans $ \mathbb Z[X] $ et $ N\in \mathbb N^* $ tels que $ UP+VQ=N $.