Ontbinding van een euclidische ruimte

Moderators: ArcherBarry, Fuzzwood

Reageer
Gebruikersavatar
Berichten: 7.390

Ontbinding van een euclidische ruimte

Hallo, ik weet dat een eindigdimensionale euclidische ruimte steeds te ontbinden valt in een deelruimte en het orthogonaalcomplement ervan.

Voor oneindigdimensionale ruimten is dit niet het geval. Nu vraag ik me af waar het dan spaak loopt?

Kan iemand me daarbij helpen?

Dank bij voorbaat!
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 24.578

Re: Ontbinding van een euclidische ruimte

Voor eindigdimensionale ruimten heb je de krachtige stelling dat je steeds een (eindige) basis hebt; vele bewijzen gebruiken dit immers ook ("Zij E een basis van V, dan kunnen we schrijven..."), dat gaat niet zomaar meer op in het oneindigdimensionale geval.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.390

Re: Ontbinding van een euclidische ruimte

Ja, ik was aan het denken aan de vectorruimte van de veeltermen, en ik vroeg me af, waar de 'overgang' plaats vond tussen een basis van een gogol elementen en een (als die bestaat) basis ban oneindig aantal elementen.

Oneindig blijft iets fascinerend :eusa_whistle:
"C++ : Where friends have access to your private members." Gavin Russell Baker.

Gebruikersavatar
Berichten: 24.578

Re: Ontbinding van een euclidische ruimte

Het bestaan van een basis in het oneindigdimensionaal geval is een stuk subtieler dan in het eindigdimensionaalgeval. Je kan bewijzen dat elke vectorruimte een basis heeft, maar voor oneindigdimensionale vectorruimten heb je daarvoor het keuzeaxioma nodig.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Reageer