Halfgroep
Een halfgroep of semigroep is in de wiskunde, meer specifiek in de abstracte algebra, een algebraïsche structuur die bestaat uit een verzameling samen met een associatieve binaire operatie. Een halfgroep is in andere woorden een associatief magma.
| algebraïsche structuren |
|---|
De formele studie van halfgroepen begon ongeveer honderd jaar geleden, in het begin van de twintigste eeuw. Sinds de jaren vijftig is de theorie van de eindige halfgroepen van bijzonder belang geweest in de theoretische informatica, vooral vanwege het natuurlijke verband tussen eindige halfgroepen en eindigetoestandsautomaten.
Definitie
Een halfgroep is een verzameling met een associatieve binaire bewerking .
Het is gebruikelijk om te schrijven in plaats van voor het resultaat van de bewerking toegepast op de elementen en van .
De genoemde associatieve eigenschap van de bewerking houdt in dat voor alle geldt:
Voorbeelden
- De natuurlijke getallen met de optelling, genoteerd als , vormen een halfgroep.
- De gehele getallen met de vermenigvuldiging, genoteerd als , vormen een halfgroep.
- De reële getallen met de vermenigvuldiging, genoteerd als , vormen een halfgroep.
- De gehele getallen met de aftrekking, genoteerd als , zijn géén halfgroep, want bijvoorbeeld voor gaat de eigenschap van associativiteit niet op:
Halfgroepen in de analyse
In de operatorentheorie, een tak van de functionaalanalyse, heeft de term halfgroep gewoonlijk de betekenis van een eenparameter-halfgroep van continue lineaire transformaties van een Banachruimte. Het gaat hier eigenlijk om een heel bijzonder geval, namelijk dat van het beeld van de halfgroep onder een homomorfisme dat continu is ten opzichte van een bepaalde topologie.
