Famille infinie


Famille infinie

Famille (mathématiques)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Famille (homonymie).

En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par les entiers. Ainsi on pourra parler, en algèbre linéaire, de la famille de vecteurs (u1, u2, … , un), qui est une famille finie, ou de la famille dénombrable (un)nN. Une famille est toujours indexée, même si elle l'est parfois implicitement, par exemple dans des locutions comme « famille libre » ou « famille génératrice ».

Famille indexée : définition

Une famille (x_i)_{i\in I} indexée par un ensemble I d'éléments xi d'un ensemble E est une application définie sur I à valeurs dans E. Il s'agit donc d'une terminologie et d'une notation, mieux adaptées à certains usages, pour la notion connue d'application (ou de fonction). Les éléments de I sont appelés indice (ou index). L'élément de la famille (x_i)_{i\in I} d'indice i est xi.

Quand on parle d’élément d'une famille, il s'agit d'un élément de l'ensemble image de la famille en tant qu'application : un élément de la famille (x_i)_{i\in I} est l'un quelconque des xi.

Quand on parle de la cardinalité d'une famille, il s'agit a priori de la cardinalité de l'ensemble de ses indices (ou de façon équivalente de la cardinalité du graphe de la famille en tant qu'application). Ceci dit on peut toujours préciser : famille sur un ensemble d'indices de cardinalité telle. Ainsi une famille finie est une famille dont l'ensemble des indices est fini, une famille infinie est une famille dont l'ensemble des indices est infini, une famille dénombrable est une famille dont l'ensemble des indices est dénombrable etc. Lorsqu'une famille est finie, l'ensemble de ses éléments est fini, mais la réciproque est fausse.

On appelle également suite une famille dont l'ensemble des indices est l'ensemble des entiers ou un sous-ensemble de celui-ci, fini ou infini (les n premiers entiers, les entiers non nuls ...). Mais ce n'est pas exclusif : par exemple, en algèbre linéaire, on parle volontiers de famille de vecteurs, même dans ce cas.

Plus généralement, on pourra parler, en théorie des ensembles, de suite pour une famille dont l'ensemble des indices est un ordinal, ou même un ensemble « explicitement » bien ordonné.

Théorie axiomatique des ensembles

En théorie des ensembles une application est le plus souvent identifiée à son graphe : c'est un ensemble de couples. Une application définie sur I est un ensemble de couples tels que chaque élément de I apparait une et une seule fois en première composante d'un couple de cet ensemble. C'est donc aussi la définition de famille d'ensembles indexée par I. On se préoccupe peu de l'ensemble d'arrivée dans ce cas. On montre cependant que si {Ai}iI est une famille d'ensembles, alors on peut bien parler de l’ensemble des Ai :

{Ai | iI}  « est » un ensemble.

Cela peut se démontrer en utilisant essentiellement le fait qu'une application est un ensemble de couples et le schéma d'axiomes de compréhension (il faut revenir à la définition de couple en théorie des ensembles, et utiliser l'axiome de la réunion).

Articles connexes

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Famille (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Famille infinie de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Famille (Mathématiques) — Pour les articles homonymes, voir Famille (homonymie). En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par les entiers. Ainsi on pourra parler, en algèbre linéaire, de la famille de… …   Wikipédia en Français

  • Famille (mathematiques) — Famille (mathématiques) Pour les articles homonymes, voir Famille (homonymie). En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par les entiers. Ainsi on pourra parler, en algèbre… …   Wikipédia en Français

  • Famille d'ensembles — Famille (mathématiques) Pour les articles homonymes, voir Famille (homonymie). En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par les entiers. Ainsi on pourra parler, en algèbre… …   Wikipédia en Français

  • Famille finie — Famille (mathématiques) Pour les articles homonymes, voir Famille (homonymie). En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par les entiers. Ainsi on pourra parler, en algèbre… …   Wikipédia en Français

  • Famille (mathématiques) — Pour les articles homonymes, voir Famille (homonymie). En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par les entiers. Ainsi on pourra parler, en algèbre linéaire, de la famille de… …   Wikipédia en Français

  • Famille génératrice — Pour les articles homonymes, voir Génératrice. Cet article court présente un sujet plus développé dans : sous espace vectoriel engendré. En algèbre linéaire, une famille génératrice est une famille de vecteurs d un espace vectoriel dont les… …   Wikipédia en Français

  • Famille normale — En mathématiques, et plus précisément en analyse, une famille normale est une famille de fonctions holomorphes (analytiques complexes) dans un domaine D ouvert telle que de toute suite de termes de la famille on peut extraire une sous suite… …   Wikipédia en Français

  • Somme infinie — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini …   Wikipédia en Français

  • Somme directe — Pour les articles homonymes, voir Somme. En mathématiques, et plus précisément en algèbre, le terme de somme directe désigne des ensembles munis de certaines structures, souvent construits à partir du produit cartésien d autres ensembles du même… …   Wikipédia en Français

  • Espace vectoriel — En algèbre linéaire, un espace vectoriel est un ensemble muni d une structure permettant d effectuer des combinaisons linéaires. Étant donné un corps K, un espace vectoriel E sur K est un groupe commutatif (dont la loi est notée +) muni d une… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.