• Keine Ergebnisse gefunden

5thexercisesheetSetTheory )

N/A
N/A
Protected

Academic year: 2022

Aktie "5thexercisesheetSetTheory )"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Fachbereich Mathematik

Benno van den Berg

TECHNISCHE

UNIVERSIT ¨ AT DARMSTADT

A

November 19, 2008

5th exercise sheet Set Theory

Winter Term 2008/2009

(E5.1)

Show that the following instances of the axiom of choice are provable in BST+Infinity.

(i) ∀x∈a∃!y∈b ϕ(x, y)→ ∃f :a→b∀x∈a ϕ(x, f x) (Axiom of Unique Choice or Axiom of No Choice)

(ii) ∀x∈a∃y∈b ϕ(x, y)→ ∃f :a→b∀x∈a ϕ(x, f x), where a is a finite set (Finite Axiom of Choice)

(E5.2)

Show that the statement

“A graph G= (G,→) is grounded iff there is no descending chain w0 ←w1 w2 ←. . ..”

is equivalent to (DC).

(E5.3)

Prove K¨onig’s Lemma

“Every infinite, finitely branching tree has at least one infinite branch.”

(i) using (DC).

(ii) using (ACω).

(E5.4)

LetGbe a game in which two players, Black and White, in turn make a move with White to move first. Assume that every possible play ends after a finite number of moves in a win for either of the two players.

Show that one of the two players has a winning strategy in G. (The proof uses(DC).) 1

(2)

(E5.5)

(i) Show that ordinal addition is associative, but not commutative and that 0 acts as a unit.

(ii) Exactly one of the following two statements is correct. Which? Give a counterexample to the other statement.

α+β =α+γ β =γ β+α =γ+α = β =γ (E5.6)

(i) Show that ordinal multiplication is associative, but not commutative and that 1 acts as a unit.

(ii) Exactly one of the following two statements is correct. Which? Give a counterexample to the other statement.

α(β+γ) = αβ+αγ (β+γ)α = βα+γα (E5.7)

(i) Check that PQ is a woset, if both Pand Qare.

(ii) Show the following identities:

α0 = 1 α1 = α αγβγ = (αβ)γβ)γ = αβγ

αβαγ = αβ+γ (E5.8)

Show that an ordinal α is a cardinal iff it is a minimal well-order iff for all ordinals β < α we haveβ <cα. And show that the cardinality kX kofX is the least ordinalα such that X =cα.

(E5.9)

Show that 2ω =ω in ordinal arithmetic, but 2ω > ω in cardinal arithmetic.

2

Referenzen

ÄHNLICHE DOKUMENTE

Fachbereich Mathematik und

The model features post-Keynesian macroeconomic founda- tions, which make it possible to study the effects of altered consumption patterns on total con- sumption, output, and

The game between the kicker and goalkeeper in soccer penalty kicks is a real-world game that can be used to examine the application of the MSNE concept or its accuracy because

In Table 1a, all objective functions minimize; as a pure min model, (when both functions are multiplied with the quick time matrix), as a mixed 1, where passes are

2 However, monetary targeting must not be considered as an independent strategy for achieving price stability by stabilizing inflation around a given inflation target since it

Feit, On the number of irreducible characters of finite groups in a given block, Proc.. Pure

Der Satz selber geht auf Girard (1625) und wenig sp¨ ater Fermat zur¨ uck, (der vermutlich hierf¨ ur einen Beweis kannte).. Der erste ¨ uberlieferte Beweis stammt von

This exercise sheet aims to assess your progress and to explicitly work out more details of some of the results proposed in the previous lectures. Please, hand in your solutions