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).

#2 Re : Entraide (supérieur) » Tableau pour démo Q dénombrable » Hier 21:31:26

En fait ce que je voudrais savoir c'est comment définir l'interligne dans un tableau...
Merci d'avance

#3 Entraide (supérieur) » Tableau pour démo Q dénombrable » Hier 19:11:27

germain32
Réponses : 3

Bonjour,
j'essaye de faire un tableau qui sert à démontrer que l'ensemble $\mathbb{Q}$ est dénombrable.
Vu mon faible niveau en latex j'obtient quelque chose comme ça sauf que les fractions sont collées verticalement les unes aux autres:
$$
\begin{array} {lllll}
    0 & 1  & 2 & 3 & \ldots\\
    1\over2 &3\over2 &5\over2 & 7\over2 & \ldots\\
    1\over3 &2\over3 &4\over3 & 5\over3 & \ldots\\
    1\over4 &3\over4 &5\over4 & 7\over4 & \ldots\\
    \vdots & \vdots & \vdots &\vdots &
\end{array}
$$
Si quelqu'un pouvait m'aider à faire un joli tableau....
Merci

#4 Re : Entraide (supérieur) » Démonstration de l'équipotence de P(N) et de R » 13-03-2026 13:14:59

Merci j'ai déjâ montré que tout intervalle ouvert de R
Est équipotent à R

#6 Entraide (supérieur) » Démonstration de l'équipotence de P(N) et de R » 12-03-2026 22:45:44

germain32
Réponses : 4

Bonjour,
Je propose une démonstration de $\mathcal{P}(\mathbb{N})$ équipotent à $\mathbb{R}$ utilisant
le théorème de Cantor-Bernstein et j'aimerais que l'on me dise si ça fonctionne.

1) Soit $A \in { \mathcal{P}(\mathbb{N})} $, on pose $f(A)=0,1a_0a_1a_2\ldots a_n \ldots$
    avec $a_k = 1 $ si $k\in{A} $ et $a_k = 0 $ sinon.
    $f$ est une injection de $\mathcal{P}(\mathbb{N})$ dans $\mathbb{R}$.

2) Soit $x \in {\mathbb{R}}$ on développe $x$ en base 5 et on obtient $0,a_0a_1a_2\ldots a_n \dots$ où les $a_k \in { \{0,1,2,3,4\}}$
     On pose $g(x) = \{a_0 , 5+a_1 , 10+a_2, \ldots , 5n+a_n , \ldots \}$
     $g$ est une injection de $\mathbb{R}$ dans $\mathcal{P}(\mathbb{N})$.
Et on conclut avec le théorème de Cantor-Bernstein.
Voilà, j'attends vos avis
Merci

#7 Re : Entraide (supérieur) » Au secours le compilateur LaTex est malade » 12-03-2026 22:14:48

$\mathbb{N}$

$\displaystyle \sum_{i=0}^n$

Ça marche ! Cool Merci Fred

#9 Entraide (supérieur) » Au secours le compilateur LaTex est malade » 12-03-2026 14:47:45

germain32
Réponses : 4

Bonjour
\mathbb{N}
$\mathbb{N} $

\displaystyle\sum_{i=1}^{n}
$\displaystyle\sum_{i=1}^{n}$

Help !

#11 Re : Entraide (supérieur) » Cardinal d'une partition » 12-02-2026 21:34:23

Merci Glozi
je cherchais $2\times 2^n$ alors qu'il faut chercher $2^n +2^n$

#12 Entraide (supérieur) » Cardinal d'une partition » 12-02-2026 19:57:07

germain32
Réponses : 4

Bonjour,
j'ai eu l'idée saugrenue de démontrer Par Récurrence que si $Card(E)=n$ alors
$Card(P(E))=2^n$
(je sais le démontrer avec $(1+1)^n$)
Je coince
Si quelqu'un peut m'aider...
Merci beaucoup

#13 Re : Entraide (supérieur) » Aide Latex » 12-02-2026 14:11:58

Merci pour vos réponses, j'ai vu aussi {array}{rcl}...

#14 Re : Entraide (supérieur) » Aide Latex » 10-02-2026 19:17:22

Bonsoir Michel
Un grand merci pour cette aide !
En plus ça fonctionne dans l'éditeur d'équations du traitement de texte Pages
sur Mac

#15 Entraide (supérieur) » Aide Latex » 10-02-2026 15:45:48

germain32
Réponses : 14

Bonjour,
je voudrais écrire une accolade suivie de plusieurs lignes d'équations
comme on le fait souvent en algèbre linéaire.
Si quelqu'un peut m'aider, grand merci

#16 Re : Entraide (supérieur) » Equipotence P(N) R » 08-02-2026 19:21:43

Ah oui oui très pédagogiques, tu es au moins en Master ou peut-être  en thèse, si tu peux enseigner en fac au moins en L3 ce serait bien, t'aurais un public attentif et à la hauteur...

#17 Re : Entraide (supérieur) » Equipotence P(N) R » 08-02-2026 18:42:59

Et toi tu as l'air d'être un mathématicien averti, pédagogue et passionné...
Encore Merci
Bonne soirée

#18 Re : Entraide (supérieur) » Equipotence P(N) R » 08-02-2026 18:25:06

Merci beaucoup pour cette info je crois apercevoir des perspectives intéressantes pour la suite.
En fait la notation $F^E$ j'ai dû la voir en prépa mais j'avais complètement oublié, ça date des
années 80...

#19 Re : Entraide (supérieur) » Equipotence P(N) R » 08-02-2026 17:00:04

Rebonjour,
Je suis un retraité qui s'intéresse à la théorie des ensembles, j'ai fait prépa maths
école d'ingé doctorat physique et j'ai enseigné les maths à petit niveau (iut).
J'arrive à $]0,1[ $ par transfo affine de Arctan
Je ne connais pas la notation $\{0,1\}^{\mathbb{N}^*}$
Merci d'éclairer ma lanterne...

#20 Re : Entraide (supérieur) » Equipotence P(N) R » 08-02-2026 15:24:12

Bonjour Glozi,
et merci pour ton sujet de devoir !
Pour l'instant j'arrive à montrer qu'il y a une bijection entre
[tex]
\mathbb{R} \ et\ ]-1,1[\ avec\ Arctan
[/tex]
Je vais creuser pour ]0,1[
Comme tu vois je galère en Latex...
Encore merci

#21 Entraide (supérieur) » Equipotence P(N) R » 08-02-2026 13:42:33

germain32
Réponses : 9

Bonjour,
J'ai lu dans un poly de l'ENS que le théorème de Cantor-Bernstein permettait de démontrer
facilement que P(N) et R sont équipotent.
Je ne vois pas comment trouver les deux injections.
Si quelqu'un pouvait m'aider ce serait très gentil.
Merci beaucoup

#23 Entraide (supérieur) » axiome de fondation » 28-01-2026 13:10:29

germain32
Réponses : 2

Bonjour,
Je cherche à démontrer qu'avec l'axiome de
fondation un ensemble né peut pas appartenir
à lui-même.
Quelqu'un pourrait-il m'aider
Merci beaucoup

#25 Entraide (supérieur) » Symbole de logique » 14-01-2026 15:57:47

germain32
Réponses : 2

Bonjour,
il y a un symbole dont je ne connais pas la signification:
2 barres verticales suivies (collé) d'une barre horizontale.
Si quelqu'un peut m'éclairer...
Merci beaucoup

Pied de page des forums