Question algèbres de Boole
Bonjour,
Est-ce que vous connaissez une algèbre de Boole non complète de cardinal aleph 1?
Merci d’avance
Est-ce que vous connaissez une algèbre de Boole non complète de cardinal aleph 1?
Merci d’avance
Réponses
-
Soit $\frak F$ (resp $\frak G$)l'ensemble de toutes les parties $X$ de $\aleph_1$ telles que $X$ est fini (resp $\aleph_1 \backslash X$ est fini). Soit $\mathfrak A=\mathfrak F \cup \mathfrak G$. Alors $\emptyset \in \frak A$, pour tous $P,Q\in \mathfrak A$, $P \cup Q, P \cap Q \in \mathfrak A$ et pour tout $R \in \mathfrak A, \aleph_1 \backslash R \in \mathfrak A$. $\mathfrak A$ est donc une algèbre de Boole. Soit $D$ une partie infinie dénombrable de $\aleph_1$ et $:=\mathfrak = \{X \in \mathfrak F \mid X \subseteq D\}$. Alors $\mathfrak D$ ne possède pas de borne supérieure dans $\mathfrak A$ ( les éléments de $\mathfrak A$ majorant $\mathfrak D$ sont exactement ceux contenant $D$; si $Y$ est un tel élément, $Y \notin \mathfrak F$ donc $Y \in \mathfrak G$ et par suite $card (Y)= \aleph_1$. Il existe donc $a \in Y \backslash D$ et $Y \backslash \{a\}$ majore encore $\mathfrak D$ et ppartient à $\mathfrak A$.) De plus comme $\mathfrak F$ et $\mathfrak G$ sont trivialement en bijection et $\mathfrak F$ est en bijection avec $\aleph_1$, $card \mathfrak A=\aleph_1$.Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
-
Merci
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres