create account

Mathématiques : algèbre linéaire 3 - Existence d'une base dans un espace vectoriel - by valuematik

View this thread on: hive.blog |  peakd.com |  ecency.com
mathematiques · @valuematik · (edited)
$48.22
Mathématiques : algèbre linéaire 3 - Existence d'une base dans un espace vectoriel -
<html>
<p><img src="https://s14.postimg.cc/6vng5so9d/Alg_bre_lin_aire.jpg" width="589" height="800"/></p>
<p>(couverture du " Joseph Grifone ")</p>
<p>Nous avons vu ce qu'était une famille libre (et liée) ainsi qu'une famille génératrice dans les deux posts précédents. J'avais pris comme bases de référence, les bases canoniques de R2 ET R3 sans forcément définir la notion de '' base d'un espace vectoriel ''. En effet, ces deux bases sont très intuitives et ne demande pas de connaissances particulières pour être à même de les appréhender.&nbsp;</p>
<p><br>
L'existence d'une base dans un espace vectoriel est néanmoins plus subtil qu'il n'y paraît. Afin de tuer tout suspense d'entrée de jeu, sachez qu'une famille de vecteurs à la fois libre et génératrice forme automatiquement une base dans un espace vectoriel. Les deux conditions doivent être remplies (une seule n'est pas suffisante)&nbsp;</p>
<p><br>
Ce qui est intéressant, c'est surtout de comprendre pourquoi et de regarder ce que cela implique.&nbsp;</p>
<p><br>
Prenons un point de l'espace R3 et définissons O, l'origine de la base canonique. Soit O (0,0,0) et le point A (5,2,7). Dans cette base, on a donc le vecteur OA (5,2,7). Ceci est trivial. La première question à se poser est la suivante : comment le point A peut-il être atteint à partir de la base canonique ? Pour cela, imaginez que vous devez atteindre le point A en marchant dans le réseau de R3, c'est à dire uniquement sur l'axe x,y ou z, dans cet ordre. On se rend compte assez rapidement qu'il n'existe qu'une seule façon de rejoindre A : 5 pas sur x, 2 sur y et 7 sur z.(voir démonstration un peu après)&nbsp;</p>
<p><br>
Cette notion se généralise en fait à n'importe quelle base de dimension finie. Ainsi, si on prend un vecteur arbitraire d'un espace vectoriel, ce vecteur ne peut être exprimé que de manière unique comme combinaison linéaire des vecteurs de la base en question. Dans notre exemple, nous avons :&nbsp;</p>
<p><br>
&nbsp;OA = 5(1,00) + 2(0,1,0) + 7(0,0,1)&nbsp;</p>
<p><br>
On dit, et cela est très important, qu'il y a unicité de la décomposition.&nbsp;</p>
<p><img src="https://s14.postimg.cc/kqn4gk71d/rep_re_3d.jpg" width="726" height="800"/></p>
<p>Vecteurs de la base canonique de R3</p>
<p><br>
Soit B un point arbitraire de l'espace. Existe-t-il une façon d'exprimer une combinaison linéaire du vecteur OB ?&nbsp;</p>
<p>Oui car la famille de vecteurs de notre base est par définition, comme dit plus haut, génératrice. Donc nous pouvons construire n'importe quel vecteur de R3. De plus, cette décomposition sera unique de par la liberté de la famille en question. Pour s'en convaincre, il suffit de supposer deux décompositions différentes d'un vecteur V et de les soustraire. Par exemple :&nbsp;(considérez ce qui suit comme une notation vectorielle pour V,i,j,k)</p>
<p><br>
V = xi + yj + zk<br>
V = x'i + y'j + z'k<br>
V – V = (x-x')i + (y-y')j + (z-z')k = 0&nbsp;</p>
<p><br>
La famille de la base étant libre par définition, nous avons :&nbsp;</p>
<p><br>
x-x' = y-y' = z-z' = 0&nbsp; (voir post sur les familles libres si cela n'est pas clair)</p>
<p><br>
et donc x = x', y = y' et z = z' ce qui termine la preuve et prouve l'unicité de la décomposition.&nbsp;</p>
<p>Une notion importante liée à la dimension de l'espace vectoriel intervient : dans Rn, la base sera constituée de n vecteurs. Ceci est beaucoup moins évident qu'intuitif !&nbsp;</p>
<p><br>
En effet, supposons l'existence de n vecteurs dans R3 formant une famille génératrice, avec n &gt; 3. Cette famille est-elle une base de R3 ? La réponse est non, tout simplement parce qu'il n'est pas possible d'avoir la liberté dans ce cas. La famille considérée ne peut pas être libre car elle sera obligatoirement liée. (essayez de le démontrer, ce n'est pas très difficile)&nbsp;</p>
<p><br>
De même, supposons une famille libre dans R3 comportant n vecteurs avec cette fois n &lt; 3. Cette famille peut-être une base de R3 ? Là encore ce n'est pas possible. Essayons de le prouver en trouvant un contre-exemple. &nbsp;&nbsp;</p>
<p><br>
Soient les deux vecteurs de R3 (1,0,0) et (0,1,0). La famille est trivialement libre mais on voit facilement qu'un point avec une coordonnées z non nul ne peut pas être atteint. Ainsi la famille en question n'est pas une base.&nbsp;</p>
<p><br>
Une famille de vecteurs dans R3, génératrice, doit avoir au maximum 3 vecteurs pour être candidate pour former une base (sinon elle est liée). Une autre famille de vecteurs dans R3, libre, doit par contre avoir au minimum 3 vecteurs pour être candidate (sinon elle ne peut pas être génératrice). Comme on sait qu'une famille de R3 doit être libre et génératrice pour former une base, elle aura donc obligatoirement 3 vecteurs. (seul cas possible) Et cela se généralise dans Rn.(on parle bien des dimensions finies). Ainsi, une base de Rn est composée de n vecteurs.&nbsp;</p>
</html>
👍  , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and 64 others
properties (23)
authorvaluematik
permlinkmathematiques-algebre-lineaire-3-existence-d-une-base-dans-un-espace-vectoriel
categorymathematiques
json_metadata{"tags":["mathematiques","sciences","mathematics","algebre","algebra"],"image":["https://s14.postimg.cc/6vng5so9d/Alg_bre_lin_aire.jpg","https://s14.postimg.cc/kqn4gk71d/rep_re_3d.jpg"],"app":"steemit/0.1","format":"html"}
created2018-05-13 17:20:51
last_update2018-05-18 09:44:03
depth0
children3
last_payout2018-05-20 17:20:51
cashout_time1969-12-31 23:59:59
total_payout_value39.031 HBD
curator_payout_value9.193 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length4,897
author_reputation3,196,203,779,819
root_title"Mathématiques : algèbre linéaire 3 - Existence d'une base dans un espace vectoriel -"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id55,495,976
net_rshares9,927,486,801,998
author_curate_reward""
vote details (128)
@dolphinbot ·
re-valuematik-mathematiques-algebre-lineaire-3-existence-d-une-base-dans-un-espace-vectoriel-20180516t203904580z
Great post! You've earned a 9.87% upvote from @dolphinbot
Join the DolphinBot Team for Daily Payouts in Steem! Click here: http://bit.ly/dolphinbot
![](https://image.ibb.co/nwFta7/dolphinbot.jpg)
properties (22)
authordolphinbot
permlinkre-valuematik-mathematiques-algebre-lineaire-3-existence-d-une-base-dans-un-espace-vectoriel-20180516t203904580z
categorymathematiques
json_metadata{"app":"postpromoter/1.9.0"}
created2018-05-16 20:39:03
last_update2018-05-16 20:39:03
depth1
children0
last_payout2018-05-23 20:39:03
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length196
author_reputation2,610,105,290,021
root_title"Mathématiques : algèbre linéaire 3 - Existence d'une base dans un espace vectoriel -"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id56,071,412
net_rshares0
@mwanjo · (edited)
@valuematik this is a very good article.
I am here because we meet at @promobot which is not delivering its part of the bargain. What do we do? I lost much money to that  bot.
👍  , ,
properties (23)
authormwanjo
permlinkre-valuematik-mathematiques-algebre-lineaire-3-existence-d-une-base-dans-un-espace-vectoriel-20180513t180341750z
categorymathematiques
json_metadata{"tags":["mathematiques"],"users":["valuematik","promobot"],"app":"steemit/0.1"}
created2018-05-13 17:59:03
last_update2018-05-13 19:51:39
depth1
children1
last_payout2018-05-20 17:59:03
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length175
author_reputation7,084,896,299,079
root_title"Mathématiques : algèbre linéaire 3 - Existence d'une base dans un espace vectoriel -"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id55,501,052
net_rshares2,312,340,271
author_curate_reward""
vote details (3)
@valuematik · 
Thanks a lot
properties (22)
authorvaluematik
permlinkre-mwanjo-re-valuematik-mathematiques-algebre-lineaire-3-existence-d-une-base-dans-un-espace-vectoriel-20180513t200804872z
categorymathematiques
json_metadata{"tags":["mathematiques"],"app":"steemit/0.1"}
created2018-05-13 20:08:03
last_update2018-05-13 20:08:03
depth2
children0
last_payout2018-05-20 20:08:03
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length12
author_reputation3,196,203,779,819
root_title"Mathématiques : algèbre linéaire 3 - Existence d'une base dans un espace vectoriel -"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id55,517,216
net_rshares0
Help/Feedback