logo
  • Filtre for math subject All subjects
Soient E,F,GE, F, G trois ensembles, f:EFf: E \rightarrow F et g1,g2:FGg_{1}, g_{2}: F \rightarrow G.
On suppose ff surjective et g1f=g2fg_{1} \circ f=g_{2} \circ f.
Montrer que g1=g2g_{1}=g_{2}.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient E,F,GE, F, G trois ensembles, f1,f2:EFf_{1}, f_{2}: E \rightarrow F et g:FGg: F \rightarrow G.
On suppose gf1=gf2g \circ f_{1}=g \circ f_{2} et gg injective.
Montrer que f1=f2f_{1}=f_{2}.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient f:EFf: E \rightarrow F et g:FEg: F \rightarrow E deux applications telles que fgff \circ g \circ f soit bijective. Montrer que ff et gg sont bijectives.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient E,F,GE, F, G trois ensembles, f:EF,g:FGf: E \rightarrow F, g: F \rightarrow G et h:GEh: G \rightarrow E.
Établir que si hgfh \circ g \circ f est injective et que gfhg \circ f \circ h et fhgf \circ h \circ g sont surjectives alors f,gf, g et hh sont bijectives.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit f:NZf: \mathbb{N} \rightarrow \mathbb{Z} définie par f(n)={n/2 si n est pair n+12 sinon. f(n)= \begin{cases}n / 2 & \text { si } n \text { est pair } \\ -\frac{n+1}{2} & \text { sinon. }\end{cases} Montrer que ff est bien définie et bijective.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient f:NNf: \mathbb{N} \rightarrow \mathbb{N} et g:NNg: \mathbb{N} \rightarrow \mathbb{N} les applications définies par :
kN,f(k)=2k\forall k \in \mathbb{N}, f(k)=2 k et
g(k)={k/2 si k est pair (k1)/2 si k est impair. g(k)= \begin{cases}k / 2 & \text { si } k \text { est pair } \\ (k-1) / 2 & \text { si } k \text { est impair. }\end{cases}
(a) Étudier l'injectivité, la surjectivité et la bijectivité de ff et de gg.
(b) Préciser les applications gfg \circ f et fgf \circ g.
Étudier leur injectivité, surjectivité et bijectivité.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit AA une partie d'un ensemble EE. On appelle fonction caractéristique de la partie AA dans EE, l'application 1A:ER1_{A}: E \rightarrow \mathbb{R} définie par 1A(x)={1 si xA0 sinon 1_{A}(x)= \begin{cases}1 & \text { si } x \in A \\ 0 & \text { sinon }\end{cases} De quels ensembles les fonctions suivantes sont-elles les fonctions caractéristiques?
(a) min(1A,1B)\min \left(1_{A}, 1_{B}\right)
(c) 1A1B1_{A} \cdot 1_{B}
(e) 1A+1B1A1B1_{A}+1_{B}-1_{A} \cdot 1_{B}
(b) max(1A,1B)\max \left(1_{A}, 1_{B}\right)
(d) 11A1-1_{A}
(f) (1A1B)2\left(1_{A}-1_{B}\right)^{2}
12START THE EXERCICE
12WATCH THE SOLUTION
Soit AA une partie non vide et minorée de R\mathbb{R}. On pose

m=infA et B=A];m+1]m=\inf A \text { et } B=A \cap]-\infty ; m+1]

