Fichier:Filter vs ultrafilter.svg
Aller à la navigation
Aller à la recherche
Taille de cet aperçu PNG pour ce fichier SVG : 528 × 415 pixels. Autres résolutions : 305 × 240 pixels | 611 × 480 pixels | 977 × 768 pixels | 1 280 × 1 006 pixels | 2 560 × 2 012 pixels.
Fichier d’origine (Fichier SVG, nominalement de 528 × 415 pixels, taille : 18 kio)
Description
| Description |
English: The Hasse diagram shows the set of all subsets of {1,2,3,4}, partially ordered by set inclusion (⊆). The upper set ↑{1,4} is highlighted in dark green, it is a filter. However, it is not an ultrafilter, since it can still be extended to the properly larger filter ↑{1}, shown in light green. The latter cannot be extended to any nontrivial larger filter in turn, it is hence an ultrafilter. |
| Date | |
| Source | Travail personnel basé sur : Upset.svg |
| Auteur | Jochen Burghardt |
| Autres versions |
|
| SVG information |
Conditions d’utilisation
Moi, en tant que détenteur des droits d’auteur sur cette œuvre, je la publie sous la licence suivante :
Ce fichier est sous la licence Creative Commons Attribution – Partage dans les Mêmes Conditions 4.0 International.
- Vous êtes libre :
- de partager – de copier, distribuer et transmettre cette œuvre
- d’adapter – de modifier cette œuvre
- Sous les conditions suivantes :
- paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
- partage à l’identique – Si vous modifiez, transformez ou vous basez sur cet élément, vous devez distribuer votre contribution sous une license identique ou compatible à celle de l’original.
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 26 février 2020 à 09:06 | | 528 × 415 (18 kio) | wikimediacommons>Jochen Burghardt | change colors towards more definite names ("light green", "dark green") |
Utilisation du fichier
Les 2 pages suivantes utilisent ce fichier :
