Universitaire wiskunde — Bachelor jaar 1 · Bachelor Year 1
2Tellen
Het tellen van eindige verzamelingen klinkt elementair — en wordt al snel subtiel. Dit hoofdstuk definieert de kardinaliteit netjes (via bijecties, in de geest van Hoofdstuk 1), stelt de handvol telprincipes vast waaruit alles volgt, en leidt de klassieke tellingen af: lijsten, permutaties, deelverzamelingen, binomiaalcoëfficiënten.
2.1 Kardinaliteit van eindige verzamelingen
Definitie 2.1 (Eindige verzameling, kardinaliteit)
Voor schrijven we . Een verzameling is eindig wanneer of wanneer er een bijectie is van op voor een zekere ; deze is uniek (Stelling 2.2) en is de kardinaliteit van , genoteerd (met ).
Stelling 2.2 (Kardinaliteit is welgedefinieerd)
Als , dan is er geen bijectie van op . Preciezer: als is er geen injectie van in .
Bewijs. We bewijzen door inductie op de uitspraak: voor alle is er geen injectie . Voor is het doel leeg en : er bestaat helemaal geen afbeelding. Neem de uitspraak aan voor , en veronderstel dat een injectie is met . Als de waarde niet bereikt wordt, is een injectie in , wat de inductiehypothese tegenspreekt. Anders geldt voor precies één ; verwissel en (formeel: samenstellen met de transpositie van de twee waarden), zodat de nieuwe injectie voldoet aan . Dan is de beperking van tot een injectie in met — opnieuw een tegenspraak. ∎
Gevolg 2.3 (Duiventilprincipe)
Als , dan is geen enkele afbeelding injectief: twee elementen van delen hun beeld.
Bewijs. Schrijf , met , en kies bijecties en . Als injectief zou zijn, dan zou een injectie van in zijn (een samenstelling van injecties, Propositie 1.26), wat Stelling 2.2 tegenspreekt. ∎
Opmerking 2.4 (Intermezzo: waarom de verwisseling in het bewijs van de stelling?)
Het bewijs van Stelling 2.2 bevat de eerste werkelijk vernuftige zet van het hoofdstuk, die het waard is langzaam over te doen. Het obstakel: om de inductiehypothese toe te passen wil men het laatste punt van het domein en het laatste punt van het doel schrappen, maar kan een ander punt naar sturen, en dan beschadigt het schrappen van het doelpunt de afbeelding elders. De remedie: stel samen met de transpositie van de twee waarden en — een bijectie van het doel, zodat injectiviteit behouden blijft — waarna de lastige waarde op de onschadelijke positie staat, en beide schrappingen schoon zijn. Dit patroon van “eerst normaliseren, dan snijden” komt vaker terug: het is hoe de recurrentie voor derangementen omleidt in het weekendprobleem van dit hoofdstuk, en hoe permutaties worden bijgesteld doorheen het probleem over de symmetrische groep in Hoofdstuk 7.
Propositie 2.5 (Injecties, surjecties en kardinaliteit)
Zij eindige verzamelingen met , en . Dan geldt
Bewijs. Veronderstel injectief. Dan is een bijectie van op , dus . Als een punt van zou missen, dan zou een injectie van in zijn, een verzameling van kardinaliteit — onmogelijk volgens het duiventilprincipe. Dus : is surjectief, en dus bijectief.
Veronderstel surjectief. Kies voor elke één origineel ; dan geldt , dus is injectief (Propositie 1.26). Volgens de vorige paragraaf toegepast op (de kardinaliteiten zijn gelijk) is bijectief. Uit krijgen we , dus is bijectief. Ten slotte is een bijectieve afbeelding per definitie zowel injectief als surjectief, wat de cyclus van implicaties sluit. ∎
Voorbeeld 2.6 (Eindigheid is essentieel)
Op een eindige verzameling is Propositie 2.5 een krachtige kortere weg: elke injectieve afbeelding van naar zichzelf is automatisch een permutatie van — de helft van de bijectiviteit krijg je gratis. Beide implicaties vallen weg op oneindige verzamelingen: is injectief van naar maar mist , en de afbeelding die en voor stuurt, is surjectief maar niet injectief. Telkens wanneer deze propositie wordt ingeroepen, doet de eindigheidshypothese echt werk — een thema dat het weekendprobleem van Hoofdstuk 1 vanaf de andere kant verkent, waar oneindige verzamelingen juist die zijn die zulke zelfafbeeldingen toelaten.
Voorbeeld 2.7 (De helft van het werk, gratis)
Beschouw de afbeelding op die stuurt naar de rest van bij deling door ; haar waardetabel is
Is een bijectie? Injectiviteit alleen volstaat (Propositie 2.5): als en dezelfde rest hebben, dan deelt het getal , en aangezien priem is en niet deelt, deelt het (lemma van Euclides, hier gebruikt op het niveau van de middelbare school en bewezen in Hoofdstuk 6); met dwingt dit af. Surjectiviteit komt er gratis bij — geen noodzaak om voor elke op te lossen, hoewel de tabel bevestigt dat elke waarde precies eenmaal voorkomt. De kortere weg is een werkpaard: hij bewijst de inverteerbaarheid van modulaire vermenigvuldiging (Hoofdstuk 6), drijft de koppeling in de stelling van Wilson aan, en keert terug in de lineaire algebra als “een endomorfisme van een eindigdimensionale ruimte is injectief dan en slechts dan als het surjectief is” (Hoofdstuk 19).
2.2 De telprincipes
Propositie 2.8 (Som- en productregel)
- Als , dan geldt ; algemener, voor een partitie van in stukken , geldt .
- In het algemeen, .
- .
- De verzameling van alle afbeeldingen van naar voldoet aan .
- .
Bewijs. (1) Rijg de opsommingen aaneen: als en zonder herhaling, dan somt de verzameling op zonder herhaling (disjunctheid). Inductie breidt dit uit tot stukken.
(2) is de disjuncte vereniging van en , en is de disjuncte vereniging van en ; dus .
(3) is de disjuncte vereniging, over , van de verzamelingen , elk van kardinaliteit ; pas (1) toe.
(4) Een afbeelding van naar is precies de keuze van het -tal ; deze correspondentie is een bijectie, en volgens (3) en inductie.
(5) Deelverzamelingen van corresponderen bijectief met afbeeldingen (stuur naar zijn indicatorfunctie); pas (4) toe. ∎
Voorbeeld 2.9 (Tellen via het complement)
Hoeveel -cijferige pincodes (cijfers –, volgorde telt, herhaling toegestaan) bevatten ten minste één herhaald cijfer? Ze rechtstreeks tellen betekent jongleren met de gevallen “precies één paar, twee paren, een drietal, een viertal” — vijf overlappende configuraties. Tel in plaats daarvan het complement: alle codes zijn er (productregel), de codes met vier verschillende cijfers zijn er (-schikkingen), dus het antwoord is
Bijna de helft van alle pincodes herhaalt een cijfer. Het inzicht: telkens wanneer een telling geformuleerd is met “ten minste” of “niet alle”, probeer het complement eerst — de somregel garandeert dat , en het complement is vaak één enkele nette configuratie.
Voorbeeld 2.10 (Roosterpaden)
Tel de kortste paden van de hoek naar de hoek van een rooster, waarbij je telkens slechts één stap naar rechts (R) of één stap omhoog (U) beweegt. Elk zo’n pad neemt precies stappen, waarvan R zijn en U; omgekeerd beschrijft elk woord van lengte in de letters R, U met vier R’s precies één pad. De paden corresponderen dus bijectief met de keuzes van de posities van de R’s:
Het inzicht is de codering: de telling werd triviaal op het moment dat elk pad vertaald werd in een woord, d.w.z. een deelverzameling van posities — nog een instantie van de slagzin dat een correcte telling een vermomde bijectie is (Methode 2.19).
2.3 Lijsten, permutaties, deelverzamelingen
Definitie 2.11 (Schikkingen, permutaties, combinaties)
Zij een verzameling met en zij .
- Een -schikking van is een injectief -tal van elementen van (een geordende selectie zonder herhaling);
- een permutatie van is een bijectie van naar zichzelf — equivalent, een -schikking;
- een -combinatie is een deelverzameling van met elementen (een ongeordende selectie zonder herhaling). Hun aantal wordt genoteerd , gelezen als “ boven ” .
Stelling 2.12 (De drie tellingen)
Met en :
- het aantal -schikkingen van is ;
- het aantal permutaties van is ;
- .
Bewijs. (1) Kies de eerste coördinaat ( manieren), dan de tweede ( resterende keuzes), …, dan de -de ( keuzes). Formeel, doe inductie op . Voor zijn er injectieve tallen met één term. Neem de telling aan voor . Elke -schikking wordt uit precies één -schikking verkregen — haar afknotting — door een laatste coördinaat toe te voegen buiten , waarvoor precies waarden beschikbaar zijn. De -schikkingen worden zo, door afknotting, verdeeld in klassen van gemeenschappelijke grootte geïndexeerd door de -schikkingen, en de somregel geeft
(2) is (1) met .
(3) Elke -deelverzameling ordent zich tot verschillende -schikkingen, en elke -schikking ontstaat uit precies één deelverzameling: dus . ∎
Voorbeeld 2.13 (Ronde tafels: uitdelen door symmetrie)
Op hoeveel manieren kunnen gasten rond een ronde tafel zitten, waarbij twee plaatsingen identiek zijn wanneer elke gast dezelfde linker- en rechterbuur heeft — d.w.z. op rotatie na? Elke cirkelvormige plaatsing correspondeert met precies lineaire plaatsingen (knip de cirkel op elk van de plaatsen), dus de lineaire ordeningen vallen samen in groepen van :
Equivalent: zet één uitverkoren gast ergens neer (waarmee de rotatievrijheid geëlimineerd wordt), ordn dan de overige gasten met de klok mee. Voor : tafels. De twee oplossingen illustreren de twee standaardremedies voor overtelling: deel door het exacte aantal herhalingen, of breek de symmetrie door één object vast te pinnen. Beide vereisen dat de grootte van de groep herhalingen voor elke configuratie dezelfde is — wat het bewijs van de formule hierboven eveneens gebruikte, met in plaats van .
Voorbeeld 2.14 (Een beperking toevoegen)
De ronde tafel voortzettend: onder de tafels van gasten, hoeveel plaatsen twee gegeven gasten en uit elkaar (niet naast elkaar)? Tel het complement. Tafels waar en samen zitten: lijm ze aaneen tot één blok — objecten rond de tafel, d.w.z. cirkelvormige schikkingen — ordn dan het paar binnen zijn blok ( manieren): tafels waar ze naast elkaar zitten. Dus
tafels houden ze uit elkaar. Controles: geeft (rond een driehoek raakt iedereen iedereen) en geeft , gemakkelijk met de hand opgesomd. De lijmtruc — behandel een gedwongen blok als één object, tel dan zijn interne schikkingen — is de standaardremedie voor beperkingen op aangrenzendheid, lineair of cirkelvormig.
Propositie 2.15 (Basisidentiteiten)
Voor :
Bewijs. Eerste identiteit: is een bijectie tussen -deelverzamelingen en -deelverzamelingen. Regel van Pascal: kies een element ; de -deelverzamelingen splitsen zich in die welke bevatten (kies de andere: ) en die welke mijden (). Derde identiteit: beide leden tellen alle deelverzamelingen van , links opgesplitst naar grootte (Propositie 2.8 (1) en (5)). ∎
Stelling 2.16 (Binomiaalstelling)
Voor alle in een commutatieve ring (zeg of ) en :
Bewijs. Het distributief uitwerken van levert één term per keuze, in elke factor, van ofwel ofwel : de term verschijnt eenmaal voor elke manier om te kiezen welke van de factoren bijdragen — dat wil zeggen, keer. (Alternatief: doe inductie op met de regel van Pascal.) ∎
Voorbeeld 2.17
Twee klassieke specialisaties: geeft terug; , geeft voor : onder de deelverzamelingen van een niet-lege verzameling heeft precies de helft een even kardinaliteit.
Voorbeeld 2.18 (Eén identiteit, twee bewijzen)
De specialisatie , van de binomiaalstelling luidt
Hier is dezelfde identiteit zonder enige algebra. Het rechterlid telt de woorden van lengte over het alfabet (productregel). Classificeer elk woord naar de verzameling van posities die een niet-nulletter dragen: het kiezen van met kost , dan draagt elke positie van onafhankelijk of : manieren. De somregel over geeft het linkerlid. Voorbij het genoegen van de overeenstemming hebben de twee bewijzen verschillende verdiensten: het algebraïsche veralgemeent naar elke waarde van , het combinatorische verklaart de formule en past zich aan aan beperkingen (verbied de letter op de laatste positie, zeg) die geen enkele substitutie vat. Beide technieken actief houden is de praktische vaardigheid die dit hoofdstuk traint.
Methode 2.19 (Welke telling is van toepassing?)
Beantwoord vóór het rekenen twee vragen over de selectie: doet de volgorde ertoe, en zijn herhalingen toegestaan?
| volgorde telt | volgorde telt niet | |
|---|---|---|
| geen herhaling | ||
| [6pt] herhaling toegestaan | (Oefening 2.10) |
Zoek dan naar een bijectie of een partitie die het probleem herleidt tot deze modeltellingen; een correcte telling is een vermomde bijectie.
Opmerking 2.20 (Veelvoorkomende valkuilen bij het tellen)
- Niet-disjuncte gevallen optellen. De somregel vereist een partitie; als configuraties twee gevallen tegelijk kunnen voldoen, worden ze dubbel geteld — de remedie is inclusie–exclusie (Stelling 2.24) of een fijnere gevalsonderscheiding.
- Geordend versus ongeordend. Het kiezen van “een commissie van twee” is , niet : beslis vóór het rekenen of de selectie een volgorde draagt, en als een geordende telling gemakkelijker is, deel dan aan het einde door het aantal ordeningen — maar alleen wanneer elk ongeordend object uit hetzelfde aantal geordende ontstaat.
- Meertraps keuzes die niet onafhankelijk zijn. De productregel vereist dat het aantal opties bij elke trap onafhankelijk is van de voorgaande keuzes. “Kies een kapitein, dan een verschillende vicekapitein” is prima (); “kies twee spelers die met elkaar overweg kunnen” is helemaal geen tweetraps product.
- Dubbeltelling door constructie. Elk object twee keer opbouwen — bijv. handen met ten minste één aas tellen als (kies een aas) (kies verdere kaarten) — telt handen met twee azen te veel. “Ten minste” vraagt bijna altijd om het complement (Voorbeeld 2.9).
Voorbeeld 2.21 (Telling in pokerstijl)
Uit een spel van kaarten is het aantal handen van kaarten . Handen die precies één aas bevatten: kies de aas ( manieren) dan kaarten onder de niet-azen: . De productregel is van toepassing omdat de keuze uiteenvalt in onafhankelijke trappen.
Methode 2.22 (Dubbeltelling)
Om een identiteit tussen twee teluitdrukkingen te bewijzen, zoek één enkele eindige verzameling die beide leden tellen — typisch een verzameling van paren — en evalueer haar kardinaliteit in twee verschillende volgordes. Het prototype is het handdruklemma: tel op een feest de paren (persoon, geschudde hand). Sommeren over personen geeft (het aantal handdrukken van elke persoon ); sommeren over handdrukken geeft tweemaal het aantal handdrukken (elk betreft twee personen). Dus is even — zodat het aantal personen dat een oneven aantal handen schudde altijd even is, een niet-triviale conclusie verkregen zonder enige formule. Dezelfde machine drijft Oefening 2.12 en verscheidene vragen van het weekendprobleem hieronder aan.
Voorbeeld 2.23 (De gemiddelde deelverzameling)
Wat is de gemiddelde kardinaliteit van een deelverzameling van een -elements verzameling , waarbij alle deelverzamelingen even waarschijnlijk zijn? Dubbeltel de paren met : sommeren over deelverzamelingen geeft , het totaal dat we willen; sommeren over elementen geeft (elk van de elementen ligt in precies de helft van de deelverzamelingen — koppel elke die bevat aan ). Dus
deelverzamelingen zijn gemiddeld half gevuld — zoals de symmetrie (die groottes en koppelt) eveneens voorspelt. Twee bewijzen, één antwoord, en beide vermijden de rechtstreekse berekening van Oefening 2.5: een goedgekozen koppeling vervangt vaak een identiteit.
2.4 Inclusie–exclusie
Stelling 2.24 (Inclusie–exclusie)
Voor eindige verzamelingen :
Voor : .
Bewijs. Neem een element van de vereniging en tel zijn bijdrage aan het rechterlid. Zij , van kardinaliteit . Het element wordt eenmaal geteld in precies wanneer , met teken ; zijn totale bijdrage is
volgens Voorbeeld 2.17. Dus wordt elk element van de vereniging precies eenmaal geteld. ∎
Voorbeeld 2.25 (Relatief prieme gehele getallen tellen)
Hoeveel gehele getallen van zijn relatief priem met ? Een geheel getal deelt een factor met precies wanneer het deelbaar is door , of , dus tel het complement van , waarbij de veelvouden van verzamelt. Binnen zijn er veelvouden van telkens wanneer het getal deelt — geen vloerfuncties nodig — en , enz. Inclusie–exclusie:
dus gehele getallen zijn relatief priem met . Het is leerzaam om de berekening te hergroeperen als een product:
het uitwerken van de drie haakjes reproduceert precies de acht getekende termen van inclusie–exclusie, één per deelverzameling van . Deze productvorm definieert de totiëntfunctie van Euler, waarvan de rekenkundige rol met de congruenties van Hoofdstuk 6 verschijnt en ontwikkeld wordt in het volume van Jaar 2.
Voorbeeld 2.26 (Derangementen)
Een derangement is een permutatie zonder vast punt. Zij de verzameling permutaties van die vastlaten; dan geldt , en inclusie–exclusie telt de permutaties met ten minste één vast punt; de derangementen zijn er
Aangezien (zie Hoofdstuk 17), is ongeveer van alle permutaties een derangement, wat ook is.
Opmerking 2.27 (Waar dit hoofdstuk gebruikt wordt)
Binomiaalcoëfficiënten zijn de meest intensief hergebruikte objecten van dit hoofdstuk: ze drijven de binomiaalstelling in Hoofdstuk 8 (uitwerking van ) aan, de formule van Leibniz voor de -de afgeleide van een product in Hoofdstuk 14, en de coëfficiënten van Taylorontwikkelingen in Hoofdstuk 16. Permutaties keren terug als een groep — met de signatuur opgebouwd uit het tellen van inversies — in Hoofdstuk 7, en de signatuur definieert op haar beurt determinanten in Hoofdstuk 22. Inclusie–exclusie en de telprincipes zijn de eindige ruggengraat van de discrete kansrekening, ontwikkeld in het volume van Jaar 2; de derangementgetallen van Voorbeeld 2.26 worden in de diepte bestudeerd in het weekendprobleem hieronder.
2.5 Oefeningen
Oefening 2.1 ★
Een nummerplaat bestaat uit twee letters (A–Z), dan drie cijfers, dan twee letters. Hoeveel platen zijn mogelijk? Hoeveel zonder herhaalde letter onder de vier?
Oplossing
Oplossing van Oefening 2.1.
Onafhankelijke trappen en de productregel: platen. Met de vier letters paarsgewijs verschillend vormen de letterstappen een -schikking van het alfabet: manieren, dus platen.
Oefening 2.2 ★
Hoeveel anagrammen (herschikkingen van de letters, zinvol of niet) heeft het woord orange? En banana?
Oplossing
Oplossing van Oefening 2.2.
orange heeft verschillende letters: anagrammen. banana heeft letters met herhalingen ( a’s, n’s, b): elk anagram wordt bepaald door de posities van de a’s ( keuzes), dan van de n’s onder de overige plaatsen (), waarbij de b de laatste plaats inneemt: anagrammen (equivalent ).
Oefening 2.3 ★
Een commissie van personen wordt gekozen uit vrouwen en mannen. Hoeveel commissies: in totaal? met precies vrouwen? met ten minste één man?
Oplossing
Oplossing van Oefening 2.3.
Totaal: . Precies vrouwen: kies ze () en mannen (): commissies. Ten minste één man: complement van “geen man”, .
Oefening 2.4 ★
Bewijs dat in elke groep van personen twee dezelfde geboortemaand delen; en dat onder elke gehele getallen gekozen uit twee opeenvolgend zijn. (Beide keren het duiventilprincipe: noem de vakjes.)
Oplossing
Oplossing van Oefening 2.4.
Verjaardagen: de vakjes zijn de maanden; personen in vakjes dwingen er twee in hetzelfde vakje (Gevolg 2.3).
Opeenvolgende gehele getallen: de vakjes zijn de paren , die partitioneren. Het kiezen van gehele getallen plaatst er twee in hetzelfde paar, en de twee elementen van een paar zijn opeenvolgend.
Oefening 2.5 ★
Bereken . Hint: leid af, of gebruik (bewijs dit).
Oplossing
Oplossing van Oefening 2.5.
Voor ,
Sommeren en herindexeren met :
volgens Propositie 2.15. (Alternatief: leid af en stel .)
Oefening 2.6 ★★
Hoeveel strikt stijgende afbeeldingen zijn er van naar ? Leid het aantal stijgende (niet noodzakelijk strikt) afbeeldingen af. Hint voor de tweede telling: stijgend .
Oplossing
Oplossing van Oefening 2.6.
Een strikt stijgende afbeelding wordt bepaald door haar beeld, een -deelverzameling van (som de deelverzameling op in stijgende volgorde); omgekeerd geeft elke -deelverzameling precies één zo’n afbeelding. Dus strikt stijgende afbeeldingen.
Als enkel stijgend is, stel . Dan is strikt stijgend (tussen opeenvolgende argumenten wint er bij en wint er bij) met waarden in ; en herwint uit elke strikt stijgende in . Dit is een bijectie, dus er zijn stijgende afbeeldingen.
Oefening 2.7 ★★
(Vandermonde) Bewijs, door -deelverzamelingen te tellen van een verzameling gesplitst in twee blokken van groottes en :
Leid af.
Oplossing
Oplossing van Oefening 2.7.
Splits een verzameling met elementen in blokken ( elementen) en ( elementen). Een -deelverzameling van bevat een zeker aantal elementen van () en van ; voor vaste zijn er zulke deelverzamelingen, en de gevallen partitioneren de -deelverzamelingen. De somregel geeft de identiteit van Vandermonde.
Met : , waarbij gebruikt wordt.
Oefening 2.8 ★★
Hoeveel gehele getallen in zijn deelbaar door of of ? (Inclusie–exclusie; telt de veelvouden van , enz.)
Oplossing
Oplossing van Oefening 2.8.
Zij de veelvouden van in , dus . Inclusie–exclusie (Stelling 2.24) met , waarbij enz.:
Dus gehele getallen zijn deelbaar door , of .
Oefening 2.9 ★★
Tel de surjecties van een verzameling van elementen op een verzameling van elementen; dan op een verzameling van elementen. Hint: tel de niet-surjectieve afbeeldingen met inclusie–exclusie op de gemiste waarden.
Oplossing
Oplossing van Oefening 2.9.
Op elementen: alle afbeeldingen behalve de constante afbeeldingen: surjecties.
Op elementen: door inclusie–exclusie op de gemiste waarden is het aantal afbeeldingen van een -verzameling naar een -verzameling die ten minste één waarde missen gelijk aan ; totaal aantal afbeeldingen ; surjecties: . (Controle: een surjectie van op elementen verdubbelt precies één waarde: kies de verdubbelde waarde (), het paar dat erop afgebeeld wordt (), en een bijectie voor de rest (): .)
Oefening 2.10 ★★
(Sterren en staven) Bewijs dat het aantal -selecties van objecten met herhaling, volgorde genegeerd — equivalent, het aantal met — gelijk is aan . Hint: codeer een oplossing als een rij van sterren en staven.
Oplossing
Oplossing van Oefening 2.10.
Een oplossing van in codeert als een rij van sterren en staven: schrijf sterren, een staaf, sterren, een staaf, …, eindigend met sterren. Dit is een bijectie op de woorden van lengte met sterren en staven, en die woorden worden bepaald door de posities van de sterren: . Selecties met herhaling corresponderen met oplossingen van de vergelijking ( = aantal kopieën van object ), dus de telling is dezelfde.
Oefening 2.11 ★★★
Bewijs de formule van Voorbeeld 2.26 voor in detail, en leid af (bewijs deze identiteit ook rechtstreeks door permutaties te classificeren naar hun vast-puntenverzameling).
Oplossing
Oplossing van Oefening 2.11.
Met laat een permutatie in elke vast en permuteert de overige punten vrij: . Inclusie–exclusie:
aangezien er deelverzamelingen van grootte zijn. Dus
Voor de tweede identiteit: classificeer de permutaties van naar hun vast-puntenverzameling . Voor een vaste -deelverzameling zijn de permutaties met precies de derangementen van het complement: ervan. Sommeren over de keuzes van voor elke : .
Oefening 2.12 ★★★
Voor , bewijs door een dubbeltelling van paren (deelverzameling, gemarkeerd element):
Voor de tweede: tel paren van gemarkeerde elementen, gelijk of niet.
Oplossing
Oplossing van Oefening 2.12.
Eerste identiteit. Tel de paren waar () en . Naar grootte van : paren. Door het gemarkeerde element eerst te kiezen: keuzes voor , dan een willekeurige deelverzameling van de overige elementen om te vervolledigen: paren.
Tweede identiteit. Tel de drietallen met (mogelijk ). Naar grootte: . Rechtstreeks: ofwel ( drietallen, vorige telling) ofwel ( geordende keuzes, dan een willekeurige deelverzameling van de overige elementen: ). Totaal
2.6 Probleem: Derangementen, of de verkeerd geadresseerde brieven
Probleem 2.1
Een secretaris stopt brieven in geadresseerde enveloppen willekeurig: wat is de kans dat niemand de juiste brief ontvangt? Deze klassieke vraag (Montmort, 1708) leidt tot de derangementgetallen van Voorbeeld 2.26. De inclusie–exclusieformule is slechts de openingszet: dit probleem ontwikkelt de recurrenties die berekenen, twee verdere onafhankelijke bewijzen van de formule, de opvallende stelling dat het gehele getal is dat het dichtst bij ligt, de volledige verdeling van vaste punten van een willekeurige permutatie, en de merkwaardige rekenkunde van de rij . Doorheen dit alles duidt het aantal derangementen (permutaties zonder vast punt) van aan, met de conventie (de lege permutatie heeft geen vast punt).
Deel I — Kleine gevallen en de telling van vaste punten.
- Bereken rechtstreeks, en door de derangementen van op te sommen, gegroepeerd naar de waarde van . (Je zou moeten vinden.)
- Voor , toon aan dat het aantal permutaties van met precies vaste punten gelijk is aan .
- Verifieer de telling voor : bereken en controleer dat ze sommeren tot . Wat is waarschijnlijker voor vier brieven: geen match, of precies één match?
Toon door dubbeltelling (Methode 2.22) van de paren met aan dat
gemiddeld heeft een willekeurige permutatie precies één vast punt, wat ook is.
Deel II — Twee recurrenties en twee nieuwe bewijzen van de formule.
Bewijs combinatorisch, voor :
(Classificeer de derangementen van naar , dan naar of ; in het geval , bouw een bijectie met de derangementen van door het origineel van om te leiden naar .) Controleer de recurrentie numeriek tot .
Stel , leid uit vraag 5 af dat , en besluit de tweede recurrentie:
Bewijs uit vraag 6 door inductie de formule van Voorbeeld 2.26,
— een bewijs geheel onafhankelijk van inclusie–exclusie.
(Binomiale inversie) Zij en twee rijen zodat voor alle . Bewijs dat
(Stel eerst de trinomiale herschikking vast, gebruik dan de alternerende rijsom van Voorbeeld 2.17.)
- Pas vraag 8 toe op de identiteit van Oefening 2.11 om een derde bewijs van de formule voor te verkrijgen.
Deel III — Het dichtstbijzijnde gehele getal bij . Neem voor dit deel aan — de theorie wordt opgebouwd in Hoofdstuk 17 — dat waarbij , met de strikte grens voor alternerende reeksen voor elke .
- Toon aan dat voor alle .
- Leid de kernstelling af: voor elke is het gehele getal dat het dichtst bij ligt. Waarom heeft het argument nodig?
- Bepaal het teken van de fout: toon aan dat precies wanneer even is. (Lokaliseer de eerste verwaarloosde term van de alternerende reeks.)
- Bereken tot en met met de recurrentie van vraag 5, controleer dan tegen (, ).
- (De vestiaireprobabiliteit) Zij de kans dat een uniform willekeurige permutatie een derangement is. Toon aan dat en bereken tot vijf decimalen. Commentaar: waarom is het antwoord op de vraag van Montmort in wezen onafhankelijk van — reeds voor een dozijn brieven?
Deel IV — De verdeling van vaste punten.
Zij vast. Toon aan dat het aandeel van de permutaties van met precies vaste punten voldoet aan
(Deze limietwaarden, sommerend tot , vormen de Poissonverdeling van parameter , een centraal object van de cursus kansrekening in het volume van Jaar 2.)
- Toon door dubbeltelling van de drietallen waar beide vastgelaten worden door aan dat voor . Gecombineerd met vraag 4: het gemiddelde van is , dus de “spreiding” (variantie) van het aantal vaste punten is gelijk aan — opnieuw onafhankelijk van , opnieuw overeenkomend met de Poissonwet.
- Bereken het aandeel van de permutaties met ten minste één vast punt voor (als breuken en tot vier decimalen), en vergelijk met .
- Toon rechtstreeks aan — zonder limieten — dat , en leid af dat de probabiliteiten van vraag 14 oscilleren: en , waarbij de even (resp. oneven) waarden dalen (resp. stijgen) naar de gemeenschappelijke limiet .
- (Secret Santa) personen trekken elk één naam uit een hoed; als iemand zijn eigen naam trekt, wordt de hele trekking vanaf nul opnieuw gestart. Gebruik het standaardfeit dat een gebeurtenis met probabiliteit gemiddeld pogingen kost, schat het gemiddelde aantal volledige trekkingen dat nodig is, en besluit dat de procedure gemiddeld ongeveer trekkingen kost, in wezen onafhankelijk van .
Deel V — De rekenkunde van , en een synthese.
- Verfijn vraag 5: toon aan dat voor vaste de derangementen van met er precies zijn, onafhankelijk van . Leid af dat het getal deelt voor elke .
- Bewijs dat oneven is dan en slechts dan als even is. (Werk modulo in de recurrentie van vraag 6.)
- Bewijs dat voor , en controleer de congruentie op het laatste cijfer van .
- Toon uit vraag 6 aan dat voor , zodat de verhouding van opeenvolgende derangementgetallen bijna precies is; leg in één zin uit waarom dit consistent is met .
- Waar precies gebruikte dit probleem: (i) de product- en somregel; (ii) dubbeltelling; (iii) de binomiaalstelling; (iv) de aangenomen grens voor alternerende reeksen? Eén zin per stuk.
- Synthese. De formule voor heeft nu drie bewijzen (inclusie–exclusie, recurrentie plus inductie, binomiale inversie). Vergelijk in een korte paragraaf wat elk bewijs verklaart: welk berekent het snelst, welk veralgemeent naar andere tellingen van vaste punten, en welk onthult waarom verschijnt in een probleem over enveloppen.
Oplossing
Oplossing van Probleem 2.1.
1. (de enige permutatie laat vast), (de verwisseling), (in eenregelige notatie: en ). Voor , gegroepeerd naar : met zijn de derangementen , , ; met : , , ; met : , , . Drie in elke groep: .
2. Een permutatie met precies vaste punten wordt bepaald door de keuze van haar vast-puntenverzameling ( manieren) samen met haar beperking tot het complement, die een permutatie van punten zonder vast punt moet zijn ( manieren). De twee keuzes zijn onafhankelijk en de correspondentie is bijectief: .
3. ; ; ; (drie vaste punten dwingen een vierde af); . Som: . Geen match ( gevallen) verslaat precies één match ( gevallen) — nipt.
4. Tel de paren met . Voor vaste zijn de permutaties die vastlaten de permutaties van de overige punten: ervan. Dus is het aantal paren gelijk aan , en dit aantal is ook . Delen door het aantal permutaties: het gemiddelde aantal vaste punten is precies , voor elke .
5. Zij een derangement van en : mogelijke waarden. Geval : de punten en verwisselen, en beperkt tot de overige punten is een willekeurig derangement ervan: mogelijkheden. Geval : zij ; hier geldt en . Definieer op door voor en . Dan is een permutatie van (de waarde is vervangen door de ontbrekende waarde ), en het is een derangement: , en elders. Omgekeerd herwint men uit een derangement van en de waarde de permutatie door , en elders te stellen: een bijectie, die mogelijkheden geeft. Sommeren over : . Numeriek: , .
6. Uit vraag 5, , dus
Aangezien , geeft inductie , d.w.z. voor .
7. Inductie op . Basis: . Stap: aannemende dat ,
wat de formule is. Geen inclusie–exclusie werd gebruikt: enkel de combinatorische recurrentie van vraag 5.
8. Trinomiale herschikking, via faculteiten:
Substitueer nu en verwissel de twee eindige sommen:
De binnenste som is de uitwerking van (binomiaalstelling, Stelling 2.16): hij verdwijnt voor en is gelijk aan voor . Enkel overleeft, en het rechterlid is , zoals beweerd.
9. Door de symmetrie herschrijft de identiteit van Oefening 2.11 zich als . Pas vraag 8 toe met en :
herindexerend met : de formule voor de derde keer.
10. (vraag 7), dus
11. Voor , , en de ongelijkheid van vraag 10 is strikt: ligt op afstand van , dus is het het unieke dichtstbijzijnde gehele getal. Voor geeft de grens enkel afstand , en inderdaad faalt de bewering daar: heeft dichtstbijzijnd geheel getal , terwijl .
12. is een alternerende reeks met strikt dalende termen, dus haar teken is het teken van haar eerste term . Dus heeft het teken van : voor even geldt en ; voor oneven geldt .
13. ; ; ; . Controle: , waarvan het dichtstbijzijnde gehele getal is — en , zoals vraag 12 voorspelt voor even .
14. . Voor : (vijf decimalen), tegen ; het verschil ligt onder . De grens stort zo snel in dat de probabiliteit reeds voor een dozijn brieven tot vele decimalen vastligt: het antwoord “ongeveer ” is, voor elk praktisch doel, onafhankelijk van — de befaamde verrassing van het probleem.
15. Volgens vraag 2 en :
als met vast, aangezien . De limietwaarden () zijn de gewichten van de Poissonverdeling van parameter .
16. Tel de drietallen met , , . Door het geordende paar eerst te kiezen: manieren; de permutaties die zowel als vastlaten zijn de permutaties van de overige punten: ervan. Totaal: . Sommeren in plaats daarvan eerst over telt, voor elke , de geordende paren van verschillende vaste punten: . Vandaar de gestelde identiteit; delen door , het gemiddelde van is , dus het gemiddelde van is en de variantie is .
17. De aandelen : voor , ; voor , ; voor , . Alle binnen een procent van , eromheen oscillerend.
18. Rechtstreeks:
en de haakjesterm is . Voor even is het verschil negatief: , dus ; voor oneven is het positief: Gecombineerd met vraag 12 (even boven , oneven eronder) en vraag 14 (afstand tot gaat naar ): de twee trappen knijpen ertussen samen.
19. Eén volledige trekking is een uniform willekeurige permutatie, geldig wanneer het een derangement is: probabiliteit . Volgens het aangehaalde feit is het gemiddelde aantal trekkingen tot succes , en vraag 14 geeft op een fout na die reeds voor kleine verwaarloosbaar is. Dus kost een Secret Santa met herstarts gemiddeld ongeveer volledige trekkingen — of het kantoor nu personen of heeft.
20. Zij vast en pas de classificatie van vraag 5 toe op de waarde . Als : de overige punten dragen een willekeurig derangement, manieren. Als : leid het origineel om naar precies zoals in vraag 5; dit is een bijectie met de derangementen van de punten : manieren. Totaal , hetzelfde voor elke . Sommeren over de waarden van : , wat de factor toont: .
21. Bewering: is oneven dan en slechts dan als even is. Inductie met , d.w.z. . Basis: is even, oneven: de bewering geldt. Als even is, is even en : oneven, zoals beweerd. Als oneven is, dan is even, dus is oneven per hypothese, en : even. De inductie sluit.
22. modulo reduceren doodt de eerste term: . Voor : , en inderdaad eindigt op het cijfer .
23. Voor , en deling van de recurrentie van vraag 6 door geeft , met en snel naar tendend. Consistentie: als , dan — de factor valt weg in de verhouding, en de recurrentie bevestigt het tot op nauwkeurigheid .
24. (i) De product- en somregel liggen ten grondslag aan elke telling: vragen 2 en 5 partitioneren verzamelingen permutaties in onafhankelijke trappen. (ii) Dubbeltelling gaf het gemiddelde (vraag 4) en de variantie (vraag 16) van het aantal vaste punten zonder enige formule voor . (iii) De binomiaalstelling evalueerde de alternerende binnenste som die binomiale inversie laat werken (vraag 8). (iv) De grens voor alternerende reeksen zette de exacte maar ondoorzichtige som om in de transparante uitspraak “dichtstbijzijnd geheel getal bij ” (vragen 10–14).
25. Inclusie–exclusie (Voorbeeld 2.26 en Oefening 2.11) is het conceptuele bewijs: het verklaart de alternerende som als overtellingscorrecties, en het veralgemeent woordelijk naar het tellen van elementen die elke familie van “slechte” verzamelingen mijden. De recurrentieweg (vragen 5–7) berekent het snelst — lineaire tijd, exacte geheeltallige rekenkunde, geen faculteiten — en is de bron van de rekenkundige feiten van Deel V. Binomiale inversie (vragen 8–9) plaatst de formule binnen een algemene transformatie die zal terugkeren waar twee driehoekige systemen van identiteiten elkaar tegenkomen. En de verschijning van wordt het best verklaard door de formule zelf: het aandeel derangementen is de partiële som van de reeks voor , dus de enveloppen van Montmort berekenden, drie decennia vóór de notatie van Euler, reeds het getal .