Déterminer la borne inférieure de BB.
12START THE EXERCICE
12WATCH THE SOLUTION
Pour nNn \in \mathbb{N}, on pose fn(x)=xn(1x)f_{n}(x)=x^{n}(1-x).
Déterminer
limn+supx[0;1]fn(x)\lim _{n \rightarrow+\infty} \sup _{x \in[0 ; 1]} f_{n}(x)
12START THE EXERCICE
12WATCH THE SOLUTION
Soient AA et BB deux parties de R\mathbb{R} non vides et majorées.
Montrer que supA,supB\sup A, \sup B et sup(AB)\sup (A \cup B) existent et
sup(AB)=max(supA,supB)\sup (A \cup B)=\max (\sup A, \sup B)
12START THE EXERCICE
12WATCH THE SOLUTION
Soit
A={(1)n+1n+1nN}A=\left\{(-1)^{n}+\frac{1}{n+1} \mid n \in \mathbb{N}\right\} Montrer que AA est bornée,
déterminer infA\inf A et supA\sup A.
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer qu'il n'existe pas de suite strictement décroissante d'entiers naturels.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit EE l'ensemble des couples (I,f)(I, f) formé d'un intervalle II et d'une fonction réelle définie sur II.
On définit une relation surE\preccurlyeq \operatorname{sur} E par: (I,f)(J,g)IJ(I, f) \preccurlyeq(J, g) \Longleftrightarrow I \subset J et gI=f\left.g\right|_{I}=f.
Montrer que \preccurlyeq est une relation d'ordre sur EE.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit AA une partie non vide et minorée de R\mathbb{R}. On pose m=infA et B=A];m+1]m=\inf A \text { et } B=A \cap]-\infty ; m+1] Déterminer la borne inférieure de BB.
12START THE EXERCICE
12WATCH THE SOLUTION
Pour nNn \in \mathbb{N}, on pose fn(x)=xn(1x)f_{n}(x)=x^{n}(1-x). Déterminerlimn+supx[0;1]fn(x)\lim _{n \rightarrow+\infty} \sup _{x \in[0 ; 1]} f_{n}(x)
12START THE EXERCICE
12WATCH THE SOLUTION
On définit une relation binaire \preccurlyeq sur{zCIm(z)0}\operatorname{sur}\{z \in \mathbb{C} \mid \operatorname{Im}(z) \geq 0\} par :zzz<z ou (z=z et Re(z)Re(z))z \preccurlyeq z^{\prime} \Longleftrightarrow|z|<\left|z^{\prime}\right| \text { ou }\left(|z|=\left|z^{\prime}\right| \text { et } \operatorname{Re}(z) \leq \operatorname{Re}\left(z^{\prime}\right)\right) \text {. }
Montrer qu'il s'agit d'une relation d'ordre total.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient AA et BB deux parties de R\mathbb{R} non vides et majorées.
Montrer que supA,supB\sup A, \sup B et sup(AB)\sup (A \cup B) existent et
sup(AB)=max(supA,supB)\sup (A \cup B)=\max (\sup A, \sup B)
12START THE EXERCICE
12WATCH THE SOLUTION
SoitA={(1)n+1n+1nN}A=\left\{(-1)^{n}+\frac{1}{n+1} \mid n \in \mathbb{N}\right\} Montrer que AA est bornée,
déterminer infA\inf A
et supA\sup A.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit \preccurlyeq la relation définie sur E={(x,y)R2xy}E=\left\{(x, y) \in \mathbb{R}^{2} \mid x \leq y\right\} par
(x,y)(x,y)(x,y)=(x,y) ou yx(x, y) \preccurlyeq\left(x^{\prime}, y^{\prime}\right) \Longleftrightarrow(x, y)=\left(x^{\prime}, y^{\prime}\right) \text { ou } y \leq x^{\prime}.
Montrer que \preccurlyeq est une relation d'ordre sur EE.
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer qu'il n'existe pas de suite strictement décroissante d'entiers naturels.
12START THE EXERCICE
12WATCH THE SOLUTION
On définit une relation binaire \preccurlyeq sur R+\mathbb{R}_{+}^{*} par :xynN,y=xn.x \preccurlyeq y \Longleftrightarrow \exists n \in \mathbb{N}, y=x^{n} .
Montrer que \preccurlyeq est une relation d'ordre.
Cet ordre est-il total ?
12START THE EXERCICE
12WATCH THE SOLUTION
Soit AA la somme des chiffres de 44444444,4444^{4444},
BB celle de AA
et enfin CC celle de BB.
Que vaut CC ?
12START THE EXERCICE
12WATCH THE SOLUTION
Soit EE l'ensemble des couples (I,f)(I, f) formé d'un intervalle II et d'une fonction réelle définie sur II.
On définit une relation surE\preccurlyeq \operatorname{sur} E par: (I,f)(J,g)IJ(I, f) \preccurlyeq(J, g) \Longleftrightarrow I \subset J et gI=f\left.g\right|_{I}=f.
Montrer que \preccurlyeq est une relation d'ordre sur EE.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient λ,a,bZ\lambda, a, b \in \mathbb{Z} et mNm \in \mathbb{N}^{*}.
On suppose λ\lambda et mm premiers entre eux.
Montrer
ab[m]λaλb[m]a \equiv b[m] \Longleftrightarrow \lambda a \equiv \lambda b[m]
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer que si nn est entier impair alors
n21[8]n^{2} \equiv 1[8]
12START THE EXERCICE
12WATCH THE SOLUTION
Trouver les entiers nZn \in \mathbb{Z} tel que 10n2+(n+1)2+(n+3)210 \mid n^{2}+(n+1)^{2}+(n+3)^{2}.
12START THE EXERCICE
12WATCH THE SOLUTION
On définit une relation binaire sur{zCIm(z)0}\preccurlyeq \operatorname{sur}\{z \in \mathbb{C} \mid \operatorname{Im}(z) \geq 0\} par : zzz<z ou (z=z et Re(z)Re(z))z \preccurlyeq z^{\prime} \Longleftrightarrow|z|<\left|z^{\prime}\right| \text { ou }\left(|z|=\left|z^{\prime}\right| \text { et } \operatorname{Re}(z) \leq \operatorname{Re}\left(z^{\prime}\right)\right) \text {. }
Montrer qu'il s'agit d'une relation d'ordre total.
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer que pour tout nNn \in \mathbb{N} :
(a) 65n3+n6 \mid 5 n^{3}+n
(c) 522n+1+32n+15 \mid 2^{2 n+1}+3^{2 n+1}
(b) 732n+1+2n+27 \mid 3^{2 n+1}+2^{n+2}
(d) 1111 \mid
(e) 94n13n9 \mid 4^{n}-1-3 n
(f) 15216n115n15^{2} \mid 16^{n}-1-15 n
12START THE EXERCICE
12WATCH THE SOLUTION
Soit \preccurlyeq la relation définie sur E={(x,y)R2xy}E=\left\{(x, y) \in \mathbb{R}^{2} \mid x \leq y\right\} par (x,y)(x,y)(x,y)=(x,y) ou yx(x, y) \preccurlyeq\left(x^{\prime}, y^{\prime}\right) \Longleftrightarrow(x, y)=\left(x^{\prime}, y^{\prime}\right) \text { ou } y \leq x^{\prime} Montrer que \preccurlyeq est une relation d'ordre sur EE.
12START THE EXERCICE
12WATCH THE SOLUTION
Quel est le reste de la division euclidienne de 12344321+432112341234^{4321}+4321^{1234}
par 7 ?
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer que
112123+312111 \mid 2^{123}+3^{121}.
12START THE EXERCICE
12WATCH THE SOLUTION
On définit une relation binaire \preccurlyeq sur R+\mathbb{R}_{+}^{*} par: xynN,y=xn.x \preccurlyeq y \Longleftrightarrow \exists n \in \mathbb{N}, y=x^{n} .
Montrer que \preccurlyeq est une relation d'ordre.
Cet ordre est-il total ?
12START THE EXERCICE
12WATCH THE SOLUTION
Soit AA la somme des chiffres de 44444444,4444^{4444},
BB celle de AA
et enfin CC celle de BB.
Que vaut CC ?
12START THE EXERCICE
12WATCH THE SOLUTION
Soit EE un ensemble de cardinal n,n,
R\mathcal{R} une relation d'équivalence sur EE ayant kk classes d'équivalence et
G={(x,y)E2xRy}G=\left\{(x, y) \in E^{2} \mid x \mathcal{R} y\right\} le graphe de R\mathcal{R} supposé de cardinal p.p.
Prouver qu'on a n2kpn^{2} \leq k p.
12START THE EXERCICE
12WATCH THE SOLUTION
Soient λ,a,bZ\lambda, a, b \in \mathbb{Z} et mNm \in \mathbb{N}^{*}.
On suppose λ\lambda et mm premiers entre eux.
Montrer
ab[m]λaλb[m]a \equiv b[m] \Longleftrightarrow \lambda a \equiv \lambda b[m]
12START THE EXERCICE
12WATCH THE SOLUTION
Soit GG un groupe multiplicatif de cardinal pαp^{\alpha} avec pp premier et αN\alpha \in \mathbb{N}^{*}.
Montrer que
Z(G){1}Z(G) \neq\{1\}
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer que si nn est entier impair alors
n21[8]n^{2} \equiv 1[8]
12START THE EXERCICE
12WATCH THE SOLUTION
Trouver les entiers nZn \in \mathbb{Z}
tel que 10n2+(n+1)2+(n+3)210 \mid n^{2}+(n+1)^{2}+(n+3)^{2}.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit (G,×)(G, \times) un groupe et HH un sous groupe de (G,×)(G, \times).
On définit une relation binaire R\mathcal{R} sur GG par :
xRyxy1Hx \mathcal{R} y \Longleftrightarrow x y^{-1} \in H
Montrer que R\mathcal{R} est une relation d'équivalence et en décrire les classes d'équivalence.
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer que pour tout nNn \in \mathbb{N} :
(a) 65n3+n6 \mid 5 n^{3}+n
(b) 522n+1+32n+15 \mid 2^{2 n+1}+3^{2 n+1}
(c) 732n+1+2n+27 \mid 3^{2 n+1}+2^{n+2}
(d) 1111 \mid
(e) 94n13n9 \mid 4^{n}-1-3 n
(f) 15216n115n15^{2} \mid 16^{n}-1-15 n
12START THE EXERCICE
12WATCH THE SOLUTION
Quel est le reste de la division euclidienne de 12344321+432112341234^{4321}+4321^{1234} par 7 ?
12START THE EXERCICE
12WATCH THE SOLUTION
Montrer que
112123+312111 \mid 2^{123}+3^{121}.
12START THE EXERCICE
12WATCH THE SOLUTION
On considère sur F(E,E)\mathcal{F}(E, E) la relation binaire R\mathcal{R} définie par :fRgφS(E) telle que fφ=φgf \mathcal{R} g \Longleftrightarrow \exists \varphi \in \mathcal{S}(E) \text { telle que } f \circ \varphi=\varphi \circ g (a)(a) Montrer que R\mathcal{R} est une relation d'équivalence.
(b)(b) Décrire la classe d'équivalence d'une fonction donnée fF(E,E)f \in \mathcal{F}(E, E).
12START THE EXERCICE
12WATCH THE SOLUTION
Soit EE un ensemble de cardinal n,n, \\ R\mathcal{R} une relation d'équivalence sur EE ayant kk classes d'équivalence et
G={(x,y)E2xRy}G=\left\{(x, y) \in E^{2} \mid x \mathcal{R} y\right\} le graphe de R\mathcal{R} supposé de cardinal pp. Prouver qu'on a n2kpn^{2} \leq k p.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit EE un ensemble et AA une partie de EE.
On définit une relation R\mathcal{R} sur (E)\wp(E) par :
XRYXA=YAX \mathcal{R} Y \Longleftrightarrow X \cup A=Y \cup A
(a) Montrer que R\mathcal{R} est une relation d'équivalence
(b) Décrire la classe d'équivalence de X(E)X \in \wp(E)
12START THE EXERCICE
12WATCH THE SOLUTION
Soit GG un groupe multiplicatif de cardinal pαp^{\alpha} avec pp premier et αN\alpha \in \mathbb{N}^{*}.
Montrer que
Z(G){1}Z(G) \neq\{1\}
12START THE EXERCICE
12WATCH THE SOLUTION
Soit (G,×)(G, \times) un groupe et HH un sous groupe de (G,×)(G, \times).
On définit une relation binaire R\mathcal{R} sur GG par :
xRyxy1Hx \mathcal{R} y \Longleftrightarrow x y^{-1} \in H
Montrer que R\mathcal{R} est une relation d'équivalence et en décrire les classes d'équivalence.
12START THE EXERCICE
12WATCH THE SOLUTION
Soit R\mathcal{R} une relation binaire sur un ensemble EE à la fois réflexive et transitive.
On définit les nouvelles relations S\mathcal{S} et T\mathcal{T} par :xSy(xRy et yRx) et xTy(xRy ou yRx)x \mathcal{S} y \Longleftrightarrow(x \mathcal{R} y \text { et } y \mathcal{R} x) \text { et } x \mathcal{T} y \Longleftrightarrow(x \mathcal{R} y \text { ou } y \mathcal{R} x) \text {. }
Les relations S\mathcal{S} et T\mathcal{T} sont-elles des relations d'équivalences?
12START THE EXERCICE
12WATCH THE SOLUTION
On considère sur F(E,E)\mathcal{F}(E, E) la relation binaire R\mathcal{R} définie par :fRgφS(E) telle que fφ=φgf \mathcal{R} g \Longleftrightarrow \exists \varphi \in \mathcal{S}(E) \text { telle que } f \circ \varphi=\varphi \circ g (a) Montrer que R\mathcal{R} est une relation d'équivalence.
(b) Décrire la classe d'équivalence d'une fonction donnée fF(E,E)f \in \mathcal{F}(E, E).
12START THE EXERCICE
12WATCH THE SOLUTION
Soit EE un ensemble et AA une partie de EE.
On définit une relation R\mathcal{R} sur (E)\wp(E) par :
XRYXA=YAX \mathcal{R} Y \Longleftrightarrow X \cup A=Y \cup A
(a) Montrer que R\mathcal{R} est une relation d'équivalence
(b) Décrire la classe d'équivalence de X(E)X \in \wp(E)
12START THE EXERCICE
12WATCH THE SOLUTION
Soit R\mathcal{R} une relation binaire sur un ensemble EE à la fois réflexive et transitive.
On définit les nouvelles relations S\mathcal{S} et T\mathcal{T} par :
xSy(xRy et yRx) et xTy(xRy ou yRx)x \mathcal{S} y \Longleftrightarrow(x \mathcal{R} y \text { et } y \mathcal{R} x) \text { et } x \mathcal{T} y \Longleftrightarrow(x \mathcal{R} y \text { ou } y \mathcal{R} x) \text {. }
Les relations S\mathcal{S} et T\mathcal{T} sont-elles des relations d'équivalences?
12START THE EXERCICE
12WATCH THE SOLUTION