Fonction d'ensembles sous-additive
Bonjour,
On trouve deux définitions de la sous-additivité d'une fonction d'ensembles $\mu \colon \mathcal{A} \to [0,+\infty]$ (où $\mathcal{A}$ est une famille quelconque de sous-ensembles d'un ensemble).
1) Pour tout entier $n \geqslant 1$ et tous $A_1, \ldots, A_n \in \mathcal{A}$ tels que $A_1 \cup \cdots \cup A_n \in \mathcal{A}$, on a
$\mu(A_1 \cup \cdots \cup A_n) \leqslant \mu(A_1) + \cdots + \mu(A_n)$.
2) Pour tout entier $n \geqslant 1$ et tous $A, A_1, \ldots, A_n \in \mathcal{A}$ tels que $A \subset A_1 \cup \cdots \cup A_n$, on a
$\mu(A) \leqslant \mu(A_1) + \cdots + \mu(A_n)$.
On a 2) $\implies$ 1) mais on n'a pas 1) $\implies$ 2) sans autre hypothèse sur $\mu$ et $\mathcal{A}$.
Est-ce que l'une de ces définitions est préférable à l'autre ?
On trouve deux définitions de la sous-additivité d'une fonction d'ensembles $\mu \colon \mathcal{A} \to [0,+\infty]$ (où $\mathcal{A}$ est une famille quelconque de sous-ensembles d'un ensemble).
1) Pour tout entier $n \geqslant 1$ et tous $A_1, \ldots, A_n \in \mathcal{A}$ tels que $A_1 \cup \cdots \cup A_n \in \mathcal{A}$, on a
$\mu(A_1 \cup \cdots \cup A_n) \leqslant \mu(A_1) + \cdots + \mu(A_n)$.
2) Pour tout entier $n \geqslant 1$ et tous $A, A_1, \ldots, A_n \in \mathcal{A}$ tels que $A \subset A_1 \cup \cdots \cup A_n$, on a
$\mu(A) \leqslant \mu(A_1) + \cdots + \mu(A_n)$.
On a 2) $\implies$ 1) mais on n'a pas 1) $\implies$ 2) sans autre hypothèse sur $\mu$ et $\mathcal{A}$.
Est-ce que l'une de ces définitions est préférable à l'autre ?
Réponses
-
Je n'ai jamais vu la seconde employée où que ce soit, quel est son intérêt ?
-
Je ne sais pas, je l'ai vue dans plusieurs bouquins. J'ai pu établir les résultats de ces bouquins avec la première définition, du moins ceux qui m'intéressent, donc je ne vois pas non plus son intérêt.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres