Filtres sur les entiers naturels et extractrices
Réponses
-
Non. Prenons pour $F$ un ultrafiltre ne contenant aucune partie finie. Supposons qu'il existe une telle suite, que l'on pourra supposer injective. Soit $A$ l'ensemble des $\phi_{2n}$ et $B$ l'ensemble des $\phi_{2n+1}$. Les $\phi_{n}$ ne sont pas tous dans $A^c$ à partir d'un certain rang (puisqu'un terme sur deux est dans $A$), donc par hypothèse on a $A^c\notin F$. Comme $F$ est un ultrafiltre, on en déduit que $A\in F$. De même $B\in F$, donc $\emptyset = A\cap B\in F$, contradiction.
-
J'adore cette réponse ! Je n'ai pas pensé à fabriquer deux ensembles disjoints à partir des $\phi_n$. Merci JLT.
-
Du coup, as-tu un contre-exemple si $F$ possède une base dénombrable ?
-
Si $F$ possède une base dénombrable $(B_n)$, alors on peut choisir par récurrence un élément $\varphi_n\in \cap_{k\leqslant n}B_k \setminus \{\varphi_k\mid k<n\}$.
-
Oui j'ai ça aussi de mon côté, on peut même supposer les $B_n$ décroissants pour simplifier l'expression de la construction. Du coup c'est le caractère "base de filtre dénombrable" qui permet de définir des extractrices.Merci pour tes réponses.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres