montrer qu'une famille est base [MPSI]

[Romain-des-Bois]

Bonjour,
j'ai un petit doute pour faire ce qui est écrit dans le titre.

j'ai une famille, et je dois montrer qu'elle est base de E (c'est un sev dont on se moque)

est-ce que le raisonnement suivant est valable ???

je montre qu'elle est libre
je montre qu'elle a autant de vecteurs que la dimension de E
elle est donc génératrice
et donc base.

ce serait super si le raisonnement était correct.

maintenant, s'il ne l'est pas, ne dites pas que ça marche pour me faire plaisir !



merci
Romain, qui, ça y est, s'est plongé dans ses devoirs

[martini_bird]

Salut,

ton raisonnement est bon et est souvent utilisé. Attention toutefois, ce n'est bien sûr valable que si l'ev est de dimension finie.

Cordialement.

[ginkoTA]

Pour un sous espace vectoriel de dimension fini, toute famille libre et génératrice est en effet une base.

[doryphore]

Sauf que si ton sev est de dimension infini, mieux vaut éviter ce type de raisonnement...

[Romain-des-Bois]

Merci

oui, bien sûr, il est de dimension finie (j'avais oublié de le préciser).

Bon, beh, c'est super alors !

merci et vive FS pour la rapidité et la qualité bien sûr de la réponse.

[indian58]

En même temps, montrer qu'une famille est une base d'un espace de dimension infinie, ce n'est pas courant!

[GuYem]

Bin si : montre que la famille des est une base de

[Quinto]

En même temps, montrer qu'une famille est une base d'un espace de dimension infinie, ce n'est pas courant!

Bein voyons...
Parce que les ev de dimension infinie n'ont pas de base?

[martini_bird]

Salut,

il me semble que l'existence d'un supplémentaire d'un ev de codimension infinie repose sur l'axiome du choix. Quelqu'un pour confirmer?

[C.B.]

Salut,

il me semble que l'existence d'un supplémentaire d'un ev de codimension infinie repose sur l'axiome du choix. Quelqu'un pour confirmer?

Je confirme.
Il est possible de trouver des contres-exemples si on a pas l'axiome du choix.

Par contre, il est tout à fait possible que seule une version faible de l'axiome du choix suffise.

[indian58]

Bein voyons...
Parce que les ev de dimension infinie n'ont pas de base?

Oui, ils en ont à condition d'admettre l'axiome du choix. Mais travailler sur des bases infinies dont on ne connaît absoulement rien hormis l'existence, ce n'est pas vraiment courant en prépa.

[Quinto]

Je ne vois pas en quoi l'utilisation de l'axiome du choix pose un problème encore aujourd'hui.
On l'utilise pratiquement partout et presque tout le temps...

[HaYaToUnE]

En tout cas, 75% des problèmes traités depuis le début d'année, concernant entre autres les bases (algèbre linaire en général), sont en majorité en dimension finis.

[Quinto]

Evidemment que pour travailler sur les espaces de dimension infinie, il est bon de bien maitriser ceux qui sont de dimension finie...
L'étude des espaces de dimension infinie, se fait en général dans les cours d'analyse fonctionnelle.
La différence majeur est que lorsque l'on travaille sur des espaces vectoriels normés de dimension finie, du fait que toutes les normes soient équivalentes, et puisque toute application linéaire est lipschitzienne (en dimension finie) pour la norme 2, alors toute application linéaire en dimension finie est fermée.
De plus, tout espace vectoriel X de dimension finie, est fermé, et si H est un sev de X, alors H possède nécessairement un supplémentaire.
En dimension infinie, tout ca n'est plus vraie, et en fait les normes ne sont plus équivalentes. (sur les Banach, si l'une est plus petite que l'autre, alors elles sont équivalentes...)
En dimension infinie, il existe toujours des applications linéaires qui ne sont pas continues, etc.
Il faut donc bien étudier la structure topologique que l'on met sur notre espace, et c'est très important. C'est une chose qui n'arrive pas en dimension finie, puisqu'on ne se préoccupe pratiquement jamais de la topologie que l'on a sur notre espace.
D'où l'intéret de bien connaître les espaces vectoriels de dimension finie avant de s'attaquer aux autres...

[µµtt]

Je confirme.
Il est possible de trouver des contres-exemples si on a pas l'axiome du choix.

Par contre, il est tout à fait possible que seule une version faible de l'axiome du choix suffise.

C'est même un peu plus fort que ça : on peut prouver que l'on ne peut montrer l'existence d'une base pour tout e.v. sans l'Axiome du Choix "fort" (Zorn en fait mais c'est pareil).

Quant à faire des maths avec ou sans l'AC .... Sans l'axiome du choix des e.v. n'ont pas de base mais toutes les fonctions sont mesurables.