logo
  • Filtre for math subject Tous les sujets
  • Filtre for math subjectMaths
  • Filtre for math subjectPhysique-Chimie
  • Filtre for math subjectCorrigés de BAC
  • Filtre for math subjectPrépa Examens
  • Filtre for math subjectRévisions Maths lycée
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}.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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}.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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é.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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}
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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)
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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)
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Montrer qu'il n'existe pas de suite strictement décroissante d'entiers naturels.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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)
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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)
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Montrer qu'il n'existe pas de suite strictement décroissante d'entiers naturels.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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 ?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Soit AA la somme des chiffres de 44444444,4444^{4444},
BB celle de AA
et enfin CC celle de BB.
Que vaut CC ?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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]
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Montrer que si nn est entier impair alors
n21[8]n^{2} \equiv 1[8]
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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}.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Quel est le reste de la division euclidienne de 12344321+432112341234^{4321}+4321^{1234}
par 7 ?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Montrer que
112123+312111 \mid 2^{123}+3^{121}.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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 ?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Soit AA la somme des chiffres de 44444444,4444^{4444},
BB celle de AA
et enfin CC celle de BB.
Que vaut CC ?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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]
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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\}
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Montrer que si nn est entier impair alors
n21[8]n^{2} \equiv 1[8]
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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}.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Quel est le reste de la division euclidienne de 12344321+432112341234^{4321}+4321^{1234} par 7 ?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
Montrer que
112123+312111 \mid 2^{123}+3^{121}.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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).
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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)
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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\}
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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.
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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).
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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)
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO
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?
12COMMENCER L'EXERCICE
12VOIR LA SOLUTION VIDEO