• Keine Ergebnisse gefunden

Further, let S(X) denote the set of all bijective mapsX→X

N/A
N/A
Protected

Academic year: 2022

Aktie "Further, let S(X) denote the set of all bijective mapsX→X"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

EXERCISES 4: LECTURE FOUNDATIONS OF MATHEMATICS

Exercise 1. LetX={a, b, c}. List all possible equivalence relations onX.

Exercise 2. Let X be a set, and let XX denote the set of all maps X → X. Further, let S(X) denote the set of all bijective mapsX→X. Show:

(a) Iff, g∈S(X), theng◦f and f◦g are also in S(X).

(b) IfX has at least two elements, thenXX is not commutative with the operation given by◦.

(c) If X has at least three elements, then S(X) is not commutative with the operation given by◦.

Exercise 3. LetX, Y be sets and let∼X,∼Y be equivalence relations on these sets. Moreover, letf:X→Y be a map such that

(?) : (x1X x2)⇒(f(x1)∼Y f(x2)) ∀x1, x2∈X.

Show that there is a unique map[f]such that X f //

pX

Y

pY

X/∼X

[f]

//Y /∼Y

commutes. What happens if(?) in the case where ∼X is the identity relation? (Meaning that (x1X x2)⇔(x1 =x2).)

Exercise 4. Let (X,≤) be an ordered set. Further, let A and B subsets of X which are bounded above. Show the following statements in the case where the corresponding suprema und infima exist:

(a) sup(A∪B) = sup(sup(A),sup(B)).

(b) IfA⊂B, then sup(A)≤sup(B).

(c) IfA∩B6=∅, thensup(A∩B)≤inf(sup(A),sup(B)).

Formulate and prove the corresponding statements for subsets C andD of X which are bounded below.

Submission of the exercise sheet: 14.Oct.2019 before the lecture. Return of the exercise sheet: 17.Oct.2019 during the exercise classes.

1

Referenzen

ÄHNLICHE DOKUMENTE

The energy levels ǫ J,n of our molecule are enumerated by the angular momentum and the radial quantum number n.. To understand the structure of the low-lying energy levels we

Return of the exercise sheet: 03.Oct.2019 during the exercise

Return of the exercise sheet: 10.Oct.2019 during the exercise

Return of the exercise sheet: 24.Oct.2019 during the exercise

Submission of the exercise sheet: 04.Nov.2019 before the lecture.. Return of the exercise sheet: 07.Nov.2019 during the

Hint: Construct a tree whose nodes are tilings of finite squares and use König’s Lemma.

To justify the definition of SO-HORN, show that the admission of arbitrary first-order prefixes would make the restriction to Horn clauses pointless. This extension of SO-HORN has

Prove or disprove that the union (the intersection) of a set of stages is