Springen naar inhoud

Orthonormale basis


  • Log in om te kunnen reageren

#1

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 28 januari 2012 - 18:07

Beste mensen van het wetenschapsforum,

Ik ben bezig met het studeren voon lineaire analyse en ik ben nu bezig met een oefententamen. Vraag 4 is:
Zij V een inproductruimte en zij U een unitaire afbeelding van V naar V. Verder is gegeven dat E = {e1,e2,.....,en}
een orthonormale basis is van V
Toon aan dat S = {Ue1,Ue2,.....,Uen} ook een orthonormale basis is van V

Nu heb ik dat zo opgelost:
x in V
1)||x|| = SUM |<x,Ue1>|^2
2) = |<x,Ue1>|^2+ |<x,Ue2>|^2+ ..... +|<x,Uen>|^2
3) = |<Ux+x_loodrecht1,Ue1>|^2+ |<Ux+x_loodrecht2,Ue2>|^2+ ..... +|<Ux+x_loodrechtn,Uen>|^2
4) = |<x,U*Ue1>|^2+ |<x,U*Ue2>|^2+ ..... +|<x,U*Uen>|^2
5) = |<x,e1>|^2+ |<x,e2>|^2+ ..... +|<x,en>|^2
6) = SUM |<x,e>|^2
7) = ||x||

Bij stap 1 maak ik gebruik van parseval. Dan bij stap 5 maak ik gebruik dat de operator unitair is.

Mijn vraag is: Klopt dit wat ik heb opgeschreven?
Zo nee, zit ik in de goede richting? Zo ja, Is dit een nette manier van opschrijven?

Mvg,
piet

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 28 januari 2012 - 19:10

Ik snap niet wat je met die berekening wilt doen of denkt te bereiken... Daarenboven geldt Parseval enkel (met zekerheid) als je een orthonormale basis hebt, dus ben je daar ook niets bij.

Waarom pas je niet gewoon de definitie toe? Wanneer zijn 2 vectoren orthonormaal?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#3

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 15:45

Beste Drieske,

2 vectoren zijn toch orthonormaal als het volgende geldt:
||ek|| = 1 voor all k
ek loodrecht op ej voor alle k is niet gelijk aan j

Hoe moet ik dat dan nu verder doen? Mag je dan U keer de basis doen en dan zeggen dat dat ook een orthonormale basis is?

mvg,
Piet

Veranderd door piet klaassen, 29 januari 2012 - 15:47


#4

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 29 januari 2012 - 16:04

2 vectoren zijn toch orthonormaal als het volgende geldt:
||ek|| = 1 voor all k
ek loodrecht op ej voor alle k is niet gelijk aan j

Klopt. Korter genoteerd: LaTeX met LaTeX .

In jouw geval moet je dus berekenen: LaTeX wetende dat LaTeX en U unitair. Niet zo moeilijk, toch? Let wet: dat bewijst nog niet dat het een basis!
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#5

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 16:15

Beste Drieske

Okay dus:
LaTeX

Moet je dan nog aantonen dat de basis {Ue1,.....,Uen} lineair onafhankelijk is?

mvg,
piet

#6

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 29 januari 2012 - 16:22

Moet je dan nog aantonen dat de basis {Ue1,.....,Uen} lineair onafhankelijk is?

A priori weet je het niet dat een basis is, dus dat woord zou ik daar nog niet gebruiken :). Er zijn verschillende methodes om te bewijzen dat iets een basis is. Je weet in deze één zaak: {e1, ..., en} vormen een basis. Dat ga je dus erin moeten verwerken.

Begrijp je overigens waarom Parseval hier niet werkt? En wat wou je aantonen met: ||x|| = ... = ||x||?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#7

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 16:50

Ik probeerde aan te tonen dat
SUM |<x,Ue1>|^2 = SUM |<x,e>|^2
want ik dacht als dat zou gelden dan zou S ={Ue1,.....,Uen} ook een basis zijn maar ik begrijp nu dat parseval gaat over de benaderingsfout.

Maar nu ik weet dat:

LaTeX

#8

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 29 januari 2012 - 17:10

LaTeX

Wat denk je zelf?

Maar los daarvan: je denkt te moeilijk. Je kunt heel makkelijk aantonen (je moet dit zelfs zo zien!) dat orthonormale vectoren lineair onafhankelijk zijn. Je hebt dus n lineair onafhankelijke vectoren gevonden in een n-dimensionale ruimte... Dus een maximaal vrij deel. Bijgevolg moet... (maak nu zelf af.)
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#9

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 17:25

Maar als ik n onafhankelijke vectoren heb gevonden in een n-dimensionale ruimte dan wordt die n-dimensionale ruimte opgespannen door die n onafhankelijke vectoren?
Dan is het toch bewezen dat dat het een basis is van de ruimte?

#10

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 29 januari 2012 - 17:40

Dan is het toch bewezen dat dat het een basis is van de ruimte?

Jazeker. Dat is mijn punt ook net... Dat {e1, ..., en} orthonormaal zijn had je dus nodig. Dat ze een basis vormen voor je ruimte ook. Waar gebruik je dat? Dat is subtieler dan het lijkt!
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#11

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 20:11

gebruik je dat niet in de definitie van orthonormaal?

Bedankt in ieder geval voor je hulp!

#12

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 29 januari 2012 - 20:41

gebruik je dat niet in de definitie van orthonormaal?

Wat bedoel je hiermee?

Vraag: ik zei dat je een ruimte van dimensie n hebt. Waarom?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#13

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 20:50

Waarom het n-dimensionaal is? Dat is toch omdat de een basis van dit {e1,.....,en} is en dan wordt de dimensie toch ook n?

#14

Drieske

    Drieske


  • >5k berichten
  • 10217 berichten
  • Moderator

Geplaatst op 29 januari 2012 - 21:38

Waarom het n-dimensionaal is? Dat is toch omdat de een basis van dit {e1,.....,en} is en dan wordt de dimensie toch ook n?

Inderdaad. En daar gebruik je dus dat {e1, ..., en} een basis vormen. Maar ik heb het gevoel dat het je niet helemaal duidelijk is. Klopt dat of vergis ik mij?
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.

#15

piet klaassen

    piet klaassen


  • >25 berichten
  • 32 berichten
  • Gebruiker

Geplaatst op 29 januari 2012 - 22:55

Ja in het begin was het mij niet helemaal duidelijk maar nu is dat wel.
Ik heb vooral veel moeite met het abstracte niveau. Daardoor ga ik te moeilijk denken, want toen ik vraag las had ik al begrepen dat de dimensie n is want er zijn n elementen in de basis.
Aankomende woensdag is het tentamen dus ik heb nog veel te doen.





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures