Ensemble de parties de caractère fini

Ensemble de parties de caractère fini

En mathématiques, un ensemble de parties de caractère fini d'un ensemble E est un ensemble \mathcal{F} de parties de E tel que pour toute partie A de E, on a l'équivalence entre l'appartenance de A à \mathcal{F} d'une part et la propriété que tout sous-ensemble fini de A appartient à \mathcal{F} d'autre part[1].

Propriétés

Soit \mathcal{F} un ensemble de parties de caractère fini. Alors

  1. Pour tout A\in \mathcal{F}, toute partie (finie ou infinie) de A appartient à \mathcal{F}.
  2. Si \mathcal{F} est non vide, l'union de toute partie de \mathcal{F} totalement ordonnée par inclusion appartient à \mathcal{F}. L'ensemble \mathcal{F} est donc inductif. Par le lemme de Zorn, on déduit donc le lemme de Tukey[2] (qui en fait équivaut à l'axiome du choix) :
tout ensemble de parties qui est non vide et de caractère fini admet un élément maximal pour l'inclusion.

Exemples

Dans un espace vectoriel E, l'ensemble des parties libres est de caractère fini : une partie de E est en effet libre si et seulement si chacune de ses parties finies l'est. En conséquence, E admet une partie libre maximale pour l'inclusion, autrement dit une base (finie ou non). Plus généralement, cette méthode permet de démontrer le théorème de la base incomplète.

L'existence d'une base de transcendance dans une extension de corps se démontre de la même façon.

Notes et références

  1. ↑ N. Bourbaki, Éléments de mathématique, Théorie des ensembles, E.R.29
  2. ↑ John Tukey, Convergence and Uniformity in Topology, Princeton University Press, 1940 (ISBN 069109568X) p. 7

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Ensemble de parties de caractère fini de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Ensemble Fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   Wikipédia en Français

  • Ensemble Ouvert — Pour les articles homonymes, voir Ouverture. En mathématiques, et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un ensemble qui ne contient pas sa frontière.… …   Wikipédia en Français

  • Ensemble ouvert — Pour les articles homonymes, voir Ouverture. En mathématiques, et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un ensemble qui ne contient pas sa frontière.… …   Wikipédia en Français

  • ensemble — 1. ensemble [ ɑ̃sɑ̃bl ] adv. • fin XIe; lat. pop. insimul 1 ♦ L un avec l autre, les uns avec les autres. ⇒ collectivement, conjointement; co , con , syn (cf. En commun, de concert, de conserve). Plusieurs personnes ensemble. ⇒ réuni. Venez tous… …   Encyclopédie Universelle

  • Ensemble convexe — Pour les autres sens du mot « convexe », voir convexité. Un objet géométrique est dit convexe lorsque, chaque fois qu on y prend deux points A et B, le segment [A,B] qui les joint y est entièrement contenu. Ainsi un cube plein, un… …   Wikipédia en Français

  • Analyse Harmonique Sur Un Groupe Abélien Fini — En mathématiques, l analyse harmonique sur un groupe abélien fini est un cas particulier d analyse harmonique correspondant au cas où le groupe est abélien et fini. L analyse harmonique permet de définir la notion de transformée de Fourier ou le… …   Wikipédia en Français

  • Analyse harmonique sur un groupe abelien fini — Analyse harmonique sur un groupe abélien fini En mathématiques, l analyse harmonique sur un groupe abélien fini est un cas particulier d analyse harmonique correspondant au cas où le groupe est abélien et fini. L analyse harmonique permet de… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Lemme De Zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… …   Wikipédia en Français

  • Lemme de zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… …   Wikipédia en Français

Share the article and excerpts

Direct link
https://fr-academic.com/dic.nsf/frwiki/584058 Do a right-click on the link above
and select “Copy Link”