Lineaire algebra/Lineaire afbeelding

Uit Wikibooks
Inhoudsopgave Lineaire algebra
Hoofdstukken
  1. Lineaire ruimte
  2. Lineaire combinatie
  3. Lineair onafhankelijk stelsel
  4. Volledig stelsel
  5. Basis
  6. Dimensie
  7. Rang
  8. Coördinatisering
  9. Coördinatentransformatie
  10. Lineaire afbeelding
  11. Kern
  12. Matrix
  13. Getallenruimte
  14. Kolom- en rijvector
  15. Eenvorm
  16. Duale ruimte
  17. Lineaire algebra/Covariant en contravariant
  18. Transformaties
  19. Inproduct
  20. Bilineaire vorm
  21. Kwadratische vorm
  22. Tensor

We hebben al gezien dat de coördinatisering de lineaire ruimte met basis afbeeldt in (op) de lineaire ruimte . Deze afbeelding heeft de volgende eigenschappen:

en

Een lineaire combinatie van vectoren wordt dus afgebeeld op dezelfde lineaire combinatie van de beelden van die vectoren. En dat is maar goed ook voor een coördinatisering. Zulke afbeeldingen houden dus (zo goed mogelijk) de lineaire structuur in stand; we noemen ze daarom lineaire afbeeldingen.

Definitie 10.1[bewerken]

Een afbeelding van de lineaire ruimte naar de lineaire ruimte , beide over , heet lineair als geldt:

en

Een lineaire afbeelding wordt ook homomorfisme genoemd.

De beide vectorruimten hoeven niet eindig-dimensionaal te zijn, noch van gelijke dimensie en de afbeelding hoeft noch injectief, noch surjectief te zijn.

Merk op dat eigenlijk geschreven had moeten worden:

en

om onderscheid te maken tussen de bewerkingen in en in . In de praktijk laten we de indices weg, aangezien dat nooit tot verwarring aanleiding geeft.

Voorbeeld 10.1[bewerken]

We beelden de vectorruimte af op zichzelf met de lineaire afbeelding , gegeven door de beelden van de eenheidsvectoren: en . Omdat de afbeelding lineair is, ligt hiermee de hele afbeelding vast, want:


Hierboven hebben we gezien dat coördinatiseringen lineair zijn.

Stelling 10.1[bewerken]

Een coördinatisering is een lineaire afbeelding.


Door op natuurlijke wijze de afbeeldingen van naar van een optelling en scalaire vermenigvuldiging te voorzien via:

en

wordt de ruimte van alle afbeeldingen van naar een lineaie ruimte over hetzelfde lichaam.

Stelling 10.2[bewerken]

De afbeeldingen van de lineaire ruimte naar de lineaire ruimte , beide over , vormen een lineaire ruimte over .

Bewijs[bewerken]

Het bewijs is triviaal en verloopt via het verifiëren van de eisen voor lineaire ruimte.

Stelling 10.3[bewerken]

De lineaire afbeeldingen van de lineaire ruimte naar de lineaire ruimte , beide over , vormen een lineaire deelruimte van de ruimte van alle afbeeldingen van naar .

Bewijs[bewerken]

Met is ook .

Informatie afkomstig van https://nl.wikibooks.org Wikibooks NL.
Wikibooks NL is onderdeel van de wikimediafoundation.