Surjectie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Een surjectieve, niet injectieve afbeelding

In de wiskunde is een surjectie of surjectieve afbeelding van een verzameling in een verzameling een afbeelding, waarbij elk element van als beeld optreedt. Het bereik van een surjectieve afbeelding is dus gelijk aan het codomein. Men zegt in zo'n geval dat de afbeelding op afbeeldt, en noemt de afbeelding kortweg op.

De term 'surjectief' en de daaraan gerelateerde termen 'injectie' en 'bijectie' werden geïntroduceerd door de Bourbaki-groep,[1] een groep van voornamelijk Franse 20e-eeuwse wiskundigen die vanaf 1935 een reeks boeken schreven, waarin een expositie van de moderne geavanceerde wiskunde werd gegeven. Het Franse prefix sur betekent over of boven en heeft betrekking op het feit dat het beeld van het domein van een surjectieve functie het codomein van de functie volledig afdekt.

Definitie[bewerken]

De afbeelding heet een surjectie, een surjectieve afbeelding of kortweg een afbeelding van op , als elk element van optreedt als beeld, dus als bij elke een element bestaat, waarvoor

.

Voorbeelden[bewerken]

  • De afbeelding met is surjectief, want voor elke is er een waarvoor .
  • De afbeelding die aan elk ooit op aarde levende mens, zijn of haar vader toevoegt (dus bijvoorbeeld (George W. Bush) = George Bush senior, (Kim Clijsters) = Lei Clijsters, enz.) is niet surjectief als afbeelding van alle mensen in alle mensen, want vrouwen treden niet op als vader. Ook als afbeelding in alle mannen is de afbeelding niet surjectief, want niet iedere man is ook vader.
  • De afbeelding met is geen surjectie, want er is geen element waarvoor .

Zie ook[bewerken]

Voetnoten[bewerken]

  1. Vroegste gebruik van enkele termen in de wiskunde: injectie, surjectie en bijectie bevat de geschiedenis van surjectie en gerelateerde termen.