• No results found

Tussentijdse Toets Bewijzen en Redeneren

N/A
N/A
Protected

Academic year: 2021

Share "Tussentijdse Toets Bewijzen en Redeneren"

Copied!
1
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Tussentijdse Toets Bewijzen en Redeneren

een litte eerstejaar maandag 28 oktober 2019

Vraag 1

Geef de ontkenning van de volgende bewering over een verzameling X

∀x ∈ X : ∃A ∈ P (X) : A 6= ∅ ∧ [∀B ∈ P (X) : B ⊂ A =⇒ ¬(x ∈ B) zonder gebruik te maken van ¬ of =⇒.

Vraag 2

Zij f : X → Y een functie, A ∈ P (X) en B ∈ P (Y ).

a) Geef een voorbeeld waaruit blijkt dat de implicatie f−1⊂ A =⇒ B ⊂ f (A) niet altijd hoeft te gelden.

b) Bewijs dat

∀A ∈ P (X) : ∀B ∈ P (Y ) : f−1(B) ⊂ A =⇒ B ⊂ f (A) geldt als en slechts als f surjectief is.

Vraag 3

Gegeven zijn twee verzamelingen X en Y .

De verzameling Fun(X, Y ) bevat alle functies van X naar Y .

Op Fun(X, Y ) defini¨eren we een relatie R door te stellen dat (f, g) ∈ R als en slechts als er bijectieve functies σ : X → X en τ : Y → Y bestaan waarvoor

f ◦ σ = τ ◦ g.

a) Bewijs dat R een equivalentierelatie is.

Hierbij mag u algemene eigenschappen van bijecties gebruiken zonder be- wijs, maar u moet deze eigenschappen wel vermelden.

b) Neem X = {1, 2, 3, 4} en Y = {a, b, c}.

De functies f : X → Y wordt gegeven door

f (1) = a, f (2) = f (3) = b, f (4) = c

Geef een functie g : X → Y , verschillend van f , die behoort tot de equiv- alentieklasse van f . Licht uw antwoord toe.

1

Referenties

GERELATEERDE DOCUMENTEN

Bij A ∪ B spreken we over de elementen die in A of B of beide zitten. We spreken dus in beide gevallen over dezelfde verzameling en kunnen concluderen dat de unie

Stelling 8.14. Een verzameling waarvan de kardinaliteit groter is dan ℵ 0 wordt onaftelbaar, of overaftelbaar, genoemd. Voor aftelbare verzamelingen is het mogelijk om

Bijvoorbeeld: het uitrekenen van een kans onder een normale verdeling moet herleid worden tot een kans onder een standaardnormale verdeling, een binomiale kans moet herleid worden

Als je het bewijs volgt van de ge- noemde website, geef dan niet alle motiverende achtergrond die er ook in staat, maar beperk je tot het bewijs.. Geef een referentie naar de

• Deze opdracht telt mee voor 2 punten op 20 bij de bepaling van het eindcijfer voor Bewijzen en Redeneren.. Zowel het correct en verzorgd gebruik van L A TEX wordt beoordeeld als

• Deze opdracht telt mee voor 2 punten op 20 bij de bepaling van het eindcijfer voor Bewijzen en Redeneren.. Zowel het correct en verzorgd gebruik van L A TEX wordt beoordeeld als

Arno Kuijlaars en naar uw assistent Bart Bories, Niels Meesschaert of An Speelman (de email adressen hebben de vorm voornaam.achternaam@wis.kuleuven.be).. • Deadline voor het

Opmerking: we gebruiken hier een uitbreiding van het principe van volledige inductie, waar bij we in de inductiestap aannemen dat het gevraagde waar is voor k en voor k