Versie van 7 sep 2017 21:22 bewerken Bob.v.R (overleg \| bijdragen) uitgebreid bevestigde gebruikers, Uitgezonderden van IP-adresblokkades 62.980 bewerkingen k →‎Voorbeelden: opmaak ← Oudere bewerking		Versie van 19 dec 2017 16:06 bewerken ongedaan maken 131.211.53.229 (overleg) →‎Een-op-een-correspondenties Nieuwere bewerking →
Regel 140: ==Een-op-een-correspondenties== Een '''een-op-een-correspondentie''' of '''~~bijectie~~injectie''' is een ~~bijectieve~~ tweeplaatsige relatie. "Een functie f heet injectief als f aan verschillende elementen uit zijn domein verschillende waarden toekent" <ref>uit het dictaat Logica voor Alfa's en Informatici van J. van Eijck en E.Thijse druk 2017</ref>. De een-op-een-correspondentie is een veelgebruikte soort tweeplaatsige relatie. In de [[algebra]] is het [[isomorfisme]] bijvoorbeeld (een specifiek geval van) een een-op-een-correspondentie en in de [[topologie]] is het [[homeomorfisme]] (een specifiek geval van) een een-op-een-correspondentie. In wiskundige bewijzen worden een-op-een-correspondenties geconstrueerd om uiteenlopende feiten aan te tonen. Een voorbeeld hiervan is het aantonen van de [[gelijkmachtigheid]] van twee verzamelingen. Twee verzamelingen zijn namelijk gelijkmachtig desda er een een-op-een-correspondentie tussen deze verzamelingen bestaat.

Tweeplaatsige relatie: verschil tussen versies